pith. sign in

arxiv: 2605.19530 · v1 · pith:BM325WNEnew · submitted 2026-05-19 · 🪐 quant-ph

Construction of three-qubit positive-partial-transpose entangled states of rank four

Yonggang Cheng , Lin Chen This is my paper

Pith reviewed 2026-05-20 05:41 UTC · model grok-4.3

classification 🪐 quant-ph
keywords three-qubit statespositive partial transposeentangled statesrank fourLorentz invariantunextendible product basesSLOCC equivalence
0
0 comments X

The pith

Three-qubit PPT entangled states of rank four split into two types by a Lorentz invariant, with the zero-invariant family reduced to a single complex parameter up to SLOCC.

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

The paper classifies the lowest-rank three-qubit states that stay positive under partial transposition yet remain entangled. It separates them according to the value of a Lorentz invariant. States with a nonzero invariant can be built from unextendible product bases. States with a zero invariant admit a compact parametrization using only one complex number after accounting for local operations and classical communication. The work also gives a practical test for membership in the unextendible-product-basis family and examines the possible values of the invariant for states of even lower rank.

Core claim

Rank-four three-qubit PPT entangled states are partitioned by the Lorentz invariant into type I (nonzero invariant, constructible from unextendible product bases) and type II (zero invariant, representable by an explicit one-complex-parameter family up to SLOCC equivalence). A criterion decides whether a given state belongs to the unextendible-product-basis construction. Within the one-parameter family, the SLOCC equivalence classes are characterized explicitly. The range of Lorentz invariants for multiqubit states of rank less than three is also determined.

What carries the argument

The Lorentz invariant of a three-qubit state, which distinguishes type-I states (nonzero, UPB-constructible) from type-II states (zero, one-complex-parameter form) and thereby organizes the entire set up to SLOCC.

If this is right

  • Every rank-four three-qubit PPT entangled state is either UPB-derived or belongs to the explicit one-parameter family.
  • A finite check determines whether any given state arises from an unextendible product basis.
  • SLOCC equivalence classes inside the one-parameter family are fully described by the value of the single complex parameter.
  • The possible values of the Lorentz invariant for all multiqubit PPT states of rank at most two are now known.

Where Pith is reading between the lines

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

  • The one-parameter form supplies a concrete test bed for computing entanglement monotones on bound-entangled states.
  • The same Lorentz-invariant criterion may extend to four-qubit or higher-rank PPT states and yield similar low-dimensional parametrizations.
  • If the classification is exhaustive, every minimal-rank bound-entangled state in three qubits is now available for numerical or analytic study.

Load-bearing premise

The Lorentz invariant being zero or nonzero completely partitions every rank-four three-qubit PPT entangled state into either the unextendible-product-basis family or the single-complex-parameter family, with no further families existing up to SLOCC.

What would settle it

A concrete rank-four three-qubit PPT entangled state whose Lorentz invariant is nonzero yet cannot be obtained from any unextendible product basis, or a zero-invariant state whose minimal parametrization requires more than one independent complex parameter after SLOCC reduction.

Figures

Figures reproduced from arXiv: 2605.19530 by Lin Chen, Yonggang Cheng.

