One application of Duistermaat-Heckman measure in quantum information theory

This paper provides a comprehensive, self-contained derivation of the 8/33 separability probability for two-qubit states under the Hilbert-Schmidt measure by establishing a framework that connects Hilbert-Schmidt volumes of quantum state spaces and flag manifolds to symplectic volumes via the Duistermaat-Heckman measure.

The Gist

Imagine you have a giant, infinite jar filled with every possible "state" a pair of tiny quantum particles (called qubits) could be in. Some of these states are separable, meaning the two particles are independent of each other, like two people walking in a park who happen to be near one another but aren't holding hands. Others are entangled, meaning they are deeply linked, like a pair of dancers moving in perfect, inseparable sync.

The big question physicists have been asking for decades is: If you reach into this jar and pull out a random pair of particles, what are the odds that they are just walking independently (separable) rather than dancing together (entangled)?

For a long time, mathematicians and physicists guessed the answer was 8/33 (about 24%). They had strong computer simulations suggesting this, but no one could write down a clean, step-by-step proof that everyone could understand. The existing proofs were like reading a recipe written in a secret code known only to a few elite chefs.

This paper, by Lin Zhang and his team, acts as the translator. They take that secret code and rewrite it into a clear, logical story using a powerful mathematical tool called the Duistermaat-Heckman (DH) measure.

Here is how they did it, using some everyday analogies:

1. The Map and the Terrain (Geometry)

Imagine the space of all possible quantum states as a massive, multi-dimensional landscape.

• The Whole Landscape: This is the "Hilbert-Schmidt volume." It's the total size of the jar containing all possible states.
• The Separable Islands: Within this huge landscape, there is a specific region where only the "independent" states live.
• The Goal: To find the probability, you just need to measure the size of the "Separable Islands" and divide it by the size of the "Whole Landscape."

2. The Problem: The Landscape is Too Complex

Measuring the size of these shapes directly is incredibly hard. The shapes are twisted, high-dimensional, and curved. It's like trying to measure the volume of a cloud by trying to count every single water droplet.

3. The Solution: The "Magic Shadow" (The DH Measure)

The authors use a brilliant trick from a branch of math called Symplectic Geometry.

Imagine you have a complex, 3D sculpture (the quantum state space). If you shine a light on it from a specific angle, it casts a shadow on the wall.

• The DH Measure is like a special flashlight that doesn't just cast a shadow; it tells you exactly how the "volume" of the sculpture is distributed in that shadow.
• Instead of trying to measure the complex 3D sculpture directly, the authors calculate the volume of its simpler "shadow" (which lives in a lower-dimensional space).
• They found that the "shadow" of the separable states and the "shadow" of the entangled states have a very specific, predictable relationship.

4. The "Slicing" Technique

To get the final number, they didn't just look at the whole jar at once. They imagined slicing the jar into thin layers based on how "mixed" the particles are.

• They calculated the volume of the separable states in each slice.
• They used a mathematical "jump formula" (the Boysal-Vergne-Paradan formula) to figure out how the density of states changes as you move from one slice to the next. Think of it like counting how many people are in a stadium by looking at the density of the crowd in different sections, rather than counting every single person.

5. The Final Calculation

By combining:

1. The total volume of the "jar" (all states).
2. The volume of the "separable islands" (calculated via the DH shadow and slicing).
3. The ratio between them.

They performed the final division and found:
$$\frac{\text{Volume of Separable States}}{\text{Total Volume}} = \frac{8}{33}$$

Why This Matters

• It's a "Yes, We Can" Moment: Before this, the 8/33 number was a "black box" result. You knew it was true, but you couldn't see why. This paper opens the box and shows the gears turning.
• It Connects Worlds: It beautifully connects Quantum Physics (entanglement), Geometry (shapes and volumes), and Probability (odds and chances). It shows that the rules governing the quantum world are deeply tied to the rules of pure geometry.
• The Takeaway: In the universe of two-qubit quantum states, if you pick one at random, there is roughly a 24.2% chance it is separable and a 75.8% chance it is entangled. Entanglement is actually the "default" state for random quantum pairs!

In short, this paper is a masterclass in taking a mysterious, high-level mathematical proof and turning it into a transparent, logical journey that anyone with a bit of patience can follow, proving once and for all that 8/33 is the correct answer.

Technical Summary

Here is a detailed technical summary of the paper "One application of Duistermaat-Heckman measure in quantum information theory" by Lin Zhang, Xiaohan Jiang, and Bing Xie.

1. Problem Statement

The central problem addressed is the determination of the exact separability probability for two-qubit quantum states under the Hilbert-Schmidt (HS) measure.

• Context: In quantum information theory, distinguishing entangled states from separable (non-entangled) states is fundamental. For a bipartite system of two qubits ($2 \times 2$), the question is: what is the probability that a randomly chosen density matrix (according to the HS measure) is separable?
• Background: Extensive numerical studies had long conjectured that this probability is exactly 8/33. While Huong and Khoi (2024) recently provided a rigorous proof, their derivation was highly technical and inaccessible to a broader audience.
• Goal: This paper aims to provide a comprehensive, self-contained, and pedagogical derivation of the 8/33 result, elucidating the underlying geometric and probabilistic structures using tools from symplectic geometry and representation theory.

2. Methodology

