REVIEW 2 major objections 4 minor 21 references
Analytic Qubit Separation between POVMs and Projective Measurements
T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read A rational Bell functional separates qubit POVMs from all qubit projective measurements over arbitrary two-qubit states by a certified gap above 1/1000, and the POVM value is the dimension-free optimum.
desk verdict Clean analytic separation of qubit POVMs from PVMs; Theorem 1 is self-contained and the proof is transparent, while Theorem 2's unlinked certificate is the only real soft spot. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is an anchor–probe tradeoff inside $\mathcal{B}=S+\frac{1}{100}F$. The CHSH term $S$ anchors the shared state and Bob's observables; its defect $q=2-S^2/4$ controls both the length of Bob's reduced-state Bloch vector and the nonorthogonality of his two measurement directions. Alice's ternary probe $F$ rewards a genuine three-outcome POVM, a measurement whose effects are positive matrices summing to the identity rather than mutually orthogonal projections; its effects are weighted rays around the origin, whereas a qubit PVM is confined to one antipodal Bloch diameter. The POVM gains linearly in probe strength while the best projective compensation only grows like $\sqrt{q}$, giving the separation. A rational 3–4–5 deformation of a trine measurement makes all coefficients and effect matrices rational, and a level-3 SOS certificate over $\mathbb{Q}(\sqrt{2})$ supplies the exact dimension-free upper bound.
What would settle it
Compute a concrete qubit PVM strategy on any two-qubit state whose Bell value exceeds $2\sqrt{2}+\sqrt{5}/250+\sqrt{2}/32400$; alternatively, run the exact verification of the level-3 SOS identity $\Omega I-\hat{\mathcal{B}}=v^\dagger\Gamma v$ and find any nonzero coefficient residual or any non-positive diagonal-dominance weight, which would invalidate the claimed global optimum.
Extended reading notes
Core claim
The core claim is a strict, fully analytic separation at local dimension two: for the Bell functional $\mathcal{B}$ of Eq. (8), the authors exhibit a behavior $p^\star\in\mathcal{Q}(2)$ from a two-qubit state and a genuine three-outcome POVM with $\mathcal{B}(p^\star)=2\sqrt{2}+1/100$, and prove that every behavior in $\operatorname{conv}\mathcal{Q}_{\mathrm{PVM}}(2)$ satisfies $\mathcal{B}\le 2\sqrt{2}+\sqrt{5}/250+\sqrt{2}/32400$. This yields $p^\star\notin\operatorname{conv}\mathcal{Q}_{\mathrm{PVM}}(2)$ with gap $>1/1000$. They further claim a dimension-unrestricted exact optimum: $\max_{p\in\mathcal{Q}}\mathcal{B}(p)=2\sqrt{2}+1/100$, established by an exact level-3 noncommutative sum-of-squares certificate over $\mathbb{Q}(\sqrt{2})$ combined with a simultaneous finite-family dilation to projective measurements.
Load-bearing premise
The dimension-unrestricted upper bound depends on a cited theorem that finitely many generalized measurements can be jointly dilated to projective measurements, and on the exact positivity of an 83 by 83 sum-of-squares matrix supplied only in companion files; Theorem 2 collapses if either step fails.
Editorial extensions
If this is right
- The analytic bound covers every two-qubit shared state, pure or mixed, and every qubit PVM family, including degenerate binary measurements and zero projections.
- Shared classical randomness and classical postprocessing cannot close the gap, because the bound holds for the convex hull of projective behaviors.
- The explicit qubit POVM attains the unrestricted finite-dimensional tensor-product quantum optimum, so adding a dilation ancilla or enlarging local dimension cannot improve the Bell value.
- The separation is not an isolated point: Corollary 4 shows $\mathcal{B}_\varepsilon=S+\varepsilon F$ separates the POVM from $\operatorname{conv}\mathcal{Q}_{\mathrm{PVM}}(2)$ for every $0<\varepsilon<0.24524$.
Reading between the lines
- Extending the same anchor–probe logic, one would expect analogous fixed-dimension POVM–PVM separations in higher local dimensions whenever the POVM can surround the origin with more rays than any set of orthogonal projective diameters.
- The paper leaves the noise threshold open; a concrete next test is to optimize the probe directions and strength to lower the white-noise visibility requirement near 0.99964, which would make the witness experimentally accessible.
- Because the optimized POVM's effects are rank-one and rationally parametrized, the exact SOS certificate might be convertible into a self-testing statement, but the paper explicitly does not establish uniqueness or measurement reconstruction.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies a bipartite Bell scenario in which Alice has two binary settings and one ternary setting, while Bob has two binary settings. It constructs a Bell functional B = S + (1/100)F, where S is the CHSH term and F is a ternary-measurement probe with rational coefficients. The main results are: Theorem 1 exhibits an explicit two-qubit state and a genuine three-outcome qubit POVM attaining B = 2 sqrt(2) + 1/100, and proves analytically that every qubit-projective strategy, including degenerate and coarse-grained ones, satisfies B <= 2 sqrt(2) + sqrt(5)/250 + sqrt(2)/32400, so the POVM behavior lies outside the convex hull of qubit-projective behaviors. Theorem 2 claims that the same value 2 sqrt(2) + 1/100 is the maximum over all finite-dimensional tensor-product quantum behaviors, with the upper bound established by an exact level-3 noncommutative sum-of-squares certificate over Q(sqrt(2)). Section IV gives the explicit POVM and its direct evaluation, Section V gives the fixed-qubit analytic upper bound via a single defect parameter, and Section VI with Appendix A present the SOS certificate at a high level.
Significance. If the results hold, Theorem 1 is a significant and non-obvious contribution: it provides a fully analytic, parameter-free separation between qubit POVMs and the convex hull of qubit-projective strategies over arbitrary shared two-qubit states, covering degenerate measurements, shared randomness, and classical postprocessing. The derivation in Section V is self-contained, and I verified that the displayed inequalities (Cauchy-Schwarz, tangent-line, and K < 10/9) are correct after reading u as 2/sqrt(5). The explicit POVM construction is elegant and the constants are exactly derived. The paper also advertises a Lean 4 formalization and an exact SOS certificate, which are positive reproducibility features in principle. However, Theorem 2 currently rests on a certificate whose data are not present in the manuscript, so the unrestricted-dimensional optimality claim is not independently verifiable from the preprint; this is a load-bearing gap that must be addressed before the result can be fully assessed.
major comments (2)
- [Sec. VI / Appendix A] The dimension-unrestricted upper bound in Theorem 2 rests on Proposition 5, but the certificate data are not present in the manuscript. Appendix A describes the verification protocol and states that 'the certificate fixes the ordering ... and gives the entries of all matrices below exactly in this field,' yet it does not display the ordered word list v, the 83-by-83 matrix Gamma, the factors W, H, U, or the 1603 coefficient identities in Eq. (A11). The only pointer is 'the public GitHub repository' in the Data Availability section, which appears without a URL, DOI, or stable locator. A reader therefore cannot check the polynomial identity (A12), the strict diagonal dominance (A16), the rank statement (A19), or the claimed sum-of-squares decomposition. Because this certificate is the entire proof of the matching upper bound in Eq. (15), the unrestricted-optimality claim is not verifiable from the preprint. The authors should either include the complete certificate in a supplement with an explicit stable locator or state Theorem 2 as conditional on the availability of the verification artifact.
- [Sec. VI, final paragraph] The extension from projective strategies to all finite-dimensional POVMs is made by invoking 'the simultaneous finite-family form of Naimark dilation' from Ref. [9], but the relevant lemma is not stated and its hypotheses are not checked. In particular, the paper does not establish that the dilated, setting-dependent PVMs satisfy precisely the algebra in Eq. (72) used by the SOS certificate, including the lack of commutation between different settings on the same party, nor does it prove the preservation of all joint probabilities with a bipartite state under independent dilations on the two sides. Please state the lemma explicitly, verify that its hypotheses hold for arbitrary finite-dimensional POVM families, and show that the dilated projectors obey the same algebraic relations used in the certificate.
minor comments (4)
- [Sec. V, Eq. (37) and throughout] The symbol u is defined as u = 2 sqrt(5) in Eq. (37), but the derivations require u = 2/sqrt(5); for instance, u/100 = sqrt(5)/250 in Eq. (61) only holds for the latter value. The same missing slash appears in Eqs. (24), (26), (27), (56)-(59), (65), and in the geometric discussion of Section III. Please correct this typesetting error consistently.
- [Data Availability / Sec. VI] The manuscript repeatedly refers to 'the public GitHub repository' and to the directories 'Lean formalisation' and 'exact sos' without providing a URL, repository identifier, or DOI. Please add a stable link or permanent identifier so the claimed artifacts can actually be located and verified.
- [Sec. VII, Eq. (79)] The visibility threshold is reported as approximately 0.9996434, which is consistent with the given expression, but the authors may wish to include the exact rational expression that yields this decimal, since the expression in Eq. (79) mixes 2 sqrt(2) with the upper-bound constants and the reader cannot easily reproduce the decimal without computation.
- [Sec. II, Theorem 1] In the statement of Theorem 1, the chain Q_PVM(2) subset Q(2) is written after the conclusion p* not in conv Q_PVM(2); it would be clearer to separate the strict-inclusion claim from the separation claim, since the former is a stronger statement that is not explicitly proved beyond the exhibited p*.
Circularity Check
No significant circularity: Theorem 1 is analytic and self-contained, and Theorem 2's SOS upper bound is an independent exact certificate; the cited Naimark-dilation step is standard external mathematics.
full rationale
The central derivation chain is not circular. The explicit qubit POVM's attainment of B = 2√2 + 1/100 is a direct calculation from the stated state, observables, and effects (Eqs. 28–33): S = 2√2 and F = 1 are computed, not fitted. The qubit-PVM upper bound in Theorem 1 is proved analytically from Tsirelson's bound, the Horodecki criterion, and elementary inequalities, with the single defect parameter q controlling both Bob's reduced-state bias and the nonorthogonality of his measurement directions; no step identifies the upper bound with the construction. Theorem 2's upper bound is an exact SOS identity ΩI − bB = v†Γv with Γ ⪷ 0, proven by exact diagonal-dominance arguments; the lower bound is supplied separately by the explicit strategy, so the upper bound is an independent certificate rather than a restatement of the lower-bound input. The extension from projective measurements to POVMs via the simultaneous finite-family Naimark dilation of Ref. [9] is standard external mathematics, and although one author of the present paper also appears on Ref. [9], that cited result does not contain the target Bell value and is not an unsupported self-citation. The Lean formalization of Theorem 1 is machine-checked and optional, so the self-citation to Lean-QIT is not load-bearing. No fitted parameter is renamed as a prediction, no quantity is defined in terms of the quantity it is used to derive, and no uniqueness or ansatz is imported from the authors' prior work to force the conclusion. A separate verifiability concern, but not a circularity, is that Appendix A does not display the actual 83×83 Gram matrix, the word ordering, or the exact matrices W, H, U, referring instead to an unlinked GitHub repository; this affects reproducibility of Theorem 2 but does not make the derivation circular.
Assumptions & free parameters
free parameters (3)
- Probe strength ε =
1/100
- POVM weights (w_0,w_1,w_2) =
(3/4,5/8,5/8)
- Probe directions ν_a =
(1,0),(-3/5,4/5),(-3/5,-4/5)
assumptions (5)
- standard math Born rule and tensor-product Hilbert space structure of quantum correlations
- standard math Naimark's dilation theorem (every POVM is a PVM on a larger Hilbert space)
- domain assumption Simultaneous finite-family Naimark dilation (Ref. [9])
- standard math Tsirelson's bound S ≤ 2√2 for CHSH
- standard math Horodecki criterion S ≤ 2√(1+s^2) = 2√(2-r^2)
Cite this review
Pith. "Pith review of Analytic Qubit Separation between POVMs and Projective Measurements." pith.science (2026). https://pith.science/paper/UF22X4GO
@misc{pith2026260801317,
author = {Pith},
title = {Pith review of: Analytic Qubit Separation between POVMs and Projective Measurements},
year = {2026},
howpublished = {\url{https://pith.science/paper/UF22X4GO}},
note = {Machine review of arXiv:2608.01317}
}
abstract
Generalized measurements can be implemented projectively after enlarging the Hilbert space, but this dilation changes the available local dimension. We construct a Bell functional with rational coefficients that separates the two measurement models at local dimension two. An explicit three-outcome qubit positive-operator-valued measure with rational matrix entries attains $2\sqrt2+1/100$. On the other hand, all qubit-projective strategies are bounded by $2\sqrt2+\sqrt5/250+\sqrt2/32400$, giving a fully analytic certified gap greater than $1/1000$. To our knowledge, this is the first fully analytic Bell-functional separation between qubit POVMs and qubit projective measurements over arbitrary shared two-qubit states. Lean certificate for the separation theorem is provided for completeness. Separately, an exact level-3 noncommutative sum-of-squares certificate proves that the explicit qubit strategy attains the unrestricted finite-dimensional tensor-product quantum optimum.
Figures
Reference graph
Works this paper leans on
-
[9]
J. F. Barra, E. S. G´ omez, G. Ca˜ nas, W. A. T. Nogueira, L. Neves, and G. Lima, A higher quantum bound for the V´ ertesi–Bene Bell inequality and the role of POVMs regarding its threshold detection efficiency, Phys. Rev. A 86, 042114 (2012), arXiv:1207.0712
work page Pith review arXiv 2012
-
[1]
J. S. Bell, On the einstein podolsky rosen paradox, Physics Physique Fizika1, 195 (1964)
1964
-
[2]
:={a+b √ 2 :a,b∈Q}. For comparison, Table I summarizes the local bound, the analytic qubit-PVM upper bound, the value attained by the explicit qubit POVM, and the exact unrestricted finite-dimensional quantum optimum. TABLE I. Relevant Bell-value benchmarks. The qubit-PVM entry is a rigorous analytic upper bound, not a claimed exact optimum. Class Bell va...
-
[3]
proves the polynomial identity in Eq. (75). It remains to establish positivity without numerical approximation. The exact Gram matrix admits a fac- torization Γ =WHW T, where W has full column rank. Moreover, there exists an invertible rational matrix U such that eH =U THU has positive diagonal entries and is strictly diagonally dominant overQ( √ 2). Defi...
-
[4]
J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Proposed experiment to test local hidden-variable theories, Phys. Rev. Lett.23, 880 (1969)
1969
-
[5]
Beneduci, Notes on Naimark’s dilation theorem, J
R. Beneduci, Notes on Naimark’s dilation theorem, J. Phys.: Conf. Ser.1638, 012006 (2020)
work page 2020
-
[6]
N. Gisin, Bell inequalities: Many questions, a few answers, inQuantum Reality, Relativistic Causality, and Closing the Epistemic Circle, The Western Ontario Series in Phi- losophy of Science, Vol. 73, edited by W. C. Myrvold and J. Christian (Springer, Dordrecht, 2009) pp. 125–138, arXiv:quant-ph/0702021
arXiv 2009
-
[7]
K. F. P´ al and T. V´ ertesi, Concavity of the set of quantum probabilities for any given dimension, Phys. Rev. A80, 042114 (2009), arXiv:0905.2915
work page Pith review arXiv 2009
Show all 21 references
-
[8]
V´ ertesi and E
T. V´ ertesi and E. Bene, Two-qubit Bell inequality for which positive operator-valued measurements are relevant, Phys. Rev. A82, 062115 (2010), arXiv:1007.2578
2010 arXiv
-
[10]
Oszmaniec, L
M. Oszmaniec, L. Guerini, P. Wittek, and A. Ac´ ın, Sim- ulating positive-operator-valued measures with projec- tive measurements, Phys. Rev. Lett.119, 190501 (2017), arXiv:1609.06139
2017 arXiv
-
[11]
Baptista, R
P. Baptista, R. Chen, J. Kaniewski, D. R. Lolck, L. Manˇ cinska, T. G. Nielsen, and S. Schmidt, A mathemat- ical foundation for self-testing: Lifting common assump- tions, Ann. Henri Poincar´ e 10.1007/s00023-025-01642-3 (2025), arXiv:2310.12662
2025 arXiv
-
[12]
Cerf and H
S. Cerf and H. Ollivier, The perturbative method for quantum correlations (2026), arXiv:2603.26875 [quant- ph]
2026
-
[13]
C. Zhu, Z. Tang, G. Zhen, Y. Cao, Y. Zhao, R. Chen, X. Zhao, L. Zhang, and X. Wang, Lean-QIT: Towards a formal infrastructure for quantum information theory (2026), arXiv:2607.09632 [quant-ph]
2026 arXiv
-
[14]
B. S. Tsirelson, Quantum generalizations of Bell’s inequal- ity, Lett. Math. Phys.4, 93 (1980)
1980
-
[15]
Horodecki, P
R. Horodecki, P. Horodecki, and M. Horodecki, Violating Bell inequality by mixed spin-1/2 states: Necessary and sufficient condition, Phys. Lett. A200, 340 (1995). 10 Appendix A: Exact verification and explicit form of the level-3 SOS certificate This appendix proves Propositi...
1995
-
[16]
The certificate fixes the ordering of the reduced words and gives the entries of all matrices below exactly in this field
={a+b √ 2 :a,b∈Q}, with the physical real embedding √ 2> 0. The certificate fixes the ordering of the reduced words and gives the entries of all matrices below exactly in this field
-
[17]
No commutation relation is imposed between different settings of the same party
Reduced word space Consider the unital∗-algebra generated by the self-adjoint symbolsP 0,P 1,R 0,R 1,Q 0,Q 1, subject to P 2 x =P x, Q 2 y =Q y, R 2 a =R a, R0R1 =R 1R0 = 0,[P x,Qy] = [Ra,Qy] = 0,(A1) wherex,y,a∈{0,1}. No commutation relation is imposed between different setti...
-
[18]
Using the projector form of bBin Eq
Exact polynomial identity Let T:= ΩI− bB,Ω = 2 √ 2 + 1 100. Using the projector form of bBin Eq. (74), the target polynomial is exactly T= 2 √ 2− 501 250 I+ 4P 0 + 1003 250 Q0 + 2 125Q1 −4P 0Q0−4P 0Q1−4P 1Q0 + 4P1Q1 11 + 3 125R0 + 2 125R1− 4 125R0Q0− 2 125R0Q1− 4 125R1Q1.(A6) ...
-
[19]
There is also an invertible rational upper-triangular matrix U∈Q 61×61
Exact positivity and rank The exact matrices W∈Q( √ 2)83×61, H∈Q( √ 2)61×61 (A13) satisfy Γ=WHW T,(A14) where W has full column rank and H is real symmetric. There is also an invertible rational upper-triangular matrix U∈Q 61×61. Define eH:=U THU= ( ehij)61 i,j=1.(A15) For eac...
-
[20]
12 For everyi<j , set sij := sgn(ehij)
gives δi :=ehii− X j̸=i |ehij|>0.(A16) The sign of a +b √ 2 is decided without approximation: when a and b have opposite signs, it is enough to compare the rational numbersa 2 and 2b2. 12 For everyi<j , set sij := sgn(ehij). In the present certificate all 1830 = 61 2 off-diago...
-
[21]
Define f:=U −1W Tv= (f 1,...,f 61)T.(A20) Eachf i is a polynomial of degree at most three with coefficients inQ( √ 2)
Exact operator sum of squares The matrices above determine the Hermitian-square polynomials explicitly. Define f:=U −1W Tv= (f 1,...,f 61)T.(A20) Eachf i is a polynomial of degree at most three with coefficients inQ( √ 2). BecauseH= (U −1)TeHU−1, v†Γv=v †W(U−1)TeHU−1W Tv =f†eH...
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.