Assessing the dynamical assumptions in Tsirelson inequality tests of non-classicality in harmonic oscillators

Abstract

"Macrorealism" posits that a system possesses definite properties at all times and that we can discover these properties, in principle, without disturbing the system's subsequent behaviour. The Leggett-Garg inequalities are derived under these assumptions and are readily violated by standard quantum mechanics, thereby providing a scheme to test whether demonstrably macroscopic systems can exhibit quantum coherence. Unfortunately, Leggett-Garg tests suffer from the difficult to avoid clumsiness loophole - the difficulty of proving that sequential measurements have not inadvertently disturbed the system. The recently uncovered Tsirelson inequality is derived from the simple dynamical assumption of uniform precession, obeyed by many classical systems, and requires only single-time measurements. However, Tsirelson inequality violations could be explained by a macrorealistic system that merely breaks the dynamical assumption, rather than genuine quantum behaviour. By carrying out a quantum-mechanical analysis of the Tsirelson inequality in the harmonic oscillator, we develop a protocol to rule out this possibility by assessing generalised conditions of uniform precession. We show that various measures of uniform precession, some of which are related to Leggett-Garg quantities, are satisfied well enough that the presence of quantum-mechanical interference terms must be implied. We derive several incidental mathematical results relating to violating states of Tsirelson's inequality, concerning dwell time, crossing number and probability currents, and also consider a group theoretic analysis of the Tsirelson operator.

31 pages. Version accepted by APS Phys. Rev. A

References in corpus (19)

• Witnessing Quantum Coherence: from solid-state to biological systems
• A scattering quantum circuit for measuring Bell's time inequality: a nuclear magnetic resonance demonstration using maximally mixed states
• Information-theoretic temporal Bell inequality and quantum computation
• Dynamics-Based Entanglement Witnesses for Non-Gaussian States of Harmonic Oscillators
• Leggett-Garg Macrorealism and temporal correlations
• Detecting violations of macrorealism when the original Leggett-Garg inequalities are satisfied
• Leggett-Garg inequalities for testing quantumness of gravity
• Leggett-Garg tests of macrorealism: checks for non-invasiveness and generalizations to higher-order correlators
• Violation of a Leggett-Garg inequality using ideal negative measurements in neutron interferometry
• Leggett-Garg tests for macrorealism in the quantum harmonic oscillator and more general bound systems
• Leggett-Garg violations for continuous variable systems with gaussian states
• Dynamics-based quantumness certification of continuous variables using time-independent Hamiltonians with one degree of freedom
• Certifying the quantumness of a nuclear spin qudit through its uniform precession
• Certification of genuine multipartite entanglement in spin ensembles with measurements of total angular momentum
• Group twirling and noise tailoring for multi-qubit controlled phase gates
• Tsirelson inequalities: Detecting cheating and quantumness in a single framework
• Even-parity precession protocol for detecting nonclassicality and entanglement
• Tsirelson's Inequality for the Precession Protocol is Maximally Violated by Quantum Theory
• All three-angle variants of Tsirelson's precession protocol, and improved bounds for wedge integrals of Wigner functions