Pith. sign in

REVIEW 2 major objections 3 minor 26 references

New bound on $S_{1}\times S_{2}$-setting Bell locality of a nonseparable Werner state

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

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

Pith's one-line read For nonseparable Werner states, a new analytic bound decides when they satisfy all Bell inequalities under S1×S2-setting scenarios.

desk verdict New Werner-state locality bound is real, but the proof rests on an unverified eigenvalue fact; worth a careful referee. read the letter →

arxiv 2607.18050 v2 pith:CYBS5ROE submitted 2026-07-20 quant-ph math-phmath.MP

Elena R. Loubenets This is my paper · ORCID
classification quant-phmath-phmath.MP
keywords WernerstateBelllocalityinequalitiessourceoperatortensorpositivitymeasurementsettingslocalhiddenvariablemodelnonlocality
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 asks when a nonseparable Werner state—the standard mixed entangled state—actually displays Bell nonlocality when only limited measurement settings are available at each site. It proves a new sufficient condition: if the state's dimension d is no larger than the smaller of the two setting counts S1, S2, and the mixing parameter Φ lies in [−(d−1)/min{S1,S2}, 0), then the state satisfies every Bell inequality for all such S1×S2-setting scenarios, with outcomes of any spectral type. This condition is stronger than previously known locality bounds for a wide range of settings (for example, for d=2 it beats the old bounds whenever min{S1,S2}≤7). The paper also shows that when d exceeds min{S1,S2}, every nonseparable Werner state is automatically Bell local under those settings, re-deriving an earlier optimization result in explicit operator form. The practical consequence is that a Werner state's nonlocality can be hidden simply by choosing the number of measurement settings appropriately.

What carries the argument

The construction uses an operator T = γP^{(+)}_{d,S2+1} + ξP_{λmin} on H_d ⊗ H_d^{⊗S2}, where P^{(+)}_{d,S2+1} projects onto the fully symmetric subspace of S2+1 copies and P_{λmin} projects onto the eigenspace of J = Σ_{j=2}^{S2+1}F_{1j} (sum of flip operators between the first and j-th copies) with its minimal eigenvalue. The coefficients γ and ξ are chosen so that the partial trace of T equals the Werner state. The crucial spectral fact is that the minimal eigenvalue of J is −min{d−1, S2}, so the operator is positive exactly when Φ lies above −min{d−1,S2}/S2. This eigenvalue computation converts a positivity question into the explicit interval (19) of the theorem.

What would settle it

Take d=2, S1=S2=7, and Φ=−0.14, which lies in the claimed local interval [−1/7,0). If any 7×7-setting Bell inequality is violated by the Werner state W_{2,Φ}, Theorem 2(a) is false. Equivalently, one can numerically check whether the constructed operator T = γP^{(+)}+ξP_{λmin} with these parameters is positive; if it is not, the proof's pivot fails.

Watch

Extended reading notes

Core claim

The central claim, Theorem 2, has three parts. For 2≤d≤Smin, a nonseparable Werner state W_{d,Φ} is S1×S2-setting Bell local whenever Φ∈[−(d−1)/Smin, 0); more strongly, it is also local for any number of settings at the other site beyond S2 (or at this site beyond S1). For Smin<d≤Smax, every nonseparable Werner state is S1×S2-setting Bell local, and the same holds for d>Smax. The proof is constructive: it exhibits explicit positive 'source operators'—extensions of the state to multiple copies—whose partial trace returns W_{d,Φ}. Positivity of these operators is what grants Bell locality.

Load-bearing premise

The proof borrows a previously proven theorem stating that a positive 'source operator' (an extension of the state to extra copies) implies Bell locality under all S1×S2 settings; the paper constructs such positive operators but does not re-prove that implication.

Editorial extensions

