Pith. sign in

REVIEW 1 major objections 5 minor 1 cited by

Sharp Plucker Geometry for Three-Copy Werner Distillation

T0 review · 1 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read At the three-copy Werner endpoint, every normal rank-two coefficient operator gives a nonnegative distillation form, so a witness, if one exists, must be genuinely nonnormal.

desk verdict A genuinely sharp new inequality closes the normal rank-two three-copy Werner endpoint; the nonnormal closures lean on a concurrent preprint, but the core is solid. read the letter →

arxiv 2608.02647 v1 pith:DCYTM72M submitted 2026-07-31 quant-ph

classification quant-ph MSC 81P6815A45
keywords WernerstatesentanglementdistillationNPTboundthree-copydistillabilitypartialtraceinequalitiesPlückercoordinatesSWAPparityrank-twooperators
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper attacks the first open layer of the Werner-state distillability problem: whether, at the three-copy endpoint $\alpha = -1/2$, there exists any rank-two coefficient operator $C$ for which $q_3(C) < 0$, which would certify three-copy distillability. It proves that $q_3(C) \geq 0$ for every positive semidefinite rank-two $C$ and, by combining that with an opposite-sign bound, for every normal rank-two $C$ in arbitrary finite local dimensions. A negative witness, if it exists, must therefore be genuinely nonnormal. The paper then reduces the full rank-two question to one crossed-Gram determinant and proves the determinant is nonnegative for two broad geometric families. Sharpness is established by saturation families and by a rank-three counterexample showing the rank-two restriction is necessary.

What carries the argument

The load-bearing object is the decomposable Plücker bivector $u \land v$ of an orthonormal tripartite pair $(u,v)$; its metric geometry controls the joint local SWAP-parity probabilities on two auxiliary copies. The central identity is the sharp exterior-square inequality $3p_3(u,v) - p_2(u,v) \leq \sqrt{a(u)a(v)}$, where $a(u)$ is the total two-minus parity probability and $p_2,p_3$ are the two-minus and three-minus probabilities. The proof chain also uses the double-antisymmetric projection lemma (rank-two overlap at most $1/2$), an SVD that converts it into the sharp partial-trace inequality $\|\mathrm{Tr}_K X\|_2^2 + \|\mathrm{Tr}_L X\|_2^2 \leq \|X\|_1^2 + |\mathrm{Tr} X|^2$, and the exact bridge $q_3(C) = S(C)/4 + (2\|C\|_2^2 - |\mathrm{Tr} C|^2)/8$ with $S(C)$ expanded in SWAP-parity variables. These pieces turn the question into a common-two-plane compatibility problem, and the nonnormal remainder is reduced to a $2\times 2$ crossed-Gram determinant.

What would settle it

Search the finite-dimensional operator space for a positive semidefinite or normal rank-two tripartite $C$ with $q_3(C) < 0$; the paper predicts none exists in any local dimensions. For the nonnormal remainder, exhibit a rank-two $C$ with every local support overlap greater than two, no product ray in either support plane, outside the crossed product-code sector, and $q_3(C) < 0$.

Watch

Extended reading notes

Core claim

At the three-copy endpoint $\alpha = -1/2$, the paper proves that the three-copy distillation form $q_3(C)$ is nonnegative on the entire positive-semidefinite rank-two cone and, combined with an opposite-sign polarization bound, on the whole normal rank-two sector: every normal tripartite operator $C$ of rank at most two obeys $q_3(C) \geq 0$ in arbitrary finite local dimensions. For nonnormal $C$, the only possible obstruction is a single crossed-Gram determinant $G$ built from $q_3(A_1)$, $q_3(A_2)$ and the polarized cross term $b_3(A_1,A_2)$; the paper proves $G \succeq 0$ whenever one local output-input support overlap is at most two (covering every system with a qubit-sized factor) and whenever either global support plane contains a product ray. Anti-state mixtures saturate the Plücker inequality, showing its constant is optimal, and an explicit rank-three positive state with $q_3(C)<0$ shows the rank-two hypothesis is necessary.

Load-bearing premise

The nonnormal closures (Theorem 7.2 and Appendix C) rest on the separate two-copy endpoint theorem cited as [29, Theorem A]; if that theorem is false or does not apply to the contracted two-site vectors, those closures fail, although Theorems 1.1-1.3 and the normal sector stand.

