Pith. sign in

REVIEW 4 major objections 5 minor 1 cited by

Estimating the Schmidt numbers of quantum states via symmetric measurements

T0 review · 4 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read Any bipartite state with Schmidt number at most r must have a correlation-matrix trace norm below a threshold set by the symmetric measurements; exceeding it certifies Schmidt number at least r+1.

desk verdict The main inequality is correct and the generalization is real, but the superiority claim over existing criteria is not established by the examples as presented. read the letter →

arxiv 2505.02297 v3 pith:G3E7ZMW4 submitted 2025-05-05 quant-ph

Hao-Fan Wang , Shao-Ming Fei This is my paper · ORCID
classification quant-ph
keywords Schmidtnumbersymmetricmeasurementsquantumentanglementcorrelationmatrix(NM)-POVMcriterionconcurrencedetection
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

This paper tries to establish a practical necessary condition for the Schmidt number of a bipartite quantum state: if $\rho_{AB}$ has Schmidt number at most $r$, then the trace norm of its correlation matrix, built from outcomes of a pair of informationally complete symmetric measurements, cannot exceed $L/K + (r-1)R/K$. Exceeding that bound certifies that the state has Schmidt number at least $r+1$, which matters because higher Schmidt numbers give a quantifiable advantage in tasks like channel discrimination. The result is framed in terms of $(N,M)$-POVMs, a family that contains the previously used SIC POVMs and mutually unbiased bases as special cases, so the criterion generalizes both earlier Schmidt-number criteria. The authors also show, in examples, that the new condition can detect entanglement and Schmidt number above 2 in parameter regions where the GSIC, fidelity, and realignment criteria fail, and they extract a family of concurrence lower bounds from the same proof.

What carries the argument

The load-bearing object is the correlation matrix $P(\rho_{AB})$ assembled from an informationally complete $(N,M)$-POVM: a set of $N$ $d$-dimensional POVMs with $M$ outcomes each that satisfy fixed trace, overlap, and cross-overlap conditions, with $N(M-1)=d^2-1$ for informational completeness. The key identity is Lemma 1, a frame-style resolution formula: for every linear operator $\sigma$, $$\sum_{\$\alpha$,k}|\mathrm{tr}(E_{\$\alpha$,k}\$\sigma$)|^2 = \frac{d($M^{2}$ x-d)\mathrm{tr}(\$\sigma$\$\sigma$^\dagger) + ($d^{3}$ - $M^{2}$ x)|\mathrm{tr}(\$\sigma$)|^2}{dM(M-1)},$$ which converts measurement probabilities into Hilbert-Schmidt data. The proof of the theorem splits a pure Schmidt-rank-$r$ state into diagonal parts $\langle ss|E^A_{\alpha,k}\otimes E^B_{\beta,l}|ss\rangle$ and off-diagonal parts $\langle ss|E^A_{\alpha,k}\otimes E^B_{\beta,l}|tt\rangle$, bounds the trace norm of each piece with Lemma 1, and uses convexity plus $(\sum_s \lambda_s)^2 \leq r$ to reach the bound. The measurement family is what does the generalizing work: GSIC POVMs and mutually unbiased bases are the two limiting cases of the same construction.

What would settle it

For the family $\rho(0.9,q)$ in Example 1, compute the entanglement-detection threshold of the GSIC POVM criterion with its free parameter $a$ optimized rather than fixed at $0.1277$ and $0.04984$; if the optimized GSIC criterion detects entanglement for $q$-values in $[0.42115,1]$ or beyond, the claimed advantage of the $(3,2)/(5,4)$-POVM choice with $t=0.01$ fails. More broadly, optimize $t$ in Theorem 1 on each example family and compare with optimized older criteria to see whether the reported detection intervals are actually the best this method can achieve.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: for any bipartite state $\rho_{AB}$ on $H_A \otimes H_B$ with Schmidt number at most $r$, the trace norm of the correlation matrix $P(\rho_{AB})$ satisfies $$\|P(\rho_{AB})\|_{\mathrm{tr}} \leq \frac{L}{K} + \frac{(r-1)R}{K},$$ where $K,L,R$ depend only on the local dimensions and on the parameters $x_A,x_B$ of the chosen informationally complete $(N,M)$-POVMs. Here $P(\rho_{AB})$ is the matrix of joint measurement probabilities $p_{\alpha,k;\beta,l} = \mathrm{tr}(\rho_{AB}(E^A_{\alpha,k}\otimes E^B_{\beta,l}))$. Since the condition is necessary, any state whose measured trace norm exceeds the $r$-threshold provably has Schmidt number at least $r+1$. Setting $M_A=d_A^2$, $M_B=d_B^2$, $N_A=N_B=1$ recovers the GSIC POVM criterion, and setting $M_A=d_A$, $N_A=d_A+1$ (and similarly for $B$) with $x=1$ recovers the MUB criterion, so the theorem is a common generalization of both. The proof also yields a class of lower bounds on concurrence for heterogeneous-dimensional bipartite states from the same correlation matrix, generalizing the known equal-dimensional bound.