If this is right

  • In any S1×S2-scenario with min{S1,S2}≥d, a Werner state with Φ∈[−(d−1)/min{S1,S2},0) admits a local hidden-variable description: it cannot be used to violate any Bell inequality.
  • For d=2, the new locality bound beats the previous best bound for all scenarios with min{S1,S2}≤7; for d=3, for min{S1,S2}≤32.
  • When d>min{S1,S2}, no nonseparable Werner state can show Bell nonlocality at all under those limited scenarios, regardless of Φ.
  • The explicit positive source operator constructed for d>Smin provides a concrete, state-level witness that the earlier optimization result holds with a fully explicit extension.
  • Protocols that certify entanglement by Bell-violating Werner states must restrict to fewer than min{S1,S2} settings per site; at or above that number the state is provably local.

Reading between the lines

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

  • The same flip-operator eigenvalue mechanism might be applied to other symmetric families of states (such as isotropic states) to produce setting-dependent locality thresholds; the present paper does not explore this.
  • The threshold (d−1)/Smin is only sufficient; whether it is tight—that is, whether Werner states with Φ just below it violate some S1×S2-setting Bell inequality—remains open.
  • The result implies a general caution: increasing the number of measurement settings in a Bell test does not always make nonlocality easier to detect; for Werner states, more settings can actually force locality.
  • In a multipartite setting, a similar construction with a star of flip operators could yield locality bounds for N-partite Werner-like states, with the bound depending on the graph spectrum.
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

2 major / 3 minor

Summary. The manuscript studies S1×S2-setting Bell locality of nonseparable Werner states. Using the author's earlier framework of source operators and tensor positivity, it constructs explicit positive 1×S2 and S1×1 source operators for W_{d,Φ} by taking a projection onto the minimal eigenspace of J = Σ_j F_{1j}. The main result, Theorem 2, has three parts: (a) for 2≤d≤min{S1,S2}, W_{d,Φ} is S1×S2-setting Bell local whenever Φ∈[−(d−1)/min{S1,S2},0), with additional locality for larger numbers of settings; (b) for min{S1,S2}<d≤max{S1,S2}, every nonseparable Werner state is S1×S2-setting Bell local; (c) for d>max{S1,S2}, the same holds with extensions on both sides. The paper also gives an explicit operator proof of the Terhal–Doherty–Schwab optimization result for d>min{S1,S2}.

Significance. If the theorem is correct, it provides an analytic, parameter-free sufficient condition for Bell locality of nonseparable Werner states in restricted-setting scenarios, going beyond the Werner and Barrett thresholds for many S1,S2, and it recovers the TDS d>min{S1,S2} result in explicit operator form. The construction is concrete and the partial-trace computations are directly checkable. The main advertised interval (19) appears defensible; however, the theorem as stated contains an overclaim in its 'moreover' parts, and one key spectral input is imported without proof. These issues are local rather than fatal.

major comments (2)
  1. [III, Theorem 2(a) and proof after Eq. (28)] The proof states that 'for 2≤d≤Smin, a nonseparable Werner state has positive 1×S2-setting and S1×1-setting source operators if Φ∈[−(d−1)/Smin,0)'. This intersection is computed incorrectly. Positivity of the 1×S2 operator requires Φ≥−(d−1)/S2, and positivity of the S1×1 operator requires Φ≥−(d−1)/S1. The intersection of these two intervals is Φ≥−(d−1)/max{S1,S2}, not Φ≥−(d−1)/min{S1,S2}. For example, with d=2, S1=2, S2=100, condition (19) allows Φ=−0.3, at which the 1×100 source operator is not positive. Consequently the 'moreover' claims — 'L1′×S2-setting Bell local for all L1′>S1' (when S1=Smin) and the symmetric claim — are not established by the given argument. The basic S1×S2 locality claim remains supported because the source operator on the smaller side is positive under (19), but the theorem statement and proof need correction: either the 'moreover' parts should be stated under
  2. [III, Eq. (27)] The bound (19) is exactly the assertion that the minimal eigenvalue of J_{d,S2+1} is −min{d−1,S2}. This is the single numerical input that sets the claimed locality interval, but it is imported from Refs. [22,23] with no proof or statement of the spectrum. Given that the new bound is no stronger than this fact, the manuscript should include a short derivation (e.g., from the representation theory of the symmetric group) or at least a precise statement of the eigenvalue formula with a fully self-contained reference. As currently written, this is a load-bearing omitted proof.
