Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2306.05922 · Physical Review A

Violation of the Finner inequality in the four-output triangle network

Antoine Girardin, Nicolas Gisin

Published Oct 18, 2023• 2 citations
arXivHTMLPDF

Abstract

Network nonlocality allows one to demonstrate nonclassicality in networks with fixed joint measurements, that is, without random measurement settings. The simplest network in a loop, the triangle, with four outputs per party is especially intriguing. The ``elegant distribution'' [Gisin, Entropy 21, 325 (2019)] still resists analytic proofs, despite its many symmetries. In particular, this distribution is invariant under any output permutation. The Finner inequality, which holds for all local and quantum distributions, has been conjectured to be also valid for all no-signaling distributions with independent sources (NSI distributions). Here we provide evidence that this conjecture is false by constructing a four-output network box that violates the Finner inequality and prove that it satisfies all NSI inflations up to the enneagon. As a first step toward the proof of the nonlocality of the elegant distribution, we prove the nonlocality of the distributions that saturates the Finner inequality by using geometrical arguments.

DOI
10.1103/physreva.108.042213

Related papers

The Elegant Joint Measurement is Non-Classical in the Triangle Network

Victor Gitton, Renato Renner

When quantum systems are shared by multiple parties in a network, the measurement outcomes of the parties can exhibit non-classical correlations, i.e., correlations that cannot be obtained if the parties shared classical systems instead. This phenomenon is known as quantum nonlocality and is typically demonstrated in the Bell scenario. However, the Bell scenario is fundamentally simpler to investigate than general networks, since the latter come with non-convex optimization problems that are often intractable. The triangle network is one of the simplest networks exhibiting this non-convexity due to the presence of three independent sources. Although some special cases of quantum nonlocality are known in the triangle network, general methods to certify classical incompatibility are still lacking, which suggests that our understanding of networks is still rather limited. For instance, the Elegant Joint Measurement (EJM) distribution is a simple and highly-symmetric outcome distribution that can be obtained with quantum systems and measurements in the triangle network. This distribution was conjectured to be non-classical eight years ago. In this article, we provide the first proof of non-classicality of the EJM distribution. To do so, we show how to combine inflation, a causal inference technique, with powerful symmetry reductions and Frank-Wolfe algorithms for large-scale optimization. We then use these methods to obtain computer-assisted proofs of non-classicality in exact arithmetic.

arXiv:2510.15143•Oct 16, 2025•0 citations

Constraints on nonlocality in networks from no-signaling and independence

Nicolas Gisin, Jean-Daniel Bancal, Yu Cai +5 more

The possibility of Bell inequality violations in quantum theory had a profound impact on our understanding of the correlations that can be shared by distant parties. Generalizing the concept of Bell nonlocality to networks leads to novel forms of correlations, the characterization of which is, however, challenging. Here, we investigate constraints on correlations in networks under the natural assumptions of no-signaling and independence of the sources. We consider the triangle network with binary outputs, and derive strong constraints on correlations even though the parties receive no input, i.e., each party performs a fixed measurement. We show that some of these constraints are tight, by constructing explicit local models (i.e. where sources distribute classical variables) that can saturate them. However, we also observe that other constraints can apparently not be saturated by local models, which opens the possibility of having nonlocal (but non-signaling) correlations in the triangle network with binary outputs.

arXiv:1906.06495•Nature Communications•May 13, 2020•71 citations

Nature of Nonlocality in Triangle Network based on Elegant Joint Measurement

Amit Kundu, Debasis Sarkar

Abstract Defining nonlocality in a no‐input closed quantum network scenario is a new area of interest nowadays. Gisin, in [Entropy 21, 325 (2019)], proposed a possible condition for non‐tri‐locality of the trivial no‐input closed network scenario, triangle network, by introducing a new kind of joint measurement bases and a probability bound. In [npj Quantum Information (2020) 6:70] they found a shred of numerical evidence in support of Gisin's probability bound. Now based on that probability bound, it finds the nature of the correlation in a triangle network scenario. This study observes how far the probability lies from that Gisin's bound with every possible combination of entangled and local pure states distributed from three independent quantum sources. Here, it uses the generalized Elegant Joint Measurements bases for each party and find that there is a dependency of non‐locality on the entanglement of these joint measurement bases. It also checks the probability bound for the polygon structure.

