Tsirelson's Inequality for the Precession Protocol is Maximally Violated by Quantum Theory
arXiv:2401.16147 · doi:10.1103/PhysRevLett.134.190201
Abstract
The precession protocol involves measuring , the probability that a uniformly precessing observable (like the position of a harmonic oscillator or a coordinate undergoing spatial rotation) is positive at one of three equally spaced times. Tsirelson's inequality, which states that in classical theory, is violated in quantum theory by certain states. In this Letter, we address some open questions about the inequality: What is the maximum violation of Tsirelson's inequality possible in quantum theory? Might other theories do better? By considering the precession protocol in a theory-independent manner for systems with finitely many outcomes, we derive a general bound for the maximum possible violation. This theory-independent bound must be satisfied by any theory whose expectation values are linear functions of observables -- which includes classical, quantum, and all general probabilistic theories -- and depends only on the minimum positive and negative measurement outcomes. Given any such two values, we prove by construction that quantum theory always saturates this bound. Some notable examples include the angular momentum of a spin- particle and a family of observables that outperform the quantum harmonic oscillator in the precession protocol. Finally, we also relate our findings to the recently introduced notion of constrained conditional probabilities.
arXiv comment8+5 pages, 2 figures
References in corpus (23)
- Information Causality as a Physical Principle
- General probabilistic theories: An introduction
- Simulating quantum systems using real Hilbert spaces
- The structure of reversible computation determines the self-duality of quantum theory
- Quartic quantum theory: an extension of the standard quantum mechanics
- Computation in generalised probabilistic theories
- Simulability of observables in general probabilistic theories
- Dynamics-Based Entanglement Witnesses for Non-Gaussian States of Harmonic Oscillators
- A necessary condition for incompatibility of observables in general probabilistic theories
- Self-testing of physical theories, or, is quantum theory optimal with respect to some information-processing task?
- Quantum computation is the unique reversible circuit model for which bits are balls
- Incompatibility of observables, channels and instruments in information theories
- Operational Theories in Phase Space: Toy Model for the Harmonic Oscillator
- On defining the Hamiltonian beyond quantum theory
- Towards correlation self-testing of quantum theory in the adaptive Clauser-Horne-Shimony-Holt game
- Incompatibility in restricted operational theories: connecting contextuality and steering
- Measurement incompatibility is strictly stronger than disturbance
- How dynamics constrains probabilities in general probabilistic theories
- Dynamics-based quantumness certification of continuous variables using time-independent Hamiltonians with one degree of freedom
- From reasonable postulates to generalised Hamiltonian systems
- Certification of genuine multipartite entanglement in spin ensembles with measurements of total angular momentum
- Tsirelson inequalities: Detecting cheating and quantumness in a single framework
- Spin-bounded correlations: rotation boxes within and beyond quantum theory