Local models and Bell inequalities for the minimal triangle network
Pith reviewed 2026-05-22 22:41 UTC · model grok-4.3
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.
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
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.
Referee Report
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)
- [§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.
- [§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)
- [§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.
- 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
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
-
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
-
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
- Formal analytic proof that the extracted inequalities constitute a complete and tight description of the local polytope
Circularity Check
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
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
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.
-
IndisputableMonolith/Foundation/BranchSelection.leanbranch_selection unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The local boundaries are 2-dimensional surfaces... Eliminating the variables (x, y) from the parametric equations leads to the surface equation involving only correlators
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
-
The minimal example of quantum network Bell nonlocality
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
-
[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...
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[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...
work page 2014
-
[3]
J. S. Bell, On the Einstein Podolsky Rosen paradox, Physics Physique Fizika1, 195 (1964)
work page 1964
-
[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...
work page 1972
- [5]
- [6]
-
[7]
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...
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[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...
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[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...
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[10]
N. Brunner, D. Cavalcanti, S. Pironio, V. Scarani, and S. Wehner, Bell nonlocality, Rev. Mod. Phys.86, 419 (2014), arXiv:1303.2849
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[11]
A. K. Ekert, Quantum cryptography based on Bell’s the- orem, Phys. Rev. Lett.67, 661 (1991)
work page 1991
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[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]
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]
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]
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
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[19]
Beyond Bell's Theorem: Correlation Scenarios
T. Fritz, Beyond Bell’s theorem: correlation scenarios, New J. Phys.14, 103001 (2012), arXiv:1206.5115
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[22]
Entropic nonsignaling correlations
R. Chaves and C. Budroni, Entropic nonsignaling correlations, Phys. Rev. Lett.116, 240501 (2016), arXiv:1601.07555
work page internal anchor Pith review Pith/arXiv arXiv 2016
- [23]
- [24]
-
[25]
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]
-
[27]
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]
-
[29]
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]
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]
-
[32]
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]
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
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[34]
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...
work page 2020
-
[35]
A. Pozas-Kerstjens, N. Gisin, and A. Tavakoli, Full net- work nonlocality, Phys. Rev. Lett.128, 010403 (2022)
work page 2022
- [36]
-
[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)
work page 2015
- [38]
-
[39]
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]
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]
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]
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...
work page 1916
-
[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]
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...
work page 2033
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.