Editorial extensions

If this is right

  • At $\alpha = -1/2$, no positive semidefinite or normal rank-two test matrix can certify three-copy distillability of a Werner state; any negative witness must be genuinely nonnormal.
  • A hypothetical counterexample must have distinct, product-ray-free initial and final support planes and a local output-input overlap exceeding two at every site.
  • The Plücker constant and the positive-spectrum lower bound are optimal: the anti-state family saturates both, and a rank-three state with $q_3(C) < 0$ shows the rank-two hypothesis cannot be relaxed.
  • For rank-two states, the linear-entropy inequality $3S_L(C) + \sum_i S_L(C_i) \leq 2\sum_i S_L(C_{\bar{i}})$ holds in arbitrary local dimensions, generalizing the known three-qubit case.
  • The unrestricted rank-two problem reduces to checking one crossed-Gram determinant per pair of orthonormal input/output rays, so a finite search over $2\times 2$ compressions decides the remaining case.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the two-copy endpoint theorem behind [29] is independently confirmed, the qubit-factor closure makes the open three-copy problem purely nonnormal with all local dimensions at least three; exhaustive sampling of the crossed-Gram determinant in $(3\otimes 3\otimes 3)$ would then settle the unrestricted rank-two question.
  • The Plücker inequality is directly measurable: two-copy interference experiments on any orthonormal tripartite pair can compare $3p_3 - p_2$ with $\sqrt{a(u)a(v)}$, giving an experimental test of the bound's tightness.
  • The rank-three counterexample suggests that finite-copy negativity thresholds may be rank-sensitive in general; exploring $q_3$ on rank-three NPT states could expose new NPT bound-entanglement candidates.
  • A natural extension is to test whether the crossed-Gram criterion is not only necessary but sufficient for $q_3 \geq 0$; if so, the entire three-copy endpoint would be settled by a finite $2\times 2$ determinant condition.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 5 minor

Summary. This paper studies the three-copy Werner distillation endpoint α = −1/2 by analyzing the coefficient-space functional q3(C) = ||C||₂² − (1/2)Σ_i||Tr_i C||₂² + (1/4)Σ_{i<j}||Tr_ij C||₂² − (1/8)|Tr C|². The central results are three sharp inequalities: a dimension-free partial-trace bound (Theorem 1.1), an exterior-square/Plücker inequality for orthonormal tripartite vectors (Theorem 1.2), and a positive rank-two consequence (Theorem 1.3). From these, together with an external opposite-sign theorem, the paper proves q3(C) ≥ 0 for every positive semidefinite rank-two C and for every normal rank-two C in arbitrary finite local dimensions. For nonnormal C it derives an exact crossed-Gram criterion (Proposition 7.1) and proves nonnegativity when one local output–input support overlap is at most two (Theorem 7.2), when either support plane contains a product ray (Theorem 7.3), and for two additional sectors (Appendix C). Sharpness is established by anti-state equality families and by a rank-three counterexample.

Significance. The normal-sector chain is self-contained from Lemma 3.1 through Theorems 1.1–1.3 and Corollary 6.1, with explicit equality and counterexample constructions that are checkable. If correct, the result settles the positive-semidefinite and normal rank-two three-copy Werner endpoint in arbitrary local dimensions, which is a genuine advance over the two-copy threshold, and it reduces the remaining nonnormal problem to a two-plane crossed-Gram compatibility question. The main caveat is that the nonnormal closures in Theorem 7.2 and Appendix C rest on [29, Theorem A], a concurrent unreviewed preprint, rather than on a proof contained in this manuscript; the central normal claims are not affected by that dependency.

major comments (1)
  1. [§7.2, Theorem 7.2; §C.1, Theorem C.1] The proof of Theorem 7.2 asserts that ⟨ξα, W_{d_j}⊗W_{d_k}ξα⟩ ≥ 0 "by the two-copy endpoint theorem [29, Theorem A]", and Theorem C.1 uses the same theorem for every block compression C_ab. Reference [29] is a concurrent unreviewed preprint (arXiv:2607.24309) that is neither stated nor proved in this manuscript, and the hypotheses needed here — arbitrary local dimensions, the partial-trace convention behind W_d, and the rank condition on the contracted vectors — are not checked against [29]. Because these citations carry the claimed nonnormal closures, including Eq. (38), the unrestricted endpoint claim is conditional. The authors should either supply a self-contained proof of the needed two-copy endpoint statement, or explicitly label Theorem 7.2 and Appendix C as conditional pending independent verification, or replace the dependence with a refereed source.
