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

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 operators.

We give an example showing that such a relation does not hold in general for sums of three or more tensor products of three or more positive semidefinite operators.