Strategic complements

Last updated October 18, 2023

In economics and game theory, the decisions of two or more players are called strategic complements if they mutually reinforce one another, and they are called strategic substitutes if they mutually offset one another. These terms were originally coined by Bulow, Geanakoplos, and Klemperer (1985).^[1]

To see what is meant by 'reinforce' or 'offset', consider a situation in which the players all have similar choices to make, as in the paper of Bulow et al., where the players are all imperfectly competitive firms that must each decide how much to produce. Then the production decisions are strategic complements if an increase in the production of one firm increases the marginal revenues of the others, because that gives the others an incentive to produce more too. This tends to be the case if there are sufficiently strong aggregate increasing returns to scale and/or the demand curves for the firms' products have a sufficiently low own-price elasticity. On the other hand, the production decisions are strategic substitutes if an increase in one firm's output decreases the marginal revenues of the others, giving them an incentive to produce less.

According to Russell Cooper and Andrew John, strategic complementarity is the basic property underlying examples of multiple equilibria in coordination games.^[2]

Calculus formulation

Mathematically, consider a symmetric game with two players that each have payoff function $\,\Pi (x_{i},x_{j})$ , where $\,x_{i}$ represents the player's own decision, and $\,x_{j}$ represents the decision of the other player. Assume $\,\Pi$ is increasing and concave in the player's own strategy $\,x_{i}$ . Under these assumptions, the two decisions are strategic complements if an increase in each player's own decision $\,x_{i}$ raises the marginal payoff ${\frac {\partial \Pi _{j}}{\partial x_{j}}}$ of the other player. In other words, the decisions are strategic complements if the second derivative ${\frac {\partial ^{2}\Pi _{j}}{\partial x_{j}\partial x_{i}}}$ is positive for $i\neq j$ . Equivalently, this means that the function $\,\Pi$ is supermodular.

On the other hand, the decisions are strategic substitutes if ${\frac {\partial ^{2}\Pi _{j}}{\partial x_{j}\partial x_{i}}}$ is negative, that is, if $\,\Pi$ is submodular.

Example

In their original paper, Bulow et al. use a simple model of competition between two firms to illustrate their ideas. The revenue for firm x with production rates $(x_{1},x_{2})$ is given by

U_{x}(x_{1},x_{2};y_{2})=p_{1}x_{1}+(1-x_{2}-y_{2})x_{2}-(x_{1}+x_{2})^{2}/2-F

while the revenue for firm y with production rate $y_{2}$ in market 2 is given by

U_{y}(y_{2};x_{1},x_{2})=(1-x_{2}-y_{2})y_{2}-y_{2}^{2}/2-F

At any interior equilibrium, $(x_{1}^{*},x_{2}^{*},y_{2}^{*})$ , we must have

{\dfrac {\partial U_{x}}{\partial x_{1}}}=0,{\dfrac {\partial U_{x}}{\partial x_{2}}}=0,{\dfrac {\partial U_{y}}{\partial y_{2}}}=0.

Using vector calculus, geometric algebra, or differential geometry, Bulow et al. showed that the sensitivity of the Cournot equilibrium to changes in $p_{1}$ can be calculated in terms of second partial derivatives of the payoff functions:

{\begin{bmatrix}{\dfrac {dx_{1}^{*}}{dp_{1}}}\\[2.2ex]{\dfrac {dx_{2}^{*}}{dp_{1}}}\\[2.2ex]{\dfrac {dy_{2}^{*}}{dp_{1}}}\end{bmatrix}}={\begin{bmatrix}{\dfrac {\partial ^{2}U_{x}}{\partial x_{1}\partial x_{1}}}&{\dfrac {\partial ^{2}U_{x}}{\partial x_{1}\partial x_{2}}}&{\dfrac {\partial ^{2}U_{x}}{\partial x_{1}\partial y_{2}}}\\[2.2ex]{\dfrac {\partial ^{2}U_{x}}{\partial x_{1}\partial x_{2}}}&{\dfrac {\partial ^{2}U_{x}}{\partial x_{2}\partial x_{2}}}&{\dfrac {\partial ^{2}U_{x}}{\partial y_{2}\partial x_{2}}}\\[2.2ex]{\dfrac {\partial ^{2}U_{y}}{\partial x_{1}\partial y_{2}}}&{\dfrac {\partial ^{2}U_{y}}{\partial x_{2}\partial y_{2}}}&{\dfrac {\partial ^{2}U_{y}}{\partial y_{2}\partial y_{2}}}\end{bmatrix}}^{-1}{\begin{bmatrix}-{\dfrac {\partial ^{2}U_{x}}{\partial p_{1}\partial x_{1}}}\\[2.2ex]-{\dfrac {\partial ^{2}U_{x}}{\partial p_{1}\partial x_{2}}}\\[2.2ex]-{\dfrac {\partial ^{2}U_{y}}{\partial p_{1}\partial y_{2}}}\end{bmatrix}}

