From Surf Wiki (app.surf) — the open knowledge base
Supermodular function
Class of mathematical functions
Class of mathematical functions
In mathematics, a supermodular function is a function on a lattice that, informally, has the property of being characterized by "increasing differences." Seen from the point of set functions, this can also be viewed as a relationship of "increasing returns", where adding more elements to a subset increases its valuation. In economics, supermodular functions are often used as a formal expression of complementarity in preferences among goods. Supermodular functions are studied and have applications in game theory, economics, lattice theory, combinatorial optimization, and machine learning.
Definition
Let (X, \preceq) be a lattice. A real-valued function f: X \rightarrow \mathbb{R} is called supermodular if f(x \vee y) + f(x \wedge y) \geq f(x) + f(y)
for all x, y \in X.
If the inequality is strict, then f is strictly supermodular on X. If -f is (strictly) supermodular then f is called (strictly) submodular. A function that is both submodular and supermodular is called modular. This corresponds to the inequality being changed to an equality.
We can also define supermodular functions where the underlying lattice is the vector space \mathbb{R}^n. Then the function f : \mathbb{R}^n \to \mathbb{R} is supermodular if
f(x \uparrow y) + f(x \downarrow y) \geq f(x) + f(y)
for all x, y \isin \mathbb{R}^{n}, where x \uparrow y denotes the componentwise maximum and x \downarrow y the componentwise minimum of x and y.
If f is twice continuously differentiable, then supermodularity is equivalent to the condition
: \frac{\partial ^2 f}{\partial z_i, \partial z_j} \geq 0 \mbox{ for all } i \neq j.
Supermodularity in economics and game theory
The concept of supermodularity is used in the social sciences to analyze how one agent's decision affects the incentives of others.
Consider a symmetric game with a smooth payoff function ,f defined over actions ,z_i of two or more players i \in {1,2,\dots,N}. Suppose the action space is continuous; for simplicity, suppose each action is chosen from an interval: z_i \in [a,b]. In this context, supermodularity of ,f implies that an increase in player ,i's choice ,z_i increases the marginal payoff df/dz_j of action ,z_j for all other players ,j. That is, if any player ,i chooses a higher ,z_i, all other players ,j have an incentive to raise their choices ,z_j too. Following the terminology of Bulow, Geanakoplos, and Klemperer (1985), economists call this situation strategic complementarity, because players' strategies are complements to each other. This is the basic property underlying examples of multiple equilibria in coordination games.
The opposite case of supermodularity of ,f, called submodularity, corresponds to the situation of strategic substitutability. An increase in ,z_i lowers the marginal payoff to all other player's choices ,z_j, so strategies are substitutes. That is, if ,i chooses a higher ,z_i, other players have an incentive to pick a lower ,z_j.
For example, Bulow et al. consider the interactions of many imperfectly competitive firms. When an increase in output by one firm raises the marginal revenues of the other firms, production decisions are strategic complements. When an increase in output by one firm lowers the marginal revenues of the other firms, production decisions are strategic substitutes.
A supermodular utility function is often related to complementary goods. However, this view is disputed.
Supermodular set functions
Supermodularity can also be defined for set functions, which are functions defined over subsets of a larger set. Many properties of submodular set functions can be rephrased to apply to supermodular set functions.
Intuitively, a supermodular function over a set of subsets demonstrates "increasing returns". This means that if each subset is assigned a real number that corresponds to its value, the value of a subset will always be less than the value of a larger subset which contains it. Alternatively, this means that as we add elements to a set, we increase its value.
Definition
Let S be a finite set. A set function f: 2^S \to \mathbb{R} is supermodular if it satifies the following (equivalent) conditions:
- f(A)+f(B) \leq f(A \cap B) + f(A \cup B) for all A, B \subseteq S .
- f(A \cup {v}) - f(A) \leq f(B \cup {v}) - f(B) for all A \subset B \subset V , where v \notin B .
A set function f is submodular if -f is supermodular, and modular if it is both supermodular and submodular.
Additional Facts
- If f is modular and g is submodular, then f-g is a supermodular function.
- A non-negative supermodular function is also a superadditive function.
Optimization Techniques
There are specialized techniques for optimizing submodular functions. Theory and enumeration algorithms for finding local and global maxima (minima) of submodular (supermodular) functions can be found in "Maximization of submodular functions: Theory and enumeration algorithms", B. Goldengorin.
References
- (1998). "Supermodularity and complementarity". Princeton University Press.
- (1990). "Rationalizability, Learning, and Equilibrium in Games with Strategic Complementarities". [[Econometrica]].
- (1985). "Multimarket Oligopoly: Strategic Substitutes and Complements". [[Journal of Political Economy]].
- (1988). "Coordinating coordination failures in Keynesian models". [[Quarterly Journal of Economics]].
- (2009). "Supermodularity and preferences". [[Journal of Economic Theory]].
- McCormick, S. Thomas. (2005). "Discrete Optimization". Elsevier.
- Goldengorin, Boris. (2009-10-01). "Maximization of submodular functions: Theory and enumeration algorithms". European Journal of Operational Research.
This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.
Ask Mako anything about Supermodular function — get instant answers, deeper analysis, and related topics.
Research with MakoFree with your Surf account
Create a free account to save articles, ask Mako questions, and organize your research.
Sign up freeThis content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.
Report