The classification of general probabilistic theories (GPTs) whose CHSH value is stable under arbitrary rounds of teleportation and entanglement swapping was recently obtained in Dmello and Gross work and consists of seven families, indexed by characters of the Klein four-group $K_4$, the cyclic group $\mathbb{Z}_4$, and the dihedral group $D_4$. The question of which of these families admits a realization within standard quantum mechanics was left open. In this work we resolve this question completely. Using elementary representation theory, we prove that exactly two families are quantum-realizable, namely $χ^{K_4}_{1234}$ and $χ^{D_4}_{125}$, while the remaining five admit no quantum realization.
The classification of general probabilistic theories (GPTs) whose CHSH value is stable under arbitrary rounds of teleportation and entanglement swapping was recently obtained in Dmello and Gross work and consists of seven families, indexed by characters of the Klein four-group K4, the cyclic group Z4, and the dihedral group D4. The question of which of these families admits a realization within standard quantum mechanics was left open. In this work we resolve this question completely. Using elementary representation theory, we prove that exactly two families are quantum-realizable, namely χ1234K4 and χ125D4, while the remaining five admit no quantum realization.
A long-standing problem in the foundations of quantum mechanics is to identify a physical principle that explains why algebraically maximal violations of Bell inequalities can generally not be achieved in Nature. One recently proposed approach considers iterated Bell tests, where a Bell test is performed on a state that has undergone several rounds of entanglement swapping. Obtaining large violations in this scenario is more demanding, because it requires a theory to have both highly entangled states and highly entangled measurements. It has been conjectured that the maximal quantum mechanical Clauser-Horne-Shimony-Holt (CHSH)-value of 22 might be optimal for any probabilistic theory which, like quantum mechanics, maintains its CHSH-value after an arbitrary number of rounds of entanglement swapping. However, in a previous paper, we have exhibited a first example of a probabilistic theory that can sustain a CHSH value of 4 in this setting. In this work, further investigating this property, we give a classification of all general probabilistic theories (GPTs) whose CHSH value is stable in the above sense. The problem reduces to a representation-theoretic condition that allows for exactly seven solutions. The GPT from our previous work showed some counter-intuitive features, e.g. that the local state space had a higher dimension than seemed necessary to realize CHSH tests. The classification shows that this is necessarily so. Along the way, we generalize the concept of self-testing to GPTs.
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.
A key goal in the foundations of quantum mechanics is to identify operational constraints characterizing physical theories. Bell inequalities do so for classical probability theory, while Tsirelson's bound provides a first step for quantum mechanics. Here, we address the dual question: Can one certify that all correlations predicted by quantum theory are actually realizable? In this work, we construct a finite number of two-body correlations such that the only probabilistic theory that (1) realizes them, and (2) does so in a way that is stable under iterated teleportation, is quantum theory. For n quantum systems of dimension d each, Condition (1) can be verified using poly(d,n) measurement settings. Condition (2) may be understood as a hierarchy of tests, one for each number N of teleportation steps. There is thus a sense in which finite-dimensional quantum theory can be self-tested. In particular, one can certify the existence of Bell inequality violations larger than any that have been directly observed.
While there exist theories that have states more strongly entangled than quantum theory, in the sense that they show Clauser-Horne-Shimony-Holt (CHSH) values above Tsirelson's bound, all known examples of such theories have a strictly smaller set of measurements. Therefore, in tasks that require both bipartite states and measurements, they do not perform better than quantum mechanics. One of the simplest information processing tasks involving both bipartite states and measurements is that of entanglement swapping. In this paper, we study entanglement swapping in generalized probabilistic theories (GPTs). In particular, we introduce the iterated CHSH game, which measures the power of a GPT to preserve nonclassical correlations, in terms of the largest CHSH value obtainable after n rounds of entanglement swapping. Our main result is the construction of a GPT that achieves a CHSH value of 4 after an arbitrary number of rounds. This addresses a question about the optimality of quantum theory for such games recently raised by Weilenmann and Colbeck. One challenge faced when treating this problem is that there seems to be no general framework for constructing GPTs in which entanglement swapping is a well-defined operation. Therefore, we introduce an algorithmic construction that turns a bipartite GPT into a multipartite GPT that supports entanglement swapping, if consistently possible.
FINDING: Quantum teleportation is a confirmed protocol for transferring quantum states via entanglement, not physical matter transport; Oxford's recent work extends this to distributed quantum computing. | MATH: Core protocol uses Bell basis measurement: ∣Ψ⟩AB=21(∣0⟩A∣0⟩B+∣1⟩A∣1⟩B); teleportation requires 2 classical bits + 1 ebit (entangled bit) per qubit; fidelity approaches 1 with error correction; Oxford's breakthrough involves deterministic teleportation between nodes with success probability scaling as P∝1−e−γt (decoherence-limited). | CONNECTION: The Bell states form an orthonormal basis in C2⊗C2 — this is the root system A1×A1 (tetragonal symmetry, 4-fold). The 4 Bell states correspond to the vertices of a square (dihedral group D4), and the 2 classical bits map to the 4 elements of Z2×Z2 — a Klein four-group, wh Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
For a collection of states indexed by [n]=1,…,n, let F(H) denote the optimal unnormalized minimum discrimination error for each nonempty subfamily H⊆[n]. We call F the discrimination profile and characterize exactly which profiles can arise in a general probabilistic theory (GPT). For fixed n, the GPT region Gn is a bounded rational polytope, giving a hierarchy Cn⊆Qn⊆Gn of classical, quantum, and GPT profiles, analogous to the local--quantum--no-signalling hierarchy in Bell theory.
For n=3 we determine the classical and GPT polytopes explicitly. Within G3, the classical region is characterized by β:=F(123)−F(12)−F(13)−F(23)≤0, while the GPT maximum is 1. For qubit triples, the maximal value is attained by the trine, βtr=33/2−2, and we prove the dimension-independent quantum bound βQ≤2/3, with a slight further improvement. Hence 0=βC<33/2−2≤βQ≤2/3<1=βGPT. We conjecture βQ=βtr and prove this for arbitrary pure-state triples, together with further supporting evidence.
For arbitrary n, every classical facet admitting a GPT violation already admits a quantum violation in dimension at most 3. A four-state qubit example shows that quantum success profiles need not be submodular, unlike for n=3. Finally, we exhibit a four-dimensional quantum triple whose discrete profile is classical for all subfamilies but becomes nonclassical when unequal priors are allowed.