In mathematics, majorization is a preorder on vectors of real numbers. For a vector a∈Rd{\displaystyle \mathbf {a} \in \mathbb {R} ^{d}}, we denote by a↓∈Rd{\displaystyle \mathbf {a} ^{\downarrow }\in \mathbb {R} ^{d}} the vector with the same components, but sorted in descending order. Given a,b∈Rd{\displaystyle \mathbf {a} ,\mathbf {b} \in \mathbb {R} ^{d}}, we say that a{\displaystyle \mathbf {a} } weakly majorizes (or dominates) b{\displaystyle \mathbf {b} } from below written as a≻wb{\displaystyle \mathbf {a} \succ _{w}\mathbf {b} } iff