Mayorización

En matemáticas, la mayorización es un preorden en vectores de números reales. Para un vector $\mathbf {a} \in \mathbb {R} ^{d}$, denotamos por $\mathbf {a} ^{\downarrow }\in \mathbb {R} ^{d}$ el vector con los mismos componentes, pero ordena en orden descendente. Dado $\mathbf {a} ,\mathbf {b} \in \mathbb {R} ^{d}$, decimos que $\mathbf {a}$ débilmente mayoriza (o domina) a $\mathbf {b}$ desde abajo escrito como $\mathbf {a} \succ _{w}\mathbf {b}$ si y sólo si:

$\sum _{i=1}^{k}a_{i}^{\downarrow }\geq \sum _{i=1}^{k}b_{i}^{\downarrow }\quad {\text{for }}k=1,\dots ,d,$

donde $a_{i}^{\downarrow }$ y $b_{i}^{\downarrow }$ son los elementos of $\mathbf {a}$ y $\mathbf {b}$, respectivamente, ordenados en orden decreciente. De manera equivalente, se dice que $\mathbf {b}$ débilmente mayoriza (o domina) por $\mathbf {a}$ desde abajo, denotando como $\mathbf {b} \prec _{w}\mathbf {a}$.

Similarmente, decimos que: $\mathbf {a}$ débilmente mayoriza $\mathbf {b}$ desde abajo escrito como $\mathbf {a} \succ ^{w}\mathbf {b}$ si y sólo si:

$\sum _{i=k}^{d}a_{i}^{\downarrow }\leq \sum _{i=k}^{d}b_{i}^{\downarrow }\quad {\text{for }}k=1,\dots ,d,$

De manera equivalente, decimos que $\mathbf {b}$ es débilmente mayorizado por $\mathbf {a}$ desde abajo, denotado como $\mathbf {b} \prec ^{w}\mathbf {a}$.

Si $\mathbf {a} \succ _{w}\mathbf {b}$ y además $\sum _{i=1}^{d}a_{i}=\sum _{i=1}^{d}b_{i}$ decimos que $\mathbf {a}$ mayoriza (o domina) $\mathbf {b}$ escrito como $\mathbf {a} \succ \mathbf {b}$. De manera equivalente, decimos que $\mathbf {b}$ es mayoritariazado (o dominado) por $\mathbf {a}$, denotado como $\mathbf {b} \prec \mathbf {a}$.

Es fácil ver que $\mathbf {a} \succ \mathbf {b}$ si y solo si $\mathbf {a} \succ _{w}\mathbf {b}$ y $\mathbf {a} \succ ^{w}\mathbf {b}$.

Tenga en cuenta que el orden mayorización no dependen del orden de las componentes de los vectores $\mathbf {a}$ o $\mathbf {b}$. La Mayorización no es un orden parcial, ya un $\mathbf {a} \succ \mathbf {b}$ y $\mathbf {b} \succ \mathbf {a}$ no implican un $\mathbf {a} =\mathbf {b}$. Sólo implica que los componentes de cada vector son iguales, pero no necesariamente en el mismo orden.

Lamentablemente, para confundir el asunto, algunas fuentes bibliográficas utilizan la notación inversa, por ejemplo,$\succ$ se sustituye con $\prec$. Sobre todo, en Horn y Johnson, el análisis de la matriz (Cambridge Univ. Press, 1985), Definición 4.3.24, mientras que los mismos autores cambiar a la notación tradicional, introducido aquí, más adelante en sus temas de matriz de Topics in Matrix Analysis (1994), y la segunda Matrix analysis (2013).

Una función $f:\mathbb {R} ^{d}\to \mathbb {R}$ se dice que es Schur convexo cuando $\mathbf {a} \succ \mathbf {b}$ implica $f(\mathbf {a} )\geq f(\mathbf {b} )$. Similarmente, $f(\mathbf {a} )$ es Schur cóncavo cuando $\mathbf {a} \succ \mathbf {b}$ implica $f(\mathbf {a} )\leq f(\mathbf {b} ).$

