pith. sign in

arxiv: 2510.27264 · v2 · submitted 2025-10-31 · 🪐 quant-ph

Maximal extension on converse monogamy of entanglement for tripartite pure states

Junhyeong An , Soojoon Lee This is my paper

Pith reviewed 2026-05-18 03:16 UTC · model grok-4.3

classification 🪐 quant-ph
keywords converse monogamy of entanglementtripartite pure statesbipartite entanglement hierarchiesdistillabilityseparability criteria
0
0 comments X

The pith

For tripartite pure quantum states the converse monogamy of entanglement holds under broader conditions than previously known, and these conditions are maximal within the considered hierarchies.

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

The paper extends earlier results on the converse monogamy of entanglement for tripartite pure states, where sufficiently weak entanglement between two parties forces stronger entanglement with the remaining party. It does so by widening the conditions under which this implication holds, using the same hierarchies of bipartite entanglement that order states according to separability criteria and one-way or two-way distillability. The authors then prove that no further widening is possible inside those hierarchies. A sympathetic reader would care because the result sharpens the boundary between states that must share entanglement monogamously and those that need not.

Core claim

We extend the results on the converse monogamy of entanglement to broader conditions for tripartite pure states and show that our extensions are maximal with respect to the hierarchies of bipartite entanglement they considered.

What carries the argument

The hierarchies of bipartite entanglement defined through relations among separability criteria and one-way or two-way distillability, which order the strength of entanglement relations used to state the converse.

If this is right

  • The converse monogamy now applies to a strictly larger class of tripartite pure states than in the earlier works.
  • Within the chosen hierarchies no further extension of the condition is possible without losing the converse implication.
  • Qualitative statements linking weak bipartite entanglement to strong tripartite entanglement become sharper for pure states.
  • Any proof of converse monogamy outside these hierarchies must employ a different ordering of entanglement strength.

Where Pith is reading between the lines

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

  • The maximality result may serve as a template for checking similar converse statements in four-party or larger pure states.
  • It suggests that the chosen hierarchies are optimal for capturing the qualitative sharing constraints of entanglement.
  • Laboratory tests could prepare three-qubit or three-photon states at the boundary of the new conditions and measure entanglement witnesses to verify the forced strong correlations.

Load-bearing premise

The hierarchies of bipartite entanglement fully capture the relevant ordering for the converse statement to hold maximally.

What would settle it

A concrete tripartite pure state that satisfies one of the broadened conditions yet fails to exhibit the required strong entanglement with the third party would falsify the maximality claim.

Figures

Figures reproduced from arXiv: 2510.27264 by Junhyeong An, Soojoon Lee.