Figure 1
Figure 1. Figure 1: Three-qubit rank-four PPTES classification procedure [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
read the original abstract

Multiqubit positive-partial-transpose (PPT) entangled states play an important role in quantum information theory. We characterize such states of minimum rank in three-qubit system, namely rank four. Depending on whether the Lorentz invariant is zero, we classify such states into two types. The PPT entangled states constructed by unextendible product bases (UPB) have nonzero invariants, which belong to type I. We provide a method to effectively determine whether a state can be constructed from UPB. For states with zero invariant, which belong to type II, we provide an explicit expression up to equivalence of stochastic local operations and classical communications (SLOCC). It turns out that we can represent them with only one complex parameter. We further study SLOCC-equivalence relation within the expression. We also investigate the Lorentz invariants of multiqubit states with rank less than three and analyze their range.

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 paper classifies three-qubit PPT entangled states of rank four into two types according to whether a Lorentz invariant vanishes. Type I (nonzero invariant) consists of states constructible from unextendible product bases (UPB), with a method supplied to test membership in this class. Type II (zero invariant) is asserted to be exhausted by an explicit one-complex-parameter family up to SLOCC equivalence; the paper studies the SLOCC orbits inside this family and also examines the invariants for states of rank less than three.

Significance. If the claimed partition and exhaustion hold, the work supplies an explicit parametrization of the lowest-rank three-qubit PPT entangled states, which would be useful for further entanglement studies. The reduction to a single complex parameter for the zero-invariant family and the concrete UPB-membership test are concrete strengths. The analysis of lower-rank cases provides useful context for the invariants.

major comments (2)
  1. [Classification into types I and II (main result section)] The central claim that every rank-4 PPT entangled state belongs to exactly one of the two SLOCC classes defined by the vanishing of the Lorentz invariant, with type II exhausted by the given one-complex-parameter family, is load-bearing. No independent dimension count of the variety of rank-4 PPT states (or of the quotient by SLOCC) is supplied to confirm that the UPB constructions and the one-parameter family together cover the entire set. Without such a count or an alternative completeness argument, it remains possible that additional continuous families or discrete orbits with vanishing invariant lie outside the stated parametrization.
  2. [Type II states and the one-parameter family] The explicit one-complex-parameter expression for type-II states is presented as complete up to SLOCC. It is not shown that every zero-invariant state is SLOCC-equivalent to one of these forms, nor is the dimension of the stabilizer or orbit space computed to verify that a single complex parameter suffices without missing or redundant cases.
minor comments (2)
  1. [Method to determine UPB construction] The criterion for deciding whether a given state arises from a UPB construction is described as 'effective,' but the precise algorithmic steps or algebraic test could be isolated in a dedicated subsection or algorithm box for clarity.
  2. [Preliminaries] Notation for the Lorentz invariant and its explicit formula should be introduced once in a preliminary section rather than re-derived in multiple places.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address the major points below, indicating where revisions will be made to strengthen the completeness arguments.

read point-by-point responses

  1. Referee: [Classification into types I and II (main result section)] The central claim that every rank-4 PPT entangled state belongs to exactly one of the two SLOCC classes defined by the vanishing of the Lorentz invariant, with type II exhausted by the given one-complex-parameter family, is load-bearing. No independent dimension count of the variety of rank-4 PPT states (or of the quotient by SLOCC) is supplied to confirm that the UPB constructions and the one-parameter family together cover the entire set. Without such a count or an alternative completeness argument, it remains possible that additional continuous families or discrete orbits with vanishing invariant lie outside the stated parametrization.

    Authors: We agree that an explicit dimension count or alternative completeness argument would make the classification more robust. Our derivation proceeds by using the Lorentz invariant to partition the states and then solving the PPT and rank-four conditions explicitly: nonzero invariant leads to UPB-constructible forms (with a membership test provided), while vanishing invariant reduces the state, after suitable SLOCC normalization, to the stated one-complex-parameter expression. Although the manuscript does not contain a separate variety-dimension calculation, the algebraic constraints from the PPT condition and the invariant together exhaust the solution space, as verified by direct substitution and equivalence checks. We will add a brief dimension-count argument in the revision (e.g., counting free parameters in a general rank-4 Hermitian matrix subject to the PPT and trace-normalization constraints, then quotienting by SLOCC) to confirm that no additional families exist. revision: partial

  2. Referee: [Type II states and the one-parameter family] The explicit one-complex-parameter expression for type-II states is presented as complete up to SLOCC. It is not shown that every zero-invariant state is SLOCC-equivalent to one of these forms, nor is the dimension of the stabilizer or orbit space computed to verify that a single complex parameter suffices without missing or redundant cases.

    Authors: We acknowledge that a direct verification of exhaustiveness via stabilizer/orbit dimensions would be helpful. The one-complex-parameter family is derived by imposing the vanishing of the Lorentz invariant together with the PPT and rank-four conditions, then using the remaining SLOCC freedom to bring the state into a canonical form; the single complex parameter parametrizes the inequivalent solutions under this reduction. We already analyze SLOCC equivalence classes inside the family. In the revision we will include an explicit computation of the generic stabilizer dimension (or equivalently the orbit dimension) for states in this family, confirming that the parametrization is both minimal and complete for all zero-invariant rank-4 PPT entangled states. revision: partial

Circularity Check

0 steps flagged

Classification via Lorentz invariant and explicit parametrization is self-contained

full rationale

The paper partitions rank-four three-qubit PPT entangled states according to whether a Lorentz invariant vanishes, placing UPB-based states in the nonzero (type I) class and supplying an explicit one-complex-parameter family for the zero (type II) class up to SLOCC equivalence. This organization treats the invariant as an independent external classifier drawn from prior literature rather than a quantity constructed from the states under study. The explicit expressions, the method for detecting UPB origin, and the SLOCC-equivalence analysis within the family are obtained by direct algebraic manipulation and do not reduce any derived object to a fitted parameter or to a self-citation that itself encodes the target result. No equation equates a prediction to its own input by definition, and the completeness claim rests on the algebraic exhaustion of the two cases rather than on a renaming or ansatz smuggled through citation. The derivation therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The work rests on standard quantum-information definitions of PPT states, partial transpose, and SLOCC equivalence; the single complex parameter is introduced as part of the explicit form rather than fitted to data.

free parameters (1)
  • one complex parameter
    The type-II states are represented by a single complex parameter in the explicit expression up to SLOCC.
axioms (1)
  • domain assumption Standard properties of positive-partial-transpose operators and Lorentz invariants for multiqubit states
    Invoked when classifying states by whether the invariant vanishes and when constructing the explicit forms.

pith-pipeline@v0.9.0 · 5677 in / 1183 out tokens · 41759 ms · 2026-05-20T05:41:22.349964+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.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    Depending on whether the Lorentz invariant is zero, we classify such states into two types... For states with zero invariant... we provide an explicit expression... with only one complex parameter.

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

30 extracted references · 30 canonical work pages

  1. [1]

    Entanglement detection length of multipartite quantum states

    Fei Shi, Lin Chen, Giulio Chiribella, and Qi Zhao. Entanglement detection length of multipartite quantum states. Phys. Rev. Lett., 134:050201, Feb 2025

    work page 2025

  2. [2]

    Separability criterion for density matrices.Phys

    Asher Peres. Separability criterion for density matrices.Phys. Rev. Lett., 77:1413–1415, Aug 1996

    work page 1996

  3. [3]

    Separability of mixed states: necessary and sufficient conditions.Physics Letters A, 223(1):1–8, 1996

    Michał Horodecki, Paweł Horodecki, and Ryszard Horodecki. Separability of mixed states: necessary and sufficient conditions.Physics Letters A, 223(1):1–8, 1996

    work page 1996

  4. [4]

    Construction of PPT entangled state and its detection by using second-order moment of the partial transposition.Physics Letters A, 567:131195, 2026

    Rohit Kumar and Satyabrata Adhikari. Construction of PPT entangled state and its detection by using second-order moment of the partial transposition.Physics Letters A, 567:131195, 2026

    work page 2026

  5. [5]

    Separability criterion and inseparable mixed states with positive partial transposition.Physics Letters A, 232(5):333–339, 1997

    Pawel Horodecki. Separability criterion and inseparable mixed states with positive partial transposition.Physics Letters A, 232(5):333–339, 1997

    work page 1997

  6. [6]

    Louvet, F

    J. Louvet, F. Damanet, and T. Bastin. Bound entanglement in symmetric random induced states.Phys. Rev. A, 113:042440, Apr 2026

    work page 2026

  7. [7]

    EntanglementintheDickesubspace

    AabhasGulati, IonNechita, andClémentPellegrini. EntanglementintheDickesubspace. Preprint: arXiv:2602.15800, 2026

    work page arXiv 2026

  8. [8]

    Pál, Géza Tóth, Erika Bene, and Tamás Vértesi

    Károly F. Pál, Géza Tóth, Erika Bene, and Tamás Vértesi. Bound entangled singlet-like states for quantum metrology. Phys. Rev. Res., 3:023101, May 2021

    work page 2021

  9. [9]

    Separability and entanglement inC2 ⊗C 2 ⊗C N composite quantum systems

    Sini ša Karnas and Maciej Lewenstein. Separability and entanglement inC2 ⊗C 2 ⊗C N composite quantum systems. Phys. Rev. A, 64:042313, Sep 2001

    work page 2001

  10. [10]

    Kraus, J

    B. Kraus, J. I. Cirac, S. Karnas, and M. Lewenstein. Separability in2×Ncomposite quantum systems.Phys. Rev. A, 61:062302, May 2000

    work page 2000

  11. [11]

    On the convex cones arising from classifications of partial entanglement in the three qubit system.Journal of Physics A: Mathematical and Theoretical, 53(1):015301, nov 2019

    Kyung Hoon Han and Seung-Hyeok Kye. On the convex cones arising from classifications of partial entanglement in the three qubit system.Journal of Physics A: Mathematical and Theoretical, 53(1):015301, nov 2019

    work page 2019

  12. [12]

    Searching for extremal PPT entangled states.Optics Communications, 283(5):805–813, 2010

    Remigiusz Augusiak, Janusz Grabowski, Marek Kuś, and Maciej Lewenstein. Searching for extremal PPT entangled states.Optics Communications, 283(5):805–813, 2010. Quo vadis Quantum Optics?

    work page 2010

  13. [13]

    Separability problem for multipartite states of rank at most 4.Journal of Physics A: Mathematical and Theoretical, 46(27):275304, jun 2013

    Lin Chen and Dragomir Ž Ðoković. Separability problem for multipartite states of rank at most 4.Journal of Physics A: Mathematical and Theoretical, 46(27):275304, jun 2013

    work page 2013

  14. [14]

    Product vectors in the ranges of multi-partite states with positive partial transposes and permanents of matrices.Communications in Mathematical Physics, 338(2):621–639, Sep 2015

    Young-Hoon Kiem, Seung-Hyeok Kye, and Joohan Na. Product vectors in the ranges of multi-partite states with positive partial transposes and permanents of matrices.Communications in Mathematical Physics, 338(2):621–639, Sep 2015

    work page 2015

  15. [15]

    Experimental detection of qubit-ququart pseudo- bound entanglement using three nuclear spins.Physics Letters A, 383(14):1549–1554, 2019

    Amandeep Singh, Akanksha Gautam, Arvind, and Kavita Dorai. Experimental detection of qubit-ququart pseudo- bound entanglement using three nuclear spins.Physics Letters A, 383(14):1549–1554, 2019

    work page 2019

  16. [16]

    Implementing a nonpairwise three-body interaction of superconducting qubits and its applications in realizing three-qubit entanglement and quantum gates.Phys

    Tong Liu. Implementing a nonpairwise three-body interaction of superconducting qubits and its applications in realizing three-qubit entanglement and quantum gates.Phys. Rev. Res., 8:013023, Jan 2026

    work page 2026

  17. [17]

    Bennett, David P

    Charles H. Bennett, David P. DiVincenzo, Tal Mor, Peter W. Shor, John A. Smolin, and Barbara M. Terhal. Unex- tendible product bases and bound entanglement.Phys. Rev. Lett., 82:5385–5388, Jun 1999

    work page 1999

  18. [18]

    DiVincenzo, Tal Mor, Peter W

    David P. DiVincenzo, Tal Mor, Peter W. Shor, John A. Smolin, and Barbara M. Terhal. Unextendible product bases, uncompletable product bases and bound entanglement.Communications in Mathematical Physics, 238(3):379–410, July 2003

    work page 2003

  19. [19]

    Low-rank extremal positive-partial-transpose states and unextendible product bases.Phys

    Jon Magne Leinaas, Jan Myrheim, and Per Øyvind Sollid. Low-rank extremal positive-partial-transpose states and unextendible product bases.Phys. Rev. A, 81:062330, Jun 2010

    work page 2010

  20. [20]

    Description of rank four entangled states of two qutrits having positive partial transpose.Journal of Mathematical Physics, 52(12):122203, 12 2011

    Lin Chen and Dragomir Ž Ðoković. Description of rank four entangled states of two qutrits having positive partial transpose.Journal of Mathematical Physics, 52(12):122203, 12 2011. 19

    work page 2011

  21. [21]

    Concurrence of multiqubit bound entangled states constructed from unextendible product bases

    Mohamed Nawareg. Concurrence of multiqubit bound entangled states constructed from unextendible product bases. Phys. Rev. A, 101:032342, Mar 2020

    work page 2020

  22. [22]

    Unextendible product bases, bound entangled states, and the range criterion

    Pratapaditya Bej and Saronath Halder. Unextendible product bases, bound entangled states, and the range criterion. Physics Letters A, 386:126992, 2021

    work page 2021

  23. [23]

    The structure of qubit unextendible product bases.Journal of Physics A: Mathematical and Theoretical, 47(42):424034, oct 2014

    Nathaniel Johnston. The structure of qubit unextendible product bases.Journal of Physics A: Mathematical and Theoretical, 47(42):424034, oct 2014

    work page 2014

  24. [24]

    Kil-Chan Ha and Seung-Hyeok Kye. Multi-partite separable states with unique decompositions and construction of three qubit entanglement with positive partial transpose.Journal of Physics A: Mathematical and Theoretical, 48(4):045303, dec 2014

    work page 2014

  25. [25]

    W. Dür, G. Vidal, and J. I. Cirac. Three qubits can be entangled in two inequivalent ways.Phys. Rev. A, 62:062314, Nov 2000

    work page 2000

  26. [26]

    LocalunitaryequivalenceoftheSLOCCclassofthreequbits.Journal of Physics A: Mathematical and Theoretical, 53(38):385302, aug 2020

    DafaLiandYuGuo. LocalunitaryequivalenceoftheSLOCCclassofthreequbits.Journal of Physics A: Mathematical and Theoretical, 53(38):385302, aug 2020

    work page 2020

  27. [27]

    Locality of three-qubit Greenberger-Horne-Zeilinger-symmetric states

    Dian Zhu, Gang-Gang He, and Fu-Lin Zhang. Locality of three-qubit Greenberger-Horne-Zeilinger-symmetric states. Phys. Rev. A, 105:062202, Jun 2022

    work page 2022

  28. [28]

    Extremal states of positive partial transpose in a system of three qubits.Phys

    Øyvind Steensgaard Garberg, Børge Irgens, and Jan Myrheim. Extremal states of positive partial transpose in a system of three qubits.Phys. Rev. A, 87:032302, Mar 2013

    work page 2013

  29. [29]

    A. R. Usha Devi, Sudha, H. Akshata Shenoy, H. S. Karthik, and B. N. Karthik. Lorentz invariants of pure three-qubit states.Quantum Information Processing, 23(7):264, 2024

    work page 2024

  30. [30]

    Kraus and J

    B. Kraus and J. I. Cirac. Optimal creation of entanglement using a two-qubit gate.Phys. Rev. A, 63:062309, May 2001. 20

    work page 2001