The authors employ a geometric framework that bridges Hilbert-Schmidt geometry (Riemannian volume on the space of density matrices) and Symplectic geometry (via the Duistermaat-Heckman measure). The methodology proceeds in four main stages:

A. Geometric Decomposition of State Spaces

The paper decomposes the space of quantum states into manageable geometric components:

1. Flag Manifolds: The quotient space $U(N)/T_N$, representing the space of eigenbases.
2. Adjoint Orbits: Orbits of diagonal matrices under the unitary group action, representing states with fixed eigenvalues.
3. Quantum State Spaces: The manifold of all density matrices $D(\mathbb{C}^N)$.
   The authors compute the Hilbert-Schmidt volumes for these components, establishing that the volume of the full state space can be expressed as an integral over eigenvalues weighted by the volume of the corresponding adjoint orbits.

B. Connection to Symplectic Geometry

A critical insight is the relationship between the HS volume of an adjoint orbit and the symplectic volume of the corresponding co-adjoint orbit.

• The authors utilize the Kirillov-Kostant-Souriau (KKS) symplectic form.
• They establish the formula: $\text{vol}_{HS}(\mathcal{O}_{\hat{\lambda}}) = V_N(\hat{\lambda}) \times \text{vol}_{symp}(\mathcal{O}_{\hat{\lambda}})$, where $V_N$ is the Vandermonde determinant of the eigenvalues.

C. The Duistermaat-Heckman (DH) Measure

To handle the distribution of reduced states (marginals), the authors apply the Duistermaat-Heckman theorem.

• Setup: They consider the action of the subgroup $\tilde{K} = SU(2) \times SU(2)$ (local unitary transformations) on a co-adjoint orbit of $K = SU(4)$ (global unitary transformations).
• Moment Map: The map $\Phi$ projects the global state to the space of reduced density matrices (marginals).
• DH Measure: The push-forward of the Liouville measure under this moment map yields a density function that is piecewise polynomial.
• Computation: The authors explicitly compute this density using:
  • The Harish-Chandra formula for the Fourier transform of the measure.
  • The Boylal-Vergne-Paradan jump formula to determine the density of the iterated convolution of Heaviside functions, which describes the distribution of the eigenvalues of the reduced states.

D. Integration and Probability Calculation

1. Conditioned Space: They first analyze the separability probability within a "conditioned state space" $D_\eta$, where the reduced state of one subsystem is fixed to $\eta$.
2. Separability Criterion: For two-qubit states with a specific symmetry (traceless reduced states), they utilize the Peres-Horodecki criterion (PPT criterion) to define the separable set as the intersection of the state space with a specific region defined by eigenvalue constraints ($D_{ss}$).
3. Volume Integration: By integrating the DH density over the region defined by the separability constraints, they calculate the volume of the separable set relative to the total volume.

3. Key Contributions

• Self-Contained Derivation: The paper fills a gap in the literature by providing a step-by-step, accessible derivation of the 8/33 probability, avoiding the opaque steps found in previous rigorous proofs.
• Geometric Synthesis: It successfully unifies three distinct mathematical fields:
  1. Riemannian Geometry: Computing HS volumes of flag manifolds and state spaces.
  2. Symplectic Geometry: Utilizing the DH measure and moment maps to analyze eigenvalue distributions.
  3. Representation Theory: Using Weyl groups and root systems (specifically for $SU(4)$ and $SU(2) \times SU(2)$) to compute the density functions.
• Explicit Density Functions: The authors derive explicit polynomial expressions for the density of the push-forward measure (the distribution of reduced state eigenvalues) across different chambers of the Weyl chamber, visualized in Figure 1 of the paper.
• Verification of 8/33: The derivation rigorously confirms that the ratio of the volume of separable states to the total volume of two-qubit states is exactly $8/33$.

4. Key Results

• Separability Probability: The exact probability is proven to be:
  $$P_{sep}^{(2\times2)} = \frac{8}{33}$$
• Volume of Separable States: The volume of the set of separable states with traceless reduced states is calculated as:
  $$\text{vol}_{HS}(D_{sep}^0(\mathbb{C}^2 \otimes \mathbb{C}^2)) = \frac{\pi^5}{39,916,800}$$
• Total Volume: The total volume of the two-qubit state space is:
  $$\text{vol}_{HS}(D(\mathbb{C}^2 \otimes \mathbb{C}^2)) = \frac{29\pi}{45,045} \times \text{vol}_{HS}(D^0)$$
  (Leading to the final ratio).
• Marginal Distribution: The paper provides the explicit piecewise polynomial density function $p(r, s)$ for the eigenvalues of the reduced states, which is crucial for determining the geometry of the separable set.

5. Significance

• Theoretical Clarity: This work demystifies a fundamental constant in quantum information theory, making the geometric origins of the 8/33 probability transparent.
• Methodological Framework: It demonstrates the power of the Duistermaat-Heckman measure as a tool for solving problems in quantum probability, specifically regarding the geometry of entanglement.
• Future Applications: The framework established here is presented as a paradigm that can be extended to:
  • Higher-dimensional quantum systems (qudits).
  • Alternative metrics (e.g., Bures metric).
  • Generalized entanglement witnesses.
  • Probing the boundary between classical correlations and quantum entanglement in complex systems.

In summary, the paper transforms a difficult probabilistic problem in quantum mechanics into a tractable geometric calculation, leveraging deep results from symplectic geometry to provide a definitive and accessible proof of the 8/33 separability probability.