Quantum Entanglement Index (QEI)

• Quantum Entanglement Index (QEI) is a family of invariants and operational measures that quantify and classify quantum entanglement across states and channels.
• It incorporates diverse approaches—from semidefinite programming to SLOCC-invariant geometry and entanglement-breaking indices—to rigorously assess entanglement cost and structure.
• QEI provides actionable insights for quantum information, condensed matter, and string theory by linking entanglement properties to topological, dynamical, and measurement-based indicators.

The Quantum Entanglement Index (QEI) refers collectively to a family of invariants and operational measures developed to quantify and classify quantum entanglement, both at the level of states and quantum channels, across a range of physical, mathematical, and computational settings. Several alternative definitions coexist in the literature, each tailored to a specific context—semidefinite-program characterizations for mixed states, index-theoretic constructs for families of density matrices, trace invariants for topological phases, operator-algebraic indices in quantum dynamics, and practical measurement-based approaches. The following sections synthesize the principal formulations and their formal properties as distilled from the primary literature.

1. Operational QEI via Semidefinite Programs: The $E_{\kappa}$ Index

A central approach to QEI is as an operational entanglement measure for bipartite mixed states, as articulated by Wang and Wilde in the form of the $E_{\kappa}$ measure (Wang et al., 2020). For a bipartite state $\rho_{AB}$ on $\mathcal H_A \otimes \mathcal H_B$,

$$E_{\kappa}(\rho_{AB}) = \log_2 \inf_{S_{AB} \geq 0} \{ \operatorname{Tr}[S_{AB}] : -S_{AB}^{T_B} \leq \rho_{AB}^{T_B} \leq S_{AB}^{T_B} \},$$

where $T_B$ indicates the partial transpose.

Key points:

• $E_{\kappa}$ is the exact PPT entanglement cost: it quantifies the minimum number of maximally entangled bits (ebits) needed to asymptotically prepare $\rho_{AB}$ under operations that completely preserve positivity of the partial transpose (PPT).
• $E_{\kappa}$ is shown to be additive, faithful ($E_{\kappa}(\rho)=0$ iff $E_{\kappa}$0 is PPT), normalized on maximally entangled states ($E_{\kappa}$1), monotonic under PPT-preserving maps and LOCC, but generally not convex and not monogamous.
• Unlike most entanglement monotones with precise operational meanings, $E_{\kappa}$2 is efficiently computable via semidefinite programming.
• This measure refines and in part replaces the role of logarithmic negativity and is a stringent candidate for a canonical QEI within quantum information theory.

2. QEI as a SLOCC-Invariant Index and Momentum-Map Geometry

On the classification side, the QEI is defined as a SLOCC-invariant in the geometric study of pure states under the action of $E_{\kappa}$3 (Sawicki et al., 2012):

• The quantum phase space $E_{\kappa}$4 is stratified using the norm-square of the momentum map $E_{\kappa}$5, whose critical points correspond to distinct SLOCC families. For a pure state $E_{\kappa}$6, define:

$E_{\kappa}$7

where $E_{\kappa}$8 is the Euclidean distance from the Kirwan polytope to the origin, $E_{\kappa}$9 is the quadratic Casimir, and $\rho_{AB}$0 is the critical point maximizing the total variance $\rho_{AB}$1 in the SLOCC-orbit closure.

• For $\rho_{AB}$2 bipartite systems, this leads to a discrete, SLOCC-invariant "entanglement index" $\rho_{AB}$3 labeling the $\rho_{AB}$4-th critical orbit ($\rho_{AB}$5), with explicit Morse index calculations quantifying the number of local directions in which the entanglement can increase.
• This geometric QEI provides a fine-grained partial order on entanglement classes, incorporating both multipartite and indistinguishable particle settings.

3. QEI as an Index in Quantum Dynamics: Entanglement-Breaking Index

In the context of quantum channels and Markovian dynamics, the QEI is realized through the entanglement-breaking index $\rho_{AB}$6 (Hanson et al., 2019):

$\rho_{AB}$7

where $\rho_{AB}$8 is the set of entanglement-breaking channels.

• This integer quantifies how many applications of a channel $\rho_{AB}$9 are required to completely destroy all entanglement.
• For faithful primitive channels, full structural results link eventual entanglement breaking to properties of the peripheral spectrum and direct-sum block decompositions.
• Explicit upper/lower bounds on $\mathcal H_A \otimes \mathcal H_B$0 can be obtained via robustness of separability, spectral gap estimates, and the geometry of the set of separable states.

