pith. sign in

arxiv: 1907.09419 · v1 · pith:37ACSH5Mnew · submitted 2019-07-15 · 🪐 quant-ph

Contextuality and nonlocality of indistinguishable particles

Debajyoti Gangopadhyay , R. Srikanth This is my paper

Pith reviewed 2026-05-24 21:39 UTC · model grok-4.3

classification 🪐 quant-ph
keywords contextualitynonlocalityindistinguishable particlesall-versus-nothing proofsquantum foundationsentanglementsymmetrization
0
0 comments X

The pith

All-versus-nothing proofs of contextuality and nonlocality for distinguishable particles carry over to indistinguishable particles.

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

The paper establishes that certain logical-contradiction proofs of contextuality or nonlocality already known for distinguishable particles remain valid when the particles are indistinguishable. It does so by showing that the underlying measurement contexts and compatibility relations survive the requirements of symmetrization. A reader would care because the result removes one apparent barrier to applying quantum nonlocality and contextuality concepts to systems such as identical photons or electrons, where the meaning of entanglement has remained contested. The argument relies on the observation that the contradictions in these proofs do not presuppose distinguishability in a way that symmetrization would break.

Core claim

Certain existing all-versus-nothing type of proofs of contextuality or nonlocality for distinguishable particles, based on a logical contradiction, may be carried over to indistinguishable particles.

What carries the argument

All-versus-nothing proofs based on logical contradictions within sets of compatible measurements.

If this is right

  • Contextuality can be demonstrated for identical particles using the same measurement setups that work for distinguishable ones.
  • Nonlocality arguments based on logical contradiction extend without change to bosons or fermions.
  • The same sets of measurement contexts remain compatible after accounting for particle identity.
  • Entanglement-related debates for indistinguishable particles can be addressed by these extended proofs.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result suggests that any all-versus-nothing argument whose contradiction is purely logical can be checked for validity under symmetrized states without new machinery.
  • It opens the possibility of constructing explicit contextuality witnesses for systems such as two indistinguishable photons in a single spatial mode.
  • Further checks could test whether the proofs survive when the particles occupy overlapping spatial regions.
  • The approach may generalize to other logical proofs of quantum features that do not rely on labeling particles.

Load-bearing premise

The logical contradiction in these proofs does not depend on particle distinguishability in a way that symmetrization or other indistinguishability requirements would invalidate.

What would settle it

An explicit example in which symmetrization of an all-versus-nothing proof for two or more particles removes the logical contradiction or alters the compatibility relations would falsify the claim.

read the original abstract

Unlike in the case of distinguishable particles, the concept of entanglement-- not to mention, nonlocality-- remains debated in case of indistinguishable particles. Here, we show that certain existing all-versus-nothing type of proofs of contextuality or nonlocality for distinguishable particles, based on a logical contradiction, may be carried over to indistinguishable particles.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript claims that certain existing all-versus-nothing proofs of contextuality or nonlocality for distinguishable particles, which rely on logical contradictions from specific operator products, may be carried over to indistinguishable particles.

Significance. If the central claim holds, the result would allow extension of these proofs to systems of indistinguishable particles, addressing ongoing debates about whether entanglement and nonlocality concepts apply in that setting. No machine-checked proofs, reproducible code, or parameter-free derivations are provided.

major comments (1)
  1. [Abstract] Abstract: the assertion that the proofs 'may be carried over' supplies no explicit construction or verification that the operator products (e.g., the specific chains of Pauli observables yielding +I versus -I) survive replacement by symmetrized counterparts or projection onto the symmetric subspace; this is load-bearing because, as noted in the stress-test, an extra phase or altered commutation relation after symmetrization would eliminate the contradiction even if the underlying state is entangled.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their detailed review and for highlighting the need for explicit verification in the abstract claim. We address the major comment below and will revise the manuscript to incorporate the requested construction.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the assertion that the proofs 'may be carried over' supplies no explicit construction or verification that the operator products (e.g., the specific chains of Pauli observables yielding +I versus -I) survive replacement by symmetrized counterparts or projection onto the symmetric subspace; this is load-bearing because, as noted in the stress-test, an extra phase or altered commutation relation after symmetrization would eliminate the contradiction even if the underlying state is entangled.

    Authors: We agree that the abstract claim would benefit from an explicit construction to confirm that the relevant operator products and their eigenvalues are preserved under symmetrization. In the revised version we will add a dedicated section (or subsection) that takes the standard all-versus-nothing operator chains for distinguishable particles, replaces each observable by its symmetrized counterpart, projects onto the symmetric subspace, and verifies that the product relations (+I versus -I) remain unchanged. This will directly address the concern that an extra phase or modified commutation relation could invalidate the contradiction. revision: yes

Circularity Check

0 steps flagged

No significant circularity; claim rests on independent existing proofs

full rationale

