Horn's Theorem

Let

$X={x_1>=x_2>=...>=x_n|x_i in R}$

(1)

and

$Y={y_1>=y_2>=...>=y_n|y_i in R}.$

(2)

Then there exists an Hermitian matrix with eigenvalues and diagonal elements iff

(3)

for all and with equality for . The theorem is sometimes also known as Schur's theorem.

Explore with Wolfram|Alpha

More things to try:

1+2+3+...+10
expand (x^2 + 1)(x^2 - 1)(x+1)^3
Laplace e^x sin y

References

Horn, A. "Doubly Stochastic Matrices and the Diagonal of a Rotation Matrix." Amer. J. Math. 76, 620-630, 1954.Lieb, E. H. "Variational Principle for Many-Fermion Systems." Phys. Rev. Lett. 46, 457-459, 1981.

Referenced on Wolfram|Alpha

Horn's Theorem

Cite this as:

Manby, Fred. "Horn's Theorem." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/HornsTheorem.html

Horn's Theorem

See also

Explore with Wolfram|Alpha

References

Referenced on Wolfram|Alpha

Cite this as:

Subject classifications