Pith. sign in

REVIEW 2 major objections 2 minor 35 references

The minimal order-1 quantum Wasserstein distance from a bipartite state to the separable set defines an entanglement measure that meets all axioms through one geometric inequality.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-28 05:48 UTC pith:4IG5R3IK

load-bearing objection The paper sets an entanglement measure to the min order-1 quantum Wasserstein distance to separables and lets the metric's data-processing inequality carry the axioms. the 2 major comments →

arxiv 2606.04969 v2 pith:4IG5R3IK submitted 2026-06-03 quant-ph

Quantifying Entanglement via Quantum Wasserstein Distances

Enmin Shao , Lin Chen , Huixia He This is my paper
classification quant-ph
keywords entanglement measurequantum Wasserstein distanceoptimal transportseparable statesentanglement witnessesdata-processing inequalitybipartite entanglement
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces an entanglement quantifier for two-party quantum systems as the smallest order-1 quantum Wasserstein distance separating a given state from the nearest separable state. Because the underlying Wasserstein metric satisfies a universal data-processing inequality, this minimal distance automatically obeys monotonicity under local operations and classical communication, convexity, and the other standard requirements without separate proofs for each property. A dual formulation using Lipschitz-1 functions supplies computable lower bounds, connects the measure to entanglement witnesses, and yields explicit values such as a sharp constant for two qubits and an average for random pure states.

Core claim

The proposed measure, defined as the minimal order-1 quantum Wasserstein distance from a state to the set of separable states, satisfies all fundamental axioms within a single geometric framework owing to the universal data-processing inequality of the Wasserstein metric.

What carries the argument

The minimal order-1 quantum Wasserstein distance to the separable set, which inherits all required monotonicity and convexity properties directly from the data-processing inequality of the Wasserstein metric.

Load-bearing premise

The order-1 quantum Wasserstein distance obeys a data-processing inequality strong enough that its minimal value to the separable set automatically satisfies every entanglement axiom without additional checks.

What would settle it

An explicit bipartite state and local operation where the minimal Wasserstein distance to separable states increases or fails to vanish exactly on separable states.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • A Lipschitz dual formulation produces explicit lower bounds for both pure and mixed states.
  • Any negative expectation value of an entanglement witness supplies a lower bound on the measure, with the dual bound matching the largest violation possible by a Lipschitz-1 witness.
  • The construction yields subadditivity, trace-distance estimates, and bounds on local observables.
  • The same geometric approach points toward large-deviation results for random states.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The dual formulation may allow experimental certification of entanglement using fewer measurements if the Lipschitz functions can be optimized efficiently.
  • The same distance construction could be applied to multipartite separability by replacing the bipartite separable set with the appropriate multipartite one.
  • Optimal-transport concentration inequalities might translate into fluctuation bounds on entanglement for ensembles of random states.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 2 minor

Summary. The manuscript proposes a bipartite entanglement measure defined as the infimum of the order-1 quantum Wasserstein distance from a given state to the set of separable states. It asserts that this quantity satisfies all standard entanglement axioms (monotonicity under LOCC, convexity, etc.) directly from the universal data-processing inequality obeyed by the Wasserstein metric, supplies a Lipschitz dual formulation that yields explicit lower bounds and a sharp constant for two-qubit systems, and establishes quantitative links to entanglement witnesses via maximal Lipschitz-1 violations.

Significance. If the central inheritance argument holds, the construction supplies a geometrically natural entanglement monotone that automatically inherits subadditivity, trace-distance estimates, and witness bounds from optimal-transport theory, while furnishing concrete numerical values (two-qubit sharp constant, Haar-random expectation) that could be useful for benchmarking and detection protocols.