The paper's central claim is that certain all-versus-nothing proofs based on logical contradictions for distinguishable particles can be carried over to indistinguishable particles. This is presented as an extension of external, pre-existing results rather than a self-contained derivation that reduces to its own inputs by construction. No equations or steps are shown that define a quantity in terms of itself, rename a fitted parameter as a prediction, or rely on a load-bearing self-citation chain whose prior result is itself unverified. The argument is framed as checking whether the logical structure survives symmetrization, which is an independent verification task against external benchmarks (the original proofs), not a tautology. This is the normal case of a non-circular extension claim.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No details available from the abstract to identify free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5569 in / 947 out tokens · 26521 ms · 2026-05-24T21:39:21.504440+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Aravinda, Anirban Pathak, R

    S. Aravinda, Anirban Pathak, R. Srikanth. Hierarchical axioms for quantum mechanics arXiv:1809.01985

    work page arXiv

  2. [2]

    Srikanth, Quanta 6 (2017) 1-47

    Akshata Shenoy H., Anirban Pathak, R. Srikanth, Quanta 6 (2017) 1-47

    work page 2017

  3. [3]

    Einstein, B

    A. Einstein, B. Podolsky, and N. Rosen. Can quantum- mechanical description of physical reality be considered complete? Phys. Rev. 47 777 (1935)

    work page 1935

  4. [4]

    J. S. Bell. On the Einstein-Poldolsky-Rosen paradox. Physics 1 195 (1964)

    work page 1964

  5. [5]

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

    work page 1969

  6. [6]

    Horodecki, P

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

    work page 2009

  7. [7]

    Redhead and P

    M. Redhead and P. Teller. Foundations of Physics 21, 43 (1991)

    work page 1991

  8. [8]

    and Loss, D., Quantum correlations in two-fermion systems

    Schliemann, J., Cirac, J.I., Ku, M., Lewenstein, M. and Loss, D., Quantum correlations in two-fermion systems. Physical Review A, 64(2), p.022303 (2001)

    work page 2001

  9. [9]

    and Lewenstein, M., Quantum correlations in systems of indistinguishable particles

    Eckert, K., Schliemann, J., Bruss, D. and Lewenstein, M., Quantum correlations in systems of indistinguishable particles. Annals of Physics, 299(1), pp.88-127 (2002)

    work page 2002

  10. [10]

    and Vaccaro, J.A., Entanglement of indistinguishable particles shared between two parties

    Wiseman, H.M. and Vaccaro, J.A., Entanglement of indistinguishable particles shared between two parties. Physical review letters, 91(9), p.097902 (2003)

    work page 2003

  11. [11]

    Ghirardi, L

    G. Ghirardi, L. Marinatto and T. Weber J. Stat. Phys.; Vol. 108 (2002) 49-121

    work page 2002

  12. [12]

    Ghirardi, L

    G. Ghirardi, L. Marinatto. Entanglement and Propertie s. Fortschr. Phys. 51, 379-387 (2003)

    work page 2003

  13. [13]

    Ghirardi, L

    G. Ghirardi, L. Marinatto. General criterion for the en - tanglement of two indistinguishable particles. Phys. Rev. A. 70, 012109 (2004)

    work page 2004

  14. [14]

    A. R. Plastino, D. Manzano, J.S. Dehesa. EPL 86, 20005 (2009)

    work page 2009

  15. [15]

    and Marzolino, U

    Benatti, F., Floreanini, R. and Marzolino, U. Bipartit e entanglement in systems of identical particles: the par- tial transposition criterion. Annals of Physics, 327(5), pp.1304-1319 (2012)

    work page 2012

  16. [16]

    and Titimbo, K

    Benatti, F., Floreanini, R. and Titimbo, K. Entangle- ment of identical particles. Open Systems & Information Dynamics, 21(01n02), p.1440003 (2014)

    work page 2014

  17. [17]

    Cabello, M

    A. Cabello, M. T. Cunha. State-independent contextual - ity with identical particles. Phys. Rev. A, 87(2), 022126 (2013)

    work page 2013

  18. [18]

    Kochen and E.P

    S. Kochen and E.P. Specker. The problem of hidden vari- ables in quantum mechanics. Journal of Mathematics and Mechanics 17, 5987 (1967)

    work page 1967

  19. [19]

    A. Cabello. Bell-Kochen-Specker theorem: A proof with 18 vectors. Phys. Lett. A212, 183 (1996). 6

    work page 1996

  20. [20]

    P. Sancho. Compositeness effects, Pauli’s principle an d entanglement. J. Phys. A: Math. Gen. 39 12525 (2006)

    work page 2006

  21. [21]

    D. Krause. Logical aspects of quantum (non-) individu- ality. Foundations of Science, 15(1), 79-94 (2010)

    work page 2010

  22. [22]

    Dieks and A

    D. Dieks and A. Lubberdink. How Classical Particles Emerge From the Quantum World. Found. Phys. 41: 10511064 (2011)

    work page 2011

  23. [23]

    Neither name, nor number

    Holik, F. Neither name, nor number. In Probing the Meaning of Quantum Mechanics: Proceedings of the Young Quantum Meetings CLEA, Vrije Universiteit Brussel, pp. 251-262. (2009)

    work page 2009

  24. [24]

    French and D

    S. French and D. Krause. Remarks on the theory of quasi- sets. Studia Logica 95, 101 (2010)

    work page 2010

  25. [25]

    Akshata Shenoy H and R

    Maximally nonlocal subspaces. Akshata Shenoy H and R. Srikanth J. Phys. A: Math. Theor. 52 095302 (2019)

    work page 2019

  26. [26]

    D. M. Greenberger, M. A. Horne, A. Zeilinger. Going beyond Bells theorem. In Bells theorem, quantum the- ory and conceptions of the universe, pp. 69-72. Springer, Dordrecht (1989)

    work page 1989

  27. [27]

    N. D. Mermin. Simple Unified Form for No-Hidden- Variables Theorems, Phys. Rev. Lett. 65, 3373 (1990)

    work page 1990