minor comments (5)
  1. [§7.1, Proposition 7.1] The displayed 2×2 matrix G has identical off-diagonal entries b3(A1,A2); for general complex coefficients this matrix is not Hermitian. The scalar criterion (32) is correct, but the equivalence with G⪰0 should be stated with the conjugate in the lower-left entry, or the quadratic form should be written as z†Gz with G Hermitian.
  2. [§6, Corollary 6.1] The proof imports the opposite-sign theorem [24, Proposition 3] without reproducing its precise hypotheses. Since the normal rank-two claim is a headline result, please state the proposition's assumptions explicitly or add a proof sketch, so the reader can verify that it covers arbitrary local dimensions and arbitrary relative phases.
  3. [§7.2, proof of Theorem 7.2] The Gurvits–Barnum theorem [54] is invoked for the unnormalized operator G = I_{K_i} − (1/2)|ω⟩⟨ω|. Please state the exact form of the theorem used (with normalization and Hilbert–Schmidt radius) and show how τ_i ≤ 2 puts G inside its hypotheses.
  4. [§8.2, proof of Proposition 8.2] The one-qubit calculation JρJ† displays the off-diagonal entry c, which implicitly assumes a real or basis-dependent convention; for a general density matrix the entrywise conjugation supplied by K should be written explicitly (c̄ in place of c). The final identity is correct, but the displayed matrix is notationally misleading.
  5. [References [26–29]] References [26–29] are four concurrent arXiv preprints; in the published version the phrase "established the exact two-copy threshold" should be adjusted to distinguish accepted results from preprints, and the dependence of Theorem 7.2 on [29] should be flagged in the introduction.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reasoning is present: the target inequalities follow from self-contained projection and exterior-power lemmas, and all external citations are to work by other authors.

full rationale

The derivation chain is self-contained for the core claims. Theorem 1.1 is proved from the double-antisymmetric projection Lemma 3.1, whose proof is included in Section 3 and does not invoke the target inequalities. Theorem 1.2 follows algebraically from Theorem 1.1, Lemma 5.1, and Cauchy-Schwarz, and Theorem 1.3 is an exact spectral decomposition plus substitution into Eq. (21), so the positive rank-two endpoint is not assumed in its own proof. Corollary 6.1 uses Costa Rico's opposite-sign theorem [24, Proposition 3], an external result by a different author; it is a stated external input, not a hidden restatement of the paper's conclusion. Theorem 7.2 and Appendix C invoke the concurrent two-copy endpoint theorem [29, Theorem A] of Fraser, Huber, Pozsgay, and Vona, again external and not by the present authors; any unresolved correctness or applicability question there is a verification risk rather than a circular step. No fitted parameter is renamed as a prediction, no quantity is defined in terms of the target inequality, and no load-bearing result is justified only by self-citation. Sharpness is supported by independent equality families, including the anti-state saturation and the rank-two/rank-three boundary operators, which do not presuppose the theorems. Accordingly the paper exhibits no circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new physical entities; the Plücker bivector and the local swap-parity probabilities are mathematical objects derived from the existing formalism. The free-parameter list is empty because no constants are fitted to data. All load-bearing external theorems are listed as axioms with their locations.

