[Paper Review] Manifolds of interconvertible pure states

Magdalena M. Sinołęcka, Karol Życzkowski+1 more|ArXiv.org|Oct 12, 2001

Quantum chaos and dynamical systems3 citations

TL;DR

This paper investigates the geometry of local unitary orbits for pure states in $N\times N$ bipartite quantum systems by analyzing the dimensions of manifolds of interconvertible states via local unitary transformations. It derives exact formulas for orbit dimensions based on Schmidt coefficient degeneracy: generic states have $2N^2 - N - 1$ dimensions, separable states form a $4(N-1)$-dimensional manifold, and maximally entangled states form a $N^2 - 1$-dimensional manifold, providing a complete algebraic characterization of entanglement classes.

ABSTRACT

Local orbits of a pure state of an N x N bi-partite quantum system are analyzed. We compute their dimensions which depends on the degeneracy of the vector of coefficients arising by the Schmidt decomposition. In particular, the generic orbit has 2N^2 -N-1 dimensions, the set of separable states is 4(N-1) dimensional, while the manifold of maximally entangled states has N^2-1 dimensions.

Motivation & Objective

• To characterize the topological and geometric structure of local unitary orbits for pure states in $N\times N$ bipartite quantum systems.
• To determine the dimensionality of manifolds of interconvertible pure states under local unitary operations.
• To classify entanglement classes—separable, maximally entangled, and generic—by their orbit dimensions.
• To establish a connection between Schmidt coefficient degeneracy and orbit dimensionality via algebraic and differential geometric methods.
• To propose coefficients of the characteristic polynomial of the Gram matrix as entanglement monotones that fully characterize pure state entanglement.

Proposed method

• Uses the Schmidt decomposition to express any pure state in terms of its Schmidt coefficients $\lambda_k$, which determine the entanglement structure.
• Analyzes the action of local unitary groups $U(N) \times U(N)$ on the state space to define orbits of interconvertible states.
• Computes the dimension of each orbit by determining the rank of the tangent space to the orbit at a given state, derived from the Lie algebra of the local unitary group.
• Applies the formula $\dim \mathcal{O}_\psi = 2N^2 - N - 1 - \sum_{k=1}^r (2d_k - 1)$, where $d_k$ is the degeneracy of Schmidt coefficients, to compute orbit dimensions.
• Introduces the Gram matrix of the coefficient matrix $C$ and derives its characteristic polynomial to extract symmetric polynomials $\tau_k$ of the Schmidt coefficients.
• Demonstrates that the elementary symmetric polynomials $\tau_k$ (for $k=2,\dots,N$) are entanglement monotones, invariant under local unitary operations and zero iff the state is separable.

Experimental results

Research questions

• RQ1 What is the dimension of the manifold of pure states interconvertible via local unitary operations in an $N\times N$ bipartite system?
• RQ2 How does the orbit dimension depend on the degeneracy structure of the Schmidt coefficients of a pure state?
• RQ3 Can the coefficients of the characteristic polynomial of the Gram matrix serve as complete entanglement monotones for pure states?
• RQ4 What are the dimensions of the submanifolds corresponding to separable and maximally entangled pure states?
• RQ5 How do the geometric and topological properties of local unitary orbits relate to entanglement classification?

Key findings

• The generic orbit of a pure state in an $N\times N$ system has dimension $2N^2 - N - 1$, corresponding to the case of non-degenerate Schmidt coefficients.
• The set of separable pure states forms a manifold of dimension $4(N - 1)$, corresponding to the product of the pure state spaces of the two subsystems.
• The manifold of maximally entangled pure states has dimension $N^2 - 1$, corresponding to the case where all Schmidt coefficients are equal.
• The coefficients $\tau_k$ of the characteristic polynomial of the Gram matrix are Schur-concave and thus qualify as entanglement monotones, providing a complete set of $N-1$ independent invariants for pure state entanglement.
• For $N=2$, the $\tau_k$ coefficients fully characterize entanglement and agree with standard measures, but for $N>2$, they induce different ordering of entangled states than Renyi entropies.
• The method is extendable to mixed states, as demonstrated for generalized Werner states, where orbit dimension depends only on the Schmidt coefficients of the pure state component.