major comments (2)
  1. [Abstract, §3] Abstract and §3 (presumed): the claim that the data-processing inequality 'immediately yields all axioms' is stated without an explicit derivation showing that the separable set is invariant under the relevant channels and that the infimum therefore inherits each required property (e.g., strong monotonicity under LOCC). A short paragraph or lemma verifying the inheritance for the standard list of axioms would make the central claim self-contained.
  2. [Abstract, dual formulation paragraph] The dual Lipschitz formulation is invoked to obtain 'sharp constants' and 'witness bounds,' yet no explicit variational equation or proof that the minimum is attained appears in the provided text; without this, the asserted sharpness for two-qubit systems remains an unverified claim.
minor comments (2)
  1. Notation for the order-1 quantum Wasserstein distance should be introduced with a reference to the precise definition used (e.g., the underlying cost function or coupling set) before the minimization is stated.
  2. The sentence on 'large-deviation conjectures' is left as a pointer without any supporting calculation or reference; either a brief heuristic or removal would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address the major comments below and will revise the manuscript accordingly to improve self-containment while preserving the core geometric framework.

read point-by-point responses

  1. Referee: [Abstract, §3] Abstract and §3 (presumed): the claim that the data-processing inequality 'immediately yields all axioms' is stated without an explicit derivation showing that the separable set is invariant under the relevant channels and that the infimum therefore inherits each required property (e.g., strong monotonicity under LOCC). A short paragraph or lemma verifying the inheritance for the standard list of axioms would make the central claim self-contained.

    Authors: We agree that an explicit verification would strengthen self-containment. In the revised manuscript we will insert a short lemma (new Lemma 3.1) that first confirms invariance of the separable set under LOCC channels (using the fact that separable states remain separable under local operations and classical communication) and then derives, step by step, that the infimum inherits strong monotonicity, convexity, faithfulness, and the other standard axioms directly from the universal data-processing inequality of the order-1 quantum Wasserstein distance. This addition clarifies the inheritance without altering any results. revision: yes

  2. Referee: [Abstract, dual formulation paragraph] The dual Lipschitz formulation is invoked to obtain 'sharp constants' and 'witness bounds,' yet no explicit variational equation or proof that the minimum is attained appears in the provided text; without this, the asserted sharpness for two-qubit systems remains an unverified claim.

    Authors: The dual formulation is obtained via the Kantorovich–Rubinstein theorem adapted to the quantum Wasserstein metric, which supplies the variational characterization as the supremum over 1-Lipschitz observables. We acknowledge that the explicit dual equation and the attainment argument were not written out in full detail. In the revision we will add a dedicated paragraph (in §4) stating the dual variational problem, citing the compactness argument that guarantees attainment in finite dimensions, and explicitly verifying the two-qubit sharp constant computation. This will substantiate the sharpness and witness-bound claims. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external metric properties

full rationale

The entanglement measure is defined directly as the infimum of the order-1 quantum Wasserstein distance to the separable set. All claimed axioms follow from the data-processing inequality of the Wasserstein metric, which the paper invokes as a known universal property from optimal-transport literature rather than deriving or fitting it internally. No equations reduce the central claim to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The dual Lipschitz formulation and witness connections are standard variational consequences of the external metric definition. The paper is therefore self-contained against external benchmarks with no circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on standard properties of the quantum Wasserstein metric and the definition of separable states; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (2)
  • domain assumption Universal data-processing inequality holds for the order-1 quantum Wasserstein distance
    Invoked in the abstract to guarantee that the minimal distance satisfies all entanglement axioms.
  • domain assumption The set of separable states is closed under the relevant operations
    Required for the minimization to be well-defined and for the measure to be zero exactly on separable states.

pith-pipeline@v0.9.1-grok · 5671 in / 1303 out tokens · 29995 ms · 2026-06-28T05:48:18.018349+00:00 · methodology

0 comments
read the original abstract

