Skip to main content
6 of 6
deleted 38 characters in body

Existence of a matrix product from its eigenvalues

Let A and B be two positive definite, real, symmetric matrices. The eigenvalues of A, B and AB, denoted by $\lambda(X)$, obey the relation (from Bhatia): $$ \lambda^\downarrow(A) \cdot \lambda^\uparrow(B) \prec \lambda(AB) \prec \lambda^\downarrow(A) \cdot \lambda^\downarrow(B) $$ where $\downarrow$ indicates decreasing order, $\uparrow$ increasing order, $x \cdot y := (x_1y_1,\ldots ,x_ny_n)$ for $x,y \in \mathbb{R}^n$ and $\prec$ is the majorization preorder.

My question is, for a given set of eigenvalues $\lambda(A),\, \lambda(B)$ and $\lambda(AB)$ which satisfies the above, does there necessarily exist an A and B such that they and AB have the desired eigenvalues?

I've found plenty of material on similar inequalities, but nothing that states if every solution of the inequalities can be realised.