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:1210.0618 · Electronic Proceedings in Theoretical Computer Science

Generalizations of Boxworld

Peter Janotta

Published Oct 1, 2012• 12 citations
arXivHTMLPDF

Abstract

Boxworld is a toy theory that can generate extremal nonlocal correlations known as PR boxes. These have been well established as an important tool to examine general nonlocal correlations, even beyond the correlations that are possible in quantum theory. We modify boxworld to include new features. The first modification affects the construction of joint systems such that the new theory allows entangled measurements as well as entangled states in contrast to the standard version of boxworld. The extension to multipartite systems and the consequences for entanglement swapping are analysed. Another modification provides continuous transitions between classical probability theory and boxworld, including the algebraic expression for the maximal CHSH violation as a function of the transition parameters.

DOI
10.4204/eptcs.95.13

Related papers

Generalized probabilistic theories without the no-restriction hypothesis

Peter Janotta, Raymond Lal

The framework of generalized probabilistic theories is a popular approach for studying the physical foundations of quantum theory. The standard framework assumes the no-restriction hypothesis, in which the state space of a physical theory determines the set of measurements. However, this assumption is not physically motivated. We generalize the framework to account for systems that do not obey the no-restriction hypothesis. We then show how our framework can be used to describe certain classes of probabilistic theories, for example, those which include intrinsic noise. Relaxing the restriction hypothesis also allows us to introduce a ``self-dualization'' procedure, which yields a class of theories that share many features of quantum theory. We then characterize joint states, generalizing the maximal tensor product. We show how this tensor product can be used to describe the convex closure of the Spekkens toy theory, and in doing so we obtain an analysis of why it is local in terms of the geometry of its state space. We show that the unrestricted version of the Spekkens toy theory is the theory known as ``boxworld'' that allows maximal nonlocal correlations.

arXiv:1302.2632•Physical Review A•May 23, 2013•86 citations

Entanglement Generation Beyond Quantum Theory: From Product States to Popescu-Rohrlich Boxes

Shun Umekawa, Akihiro Hokkyo, Hayato Arai +1 more

Entanglement generation is a fundamental dynamical capability in quantum information science and underpins many quantum advantages. While quantum theory enables it through unitary dynamics, boxworld, a generalized probabilistic theory admitting Popescu--Rohrlich boxes with supraquantum correlations, has no reversible transformation capable of generating entanglement. We show that this no-go picture changes fundamentally once reversibility is relaxed to pure-state preservation. We construct a pure-state-preserving transformation that maps every uncorrelated pure state to a Popescu--Rohrlich box and completely classify all pure-state-preserving entangling transformations in the simplest bipartite boxworld. Our results provide the first explicit mechanism for generating beyond-quantum entanglement without introducing mixing and demonstrate a physical distinction between reversibility and pure-state preservation that is obscured by the structure of quantum theory.

quant-pharXiv:2608.02403•Aug 4, 2026•0 citations

Quantum theory from the perspective of general probabilistic theories

Sabri W. Al-Safi

This thesis explores various perspectives on quantum phenomena, and how our understanding of these phenomena is informed by the study of general probabilistic theories. Particular attention is given to quantum nonlocality, and its interaction with areas of physical and mathematical interest such as entropy, reversible dynamics, information-based games and the idea of negative probability. We begin with a review of non-signaling distributions and convex operational theories, including “black box” descriptions of experiments and the mathematics of convex vector spaces. In Chapter 3 we derive various classical and quantum-like quasiprobabilistic representations of arbitrary non-signaling distributions. Previously, results in which the density operator is allowed to become non-positive [1] have proved useful in derivations of quantum theory from physical requirements [2]; we derive a dual result in which the measurement operators instead are allowed to become non-positive, and show that the generation of any non-signaling distribution is possible using a fixed separable state with negligible correlation. We also derive two distinct “quasi-local” models of non-signaling correlations. Chapter 4 investigates non-local games, in particular the game known as Information Causality. By analysing the probability of success in this game, we prove the conjectured tightness of a bound given in [3] concerning how well entanglement allows us to perform the task of random access coding, and introduce a quadratic bias bound which seems to capture a great deal of information about the set of quantum-achievable correlations. By reformulating Information Causality in terms of entropies, we find that a sensible measure of entropy precludes many general probabilistic theories whose non-locality is stronger than that of quantum theory. Chapter 5 explores the role that reversible transitivity (the principle that any two pure states are joined by a reversible transformation) plays as a characteristic feature of quantum theory. It has previously been shown that in Boxworld, the theory allowing for the full set of non-signaling correlations, any reversible transformation on a restricted class of composite systems is merely a composition of relabellings of measurement choices and outcomes, and permutations of subsystems [4]. We develop a tabular description of Boxworld states and effects first introduced in [5], and use this to extend this reversibility result to any composite Boxworld system in which none of the subsystems are classical.

