Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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 this 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.

My questions:

  1. Does this result generalize to non-pure states? For example, 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? (Which is also a question left open by Bengtsson).


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 (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.

share|cite|improve this question
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

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.