When $1/4\leq p_{1}\leq 2/3$ ,

{\begin{bmatrix}{\dfrac {dx_{1}^{*}}{dp_{1}}}\\[2.2ex]{\dfrac {dx_{2}^{*}}{dp_{1}}}\\[2.2ex]{\dfrac {dy_{2}^{*}}{dp_{1}}}\end{bmatrix}}={\begin{bmatrix}-1&-1&0\\-1&-3&-1\\0&-1&-3\end{bmatrix}}^{-1}{\begin{bmatrix}-1\\0\\0\end{bmatrix}}={\frac {1}{5}}{\begin{bmatrix}8\\-3\\1\end{bmatrix}}

This, as price is increased in market 1, Firm x sells more in market 1 and less in market 2, while firm y sells more in market 2. If the Cournot equilibrium of this model is calculated explicitly, we find

x_{1}^{*}=\max \left\{0,{\frac {8p_{1}-2}{5}}\right\},x_{2}^{*}=\max \left\{0,{\frac {2-3p_{1}}{5}}\right\},y_{2}^{*}={\frac {p_{1}+1}{5}}.

Supermodular games

A game with strategic complements is also called a supermodular game. This was first formalized by Topkis,^[3] and studied by Vives.^[4] There are efficient algorithms for finding pure-strategy Nash equilibria in such games.^[5]^[6]

Related Research Articles

<span class="mw-page-title-main">Cauchy–Riemann equations</span> Chacteristic property of holomorphic functions

In the field of complex analysis in mathematics, the Cauchy–Riemann equations, named after Augustin Cauchy and Bernhard Riemann, consist of a system of two partial differential equations which form a necessary and sufficient condition for a complex function of a complex variable to be complex differentiable.

In vector calculus, divergence is a vector operator that operates on a vector field, producing a scalar field giving the quantity of the vector field's source at each point. More technically, the divergence represents the volume density of the outward flux of a vector field from an infinitesimal volume around a given point.

In mathematics, a spherical coordinate system is a coordinate system for three-dimensional space where the position of a point is specified by three numbers: the radial distance of that point from a fixed origin; its polar angle measured from a fixed polar axis or zenith direction; and the azimuthal angle of its orthogonal projection on a reference plane that passes through the origin and is orthogonal to the fixed axis, measured from another fixed reference direction on that plane. When radius is fixed, the two angular coordinates make a coordinate system on the sphere sometimes called spherical polar coordinates.

In probability theory, a probability density function (PDF), density function, or density of an absolutely continuous random variable, is a function whose value at any given sample in the sample space can be interpreted as providing a relative likelihood that the value of the random variable would be equal to that sample. Probability density is the probability per unit length, in other words, while the absolute likelihood for a continuous random variable to take on any particular value is 0, the value of the PDF at two different samples can be used to infer, in any particular draw of the random variable, how much more likely it is that the random variable would be close to one sample compared to the other sample.

In continuum mechanics, the infinitesimal strain theory is a mathematical approach to the description of the deformation of a solid body in which the displacements of the material particles are assumed to be much smaller than any relevant dimension of the body; so that its geometry and the constitutive properties of the material at each point of space can be assumed to be unchanged by the deformation.

In vector calculus, the Jacobian matrix of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. When this matrix is square, that is, when the function takes the same number of variables as input as the number of vector components of its output, its determinant is referred to as the Jacobian determinant. Both the matrix and the determinant are often referred to simply as the Jacobian in literature.

In the mathematical field of differential geometry, a metric tensor is an additional structure on a manifold $M$ that allows defining distances and angles, just as the inner product on a Euclidean space allows defining distances and angles there. More precisely, a metric tensor at a point $p$ of $M$ is a bilinear form defined on the tangent space at $p$ , and a metric tensor on $M$ consists of a metric tensor at each point $p$ of $M$ that varies smoothly with $p$ .

In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields.

In mathematics, the beta function, also called the Euler integral of the first kind, is a special function that is closely related to the gamma function and to binomial coefficients. It is defined by the integral

Linear elasticity is a mathematical model of how solid objects deform and become internally stressed due to prescribed loading conditions. It is a simplification of the more general nonlinear theory of elasticity and a branch of continuum mechanics.

The primitive equations are a set of nonlinear partial differential equations that are used to approximate global atmospheric flow and are used in most atmospheric models. They consist of three main sets of balance equations:

A continuity equation: Representing the conservation of mass.
Conservation of momentum: Consisting of a form of the Navier–Stokes equations that describe hydrodynamical flow on the surface of a sphere under the assumption that vertical motion is much smaller than horizontal motion (hydrostasis) and that the fluid layer depth is small compared to the radius of the sphere
A thermal energy equation: Relating the overall temperature of the system to heat sources and sinks

