Pith. sign in

REVIEW 3 major objections 3 minor 51 references

Spectral characterizations of entanglement witnesses

T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read Spectral characterization of entanglement witnesses: unit-trace witnesses have known eigenvalue extrema, and the smallest-eigenvalue infimum is attainable by decomposable but never by nondecomposable witnesses.

desk verdict Plausible and potentially significant spectral results for entanglement witnesses, but the supplied full text is unreadable, so the paper is unverifiable as-is; it deserves a referee once a clean copy is available. read the letter →

arxiv 2508.11308 v2 pith:SBRSFQY2 submitted 2025-08-15 quant-ph

Zhiwei Song , Lin Chen This is my paper · ORCID
classification quant-ph MSC 81P4015A42 PACS 03.67.Mn
keywords entanglementwitnessesdecomposablenondecomposablespectralboundseigenvalueextremizationnegativepartialtransposequantumdetectionunit-tracenormalization
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 aims to settle what spectral shapes an entanglement witness can have once its trace is fixed to one. It identifies the attainable extremes of four spectral quantities—largest eigenvalue, smallest eigenvalue, negativity, and squared Frobenius norm—separately for decomposable and nondecomposable witnesses, and says exactly when those extremes are reached. The headline discovery is that the two witness classes are spectrally almost interchangeable except at one point: the smallest possible smallest eigenvalue can be attained by a decomposable witness but is only approached, never reached, by any nondecomposable one. A second result makes nondecomposable witnesses look more useful: beyond the smallest dimensions, every non-positive-transpose state is detected by one. If accepted, these results give a complete spectral map of normalized witnesses and a sharp new distinction between decomposable and nondecomposable detection.

What carries the argument

The central object is the unit-trace entanglement witness: a Hermitian operator on a bipartite Hilbert space with nonnegative expectation on every separable state and trace one. Witnesses are split into decomposable witnesses, written as $W = P + Q^{T_B}$ with $P,Q \ge 0$, and nondecomposable witnesses, which require an additional term that cannot be written this way. The proof machinery translates witness inequalities plus the trace normalization into eigenvalue constraints, then optimizes the four spectral functionals separately over the two convex witness sets; the operative identity is the attainment dichotomy: the smallest-eigenvalue infimum lies in the closure for both classes, but the

What would settle it

Fix a finite dimension such as $3 \times 3$ and numerically minimize the smallest eigenvalue over unit-trace nondecomposable witnesses; if a sequence of NDEWs is found whose smallest eigenvalue actually reaches the claimed infimum rather than merely approaching it, the strict-unattainability claim fails. For the detection claim, take a known NPT state in $3 \times 3$ and attempt to construct an NDEW that detects it; an explicit NPT state that no nondecomposable witness detects would refute the universality result.

Watch

Extended reading notes

Core claim

For unit-trace entanglement witnesses, the extreme values of the largest eigenvalue, smallest eigenvalue, negativity, and squared Frobenius norm are characterized separately for decomposable and nondecomposable witnesses. The central divergence is that the infimum of the smallest eigenvalue is attained by a decomposable witness, while no nondecomposable witness can attain it—such witnesses can only approach the value in the limit. As a consequence, reaching the spectral floor is itself a certificate that the witness is decomposable. The paper also shows that nondecomposable witnesses are stronger detectors: every non-positive-transpose state in dimensions beyond two-qubit and qubit-qutrit is

Load-bearing premise

The whole extremal analysis assumes that the set of unit-trace entanglement witnesses is closed and compact enough for infima and suprema to behave like ordinary extrema, and that the witness-state duality is exact; if a sequence of normalized witnesses can leave the witness set in the limit, the claimed DEW/NDEW attainment split could fail.

Editorial extensions

If this is right

  • In any fixed finite bipartite dimension, the spectral range of unit-trace entanglement witnesses is fixed for four quantities, with known attainment cases for decomposable and nondecomposable witnesses.
  • A witness that actually reaches the smallest-eigenvalue infimum cannot be nondecomposable, so reaching the spectral floor becomes a spectral certificate of decomposability.
  • The mirrored-witness conditions give a spectral necessary test: witnesses whose eigenvalues fall outside the characterized range cannot have a mirror partner.
  • Every NPT state beyond the two-qubit and qubit-qutrit cases is detected by some nondecomposable witness, giving nondecomposable witnesses a universal detection role in those dimensions.
  • The extremal values can be used to calibrate normalized witness constructions in optimization tasks that convert spectra into quantitative entanglement bounds.

