pith. machine review for the scientific record. sign in

arxiv: 2605.03104 · v2 · submitted 2026-05-04 · 🪐 quant-ph · hep-th

Recognition: no theorem link

Strong Locality as a Tetrahedron: A Symmetry-Reduced Geometric Representation of the (3,3,2,2) Bell Scenario

Francesco Giacosa, Marek Gazdzicki, Pawel Piesowicz

Authors on Pith no claims yet

Pith reviewed 2026-05-12 01:58 UTC · model grok-4.3

classification 🪐 quant-ph hep-th
keywords strongly local modelsBell scenariotetrahedronpyramid inequalitiesmixed momentssymmetry reductionquantum modelsno-signaling models
0
0 comments X

The pith

Strongly local models in the (3,3,2,2) Bell scenario form a regular tetrahedron characterized by three inequalities in a reduced three-dimensional space.

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

The paper develops a symmetry-reduced geometric representation for strongly local models in the bipartite Bell scenario with three measurement settings and binary outcomes per site. By treating the sites as indistinguishable and computing mixed moments only under off-diagonal measurement settings, the local region simplifies to a regular tetrahedron in three dimensions. This tetrahedron is delimited by three linear pyramid inequalities, replacing the 684 inequalities needed in the full conditional probability space. Sympathetic readers would care because the approach makes the separation between local, quantum, and no-signaling models geometrically intuitive and computationally tractable, highlighting how symmetry and projection collapse complex polytopes.

Core claim

The strongly-local region assumes the form of a regular tetrahedron, the pyramid, in the three-dimensional mixed-moment space. Only three independent linear inequalities, the pyramid inequalities, are required to characterise this region and separate strongly-local models from non-strongly-local models.

What carries the argument

The pyramid inequalities, three linear inequalities that bound the tetrahedron of strongly-local models in the symmetry-reduced mixed-moment space.

If this is right

  • The reduction from 684 facet-defining inequalities to three reflects normalisation, symmetry reduction, and projection to the mixed-moment space.
  • The hierarchy of strongly-local, quantum, and no-signalling models appears as a tetrahedron embedded in a larger curved body inside a cube.
  • This representation provides qualitative and quantitative advantages compared to the standard CHSH representation for the simpler (2,2,2,2) Bell scenario.

Where Pith is reading between the lines

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

  • The same symmetry and projection steps may simplify geometric descriptions of local sets in other Bell scenarios with additional settings.
  • The tetrahedron may serve as a starting point for deriving tight bounds on correlations when extending the approach to scenarios with more parties.

Load-bearing premise

Restricting attention to indistinguishable sites and calculating mixed moments under off-diagonal measurement settings preserves all essential features of the full (3,3,2,2) Bell polytope without introducing or losing constraints.

What would settle it

An explicit enumeration of all linear inequalities satisfied by strongly local models in the three-dimensional mixed-moment space that reveals more than three independent constraints would falsify the reduction.

Figures

Figures reproduced from arXiv: 2605.03104 by Francesco Giacosa, Marek Gazdzicki, Pawel Piesowicz.

