Pith. sign in

REVIEW 1 major objections 6 minor 30 references

Unbounded sequential sharing of Bell nonlocality requires one almost-projective measurement and one almost-vanishing measurement per observer, plus an initial state with a unit correlation coefficient, producing a Zeno-like freeze of the no

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · grok-4.5

2026-07-11 20:15 UTC pith:QJDRIKKI

load-bearing objection Clean necessity result: for non-adaptive anti-commuting Pauli pairs, unbounded CHSH sharing forces t0^{2}=1 and near-projective/weak strengths, with a transparent Zeno-distance calculation that organizes the known constructions. the 1 major comments →

arxiv 2607.04298 v1 pith:QJDRIKKI submitted 2026-07-05 quant-ph

Incompatibility assisted Zeno-like confinement enables unbounded sharing of nonlocality

classification quant-ph
keywords Bell nonlocalitysequential sharingmeasurement incompatibilityquantum Zeno effectunsharp measurementsprobabilistic projective measurementsCHSH inequalityHorodecki criterion
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper asks how many sequential observers can keep violating the Bell-CHSH inequality when each one measures, then hands an equal mixture of its two post-measurement states to the next observer. It shows that the twin demands of measurement incompatibility (needed to extract a violation) and nonlocality of the outgoing mixture force strong restrictions: the initial two-qubit state must have one correlation coefficient of absolute value one, and every observer must make one measurement nearly projective while the other is nearly vanishing. Under those conditions the successive post-processed states become arbitrarily close to one another, so the nonlocality never leaves a tiny neighbourhood of the initial nonlocal state—an effect the authors liken to the quantum Zeno effect. The same constraints and the same Zeno confinement appear for both unsharp measurements and probabilistic projective measurements of a fixed pair of anti-commuting Pauli operators. The result therefore characterises the simplest measurement strategies that permit unbounded sequential sharing and explains why they work.

Core claim

For sequential CHSH tests with unsharp or probabilistic-projective measurements of a fixed pair of anti-commuting Paulis, unbounded sharing is possible only when the initial state satisfies t_{0}^{2} = 1 and, for every observer, one measurement strength tends to 1 while the other tends to 0; under those conditions successive post-processed states become identical and remain nonlocal.

What carries the argument

The Horodecki function of the post-processed state after the k-th observer, written as a product of reversibility (or strength) factors of the two measurements; requiring both this function > 1 and the incompatibility relation for all k forces the limiting strengths and the unit-correlation condition.

Load-bearing premise

Every observer is forced to measure the same fixed pair of anti-commuting Pauli operators; adaptive choice of directions or other observables is not considered.

What would settle it

Construct an explicit non-adaptive strategy that uses only unsharp (or PPM) measurements of anti-commuting Paulis, keeps every post-processed Horodecki function strictly above 1 for arbitrarily large k, yet never sends one strength to 1 and the other to 0, or starts from a state with both |t_{0}| and |t_{1}| strictly less than 1.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 6 minor

Summary. The manuscript studies sequential unilateral sharing of Bell–CHSH nonlocality when each Bob applies a fixed pair of anti-commuting Pauli observables, either as unsharp Lüders measurements or as probabilistic projective measurements (PPMs). Treating each Bob’s operation as a quantum channel, the authors derive the post-processed state (Eqs. 10, 16, 17) and the associated Horodecki function (Eqs. 26–29). They prove that the joint requirements of measurement incompatibility (Eqs. 30–31 / 36) and preservation of nonlocality for arbitrarily many Bobs force a necessary condition: the initial state must satisfy t₀² = 1 and, for every Bob, one strength parameter must tend to 1 while the other tends to 0 (Sec. IV). Explicit projective–unsharp and projective–PPM sequences realizing unbounded sharing for a one-parameter family of Bell-diagonal mixed states are constructed (Sec. V, Eq. 57). In the same regime the Hilbert–Schmidt distance between successive post-processed states vanishes as ∼ t²/2^{2k−1} (Eq. 62), which the authors interpret as a Zeno-like confinement inside the nonlocal region.

Significance. If correct, the result supplies a clean necessary-condition complement to the known sufficiency constructions of Brown–Colbeck and Sasmal–Kanjilal–Pan. The channel representation, the pure-versus-mixed strategy comparison (Appendix C), the asymptotic forcing argument (Eqs. 32–37), and the explicit feasible sequence are all derived with full intermediate steps and appendices; no free parameters are fitted. The Zeno-distance calculation follows directly from the same channel coefficients, giving a concrete dynamical picture of how nonlocality can be preserved indefinitely. Within the openly declared setting of non-adaptive anti-commuting Pauli pairs the necessity claim is sharp and useful for future work on sequential resource sharing.

