Majorization ($x\prec y$)

For real vectors of equal length and equal sum, write $x\prec y$ when ${\sum }_{j=1}^k{x}_j^{\downarrow }\le {\sum }_{j=1}^k{y}_j^{\downarrow }$ for every proper initial segment; the downward arrow means decreasing rearrangement. Majorization compares how unevenly a fixed total is distributed. The uniform probability vector is majorized by every probability vector, while $(1,0,\dots ,0)$ majorizes every probability vector. The order controls exact pure-state entanglement conversion in Nielsen's pure-state conversion theorem.