A variant is the entanglement-annihilating index $\mathcal H_A \otimes \mathcal H_B$1 for bipartite channels, and locally entanglement-annihilating indices $\mathcal H_A \otimes \mathcal H_B$2 relevant to composite systems.

4. Cohomological and Index-Theoretic QEIs

A topologically refined QEI is defined as the difference of analytic indices of twisted Dirac operators on parameter manifolds of states (Ikeda, 6 Nov 2025). Let $\mathcal H_A \otimes \mathcal H_B$3 be a closed even-dimensional manifold, $\mathcal H_A \otimes \mathcal H_B$4 a Hermitian bundle with unitary connection $\mathcal H_A \otimes \mathcal H_B$5, and $\mathcal H_A \otimes \mathcal H_B$6 an $\mathcal H_A \otimes \mathcal H_B$7-parallel Hermitian witness field. The Quantum Entanglement Index is: $\mathcal H_A \otimes \mathcal H_B$8 where $\mathcal H_A \otimes \mathcal H_B$9 are subbundles defined by the sign of $$E_{\kappa}(\rho_{AB}) = \log_2 \inf_{S_{AB} \geq 0} \{ \operatorname{Tr}[S_{AB}] : -S_{AB}^{T_B} \leq \rho_{AB}^{T_B} \leq S_{AB}^{T_B} \},$$0, and $$E_{\kappa}(\rho_{AB}) = \log_2 \inf_{S_{AB} \geq 0} \{ \operatorname{Tr}[S_{AB}] : -S_{AB}^{T_B} \leq \rho_{AB}^{T_B} \leq S_{AB}^{T_B} \},$$1 the Dirac operator.

• This index detects cohomological obstructions to globally reconstructing a quantum state from locally compatible data, reflecting entanglement-induced failure of trivialization in the amplitude bundle.
• The index's Chern–Weil formula links it to topological invariants computable via Berry or Uhlmann curvature, with direct implications for characterizing quantum phase transitions and topological order in mixed-state families.

5. Information-Geometric and Measurement-Based QEIs

An operationally accessible formulation of QEI appears in the information geometry of the measurement outcome space (Miller, 2018):

• For $$E_{\kappa}(\rho_{AB}) = \log_2 \inf_{S_{AB} \geq 0} \{ \operatorname{Tr}[S_{AB}] : -S_{AB}^{T_B} \leq \rho_{AB}^{T_B} \leq S_{AB}^{T_B} \},$$2-party binary-outcome measurement records, information distances $$E_{\kappa}(\rho_{AB}) = \log_2 \inf_{S_{AB} \geq 0} \{ \operatorname{Tr}[S_{AB}] : -S_{AB}^{T_B} \leq \rho_{AB}^{T_B} \leq S_{AB}^{T_B} \},$$3, joint entropies, and higher-order "volumes" (areas, simplex volumes) built from conditional entropies provide a hierarchy of QEI invariants.
• For the canonical GHZ, W, and product states, explicit values of $$E_{\kappa}(\rho_{AB}) = \log_2 \inf_{S_{AB} \geq 0} \{ \operatorname{Tr}[S_{AB}] : -S_{AB}^{T_B} \leq \rho_{AB}^{T_B} \leq S_{AB}^{T_B} \},$$4, area $$E_{\kappa}(\rho_{AB}) = \log_2 \inf_{S_{AB} \geq 0} \{ \operatorname{Tr}[S_{AB}] : -S_{AB}^{T_B} \leq \rho_{AB}^{T_B} \leq S_{AB}^{T_B} \},$$5, etc., classify their entanglement structure.
• These quantities are constructed purely from measurement statistics, avoiding full quantum state tomography and allowing favorable scaling with $$E_{\kappa}(\rho_{AB}) = \log_2 \inf_{S_{AB} \geq 0} \{ \operatorname{Tr}[S_{AB}] : -S_{AB}^{T_B} \leq \rho_{AB}^{T_B} \leq S_{AB}^{T_B} \},$$6, thus enabling practical estimation of high-order entanglement structure.

6. Experiment-Friendly QEI: Expectation-Maximization and Connected Correlators

Several proposals define the QEI in terms of locally accessible observables or correlation properties:

