ESP game: Difference between revisions
Jump to navigation
Jump to search
en>Hmainsbot1 m →Idea: AWB general fixes and delink dates per WP:DATELINK, WP:YEARLINK and MOS:UNLINKYEARS using AWB (8097) |
en>Andyhowlett |
||
Line 1: | Line 1: | ||
In mathematics, a '''Schur-convex function''', also known as '''S-convex''', '''isotonic function''' and '''order-preserving function''' is a [[function (mathematics)|function]] <math>f: \mathbb{R}^d\rightarrow \mathbb{R}</math>, for which if <math>\forall x,y\in \mathbb{R}^d </math> where <math>x</math> is [[majorization|majorized]] by <math>y</math>, then <math>f(x)\le f(y)</math>. Named after [[Issai Schur]], Schur-convex functions are used in the study of [[majorization]]. Every function that is [[Convex function|convex]] and [[Symmetric function|symmetric]] 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 <math>f</math> is 'Schur-concave' if its negative,<math>-f</math>, is Schur-convex. | |||
==A simple criterion== | |||
If <math>f</math> is Schur-convex and all first partial derivatives exist, then the following holds, where <math> f_{(i)}(x) </math> denotes the partial derivative with respect to <math> x_i </math>: | |||
:<math> (x_1 - x_2)(f_{(1)}(x) - f_{(2)}(x)) \ge 0 | |||
</math> for all <math> x </math>. Since <math> f </math> is a symmetric function, the above condition implies all the similar conditions for the remaining indexes! | |||
== Examples == | |||
* <math> f(x)=\min(x) </math> is Schur-concave while <math> f(x)=\max(x) </math> is Schur-convex. This can be seen directly from the definition. | |||
* The [[Shannon entropy]] function <math>\sum_{i=1}^d{P_i \cdot \log_2{\frac{1}{P_i}}}</math> is Schur-concave. | |||
* The [[Rényi entropy]] function is also Schur-concave. | |||
* <math> \sum_{i=1}^d{x_i^k},k \ge 1 </math> is Schur-convex. | |||
* The function <math> f(x) = \prod_{i=1}^n x_i </math> is Schur-concave, when we assume all <math> x_i > 0 </math>. In the same way, all the [[Elementary symmetric polynomial|Elementary symmetric function]]s are Schur-concave, when <math> x_i > 0 </math>. | |||
* A natural interpretation of [[majorization]] is that if <math> x \succ y </math> then <math> x </math> is more spread out than <math> y </math>. So it is natural to ask if statistical measures of variability are Schur-convex. The [[variance]] and [[standard deviation]] are Schur-convex functions, while the [[Median absolute deviation]] is not. | |||
* If <math> g </math> is a convex function defined on a real interval, then <math> \sum_{i=1}^n g(x_i) </math> is Schur-convex. | |||
* Some probability examples: If <math> X_1, \dots, X_n </math> are exchangeable random variables, then the function | |||
:<math> \text{E} \prod_{j=1}^n X_j^{a_j} </math> | |||
is Schur-convex as a function of <math> a=(a_1, \dots, a_n) </math>, assuming that the expectations exist. | |||
* The [[Gini coefficient]] is strictly Schur concave. | |||
==See also== | |||
* [[majorization]] | |||
* [[Quasiconvex function]] | |||
* [[Convex function]] | |||
[[Category:Convex analysis]] | |||
[[Category:Inequalities]] | |||
{{mathanalysis-stub}} |
Revision as of 19:16, 31 October 2013
In mathematics, a Schur-convex function, also known as S-convex, isotonic function and order-preserving function is a function , for which if where is majorized by , then . Named after Issai Schur, Schur-convex functions are used in the study of majorization. Every function that is convex and symmetric 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 is 'Schur-concave' if its negative,, is Schur-convex.
A simple criterion
If is Schur-convex and all first partial derivatives exist, then the following holds, where denotes the partial derivative with respect to :
- for all . Since is a symmetric function, the above condition implies all the similar conditions for the remaining indexes!
Examples
- The Shannon entropy function is Schur-concave.
- The Rényi entropy function is also Schur-concave.
- The function is Schur-concave, when we assume all . In the same way, all the Elementary symmetric functions are Schur-concave, when .
- A natural interpretation of majorization is that if then is more spread out than . So it is natural to ask if statistical measures of variability are Schur-convex. The variance and standard deviation are Schur-convex functions, while the Median absolute deviation is not.
: is Schur-convex as a function of , assuming that the expectations exist.
- The Gini coefficient is strictly Schur concave.