pith. sign in

arxiv: 2503.16654 · v2 · submitted 2025-03-20 · 🪐 quant-ph

Local models and Bell inequalities for the minimal triangle network

Pith reviewed 2026-05-22 22:41 UTC · model grok-4.3

classification 🪐 quant-ph
keywords triangle networkBell inequalitiesnetwork nonlocalitylocal modelsquantum correlationspermutation symmetry
0
0 comments X

The pith

Exhaustive search yields analytic expressions for all tight Bell inequalities in the symmetric minimal triangle network.

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

The paper establishes the boundaries of the set of distributions that admit triangle-local models in the minimal triangle network when distributions are required to be invariant under permutations of the three parties. An exhaustive computational search for such local models is used to infer closed-form analytic expressions for those boundaries. A sympathetic reader would care because the result supplies the first conjectured complete list of tight inequalities for this network scenario, making it possible to decide precisely which observed correlations can still be explained by local hidden variables despite the presence of independent sources.

Core claim

From the exhaustive search we infer analytic expressions for the boundaries of the set of distributions that admit triangle-local models, which we conjecture to be all the tight Bell inequalities for the scenario. Armed with them and with improved outer approximations of the set, we provide insights on the existence of a classical-quantum gap in the triangle network with binary outcomes.

What carries the argument

The set of permutation-invariant distributions admitting triangle-local models, whose boundaries are given by the analytic inequalities extracted from the enumeration.

Load-bearing premise

The computational enumeration is exhaustive and the analytic expressions extracted from its output exactly coincide with the true boundary of the local set.

What would settle it

Discovery of a distribution that is triangle-local yet lies outside one of the inferred analytic inequalities, or of a distribution inside all the inequalities that cannot be realized by any triangle-local model.

Figures

Figures reproduced from arXiv: 2503.16654 by Alejandro Pozas-Kerstjens, Fernando Parisio, Jos\'e M\'ario da Silva.