Reading between the lines

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

  • If the smallest-eigenvalue infimum is approached but never reached by NDEWs, then the boundary of the normalized NDEW set is not witnessed from inside; numerical or algorithmic searches for extremal NDEWs would need to work with limiting sequences rather than attained optima.
  • The same trace-normalized spectral optimization could be scaled to witnesses with arbitrary trace and applied to noise tolerance: the Frobenius-norm and negativity extrema are natural robustness parameters for detection in noisy settings.
  • The universal NPT-detection result suggests a constructive recipe: any NPT state in those dimensions should have a nearby nondecomposable witness, which may turn an existence proof into an explicit detection protocol if the extremal construction can be made algorithmic.
  • The DEW/NDEW attainment gap resembles complementary-slackness behavior in convex conic optimization, hinting that other trace-normalized operator cones in quantum information could exhibit similar 'attained by one cone, not its dual counterpart' dichotomies.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The manuscript claims a systematic spectral characterization of unit-trace entanglement witnesses (EWs), analyzing the infimum and supremum of the largest eigenvalue, the smallest eigenvalue, the negativity, and the squared Frobenius norm, together with attainment conditions. The main claimed results are a fundamental divergence between decomposable witnesses (DEWs) and nondecomposable witnesses (NDEWs): the infimum of the smallest eigenvalue is attained by DEWs but strictly unattainable by NDEWs; necessary conditions for an EW to possess a mirrored EW; and a detection statement that every NPT state beyond the two-qubit and qubit-qutrit systems can be detected by an NDEW. The abstract is readable, but the supplied full text is corrupted mojibake and embeds a different arXiv header, so no proofs, lemmas, or references can be inspected.

Significance. If the stated theorems are correct, the paper would provide a clean spectral characterization of DEWs versus NDEWs and a strong, general detection guarantee for NDEWs, which would be of genuine interest to the entanglement-witness community. The work appears to be purely mathematical: the abstract shows no fitted parameters, no empirically derived predictions, and no self-referential circularity. However, the significance is conditional: because the full text is unreadable in the supplied form, no proof can be checked and no machine-checked or reproducible derivation is available. The potential value is high, but the current submission does not permit verification.

major comments (3)
  1. [Full Text (entirety)] The supplied full text is corrupted mojibake and embeds the header “arXiv:2508.11306v1 [math.AG]” rather than the target quant-ph identifier 2508.11308. No derivation, lemma, or reference list can be inspected. This prevents verification of every central claim, including the DEW/NDEW attainment dichotomy and the NPT-detection theorem. This is a load-bearing presentation defect, not a mere typo.
  2. [Abstract, final paragraph] The claim that the infimum of the smallest eigenvalue is attained by DEWs yet strictly unattainable by NDEWs requires a precise closure/compactness argument for the unit-trace witness set, or explicit extremizing sequences and an optimizer. Neither the topology of the feasible set nor a limiting argument is visible in the provided text. Without such an argument, the attainment/non-attainment distinction is unsupported.
  3. [Abstract, NPT-detection claim] The claim that every NPT state beyond 2×2 and 2×3 is detected by an NDEW rests on the Peres–Horodecki low-dimensional equivalence and on a dual-cone correspondence between witnesses and states. The supplied text shows neither the proof of this correspondence nor a dimension-dependent construction of the detecting NDEW. As stated, this is an assertion rather than a demonstrated theorem.
minor comments (3)
  1. [Full Text, header] The embedded arXiv header “2508.11306 [math.AG]” is inconsistent with the stated quant-ph identifier 2508.11308. Please confirm that the correct source file was submitted.
  2. [General] No references are visible in the provided text; the discussion of Peres–Horodecki results and dual-cone arguments requires proper citations.
  3. [Abstract, first paragraph] The abstract would benefit from explicitly stating the Hilbert-space dimension conventions and the precise definition of negativity beyond “absolute value of the sum of negative eigenvalues”.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity identified; the supplied text is unreadable, and the abstract states self-contained theorems about a fixed mathematical set.

full rationale

The only readable portion of the manuscript is the abstract, which describes a systematic investigation of infima/suprema of spectral quantities over unit-trace entanglement witnesses, with a DEW/NDEW attainment dichotomy and an NPT-detection application. These are statements about a fixed mathematical set (unit-trace EWs) and do not, on their face, involve fitted parameters, predictions derived from fits, renamed known results, or load-bearing self-citations. The body text supplied is mojibake and cannot be parsed into equations, lemmas, or proof steps, so no specific reduction of one claim to another by construction can be exhibited. Under the hard rule that circularity may only be claimed when the paper's own equations or explicit self-citation chain demonstrate the reduction, the correct finding is no significant circularity. The unreadability of the full text is an evidential limitation, not evidence of circularity; whether the proofs are correct is a separate verification question. Accordingly, the circularity score is 0.

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