minor comments (3)
  1. [III, Eq. (26)] The expression for γ is missing the positive factor 1/(1−τ_{P_{d,S2+1}}). Inserting (24)–(25) into the symmetric-component equation gives γ=(Φ−τ_{P})/[(1−τ_{P}) · binom(d+S2,S2+1)]. The error does not change the positivity threshold γ≥0, since 1−τ_{P}>0 for the chosen P=P_{λmin}, but the formula as printed is incorrect.
  2. [IV, Conclusion] The text says 'the Barrett's locality bound γ_gm^B(2)=1/8 in (5)'; Eq. (5) is Werner's bound, while Barrett's bound appears in Eq. (6). Please correct the cross-reference.
  3. [Throughout] Minor typographical issues: 'noseparable' in the Introduction; 'Terhal et. el.' in the abstract and references; 'semi-programming' should presumably be 'semidefinite programming'. These do not affect the mathematics.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: bound (19) follows from an explicit source-operator construction with no fitted parameters and no self-referential reduction.

full rationale

The derivation chain is self-contained in the relevant sense. The paper starts from an explicit Hermitian ansatz (20) with an undetermined projection, imposes the source-operator partial-trace condition (22), and solves for the coefficients γ and ξ in (25)-(26). Positivity of the resulting operator is then exactly the condition Φ ≥ τ, and choosing the projection attaining the minimal eigenvalue of J gives Eq. (27), hence the threshold (29). The claimed locality condition (19) is therefore a consequence of the construction, not an input to it: no parameter is fitted to Werner/Barrett bounds, and the partial-trace constraints are verified directly against the Werner state. The two imported facts are Eq. (27), an external eigenvalue result cited to [22,23], and Theorem 1, a general source-operator-to-locality sufficiency result from the author's prior work [4]. Both are parameter-free statements whose assumptions do not include the Werner-state threshold; moreover, for the positive source operators actually constructed in this paper, the standard extension-to-LHV argument applies directly. Comparisons with Werner, Barrett, and Terhal et al. are external benchmarks, not assumptions. Thus there is no circular step: the central bound does not reduce by construction to its inputs.

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

No free parameters: the threshold −(d−1)/Smin is derived analytically from positivity of an explicit source operator; Φ, d, S1, S2 are scenario variables. No new physical entities: 'source operators' are a framework notion from the author's prior work [4,17,18], and the LHV models are mathematical devices. The central claim rests on: (i) the imported sufficiency theorem from [4], (ii) standard representation theory of the interchange operator, and (iii) verified in-text algebra.

assumptions (5)
  • domain assumption A tensor-positive S1×S2-setting source operator is sufficient for S1×S2-setting Bell locality, and S1×S2-setting Bell locality is equivalent to the S1×S2-setting LHV description (Theorem 1, Proposition 2).
    Imported from the author's [3,4]; the equivalence cites Proposition 6 of [4]. For the positive source operators actually constructed, the implication reduces to the standard Hermitian-extension → LHV argument (λ = outcomes on spare copies); the tensor-positive generalization is not reproved in this text.
  • standard math Minimal eigenvalue of the interchange operator J_{d,m} = Σ_{j≥2} F_{1j} equals −min{d−1, m−1}.
    Used at Eq. (27) to set τ_P at its minimum; cited to [22,23]; elementary representation theory of the symmetric group.
  • standard math Lemma 1: reductions of U⊗U-invariant projections decompose as α⁺P⁺ + α⁻P⁻ with α⁺,α⁻ given by (12).
    Proved in the text via Schur's lemma and trace identities; verified here for the m=3, d=2 example.
  • standard math Partial-trace identities for symmetrizer projections, Eq. (21), and the analogous antisymmetric reduction normalized by C(d,S2+1).
    Derived from (7)–(9); verified by direct computation for d=2, m=3.
  • standard math Werner-state parameterization: W_{d,Φ} separable iff Φ∈[0,1]; Werner's and Barrett's sufficient bounds (5), (6) as benchmarks.
    Standard facts cited to [11,12]; used as external comparison for the new bound; the quoted numeric comparisons (d=2 vs 1/8, d=3 vs 5/81) are correct.

