quantum-optimal-transport-entanglement

# Quantum Optimal Transport Entanglement Measure ## Context Based on arXiv:2606.04969 (Shao, Chen, He, Jun 2026). Proposes a bipartite entanglement measure defined as the minimal order-1 quantum Wasserstein distance from a state to the set of separable states. ## Core Methodology 1. **Define entanglement measure**: E(ρ) = min_{σ separable} W_1(ρ, σ) — the minimal quantum Wasserstein distance to the separable set 2. **Verify axioms**: Owing to universal data-processing inequality of Wasserstein metric, satisfies all fundamental entanglement axioms within a single geometric framework 3. **Lipschitz dual formulation**: Derive explicit lower bounds for pure and mixed states using the dual variational problem 4. **Two-qubit sharp constant**: Establish sharp constant for two-qubit systems 5. **Haar-random expected value**: Compute expected entanglement value for Haar-random pure states 6. **Witness connection**: Prove that any negative witness expectation certifies a lower bound on E; dual variational bound equals maximal violation by Lipschitz-1 witness 7. **Subadditivity and trace-distance estimates**: Establish bounds on local observables and point toward large-deviation conjectures ## Implementation Steps 1. Define the quantum Wasserstein distance W_1 on the state space 2. Identify the set of separable states as the reference set 3. Solve the minimization problem: min_{σ ∈ Separable} W_1(ρ, σ) 4. Use the Lipschitz dual formulation to compute lower bounds efficiently 5. For experimental detection: construct Lipschitz-1 witnesses and measure their expectation values 6. The maximal witness violation provides a certified lower bound on entanglement ## Key Results - Single geometric framework satisfies all entanglement measure axioms - Lipschitz dual gives computable lower bounds for both pure and mixed states - Sharp constant established for two-qubit systems - Quantitative connection to entanglement witnesses: negative witness → certified lower bound on E - Natural subadditivity and trace-distance estimates ## Pitfalls - Computing the exact minimum over separable states is generally hard; use dual bounds in practice - The Wasserstein metric definition depends on the choice of underlying geometry - Large-deviation conjectures remain open — current results provide bounds, not exact asymptotics ## Verification - For known entangled states (Bell states), verify E > 0 - For separable states, verify E = 0 - Check that the measure does not increase under LOCC (local operations and classical communication) - Compare witness-based lower bounds against known entanglement measures (concurrence, negativity) ## Activation - quantum optimal transport, entanglement measure, Wasserstein distance, Lipschitz witness, separable states - 量子最优传输, 纠缠度量, Wasserstein距离, Lipschitz见证