assumptions (5)
  • domain assumption The k-fold tensor power of rho^Gamma has a negative expectation on a Schmidt-rank-two vector iff rho is k-copy distillable
    Used to reduce Werner endpoint distillability to the matrix inequality q_k(alpha,C) < 0 for rank C <= 2; cited to Refs. [2-4] and recalled in Appendix A.
  • domain assumption Two-copy endpoint theorem: every rank-two coefficient operator satisfies the two-copy nonnegativity condition (Theorem A of [29])
    Invoked in the proof of Theorem 7.2 and in Appendix C to close the qubit-factor and local-traceless sectors. This is a concurrent arXiv preprint (2607.24309) and is not proved in this paper.
  • domain assumption Opposite-sign theorem: q3(alpha Pu - beta Pv) >= 0 for orthonormal u,v and positive alpha,beta ([24, Prop. 3])
    Used in Corollary 6.1 to control the opposite spectral sign so that the normal rank-two sector can be closed.
  • domain assumption Gurvits-Barnum Hilbert-Schmidt ball theorem: every operator I + Delta >= 0 with Hermitian Delta and ||Delta||_2 <= 1 is separable ([54, Theorem 1])
    Used in Theorem 7.2 to decompose the local compression G as a sum of product projectors before applying the two-copy endpoint theorem.
  • standard math Standard linear algebra: SVD, Takagi factorization, Schatten-Hoelder inequalities, compound-matrix identities, von Neumann trace inequality
    Used throughout the proofs of Theorems 1.1, 1.2, Lemma 5.1, and Appendix C without proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sharp Plucker Geometry for Three-Copy Werner Distillation." pith.science (2026). https://pith.science/paper/DCYTM72M

@misc{pith2026260802647,
  author       = {Pith},
  title        = {Pith review of: Sharp Plucker Geometry for Three-Copy Werner Distillation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DCYTM72M}},
  note         = {Machine review of arXiv:2608.02647}
}
read the original abstract

Whether negative-partial-transpose entanglement can remain undistillable is a longstanding problem in quantum information theory. We analyze the first unresolved three-copy Werner endpoint using a sharp dimension-free inequality for complementary partial traces and an optimal exterior-square inequality for orthonormal tripartite vectors. The latter identifies local SWAP- parity statistics with metric data of a decomposable Plucker bivector. Together these inequalities prove endpoint nonnegativity for every positive semidefinite rank-two coefficient operator and for the complete normal rank-two sector in arbitrary finite local dimensions. For genuinely nonnormal operators, an exact crossed-Gram criterion proves nonnegativity when one local outpu-input support overlap is at most two, including every system with a qubit-sized factor, and when either support plane contains a product ray. Explicit anti-state and rank-boundary families establish optimality of the constants and the rank restriction.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Two-copy distillability of one-copy-undistillable negative-partial-transpose states in every dimension

    quant-ph 2026-08 accept novelty 8.0 of 10

    A one-copy-undistillable NPT state in the canonical DiVincenzo family is two-copy distillable for every local dimension d>=3, disproving the conjecture that the entire one-copy-undistillable region stays undistillable.

Reference graph

Works this paper leans on

59 extracted references · 33 canonical work pages · cited by 1 Pith paper

  1. [29]

    T. C. Fraser, F. Huber, B. Pozsgay, and I. Vona,On the two-copy distillability of Werner states and a new partial trace inequality, arXiv:2607.24309 (2026)

  2. [1]

    C. H. Bennett, G. Brassard, S. Popescu, B. Schumacher, J. A. Smolin, and W. K. Wootters,Purification of noisy entanglement and faithful teleportation via noisy channels, Phys. Rev. Lett.76, 722–725 (1996); arXiv:quant-ph/9511027

  3. [2]

    Distillability of Inseparable Quantum Systems

    M. Horodecki, P. Horodecki, and R. Horodecki,Inseparable two spin-1/2density matrices can be distilled to a singlet form, Phys. Rev. Lett.78, 574–577 (1997); arXiv:quant-ph/9607009

  4. [3]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki,Mixed-state entanglement and distillation: Is there a “bound” entanglement in nature?, Phys. Rev. Lett.80, 5239–5242 (1998); arXiv:quant-ph/9801069

  5. [4]

    W. Dür, J. I. Cirac, M. Lewenstein, and D. Bruß,Distillability and partial transposition in bipartite systems, Phys. Rev. A61, 062313 (2000); arXiv:quant-ph/9910022

  6. [5]

    Separability and distillability in composite quantum systems -a primer-

    M. Lewenstein, D. Bruß, J. I. Cirac, B. Kraus, M. Kuś, J. Samsonowicz, A. Sanpera, and R. Tarrach, Separability and distillability in composite quantum systems—a primer, J. Mod. Opt.47, 2481–2499 (2000); arXiv:quant-ph/0006064

  7. [6]

    Peres,Separability criterion for density matrices, Phys

    A. Peres,Separability criterion for density matrices, Phys. Rev. Lett.77, 1413–1415 (1996); arXiv:quant- ph/9604005

  8. [7]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki,Separability of mixed states: Necessary and sufficient conditions, Phys. Lett. A223, 1–8 (1996); arXiv:quant-ph/9605038