Load-bearing premise

The superiority over previous criteria rests on the specific parameter choices in the examples — $t=0.01$ for the symmetric measurements and $a=0.1277$, $a=0.04984$ for the GSIC POVMs — and could shrink or vanish if those comparison criteria were optimized over their free parameters.

Editorial extensions

If this is right

  • If the measured trace norm exceeds the bound for a given $r$, the state's Schmidt number is at least $r+1$, so the criterion gives a directly computable lower bound on entanglement dimensionality.
  • The criterion specializes to the GSIC POVM criterion when each side uses one $d^2$-outcome measurement and to the MUB criterion when using $d+1$ $d$-outcome bases, so improvements in detection carry over to both settings.
  • For $r=1$ the inequality reduces to the known symmetric-measurement separability criterion, making the result an entanglement witness as well as a Schmidt-number test.
  • The same proof supplies lower bounds on concurrence for bipartite systems of unequal dimensions, extending the equal-dimensional bound previously obtained.
  • In the worked examples, the new condition certifies entanglement or Schmidt number greater than 2 on wider parameter intervals than the GSIC, fidelity, and realignment criteria, indicating stronger detection on those states.

Reading between the lines

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

  • Because the proof only invokes the algebraic identity that makes the measurements a conical 2-design, the same trace-norm bound should be derivable for any measurement family that forms a conical 2-design, not just the symmetric POVMs treated here.
  • The examples fix the free parameter at $t=0.01$; optimizing $t$ for each state family could lower the detection thresholds further than the reported intervals, a direct testable extension of the paper's numerics.
  • The correlation matrix is built from joint probabilities of local measurements, so in principle it can be estimated from experimental coincidence counts; the criterion could be turned into a data-driven Schmidt-number witness, though the paper does not perform such an estimation.
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

4 major / 5 minor

Summary. The paper derives a Schmidt-number criterion for bipartite quantum states based on the trace norm of the correlation matrix obtained from informationally complete (N,M)-POVMs. Theorem 1 gives a necessary condition for a state to have Schmidt number at most r, and Corollary 1 specializes to equal local dimensions. The authors also derive a symmetric-measurement lower bound on concurrence. They claim, on the basis of four examples, that their criterion is more effective than and superior to existing Schmidt-number criteria based on GSIC POVMs, MUBs, fidelity, and realignment.

Significance. The mathematical derivation of Theorem 1 and Corollary 1 appears coherent: Lemma 1 correctly generalizes the frame decomposition to non-Hermitian operators, the reduction to pure states via convexity is valid, and the limiting cases reproduce the GSIC and MUB criteria. If the superiority claim were properly supported, this would be a useful unifying framework for Schmidt-number detection. However, the paper's central advertised contribution—the claimed practical advantage over existing criteria—is not established by the examples as presented, because the comparisons fix the new criterion's free parameter at a single value and do not optimize over the competing criteria.

major comments (4)
  1. [Section IV, Examples 1, 2, and 4] The central claim that the new criterion is 'more effective than and superior to' existing criteria is supported only by numerical examples in which the (N,M)-POVM parameter is fixed at t=0.01 while the competing GSIC criterion is evaluated at fixed parameters from Ref. [18]. Since both the (N,M)-POVM bound and the GSIC bound depend monotonically on their free parameters, a single choice is not representative of the achievable performance. The paper should either optimize over the allowed parameters for both methods, or prove analytically that t=0.01 (or the chosen value) is optimal or at least dominates the entire competing family. Without this, the examples do not substantiate the abstract's superiority claim.
  2. [Section IV, Example 1] The comparison in Example 1 does not control for measurement resources: the (3,2)-POVM on subsystem A has 6 effects and the (5,4)-POVM on subsystem B has 20 effects, whereas the GSIC comparison uses 4 and 16 effects, respectively. A correlation matrix from a larger informationally complete measurement can generically yield stronger bounds, so the observed advantage may be attributable to the larger number of outcomes rather than to an intrinsic superiority of the criterion. A fair comparison should either use the same number of outcomes or explicitly account for the additional resource cost.
  3. [Section IV, Examples 1, 2, and 4] The threshold values that support the superiority claim (e.g., 0.42115 in Example 1, 0.5219 in Example 2) are quoted from figures without numerical data, derivations, or code. Since the entire advertised advantage rests on these examples, the reader cannot verify the thresholds or the curves. The authors should provide the numerical data or a reproducibility script, or at least give the explicit algebraic expressions used to generate the figures.
  4. [Section V and Example 3] The conclusion states that the criterion is 'more effective than and superior to' the fidelity criterion, but Example 3 only proves that for isotropic states the new criterion is not weaker than the fidelity criterion. The text explicitly says 'our criterion must not be weaker'—that is not a demonstration of strict superiority. The wording in the abstract and conclusions overstates what Example 3 shows.
