Kochen-specker contextuality

C Budroni, A Cabello, O Gühne, M Kleinmann… - Reviews of Modern …, 2022 - APS
A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In
short, it states that quantum mechanics is in conflict with classical models in which the result …

Experimental certification of contextuality, coherence, and dimension in a programmable universal photonic processor

T Giordani, R Wagner, C Esposito, A Camillini… - Science …, 2023 - science.org
Quantum superposition of high-dimensional states enables both computational speed-up
and security in cryptographic protocols. However, the exponential complexity of tomographic …

Temporal quantum correlations and Leggett-Garg inequalities in multilevel systems

C Budroni, C Emary - Physical review letters, 2014 - APS
We show that the quantum bound for temporal correlations in a Leggett-Garg test,
analogous to the Tsirelson bound for spatial correlations in a Bell test, strongly depends on …

Certifying sets of quantum observables with any full-rank state

ZP Xu, D Saha, K Bharti, A Cabello - Physical Review Letters, 2024 - APS
We show that some sets of quantum observables are unique up to an isometry and have a
contextuality witness that attains the same value for any initial state. We prove that these two …

State independent contextuality advances one-way communication

D Saha, P Horodecki, M Pawłowski - New Journal of Physics, 2019 - iopscience.iop.org
Although'quantum contextuality'is one of the most fundamental non-classical feature, its
generic role in information processing and computation is an open quest. In this article, we …

Leggett-Garg macrorealism and temporal correlations

G Vitagliano, C Budroni - Physical Review A, 2023 - APS
Leggett and Garg formulated macrorealist models encoding our intuition on classical
systems, ie, physical quantities have a definite value that can be measured with minimal …

Experimental implementation of a Kochen-Specker set of quantum tests

V D'Ambrosio, I Herbauts, E Amselem, E Nagali… - Physical Review X, 2013 - APS
The conflict between classical and quantum physics can be identified through a series of yes-
no tests on quantum systems, without it being necessary that these systems be in special …

Necessary and sufficient condition for quantum state-independent contextuality

A Cabello, M Kleinmann, C Budroni - Physical Review Letters, 2015 - APS
We solve the problem of whether a set of quantum tests reveals state-independent
contextuality and use this result to identify the simplest set of the minimal dimension. We …

A SAT solver and computer algebra attack on the minimum kochen-specker problem

Z Li, C Bright, V Ganesh - arxiv preprint arxiv:2306.13319, 2023 - arxiv.org
One of the foundational results in quantum mechanics is the Kochen-Specker (KS) theorem,
which states that any theory whose predictions agree with quantum mechanics must be …

Exploring the boundary of quantum correlations with a time-domain optical processor

ZH Liu, Y Meng, YZ Wu, ZY Hao, ZP Xu, CJ Ai… - Science …, 2025 - science.org
Contextuality is a hallmark feature of the quantum theory that captures its incompatibility with
any noncontextual hidden-variable model. The Greenberger-Horne-Zeilinger (GHZ)–type …