major comments (1)
  1. The necessity claim of Sec. IV is rigorously established only inside the non-adaptive, fixed anti-commuting Pauli setting declared after Eq. (3). While the abstract and introduction correctly restrict the statement to that class, the phrasing in the final paragraph of Sec. IV and in the Outlook (“a necessary condition for unbounded sharing”) can be read as more general. A single clarifying sentence stating that adaptive choice of directions or non-Pauli observables remains open would prevent over-interpretation without altering any derivation.
minor comments (6)
  1. Abstract and title: “post-processsed” contains a repeated “s”; correct to “post-processed”.
  2. Introduction, paragraph on measurement strategies: “tirparite” should be “tripartite”.
  3. Sec. VI, distance calculation: “Bell diaognal” should be “Bell diagonal”.
  4. Eq. (9) and surrounding text: the reversibility parameter q_{j,k} is introduced for general bias; later the unsharp case b=0 is used almost exclusively. A brief remark that the general-bias formulae are retained only for completeness would improve readability.
  5. Appendix D: the eigenvalue λ_Ψ− = −(t₁+t₂)/4 forces t₁+t₂=0 for positivity; the argument is correct but could note explicitly that the same conclusion follows from the requirement that the correlation matrix remain physical under the Horodecki ordering |t₀|≥|t₁|≥|t₂|.
  6. References [12] and [26] are listed as “in preparation” / arXiv preprints with future dates; update status or replace with permanent identifiers if available before final publication.

Circularity Check

0 steps flagged

No circularity: necessity of t0^{2}=1 and extreme strengths follows directly from incompatibility plus Horodecki preservation; Zeno distance is the same channel algebra.

full rationale