Figure 1
Figure 1. Figure 1: Light-cone diagram for two sites, (q1, a1) and (q2, a2) and their corresponding past domains, Γ1 and Γ2. The common past events located in the space-time region Λ may have correlated a1 and a2. See text for details. Then we define strongly-local models as those obeying Bell factorisation (local causality) [1, 2]: P(a1, a2|q1, q2, λ) = P(a1|q1, λ) · P(a2|q2, λ) . (2) In addition, we assume setting independe… view at source ↗
Figure 1
Figure 1. Figure 1: Light-cone diagram for two sites, (q1, a1) and (q2, a2) and their corresponding past domains, Γ1 and Γ2. The common past events located in the space-time region Λ may have correlated a1 and a2. Time flows upwards. See text for further details. Let λ denote a hidden variable whose value is set in the common past Λ of the light cones of the two sites, Γ1 and Γ2. We assume measurement independence (sometimes … view at source ↗
Figure 2
Figure 2. Figure 2: Geometry of the strongly-local models in the symmetry-reduced mixed-moment space ( view at source ↗
Figure 2
Figure 2. Figure 2: Geometry of the strongly-local models in the symmetry-reduced mixed-moment space ( [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Geometric relation between the strongly-local, quantum, and no-signalling sets of models in the view at source ↗
Figure 3
Figure 3. Figure 3: Geometric relation between the strongly-local, quantum, and no-signalling sets of models in the [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
read the original abstract

We present a geometric characterisation of strongly-local models in the bipartite Bell scenario with three measurement settings per site and binary outcomes, i.e.\ the (3,3,2,2) case. Restricting attention to indistinguishable sites, we introduce a three-dimensional mixed-moment space in which the mixed moments are calculated under off-diagonal measurement settings. In this reduced representation, the strongly-local region assumes the remarkably simple form of a regular tetrahedron - the 'pyramid'. We prove that only three independent linear inequalities are required to characterise this region. We call them the pyramid inequalities that separate strongly-local ($\mathcal{SL}$) models from their complement, non-strongly-local ($\mathcal{\overline{SL}}$) models. We also clarify the relation between the symmetry-reduced pyramid representation and the full (3,3,2,2) Bell polytope in the 36-dimensional conditional-probability space, which possesses 684 facet-defining inequalities. The reduction from 684 to three reflects normalisation, symmetry reduction, and projection to the mixed-moment space. In the pyramid representation, the hierarchy $\mathcal{SL} \subsetneq \mathcal{Q} \subsetneq \mathcal{NS}$ appears geometrically as a tetrahedron embedded in a somewhat larger curved body of quantum models, $\mathcal{Q}$, which in turn is embedded in a cube of no-signalling models, $\mathcal{NS}$. The qualitative and quantitative advantages of the pyramid representation over the standard CSHS representation for the (2,2,2,2) case are discussed.

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 paper claims to characterize strongly-local (SL) models in the (3,3,2,2) Bell scenario via a symmetry-reduced 3D mixed-moment space (indistinguishable sites, off-diagonal settings). In this space the SL set is exactly a regular tetrahedron bounded by three independent linear 'pyramid' inequalities; the reduction from the known 36-dimensional conditional-probability polytope (684 facets) is attributed to normalisation, symmetry, and projection. The hierarchy SL ⊂ Q ⊂ NS is visualised as the tetrahedron inside a curved quantum body inside the NS cube, with claimed advantages over the CHSH representation of the (2,2,2,2) case.

Significance. If the projection is faithful, the result supplies a strikingly simple, parameter-free geometric description of strong locality that collapses 684 inequalities to three. This offers both a visual aid for the strict inclusions SL ⊂ Q ⊂ NS and a potential tool for analysing higher Bell scenarios. The explicit mapping to the full polytope is a further strength, as is the reproducible geometric construction.

major comments (1)
  1. [section clarifying the relation between the symmetry-reduced pyramid and the full (3,3,2,2) Bell polytope] The central claim that the SL region coincides exactly with the tetrahedron rests on the projection (normalisation + symmetry reduction to indistinguishable sites + restriction to off-diagonal mixed moments) being faithful. The manuscript must supply an explicit argument or theorem showing that (i) every SL point in the original 36D polytope maps inside the tetrahedron and (ii) every point outside the tetrahedron is the image of a non-SL model, so that no facet inequalities of the 684-facet polytope become invisible or redundant in the chosen coordinates. Without this verification the reduction from 684 to three inequalities risks under- or over-constraining the set.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for emphasizing the need to rigorously establish the faithfulness of the symmetry-reduced projection. We address the major comment below.

read point-by-point responses

  1. Referee: The central claim that the SL region coincides exactly with the tetrahedron rests on the projection (normalisation + symmetry reduction to indistinguishable sites + restriction to off-diagonal mixed moments) being faithful. The manuscript must supply an explicit argument or theorem showing that (i) every SL point in the original 36D polytope maps inside the tetrahedron and (ii) every point outside the tetrahedron is the image of a non-SL model, so that no facet inequalities of the 684-facet polytope become invisible or redundant in the chosen coordinates. Without this verification the reduction from 684 to three inequalities risks under- or over-constraining the set.

    Authors: We agree that an explicit verification is required to fully substantiate the equivalence. The manuscript already explains how normalisation, symmetry reduction to indistinguishable sites, and projection to off-diagonal mixed moments reduce the 36D conditional-probability space, but we acknowledge that a dedicated formal statement would make the faithfulness of the mapping clearer. In the revised version we will add a theorem (placed in the section clarifying the relation to the full polytope) proving (i) that every strongly local model in the original 36D polytope projects to a point inside or on the boundary of the tetrahedron, because the pyramid inequalities are obtained directly from the extremal local deterministic assignments after symmetry reduction, and (ii) that any point lying outside the tetrahedron is the image of a distribution that violates strong locality (hence lies outside the 684-facet polytope). The proof proceeds by showing that the three chosen mixed-moment coordinates span the invariant subspace under the symmetry group and that no facet inequality of the original polytope is rendered redundant or invisible by the projection; the three pyramid inequalities are therefore necessary and sufficient in the reduced space. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit projection and proof from known polytope

full rationale

The derivation proceeds by symmetry reduction to indistinguishable sites, projection onto the three-dimensional mixed-moment space under off-diagonal settings, and an explicit proof that the strongly-local set is exactly the tetrahedron bounded by three linear inequalities. This is a direct geometric construction from the known 36-dimensional (3,3,2,2) polytope (with its 684 facets) rather than a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation chain. The reduction is stated to reflect normalisation, symmetry, and projection, and the central claim is the mathematical verification that the image coincides with the tetrahedron, which does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard convex geometry and symmetry arguments for Bell polytopes; the main additions are the specific choice of mixed-moment coordinates and the claim that the resulting tetrahedron fully captures strong locality under the stated restrictions.

axioms (2)
  • domain assumption Symmetry reduction for indistinguishable sites is valid and does not alter the locality properties
    Invoked to justify the three-dimensional representation.
  • domain assumption The mixed-moment projection onto off-diagonal settings preserves the separation between SL, Q, and NS sets
    Central to the geometric embedding claim.

pith-pipeline@v0.9.0 · 5593 in / 1402 out tokens · 57865 ms · 2026-05-12T01:58:11.816662+00:00 · methodology

Review history (2 revisions) →

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

29 extracted references · 29 canonical work pages

  1. [1]

    J. S. Bell. On the Einstein-Podolsky-Rosen paradox.Physics Physique Fizika, 1:195–200, 1964

    work page 1964

  2. [2]

    J. S. Bell. Bertlmann’s socks and the nature of reality.J. Phys. Colloq., 42:41–62, 1981

    work page 1981

  3. [3]

    N. Gisin. Bell inequalities: many questions, a few answers. 5 2007

    work page 2007

  4. [4]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki. Quantum entanglement.Rev. Mod. Phys., 81:865–942, 2009

    work page 2009

  5. [5]

    Z. K. Silagadze. Schrodinger’s cat versus Darwin.Electron. J. Theor. Phys., 7(24):1–56, 2010

    work page 2010

  6. [6]

    M. G. Alford. Ghostly action at a distance: a non-technical explanation of the Bell inequality.Am. J. Phys., 84:448, 2016

    work page 2016

  7. [7]

    Aspect, J

    A. Aspect, J. Dalibard, and G. Roger. Experimental test of Bell’s inequalities using time-varying analyzers.Phys. Rev. Lett., 49:1804–1807, 1982

    work page 1982

  8. [8]

    Hensen et al

    B. Hensen et al. Loophole-free Bell inequality violation using electron spins separated by 1.3 kilometres. Nature, 526:682–686, 2015

    work page 2015

  9. [9]

    Giustina et al

    M. Giustina et al. Significant-loophole-free test of Bell’s theorem with entangled photons.Phys. Rev. Lett., 115:250401, 2015. 15

    work page 2015

  10. [10]

    L. K. Shalm et al. Strong loophole-free test of local realism.Phys. Rev. Lett., 115:250402, 2015

    work page 2015

  11. [11]

    Brunner, D

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

    work page 2014

  12. [12]

    J. Larsson. Loopholes in Bell inequality tests of local realism.J. Phys. A, 47(42):424003, 2014

    work page 2014

  13. [13]

    J. S. Bell. Free variables and local causality. InSpeakable and Unspeakable in Quantum Mechanics. Cambridge University Press, 2004

    work page 2004

  14. [14]

    ’t Hooft

    G. ’t Hooft. The Free-Will Postulate in Quantum Mechanics. 1 2007

    work page 2007

  15. [15]

    M. J. W. Hall. Local deterministic model of singlet state correlations based on relaxing measurement independence.Phys. Rev. Lett., 105:250404, 2010. [Erratum: Phys.Rev.Lett. 116, 219902 (2016)]

    work page 2010

  16. [16]

    Hossenfelder and T

    S. Hossenfelder and T. N. Palmer. Rethinking Superdeterminism.Front. in Phys., 8:139, 2020

    work page 2020

  17. [17]

    Bassi and G

    A. Bassi and G. Ghirardi. Dynamical reduction models.Phys. Rept., 379:257, 2003

    work page 2003

  18. [18]

    F. Giacosa. On unitary evolution and collapse in Quantum Mechanics.Quanta, 3:156–170, 2014

    work page 2014

  19. [19]

    J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt. Proposed experiment to test local hidden- variable theories.Physical Review Letters, 23:880–884, 1969

    work page 1969

  20. [20]

    Froissart

    M. Froissart. Constructive generalization of Bell inequalities. (LPC 81-01), 4 1981

    work page 1981

  21. [21]

    B. S. Tsirelson. Quantum generalizations of Bell’s inequality.Letters in Mathematical Physics, 4:93–100, 1980

    work page 1980

  22. [22]

    Popescu and D

    S. Popescu and D. Rohrlich. Quantum nonlocality as an axiom.Found. Phys., 24(3):379–385, 1994

    work page 1994

  23. [23]

    Gazdzicki, M

    M. Gazdzicki, M. Gorenstein, I. Pidhurskyi, O. Savchuk, and L. Tinti. Equilibration and Locality.Acta Phys. Polon. B, 53:8–A2, 2022

    work page 2022

  24. [24]

    B. E. Aboona et al. Measuring spin correlation between quarks during QCD confinement.Nature, 650(8100):65–71, 2026

    work page 2026

  25. [25]

    S. Wu, C. Qian, Y.-G. Yang, and Q Wang. Generalized Quantum Measurement in Spin-Correlated Hyperon-Antihyperon Decays.Chin. Phys. Lett., 41(11):110301, 2024

    work page 2024

  26. [26]

    Kumar, S

    D. Kumar, S. Sharma, and P. Moskal. Experimental observation of polarization correlation of entangled photons from positronium atom using J-PET detector.PoS, EPS-HEP2023:564, 2024

    work page 2024

  27. [27]

    Bramon, G

    A. Bramon, G. Garbarino, and B. C. Hiesmayr. Active and passive quantum erasers for neutral kaons. Phys. Rev. A, 69:062111, 2004

    work page 2004

  28. [28]

    Blasone, F

    M. Blasone, F. Dell’Anno, S. De Siena, and F. Illuminati. Flavor entanglement in neutrino oscillations in the wave packet description.EPL, 112(2):20007, 2015

    work page 2015

  29. [29]

    Moessner and A

    R. Moessner and A. P. Ramirez. Geometrical frustration.Physics Today, 59(2):24–29, 2006. 16

    work page 2006