Schur-convex Function
   HOME

TheInfoList



OR:

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-oriente ...
f: \mathbb^d\rightarrow \mathbb that for all x,y\in \mathbb^d such that x is majorized by y, one has that f(x)\le f(y). 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 the ...
, 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 ...
. 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 polytope ...
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 definiti ...
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 (x_i - x_j)\left(\frac - \frac\right) \ge 0 for all x \in \mathbb^d holds for all 1≤''i''≠''j''≤''d''.


Examples

* f(x)=\min(x) is Schur-concave while f(x)=\max(x) 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 Wi ...
function \sum_^d 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. * \sum_^d,k \ge 1 is Schur-convex. * The function f(x) = \prod_^d x_i is Schur-concave, when we assume all x_i > 0 . 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 sym ...
s are Schur-concave, when x_i > 0 . * 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 ...
is that if x \succ y then x is less spread out than y . 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 numbers ...
and
standard deviation In statistics, the standard deviation is a measure of the amount of variation or dispersion of a set of values. A low standard deviation indicates that the values tend to be close to the mean (also called the expected value) of the set, while ...
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 a un ...
is not. * If g is a convex function defined on a real interval, then \sum_^n g(x_i) is Schur-convex. * A probability example: If X_1, \dots, X_n 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 \text \prod_^n X_j^ is Schur-convex as a function of a=(a_1, \dots, a_n) , 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-valued function defined on an interval or on a convex subset of a real vector space such that the inverse image of any set of the form (-\infty,a) is a convex set. For a function of a single v ...
Convex analysis Inequalities {{mathanalysis-stub