Subadditive function

In mathematics, subadditivity is a property of a function that states, roughly, that evaluating the function for the sum of two elements of the domain always returns something less than or equal to the sum of the function's values at each element. There are numerous examples of subadditive functions in various areas of mathematics, particularly norms and square roots. Additive maps are special cases of subadditive functions.

Definitions

A subadditive function is a function $f \colon A \to B$, having a domain ''A'' and an ordered codomain ''B'' that are both closed under addition, with the following property:
$\forall x, y \in A, f(x+y)\leq f(x)+f(y).$

An example is the square root function, having the non-negative real numbers as domain and codomain,
since $\forall x, y \geq 0$ we have:
$\sqrt\leq \sqrt+\sqrt.$

A sequence $\left \, n \geq 1$, is called subadditive if it satisfies the inequality
$a_\leq a_n+a_m$
for all ''m'' and ''n''. This is a special case of subadditive function, if a sequence is interpreted as a function on the set of natural numbers.

Note that while a concave sequence is subadditive, the converse is false. For example, randomly assign $a_1, a_2, ...$ with values in $0.5, 1$, then the sequence is subadditive but not concave.

Properties

Sequences

A useful result pertaining to subadditive sequences is the following lemma due to Michael Fekete.

The analogue of Fekete's lemma holds for superadditive sequences as well, that is:
$a_\geq a_n + a_m.$ (The limit then may be positive infinity: consider the sequence $a_n = \log n!$.)

There are extensions of Fekete's lemma that do not require the inequality $a_\le a_n + a_m$ to hold for all ''m'' and ''n'', but only for ''m'' and ''n'' such that $\frac 1 2 \le \frac m n \le 2.$

Moreover, the condition $a_\le a_n + a_m$ may be weakened as follows: $a_\le a_n + a_m + \phi(n+m)$ provided that $\phi$ is an increasing function such that the integral $\int \phi(t) t^ \, dt$ converges (near the infinity).

There are also results that allow one to deduce the rate of convergence to the limit whose existence is stated in Fekete's lemma if some kind of both superadditivity and subadditivity is present.

Besides, analogues of Fekete's lemma have been proved for subadditive real maps (with additional assumptions) from finite subsets of an amenable group

,
and further, of a cancellative left-amenable semigroup.

Functions

If ''f'' is a subadditive function, and if 0 is in its domain, then ''f''(0) ≥ 0. To see this, take the inequality at the top. $f(x) \ge f(x+y) - f(y)$. Hence $f(0) \ge f(0+y) - f(y) = 0$

A concave function $f:$superadditive.

Examples in various domains

Entropy

Entropy plays a fundamental role in information theory and statistical physics, as well as in quantum mechanics in a generalized formulation due to von Neumann entropy, von Neumann.
Entropy appears always as a subadditive quantity in all of its formulations, meaning the entropy of a supersystem or a set union of random variables is always less or equal than the sum of the entropies of its individual components.
Additionally, entropy in physics satisfies several more strict inequalities such as the Strong Subadditivity of Entropy in classical statistical mechanics and its quantum analog.

Economics

Subadditivity is an essential property of some particular cost functions. It is, generally, a necessary and sufficient condition for the verification of a natural monopoly. It implies that production from only one firm is socially less expensive (in terms of average costs) than production of a fraction of the original quantity by an equal number of firms.

Economies of scale are represented by subadditive average cost functions.

Except in the case of complementary goods, the price of goods (as a function of quantity) must be subadditive. Otherwise, if the sum of the cost of two items is cheaper than the cost of the bundle of two of them together, then nobody would ever buy the bundle, effectively causing the price of the bundle to "become" the sum of the prices of the two separate items. Thus proving that it is not a sufficient condition for a natural monopoly; since the unit of exchange may not be the actual cost of an item. This situation is familiar to everyone in the political arena where some minority asserts that the loss of some particular freedom at some particular level of government means that many governments are better; whereas the majority assert that there is some other correct unit of cost.

Finance

Subadditivity is one of the desirable properties of coherent risk measures in risk management. The economic intuition behind risk measure subadditivity is that a portfolio risk exposure should, at worst, simply equal the sum of the risk exposures of the individual positions that compose the portfolio. In any other case the effects of diversification would result in a portfolio exposure that is lower than the sum of the individual risk exposures. The lack of subadditivity is one of the main critiques of VaR models which do not rely on the assumption of normality of risk factors. The Gaussian VaR ensures subadditivity: for example, the Gaussian VaR of a two unitary long positions portfolio $V$ at the confidence level $1-p$ is, assuming that the mean portfolio value variation is zero and the VaR is defined as a negative loss,
$\text_p \equiv z_\sigma_ = z_\sqrt$
where $z_p$ is the inverse of the normal cumulative distribution function at probability level $p$, $\sigma_x^2,\sigma_y^2$ are the individual positions returns variances and $\rho_$ is the linear correlation measure between the two individual positions returns. Since variance is always positive,
$\sqrt \leq \sigma_x + \sigma_y$
Thus the Gaussian VaR is subadditive for any value of \rho_ \in 1,1 and, in particular, it equals the sum of the individual risk exposures when $\rho_=1$ which is the case of no diversification effects on portfolio risk.

Thermodynamics

Subadditivity occurs in the thermodynamic properties of non-ideal solutions and mixtures like the excess molar volume and heat of mixing or excess enthalpy.

Combinatorics on words

A factorial language $L$ is one where if a word is in $L$, then all