Annalen der Physik•Nov 20, 2023•6 citations

Genuine Quantum Nonlocality in the Triangle Network

Marc-Olivier Renou, Elisa Bäumer, Sadra Boreiri +3 more

Quantum networks allow in principle for completely novel forms of quantum correlations. In particular, quantum nonlocality can be demonstrated here without the need of having various input settings, but only by considering the joint statistics of fixed local measurement outputs. However, previous examples of this intriguing phenomenon all appear to stem directly from the usual form of quantum nonlocality, namely via the violation of a standard Bell inequality. Here we present novel examples of "quantum nonlocality without inputs," which we believe represent a new form of quantum nonlocality, genuine to networks. Our simplest examples, for the triangle network, involve both entangled states and joint entangled measurements. A generalization to any odd-cycle network is also presented.

arXiv:1905.04902•Physical Review Letters•Sep 30, 2019•175 citations

Experimental Genuine Quantum Nonlocality in the Triangle Network

Ningning Wang, Chao Zhang, Huan Cao +8 more

In the last decade, it was understood that quantum networks involving several independent sources of entanglement which are distributed and measured by several parties allowed for completely novel forms of nonclassical quantum correlations, when entangled measurements are performed. Here, we experimentally obtain quantum correlations in a triangle network structure and provide solid evidence of its nonlocality. Specifically, we first obtain the Elegant distribution proposed in [Gisin et al., Entanglement 25 years after quantum teleportation: Testing joint measurements in quantum networks, Entropy 21, 325 (2019)ENTRFG1099-430010.3390/e21030325] by performing a six-photon experiment. Then, we justify its nonlocality based on machine learning tools to estimate the distance of the experimentally obtained correlation to the local set.

arXiv:2401.15428•Physical Review Letters•Apr 3, 2026•1 citation

Nature of Nonlocality in a triangle network based on EJM

Kundu, Amit, Debasis Sarkar

Defining nonlocality in a no-input closed quantum network scenario is a new area of interest nowadays. Gisin, in[Entropy 21, 325 (2019)], proposed a possible condition for non-tri-locality of the trivial no-input closed network scenario, triangle network, by introducing a new kind of joint measurement bases and a probability bound. In[npj Quantum Information (2020) 6:70] they found a shred of numerical evidence in support of Gisin's probability bound. Now based on that probability bound, we find the nature of the correlation in a triangle network scenario. We here observe how far the probability lies from that Gisin's bound with every possible combination of entangled and local pure states distributed from three independent quantum sources. Here we use the generalized Elegant Joint Measurements bases for each party and find that there is a dependency of non-locality on the entanglement of these joint measurement bases. We also check the probability bound for the polygon structure.