In mathematics, the Hessian matrix, Hessian or Hesse matrix is a square matrix of second-order partial derivatives of a scalar-valued function, or scalar field. It describes the local curvature of a function of many variables. The Hessian matrix was developed in the 19th century by the German mathematician Ludwig Otto Hesse and later named after him. Hesse originally used the term "functional determinants". The Hessian is sometimes denoted by H or, ambiguously, by ∇².

In differential geometry, the first fundamental form is the inner product on the tangent space of a surface in three-dimensional Euclidean space which is induced canonically from the dot product of $R 3$ . It permits the calculation of curvature and metric properties of a surface such as length and area in a manner consistent with the ambient space. The first fundamental form is denoted by the Roman numeral $I$ ,

The Gaussian integral, also known as the Euler–Poisson integral, is the integral of the Gaussian function $over the entire real line. Named after the German mathematician Carl Friedrich Gauss, the integral is$

In mathematics, a function

Cournot competition is an economic model used to describe an industry structure in which companies compete on the amount of output they will produce, which they decide on independently of each other and at the same time. It is named after Antoine Augustin Cournot (1801–1877) who was inspired by observing competition in a spring water duopoly. It has the following features:

In queueing theory, a discipline within the mathematical theory of probability, a Jackson network is a class of queueing network where the equilibrium distribution is particularly simple to compute as the network has a product-form solution. It was the first significant development in the theory of networks of queues, and generalising and applying the ideas of the theorem to search for similar product-form solutions in other networks has been the subject of much research, including ideas used in the development of the Internet. The networks were first identified by James R. Jackson and his paper was re-printed in the journal Management Science’s ‘Ten Most Influential Titles of Management Sciences First Fifty Years.’

Common integrals in quantum field theory are all variations and generalizations of Gaussian integrals to the complex plane and to multiple dimensions. Other integrals can be approximated by versions of the Gaussian integral. Fourier integrals are also considered.

<span class="mw-page-title-main">Vibration of plates</span>

The vibration of plates is a special case of the more general problem of mechanical vibrations. The equations governing the motion of plates are simpler than those for general three-dimensional objects because one of the dimensions of a plate is much smaller than the other two. This permits a two-dimensional plate theory to give an excellent approximation to the actual three-dimensional motion of a plate-like object.

In mathematics, the incomplete Bessel functions are types of special functions which act as a type of extension from the complete-type of Bessel functions.

References

↑ J. Bulow, J. Geanakoplos, and P. Klemperer (1985), 'Multimarket oligopoly: strategic substitutes and strategic complements'. Journal of Political Economy 93, pp. 488-511,https://www.jstor.org/stable/1832005 .
↑ Russell Cooper and Andrew John (1988), 'Coordinating coordination failures in Keynesian models.' Quarterly Journal of Economics 103 (3), pp. 441-63.
↑ Topkis, Donald M. (1979-11-01). "Equilibrium Points in Nonzero-Sum n -Person Submodular Games". SIAM Journal on Control and Optimization. 17 (6): 773–787. doi:10.1137/0317054. ISSN 0363-0129.
↑ Vives, Xavier (1990-01-01). "Nash equilibrium with strategic complementarities". Journal of Mathematical Economics. 19 (3): 305–321. doi:10.1016/0304-4068(90)90005-T. ISSN 0304-4068.
↑ Echenique, Federico (2007-07-01). "Finding all equilibria in games of strategic complements". Journal of Economic Theory. 135 (1): 514–532. doi:10.1016/j.jet.2006.06.001. ISSN 0022-0531.
↑ Dang, Chuangyin; Qi, Qi; Ye, Yinyu (2020-05-01). Computations and Complexities of Tarski's Fixed Points and Supermodular Games (Report). arXiv.org.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] J. Bulow, J. Geanakoplos, and P. Klemperer (1985), 'Multimarket oligopoly: strategic substitutes and strategic complements'. Journal of Political Economy 93, pp. 488-511,https://www.jstor.org/stable/1832005 .

[2] Russell Cooper and Andrew John (1988), 'Coordinating coordination failures in Keynesian models.' Quarterly Journal of Economics 103 (3), pp. 441-63.

[3] Topkis, Donald M. (1979-11-01). "Equilibrium Points in Nonzero-Sum n -Person Submodular Games". SIAM Journal on Control and Optimization. 17 (6): 773–787. doi:10.1137/0317054. ISSN 0363-0129.

[4] Vives, Xavier (1990-01-01). "Nash equilibrium with strategic complementarities". Journal of Mathematical Economics. 19 (3): 305–321. doi:10.1016/0304-4068(90)90005-T. ISSN 0304-4068.

[5] Echenique, Federico (2007-07-01). "Finding all equilibria in games of strategic complements". Journal of Economic Theory. 135 (1): 514–532. doi:10.1016/j.jet.2006.06.001. ISSN 0022-0531.

[:0-6] Dang, Chuangyin; Qi, Qi; Ye, Yinyu (2020-05-01). Computations and Complexities of Tarski's Fixed Points and Supermodular Games (Report). arXiv.org.

[1]

[2]

[3]

[4]

[5]

[6]