how reviews work

0 comments
Cite this review

Pith. "Pith review of New bound on $S_{1}\times S_{2}$-setting Bell locality of a nonseparable Werner state." pith.science (2026). https://pith.science/paper/CYBS5ROE

@misc{pith2026260718050,
  author       = {Pith},
  title        = {Pith review of: New bound on $S_1\times S_2$-setting Bell locality of a nonseparable Werner state},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CYBS5ROE}},
  note         = {Machine review of arXiv:2607.18050}
}
abstract

In many quantum applications it is important to know whether or not a Bell nonlocal two-qudit state exhibits its nonlocality under correlation scenarios with some given numbers $S_{1},S_{2}\geq1$ of generalized quantum measurements at two sites. In the present article, we find analytically a new general condition sufficient for a nonseparable Werner state with a dimension $d\leq\min\{S_{1},S_{2}\}$ to satisfy all Bell inequalities under every $S_{1}\times S_{2}$-setting correlation scenario with outcomes of an arbitrary spectral type, discrete or continuous $-$ that is, to be $S_{1}\times S_{2}$-setting Bell local, for short. For a variety of $S_{1},S_{2}\geq1$ values, this new general locality condition is beyond Werner's and Barrett's locality conditions for a nonseparable Werner state. We also prove explicitly in the operator terms the optimization result by Terhal et. el. [Phys. Rev. Lett. \textbf{90,} 157903 (2003)] via semi-programming that every nonseparable Werner state with a dimension $d>\min\{S_{1},S_{2}\}$ is $S_{1}\times S_{2}$ -setting Bell local. The new results of the present article are important both for Bell nonlocality theory and for quantum applications based on Bell nonlocality.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 2 linked inside Pith

  1. [1]

    J. S. Bell, On the Einstein Podolsky Rosen Paradox, Physics1, 195–200 (1964)

    1964

  2. [2]

    J. S. Bell, On the Problem of Hidden Variables in Quan- tum Mechanics, Rev. Mod. Phys.38,

  3. [3]

    Loubenets, On the probabilistic description of a multipartite correlation scenario with arbitrary num- bers of settings and outcomes per site, J

    E.R. Loubenets, On the probabilistic description of a multipartite correlation scenario with arbitrary num- bers of settings and outcomes per site, J. Phys. A: Math.Theor.41, 446303 (2008)

    2008

  4. [4]

    we have the following general statement. Proposition 1.If operatorT (ρ) S1×S2 onH ⊗S1 d1 ⊗ H⊗S2 d2 is a tensor positive source operator for a stateρonH d1 ⊗ 3 Hd2 ,then the source operatorT (ρ) L1×L2 on a Hilbert space H⊗L1 d ⊗ H⊗L2 d ,1≤L i ≤S n, L1 +L 2 < S1 +S 2,reduced fromT (ρ) S1×S2 is also tensor positive, the converse is not true. C. T ensor posit...

    2002

  5. [5]

    Brunner, D

    N. Brunner, D. Cavalcanti, S. Pironio, V. Scarani and S. Wehner, Bell nonlocality, Rev. Mod. Phys. 86, 419–478 (2014)

    2014

  6. [6]

    E. R. Loubenets, Bell’s nonlocality in a general nonsignaling case: quantitatively and conceptually, Found. Phys.47, 1100–1114 (2017)

    2017

  7. [7]

    Loubenets, Local quasi hidden variable modelling and violations of Bell-type inequalities by a multipartite quantum state, J

    E.R. Loubenets, Local quasi hidden variable modelling and violations of Bell-type inequalities by a multipartite quantum state, J. Math. Phys.53,022201 (2012). 7

    2012

  8. [8]

    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–884 (1969)

    1969