We propose a bipartite entanglement measure defined as the minimal order-1 quantum Wasserstein distance from a state to the set of separable states. Owing to the universal data-processing inequality of the Wasserstein metric, the measure satisfies all fundamental axioms within a single geometric framework. A Lipschitz dual formulation yields explicit lower bounds for pure and mixed states, a sharp constant for two-qubit systems, and an expected value for Haar-random pure states. We further establish a quantitative connection to entanglement witnesses: any negative witness expectation value certifies a lower bound, and the dual variational bound is exactly the maximal violation achievable by a Lipschitz-1 witness. The approach naturally provides subadditivity, trace-distance estimates, and bounds on local observables, while pointing toward large-deviation conjectures. This work introduces a framework at the interface of entanglement theory, optimal transport, and experimental entanglement detection.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

35 extracted references · 1 canonical work pages · 1 internal anchor

  1. [1]

    Vedral, M

    V. Vedral, M. B. Plenio, M. A. Rippin, and P. L. Knight. Quantifying entanglement.Phys. Rev. Lett., 78:2275, 1997

    1997

  2. [2]

    M. B. Plenio and S. Virmani. An introduction to entan- glement measures.Quantum Inf. Comput., 7:1, 2007

    2007

  3. [3]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki. Quantum entanglement.Rev. Mod. Phys., 81:865, 2009

    2009

  4. [4]

    C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, and W. K. Wootters. Mixed-state entanglement and quantum error correction.Phys. Rev. A, 54:3824, 1996

    1996

  5. [5]

    W. K. Wootters. Entanglement of formation of an ar- bitrary state of two qubits.Phys. Rev. Lett., 80:2245, 1998

    1998

  6. [6]

    E. M. Rains. A semidefinite program for distillable en- tanglement.Phys. Rev. A, 60:173, 1999

    1999

  7. [7]

    V. Vedral. The role of relative entropy in quantum infor- mation theory.Rev. Mod. Phys., 74:197, 2002. An earlier 10 version appeared as arXiv:quant-ph/0102094 (1998)

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  8. [8]

    K. M. R. Audenaert, J. Eisert, E. Jane, M. B. Plenio, and R. F. Werner. Asymptotic relative entropy of entan- glement.Phys. Rev. Lett., 87:217902, 2001

    2001

  9. [9]

    Vidal and R

    G. Vidal and R. F. Werner. Computable measure of en- tanglement.Phys. Rev. A, 65:032314, 2002

    2002

  10. [10]

    Wei and P

    T.-C. Wei and P. M. Goldbart. Geometric measure of entanglement and applications to many-body physics. Phys. Rev. A, 68:042307, 2003

    2003

  11. [11]

    squashed entanglement

    M. Christandl and A. Winter. “squashed entanglement”: an additive entanglement measure.J. Math. Phys., 45:829, 2004

    2004

  12. [12]

    Gour and S

    G. Gour and S. Friedland. Entanglement measures and some new results.Phys. Rev. Lett., 111:100503, 2013

    2013

  13. [13]

    M. Piani. A note on the hilbert–schmidt distance and locc monotonicity.Phys. Rev. A, 79:052310, 2009

    2009

  14. [14]

    Marian and T

    P. Marian and T. A. Marian. Bures distance as a measure of entanglement for symmetric two-mode gaussian states. Phys. Rev. A, 77:062319, 2008

    2008

  15. [15]

    Markham, J

    D. Markham, J. A. Miszczak, Z. Pucha a, and K. ˙Zyczkowski. Quantum state discrimination: a geo- metric approach.Phys. Rev. A, 77:042111, 2008. The trace-distance approach to entanglement is discussed in the context of state discrimination

    2008

  16. [16]

    Eisert, F

    J. Eisert, F. G. S. L. Brand˜ ao, and K. M. R. Audenaert. A quantitative version of Sanov’s theorem for bipartite quantum states.New J. Phys., 9:46, 2007

    2007

  17. [17]

    Luo and J

    S. Luo and J. Hou. Correlation matrices and separability of bipartite states.Phys. Rev. A, 82:052122, 2010

    2010

  18. [18]

    B. M. Terhal. Bell inequalities and the separability cri- terion.Phys. Lett. A, 271:319, 2000. See also Phys. Rev. A61, 022305 (2000)

    2000

  19. [19]

    G¨ uhne and G

    O. G¨ uhne and G. T´ oth. Entanglement detection.Phys. Rep., 474:1, 2009

    2009

  20. [20]

    Chru´ sci´ nski and G

    D. Chru´ sci´ nski and G. Sarbicki. Entanglement witnesses: construction, analysis and classification.J. Phys. A: Math. Theor., 47:483001, 2014

    2014

  21. [21]

    Badzig, ˇC

    P. Badzig, ˇC. Brukner, W. Laskowski, T. Paterek, and M. ˙Zukowski. Experimentally friendly geometrical crite- ria for entanglement.Phys. Rev. Lett., 100:140403, 2008

    2008

  22. [22]

    Li and S

    N. Li and S. Luo. Total versus quantum correlations in quantum state discrimination.Phys. Rev. A, 76:032327, 2007

    2007

  23. [23]

    De Palma, M

    G. De Palma, M. Marvian, D. Trevisan, and S. Lloyd. The quantum Wasserstein distance of order 1.IEEE Trans. Inf. Theory, 67:6627, 2021

    2021

  24. [24]

    E. A. Carlen and J. Maas. Gradient flow and entropy inequalities for quantum Markov semigroups.Commun. Math. Phys., 346:533, 2016

    2016

  25. [25]

    C. Rouz´ e. Data processing inequalities for quantum Markov chains.Ann. Henri Poincar´ e, 21:2035, 2020

    2035

  26. [26]

    M. A. Rieffel.Matrix algebras converge to the sphere for quantum Gromov–Hausdorff distance, volume 168 of Mem. Amer. Math. Soc.Amer. Math. Soc., 2004. No.796

    2004

  27. [27]

    Lott and C

    J. Lott and C. Villani. Ricci curvature for metric-measure spaces via optimal transport.Ann. of Math., 169:903, 2009

    2009

  28. [28]

    Voiculescu, K

    D. Voiculescu, K. J. Dykema, and A. Nica.Free Random Variables, volume 1 ofCRM Monograph Series. Amer. Math. Soc., 1992

    1992

  29. [29]

    Guionnet and A

    A. Guionnet and A. Noui. Large deviations for random matrices.Probab. Theory Relat. Fields, 147:189, 2010

    2010

  30. [30]

    Ogawa and H

    T. Ogawa and H. Nagaoka. Strong converse and Stein’s lemma in quantum hypothesis testing.IEEE Trans. Inf. Theory, 46:2428, 2000

    2000

  31. [31]

    K. M. R. Audenaert, M. Nussbaum, A. Szkoa, and F. Verstraete. Asymptotic error rates in quantum hy- pothesis testing.Commun. Math. Phys., 279:251, 2008

    2008

  32. [32]

    Aubrun and S

    G. Aubrun and S. J. Szarek.Alice and Bob Meet Ba- nach: The Interface of Asymptotic Geometric Analysis and Quantum Information Theory, volume 223 ofMath. Surveys Monogr.Amer. Math. Soc., 2017

    2017

  33. [33]

    Haag.Local Quantum Physics: Fields, Particles, Al- gebras

    R. Haag.Local Quantum Physics: Fields, Particles, Al- gebras. Springer, 2nd edition, 2012

    2012

  34. [34]

    Entanglement detection

    Otfried G¨ uhne and G´ eza T´ oth. Entanglement detection. Physics Reports, 474(1-6):1–75, 2009

    2009

  35. [35]

    ˙Zyczkowski and H.-J

    K. ˙Zyczkowski and H.-J. Sommers. Induced measures in the space of mixed quantum states.J. Phys. A, 34:7111, 2001

    2001