-
The genuinely multipartite nonlocality of graph states is model-dependent
Authors:
Xavier Coiteux-Roy,
Owidiusz Makuta,
Fionnuala Curran,
Remigiusz Augusiak,
Marc-Olivier Renou
Abstract:
Bell's theorem proves that some quantum state correlations can only be explained by bipartite non-classical resources. The notion of genuinely multipartite nonlocality (GMNL) was later introduced to conceptualize the fact that nonclassical resources involving more than two parties in a nontrivial way may be needed to account for some quantum correlations. In this letter, we first recall the contra…
▽ More
Bell's theorem proves that some quantum state correlations can only be explained by bipartite non-classical resources. The notion of genuinely multipartite nonlocality (GMNL) was later introduced to conceptualize the fact that nonclassical resources involving more than two parties in a nontrivial way may be needed to account for some quantum correlations. In this letter, we first recall the contradictions inherent to the historical definition of GMNL. Second, we turn to one of its redefinitions, called Local-Operations-and-Shared-Randomness GMNL (LOSR-GMNL), proving that all caterpillar graph states (including cluster states) have this second property. Finally, we conceptualize a third, alternative definition, which we call Local-Operations-and-Neighbour-Communication GMNL (LONC-GMNL), that is adapted to situations in which short-range communication between some parties might occur. We show that cluster states do not have this third property, while GHZ states do. Beyond its technical content, our letter illustrates that rigorous conceptual work is needed before applying the concepts of genuinely multipartite nonlocality, genuine multipartite entanglement or entanglement depth to benchmark the nonclassicality of some experimentally-produced quantum system. We note that most experimental works still use witnesses based on the historical definitions of these notions, which fail to reject models based on bipartite resources.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
Online Locality Meets Distributed Quantum Computing
Authors:
Amirreza Akbari,
Xavier Coiteux-Roy,
Francesco d'Amore,
François Le Gall,
Henrik Lievonen,
Darya Melnyk,
Augusto Modanese,
Shreyas Pai,
Marc-Olivier Renou,
Václav Rozhoň,
Jukka Suomela
Abstract:
We extend the theory of locally checkable labeling problems (LCLs) from the classical LOCAL model to a number of other models that have been studied recently, including the quantum-LOCAL model, finitely-dependent processes, non-signaling model, dynamic-LOCAL model, and online-LOCAL model [e.g. STOC 2024, ICALP 2023].
First, we demonstrate the advantage that finitely-dependent processes have over…
▽ More
We extend the theory of locally checkable labeling problems (LCLs) from the classical LOCAL model to a number of other models that have been studied recently, including the quantum-LOCAL model, finitely-dependent processes, non-signaling model, dynamic-LOCAL model, and online-LOCAL model [e.g. STOC 2024, ICALP 2023].
First, we demonstrate the advantage that finitely-dependent processes have over the classical LOCAL model. We show that all LCL problems solvable with locality $O(\log^\star n)$ in the LOCAL model admit a finitely-dependent distribution (with constant locality). In particular, this gives a finitely-dependent coloring for regular trees, answering an open question by Holroyd [2023]. This also introduces a new formal barrier for understanding the distributed quantum advantage: it is not possible to exclude quantum advantage for any LCL in the $Θ(\log^\star n)$ complexity class by using non-signaling arguments.
Second, we put limits on the capabilities of all of these models. To this end, we introduce a model called randomized online-LOCAL, which is strong enough to simulate e.g. SLOCAL and dynamic-LOCAL, and we show that it is also strong enough to simulate any non-signaling distribution and hence any quantum-LOCAL algorithm. We prove the following result for rooted trees: if we can solve an LCL problem with locality $o(\log \log n)$ in the randomized online-LOCAL model, we can solve it with locality $O(\log^\star n)$ in the classical deterministic LOCAL model.
Put together, these results show that in rooted trees the set of LCLs that can be solved with locality $O(\log^\star n)$ is the same across all these models: classical deterministic and randomized LOCAL, quantum-LOCAL, non-signaling model, dynamic-LOCAL, and deterministic and randomized online-LOCAL.
△ Less
Submitted 9 April, 2024; v1 submitted 4 March, 2024;
originally announced March 2024.
-
Experimental genuine quantum nonlocality in the triangle network
Authors:
Ning-Ning Wang,
Chao Zhang,
Huan Cao,
Kai Xu,
Bi-Heng Liu,
Yun-Feng Huang,
Chuan-Feng Li,
Guang-Can Guo,
Nicolas Gisin,
Tamás Kriváchy,
Marc-Olivier Renou
Abstract:
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 i…
▽ 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 (Entropy 21, 325) 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, and through the violation of a family of conjectured inequalities tailored for the triangle network.
△ Less
Submitted 27 January, 2024;
originally announced January 2024.
-
Certifying ground-state properties of quantum many-body systems
Authors:
Jie Wang,
Jacopo Surace,
Irénée Frérot,
Benoît Legat,
Marc-Olivier Renou,
Victor Magron,
Antonio Acín
Abstract:
A ubiquitous problem in quantum physics is to understand the ground-state properties of many-body systems. Confronted with the fact that exact diagonalisation quickly becomes impossible when increasing the system size, variational approaches are typically employed as a scalable alternative: energy is minimised over a subset of all possible states and then different physical quantities are computed…
▽ More
A ubiquitous problem in quantum physics is to understand the ground-state properties of many-body systems. Confronted with the fact that exact diagonalisation quickly becomes impossible when increasing the system size, variational approaches are typically employed as a scalable alternative: energy is minimised over a subset of all possible states and then different physical quantities are computed over the solution state. Despite remarkable success, rigorously speaking, all what variational methods offer are upper bounds on the ground-state energy. On the other hand, so-called relaxations of the ground-state problem based on semidefinite programming represent a complementary approach, providing lower bounds to the ground-state energy. However, in their current implementation, neither variational nor relaxation methods offer provable bound on other observables in the ground state beyond the energy. In this work, we show that the combination of the two classes of approaches can be used to derive certifiable bounds on the value of any observable in the ground state, such as correlation functions of arbitrary order, structure factors, or order parameters. We illustrate the power of this approach in paradigmatic examples of 1D and 2D spin-one-half Heisenberg models. To improve the scalability of the method, we exploit the symmetries and sparsity of the considered systems to reach sizes of hundreds of particles at much higher precision than previous works. Our analysis therefore shows how to obtain certifiable bounds on many-body ground-state properties beyond energy in a scalable way.
△ Less
Submitted 4 March, 2024; v1 submitted 9 October, 2023;
originally announced October 2023.
-
No distributed quantum advantage for approximate graph coloring
Authors:
Xavier Coiteux-Roy,
Francesco d'Amore,
Rishikesh Gajjala,
Fabian Kuhn,
François Le Gall,
Henrik Lievonen,
Augusto Modanese,
Marc-Olivier Renou,
Gustav Schmid,
Jukka Suomela
Abstract:
We give an almost complete characterization of the hardness of $c$-coloring $χ$-chromatic graphs with distributed algorithms, for a wide range of models of distributed computing. In particular, we show that these problems do not admit any distributed quantum advantage. To do that: 1) We give a new distributed algorithm that finds a $c$-coloring in $χ$-chromatic graphs in…
▽ More
We give an almost complete characterization of the hardness of $c$-coloring $χ$-chromatic graphs with distributed algorithms, for a wide range of models of distributed computing. In particular, we show that these problems do not admit any distributed quantum advantage. To do that: 1) We give a new distributed algorithm that finds a $c$-coloring in $χ$-chromatic graphs in $\tilde{\mathcal{O}}(n^{\frac{1}α})$ rounds, with $α= \bigl\lfloor\frac{c-1}{χ- 1}\bigr\rfloor$. 2) We prove that any distributed algorithm for this problem requires $Ω(n^{\frac{1}α})$ rounds.
Our upper bound holds in the classical, deterministic LOCAL model, while the near-matching lower bound holds in the non-signaling model. This model, introduced by Arfaoui and Fraigniaud in 2014, captures all models of distributed graph algorithms that obey physical causality; this includes not only classical deterministic LOCAL and randomized LOCAL but also quantum-LOCAL, even with a pre-shared quantum state.
We also show that similar arguments can be used to prove that, e.g., 3-coloring 2-dimensional grids or $c$-coloring trees remain hard problems even for the non-signaling model, and in particular do not admit any quantum advantage. Our lower-bound arguments are purely graph-theoretic at heart; no background on quantum information theory is needed to establish the proofs.
△ Less
Submitted 22 March, 2024; v1 submitted 18 July, 2023;
originally announced July 2023.
-
Nonlocality under Computational Assumptions
Authors:
Khashayar Barooti,
Alexandru Gheorghiu,
Grzegorz Głuch,
Marc-Olivier Renou
Abstract:
Nonlocality and its connections to entanglement are fundamental features of quantum mechanics that have found numerous applications in quantum information science. A set of correlations is said to be nonlocal if it cannot be reproduced by spacelike-separated parties sharing randomness and performing local operations. An important practical consideration is that the runtime of the parties has to be…
▽ More
Nonlocality and its connections to entanglement are fundamental features of quantum mechanics that have found numerous applications in quantum information science. A set of correlations is said to be nonlocal if it cannot be reproduced by spacelike-separated parties sharing randomness and performing local operations. An important practical consideration is that the runtime of the parties has to be shorter than the time it takes light to travel between them. One way to model this restriction is to assume that the parties are computationally bounded. We therefore initiate the study of nonlocality under computational assumptions and derive the following results:
(a) We define the set $\mathsf{NeL}$ (not-efficiently-local) as consisting of all bipartite states whose correlations arising from local measurements cannot be reproduced with shared randomness and \emph{polynomial-time} local operations.
(b) Under the assumption that the Learning With Errors problem cannot be solved in \emph{quantum} polynomial-time, we show that $\mathsf{NeL}=\mathsf{ENT}$, where $\mathsf{ENT}$ is the set of \emph{all} bipartite entangled states (pure and mixed). This is in contrast to the standard notion of nonlocality where it is known that some entangled states, e.g. Werner states, are local. In essence, we show that there exist (efficient) local measurements producing correlations that cannot be reproduced through shared randomness and quantum polynomial-time computation.
(c) We prove that if $\mathsf{NeL}=\mathsf{ENT}$ unconditionally, then $\mathsf{BQP}\neq\mathsf{PP}$. In other words, the ability to certify all bipartite entangled states against computationally bounded adversaries gives a non-trivial separation of complexity classes.
(d) Using (c), we show that a certain natural class of 1-round delegated quantum computation protocols that are sound against $\mathsf{PP}$ provers cannot exist.
△ Less
Submitted 28 November, 2023; v1 submitted 3 March, 2023;
originally announced March 2023.
-
Two convergent NPA-like hierarchies for the quantum bilocal scenario
Authors:
Marc-Olivier Renou,
Xiangling Xu,
Laurens T. Ligthart
Abstract:
Characterising the correlations that arise from locally measuring a single part of a joint quantum system is one of the main problems of quantum information theory. The seminal work [M. Navascués et al, NJP 10,7,073013 (2008)], known as the NPA hierarchy, reformulated this question as a polynomial optimisation problem over noncommutative variables and proposed a convergent hierarchy of necessary c…
▽ More
Characterising the correlations that arise from locally measuring a single part of a joint quantum system is one of the main problems of quantum information theory. The seminal work [M. Navascués et al, NJP 10,7,073013 (2008)], known as the NPA hierarchy, reformulated this question as a polynomial optimisation problem over noncommutative variables and proposed a convergent hierarchy of necessary conditions, each testable using semidefinite programming. More recently, the problem of characterising the quantum network correlations, which arise when locally measuring several independent quantum systems distributed in a network, has received considerable interest. Several generalisations of the NPA hierarchy, such as the Scalar Extension [Pozas-Kerstjens et al, Phys. Rev. Lett. 123, 140503 (2019)], were introduced while their converging sets remain unknown. In this work, we introduce a new hierarchy, prove its equivalence to the Scalar Extension, and characterise its convergence in the case of the simplest network, the bilocal scenario, and explore its relations with the known generalisations.
△ Less
Submitted 22 March, 2024; v1 submitted 17 October, 2022;
originally announced October 2022.
-
Universal device for two-qubit entangled measurements via photonic quantum walks
Authors:
Wen-Zhe Yan,
Zhibo Hou,
Jun-Feng Tang,
Guo-Yong Xiang,
Chuan-Feng Li,
Guang-Can Guo,
Marc-Olivier Renou
Abstract:
Sophisticated quantum measurements are fundamental to obtain a quantum advantage in many informational problems. Here, we consider the task of guessing a direction encoded in a two-qubit pure state. We experimentally demonstrate that abstention can be used to recover optimal direction guessing (measured in terms of the fidelity and maximum likelihood scores) even from non ideal states. Our protoco…
▽ More
Sophisticated quantum measurements are fundamental to obtain a quantum advantage in many informational problems. Here, we consider the task of guessing a direction encoded in a two-qubit pure state. We experimentally demonstrate that abstention can be used to recover optimal direction guessing (measured in terms of the fidelity and maximum likelihood scores) even from non ideal states. Our protocol uses nine-step photonic quantum walks to implement the optimal five-output two-qubit collective measurements with fidelities above 0.9850. Thanks to abstention, we obtain more than a 10-fold improvement of the direction guessing scores (in terms of deviation to the optimal guessing scores). Our work demonstrates the versatility of photonic quantum walks for implementing many-qubit sophisticated measurements.
△ Less
Submitted 27 February, 2024; v1 submitted 24 April, 2022;
originally announced April 2022.
-
Proofs of network quantum nonlocality in continuous families of distributions
Authors:
Alejandro Pozas-Kerstjens,
Nicolas Gisin,
Marc-Olivier Renou
Abstract:
The study of nonlocality in scenarios that depart from the bipartite Einstein-Podolsky-Rosen setup is allowing to uncover many fundamental features of quantum mechanics. Recently, an approach to building network-local models based on machine learning lead to the conjecture that the family of quantum triangle distributions of [arXiv:1905.04902] did not admit triangle-local models in a larger range…
▽ More
The study of nonlocality in scenarios that depart from the bipartite Einstein-Podolsky-Rosen setup is allowing to uncover many fundamental features of quantum mechanics. Recently, an approach to building network-local models based on machine learning lead to the conjecture that the family of quantum triangle distributions of [arXiv:1905.04902] did not admit triangle-local models in a larger range than the original proof. We prove part of this conjecture in the affirmative. Our approach consists in reducing the family of original, four-outcome distributions to families of binary-outcome ones, and then using the inflation technique to prove that these families of binary-outcome distributions do not admit triangle-local models. This constitutes the first successful use of inflation in a proof of quantum nonlocality in networks whose nonlocality could not be proved with alternative methods. Moreover, we provide a method to extend proofs of network nonlocality in concrete distributions of a parametrized family to continuous ranges of the parameter. In the process, we produce a large collection of network Bell inequalities for the triangle scenario with binary outcomes, which are of independent interest.
△ Less
Submitted 28 February, 2023; v1 submitted 30 March, 2022;
originally announced March 2022.
-
Network Nonlocality via Rigidity of Token-Counting and Color-Matching
Authors:
Marc-Olivier Renou,
Salman Beigi
Abstract:
Network Nonlocality is the study of the Network Nonlocal correlations created by several independent entangled states shared in a network. In this paper, we provide the first two generic strategies to produce nonlocal correlations in large classes of networks without input. In the first one, called Token-Counting (TC), each source distributes a fixed number of tokens and each party counts the numb…
▽ More
Network Nonlocality is the study of the Network Nonlocal correlations created by several independent entangled states shared in a network. In this paper, we provide the first two generic strategies to produce nonlocal correlations in large classes of networks without input. In the first one, called Token-Counting (TC), each source distributes a fixed number of tokens and each party counts the number of received tokens. In the second one, called Color-Matching (CM), each source takes a color and a party checks if the color of neighboring sources match. Using graph theoretic tools and Finner's inequality, we show that TC and CM distributions are rigid in wide classes of networks, meaning that there is essentially a unique classical strategy to simulate such correlations. Using this rigidity property, we show that certain quantum TC and CM strategies produce correlations that cannot be produced classicality. This leads us to several examples of Network Nonlocality without input. These examples involve creation of coherence throughout the whole network, which we claim to be a fingerprint of genuine forms of Network Nonlocality. This work extends a more compact parallel work [Nonlocality for Generic Networks, arXiv:2011.02769] on the same subject and provides all the required technical proofs.
△ Less
Submitted 12 February, 2022; v1 submitted 2 February, 2022;
originally announced February 2022.
-
Experimental Demonstration that No Tripartite-Nonlocal Causal Theory Explains Nature's Correlations
Authors:
Huan Cao,
Marc-Olivier Renou,
Chao Zhang,
Gaël Massé,
Xavier Coiteux-Roy,
Bi-Heng Liu,
Yun-Feng Huang,
Chuan-Feng Li,
Guang-Can Guo,
Elie Wolfe
Abstract:
Quantum theory predicts the existence of genuinely tripartite-entangled states, which cannot be obtained from local operations over any bipartite entangled states and unlimited shared randomness. Some of us recently proved that this feature is a fundamental signature of quantum theory. The state $\left|{GHZ}_3\right\rangle=(\left|000\right\rangle+\left|111\right\rangle)/\sqrt{2}$ gives rise to tri…
▽ More
Quantum theory predicts the existence of genuinely tripartite-entangled states, which cannot be obtained from local operations over any bipartite entangled states and unlimited shared randomness. Some of us recently proved that this feature is a fundamental signature of quantum theory. The state $\left|{GHZ}_3\right\rangle=(\left|000\right\rangle+\left|111\right\rangle)/\sqrt{2}$ gives rise to tripartite quantum correlations which cannot be explained by any causal theory limited to bipartite nonclassical common causes of any kind (generalising entanglement) assisted with unlimited shared randomness. Hence, any conceivable physical theory which would reproduce quantum predictions will necessarily include genuinely tripartite resources.
In this work, we verify that such tripartite correlations are experimentally achievable. We derive a new device-independent witness capable of falsifying causal theories wherein nonclassical resources are merely bipartite. Using a high-performance photonic $\left|{GHZ}_3\right\rangle$ states with fidelities of $ 0.9741\pm0.002$, we provide a clear experimental violation of that witness by more than $26.3$ standard deviation, under the locality and fair sampling assumption. We generalise our work to the $\left|{GHZ}_4\right\rangle$ state, obtaining correlations which cannot be explained by any causal theory limited to tripartite nonclassical common causes assisted with unlimited shared randomness.
△ Less
Submitted 7 February, 2022; v1 submitted 30 January, 2022;
originally announced January 2022.
-
Quantum networks self-test all entangled states
Authors:
Ivan Šupić,
Joseph Bowles,
Marc-Olivier Renou,
Antonio Acín,
Matty J. Hoban
Abstract:
Certifying quantum properties with minimal assumptions is a fundamental problem in quantum information science. Self-testing is a method to infer the underlying physics of a quantum experiment only from the measured statistics. While all bipartite pure entangled states can be self-tested, little is known about how to self-test quantum states of an arbitrary number of systems. Here, we introduce a…
▽ More
Certifying quantum properties with minimal assumptions is a fundamental problem in quantum information science. Self-testing is a method to infer the underlying physics of a quantum experiment only from the measured statistics. While all bipartite pure entangled states can be self-tested, little is known about how to self-test quantum states of an arbitrary number of systems. Here, we introduce a framework for network-assisted self-testing and use it to self-test any pure entangled quantum state of an arbitrary number of systems. The scheme requires the preparation of a number of singlets that scales linearly with the number of systems, and the implementation of standard projective and Bell measurements, all feasible with current technology. When all the network constraints are exploited, the obtained self-testing certification is stronger than what is achievable in any Bell-type scenario. Our work does not only solve an open question in the field, but also shows how properly designed networks offer new opportunities for the certification of quantum phenomena.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
Testing real quantum theory in an optical quantum network
Authors:
Zheng-Da Li,
Ya-Li Mao,
Mirjam Weilenmann,
Armin Tavakoli,
Hu Chen,
Lixin Feng,
Sheng-Jun Yang,
Marc-Olivier Renou,
David Trillo,
Thinh P. Le,
Nicolas Gisin,
Antonio Acín,
Miguel Navascués,
Zizhu Wang,
**gyun Fan
Abstract:
Quantum theory is commonly formulated in complex Hilbert spaces. However, the question of whether complex numbers need to be given a fundamental role in the theory has been debated since its pioneering days. Recently it has been shown that tests in the spirit of a Bell inequality can reveal quantum predictions in entanglement swap** scenarios that cannot be modelled by the natural real-number an…
▽ More
Quantum theory is commonly formulated in complex Hilbert spaces. However, the question of whether complex numbers need to be given a fundamental role in the theory has been debated since its pioneering days. Recently it has been shown that tests in the spirit of a Bell inequality can reveal quantum predictions in entanglement swap** scenarios that cannot be modelled by the natural real-number analog of standard quantum theory. Here, we tailor such tests for implementation in state-of-the-art photonic systems. We experimentally demonstrate quantum correlations in a network of three parties and two independent EPR sources that violate the constraints of real quantum theory by over $4.5$ standard deviations, hence disproving real quantum theory as a universal physical theory.
△ Less
Submitted 30 November, 2021;
originally announced November 2021.
-
Single-photon nonlocality in quantum networks
Authors:
Paolo Abiuso,
Tamás Kriváchy,
Emanuel-Cristian Boghiu,
Marc-Olivier Renou,
Alejandro Pozas-Kerstjens,
Antonio Acín
Abstract:
The state obtained when a single photon im**es on a balanced beamsplitter is often known as single-photon entangled and its nonlocal properties have been the subject of intense debates in the quantum optics and foundations communities. It is however clear that a standard Bell test made only of passive optical elements cannot reveal the nonlocality of this state. We show that the nonlocality of s…
▽ More
The state obtained when a single photon im**es on a balanced beamsplitter is often known as single-photon entangled and its nonlocal properties have been the subject of intense debates in the quantum optics and foundations communities. It is however clear that a standard Bell test made only of passive optical elements cannot reveal the nonlocality of this state. We show that the nonlocality of single-photon entangled states can nevertheless be revealed in a quantum network made only of beamsplitters and photodetectors. In our protocol, three single-photon entangled states are distributed in a triangle network, introducing indeterminacy in the photons' paths and creating nonlocal correlations without the need for measurements choices. We discuss a concrete experimental realisation and provide numerical evidence of the tolerance of our protocol to standard noise sources. Our results show that single-photon entanglement may constitute a promising solution to generate genuine network-nonlocal correlations useful for Bell-based quantum information protocols.
△ Less
Submitted 8 April, 2022; v1 submitted 3 August, 2021;
originally announced August 2021.
-
No Bipartite-Nonlocal Causal Theory Can Explain Nature's Correlations
Authors:
Xavier Coiteux-Roy,
Elie Wolfe,
Marc-Olivier Renou
Abstract:
We show that some tripartite quantum correlations are inexplicable by any causal theory involving bipartite nonclassical common causes and unlimited shared randomness. This constitutes a device-independent proof that Nature's nonlocality is fundamentally at least tripartite in every conceivable physical theory - no matter how exotic. To formalize this claim we are compelled to substitute Svetlichn…
▽ More
We show that some tripartite quantum correlations are inexplicable by any causal theory involving bipartite nonclassical common causes and unlimited shared randomness. This constitutes a device-independent proof that Nature's nonlocality is fundamentally at least tripartite in every conceivable physical theory - no matter how exotic. To formalize this claim we are compelled to substitute Svetlichny's historical definition of genuine tripartite nonlocality with a novel theory-agnostic definition tied to the framework of Local Operations and Shared Randomness (LOSR). A companion article [PRA. 104, 052207 (2021)] generalizes these concepts to any number of parties, providing experimentally amenable device-independent inequality constraints along with quantum correlations violating them, thereby certifying that Nature's nonlocality must be boundlessly multipartite.
△ Less
Submitted 11 November, 2021; v1 submitted 19 May, 2021;
originally announced May 2021.
-
Any Physical Theory of Nature Must Be Boundlessly Multipartite Nonlocal
Authors:
Xavier Coiteux-Roy,
Elie Wolfe,
Marc-Olivier Renou
Abstract:
We introduce the class of Genuinely Local Operation and Shared Randomness (LOSR) Multipartite Nonlocal correlations, that is, correlations between N parties that cannot be obtained from unlimited shared randomness supplemented by any composition of (N-1)-shared causal Generalized-Probabilistic-Theory (GPT) resources. We then show that noisy N-partite GHZ quantum states as well as the 3-partite W q…
▽ More
We introduce the class of Genuinely Local Operation and Shared Randomness (LOSR) Multipartite Nonlocal correlations, that is, correlations between N parties that cannot be obtained from unlimited shared randomness supplemented by any composition of (N-1)-shared causal Generalized-Probabilistic-Theory (GPT) resources. We then show that noisy N-partite GHZ quantum states as well as the 3-partite W quantum state can produce such correlations. This proves, if the operational predictions of quantum theory are correct, that Nature's nonlocality must be boundlessly multipartite in any causal GPT. We develop a computational method which certifies that a noisy N=3 GHZ quantum state with fidelity 85 percent satisfies this property, making an experimental demonstration of our results within reach. We motivate our definition and contrast it with preexisting notions of genuine multipartite nonlocality. This work extends a more compact parallel letter [Phys. Rev. Lett. 127, 200401 (2021)] on the same subject and provides all the required technical proofs.
△ Less
Submitted 11 November, 2021; v1 submitted 19 May, 2021;
originally announced May 2021.
-
Bell nonlocality in networks
Authors:
Armin Tavakoli,
Alejandro Pozas-Kerstjens,
Ming-Xing Luo,
Marc-Olivier Renou
Abstract:
Bell's theorem proves that quantum theory is inconsistent with local physical models. It has propelled research in the foundations of quantum theory and quantum information science. As a fundamental feature of quantum theory, it impacts predictions far beyond the traditional scenario of the Einstein-Podolsky-Rosen paradox. In the last decade, the investigation of nonlocality has moved beyond Bell'…
▽ More
Bell's theorem proves that quantum theory is inconsistent with local physical models. It has propelled research in the foundations of quantum theory and quantum information science. As a fundamental feature of quantum theory, it impacts predictions far beyond the traditional scenario of the Einstein-Podolsky-Rosen paradox. In the last decade, the investigation of nonlocality has moved beyond Bell's theorem to consider more sophisticated experiments that involve several independent sources which distribute shares of physical systems among many parties in a network. Network scenarios, and the nonlocal correlations that they give rise to, lead to phenomena that have no counterpart in traditional Bell experiments, thus presenting a formidable conceptual and practical challenge. This review discusses the main concepts, methods, results and future challenges in the emerging topic of Bell nonlocality in networks.
△ Less
Submitted 5 April, 2022; v1 submitted 21 April, 2021;
originally announced April 2021.
-
Covariance Decomposition as a Universal Limit on Correlations in Networks
Authors:
Salman Beigi,
Marc-Olivier Renou
Abstract:
Parties connected to independent sources through a network can generate correlations among themselves. Notably, the space of feasible correlations for a given network, depends on the physical nature of the sources and the measurements performed by the parties. In particular, quantum sources give access to nonlocal correlations that cannot be generated classically. In this paper, we derive a univer…
▽ More
Parties connected to independent sources through a network can generate correlations among themselves. Notably, the space of feasible correlations for a given network, depends on the physical nature of the sources and the measurements performed by the parties. In particular, quantum sources give access to nonlocal correlations that cannot be generated classically. In this paper, we derive a universal limit on correlations in networks in terms of their covariance matrix. We show that in a network satisfying a certain condition, the covariance matrix of any feasible correlation can be decomposed as a summation of positive semidefinite matrices each of whose terms corresponds to a source in the network. Our result is universal in the sense that it holds in any physical theory of correlation in networks, including the classical, quantum and all generalized probabilistic theories.
△ Less
Submitted 12 February, 2022; v1 submitted 27 March, 2021;
originally announced March 2021.
-
Quantum theory based on real numbers can be experimentally falsified
Authors:
Marc-Olivier Renou,
David Trillo,
Mirjam Weilenmann,
Thinh P. Le,
Armin Tavakoli,
Nicolas Gisin,
Antonio Acin,
Miguel Navascues
Abstract:
While complex numbers are essential in mathematics, they are not needed to describe physical experiments, expressed in terms of probabilities, hence real numbers. Physics however aims to explain, rather than describe, experiments through theories. While most theories of physics are based on real numbers, quantum theory was the first to be formulated in terms of operators acting on complex Hilbert…
▽ More
While complex numbers are essential in mathematics, they are not needed to describe physical experiments, expressed in terms of probabilities, hence real numbers. Physics however aims to explain, rather than describe, experiments through theories. While most theories of physics are based on real numbers, quantum theory was the first to be formulated in terms of operators acting on complex Hilbert spaces. This has puzzled countless physicists, including the fathers of the theory, for whom a real version of quantum theory, in terms of real operators, seemed much more natural. In fact, previous works showed that such "real quantum theory" can reproduce the outcomes of any multipartite experiment, as long as the parts share arbitrary real quantum states. Thus, are complex numbers really needed in the quantum formalism? Here, we show this to be case by proving that real and complex quantum theory make different predictions in network scenarios comprising independent states and measurements. This allows us to devise a Bell-like experiment whose successful realization would disprove real quantum theory, in the same way as standard Bell experiments disproved local physics.
△ Less
Submitted 27 December, 2021; v1 submitted 26 January, 2021;
originally announced January 2021.
-
Nonlocality for Generic Networks
Authors:
Marc-Olivier Renou,
Salman Beigi
Abstract:
Bell's theorem shows that correlations created by a single entangled quantum state cannot be reproduced classically. Such correlations are called Nonlocal. They are the elementary manifestation of a broader phenomenon called Network Nonlocality, where several entangled states shared in a network create Network Nonlocal correlations. In this paper, we provide the first class of strategies producing…
▽ More
Bell's theorem shows that correlations created by a single entangled quantum state cannot be reproduced classically. Such correlations are called Nonlocal. They are the elementary manifestation of a broader phenomenon called Network Nonlocality, where several entangled states shared in a network create Network Nonlocal correlations. In this paper, we provide the first class of strategies producing nonlocal correlations in generic networks. In these strategies, called Color-Matching (CM), any source takes a color at random or in superposition, where the colors are labels for a basis of the associated Hilbert space. A party (besides other things) checks if the color of neighboring sources match. We show that in a large class of networks without input, well-chosen quantum CM strategies result in nonlocal correlations that cannot be produced classically. For our construction, we introduce the graph theoretical concept of rigidity of classical strategies in networks, and using the Finner inequality, establish a deep connection between network nonlocality and graph theory. In particular, we establish a link between CM strategies and the graph coloring problem. This work is extended in a longer paper, Network Nonlocality via Rigidity of Token-Counting and Color-Matching, where we introduce a second family of rigid strategies called Token-Counting, leading to network nonlocality.
△ Less
Submitted 12 February, 2022; v1 submitted 5 November, 2020;
originally announced November 2020.
-
Algebraic and geometric properties of local transformations
Authors:
Denis Rosset,
Ämin Baumeler,
Jean-Daniel Bancal,
Nicolas Gisin,
Anthony Martin,
Marc-Olivier Renou,
Elie Wolfe
Abstract:
Some properties of physical systems can be characterized from their correlations. In that framework, subsystems are viewed as abstract devices that receive measurement settings as inputs and produce measurement outcomes as outputs. The labeling convention used to describe these inputs and outputs does not affect the physics; and relabelings are easily implemented by rewiring the input and output p…
▽ More
Some properties of physical systems can be characterized from their correlations. In that framework, subsystems are viewed as abstract devices that receive measurement settings as inputs and produce measurement outcomes as outputs. The labeling convention used to describe these inputs and outputs does not affect the physics; and relabelings are easily implemented by rewiring the input and output ports of the devices. However, a more general class of operations can be achieved by using correlated preprocessing and postprocessing of the inputs and outputs. In contrast to relabelings, some of these operations irreversibly lose information about the underlying device. Other operations are reversible, but modify the number of cardinality of inputs and/or outputs. In this work, we single out the set of deterministic local maps as the one satisfying two equivalent constructions: an operational definition from causality, and an axiomatic definition reminiscent of the definition of quantum completely positive trace-preserving maps. We then study the algebraic properties of that set. Surprisingly, the study of these fundamental properties has deep and practical applications. First, the invariant subspaces of these transformations directly decompose the space of correlations/Bell inequalities into nonsignaling, signaling and normalization components. This impacts the classification of Bell and causal inequalities, and the construction of assemblages/witnesses in steering scenarios. Second, the left and right invertible deterministic local operations provide an operational generalization of the liftings introduced by Pironio [J. Math. Phys., 46(6):062112 (2005)]. Not only Bell-local, but also causal inequalities can be lifted; liftings also apply to correlation boxes in a variety of scenarios.
△ Less
Submitted 20 April, 2020;
originally announced April 2020.
-
Genuine quantum nonlocality in the triangle network
Authors:
Marc-Olivier Renou,
Elisa Bäumer,
Sadra Boreiri,
Nicolas Brunner,
Nicolas Gisin,
Salman Beigi
Abstract:
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 nonl…
▽ 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. Finally, we conclude with some open questions.
△ Less
Submitted 13 May, 2019;
originally announced May 2019.
-
Limits on correlations in networks for quantum and no-signaling resources
Authors:
Marc-Olivier Renou,
Yuyi Wang,
Sadra Boreiri,
Salman Beigi,
Nicolas Gisin,
Nicolas Brunner
Abstract:
A quantum network consists of independent sources distributing entangled states to distant nodes which can then perform entangled measurements, thus establishing correlations across the entire network. But how strong can these correlations be? Here we address this question, by deriving bounds on possible quantum correlations in a given network. These bounds are nonlinear inequalities that depend o…
▽ More
A quantum network consists of independent sources distributing entangled states to distant nodes which can then perform entangled measurements, thus establishing correlations across the entire network. But how strong can these correlations be? Here we address this question, by deriving bounds on possible quantum correlations in a given network. These bounds are nonlinear inequalities that depend only on the topology of the network. We discuss in detail the notably challenging case of the triangle network. Moreover, we conjecture that our bounds hold in general no-signaling theories. In particular, we prove that our inequalities for the triangle network hold when the sources are arbitrary no-signaling boxes which can be wired together. Finally, we discuss an application of our results for the device-independent characterization of the topology of a quantum network.
△ Less
Submitted 24 January, 2019;
originally announced January 2019.
-
Enabling computation of correlation bounds for finite-dimensional quantum systems via symmetrisation
Authors:
Armin Tavakoli,
Denis Rosset,
Marc-Olivier Renou
Abstract:
We present a technique for reducing the computational requirements by several orders of magnitude in the evaluation of semidefinite relaxations for bounding the set of quantum correlations arising from finite-dimensional Hilbert spaces. The technique, which we make publicly available through a user-friendly software package, relies on the exploitation of symmetries present in the optimisation prob…
▽ More
We present a technique for reducing the computational requirements by several orders of magnitude in the evaluation of semidefinite relaxations for bounding the set of quantum correlations arising from finite-dimensional Hilbert spaces. The technique, which we make publicly available through a user-friendly software package, relies on the exploitation of symmetries present in the optimisation problem to reduce the number of variables and the block sizes in semidefinite relaxations. It is widely applicable in problems encountered in quantum information theory and enables computations that were previously too demanding. We demonstrate its advantages and general applicability in several physical problems. In particular, we use it to robustly certify the non-projectiveness of high-dimensional measurements in a black-box scenario based on self-tests of $d$-dimensional symmetric informationally complete POVMs.
△ Less
Submitted 11 December, 2018; v1 submitted 7 August, 2018;
originally announced August 2018.
-
Self-testing entangled measurements in quantum networks
Authors:
Marc-Olivier Renou,
Jędrzej Kaniewski,
Nicolas Brunner
Abstract:
Self-testing refers to the possibility of characterizing an unknown quantum device based only on the observed statistics. Here we develop methods for self-testing entangled quantum measurements, a key element for quantum networks. Our approach is based on the natural assumption that separated physical sources in a network should be considered independent. This provides a natural formulation of the…
▽ More
Self-testing refers to the possibility of characterizing an unknown quantum device based only on the observed statistics. Here we develop methods for self-testing entangled quantum measurements, a key element for quantum networks. Our approach is based on the natural assumption that separated physical sources in a network should be considered independent. This provides a natural formulation of the problem of certifying entangled measurements. Considering the setup of entanglement swap**, we derive a robust self-test for the Bell-state measurement, tolerating noise levels up to 5%. We also discuss generalizations to other entangled measurements.
△ Less
Submitted 23 May, 2022; v1 submitted 13 July, 2018;
originally announced July 2018.
-
Semi-device-independent characterisation of multipartite entangled states and measurements
Authors:
Armin Tavakoli,
Alastair A. Abbott,
Marc-Olivier Renou,
Nicolas Gisin,
Nicolas Brunner
Abstract:
The semi-device-independent framework allows one to draw conclusions about properties of an unknown quantum system under weak assumptions. Here we present a semi-device-independent scheme for the characterisation of multipartite entanglement based around a game played by several isolated parties whose devices are uncharacterised beyond an assumption about the dimension of their Hilbert spaces. Our…
▽ More
The semi-device-independent framework allows one to draw conclusions about properties of an unknown quantum system under weak assumptions. Here we present a semi-device-independent scheme for the characterisation of multipartite entanglement based around a game played by several isolated parties whose devices are uncharacterised beyond an assumption about the dimension of their Hilbert spaces. Our scheme can certify that an $n$-partite high-dimensional quantum state features genuine multipartite entanglement. Moreover, the scheme can certify that a joint measurement on $n$ subsystems is entangled, and provides a lower bound on the number of entangled measurement operators. These tests are strongly robust to noise, and even optimal for certain classes of states and measurements, as we demonstrate with illustrative examples. Notably, our scheme allows for the certification of many entangled states admitting a local model, which therefore cannot violate any Bell inequality.
△ Less
Submitted 1 May, 2018;
originally announced May 2018.
-
Robust Macroscopic Quantum Measurements in the presence of limited control and knowledge
Authors:
Marc-Olivier Renou,
Nicolas Gisin,
Florian Fröwis
Abstract:
Quantum measurements have intrinsic properties which seem incompatible with our everyday-life macroscopic measurements. Macroscopic Quantum Measurement (MQM) is a concept that aims at bridging the gap between well understood microscopic quantum measurements and macroscopic classical measurements. In this paper, we focus on the task of the polarization direction estimation of a system of $N$ spins…
▽ More
Quantum measurements have intrinsic properties which seem incompatible with our everyday-life macroscopic measurements. Macroscopic Quantum Measurement (MQM) is a concept that aims at bridging the gap between well understood microscopic quantum measurements and macroscopic classical measurements. In this paper, we focus on the task of the polarization direction estimation of a system of $N$ spins $1/2$ particles and investigate the model some of us proposed in Barnea et al., 2017. This model is based on a von Neumann pointer measurement, where each spin component of the system is coupled to one of the three spatial components direction of a pointer. It shows traits of a classical measurement for an intermediate coupling strength. We investigate relaxations of the assumptions on the initial knowledge about the state and on the control over the MQM. We show that the model is robust with regard to these relaxations. It performs well for thermal states and a lack of knowledge about the size of the system. Furthermore, a lack of control on the MQM can be compensated by repeated "ultra-weak" measurements.
△ Less
Submitted 16 January, 2018; v1 submitted 3 November, 2017;
originally announced November 2017.
-
General measure for macroscopic quantum states beyond "dead and alive"
Authors:
Pavel Sekatski,
Benjamin Yadin,
Marc-Olivier Renou,
Wolfgang Dür,
Nicolas Gisin,
Florian Fröwis
Abstract:
We consider the characterization of quantum superposition states beyond the pattern "dead and alive". We propose a measure that is applicable to superpositions of multiple macroscopically distinct states, superpositions with different weights as well as mixed states. The measure is based on the mutual information to characterize the distinguishability between multiple superposition states. This al…
▽ More
We consider the characterization of quantum superposition states beyond the pattern "dead and alive". We propose a measure that is applicable to superpositions of multiple macroscopically distinct states, superpositions with different weights as well as mixed states. The measure is based on the mutual information to characterize the distinguishability between multiple superposition states. This allows us to overcome limitations of previous proposals, and to bridge the gap between general measures for macroscopic quantumness and measures for Schrödinger-cat type superpositions. We discuss a number of relevant examples, provide an alternative definition using basis-dependent quantum discord and reveal connections to other proposals in the literature. Finally, we also show the connection between the size of quantum states as quantified by our measure and their vulnerability to noise.
△ Less
Submitted 12 February, 2022; v1 submitted 7 April, 2017;
originally announced April 2017.
-
Correlations in star networks: from Bell inequalities to network inequalities
Authors:
Armin Tavakoli,
Marc-Olivier Renou,
Nicolas Gisin,
Nicolas Brunner
Abstract:
The problem of characterizing classical and quantum correlations in networks is considered. Contrary to the usual Bell scenario, where distant observers share a physical system emitted by one common source, a network features several independent sources, each distributing a physical system to a subset of observers. In the quantum setting, the observers can perform joint measurements on initially i…
▽ More
The problem of characterizing classical and quantum correlations in networks is considered. Contrary to the usual Bell scenario, where distant observers share a physical system emitted by one common source, a network features several independent sources, each distributing a physical system to a subset of observers. In the quantum setting, the observers can perform joint measurements on initially independent systems, which may lead to strong correlations across the whole network. In this work, we introduce a technique to systematically map a Bell inequality to a family of Bell-type inequalities bounding classical correlations on networks in a star-configuration. Also, we show that whenever a given Bell inequality can be violated by some entangled state $ρ$, then all the corresponding network inequalities can be violated by considering many copies of $ρ$ distributed in the star network. The relevance of these ideas is illustrated by applying our method to a specific multi-setting Bell inequality. We derive the corresponding network inequalities, and study their quantum violations.
△ Less
Submitted 13 February, 2017;
originally announced February 2017.
-
All entangled pure quantum states violate the bilocality inequality
Authors:
Nicolas Gisin,
Quanxin Mei,
Armin Tavakoli,
Marc-Olivier Renou,
Nicolas Brunner
Abstract:
The nature of quantum correlations in networks featuring independent sources of entanglement remains poorly understood. Here, focusing on the simplest network of entanglement swap**, we start a systematic characterization of the set of quantum states leading to violation of the so-called "bilocality" inequality. First, we show that all possible pairs of entangled pure states can violate the ineq…
▽ More
The nature of quantum correlations in networks featuring independent sources of entanglement remains poorly understood. Here, focusing on the simplest network of entanglement swap**, we start a systematic characterization of the set of quantum states leading to violation of the so-called "bilocality" inequality. First, we show that all possible pairs of entangled pure states can violate the inequality. Next, we derive a general criterion for violation for arbitrary pairs of mixed two-qubit states. Notably, this reveals a strong connection between the CHSH Bell inequality and the bilocality inequality, namely that any entangled state violating CHSH also violates the bilocality inequality. We conclude with a list of open questions.
△ Less
Submitted 1 February, 2017;
originally announced February 2017.
-
On the inequivalence of the CH and CHSH inequalities due to finite statistics
Authors:
Marc-Olivier Renou,
Denis Rosset,
Anthony Martin,
Nicolas Gisin
Abstract:
Different variants of a Bell inequality, such as CHSH and CH, are known to be equivalent when evaluated on nonsignaling outcome probability distributions. However, in experimental setups, the outcome probability distributions are estimated using a finite number of samples. Therefore the nonsignaling conditions are only approximately satisfied and the robustness of the violation depends on the chos…
▽ More
Different variants of a Bell inequality, such as CHSH and CH, are known to be equivalent when evaluated on nonsignaling outcome probability distributions. However, in experimental setups, the outcome probability distributions are estimated using a finite number of samples. Therefore the nonsignaling conditions are only approximately satisfied and the robustness of the violation depends on the chosen inequality variant. We explain that phenomenon using the decomposition of the space of outcome probability distributions under the action of the symmetry group of the scenario, and propose a method to optimize the statistical robustness of a Bell inequality. In the process, we describe the finite group composed of relabeling of parties, measurement settings and outcomes, and identify correspondences between the irreducible representations of this group and properties of outcome probability distributions such as normalization, signaling or having uniform marginals.
△ Less
Submitted 12 February, 2022; v1 submitted 6 October, 2016;
originally announced October 2016.
-
Macroscopic Quantum Measurements of noncommuting observables
Authors:
Tomer Jack Barnea,
Marc-Olivier Renou,
Florian Fröwis,
Nicolas Gisin
Abstract:
Assuming a well-behaving quantum-to-classical transition, measuring large quantum systems should be highly informative with low measurement-induced disturbance, while the coupling between system and measurement apparatus is "fairly simple" and weak. Here, we show that this is indeed possible within the formalism of quantum mechanics. We discuss an example of estimating the collective magnetization…
▽ More
Assuming a well-behaving quantum-to-classical transition, measuring large quantum systems should be highly informative with low measurement-induced disturbance, while the coupling between system and measurement apparatus is "fairly simple" and weak. Here, we show that this is indeed possible within the formalism of quantum mechanics. We discuss an example of estimating the collective magnetization of a spin ensemble by simultaneous measuring three orthogonal spin directions. For the task of estimating the direction of a spin-coherent state, we find that the average guessing fidelity and the system disturbance are nonmonotonic functions of the coupling strength. Strikingly, we discover an intermediate regime for the coupling strength where the guessing fidelity is quasi-optimal, while the measured state is almost not disturbed.
△ Less
Submitted 18 July, 2017; v1 submitted 19 May, 2016;
originally announced May 2016.