Certified Quantumness via Single-Shot Temporal Measurements

Bell-Kochen-Specker theorem states that a non-contextual hidden-variable theory cannot completely reproduce the predictions of quantum mechanics. Asher Peres gave a remarkably simple proof of quantum contextuality in a four-dimensional Hilbert space of two spin-1/2 particles. Peres’s argument is enormously simpler than that of Kochen and Specker. Peres contextuality demonstrates a logical contradiction between quantum mechanics and the noncontextual hidden variable models by showing an inconsistency when assigning noncontextual definite values to a certain set of quantum observables. In this work, we present a similar proof in time with a temporal version of the Peres-like argument. In analogy with the two-particle version of Peres’s argument in the context of spin measurements at two different locations, we examine here single-particle spin measurements at two different times $t=t_1$ and $t=t_2$. We adopt three classical assumptions for time-separated measurements, which are demonstrated to conflict with quantum mechanical predictions. Consequently, we provide a non-probabilistic proof of certified quantumness in time, without relying on inequalities, demonstrating that our approach can certify the quantumness of a device through single-shot, time-separated measurements. Our results can be experimentally verified with the present quantum technology.

💡 Research Summary

The paper presents a temporal analogue of Peres’ spatial proof of quantum contextuality, establishing a non‑probabilistic, inequality‑free certification of quantumness using single‑shot measurements at two distinct times on a single spin‑½ particle. The authors begin by recalling the Bell‑Kochen‑Specker (BKS) theorem, which rules out non‑contextual hidden‑variable models, and the Leggett‑Garg inequalities (LGI), which test macrorealism and non‑invasive measurability in time‑separated measurements. They then introduce three classical assumptions: (a1) classical realism (systems possess definite pre‑existing values), (a2) non‑invasive measurability (these values can be read without disturbing the system), and (a3) simultaneous measurability (any set of physical observables can have predetermined values simultaneously).

To construct the temporal version, the authors consider a single qubit evolving under the Hamiltonian (H=\frac{\hbar\omega}{2}\sigma_z). In the Heisenberg picture the Pauli operators evolve as (\sigma_x(t)=\sigma_x\cos\omega t-\sigma_y\sin\omega t), (\sigma_y(t)=\sigma_y\cos\omega t+\sigma_x\sin\omega t), and (\sigma_z(t)=\sigma_z). They select two times (t_1) and (t_2) such that (\omega t_1=0) and (\omega t_2=\pi/2). At these times three composite observables are defined:

1. (A=\sigma_x(t_2)\sigma_y(t_1)),
2. (B=\sigma_y(t_2)\sigma_x(t_1)),
3. (C=\sigma_z(t_2)\sigma_z(t_1)).

Because of the chosen evolution, these three operators commute and therefore possess a common eigenbasis. For the specific state (|\Phi\rangle=|\uparrow\rangle) (or indeed any state, as shown later), quantum mechanics predicts eigenvalues (A=-1), (B=+1), and (C=+1). These predictions are expressed in equations (24)–(26) of the manuscript.

Under the classical assumptions, each single‑time spin component is assigned a predetermined dichotomic value: (m_{1x}, m_{2x}, m_{1y}, m_{2y}\in{\pm1}), independent of measurement order. The quantum eigenvalue relations translate into three constraints on these hidden‑variable values:
(m_{2x}m_{1y}=-1) (27),
(m_{2y}m_{1x}=+1) (28),
(m_{2x}m_{2y}m_{1y}m_{1x}=+1) (29).

Multiplying the left‑hand sides yields ((m_{1x})^2(m_{2x})^2(m_{1y})^2(m_{2y})^2=+1), whereas the product of the right‑hand sides is (-1). This logical contradiction shows that no assignment of predetermined, non‑contextual values can satisfy the quantum predictions, thereby refuting the trio of classical assumptions for the temporal scenario.

Importantly, the contradiction does not depend on the initial quantum state; the eigenvalue equations (24)–(26) hold for any state of the qubit, making the argument state‑independent. Consequently, a single experimental run—measuring the three composite observables at the two times—suffices to certify that the device exhibits genuine quantum behavior. The authors suggest that the protocol can be implemented with current technologies such as nuclear magnetic resonance (NMR), superconducting qubits, or trapped‑ion platforms.

The key contributions of the work are:

1. A temporal reformulation of Peres’ contextuality proof, introducing “time‑contextuality” as a new facet of quantum non‑classicality.
2. A non‑probabilistic, inequality‑free certification scheme that requires only single‑shot, time‑separated measurements, avoiding the need for statistical sampling.
3. A clear exposition of why the classical assumptions (realism, non‑invasiveness, simultaneous measurability) fail in the quantum regime, grounded in the Heisenberg dynamics of a simple qubit.
4. Practical guidance for experimental realization, demonstrating that the protocol is within reach of existing quantum hardware.

Overall, the paper deepens our understanding of the incompatibility between classical hidden‑variable models and quantum mechanics in the temporal domain and provides a concrete, experimentally accessible method for verifying quantumness in quantum devices.