The abstract introduces no fitted constants and no invented physical entities; 'mirrored EW' is a defined mathematical notion, not a postulated physical object. The results rest on the standard bipartite-state framework (axiom 1), the geometric well-posedness of the unit-trace witness set (axiom 2), and the classical low-dimensional facts behind the 'beyond 2x2 and 2x3' qualifier (axiom 3). Because the body text was unreadable, additional implicit axioms may exist but could not be audited.

assumptions (3)
  • standard math Standard bipartite quantum formalism: states are density operators on H_A tensor H_B, and the partial transpose map Gamma is well-defined and positive on separable states.
    The abstract defines NPT states and decomposable witnesses through the partial transpose; this is the standard framework of entanglement theory, presumably stated in the paper's preliminaries.
  • domain assumption The set of unit-trace entanglement witnesses is nonempty and the spectral extrema (inf and sup of eigenvalues, negativity, squared Frobenius norm) are taken over this set with the standard operator topology.
    The 'unit-trace (normalized)' constraint in the abstract fixes the scale of the witness; the values and attainment conditions depend on the geometry of this feasible set. This is the load-bearing structural premise for the extremal characterizations.
  • domain assumption Known special status of two-qubit and qubit-qutrit systems, where the Peres-Horodecki criterion makes PPT equivalent to separability.
    The abstract's final claim explicitly excludes 'two-qubit and qubit-qutrit systems', which only makes sense if the NDEW detection universality fails or degenerates there, i.e., relying on the classical low-dimensional results.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Spectral characterizations of entanglement witnesses." pith.science (2026). https://pith.science/paper/SBRSFQY2

@misc{pith2026250811308,
  author       = {Pith},
  title        = {Pith review of: Spectral characterizations of entanglement witnesses},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SBRSFQY2}},
  note         = {Machine review of arXiv:2508.11308}
}
read the original abstract

We present a systematic investigation of the spectral properties of entanglement witnesses (EWs). Specifically, we analyze the infimum and supremum of the largest eigenvalue, the smallest eigenvalue, the negativity (defined as the absolute value of the sum of negative eigenvalues), and the squared Frobenius norm of a unit-trace (normalized) entanglement witness, along with the conditions under which these values are attained. Our study provides distinct characterizations for decomposable (DEWs) and nondecomposable entanglement witnesses (NDEWs). While these two classes share many spectral similarities, we reveal a fundamental divergence by proving that the infimum of the smallest eigenvalue can be attained by DEWs, yet remains strictly unattainable for all NDEWs. We apply the results to provide necessary conditions for an EW to possess a mirrored EW. Furthermore, we demonstrate the superior detection capability of NDEWs by proving that any non-positive-transpose (NPT) state beyond the two-qubit and qubit-qutrit systems can be detected by an NDEW.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 51 canonical work pages

  1. [1]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki. Quantum entanglement. Rev. Mod. Phys. , 81(2):865--942, 2009

    work page 2009

  2. [2]

    A. Peres. Separability criterion for density matrices. Phys. Rev. Lett. , 77:1413, 1996

    work page 1996

  3. [3]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki. Separability of n-particle mixed states: necessary and sufficient conditions in terms of linear maps. Phys. Lett. A , 283(1-2):1--7, 2001

    work page 2001

  4. [4]

    L. Gurvits. Classical deterministic complexity of edmonds' problem and quantum entanglement. In Proceedings of the thirty-fifth annual ACM symposium on Theory of computing , pages 10--19, 2003

    work page 2003

  5. [5]

    G \"u hne and G

    O. G \"u hne and G. T \'o th. Entanglement detection. Phys. Rep. , 474(1-6):1--75, 2009

    work page 2009

  6. [6]

    Hyllus, O

    P. Hyllus, O. G \"u hne, D. Bru , and M. Lewenstein. Relations between entanglement witnesses and bell inequalities. Phys. Rev. A , 72(1):012321, 2005

    work page 2005

  7. [7]

    Lewenstein, B

    M. Lewenstein, B. Kraus, J. I. Cirac, and P. Horodecki. Optimization of entanglement witnesses. Phys. Rev. A , 62(5):052310, 2000

    work page 2000

  8. [8]

    u hne and N. L \

    O. G \"u hne and N. L \"u tkenhaus. Nonlinear entanglement witnesses. Phys. Rev. Lett. , 96(17):170502, 2006

    work page 2006