Show all 59 references
  1. [8]

    D. P. DiVincenzo, P. W. Shor, J. A. Smolin, B. M. Terhal, and A. V. Thapliyal,Evidence for bound entangled states with negative partial transpose, Phys. Rev. A61, 062312 (2000); arXiv:quant-ph/9910026

  2. [9]

    Watrous,Many copies may be required for entanglement distillation, Phys

    J. Watrous,Many copies may be required for entanglement distillation, Phys. Rev. Lett.93, 010502 (2004); arXiv:quant-ph/0312123

  3. [10]

    Clarisse,The distillability problem revisited, Quantum Inf

    L. Clarisse,The distillability problem revisited, Quantum Inf. Comput.6, 539–560 (2006); arXiv:quant- ph/0510035

  4. [11]

    R. O. Vianna and A. C. Doherty,Study of the distillability of Werner states using entanglement witnesses and robust semidefinite programs, Phys. Rev. A74, 052306 (2006); arXiv:quant-ph/0608095

  5. [12]

    Pankowski, M

    Ł. Pankowski, M. Piani, M. Horodecki, and P. Horodecki,A few steps more towards NPT bound entanglement, IEEE Trans. Inf. Theory56, 4085–4100 (2010); arXiv:0711.2613

  6. [13]

    D. Z. Djoković,On two-distillable Werner states, Entropy18, 216 (2016); arXiv:1003.4337

  7. [14]

    Horodecki, Ł

    P. Horodecki, Ł. Rudnicki, and K. Życzkowski,Five open problems in quantum information theory, PRX Quantum3, 010101 (2022); arXiv:2002.03233

  8. [15]

    P. W. Shor, J. A. Smolin, and B. M. Terhal,Nonadditivity of bipartite distillable entanglement follows from a conjecture on bound entangled Werner states, Phys. Rev. Lett.86, 2681–2684 (2001); arXiv:quant- ph/0010054

  9. [16]

    Müller-Hermes, D

    A. Müller-Hermes, D. Reeb, and M. M. Wolf,Positivity of linear maps under tensor powers, J. Math. Phys.57, 015202 (2016); arXiv:1502.05630

  10. [17]

    Eggeling, K

    T. Eggeling, K. G. H. Vollbrecht, R. F. Werner, and M. M. Wolf,Distillability via protocols respecting the positivity of partial transpose, Phys. Rev. Lett.87, 257902 (2001); arXiv:quant-ph/0104095

  11. [18]

    Ecker, P

    S. Ecker, P. Sohr, L. Bulla, M. Huber, M. Bohmann, and R. Ursin,Experimental single-copy entanglement distillation, Phys. Rev. Lett.127, 040506 (2021); arXiv:2101.11503

  12. [19]

    Kaneda, R

    F. Kaneda, R. Shimizu, S. Ishizaka, Y. Mitsumori, H. Kosaka, and K. Edamatsu,Experimental activation of bound entanglement, Phys. Rev. Lett.109, 040501 (2012); arXiv:1111.6170

  13. [20]

    R. F. Werner,Quantum states with Einstein–Podolsky–Rosen correlations admitting a hidden-variable model, Phys. Rev. A40, 4277–4281 (1989). 24

  14. [21]

    K. G. H. Vollbrecht and R. F. Werner,Entanglement measures under symmetry, Phys. Rev. A64, 062307 (2001); arXiv:quant-ph/0010095

  15. [22]

    X.-X. Fang, G. N. M. Tabia, K.-S. Chen, Y.-C. Liang, and H. Lu,Experimental single-copy distil- lation of quantumness from higher-dimensional entanglement, Phys. Rev. Lett.134, 150201 (2025); arXiv:2410.06610

  16. [23]

    L. Qian, L. Chen, D. Chu, and Y. Shen,A matrix inequality for entanglement distillation problem, Linear Algebra Appl.616, 139–177 (2021); arXiv:1908.02428

  17. [24]

    Costa Rico,New partial trace inequalities and distillability of Werner states, Lett

    P. Costa Rico,New partial trace inequalities and distillability of Werner states, Lett. Math. Phys.115, 47 (2025); arXiv:2310.05726

  18. [25]

    S.-Y. Qi, G. Gupur, Y.-C. Wu, and G.-P. Guo,Nonpositive-transpose entanglement and bound entan- glement: From distillability sets to inequalities and multivariable insights., Phys. Rev. A110, 012406 (2024); arXiv:2402.18037

  19. [26]

    Bharti, R

    K. Bharti, R. Gajjala, and T. Haug,Two-copy nondistillability of Werner states: sharp partial-trace inequalities and finite-copy extensions, arXiv:2607.24479 (2026)

  20. [27]

    J. Fu, L. Gao, and S.-J. Park,A solution to 2-copy distillability of Werner states, arXiv:2607.21367 (2026)

  21. [28]

    Song and L

    Z. Song and L. Chen,A partial-trace matrix inequality and Werner-state distillability, arXiv:2607.23416 (2026)

  22. [30]

    K. M. R. Audenaert,Subadditivity of q-entropies for q > 1, J. Math. Phys.48, 083507 (2007); arXiv:0705.1276

  23. [31]

    A. E. Rastegin,Relations for certain symmetric norms and anti-norms before and after partial trace, J. Stat. Phys.148, 1040–1053 (2012); arXiv:1202.3853

  24. [32]

    Costa Rico and M

    P. Costa Rico and M. M. Wolf,Partial trace relations beyond normal matrices, arXiv:2507.18278 (2025)

  25. [33]

    Rudolph,A separability criterion for density operators, J

    O. Rudolph,A separability criterion for density operators, J. Phys. A: Math. Gen.33, 3951–3955 (2000); arXiv:quant-ph/0002026

  26. [34]

    Chen and L.-A

    K. Chen and L.-A. Wu,A matrix realignment method for recognizing entanglement, Quantum Inf. Comput.3, 193–202 (2003); arXiv:quant-ph/0205017

  27. [35]

    Mintert, M

    F. Mintert, M. Kuś, and A. Buchleitner,Concurrence of mixed multipartite quantum states, Phys. Rev. Lett.95, 260502 (2005); doi:10.1103/PhysRevLett.95.260502; arXiv:quant-ph/0411127

  28. [36]

    Aolita, A

    L. Aolita, A. Buchleitner, and F. Mintert,Scalable experimental estimation of multipartite entanglement, Phys. Rev. A78, 022308 (2008); doi:10.1103/PhysRevA.78.022308; arXiv:0710.3529

  29. [37]

    A. K. Ekert, C. M. Alves, D. K. L. Oi, M. Horodecki, P. Horodecki, and L. C. Kwek,Direct estimations of linear and nonlinear functionals of a quantum state, Phys. Rev. Lett.88, 217901 (2002); arXiv:quant- ph/0203016

  30. [38]

    C. M. Alves, P. Horodecki, D. K. L. Oi, L. C. Kwek, and A. K. Ekert,Direct estimation of functionals of density operators by local operations and classical communication, Phys. Rev. A68, 032306 (2003); arXiv:quant-ph/0304123

  31. [39]

    F. A. Bovino, G. Castagnoli, A. Ekert, P. Horodecki, C. M. Alves, and A. V. Sergienko,Direct measurement of nonlinear properties of bipartite quantum states, Phys. Rev. Lett.95, 240407 (2005); arXiv:quant-ph/0511187

  32. [40]

    Islam, R

    R. Islam, R. Ma, P. M. Preiss, M. E. Tai, A. Lukin, M. Rispoli, and M. Greiner,Measuring entanglement entropy in a quantum many-body system, Nature528, 77–83 (2015); arXiv:1509.01160. 25

  33. [41]

    Elben, B

    A. Elben, B. Vermersch, M. Dalmonte, J. I. Cirac, and P. Zoller,Rényi entropies from random quenches in atomic Hubbard and spin models, Phys. Rev. Lett.120, 050406 (2018); arXiv:1709.05060

  34. [42]

    Miller, K

    D. Miller, K. Levi, L. Postler, A. Steiner, L. Bittel, G. A. L. White, Y. Tang, E. J. Kuehnke, A. A. Mele, S. Khatri, L. Leone, J. Carrasco, C. D. Marciniak, I. Pogorelov, M. Guevara-Bertsch, R. Freund, R. Blatt, P. Schindler, T. Monz, M. Ringbauer, and J. Eisert,Experimental ...

  35. [43]

    Lévay,On the geometry of a class ofN-qubit entanglement monotones, J

    P. Lévay,On the geometry of a class ofN-qubit entanglement monotones, J. Phys. A: Math. Gen.38, 9075–9085 (2005); arXiv:quant-ph/0507070

  36. [44]

    Harris,Algebraic Geometry: A First Course, Graduate Texts in Mathematics, Vol

    J. Harris,Algebraic Geometry: A First Course, Graduate Texts in Mathematics, Vol. 133 (Springer, New York, 1992)

  37. [45]

    J. M. Landsberg,Tensors: Geometry and Applications, Graduate Studies in Mathematics, Vol. 128 (American Mathematical Society, Providence, 2012)

  38. [46]

    P. W. Shor and R. Laflamme,Quantum analog of the MacWilliams identities for classical coding theory, Phys. Rev. Lett.78, 1600–1602 (1997); arXiv:quant-ph/9610040

  39. [47]

    E. M. Rains,Quantum shadow enumerators, IEEE Trans. Inf. Theory45, 2361–2366 (1999); arXiv:quant- ph/9611001

  40. [48]

    E. M. Rains,Polynomial invariants of quantum codes, IEEE Trans. Inf. Theory46, 54–59 (2000); arXiv:quant-ph/9704042

  41. [49]

    Eltschka, F

    C. Eltschka, F. Huber, O. Gühne, and J. Siewert,Exponentially many entanglement and correlation constraints for multipartite quantum states, Phys. Rev. A98, 052317 (2018); arXiv:1807.09165

  42. [50]

    Wyderka and O

    N. Wyderka and O. Gühne,Characterizing quantum states via sector lengths, J. Phys. A: Math. Theor. 53, 345302 (2020); arXiv:1905.06928

  43. [51]

    Johnston and D

    N. Johnston and D. W. Kribs,A family of norms with applications in quantum information theory, J. Math. Phys.51, 082202 (2010); arXiv:0909.3907

  44. [52]

    Johnston, D

    N. Johnston, D. W. Kribs, V. I. Paulsen, and R. Pereira,Minimal and maximal operator spaces and operator systems in entanglement theory, J. Funct. Anal.260, 2407–2423 (2011); arXiv:1010.1432

  45. [53]

    R. A. Horn and C. R. Johnson,Matrix Analysis, 2nd ed. (Cambridge University Press, Cambridge, 2012)

  46. [54]

    Gurvits and H

    L. Gurvits and H. Barnum,Largest separable balls around the maximally mixed bipartite quantum state, Phys. Rev. A66, 062311 (2002); arXiv:quant-ph/0204159

  47. [55]

    W. K. Wootters,Entanglement of formation of an arbitrary state of two qubits, Phys. Rev. Lett.80, 2245–2248 (1998); arXiv:quant-ph/9709029

  48. [56]

    Rungta, V

    P. Rungta, V. Bužek, C. M. Caves, M. Hillery, and G. J. Milburn,Universal state inversion and concurrence in arbitrary dimensions, Phys. Rev. A64, 042315 (2001); arXiv:quant-ph/0102040

  49. [57]

    M. C. Tran, M. Zuppardo, A. de Rosier, L. Knips, W. Laskowski, T. Paterek, and H. Weinfurter, GenuineN-partite entanglement withoutN-partite correlation functions, Phys. Rev. A95, 062331 (2017); arXiv:1704.03385

  50. [58]

    Brydges, A

    T. Brydges, A. Elben, P. Jurcevic, B. Vermersch, C. Maier, B. P. Lanyon, P. Zoller, R. Blatt, and C. F. Roos,Probing Rényi entanglement entropy via randomized measurements, Science364, 260–263 (2019); arXiv:1806.05747

  51. [59]

    Christandl, N

    M. Christandl, N. Schuch, and A. Winter,Entanglement of the antisymmetric state, Commun. Math. Phys.311, 397–422 (2012); arXiv:0910.4151. 26

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.