•Mar 3, 2015•1 citation

Strong nonlocality: a trade-off between states and measurements

Anthony J. Short, Jonathan Barrett

Measurements on entangled quantum states can produce outcomes that are nonlocally correlated. But according to Tsirelson's theorem, there is a quantitative limit on quantum nonlocality. It is interesting to explore what would happen if Tsirelson's bound were violated. To this end, we consider a model that allows arbitrary nonlocal correlations, colloquially referred to as 'box world'. We show that while box world allows more highly entangled states than quantum theory, measurements in box world are rather limited. As a consequence there is no entanglement swapping, teleportation or dense coding.

arXiv:0909.2601•New Journal of Physics•Mar 19, 2010•57 citations

Entanglement swapping for generalized nonlocal correlations

A. J. Short, Sandu Popescu, N. Gisin

We consider an analog of entanglement-swapping for a set of black boxes with the most general nonlocal correlations consistent with relativity (including correlations which are stronger than any attainable in quantum theory). In an attempt to incorporate this phenomenon, we consider expanding the space of objects to include not only correlated boxes, but ``couplers,'' which are an analog for boxes of measurements with entangled eigenstates in quantum theory. Surprisingly, we find that no couplers exist for two binary-input--binary-output boxes, and hence that there is no analog of entanglement swapping for such boxes.

Physical Review A•Jan 4, 2006•66 citations

Limits on Quantum Probability Rule by no-Signaling Principle

Yeong Deok Han, Taeseung Choi

We have studied the possibility of post-quantum theories more nonlocal than the (standard) quantum theory using the modification of the quantum probability rule under the no-signaling condition. For this purpose we have considered the situation that two spacelike separate parties Alice and Bob share an entangled two qubit system. We have modified the quantum probability rule as small as possible such that the first local measurements are governed by the usual Born rule and the second measurement by the modified quantum probability rule. We have shown that only the maximally entangled states can have higher nonlocality than the quantum upper bound while satisfying the no-signaling condition. This fact could be a partial explanation for why the nonlocality of the quantum theory is limited. As a by-product we have found the systematic way to obtain a variety of nonlocal boxes.

