# Orbits of maximally entangled mixed states

It is well known (Please, see for example Geometry of quantum states by Bengtsson and Życzkowski ) that the set of $N-$dimensional density matrices is stratified by the adjoint action of $U(N)$, where each stratum corresponds to orbits with a fixed type of degeneracy structure of the density matrix spectrum. These orbits are flag manifolds, for example the orbit of density matrices of spectrum $(1, 0, 0, 0)$ (pure states) is $\mathbb{C}P^3$ and the orbit of density matrices of spectrum $(0.5, 0.5, 0, 0)$ (and also $(0.4, 0.4, 0.1, 0.1)$) is the complex Grassmannian $Gr(4,2, \mathbb{C})$. These spaces - being coadjoint orbits - are known to be Kahler-Einstein.

An observation by Ingemar Bengtsson which was stated and proved in the following article, asserts that in the composite system of two $N-$ state quantum systems $\mathcal{H}^N \otimes \mathcal{H}^N$, whose orbit of pure states is $\mathbb{C}P^{N^2-1}$, the orbit of maximally entangled pure states is $\mathbb{R}P^{N^2-1}$, which is a minimal Lagrangian submanifold.This observation was also mentioned in the first reference.

My questions:

1. Does this result generalize to non-pure states, for example is the orbit of maximally entangled states in $Gr(N^2,2, \mathbb{C})$ (the orbit of density matrices of the type $(0.5, 0.5, 0, 0, . . .)$ in $\mathcal{H}^N \otimes \mathcal{H}^N$) isomorphic to $Gr(N^2,2, \mathbb{R})$.

2. Is there a physical interpretation of this result (a question left open by Bengtsson).

Update:

This is a clarification following Peter Shor's remark.

Among the biparticle pure states, the maximally entangled states, have the property that their partial trace with respect to one system is totally mixed (please, see the discussion following equation 22 in the second reference). As a generalization I wish to know the local orbits of the states within a fixed biparticle density matrix orbit whose partial trace has the maximal Von Neumann entropy relative to all other states in the same biparticle orbit. My motivation is that if the local orbits will happen to be the real flag Lagrangian submanifolds of the complex flag manifolds defining the biparticle state orbits (which is the case for the pure states), these manifolds have well known geometries and this can contribute to our understanding of mixed state entanglement.

-
I don't understand your example. Maximally entangled states are pure states. I don't know what you mean by maximally entangled states in Gr(N^2,2,C). If you mean the states of that type with maximal entanglement, then don't you have to specify the entanglement measure? (There's a unique natural entanglement measure for pure states, but not for mixed states.) –  Peter Shor Oct 9 '11 at 18:51
Thanks for the remark. The criterion for maximal entanglement that I have in mind (and didn't spell out explicitely in the question) is the one given by Bengtsson (in the second reference) following equation (22), namely,a state within a given orbit (of the biparticle density matrix) is to be called maximally entangled if its partial trace with respect to system 2 is maximally mixed (maximal Von Neumann entropy) relative to all states within the same orbit. I'll write an update to the question for clarification. –  David Bar Moshe Oct 10 '11 at 9:31