Bourin–Lee's multivariable unitary-orbit inequality conjecture
Bourin–Lee's multivariable conjecture. The unitary matrices can be chosen so that