arXiv:1208.2814•Aug 14, 2012•0 citations
Boxworld is a toy theory that can generate extremal nonlocal correlations known as PR boxes. These have been well established as an important tool to examine general nonlocal correlations, even beyond the correlations that are possible in quantum theory. We modify boxworld to include new features. The first modification affects the construction of joint systems such that the new theory allows entangled measurements as well as entangled states in contrast to the standard version of boxworld. The extension to multipartite systems and the consequences for entanglement swapping are analysed. Another modification provides continuous transitions between classical probability theory and boxworld, including the algebraic expression for the maximal CHSH violation as a function of the transition parameters.
The framework of generalized probabilistic theories is a popular approach for studying the physical foundations of quantum theory. The standard framework assumes the no-restriction hypothesis, in which the state space of a physical theory determines the set of measurements. However, this assumption is not physically motivated. We generalize the framework to account for systems that do not obey the no-restriction hypothesis. We then show how our framework can be used to describe certain classes of probabilistic theories, for example, those which include intrinsic noise. Relaxing the restriction hypothesis also allows us to introduce a ``self-dualization'' procedure, which yields a class of theories that share many features of quantum theory. We then characterize joint states, generalizing the maximal tensor product. We show how this tensor product can be used to describe the convex closure of the Spekkens toy theory, and in doing so we obtain an analysis of why it is local in terms of the geometry of its state space. We show that the unrestricted version of the Spekkens toy theory is the theory known as ``boxworld'' that allows maximal nonlocal correlations.
Entanglement generation is a fundamental dynamical capability in quantum information science and underpins many quantum advantages. While quantum theory enables it through unitary dynamics, boxworld, a generalized probabilistic theory admitting Popescu--Rohrlich boxes with supraquantum correlations, has no reversible transformation capable of generating entanglement. We show that this no-go picture changes fundamentally once reversibility is relaxed to pure-state preservation. We construct a pure-state-preserving transformation that maps every uncorrelated pure state to a Popescu--Rohrlich box and completely classify all pure-state-preserving entangling transformations in the simplest bipartite boxworld. Our results provide the first explicit mechanism for generating beyond-quantum entanglement without introducing mixing and demonstrate a physical distinction between reversibility and pure-state preservation that is obscured by the structure of quantum theory.
This thesis explores various perspectives on quantum phenomena, and how our understanding of these phenomena is informed by the study of general probabilistic theories. Particular attention is given to quantum nonlocality, and its interaction with areas of physical and mathematical interest such as entropy, reversible dynamics, information-based games and the idea of negative probability. We begin with a review of non-signaling distributions and convex operational theories, including “black box” descriptions of experiments and the mathematics of convex vector spaces. In Chapter 3 we derive various classical and quantum-like quasiprobabilistic representations of arbitrary non-signaling distributions. Previously, results in which the density operator is allowed to become non-positive [1] have proved useful in derivations of quantum theory from physical requirements [2]; we derive a dual result in which the measurement operators instead are allowed to become non-positive, and show that the generation of any non-signaling distribution is possible using a fixed separable state with negligible correlation. We also derive two distinct “quasi-local” models of non-signaling correlations. Chapter 4 investigates non-local games, in particular the game known as Information Causality. By analysing the probability of success in this game, we prove the conjectured tightness of a bound given in [3] concerning how well entanglement allows us to perform the task of random access coding, and introduce a quadratic bias bound which seems to capture a great deal of information about the set of quantum-achievable correlations. By reformulating Information Causality in terms of entropies, we find that a sensible measure of entropy precludes many general probabilistic theories whose non-locality is stronger than that of quantum theory. Chapter 5 explores the role that reversible transitivity (the principle that any two pure states are joined by a reversible transformation) plays as a characteristic feature of quantum theory. It has previously been shown that in Boxworld, the theory allowing for the full set of non-signaling correlations, any reversible transformation on a restricted class of composite systems is merely a composition of relabellings of measurement choices and outcomes, and permutations of subsystems [4]. We develop a tabular description of Boxworld states and effects first introduced in [5], and use this to extend this reversibility result to any composite Boxworld system in which none of the subsystems are classical.
Measurements on entangled quantum states can produce outcomes that are nonlocally correlated. But according to Tsirelson's theorem, there is a quantitative limit on quantum nonlocality. It is interesting to explore what would happen if Tsirelson's bound were violated. To this end, we consider a model that allows arbitrary nonlocal correlations, colloquially referred to as 'box world'. We show that while box world allows more highly entangled states than quantum theory, measurements in box world are rather limited. As a consequence there is no entanglement swapping, teleportation or dense coding.
We consider an analog of entanglement-swapping for a set of black boxes with the most general nonlocal correlations consistent with relativity (including correlations which are stronger than any attainable in quantum theory). In an attempt to incorporate this phenomenon, we consider expanding the space of objects to include not only correlated boxes, but ``couplers,'' which are an analog for boxes of measurements with entangled eigenstates in quantum theory. Surprisingly, we find that no couplers exist for two binary-input--binary-output boxes, and hence that there is no analog of entanglement swapping for such boxes.
We have studied the possibility of post-quantum theories more nonlocal than the (standard) quantum theory using the modification of the quantum probability rule under the no-signaling condition. For this purpose we have considered the situation that two spacelike separate parties Alice and Bob share an entangled two qubit system. We have modified the quantum probability rule as small as possible such that the first local measurements are governed by the usual Born rule and the second measurement by the modified quantum probability rule. We have shown that only the maximally entangled states can have higher nonlocality than the quantum upper bound while satisfying the no-signaling condition. This fact could be a partial explanation for why the nonlocality of the quantum theory is limited. As a by-product we have found the systematic way to obtain a variety of nonlocal boxes.