Abstract:Bell non-locality is a fundamental feature of quantum mechanics whereby measurements performed on "spatially separated" quantum systems can exhibit correlations that cannot be understood as revealing predetermined values. This is a special case of the more general phenomenon of "quantum contextuality", which says that such correlations can occur even when the measurements are not necessarily on separate quantum systems, but are merely "compatible" (i.e. commuting). Crucially, while any non-local game yields an experiment that demonstrates quantum advantage by leveraging the "spatial separation" of two or more devices (and in fact several such demonstrations have been conducted successfully in recent years), the same is not true for quantum contextuality: finding the contextuality analogue of such an experiment is arguably one of the central open questions in the foundations of quantum mechanics. In this work, we show that an arbitrary contextuality game can be compiled into an operational "test of contextuality" involving a single quantum device, by only making the assumption that the device is computationally bounded. Our work is inspired by the recent work of Kalai et al. (STOC '23) that converts any non-local game into a classical test of quantum advantage with a single device. The central idea in their work is to use cryptography to enforce spatial separation within subsystems of a single quantum device. Our work can be seen as using cryptography to enforce "temporal separation", i.e. to restrict communication between sequential measurements. Beyond contextuality, we employ our ideas to design a "proof of quantumness" that, to the best of our knowledge, is arguably even simpler than the ones proposed in the literature so far.

No state-independent contextuality can be extracted from contextual measurement-based quantum computation with qudits of odd prime dimension

Contextuality as a resource for measurement-based quantum computation beyond qubits

Pauli-based model of quantum computation with higher-dimensional systems

Experimental Test of High-Dimensional Quantum Contextuality Based on Contextuality Concentration

Statistical Signatures of Quantum Contextuality

A Contextual $ψ$-Epistemic Model of the $n$-Qubit Stabilizer Formalism

Quantum advantage in temporally flat measurement-based quantum computation

Measurement-based quantum computation in finite one-dimensional systems: string order implies computational power

Efficient classical simulation of quantum computation beyond Wigner positivity

Characterizing high-dimensional quantum contextuality

Optimal Classical Simulation of State-Independent Quantum Contextuality.

Measurement-based quantum computation in symmetry protected topological states of one-dimensional integer spin systems

Measurement-based quantum computation from Clifford quantum cellular automata

Almost qudits in the prepare-and-measure scenario

Optimal Measurement Structures for Contextuality Applications

Universal measurement-based quantum computation in a one-dimensional architecture enabled by dual-unitary circuits

Quantum algorithms for classical Boolean functions via adaptive measurements: Exponential reductions in space-time resources

More nonlocality with less incompatibility in higher dimensions: Bell vs prepare-measure scenarios

Hierarchy of universal entanglement in 2D measurement-based quantum computation

A computational test of quantum contextuality, and even simpler proofs of quantumness