Show all 26 references
  1. [9]

    Gisin and A

    N. Gisin and A. Peres, Maximal violation of Bell’s in- equality for arbitrarily large spin,Phys. Lett. A162, 15 (1992)

    1992

  2. [10]

    Einstein, B

    A. Einstein, B. Podolsky and N. Rosen, Can Quantum- Mechanical Description of Physical Reality Be Consid- ered Complete?, Phys. Rev.47, 777–780 (1935). 447–452 (1966)

    1935

  3. [11]

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

    1989

  4. [12]

    for scenarios with generalized parties’ measurements. For example, ford= 2, the Barrett’s locality bound γ(B) gm (2) = 1 8 in (5) is less than the value of the new local- ity bound (19) in Theorem 2 under allS 1 ×S 2–setting correlation scenarios with min{S 1, S2} ≤7. Ford= 3,...

  5. [13]

    Loubenets, S

    E.R. Loubenets, S. Kuznetsov and L. Hanotel, Quanti- fying Bell nonlocality of a pure two-qudit state via its entanglement, J. Physics A: Math. Theor.57, 055302 (2024)

    2024

  6. [14]

    Almeida, S

    M.L. Almeida, S. Pironio, J. Barrett, G. Toth, and A. Acin, Noise Robustness of the Nonlocality of Entangled Quantum States, Phys. Rev. Lett.99,040403 (2007)

    2007

  7. [15]

    Barrett, Nonsequential positive-operator-valued mea- surements on entangled mixed states do not always vio- late a Bell inequality, Phys

    J. Barrett, Nonsequential positive-operator-valued mea- surements on entangled mixed states do not always vio- late a Bell inequality, Phys. Rev. A65, 042302 (2002)

    2002

  8. [16]

    for nonseparable Werner states ford > Smin and for d= 2, Smin = 2,3. IV. CONCLUSION In the present article, we have derived analytically a new general condition (19) sufficient for a nonseparable Werner state of a dimensiond≤min{S 1, S2}to satisfy all Bell inequalities under a...

  9. [17]

    A. Acin, N. Gisin and B. Toner, Grothendieck’s constant and local models for noisy entangled quantum states, Phys. Rev. A73, 062105 (2006)

    2006

  10. [18]

    Augusiak, M

    R. Augusiak, M. Demianowicz, and A. Acin, Local hidden–variable models for entangled quantum states, J. Phys. A: Math. Theor.47, 424002 (2014)

    2014

  11. [19]

    Terhal, A.C

    B.M. Terhal, A.C. Doherty and D. Schwab, Symmetric extensions of quantum states and local hidden variable theories, Phys. Rev. Lett.90,157903 (2003)

    2003

  12. [20]

    E.R. Loubenets, Quantum states satisfying classical probability constraints, arXiv:quant-ph/0406139 (2004), Published in Banach Center Publ.73,325–337 (2006) in the Proceedings of the 25th Quantum Probability Conf., 20-26 June 2004, Poland

    2004 arXiv

  13. [21]

    Loubenets, Class of bipartite quantum states satis- fying the original Bell inequality, J

    E.R. Loubenets, Class of bipartite quantum states satis- fying the original Bell inequality, J. Phys. A: Math. Gen. 38,L653–L658 (2005)

    2005

  14. [22]

    Loubenets, Local hidden variable modelling, clas- sicality, quantum separability and the original Bell in- equality, J

    E.R. Loubenets, Local hidden variable modelling, clas- sicality, quantum separability and the original Bell in- equality, J. Phys. A: Math. Theor.44, 035305 (2011)

    2011

  15. [23]

    Watrous, The Theory of Quantum Information, Cam- bridge University Press, 2018

    J. Watrous, The Theory of Quantum Information, Cam- bridge University Press, 2018

    2018

  16. [24]

    Fulton and J

    W. Fulton and J. Harris, Editors, Representation Theory: A First Course, Springer, New York (1991)

    1991

  17. [25]

    Johnson and L

    P.D. Johnson and L. Viola, Compatible quantum cor- relations: Extension problems for Werner and isotropic states, Phys. Rev. A88, 032323 (2013)

    2013

  18. [26]

    Jakab, A

    D. Jakab, A. Solymos and Z. Zimboras, Extendibility of Werner States, arXiv: 2208.13743 (2022)

    2022 arXiv

Pith tools

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