arXiv:2109.04446 · Physical Review Letters

Entanglement and Superposition Are Equivalent Concepts in Any Physical Theory

Guillaume Aubrun, Ludovico Lami, Carlos Palazuelos, Martin Plávala

Published Apr 22, 2022• 47 citations

Abstract

We prove that given any two general probabilistic theories (GPTs) the following are equivalent: (i) each theory is nonclassical, meaning that neither of their state spaces is a simplex; (ii) each theory satisfies a strong notion of incompatibility equivalent to the existence of "superpositions"; and (iii) the two theories are entangleable, in the sense that their composite exhibits either entangled states or entangled measurements. Intuitively, in the post-quantum GPT setting, a superposition is a set of two binary ensembles of states that are unambiguously distinguishable if the ensemble is revealed before the measurement has occurred, but not if it is revealed after. This notion is important because we show that, just like in quantum theory, superposition in the form of strong incompatibility is sufficient to realize the Bennett-Brassard 1984 protocol for secret key distribution.

DOI: 10.1103/physrevlett.128.160402

Related papers

Universal entangleability of non-classical theories

Guillaume Aubrun, Ludovico Lami, Carlos Palazuelos

Inspired by its fundamental importance in quantum mechanics, we define and study the notion of entanglement for abstract physical theories, investigating its profound connection with the concept of superposition. We adopt the formalism of general probabilistic theories (GPTs), encompassing all physical models whose predictive power obeys minimal requirements. Examples include classical theories, which do not exhibit superposition and whose state space has the shape of a simplex, quantum mechanics, as well as more exotic models such as Popescu-Rohrlich boxes. We call two GPTs entangleable if their composite admits either entangled states or entangled measurements, and conjecture that any two non-classical theories are in fact entangleable. We present substantial evidence towards this conjecture by proving it (1) for the simplest case of 3-dimensional theories; (2) when the local state spaces are discrete, which covers foundationally relevant cases; (3) when one of the local theories is quantum mechanics. Furthermore, (4) we envision the existence of a quantitative relation between local non-classicality and global entangleability, explicitly describing it in the geometrically natural case where the local state spaces are centrally symmetric.

arXiv:1910.04745Oct 10, 20194 citations

Incompatible measurements in a class of general probabilistic theories

Anna Jenčová

We study incompatibility of measurements and its relation to steering and nonlocality in a class of finite-dimensional general probabilistic theories (GPTs). The basic idea is to represent finite collections of measurements as affine maps of a state space into a polysimplex and show that incompatibility is characterized by properties of these maps. We introduce the notion of an incompatibility witness and show its relation to incompatibility degree. We find the largest incompatibility degree attainable by pairs of two-outcome quantum measurements and characterize state spaces for which incompatibility degree attains maximal values possible in GPTs. As examples, we study the spaces of classical and quantum channels and show their close relation to polysimplices. This relation explains the superquantum nonclassical effects that were observed on these spaces.

arXiv:1705.08008Physical Review AJul 25, 201833 citations

Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality

John H. Selby, David Schmid, Elie Wolfe +3 more

The formalism of generalized probabilistic theories (GPTs) was originally developed as a way to characterize the landscape of conceivable physical theories. Thus, the GPT describing a given physical theory necessarily includes all physically possible processes. We here consider the question of how to provide a GPT-like characterization of a particular experimental setup within a given physical theory. We show that the resulting characterization is not generally a GPT in and of itself, rather, it is described by a more general mathematical object that we introduce and term an accessible GPT fragment. We then introduce an equivalence relation, termed cone equivalence, between accessible GPT fragments (and, as a special case, between standard GPTs). We give a number of examples of experimental scenarios that are best described using accessible GPT fragments, and where moreover, cone-equivalence arises naturally. We then prove that an accessible GPT fragment admits of a classical explanation if and only if every other fragment that is cone equivalent to it also admits of a classical explanation. Finally, we leverage this result to prove several fundamental results regarding the experimental requirements for witnessing the failure of generalized noncontextuality. In particular, we prove that neither incompatibility among measurements nor the assumption of freedom of choice is necessary for witnessing failures of generalized noncontextuality, and moreover, that such failures can be witnessed even when using arbitrarily inefficient detectors.