• Zeheiry (Zeheiry, 2022) introduces QEI as $$E_{\kappa}(\rho_{AB}) = \log_2 \inf_{S_{AB} \geq 0} \{ \operatorname{Tr}[S_{AB}] : -S_{AB}^{T_B} \leq \rho_{AB}^{T_B} \leq S_{AB}^{T_B} \},$$7 minus the (normalized) sum of maximal local expectation values of generalized Pauli operators ("separability index"). For a state $$E_{\kappa}(\rho_{AB}) = \log_2 \inf_{S_{AB} \geq 0} \{ \operatorname{Tr}[S_{AB}] : -S_{AB}^{T_B} \leq \rho_{AB}^{T_B} \leq S_{AB}^{T_B} \},$$8 on $$E_{\kappa}(\rho_{AB}) = \log_2 \inf_{S_{AB} \geq 0} \{ \operatorname{Tr}[S_{AB}] : -S_{AB}^{T_B} \leq \rho_{AB}^{T_B} \leq S_{AB}^{T_B} \},$$9 qudits,

$T_B$0

with $T_B$1 for all separable states and $T_B$2 for maximally entangled ones. This index is invariant under local unitaries and monotonic under LOCC.

• The connected-correlation QEI (Guo et al., 2022) is based on the maximal violation in the connected two-point correlator $T_B$3 of a two-qubit or higher subsystem, with QEI defined as the maximal eigenvalue-derived quantity $T_B$4. The measure is proven monotonic with respect to standard entanglement invariants, vanishing on separable states.

7. QEI in Topological and String-Theoretic Contexts

In condensed matter, the trace index (Alexandradinata et al., 2011) provides a QEI by capturing jumps in the entanglement spectrum trace as a function of momentum, equating to the Chern or $T_B$5 topological invariant of the system. This index diagnoses topological phase structure directly from the ground state, with direct computational procedures based on the correlation matrix and flux insertion arguments.

In string theory, the stringy QEI (Dabholkar et al., 21 Jul 2025) is constructed as a difference between indexed partition functions evaluated at fractional replica numbers on conical orbifolds: $T_B$6 computed exactly at one-loop order and free of both ultraviolet and infrared divergences. This construction generalizes Rényi entropies by incorporating index insertions, yielding a finite, robust diagnostic of entanglement structure in black hole microphysics and holography.

---

Table: Representative QEI Constructions

Context/Setting	QEI Definition / Formula	Key Properties
PPT-cost / Mixed-state QIT	$T_B$7 (SDP)	Additive, faithful, efficiently computable
SLOCC-invariant pure states	$T_B$8	SLOCC-invariant, geometric, Morse index interpretation
Quantum channels / Evolution	$T_B$9	Integer-valued, operational, spectral bounds
Index-theoretic / families of states	$E_{\kappa}$0	Cohomological, topological, stable under perturbations
Experimental (local obs./corr.)	$E_{\kappa}$1 minus separability index, $E_{\kappa}$2	Accessible via local measurements or 2-pt correlators
Topological materials / lattice	Trace index (jumps in ent. spectrum trace)	Chern/$E_{\kappa}$3 index equivalence, edge-mode count
String theory / Black holes	$E_{\kappa}$4 (string partition fn.)	UV/IR finite, topologically protected, nonperturbative

---

8. Synthesis and Outlook

The notion of a Quantum Entanglement Index now encompasses semidefinite-program measures of exact entanglement cost, SLOCC-invariant geometric distances, operator-theoretic indices for quantum dynamical maps, index-theoretic invariants sensitive to topological and cohomological structure, and directly experiment-driven surrogate indices based on local measurements or entanglement spectrum discontinuities. Each formulation is adapted to the corresponding physical regime—finite-dimensional quantum information, multipartite state classification, open-system dynamics, condensed-matter topological order, or black hole microstates in string theory.

A shared feature among these approaches is the balance of operational or physical interpretability, computational feasibility, and robustness under canonical equivalences (e.g., local unitaries, channel composition, or topological deformation). A plausible implication is that future developments may consolidate these perspectives, yielding a unified "periodic table" of entanglement indices spanning state and channel classification, entanglement phase diagnosis, and resource-theoretic quantification.

The QEI, in its many forms, provides a metric, invariant, or diagnostic that is not only mathematically precise but also adapts to diverse physical and computational scenarios, from entanglement cost under restrictions, to classification of multipartite entanglement and dynamical destruction of nonlocality, to the detection of topological and cohomological quantum order.