The paper’s central claim is a necessity result inside a declared class (non-adaptive pairs of anti-commuting Pauli observables under Lüders or PPM channels). Incompatibility (standard Busch–Lahti criteria, Eqs. 30–31 / 36) forces the more-disturbing strength above 1/√2 (or 1/2), which bounds one product of correlation factors by C^{2k} (or (3/4)^{2k}). Substituting into the Horodecki condition (Eqs. 27 / 29) then requires the remaining product to approach 1 from below, possible only when t0^{2}=1 and q_max,i o1^{-} (s'_min,i o0^{+}). All steps are algebraic identities derived from the channel representation (Eq. 17) and the explicit correlation coefficients (Eqs. 21–24); no free parameters are fitted to data and no uniqueness theorem is imported from the authors’ prior work. Citations [3,4] are used only to note that the projective-unsharp / projective-PPM strategies already known to be sufficient fall inside the necessary class derived here; the necessity argument itself does not rest on those citations. The subsequent Zeno-distance calculation (Eqs. 61–62) simply evaluates the same channel coefficients in the same limiting regime. The non-adaptive Pauli restriction is stated explicitly and does not create a circular loop. Consequently the derivation is self-contained and non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper rests on standard quantum measurement theory (Lüders and PPM Kraus operators, Busch incompatibility criteria, Horodecki criterion) plus the modeling choice of non-adaptive anti-commuting Pauli pairs. No free parameters are fitted; the only free choices are the initial correlation t and the sequence parameter δ that are shown to exist rather than fitted. No new physical entities are postulated.

axioms (4)
  • domain assumption A pair of unsharp Pauli observables is incompatible iff s_min^{2} + s_max^{2} > 1 (or the equivalent PPM condition s'_min + s'_max > 1 + (1-s'_min)(1-s'_max)).
    Invoked throughout Sec. IV; standard result from Busch–Lahti–Pellonpää–Ylinen and Heinosaari–Miyadera–Ziman.
  • domain assumption A two-qubit state violates CHSH iff its two largest squared correlation coefficients sum to more than 1 (Horodecki criterion).
    Used as the definition of nonlocality preservation for every post-processed state (Eq. 25).
  • ad hoc to paper Each Bob’s two measurements are non-adaptive and always the same fixed anti-commuting Pauli pair σ0, σ1.
    Stated after Eq. 3 and used for all subsequent channel and Horodecki calculations; adaptive or non-Pauli strategies are excluded by fiat.
  • domain assumption The post-processed state is the equal mixture of the two post-measurement states (Eq. 5).
    Standard modeling choice in the sequential-sharing literature; adopted without further justification.

pith-pipeline@v1.1.0-grok45 · 21553 in / 2503 out tokens · 23894 ms · 2026-07-11T20:15:44.973107+00:00 · methodology

0 comments
read the original abstract

To enable sequential sharing of Bell-nonlocality by an unbounded number of copies, each copy must satisfy two requirements. First, the measurements must be incompatible to extract nonlocality. Second, the post-processsed state, obtained as an equal mixture of the two post-measurement states, must remain nonlocal. We show that the incompatibility requirements impose nontrivial constraints on the choice of the initial nonlocal state and the amount of measurement noise required to ensure that the post-processed state remains nonlocal for an unbounded number of copies. We establish this result for two measurement scenarios, namely, when each copy performs unsharp measurements corresponding to a pair of anti-commuting Pauli observables, and when each copy performs probabilistic projective measurements (PPMs) of a pair of anti-commuting Pauli observables. Furthermore, we show that, in the asymptotic limit, the nonlocal post-processed states of all the copies are almost identical, leading to a quantum Zeno-like confinement within the nonlocal region.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

30 extracted references · 4 canonical work pages

  1. [1]

    Note that (1+q j,i) 2 ≤1 for alli,jwhere equality only holds forq j,i =1 (or equivalently,s j,i =0)

    The post-processed state for thekth Bob,ρ k, is nonlocal if and only if [13] (tk 0)2 +(t k 1)2 >1,(25) t2 0 kY i=1 1+q 1,i 2 !2 +t 2 1 kY i=1 1+q 0,i 2 !2 | {z } H({q1,i,q0,i}k i=1) >1.(26) For convenience, we denote the Horodecki function for thekth Bob asH k. Note that (1+q j,i) 2 ≤1 for alli,jwhere equality only holds forq j,i =1 (or equivalently,s j,i...

  2. [2]

    (32) into Eq

    This ensures that t2 1 kY i=1 1+q min,i 2 !2 <t 2 1C2k (32) where C= 1 2 1+ 1√ 2 ! ≈0.85.(33) Plugging Eq. (32) into Eq. (27) we get the following: t2 0 kY i=1 1+q max,i 2 !2 >1−t 2 1 kY i=1 1+q min,i 2 !2 >1−t 2 1C2k.(34) Using the fact thatq max,i ≤1 for any giveni, we can derive an upper bound for the product termt 2 0 Qk i=1 1+qmax,i 2 2 as follows: t...

  3. [3]

    The incompatibility constraint then re- quiress ′ max,i →1 − for alli

    Proceeding along the same lines as in the case of the unsharp-unsharp measurement strat- egy, we obtain the following: t2 0 1− s′ min,i 2 !2 ≥t 2 0 kY i=1 1− s′ min,i 2 !2 >1−t 2 1 3 4 !2k .(37) The same argument as before shows that unbounded sharing for the PPM-PPM measurement occurs only ift 2 0 =1 and s′ min,i →0 + for alli. The incompatibility constr...

  4. [4]

    Therefore, 1− q1,k+q0,k 2 2 Qk−1 j=1 q0,j +q1,j 2 2 ∼ 1 4k . Thus, for a finitekwe can write ∆2 k ∼ 2t2 4k+1 = t2 22k−1 .(62) Hence, for arbitrarily largek, the feasible strategies for un- bounded sharing identified in this work make the distance be- tween successive post-processed states arbitrarily small, while maintaining incompatibility of the measure...

  5. [5]

    Silva, N

    R. Silva, N. Gisin, Y . Guryanova, and S. Popescu, Multiple ob- servers can share the nonlocality of half of an entangled pair by using optimal weak measurements, Phys. Rev. Lett.114, 250401 (2015)

  6. [6]

    Steffinlongo and A

    A. Steffinlongo and A. Tavakoli, Projective measurements are sufficient for recycling nonlocality, Phys. Rev. Lett.129, 230402 (2022). 8

  7. [7]

    P. J. Brown and R. Colbeck, Arbitrarily many independent ob- servers can share the nonlocality of a single maximally entan- gled qubit pair, Phys. Rev. Lett.125, 090401 (2020)

  8. [8]

    Sasmal, S

    S. Sasmal, S. Kanjilal, and A. Pan, Unbounded sharing of non- locality using qubit projective measurements, Physical Review Letters133, 10.1103/physrevlett.133.170201 (2024)

  9. [9]

    Z. Cai, J. Song, and C. Ren, Unified framework for quantum re- source recycling via instrument-dependent back-action (2026), arXiv:2605.03513 [quant-ph]

  10. [10]

    J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Pro- posed experiment to test local hidden-variable theories, Phys. Rev. Lett.23, 880 (1969)

  11. [11]

    Misra and E

    B. Misra and E. C. G. Sudarshan, The Zeno’s Paradox in Quan- tum Theory, J. Math. Phys.18, 756 (1977)

  12. [12]

    Peres, Zeno paradox in quantum theory, American Journal of Physics48, 931 (1980)

    A. Peres, Zeno paradox in quantum theory, American Journal of Physics48, 931 (1980)

  13. [13]

    Maccone, Information-disturbance tradeoffin quantum mea- surements, Physical Review A73, 10.1103/physreva.73.042307 (2006)

    L. Maccone, Information-disturbance tradeoffin quantum mea- surements, Physical Review A73, 10.1103/physreva.73.042307 (2006)

  14. [14]

    Y . W. Cheong and S.-W. Lee, Balance between information gain and reversibility in weak measurement, Phys. Rev. Lett.109, 150402 (2012)

  15. [15]

    Buscemi, M

    F. Buscemi, M. J. W. Hall, M. Ozawa, and M. M. Wilde, Noise and disturbance in quantum measurements: An information- theoretic approach, Phys. Rev. Lett.112, 050401 (2014)

  16. [16]

    An independent study, presently under review, provides a de- tailed quantitative analysis of how incompatibility induced state disturbance controls different forms of tripartite nonlocality (2026), in preparation

  17. [17]

    Horodecki, P

    R. Horodecki, P. Horodecki, and M. Horodecki, Violating bell inequality by mixed spin- 1 2 states: necessary and sufficient condition, Physics Letters A200, 10.1016/0375- 9601(95)00214-N (1995)

  18. [18]

    J. S. Bell, On the einstein podolsky rosen paradox, Physics Physique Fizika1, 10.1103/physicsphysiquefizika.1.195 (1964)

  19. [19]

    Cheng, L

    S. Cheng, L. Liu, T. J. Baker, and M. J. W. Hall, Limitations on sharing bell nonlocality between sequential pairs of observers, Phys. Rev. A104, L060201 (2021)

  20. [20]

    Busch, P

    P. Busch, P. J. Lathi, and P. Mittelstaedt, The quantum the- ory of measurement, inThe Quantum Theory of Measurement (Springer Berlin Heidelberg, Berlin, Heidelberg, 1996) pp. 25– 90

  21. [21]

    Busch, P

    P. Busch, P. Lahti, J.-P. Pellonp¨a¨a, and K. Ylinen, Joint measur- ability, inQuantum Measurement(Springer International Pub- lishing, Cham, 2016) pp. 261–274

  22. [22]

    Heinosaari, T

    T. Heinosaari, T. Miyadera, and M. Ziman, An invitation to quantum incompatibility, Journal of Physics A: Mathematical and Theoretical49, 123001 (2016)

  23. [23]

    G ¨uhne, E

    O. G ¨uhne, E. Haapasalo, T. Kraft, J.-P. Pellonp ¨a¨a, and R. Uola, ¡i¿colloquium¡/i¿: Incompatible measurements in quantum information science, Reviews of Modern Physics95, 10.1103/revmodphys.95.011003 (2023)

  24. [24]

    Facchi and S

    P. Facchi and S. Pascazio, Quantum zeno subspaces, Phys. Rev. Lett.89, 080401 (2002)

  25. [25]

    Facchi and S

    P. Facchi and S. Pascazio, Quantum zeno dynamics: mathemat- ical and physical aspects, J. Phys. A41, 493001 (2008)

  26. [26]

    Maniscalco, F

    S. Maniscalco, F. Francica, R. L. Zaffino, N. Lo Gullo, and F. Plastina, Protecting entanglement via the quantum zeno ef- fect, Phys. Rev. Lett.100, 090503 (2008)

  27. [27]

    Sch ¨utzhold and G

    R. Sch ¨utzhold and G. Gnanapragasam, Quantum zeno suppres- sion of three-body losses in bose-einstein condensates, Physical Review A82, 10.1103/physreva.82.022120 (2010)

  28. [28]

    Secl `ı, M

    M. Secl `ı, M. Capone, and M. Schir `o, Steady-state quan- tum zeno effect of driven-dissipative bosons with dynami- cal mean-field theory, Physical Review A106, 10.1103/phys- reva.106.013707 (2022)

  29. [29]

    Vaidman, L

    L. Vaidman, L. Goldenberg, and S. Wiesner, Error prevention scheme with four particles, Phys. Rev. A54, R1745(R) (1996)

  30. [30]

    Sasmal, S

    S. Sasmal, S. Kanjilal, and D. Das, Unbounded communication power of a qubit (2026), arXiv:2605.16093 [quant-ph]. Appendix A: Derivation of Equation (8) Using the Kraus operators given in Eq. (6), we obtain ρk|j = X b (I⊗ q Bk b|j )ρk−1(I⊗ q Bk b|j †) = X b r (1+(−1) br0|j,k ) 2 I⊗Π 0|j + r (1+(−1) br1|j,k ) 2 I⊗Π 1|j ! ρk−1 r (1+(−1) br0|j,k ) 2 I⊗Π 0|j ...