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:2610.03694

An operational characterization of finite-dimensional quantum theory

Lionel J. Dmello, Xiangling Xu, Marc-Olivier Renou, David Gross

quant-phSubmitted Oct 2, 2026• Announced Oct 5, 2026• 0 citations• Revised Oct 6, 2026 (v2)
v1 · Oct 2, 2026v2 · Oct 6, 2026
arXivHTMLPDF

Abstract

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 $\operatorname{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.

Comments
17 pages, 7 figures; v2: Added funding information, cleaned up the introduction and conclusion sections, fixed some typos

Related papers

Probabilistic theories stable under teleportation

Lionel J. Dmello, David Gross

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 $2\sqrt2$ 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.

quant-pharXiv:2603.21347•Mar 24, 2026•0 citations

Classifying the simplest Bell inequalities beyond qubits and their applications towards self-testing

Palash Pandya, Shubhayan Sarkar, Remigiusz Augusiak

Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest $(2,2,2)$ scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the $(2,2,3)$ scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.

quant-pharXiv:2602.08469•Feb 10, 2026•0 citations

From Primitives to the Bell–Tsirelson Bound

Allen Proxmire

In 1964, John Bell showed that any local hidden‑variable theory must satisfy a specific inequality on correlations between distant measurements. In its CHSH form (Clauser, Horne, Shimony, Holt 1969), the inequality reads |S| = |E(a,b) + E(a,b′) + E(a′,b) − E(a′,b′)| ≤ 2, where E(a,b) is the correlation between measurement outcomes at two separated parties using settings a and b. Any local realist theory respects this bound. Quantum mechanics violates it. Experiments confirm the violation. The standard quantum prediction for a maximally entangled state with optimal measurement angles is |S| = 2√2 ≈ 2.828. In 1980, Boris Tsirelson proved that 2√2 is not just one quantum prediction — it is the *maximum* value any quantum correlation can produce. No quantum state, no measurement scheme, no clever protocol can push |S| beyond 2√2. The bound is sharp, the value is exact, and it has been measured in laboratories around the world to experimental precision. The Tsirelson bound is one of the deepest empirical structures in physics. It tells us that quantum correlations exceed classical correlations by a specific, finite amount — there is room to violate Bell’s inequality, but only so much room. The number 2√2 has no obvious physical interpretation. It does not appear in the formulation of quantum mechanics. It emerges from the mathematics of the bipartite Hilbert space when the CHSH operator is constructed and bounded. The question is where it comes from. In standard QM, the answer is that it falls out of the Hilbert‑space structure plus Cauchy–Schwarz plus an operator‑norm bound on the CHSH operator. Technically correct, and Tsirelson’s 1980 proof remains the canonical derivation — but it leaves the deeper structure unanswered. The Hilbert space is postulated. The inner product that makes Cauchy–Schwarz available is postulated. The bipartite tensor‑product structure on H_A ⊗ H_B is postulated. The 2√2 value is what those postulates produce when run through the CHSH operator. This walkthrough shows how the Event Density framework derives the Tsirelson bound from a smaller set of structural commitments. The Hilbert‑space structure, the inner product, and the bipartite tensor‑product structure all emerge as forced consequences of the substrate ontology rather than being postulated. With those structures forced rather than assumed, Tsirelson’s 1980 argument applies directly, and the 2√2 value is no longer the output of a chain of postulates but the output of a chain of derived theorems. Like Heisenberg, Bell–Tsirelson is a place where the framework’s contribution is upstream. The bound itself is mathematical physics already in the literature; what changes is the foundational status of the structures the argument requires. ED does not produce a new derivation step beyond standard QM here — it removes the postulational status of the structures the standard derivation already uses. The 2√2 value is now a derived consequence of the substrate ontology, all the way down.

•May 12, 2026•0 citations

Optimizing and Certifying Multipartite Permutationally Invariant Bell Inequalities

Jin-Fu Chen, Mengyao Hu, Jordi Tura

Multipartite Bell nonlocality provides a device-independent probe of many-body quantum correlations, but its characterization is limited by the rapid growth of the underlying classical and quantum optimization problems. We develop a scalable method for constructing and certifying permutationally invariant Bell inequalities using only one- and two-body correlators. The construction gives families of inequalities with robust quantum violations for general $m$ measurements as the number of parties $N$ becomes large. To improve robustness against noise, we optimize the ratio of the quantum value to the classical bound for these families in the large-$N$ limit. We then certify the resulting quantum violation using semidefinite programming. For the broad class of Bell inequalities studied here, the infinite-$N$ ratios take simple rational values for finite $m$ and converge to $\coth(1)$ as $m\to\infty$. The optimized inequalities efficiently detect many-body Bell nonlocality with collective measurements, with more measurement settings leading to stronger violations.

quant-pharXiv:2607.08462•Jul 10, 2026•0 citations

Statistical Constraints and Measurement Uncertainty for Observables in Quantum Mechanics

Ryosuke Nogami

This dissertation investigates statistical constraints on measurement outcomes in quantum mechanics, addressing two fundamental features that distinguish quantum theory from classical physics: non-reality and uncertainty.We examine these features through two perspectives: observable-dependent statistical constraints on quantum correlations and estimationbased measurement uncertainty in infinite-dimensional quantum systems.In the first part, we study realizability problems in both local realism and quantum theory, focusing on observable-dependent constraints.While previous studies have mainly characterized quantum correlations independently of observables, we derive a necessary and sufficient condition for quantum realizability of correlations in the Clauser-Horne-Shimony-Holt (CHSH) scenario when observables are fixed in advance.Our main result provides an explicit inequality that imposes stronger constraints than previously known observable-independent bounds.We demonstrate that the maximum CHSH inequality violation depends on observable choice and apply our results to Bell's original scenario, revealing that whether Bell's original inequality is violated depends sensitively on observable selection.These findings demonstrate that non-reality does not manifest equally in all measurement configurations.In the second part, we extend the estimation-based formulation of measurement uncertainty by Watanabe, Sagawa, and Ueda to infinite-dimensional quantum systems.The original formulation provided clear physical interpretation but excluded fundamental observables such as position and momentum.Using pseudo-inverse forms of positive-semidefinite sesquilinear forms, we develop classical and quantum estimation theory for statistical models whose parameter space is the set of full-rank quantum states on infinite-dimensional Hilbert spaces.We derive classical and quantum Cramér-Rao inequalities and define estimationbased measurement errors for both bounded and unbounded operators.For each error type, we establish error-error uncertainty relation inequalities stronger than the original Watanabe-Sagawa-Ueda bound due to an improved derivation utilizing the full Cauchy-Schwarz inequality.Our work provides a universal definition of measurement errors with a clear physical interpretation while maintaining mathematical rigor.Our results contribute to quantum foundations by deepening the understanding of how measurement outcome constraints arise from quantum structure and observable properties.The methodological tools introduced-including characteristic functions, quasi-joint probability distributions, symmetry-based reduction techniques, and pseudo-inverse forms-may prove useful for future investigations in quantum foundations and quantum information theory.

•Mar 25, 2026•0 citations

Tsirelson bounds for quantum correlations with indefinite causal order

Zixuan Liu, Giulio Chiribella

Quantum theory is in principle compatible with processes that violate causal inequalities, an analogue of Bell inequalities that constrain the correlations observed by sets of parties operating in a definite causal order. Since the introduction of causal inequalities, determining their maximum quantum violation, analogue to Tsirelson’s bound for Bell inequalities, has remained an open problem. Here we provide a general method for bounding the violation of arbitrary causal inequalities, establishing limits to the correlations achievable by arbitrary local experiments and by arbitrary quantum processes with indefinite causal order. We prove that the maximum violation is generally smaller than the algebraic maximum of the corresponding correlation, and determine Tsirelson-like bounds for a class of causal inequalities including some of the most paradigmatic examples. Our results motivate a search for physical principles characterizing the boundary of the set of quantum correlations with indefinite causal order. Quantum theory has been shown to be compatible with processes violating a definite causal order, but no detailed analysis of the maximum allowed degree of violation has been carried out so far. Here, the authors fill this gap by providing the analogue of Tsirelson’s bound for the violation of causal inequalities.

Nature Communications•Apr 7, 2025•4 citations
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 nnn quantum systems of dimension ddd each, Condition (1) can be verified using poly⁡(d,n)\operatorname{poly}(d,n)poly(d,n) measurement settings. Condition (2) may be understood as a hierarchy of tests, one for each number NNN 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.
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 222\sqrt222​ 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 444 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.
Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest (2,2,2)(2,2,2)(2,2,2) scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the (2,2,3)(2,2,3)(2,2,3) scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.
In 1964, John Bell showed that any local hidden‑variable theory must satisfy a specific inequality on correlations between distant measurements. In its CHSH form (Clauser, Horne, Shimony, Holt 1969), the inequality reads |S| = |E(a,b) + E(a,b′) + E(a′,b) − E(a′,b′)| ≤ 2, where E(a,b) is the correlation between measurement outcomes at two separated parties using settings a and b. Any local realist theory respects this bound. Quantum mechanics violates it. Experiments confirm the violation. The standard quantum prediction for a maximally entangled state with optimal measurement angles is |S| = 2√2 ≈ 2.828. In 1980, Boris Tsirelson proved that 2√2 is not just one quantum prediction — it is the *maximum* value any quantum correlation can produce. No quantum state, no measurement scheme, no clever protocol can push |S| beyond 2√2. The bound is sharp, the value is exact, and it has been measured in laboratories around the world to experimental precision. The Tsirelson bound is one of the deepest empirical structures in physics. It tells us that quantum correlations exceed classical correlations by a specific, finite amount — there is room to violate Bell’s inequality, but only so much room. The number 2√2 has no obvious physical interpretation. It does not appear in the formulation of quantum mechanics. It emerges from the mathematics of the bipartite Hilbert space when the CHSH operator is constructed and bounded. The question is where it comes from. In standard QM, the answer is that it falls out of the Hilbert‑space structure plus Cauchy–Schwarz plus an operator‑norm bound on the CHSH operator. Technically correct, and Tsirelson’s 1980 proof remains the canonical derivation — but it leaves the deeper structure unanswered. The Hilbert space is postulated. The inner product that makes Cauchy–Schwarz available is postulated. The bipartite tensor‑product structure on H_A ⊗ H_B is postulated. The 2√2 value is what those postulates produce when run through the CHSH operator. This walkthrough shows how the Event Density framework derives the Tsirelson bound from a smaller set of structural commitments. The Hilbert‑space structure, the inner product, and the bipartite tensor‑product structure all emerge as forced consequences of the substrate ontology rather than being postulated. With those structures forced rather than assumed, Tsirelson’s 1980 argument applies directly, and the 2√2 value is no longer the output of a chain of postulates but the output of a chain of derived theorems. Like Heisenberg, Bell–Tsirelson is a place where the framework’s contribution is upstream. The bound itself is mathematical physics already in the literature; what changes is the foundational status of the structures the argument requires. ED does not produce a new derivation step beyond standard QM here — it removes the postulational status of the structures the standard derivation already uses. The 2√2 value is now a derived consequence of the substrate ontology, all the way down.
Multipartite Bell nonlocality provides a device-independent probe of many-body quantum correlations, but its characterization is limited by the rapid growth of the underlying classical and quantum optimization problems. We develop a scalable method for constructing and certifying permutationally invariant Bell inequalities using only one- and two-body correlators. The construction gives families of inequalities with robust quantum violations for general mmm measurements as the number of parties NNN becomes large. To improve robustness against noise, we optimize the ratio of the quantum value to the classical bound for these families in the large-NNN limit. We then certify the resulting quantum violation using semidefinite programming. For the broad class of Bell inequalities studied here, the infinite-NNN ratios take simple rational values for finite mmm and converge to coth⁡(1)\coth(1)coth(1) as m→∞m\to\inftym→∞. The optimized inequalities efficiently detect many-body Bell nonlocality with collective measurements, with more measurement settings leading to stronger violations.
This dissertation investigates statistical constraints on measurement outcomes in quantum mechanics, addressing two fundamental features that distinguish quantum theory from classical physics: non-reality and uncertainty.We examine these features through two perspectives: observable-dependent statistical constraints on quantum correlations and estimationbased measurement uncertainty in infinite-dimensional quantum systems.In the first part, we study realizability problems in both local realism and quantum theory, focusing on observable-dependent constraints.While previous studies have mainly characterized quantum correlations independently of observables, we derive a necessary and sufficient condition for quantum realizability of correlations in the Clauser-Horne-Shimony-Holt (CHSH) scenario when observables are fixed in advance.Our main result provides an explicit inequality that imposes stronger constraints than previously known observable-independent bounds.We demonstrate that the maximum CHSH inequality violation depends on observable choice and apply our results to Bell's original scenario, revealing that whether Bell's original inequality is violated depends sensitively on observable selection.These findings demonstrate that non-reality does not manifest equally in all measurement configurations.In the second part, we extend the estimation-based formulation of measurement uncertainty by Watanabe, Sagawa, and Ueda to infinite-dimensional quantum systems.The original formulation provided clear physical interpretation but excluded fundamental observables such as position and momentum.Using pseudo-inverse forms of positive-semidefinite sesquilinear forms, we develop classical and quantum estimation theory for statistical models whose parameter space is the set of full-rank quantum states on infinite-dimensional Hilbert spaces.We derive classical and quantum Cramér-Rao inequalities and define estimationbased measurement errors for both bounded and unbounded operators.For each error type, we establish error-error uncertainty relation inequalities stronger than the original Watanabe-Sagawa-Ueda bound due to an improved derivation utilizing the full Cauchy-Schwarz inequality.Our work provides a universal definition of measurement errors with a clear physical interpretation while maintaining mathematical rigor.Our results contribute to quantum foundations by deepening the understanding of how measurement outcome constraints arise from quantum structure and observable properties.The methodological tools introduced-including characteristic functions, quasi-joint probability distributions, symmetry-based reduction techniques, and pseudo-inverse forms-may prove useful for future investigations in quantum foundations and quantum information theory.
Quantum theory is in principle compatible with processes that violate causal inequalities, an analogue of Bell inequalities that constrain the correlations observed by sets of parties operating in a definite causal order. Since the introduction of causal inequalities, determining their maximum quantum violation, analogue to Tsirelson’s bound for Bell inequalities, has remained an open problem. Here we provide a general method for bounding the violation of arbitrary causal inequalities, establishing limits to the correlations achievable by arbitrary local experiments and by arbitrary quantum processes with indefinite causal order. We prove that the maximum violation is generally smaller than the algebraic maximum of the corresponding correlation, and determine Tsirelson-like bounds for a class of causal inequalities including some of the most paradigmatic examples. Our results motivate a search for physical principles characterizing the boundary of the set of quantum correlations with indefinite causal order. Quantum theory has been shown to be compatible with processes violating a definite causal order, but no detailed analysis of the maximum allowed degree of violation has been carried out so far. Here, the authors fill this gap by providing the analogue of Tsirelson’s bound for the violation of causal inequalities.