In mathematics, a Schur-convex function, also known as S-convex, isotonic function and order-preserving function is a
function
Function or functionality may refer to:
Computing
* Function key, a type of key on computer keyboards
* Function model, a structured representation of processes in a system
* Function object or functor or functionoid, a concept of object-orie ...
that for all
such that
is
majorized In mathematics, majorization is a preorder on vectors of real numbers. Let ^_,\ i=1,\,\ldots,\,n denote the i-th largest element of the vector \mathbf\in\mathbb^n. Given \mathbf,\ \mathbf \in \mathbb^n, we say that \mathbf weakly majorizes (or do ...
by
, one has that
. Named after
Issai Schur
Issai Schur (10 January 1875 – 10 January 1941) was a Russian mathematician who worked in Germany for most of his life. He studied at the University of Berlin. He obtained his doctorate in 1901, became lecturer in 1903 and, after a stay at th ...
, Schur-convex functions are used in the study of
majorization In mathematics, majorization is a preorder on vectors of real numbers. Let ^_,\ i=1,\,\ldots,\,n denote the i-th largest element of the vector \mathbf\in\mathbb^n. Given \mathbf,\ \mathbf \in \mathbb^n, we say that \mathbf weakly majorizes (or do ...
. Every function that is
convex
Convex or convexity may refer to:
Science and technology
* Convex lens, in optics
Mathematics
* Convex set, containing the whole line segment that joins points
** Convex polygon, a polygon which encloses a convex set of points
** Convex polytop ...
and
symmetric
Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definit ...
is also Schur-convex. The opposite
implication is not true, but all Schur-convex functions are symmetric (under permutations of the arguments).
Schur-concave function
A function ''f'' is 'Schur-concave' if its negative, -''f'', is Schur-convex.
Schur-Ostrowski criterion
If ''f'' is symmetric and all first partial derivatives exist, then
''f'' is Schur-convex if and only if
for all
holds for all 1≤''i''≠''j''≤''d''.
Examples
*
is Schur-concave while
is Schur-convex. This can be seen directly from the definition.
* The
Shannon entropy
Shannon may refer to:
People
* Shannon (given name)
* Shannon (surname)
* Shannon (American singer), stage name of singer Shannon Brenda Greene (born 1958)
* Shannon (South Korean singer), British-South Korean singer and actress Shannon Arrum Will ...
function
is Schur-concave.
* The
Rényi entropy In information theory, the Rényi entropy is a quantity that generalizes various notions of entropy, including Hartley entropy, Shannon entropy, collision entropy, and min-entropy. The Rényi entropy is named after Alfréd Rényi, who looked for th ...
function is also Schur-concave.
*
is Schur-convex.
* The function
is Schur-concave, when we assume all
. In the same way, all the
Elementary symmetric function
In mathematics, specifically in commutative algebra, the elementary symmetric polynomials are one type of basic building block for symmetric polynomials, in the sense that any symmetric polynomial can be expressed as a polynomial in elementary sy ...
s are Schur-concave, when
.
* A natural interpretation of
majorization In mathematics, majorization is a preorder on vectors of real numbers. Let ^_,\ i=1,\,\ldots,\,n denote the i-th largest element of the vector \mathbf\in\mathbb^n. Given \mathbf,\ \mathbf \in \mathbb^n, we say that \mathbf weakly majorizes (or do ...
is that if
then
is less spread out than
. So it is natural to ask if statistical measures of variability are Schur-convex. The
variance
In probability theory and statistics, variance is the expectation of the squared deviation of a random variable from its population mean or sample mean. Variance is a measure of dispersion, meaning it is a measure of how far a set of number ...
and
standard deviation are Schur-convex functions, while the
Median absolute deviation
In statistics, the median absolute deviation (MAD) is a robust measure of the variability of a univariate sample of quantitative data. It can also refer to the population parameter that is estimated by the MAD calculated from a sample.
For ...
is not.
* If
is a convex function defined on a real interval, then
is Schur-convex.
* A probability example: If
are
exchangeable random variables In statistics, an exchangeable sequence of random variables (also sometimes interchangeable) is a sequence ''X''1, ''X''2, ''X''3, ... (which may be finitely or infinitely long) whose joint probability distribution does not change wh ...
, then the function
is Schur-convex as a function of
, assuming that the expectations exist.
* The
Gini coefficient is strictly Schur convex.
References
See also
*
Quasiconvex function
In mathematics, a quasiconvex function is a real number, real-valued function (mathematics), function defined on an interval (mathematics), interval or on a convex set, convex subset of a real vector space such that the inverse image of any s ...
Convex analysis
Inequalities
{{mathanalysis-stub