The thermomajorization characterization by fixed-point stochastic maps
Let x,y,d∈Rnx,y,d\in\mathbb R^nx,y,d∈Rn with d≥0d\geq 0d≥0 be given. A matrix A∈R+n×nA\in\mathbb R_+^{n\times n}A∈R+n×n is column-stochastic when \mathbbme⊤A=\mathbbme⊤\mathbbm e^\top A=\mathbbm e^\top\mathbbme⊤A=\mathbbme⊤; it fixes ddd when Ad=dAd=dAd=d. T…