arXiv:2112.04521Physical Review AJun 6, 202335 citations

Characterization of Noncontextuality in the Framework of Generalized Probabilistic Theories

David Schmid, John H. Selby, Elie Wolfe +2 more

To make precise the sense in which the operational predictions of quantum theory conflict with a classical worldview, it is necessary to articulate a notion of classicality within an operational framework.A widely applicable notion of classicality of this sort is whether or not the predictions of a given operational theory can be explained by a generalized-noncontextual ontological model.We here explore what notion of classicality this implies for the generalized probabilistic theory (GPT) that arises from a given operational theory, focusing on prepare-measure scenarios.We first show that, when mapping an operational theory to a GPT by quotienting relative to operational equivalences, the constraint of explainability by a generalized-noncontextual ontological model is mapped to the constraint of explainability by an ontological model.We then show that, under the additional assumption that the ontic state space is of finite cardinality, this constraint on the GPT can be expressed as a geometric condition which we term simplex embeddability.Whereas the traditional notion of classicality for a GPT is that its state space be a simplex and its effect space be the dual of this simplex, simplex embeddability merely requires that its state space be embeddable in a simplex and its effect space in the dual of that simplex.We argue that simplex embeddability constitutes an intuitive and freestanding notion of classicality for GPTs.Our result also has applications to witnessing nonclassicality in prepare-measure experiments.

arXiv:1911.10386PRX QuantumFeb 25, 202171 citations

Non-classical features in general probabilistic theories

Anna Jenčová

We study incompatibility of measurements and its relation to steering and nonlocality in finite dimensional general probabilistic theories (GPT). The basic idea is to represent finite collections of measurements as affine maps of a state space into a polysimplex and show that incompatibility is characterized by properties of these maps. We introduce the notion of an incompatibility witness and show its relation to incompatibility degree. We find the maximum incompatibility degree attainable by pairs of two-outcome quantum measurements and characterize state spaces for which incompatibility degree attains maximal values possible in GPT. As examples, we study the spaces of classical and quantum channels and show their close relation to polysimplices. This relation explains the super-quantum non-classical effects that were observed on these spaces.

May 22, 20172 citations

Non-classical correlations in quantum mechanics and beyond

Ludovico Lami

Is entanglement an exclusive feature of quantum systems, or is it common to all non-classical theories? And if this is the case, how strong is quantum mechanical entanglement as compared to that exhibited by other theories? The first part of this thesis deals with these questions by considering quantum theory as part of a wider landscape of physical theories, collectively called general probabilistic theories (GPTs). Among the other things, this manuscript contains a detailed introduction to the abstract state space formalism for GPTs. We start with a comprehensive review of the proof of a famous theorem by Ludwig that constitutes one of its cornerstones (Ch. 1). After explaining the basic rules of the game, we translate our questions into precise conjectures and present our progress toward a full solution (Ch. 2). In Ch. 3 we consider entanglement at the level of measurements instead of states, focusing on one of its main implications, i.e. data hiding. We determine the maximal data hiding strength that a quantum mechanical system can exhibit, and also the maximum value among all GPTs, finding that the former scales as the square root of the latter. In the second part of this manuscript we look into quantum entanglement. In Ch. 4 we discuss the entanglement transformation properties of a class of maps that model white noise acting either locally or globally on a bipartite system. In Ch. 5 we employ matrix analysis tools to develop a unified approach to Gaussian entanglement. The third part of this thesis concerns more general forms of non-classical correlations in bipartite continuous variable systems. In Ch. 6 we devise a general scheme that allows to consistently classify correlations of bipartite Gaussian states into classical and quantum ones. Finally, Ch. 7 explores some problems connected with a certain strong subadditivity matrix inequality.

arXiv:1803.02902Mar 7, 201830 citations