A majorization relation for a sum of two tensor products of positive semidefinite operators

Mohammad A. Alhejji, Cole Kelson-Packer

We use linear programming to prove a separable version of Ky Fan's majorization relation for a sum of two operators that are each a tensor product of $n$ positive semidefinite oper…