minor comments (5)
  1. [Section II, definition of H_{\alpha,k}] The display defining H_{\alpha,k} is garbled: the line '((\sqrt{M}+1)G_{\alpha,k}=M' is incomplete and the piecewise definition is not legible. This should be rewritten with the correct formula for both k=1,\dots,M-1 and k=M.
  2. [Section IV, Example 4 and Appendix B] The appendix title refers to 'Example 3' but the (8,2)-POVM is used in Example 4; the numbering should be corrected.
  3. [Section IV, Example 4] There are typographical errors such as 'green curve is is' and 'critera' instead of 'criteria' in the surrounding text.
  4. [Section I, Introduction] The sentence 'in practical applications, Neither determining whether a given state is entangled nor describing the entanglement degree of a given entangled state is an easy task' contains a capitalization error and awkward phrasing; it should be revised.
  5. [Section IV, Example 4] The remark that Fig. 3 'is also a supplement to Fig.4 in Ref.[35]' is unexplained and should be either elaborated or removed.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Schmidt-number criterion is derived from a proven frame decomposition, and the examples' fixed parameter choices are a strength-of-claim caveat, not a circular input.

full rationale

The derivation chain is self-contained. Lemma 1 is proven in the paper from the (N,M)-POVM trace relations and yields the frame decomposition for any linear operator; Theorem 1 follows by convexity of the trace norm and the pure-state Schmidt decomposition, with no fitted parameter or assumed conclusion. The reductions to GSIC and MUB criteria in Remark 2 and the conical-2-design alternative proof of Corollary 1 are demonstrations of consistency or optional extensions, not inputs to the main theorem. The only self-citations are Refs. [18] and [25]: Ref. [18] supplies the comparison criterion (coauthored by S.M. Fei) and Ref. [25] is used only for an alternative proof of a corollary already proven and for a concurrence bound that is a byproduct; neither carries the main derivation. The numerical examples in Sec. IV choose t=0.01 for the new (N,M)-POVMs while using fixed parameters a1=0.1277, a2=0.04984, a=0.04984 for the GSIC comparison, and no optimization over either family is reported. This weakens the advertised claim of superiority and is a correctness/strength-of-evidence concern, but it is not circular: Theorem 1 does not change with t, and the demonstration is an example, not a prediction forced by construction. Accordingly the appropriate finding is no significant circularity.

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

The central criterion is parametric in the POVM design parameters; no physical entities are introduced. The comparison examples rely on hand-chosen t values and literature-sourced GSIC parameters, which are listed as free parameters. The mathematical derivation relies on the conical 2-design property of the measurements, cited to the literature.

free parameters (2)
  • Measurement parameter t for (N,M)-POVM = 0.01 (all examples)
    Chosen by hand without justification; the detection thresholds in Examples 1, 2, and 4 depend on it. The allowed ranges are given but no optimization or sensitivity analysis is provided.
  • GSIC POVM parameters a1, a2 = a1=0.1277, a2=0.04984
    Taken from Ref [18] without explaining whether they are the best choices for the GSIC criterion; used in the green curves in Figs. 1 and 3.
assumptions (3)
  • domain assumption Every informationally complete (N,M)-POVM is a conical 2-design
    Used in the alternative proof of Corollary 1 and attributed to Refs [30,31]; no proof is given in this paper.
  • standard math For any informationally complete (N,M)-POVM, Lemma 1's frame decomposition holds for all linear operators
    Proven in the paper, but relies on the relation (M-1)N=d^2-1 and the Hermitian basis construction from Ref [22].
  • standard math The bound (sum of Schmidt coefficients)^2 ≤ r
    Cauchy-Schwarz inequality, used in the final step of Theorem 1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Estimating the Schmidt numbers of quantum states via symmetric measurements." pith.science (2026). https://pith.science/paper/G3E7ZMW4

