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:

1000 to Babylonian
d/dx f(x)+g(x)+h(x)
inv {{10, -9, -12}, {7, -12, 11}, {-10, 10, 3}}

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