Tsirelson inequalities: Detecting cheating and quantumness in a single framework

Abstract

Quantumness refers to the peculiar and counterintuitive characteristics exhibited by quantum systems. Tsirelson inequalities have emerged as a powerful tool in quantum theory to detect quantumness and entanglement of harmonic oscillators, spins undergoing uniform precession, and anharmonic systems. In this paper we harness the versatility of Tsirelson inequalities to address two distinct problems: detecting cheating in classic shell games and probing quantumness in spatially separated systems and harmonic oscillators. By adopting a black-box approach and a geometric characterization of the space of conditional probabilities, we demonstrate that Tsirelson inequalities can be used in both scenarios, enabling us to uncover quantum signatures and identify cheaters in a single unified framework. This connection provides an intuitive different perspective on quantumness of mechanical systems.

References in corpus (11)

• Kochen-Specker Contextuality
• Schrödinger cat states of a 16-microgram mechanical oscillator
• Quantum state preparation, tomography, and entanglement of mechanical oscillators
• Logical Bell Inequalities
• Parity measurement in the strong dispersive regime of circuit quantum acoustodynamics
• Classifying 50 years of Bell inequalities
• Non-adaptive Measurement-based Quantum Computation and Multi-party Bell Inequalities
• Witnessing Wigner Negativity
• Dynamics-Based Entanglement Witnesses for Non-Gaussian States of Harmonic Oscillators
• Positive maps, majorization, entropic inequalities, and detection of entanglement
• Dynamics-based quantumness certification of continuous variables using time-independent Hamiltonians with one degree of freedom

Cited by in corpus (3)

• All three-angle variants of Tsirelson's precession protocol, and improved bounds for wedge integrals of Wigner functions
• Tsirelson's Inequality for the Precession Protocol is Maximally Violated by Quantum Theory
• Assessing the dynamical assumptions in Tsirelson inequality tests of non-classicality in harmonic oscillators