@misc{pith2026250502297,
  author       = {Pith},
  title        = {Pith review of: Estimating the Schmidt numbers of quantum states via symmetric measurements},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/G3E7ZMW4}},
  note         = {Machine review of arXiv:2505.02297}
}
read the original abstract

The Schmidt numbers quantify the entanglement degree of quantum states. Quantum states with high Schmidt numbers provide a larger advantage in various quantum information processing tasks compared to quantum states with low Schmidt numbers. We derive a Schmidt number criterion based on the trace norm of the correlation matrix obtained from symmetric measurements. We show that our result is more effective than and superior to existing Schmidt number criteria by detailed examples.

Figures

Figures reproduced from arXiv: 2505.02297 by the authors.

Figure 1
Figure 1. FIG. 1: Red curve is the lower bound of SN( [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2: Red curve is the lower bound of SN( [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. FIG. 3: Red curve is the lower bound of SN( [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗

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. Exploring entanglement, Wigner negativity and Bell nonlocality for anisotropic two-qutrit states

    quant-ph 2025-06 reject novelty 3.0 of 10

    A numerical survey of three quantum resources for noisy anisotropic two-qutrit states, with an inconsistent Wigner computation and a known Bell-optimality result presented as new.

Reference graph

Works this paper leans on

36 extracted references · 34 canonical work pages · cited by 1 Pith paper

  1. [18]

    rP s=1 λ2 s (L−R) + rP s=1 λs 2 R # = L K + R K

    and the MUB criterion [17]. We show that our criterion is more efficient in detecting the Schmidt number than some existing criteria by detailed examples. Moreover, from the proof of our criterion of Schmidt number, we also obtain a class of lower bounds of concurrence induced by symmetric measurements, which generalizes the results given in Ref.[25]. II....

    work page

  2. [17]

    Tavakoli and S

    A. Tavakoli and S. Morelli, Enhanced Schmidt-number criteria based on correlation trace norms, Phys. Rev. A110, 062417 (2024)

    work page 2024

  3. [1]

    B. M. Terhal and P. Horodecki, Schmidt number for density matrices, Phys. Rev. A 61, 040301(R) (2000)

    work page 2000

  4. [2]

    Sperling and W

    J. Sperling and W. Vogel, The Schmidt number as a universal entanglement measure, Phys. Scr. 83 045002 (2011)

    work page 2011

  5. [3]

    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)

    work page 2014

  6. [4]

    J. Bae, D. Chruscinski, and M. Piani, More entanglement implies higher performance in channel discrimination tasks, Phys. Rev. Lett. 122, 140404 (2019)

    work page 2019

  7. [5]

    Hulpke, D

    F. Hulpke, D. Bruss, M. Lewenstein, and A. Sanpera, Simplifying Schmidt number witnesses via higher-dimensional embeddings, Quantum Inf. Comput. 4, 207 (2004)

    work page 2004

  8. [6]

    Johnston, Norm duality and the cross norm criteria for quantum entanglement, Linear Multilinear Algebra 62, 648 (2014)

    N. Johnston, Norm duality and the cross norm criteria for quantum entanglement, Linear Multilinear Algebra 62, 648 (2014)

    work page 2014

Show all 36 references
  1. [7]

    Peres, Separability criterion for density matrices, Phys

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

    1996

  2. [8]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki, Separability of mixed states: Necessary and sufficient conditions, Phys. Lett. A 223, 1 (1996)

    1996

  3. [9]

    Chen and L.A

    K. Chen and L.A. Wu, A matrix realignment method for recognizing entanglement, Quantum Inf. Comput. 3, 193 (2003)

    2003

  4. [10]

    Rudolph, Further results on the cross norm criterion for separability, Quantum Inf

    O. Rudolph, Further results on the cross norm criterion for separability, Quantum Inf. Process. 4, 219 (2005)

    2005

  5. [11]

    Klockl and M

    C. Klockl and M. Huber, Characterizing multipartite entanglement without shared reference frames, Phys. Rev. A 91, 042339 (2015)

    2015

  6. [12]

    S. Liu, Q. He, M. Huber, O. G¨ uhne, and G. Vitagliano, Characterizing entanglement dimensionality from randomized measurements, PRX Quantum 4, 020324 (2023)

    2023

  7. [13]

    S. Liu, M. Fadel, Q. He, M. Huber, and G. Vitagliano, Bounding entanglement dimensionality from the covariance matrix, Quantum 8, 1236 (2024)

    2024

  8. [14]

    Sanpera, D

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

    2001

  9. [15]

    Wyderka, G

    N. Wyderka, G. Chesi, H. Kampermann, C. Macchiavello, and D. Bruß, Construction of efficient Schmidt-number witnesses for high-dimensional quantum states, Phys. Rev. A 107, 022431 (2023)

    2023

  10. [16]

    Shi, Families of Schmidt-number witnesses for high dimensional quantum states, Commun

    X. Shi, Families of Schmidt-number witnesses for high dimensional quantum states, Commun. Theor. Phys. 76, 085103 (2024)

    2024

  11. [19]

    Wang, B.Z

    Z. Wang, B.Z. Sun, S.M. Fei, and Z.X. Wang, Schmidt number criterion via general symmetric informationally complete measurements, Quantum Inf. Process. 23, 401 (2024)

    2024

  12. [20]

    L.M. Lai, T. Li, S.M. Fei, and Z.X. Wang. Entanglement criterion via general symmetric informationally complete mea- surements, Quantum Inf. Process. 17, 314 (2018)

    2018

  13. [21]

    Kalev and G

    A. Kalev and G. Gour, Mutually unbiased measurements in finite dimensions, New J. Phys. 16, 053038 (2014)

    2014

  14. [22]

    Kalev and G

    A. Kalev and G. Gour, Construction of all general symmetric informationally complete measurements, J. Phys. A: Math. Theor. 47, 265301 (2014)

    2014

  15. [23]

    Siudzinska, All classes of informationally complete symmetric measurements in finite dimensions, Phys

    K. Siudzinska, All classes of informationally complete symmetric measurements in finite dimensions, Phys. Rev. A 105, 042209 (2022)

    2022

  16. [24]

    Siudzinska, How much symmetry do symmetric measurements need for efficient operational application, J

    K. Siudzinska, How much symmetry do symmetric measurements need for efficient operational application, J. Phys. A: Math. Theor. 57, 355301 (2024)

    2024

  17. [25]

    Siudzinska, Informationally overcomplete measurements from generalized equiangular tight frames, J

    K. Siudzinska, Informationally overcomplete measurements from generalized equiangular tight frames, J. Phys. A: Math. Theor. 57, 355302 (2024)

    2024

  18. [26]

    Wang and S.M

    H.F. Wang and S.M. Fei, Symmetric measurement-induced lower bounds of concurrence, Phys. Rev. A 111, 032432 (2025)

    2025

  19. [27]

    Ekert and P

    A. Ekert and P. L. Knight, Entangled quantum systems and the Schmidt decomposition, Am. J. Phys. 63, 415 (1995)

    1995

  20. [28]

    Tang and F

    L. Tang and F. Wu, Enhancing some separability criteria in many-body quantum systems, Phys. Scr. 98, 065114 (2023)

    2023

  21. [29]

    Rungta, V

    P. Rungta, V. Buzek, C. M. Caves, M. Hillery, and G. J. Milburn, Universal state inversion and concurrence in arbitrary dimensions, Phys. Rev. A 64, 042315 (2001)

    2001

  22. [30]

    K. Chen, S. Albeverio, and S.M. Fei, Concurrence of arbitrary dimensional bipartite quantum states, Phys. Rev. Lett 95, 040504 (2005)

    2005

  23. [31]

    Siudzinska, Non-markovian quantum dynamics from symmetric measurements, Phys

    K. Siudzinska, Non-markovian quantum dynamics from symmetric measurements, Phys. Rev. A 110, 012440 (2024)

    2024

  24. [32]

    Huang, F

    F. Huang, F. Wu, L. Tang, Z.W. Mo, and M.Q. Bai, Characterizing the uncertainty relation via a class of measurements, Phys. Scr. 98, 105103 (2023)

    2023

  25. [33]

    Horodecki, Separability criterion and inseparable mixed states with positive partial transposition, Phys

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

    1997

  26. [34]

    Weilenmann, B

    M. Weilenmann, B. Dive, D. Trillo, E. A. Aguilar, and M. Navascues, Entanglement Detection beyond Measuring Fidelities, Phys. Rev. Lett. 124, 200502 (2020)

    2020

  27. [35]

    Horodecki and P

    M. Horodecki and P. Horodecki, Reduction criterion of separability and limits for a class of distillation protocols. Phys. Rev. A 59, 4206 (1999). 10

    1999

  28. [36]

    Shang, A

    J.W. Shang, A. Asadian, H.J. Zhu, and O. Guhne, Enhanced entanglement criterion via symmetric informationally complete measurements, Phys. Rev. A 98, 022309 (2018). A. THE HERMITIAN BASIS OPERA TORS USED TO CONSTRUCT (5, 4)-POVM IN EXAMPLE 1 In Example 1, we used (5 , 4)-POVM ...

    2018

Pith tools

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