All three-angle variants of Tsirelson's precession protocol, and improved bounds for wedge integrals of Wigner functions

Abstract

Tsirelson's precession protocol is a nonclassicality witness that can be defined for both discrete and continuous variable systems. Its original version involves measuring a precessing observable, like the quadrature of a harmonic oscillator or a component of angular momentum, along three equally-spaced angles. In this work, we characterise all three-angle variants of this protocol. For continuous variables, we show that the maximum score ${\mathbf{P}}_3^{\infty }$ achievable by the quantum harmonic oscillator is the same for all such generalised protocols. We also derive markedly tighter bounds for ${\mathbf{P}}_3^{\infty }$, both rigorous and conjectured, which translate into improved bounds on the amount of negativity a Wigner function can have in certain wedge-shaped regions of phase space. For discrete variables, we show that changing the angles significantly improves the score for most spin systems. Like the original protocol, these generalised variants can detect non-Gaussian and genuine multipartite entanglement when applied on composite systems. Overall, this work broadens the scope of Tsirelson's original protocol, making it capable to detect the nonclassicality and entanglement of many more states.

16+8 pages, 15+2 figures. Updated to published version

References in corpus (11)

• Quantum error correction with dissipatively stabilized squeezed cat qubits
• Dynamics-Based Entanglement Witnesses for Non-Gaussian States of Harmonic Oscillators
• Certifiable Lower Bounds of Wigner Negativity Volume and Non-Gaussian Entanglement with Conditional Displacement Gates
• How often is the coordinate of a harmonic oscillator positive?
• 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
• Quantum entanglement in phase space
• Even-parity precession protocol for detecting nonclassicality and entanglement
• Tsirelson's Inequality for the Precession Protocol is Maximally Violated by Quantum Theory

Cited by in corpus (1)

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