Figure 1
Figure 1. Figure 1: FIG. 1: Hierarchy of bipartite states with respect to separability cri [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
read the original abstract

Unlike classical correlations, entanglement cannot be freely shared among multiple parties. This unique feature of quantum systems is known as the monogamy of entanglement. While it holds for all multipartite pure states, its converse -- weak entanglement between two parties enforces strong entanglement with a third party -- occurs only under specific conditions. In particular, Hayashi and Chen [Phys. Rev. A \textbf{84}, 012325 (2011)] demonstrated a qualitative version of the converse monogamy of entanglement (CMoE) for tripartite pure states by employing a hierarchy of bipartite entanglement defined through the relations among various separability criteria, and Singh and Datta [IEEE Trans. Inf. Theory \textbf{69}, 6564 (2023)] later extended this notion of the CMoE from the viewpoint of distillability under one-way or two-way classical communication. In this work, we extend their results to the CMoE with broader conditions, and furthermore show that our extensions are maximal with respect to the hierarchies they considered.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript extends the converse monogamy of entanglement (CMoE) for tripartite pure states beyond the conditions in Hayashi-Chen (2011) and Singh-Datta (2023). Using hierarchies of bipartite entanglement based on separability criteria (PPT, realignment) and distillability (one-way versus two-way), it derives broader sufficient conditions under which weak entanglement between two parties implies strong entanglement with the third, and asserts maximality of these extensions by constructing explicit tripartite pure states that violate CMoE precisely when the new conditions are relaxed.

Significance. If the derivations and counterexamples hold, the work sharpens the boundary between sufficient and necessary conditions for qualitative CMoE in pure tripartite states. The explicit state constructions that saturate the new bounds provide concrete falsifiable tests and clarify the role of the chosen entanglement hierarchies. This incremental but precise refinement of prior results could inform multipartite entanglement measures and quantum communication protocols that rely on monogamy constraints.

major comments (2)
  1. [§4] §4 (Maximality section): the maximality claim is established only relative to the specific partial order induced by the PPT/realignment and one-way/two-way distillability hierarchies. The manuscript does not provide an argument that these hierarchies are exhaustive or coarsest; a strictly finer or orthogonal entanglement monotone could in principle admit an even weaker sufficient condition while preserving the converse. The counterexample construction therefore shows maximality inside the given order but leaves open whether the order itself is complete for the CMoE statement.
  2. [§3.2] §3.2 (Extension of CMoE): the broader conditions are derived by relaxing the thresholds within the existing hierarchies, yet the proof that these relaxations remain sufficient appears to rely on the same algebraic relations among criteria as in the cited prior works. A self-contained verification that the new thresholds do not introduce additional assumptions would strengthen the central claim.
minor comments (2)
  1. [Abstract] The abstract states that the extensions are 'maximal with respect to the hierarchies they considered' but does not list the precise new thresholds; adding one sentence summarizing the relaxed conditions would improve readability.
  2. Notation for the extended separability criteria (e.g., the precise definition of the relaxed realignment bound) is introduced without a dedicated comparison table to the original Hayashi-Chen thresholds; such a table would clarify the extension.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. Below we address each major comment point by point, indicating planned revisions where appropriate.

read point-by-point responses

  1. Referee: [§4] §4 (Maximality section): the maximality claim is established only relative to the specific partial order induced by the PPT/realignment and one-way/two-way distillability hierarchies. The manuscript does not provide an argument that these hierarchies are exhaustive or coarsest; a strictly finer or orthogonal entanglement monotone could in principle admit an even weaker sufficient condition while preserving the converse. The counterexample construction therefore shows maximality inside the given order but leaves open whether the order itself is complete for the CMoE statement.

    Authors: We agree that the maximality result is established relative to the specific hierarchies of entanglement criteria (PPT and realignment) and distillability (one-way versus two-way) considered throughout the paper. The explicit counterexample states in §4 demonstrate that the sufficient conditions cannot be relaxed any further while remaining within these hierarchies without violating the converse monogamy property. The manuscript does not claim or prove that these particular hierarchies are exhaustive or the coarsest possible with respect to every conceivable entanglement monotone. We will revise the discussion in §4 and add a clarifying remark in the conclusion to explicitly delimit the scope of the maximality claim to the partial orders defined by the chosen criteria. revision: yes

  2. Referee: [§3.2] §3.2 (Extension of CMoE): the broader conditions are derived by relaxing the thresholds within the existing hierarchies, yet the proof that these relaxations remain sufficient appears to rely on the same algebraic relations among criteria as in the cited prior works. A self-contained verification that the new thresholds do not introduce additional assumptions would strengthen the central claim.

    Authors: The proofs in §3.2 apply the same algebraic inequalities among the separability and distillability criteria that were established in the referenced works, but the relaxed thresholds are chosen so that the inequalities continue to hold directly. No additional assumptions beyond those already present in the hierarchies are introduced. To address the request for self-contained verification, we will expand the proof presentation in §3.2 (or add a short appendix) that explicitly recomputes the relevant bounds for the new thresholds using only the definitions of the PPT, realignment, and distillability criteria, thereby making the sufficiency argument independent of external citations for the key steps. revision: yes

Circularity Check

0 steps flagged

No significant circularity; maximality shown via counterexamples inside externally defined hierarchies

full rationale

The paper extends CMoE results from Hayashi-Chen and Singh-Datta by broadening sufficient conditions on bipartite entanglement hierarchies (separability criteria and distillability) and proves maximality through explicit tripartite pure-state counterexamples that violate CMoE precisely when the new condition is removed. These hierarchies and their partial orders are imported from the cited prior works rather than derived from the present result. No self-citations appear, no fitted parameters are relabeled as predictions, and the central maximality claim does not reduce to a self-referential definition or ansatz. The derivation therefore remains self-contained against the external benchmarks supplied by the referenced papers.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on the standard quantum information axioms for pure tripartite states and the ordering properties of the cited separability and distillability hierarchies; no new free parameters or invented entities are mentioned in the abstract.

axioms (1)
  • domain assumption Tripartite pure states obey the standard monogamy relations for entanglement measures.
    Invoked implicitly when discussing CMoE for tripartite pure states.

pith-pipeline@v0.9.0 · 5704 in / 1115 out tokens · 21593 ms · 2026-05-18T03:16:56.382202+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    C. H. Bennett, G. Brassard, C. Crépeau, R. Jozsa, A. Peres, and W. K. Wootters, Phys. Rev. Lett.70, 1895 (1993)

    work page 1993

  2. [2]

    C. H. Bennett and S. J. Wiesner, Phys. Rev. Lett.69, 2881 (1992)

    work page 1992

  3. [3]

    C. H. Bennett and G. Brassard, Theor. Comput. Sci.560, 7 (2014)

    work page 2014

  4. [4]

    Coffman, J

    V . Coffman, J. Kundu, and W. K. Wootters, Phys. Rev. A61, 052306 (2000)

    work page 2000

  5. [5]

    B. M. Terhal, IBM J. Res. Dev.48, 71 (2004)

    work page 2004

  6. [6]

    Hayashi and L

    M. Hayashi and L. Chen, Phys. Rev. A84, 012325 (2011)

    work page 2011

  7. [7]

    Singh and N

    S. Singh and N. Datta, IEEE Trans. Inf. Theory69, 6564 (2023)

    work page 2023

  8. [8]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Lett. A 223, 1 (1996)

    work page 1996

  9. [9]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Rev. Lett. 80, 5239 (1998)

    work page 1998

  10. [10]

    Horodecki and P

    M. Horodecki and P. Horodecki, Phys. Rev. A59, 4206 (1999)

    work page 1999

  11. [11]

    Hiroshima, Phys

    T. Hiroshima, Phys. Rev. Lett.91, 057902 (2003)

    work page 2003

  12. [12]

    D. P. DiVincenzo, P. W. Shor, J. A. Smolin, B. M. Terhal, and A. V . Thapliyal, Phys. Rev. A61, 062312 (2000)

    work page 2000

  13. [13]

    Horodecki, Phys

    P. Horodecki, Phys. Lett. A232, 333 (1997)

    work page 1997

  14. [14]

    M. A. Nielsen and J. Kempe, Phys. Rev. Lett.86, 5184 (2001)

    work page 2001

  15. [15]

    C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, and W. K. Woot- ters, Phys. Rev. A54, 3824 (1996)

    work page 1996

  16. [16]

    Horodecki, M

    P. Horodecki, M. Lewenstein, G. Vidal, and I. Cirac, Phys. Rev. A62, 032310 (2000)

    work page 2000

  17. [17]

    Chen and D

    L. Chen and D. Ž. Ðokovi ´c, J. Phys. A: Math. Theor.44, 285303 (2011)

    work page 2011

  18. [18]

    Horodecki, J

    P. Horodecki, J. A. Smolin, B. M. Terhal, and A. V . Thapliyal, Theor. Comput. Sci.292, 589 (2003)

    work page 2003

  19. [19]

    A. W. Marshall, I. Olkin, and B. C. Arnold (1979)

    work page 1979

  20. [20]

    Watrous,Cs766/qic820 theory of quantum information (fall 2011), URLhttps://cs.uwaterloo.ca/~watrous/ TQI-notes/TQI-notes.pdf

    J. Watrous,Cs766/qic820 theory of quantum information (fall 2011), URLhttps://cs.uwaterloo.ca/~watrous/ TQI-notes/TQI-notes.pdf

    work page 2011

  21. [21]

    Horodecki, M

    K. Horodecki, M. Horodecki, P. Horodecki, and J. Oppenheim, Phys. Rev. Lett.94, 200501 (2005)

    work page 2005

  22. [22]

    T. S. Cubitt, M. B. Ruskai, and G. Smith, J. Math. Phys.49 (2008)

    work page 2008