Show all 51 references
  1. [9]

    Chrucinski and G

    D. Chrucinski and G. Sarbicki. Entanglement witnesses: construction, analysis and classification. J. Phys. A , 47(48):483001, 2014

    2014

  2. [10]

    Horodecki

    P. Horodecki. Separability criterion and inseparable mixed states with positive partial transposition. Phys. Lett. A , 232:333, 1997

    1997

  3. [11]

    Sanpera, D

    A. Sanpera, D. Bru , and M. Lewenstein. Schmidt-number witnesses and bound entanglement. Phys. Rev. A , 63(5):050301, 2001

    2001

  4. [12]

    Sollid, J

    P. Sollid, J. M. Leinaas, and J. Myrheim. Unextendible product bases and extremal density matrices with positive partial transpose. Phys. Rev. A , 84(4):042325, 2011

    2011

  5. [13]

    Chen and D

    L. Chen and D. Z . okovi \'c . Description of rank four entangled states of two qutrits having positive partial transpose. J. Math. Phys. , 52(12), 2011

    2011

  6. [14]

    Chen and D

    L. Chen and D. Z . okovi \'c . Equivalence classes and canonical forms for two-qutrit entangled states of rank four having positive partial transpose. J. Math. Phys. , 53(10), 2012

    2012

  7. [15]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki. Inseparable two spin-1 2 density matrices can be distilled to a singlet form. Phys. Rev. Lett. , 78(4):574, 1997

    1997

  8. [16]

    Chen and D

    L. Chen and D. Z . okovi \'c . Distillability and ppt entanglement of low-rank quantum states. J. Phys. A , 44(28):285303, 2011

    2011

  9. [17]

    Chru \'s ci \'n ski and A

    D. Chru \'s ci \'n ski and A. Kossakowski. Spectral conditions for positive maps. Comm. Math. Phys. , 290(3):1051--1064, 2009

    2009

  10. [18]

    Chru \'s ci \'n ski, A

    D. Chru \'s ci \'n ski, A. Kossakowski, and G. Sarbicki. Spectral conditions for entanglement witnesses versus bound entanglement. Phys. Rev. A , 80(4):042314, 2009

    2009

  11. [19]

    Sarbicki

    G. Sarbicki. Spectral properties of entanglement witnesses. J. Phys. A: Math. Theor. , 41(37):375303, 2008

    2008

  12. [20]

    Johnston

    N. Johnston. Non-positive-partial-transpose subspaces can be as large as any entangled subspace. Phys. Rev. A , 87(6):064302, 2013

    2013

  13. [21]

    S. Rana. Negative eigenvalues of partial transposition of arbitrary bipartite states. Phys. Rev. A , 87(5):054301, 2013

    2013

  14. [22]

    Y. Shen, L. Chen, and L. J. Zhao. Inertias of entanglement witnesses. J. Phys. A , 53(48):485302, 2020

    2020

  15. [23]

    C. C. Feng, L. Chen, C. Xu, and Y. Shen. Inertia of two-qutrit entanglement witnesses. Linear Multilinear A , 72(3):451--473, 2024

    2024

  16. [24]

    Y. X. Liang, J. H. Yan, D. R. Si, and L. Chen. Inertia of partial transpose of positive semidefinite matrices. J. Phys. A , 57(12):125203, 2024

    2024

  17. [25]

    Johnston and D

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

    2010

  18. [26]

    Johnston

    N. Johnston. Norms and cones in the theory of quantum entanglement. arXiv preprint arXiv:1207.1479 , 2012

    2012 arXiv

  19. [27]

    Johnston and E

    N. Johnston and E. Patterson. The inverse eigenvalue problem for entanglement witnesses. Linear Algebra Appl , 550:1--27, 2018

    2018

  20. [28]

    R. A. Horn and C. R. Johnson. Matrix analysis . Cambridge university press, 2012

    2012

  21. [29]

    Horodecki

    P. Horodecki. Separability criterion and inseparable mixed states with positive partial transposition. Phys. Lett. A , 232(5):333--339, 1997

    1997

  22. [30]

    Grabowski, M

    J. Grabowski, M. Ku \'s , and G. Marmo. Geometry of quantum systems: density states and entanglement. J. Phys. A , 38(47):10217, 2005

    2005

  23. [31]

    Lewenstein, B Kraus, P Horodecki, and J

    M. Lewenstein, B Kraus, P Horodecki, and J. Cirac. Characterization of separable states and entanglement witnesses. Phys. Rev. A , 63(4):044304, 2001

    2001

  24. [32]

    P DiVincenzo, T

    D. P DiVincenzo, T. Mor, P. W Shor, J. A Smolin, and B. M Terhal. Unextendible product bases, uncompletable product bases and bound entanglement. Comm. Math. Phys. , 238(3):379--410, 2003

    2003

  25. [33]

    Marciniak

    M. Marciniak. On extremal positive maps acting between type i factors. Banach Center Publications , 89(1):201--221, 2010

    2010

  26. [34]

    Ku \'s and K

    M. Ku \'s and K. \.Z yczkowski. Geometry of entangled states. Phys. Rev. A , 63(3):032307, 2001

    2001

  27. [35]

    E. Knill. Separability from spectrum. Published electronically at http://qig. itp. unihannover. de/qiproblems/15 , 2003

    2003

  28. [36]

    A. K. Ekert, C. M. Alves, D. KL Oi, M. Horodecki, P. Horodecki, and L. C. Kwek. Direct estimations of linear and nonlinear functionals of a quantum state. Phys. Rev. Lett. , 88(21):217901, 2002

    2002

  29. [37]

    Tanaka, Y

    T. Tanaka, Y. Ota, M. Kanazawa, G. Kimura, H. Nakazato, and F. Nori. Determining eigenvalues of a density matrix with minimal information in a single experimental setting. Phys. Rev. A , 89(1):012117, 2014

    2014

  30. [38]

    Verstraete, K

    F. Verstraete, K. Audenaert, and B. De Moor. Maximally entangled mixed states of two qubits. Phys. Rev. A , 64(1):012316, 2001

    2001

  31. [39]

    Gurvits and H

    L. Gurvits and H. Barnum. Largest separable balls around the maximally mixed bipartite quantum state. Phys. Rev. A , 66(6):062311, 2002

    2002

  32. [40]

    Vidal and R

    G. Vidal and R. Tarrach. Robustness of entanglement. Phys. Rev. A , 59(1):141--155, 1999

    1999

  33. [41]

    Hildebrand

    R. Hildebrand. Positive partial transpose from spectra. Phys. Rev. A , 76(5):052325, 2007

    2007

  34. [42]

    Johnston

    N. Johnston. Separability from spectrum for qubit-qudit states. Phys. Rev. A , 88(6):062330, 2013

    2013

  35. [43]

    J Szarek, E

    S. J Szarek, E. Werner, and K. \.Z yczkowski. Geometry of sets of quantum maps: a generic positive map acting on a high-dimensional system is not completely positive. J. Math. Phys. , 49(3), 2008

    2008

  36. [44]

    Chen and D

    L. Chen and D. Z . okovi \'c . Properties and construction of extreme bipartite states having positive partial transpose. Comm. Math. Phys. , 323(1):241--284, 2013

    2013

  37. [45]

    Chen and D

    L. Chen and D. Z . okovi \'c . Distillability of non-positive-partial-transpose bipartite quantum states of rank four. Phys. Rev. A , 94(5):052318, 2016

    2016

  38. [46]

    Grudka, M

    A. Grudka, M. Horodecki, and . Pankowski. Constructive counterexamples to the additivity of the minimum output r \'e nyi entropy of quantum channels for all p> 2. J. Phys. A , 43(42):425304, 2010

    2010

  39. [47]

    P. Liu, Z. Liu, S. Chen, and X. Ma. Fundamental limitation on the detectability of entanglement. Phys. Rev. Lett. , 129(23):230503, 2022

    2022

  40. [48]

    J. Bae, D. Chru \'s ci \'n ski, and B. C Hiesmayr. Mirrored entanglement witnesses. Npj Quantum Inf. , 6(1):15, 2020

    2020

  41. [49]

    A. Bera, J. Bae, B. C Hiesmayr, and D. Chru \'s ci \'n ski. On the structure of mirrored operators obtained from optimal entanglement witnesses. Sci. Rep. , 13(1):10733, 2023

    2023

  42. [50]

    Chru \'s ci \'n ski, A

    D. Chru \'s ci \'n ski, A. Bera, J. Bae, and B. C Hiesmayr. A mirrored pair of optimal non-decomposable entanglement witnesses for two qudits does exist. Sci. Rep. , 15(1):28205, 2025

    2025

  43. [51]

    Clarisse

    L. Clarisse. Construction of bound entangled edge states with special ranks. Phys. Lett. A , 359(6):603--607, 2006

    2006

Pith tools

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