El orden parcial de la mayoría en los conjuntos finitos, que se describe aquí, se puede generalizar al orden de Lorenz , un orden parcial en las funciones de distribución.

Ejemplos

El orden de las entradas no afecta la mayorización, por ejemplo, la declaración $(1,2)\prec (0,3)$ es simplemente equivalente a $(2,1)\prec (3,0)$.

(Fuerte) mayorización: $(1,2,3)\prec (0,3,3)\prec (0,0,6)$. Para vectores con n componentes

$\left({\frac {1}{n}},\ldots ,{\frac {1}{n}}\right)\prec \left({\frac {1}{n-1}},\ldots ,{\frac {1}{n-1}},0\right)\prec \cdots \prec \left({\frac {1}{2}},{\frac {1}{2}},0,\ldots ,0\right)\prec \left(1,0,\ldots ,0\right).$

(Mayoría débil): $(1,2,3)\prec _{w}(1,3,3)\prec _{w}(1,3,4)$. Para vectores con n componentes

$\left({\frac {1}{n}},\ldots ,{\frac {1}{n}}\right)\prec _{w}\left({\frac {1}{n-1}},\ldots ,{\frac {1}{n-1}},1\right).$

Geometría de la mayorización

Figure 1. 2D majorization example

Por $\mathbf {x} ,\mathbf {y} \in \mathbb {R} ^{n},$, tenemos $\mathbf {x} \prec \mathbf {y}$ si y solo si $\mathbf {x}$ está en el casco convexo de todos los vectores obtenidos permutando las coordenadas de $\mathbf {y}$.

La Figura 1 muestra el casco convexo en 2D para el vector $\mathbf {y} =(3,\,1)$. Tenga en cuenta que el centro del casco convexo, que es un intervalo en este caso, es el vector $\mathbf {x} =(2,\,2)$. Este es el vector "más pequeño" que satisface $\mathbf {x} \prec \mathbf {y}$ para este vector dado $\mathbf {y}$.

Figura 2. Ejemplo de Majorization 3D

La Figura 2 muestra el casco convexo en 3D. El centro del casco convexo, que es un polígono 2D en este caso, es el vector "más pequeño" $\mathbf {x}$ satisfactorio $\mathbf {x} \prec \mathbf {y}$ para este vector dado $\mathbf {y}$.

Referencias

• J. Karamata. Sur une inegalite relative aux fonctions convexes. Publ. Math. Univ. Belgrade 1, 145–158, 1932.
• G. H. Hardy, J. E. Littlewood and G. Pólya, Inequalities, 2nd edition, 1952, Cambridge University Press, London.
• Inequalities: Theory of Majorization and Its Applications Albert W. Marshall, Ingram Olkin, Barry Arnold, Second edition. Springer Series in Statistics. Springer, New York, 2011. ISBN 978-0-387-40087-7
• Inequalities: Theory of Majorization and Its Applications (1980) Albert W. Marshall, Ingram Olkin, Academic Press, ISBN 978-0-12-473750-1
• A tribute to Marshall and Olkin's book "Inequalities: Theory of Majorization and its Applications"
• Quantum Computation and Quantum Information, (2000) Michael A. Nielsen and Isaac L. Chuang, Cambridge University Press, ISBN 978-0-521-63503-5
• Matrix Analysis (1996) Rajendra Bhatia, Springer, ISBN 978-0-387-94846-1
• Topics in Matrix Analysis (1994) Roger A. Horn and Charles R. Johnson, Cambridge University Press, ISBN 978-0-521-46713-1
• Majorization and Matrix Monotone Functions in Wireless Communications (2007) Eduard Jorswieck and Holger Boche, Now Publishers, ISBN 978-1-60198-040-3
• The Cauchy Schwarz Master Class (2004) J. Michael Steele, Cambridge University Press, ISBN 978-0-521-54677-5

• Datos: Q1994695