arXiv:2310.04619•Oct 6, 2023•0 citations
Network nonlocality allows one to demonstrate nonclassicality in networks with fixed joint measurements, that is, without random measurement settings. The simplest network in a loop, the triangle, with four outputs per party is especially intriguing. The ``elegant distribution'' [Gisin, Entropy 21, 325 (2019)] still resists analytic proofs, despite its many symmetries. In particular, this distribution is invariant under any output permutation. The Finner inequality, which holds for all local and quantum distributions, has been conjectured to be also valid for all no-signaling distributions with independent sources (NSI distributions). Here we provide evidence that this conjecture is false by constructing a four-output network box that violates the Finner inequality and prove that it satisfies all NSI inflations up to the enneagon. As a first step toward the proof of the nonlocality of the elegant distribution, we prove the nonlocality of the distributions that saturates the Finner inequality by using geometrical arguments.
When quantum systems are shared by multiple parties in a network, the measurement outcomes of the parties can exhibit non-classical correlations, i.e., correlations that cannot be obtained if the parties shared classical systems instead. This phenomenon is known as quantum nonlocality and is typically demonstrated in the Bell scenario. However, the Bell scenario is fundamentally simpler to investigate than general networks, since the latter come with non-convex optimization problems that are often intractable. The triangle network is one of the simplest networks exhibiting this non-convexity due to the presence of three independent sources. Although some special cases of quantum nonlocality are known in the triangle network, general methods to certify classical incompatibility are still lacking, which suggests that our understanding of networks is still rather limited. For instance, the Elegant Joint Measurement (EJM) distribution is a simple and highly-symmetric outcome distribution that can be obtained with quantum systems and measurements in the triangle network. This distribution was conjectured to be non-classical eight years ago. In this article, we provide the first proof of non-classicality of the EJM distribution. To do so, we show how to combine inflation, a causal inference technique, with powerful symmetry reductions and Frank-Wolfe algorithms for large-scale optimization. We then use these methods to obtain computer-assisted proofs of non-classicality in exact arithmetic.
The possibility of Bell inequality violations in quantum theory had a profound impact on our understanding of the correlations that can be shared by distant parties. Generalizing the concept of Bell nonlocality to networks leads to novel forms of correlations, the characterization of which is, however, challenging. Here, we investigate constraints on correlations in networks under the natural assumptions of no-signaling and independence of the sources. We consider the triangle network with binary outputs, and derive strong constraints on correlations even though the parties receive no input, i.e., each party performs a fixed measurement. We show that some of these constraints are tight, by constructing explicit local models (i.e. where sources distribute classical variables) that can saturate them. However, we also observe that other constraints can apparently not be saturated by local models, which opens the possibility of having nonlocal (but non-signaling) correlations in the triangle network with binary outputs.
Abstract Defining nonlocality in a no‐input closed quantum network scenario is a new area of interest nowadays. Gisin, in [Entropy 21, 325 (2019)], proposed a possible condition for non‐tri‐locality of the trivial no‐input closed network scenario, triangle network, by introducing a new kind of joint measurement bases and a probability bound. In [npj Quantum Information (2020) 6:70] they found a shred of numerical evidence in support of Gisin's probability bound. Now based on that probability bound, it finds the nature of the correlation in a triangle network scenario. This study observes how far the probability lies from that Gisin's bound with every possible combination of entangled and local pure states distributed from three independent quantum sources. Here, it uses the generalized Elegant Joint Measurements bases for each party and find that there is a dependency of non‐locality on the entanglement of these joint measurement bases. It also checks the probability bound for the polygon structure.
Quantum networks allow in principle for completely novel forms of quantum correlations. In particular, quantum nonlocality can be demonstrated here without the need of having various input settings, but only by considering the joint statistics of fixed local measurement outputs. However, previous examples of this intriguing phenomenon all appear to stem directly from the usual form of quantum nonlocality, namely via the violation of a standard Bell inequality. Here we present novel examples of "quantum nonlocality without inputs," which we believe represent a new form of quantum nonlocality, genuine to networks. Our simplest examples, for the triangle network, involve both entangled states and joint entangled measurements. A generalization to any odd-cycle network is also presented.
In the last decade, it was understood that quantum networks involving several independent sources of entanglement which are distributed and measured by several parties allowed for completely novel forms of nonclassical quantum correlations, when entangled measurements are performed. Here, we experimentally obtain quantum correlations in a triangle network structure and provide solid evidence of its nonlocality. Specifically, we first obtain the Elegant distribution proposed in [Gisin et al., Entanglement 25 years after quantum teleportation: Testing joint measurements in quantum networks, Entropy 21, 325 (2019)ENTRFG1099-430010.3390/e21030325] by performing a six-photon experiment. Then, we justify its nonlocality based on machine learning tools to estimate the distance of the experimentally obtained correlation to the local set.
Defining nonlocality in a no-input closed quantum network scenario is a new area of interest nowadays. Gisin, in[Entropy 21, 325 (2019)], proposed a possible condition for non-tri-locality of the trivial no-input closed network scenario, triangle network, by introducing a new kind of joint measurement bases and a probability bound. In[npj Quantum Information (2020) 6:70] they found a shred of numerical evidence in support of Gisin's probability bound. Now based on that probability bound, we find the nature of the correlation in a triangle network scenario. We here observe how far the probability lies from that Gisin's bound with every possible combination of entangled and local pure states distributed from three independent quantum sources. Here we use the generalized Elegant Joint Measurements bases for each party and find that there is a dependency of non-locality on the entanglement of these joint measurement bases. We also check the probability bound for the polygon structure.