Figure 1
Figure 1. Figure 1: FIG. 1. (a) The minimal triangle scenario. The parties [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Euclidean distances between distributions of the form [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Close-up, rotated version of Fig. [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Reproductions of (a) Fig. 2 and (b) Supplemental [PITH_FULL_IMAGE:figures/full_fig_p004_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. Flowchart of the search for triangle-local models in this work. Numerical steps are highlighted in blue, and analytical [PITH_FULL_IMAGE:figures/full_fig_p007_5.png] view at source ↗
read the original abstract

Nonlocal correlations created in networks with multiple independent sources enable surprising phenomena in quantum information and quantum foundations. The presence of independent sources, however, makes the analysis of network nonlocality challenging, and even in the simplest nontrivial scenarios a complete characterization is lacking. In this work we study one of the simplest of these scenarios, namely that of distributions invariant under permutations of parties in the minimal triangle network, which features no inputs and binary outcomes. We perform an exhaustive search for triangle-local models, and from it we infer analytic expressions for the boundaries of the set of distributions that admit such models, which we conjecture to be all the tight Bell inequalities for the scenario. Armed with them and with improved outer approximations of the set, we provide insights on the existence of a classical-quantum gap in the triangle network with binary outcomes.

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

2 major / 2 minor

Summary. The manuscript studies the minimal triangle network (no inputs, binary outcomes) restricted to permutation-invariant distributions. It performs an exhaustive computational search over triangle-local models, extracts analytic expressions for the boundaries of the local set, and conjectures that these expressions constitute all the tight Bell inequalities for the scenario. These inequalities are then combined with improved outer approximations to analyze the existence and size of a classical-quantum gap.

Significance. If the conjectured inequalities are shown to be both complete and tight, the work would supply the first explicit analytic description of the local polytope in this elementary network scenario. Such a characterization would be a useful benchmark for network nonlocality studies and could clarify the conditions under which quantum correlations exceed the local set in the triangle. The computational extraction approach itself demonstrates a practical route to obtaining candidate facets when analytic proofs remain elusive.

major comments (2)
  1. [§3] §3 (exhaustive search procedure): the claim that the search is exhaustive rests on an unproven assertion that the chosen parameterization (discretization or LP over hidden-variable distributions) covers the entire space of triangle-local models to machine precision. No formal completeness argument, sampling validation, or comparison against independently known outer bounds is supplied, directly undermining the subsequent extraction of boundary expressions.
  2. [§4] §4 (analytic expressions and conjecture): the extracted inequalities are conjectured to be exactly the tight facets, yet the manuscript provides neither a proof that every supporting hyperplane of the true local polytope has been recovered nor numerical checks (e.g., random local points or facet enumeration output) confirming that no local vertex lies outside the inferred region. This conjecture is load-bearing for both the boundary characterization and the classical-quantum gap analysis that follows.
minor comments (2)
  1. [§2] Notation for the permutation-invariant probabilities (p_{000}, p_{001}, …) is introduced without an explicit table relating them to the standard three-party correlators; a small table would improve readability.
  2. The manuscript does not state whether the code or numerical data underlying the exhaustive search will be made publicly available; adding this information would strengthen reproducibility.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for their careful reading and constructive comments. We respond point-by-point to the major concerns below, indicating where revisions will be made to strengthen the numerical validation while noting the inherent limitations of the computational approach.

read point-by-point responses
  1. Referee: [§3] §3 (exhaustive search procedure): the claim that the search is exhaustive rests on an unproven assertion that the chosen parameterization (discretization or LP over hidden-variable distributions) covers the entire space of triangle-local models to machine precision. No formal completeness argument, sampling validation, or comparison against independently known outer bounds is supplied, directly undermining the subsequent extraction of boundary expressions.

    Authors: The search employs linear programming over a fine discretization of the hidden-variable distributions, which approximates the local set to machine precision within the chosen resolution. While no formal completeness theorem is supplied, the resulting set is cross-validated against known outer bounds from the literature, and no inconsistencies arise. In revision we will add an explicit subsection describing the discretization grid, convergence checks under refinement, and direct numerical comparisons to independent outer approximations. revision: partial

  2. Referee: [§4] §4 (analytic expressions and conjecture): the extracted inequalities are conjectured to be exactly the tight facets, yet the manuscript provides neither a proof that every supporting hyperplane of the true local polytope has been recovered nor numerical checks (e.g., random local points or facet enumeration output) confirming that no local vertex lies outside the inferred region. This conjecture is load-bearing for both the boundary characterization and the classical-quantum gap analysis that follows.

    Authors: The conjecture follows from the search recovering no additional facets beyond the extracted expressions, with all generated local vertices satisfying them. A rigorous analytic proof that the list is complete is not available. We will augment the manuscript with supplementary numerical evidence, including tests on large ensembles of randomly sampled local points and limited facet-enumeration runs on projected polytopes, to confirm that no local points violate the inferred region. revision: partial

standing simulated objections not resolved
  • Formal analytic proof that the extracted inequalities constitute a complete and tight description of the local polytope

Circularity Check

0 steps flagged

No circularity: direct enumeration yields independent boundary characterization

full rationale

The paper's central derivation performs an exhaustive computational search for triangle-local models in the permutation-invariant binary-outcome case and extracts analytic expressions for the local set boundaries directly from the enumerated models. This is a bottom-up enumeration process rather than any self-definitional mapping, fitted parameter renamed as prediction, or load-bearing self-citation chain. The subsequent conjecture that the extracted inequalities are all tight facets is stated explicitly as a conjecture, without reducing the result to its own inputs by construction. No ansatz is smuggled via citation, and the method remains self-contained against the external benchmark of local hidden-variable distributions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract contains no explicit free parameters, axioms, or invented entities; the work is framed as a computational enumeration of local models.

pith-pipeline@v0.9.0 · 5672 in / 1118 out tokens · 37988 ms · 2026-05-22T22:41:57.738346+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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The minimal example of quantum network Bell nonlocality

    quant-ph 2026-05 unverdicted novelty 8.0

    Quantum nonlocality is possible in the triangle network with no inputs and binary outputs, which is the smallest such scenario by number of variables and outcomes.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages · cited by 1 Pith paper · 14 internal anchors

  1. [1]

    Local models and Bell inequalities for the minimal triangle network

    and randomness certification without measurement choices [23] (as opposed to the Bell scenario where this is impossible). However, the absence of marginal inde- pendences also makes it a challenging scenario to study, even in the simplest case without measurement choices and with binary-valued outcomes. There, the search for realizations is based on brute...

  2. [2]

    (4) recovers the inequality from Ref

    As shown in appendix E, Eq. (4) recovers the inequality from Ref. [27] when restricted to this region, proving our result is tight therein. The strong numerical evidence that we build in this work leads us to conjecture that a criterion for detect- ing nonlocality in the binary-outcome triangle scenario is given by the simultaneous violation of Eq. (4) an...

  3. [3]

    J. S. Bell, On the Einstein Podolsky Rosen paradox, Physics Physique Fizika1, 195 (1964)

  4. [4]

    S. J. Freedman and J. F. Clauser, Experimental test of local hidden-variable theories, Phys. Rev. Lett.28, 938 (1972). 1 One can also use inflation methods to approximate the set of triangle-local distributions, at an increased computational cost. For this reason, we only considered an inflation with three copies of one source and two copies of the remain...

  5. [5]

    Aspect, J

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

  6. [6]

    Tittel, J

    W. Tittel, J. Brendel, H. Zbinden, and N. Gisin, Vio- lation of Bell inequalities by photons more than 10 km apart, Phys. Rev. Lett.81, 3563 (1998), arXiv:quant- ph/9806043

  7. [7]

    Experimental loophole-free violation of a Bell inequality using entangled electron spins separated by 1.3 km

    B. Hensen, H. Bernien, A. E. Dr´ eau, A. Reiserer, N. Kalb, M. S. Blok, J. Ruitenberg, R. F. L. Vermeulen, R. N. Schouten, C. Abell´ an, W. Amaya, V. Pruneri, M. W. Mitchell, M. Markham, D. J. Twitchen, D. Elkouss, S. Wehner, T. H. Taminiau, and R. Hanson, Loophole- free Bell inequality violation using electron spins sep- arated by 1.3 kilometres, Nature5...

  8. [8]

    L. K. Shalm, E. Meyer-Scott, B. G. Christensen, P. Bier- horst, M. A. Wayne, M. J. Stevens, T. Gerrits, S. Glancy, D. R. Hamel, M. S. Allman, K. J. Coakley, S. D. Dyer, C. Hodge, A. E. Lita, V. B. Verma, C. Lam- 6 brocco, E. Tortorici, A. L. Migdall, Y. Zhang, D. R. Kumor, W. H. Farr, F. Marsili, M. D. Shaw, J. A. Stern, C. Abell´ an, W. Amaya, V. Pruneri...

  9. [9]

    Significant-loophole-free test of Bell's theorem with entangled photons

    M. Giustina, M. A. M. Versteegh, S. Wengerowsky, J. Handsteiner, A. Hochrainer, K. Phelan, F. Steinlech- ner, J. Kofler, J.-A. Larsson, C. Abell´ an, W. Amaya, V. Pruneri, M. W. Mitchell, J. Beyer, T. Gerrits, A. E. Lita, L. K. Shalm, S. W. Nam, T. Scheidl, R. Ursin, B. Wittmann, and A. Zeilinger, Significant-loophole-free test of Bell’s theorem with enta...

  10. [10]

    Bell nonlocality

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

  11. [11]

    A. K. Ekert, Quantum cryptography based on Bell’s the- orem, Phys. Rev. Lett.67, 661 (1991)

  12. [12]

    Random Numbers Certified by Bell's Theorem

    S. Pironio, A. Ac´ ın, S. Massar, A. B. de la Giroday, D. N. Matsukevich, P. Maunz, S. Olmschenk, D. Hayes, L. Luo, T. A. Manning, and C. Monroe, Random numbers cer- tified by Bell’s theorem, Nature464, 1021–1024 (2010), arXiv:0911.3427

  13. [13]

    The device-independent outlook on quantum physics (lecture notes on the power of Bell's theorem)

    V. Scarani, The device-independent outlook on quan- tum physics, Acta Physica Slovaca62, 347 (2012), arXiv:1303.3081

  14. [14]

    Self-testing of quantum systems: a review

    I. ˇSupi´ c and J. Bowles, Self-testing of quantum systems: a review, Quantum4, 337 (2020), arXiv:1904.10042

  15. [15]

    Bell nonlocality in networks

    A. Tavakoli, A. Pozas-Kerstjens, M.-X. Luo, and M.-O. Renou, Bell nonlocality in networks, Rep. Prog. Phys. 85, 056001 (2022), arXiv:2104.10700

  16. [16]

    de Forges de Parny, O

    L. de Forges de Parny, O. Alibart, J. Debaud, S. Gres- sani, A. Lagarrigue, A. Martin, A. Metrat, M. Schiavon, T. Troisi, E. Diamanti, P. G´ elard, E. Kerstel, S. Tanzilli, and M. Van Den Bossche, Satellite-based quantum infor- mation networks: use cases, architecture, and roadmap, Commun. Phys.6, 12 (2016), arXiv:2202.01817

  17. [17]

    Multiuser quantum communication networks

    A. W´ ojcik, T. Luczak, P. Kurzy´ nski, A. Grudka, T. Gdala, and M. Bednarska, Multiuser quantum com- munication networks, Phys. Rev. A75, 022330 (2007), arXiv:quant-ph/0608107

  18. [18]

    W. Qin, C. Wang, Y. Cao, and G. L. Long, Multipho- ton quantum communication in quantum networks, Phys. Rev. A89, 062314 (2014), arXiv:1503.04924

  19. [19]

    Beyond Bell's Theorem: Correlation Scenarios

    T. Fritz, Beyond Bell’s theorem: correlation scenarios, New J. Phys.14, 103001 (2012), arXiv:1206.5115

  20. [20]

    Bilocal versus non-bilocal correlations in entanglement swapping experiments

    C. Branciard, D. Rosset, N. Gisin, and S. Pironio, Bilocal versus nonbilocal correlations in entanglement- swapping experiments, Physical Review A85, 032119 (2012), arXiv:1112.4502

  21. [21]

    The Inflation Technique for Causal Inference with Latent Variables

    E. Wolfe, R. W. Spekkens, and T. Fritz, The inflation technique for causal inference with latent variables, J. Causal Inference7, 20170020 (2019), arXiv:1609.00672

  22. [22]

    Entropic nonsignaling correlations

    R. Chaves and C. Budroni, Entropic nonsignaling correlations, Phys. Rev. Lett.116, 240501 (2016), arXiv:1601.07555

  23. [23]

    A. Kela, K. Von Prillwitz, J. ˚Aberg, R. Chaves, and D. Gross, Semidefinite tests for latent causal struc- tures, IEEE Trans. Inf. Theor.66, 339–349 (2020), arXiv:1701.00652

  24. [24]

    Renou, E

    M.-O. Renou, E. B¨ aumer, S. Boreiri, N. Brunner, N. Gisin, and S. Beigi, Genuine quantum nonlocality in the triangle network, Phys. Rev. Lett.123, 140401 (2019), arXiv:1905.04902

  25. [25]

    Sekatski, S

    P. Sekatski, S. Boreiri, and N. Brunner, Partial self- testing and randomness certification in the trian- gle network, Phys. Rev. Lett.131, 100201 (2023), arXiv:2209.09921

  26. [26]

    J. M. da Silva and F. Parisio, Numerically assisted de- termination of local models in network scenarios, Phys. Rev. A108, 052602 (2023), arXiv:2303.09954

  27. [27]

    Kriv´ achy, Y

    T. Kriv´ achy, Y. Cai, D. Cavalcanti, A. Tavakoli, N. Gisin, and N. Brunner, A neural network oracle for quantum nonlocality problems in networks, npj Quantum Inf.6, 70 (2020), arXiv:1907.10552

  28. [28]

    Wolfe, A

    E. Wolfe, A. Pozas-Kerstjens, M. Grinberg, D. Rosset, A. Ac´ ın, and M. Navascu´ es, Quantum inflation: A gen- eral approach to quantum causal compatibility, Phys. Rev. X11, 021043 (2021), arXiv:1909.10519

  29. [29]

    Gisin, J.-D

    N. Gisin, J.-D. Bancal, Y. Cai, P. Remy, A. Tavakoli, E. Zambrini Cruzeiro, S. Popescu, and N. Brunner, Con- straints on nonlocality in networks from no-signaling and independence, Nat. Commun.11, 2378 (2020), arXiv:1906.06495

  30. [30]

    Pozas-Kerstjens, A

    A. Pozas-Kerstjens, A. Girardin, T. Kriv´ achy, A. Tavakoli, and N. Gisin, Post-quantum nonlocal- ity in the minimal triangle scenario, New J. Phys.25, 113037 (2023), arXiv:2305.03745

  31. [31]

    T. C. Fraser and E. Wolfe, Causal compatibility inequal- ities admitting quantum violations in the triangle struc- ture, Phys. Rev. A98, 022113 (2018), arXiv:1709.06242

  32. [32]

    Pozas-Kerstjens, N

    A. Pozas-Kerstjens, N. Gisin, and M.-O. Renou, Proofs of network quantum nonlocality in continuous families of distributions, Phys. Rev. Lett.130, 090201 (2023), arXiv:2203.16543

  33. [33]

    Universal bound on the cardinality of local hidden variables in networks

    D. Rosset, N. Gisin, and E. Wolfe, Universal bound on the cardinality of local hidden variables in net- works, Quantum Inf. Comput.18, 0910 (2018), arXiv:1709.00707

  34. [34]

    Virtanen, R

    P. Virtanen, R. Gommers, T. E. Oliphant, M. Haber- land, T. Reddy, D. Cournapeau, E. Burovski, P. Pe- terson, W. Weckesser, J. Bright, S. J. van der Walt, M. Brett, J. Wilson, K. J. Millman, N. Mayorov, A. R. J. Nelson, E. Jones, R. Kern, E. Larson, C. J. Carey, ˙I. Po- lat, Y. Feng, E. W. Moore, J. VanderPlas, D. Laxalde, J. Perktold, R. Cimrman, I. Henr...

  35. [35]

    Pozas-Kerstjens, N

    A. Pozas-Kerstjens, N. Gisin, and A. Tavakoli, Full net- work nonlocality, Phys. Rev. Lett.128, 010403 (2022)

  36. [36]

    N.-N. Wang, A. Pozas-Kerstjens, C. Zhang, B.-H. Liu, Y.-F. Huang, C.-F. Li, G.-C. Guo, N. Gisin, and A. Tavakoli, Certification of non-classicality in all links of a photonic star network without assuming quantum mechanics, Nat. Commun.14, 2153 (2023), arXiv:2212.09765

  37. [37]

    D. A. Cox, J. Little, and D. O’Shea,Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra(Springer Interna- tional Publishing, 2015)

  38. [38]

    Lauand, B

    P. Lauand, B. N. Bekele, and E. Wolfe, Quan- tum non-classicality from causal data fusion (2024), 7 arXiv:2405.19252

  39. [39]

    Boreiri, A

    S. Boreiri, A. Girardin, B. Ulu, P. Lipka-Bartosik, N. Brunner, and P. Sekatski, Towards a minimal exam- ple of quantum nonlocality without inputs, Phys. Rev. A 107, 062413 (2023), arXiv:2207.08532

  40. [40]

    Boghiu, E

    E.-C. Boghiu, E. Wolfe, and A. Pozas-Kerstjens, Infla- tion: a Python library for classical and quantum causal compatibility, Quantum7, 996 (2023), arXiv:2211.04483. [40]https://github.com/mariofilho281/localmodels. Appendix A: Details on the numerical search In this appendix we provide all the details of the determination of the set of triangle-local dis...

  41. [41]

    1b and 3) is described by a single family of models

    Models for the boundary close to the GHZ distribution The boundary close to theGHZdistribution (in blue in Figs. 1b and 3) is described by a single family of models. As described in Eq. (3), it has cardinalitiesc α =c β =c γ = 3 and is given by q(ω) =r(ω) =s(ω) =    x ω= 1 y ω= 2 1−x−y ω= 3 , A(1|ω, µ) B(1|ω, µ) C(1|ω, µ) = ( 1 (ω, µ)∈ {(1,2),(2,1),(...

  42. [42]

    Models for the boundary close to the W distribution The situation is considerably richer for the boundary close to theWdistribution, where there are five different classes of models that generate different sections of the surface, as depicted in Fig. 3. The models that characterize the boundary close to the Wdistribution are the same as those presented be...

  43. [43]

    T est for network nonlocality close to the GHZ distribution The family of models that describe the boundary close to theGHZdistribution is given by Eq. (B2). In terms of its degrees of freedom (x, y), this model has the following correlators: E1 =−1 + 4xy+ 2y 2,(C1a) E2 = 1−8xy+ 4x 2y−4y 2 + 12xy2 + 4y3,(C1b) E3 =−1 + 12xy−12x 2y+ 6y 2 −12xy 2 −4y 3.(C1c)...

  44. [44]

    In fact, we just need to study one of them, since the other is obtained from it by performing the transformationE 1, E2, E3 → −E 1, E2,−E 3

    T ests for network nonlocality close to theWand Wdistributions Now we address the regions close to theWand Wdistributions. In fact, we just need to study one of them, since the other is obtained from it by performing the transformationE 1, E2, E3 → −E 1, E2,−E 3. Let us, without loss of generality, focus on the boundary close to theWdistribution. This bou...