---

A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics cannot be reconciled with classical models that are noncontextual for ideal measurements. This phenomenon is also known as quantum contextuality. The first explicit derivation by Kochen and Specker was rather complex, but considerable simplifications have been achieved thereafter. We propose a systematic approach to find minimal Hardy-type and Greenberger-Horne-Zeilinger-type (GHZ-type) proofs of the Kochen-Specker theorem, these are characterized by the fact that the predictions of classical models are opposite to the predictions of quantum mechanics. Based on our results, we show that the Kochen-Specker set with 18 vectors from Cabello et al. [A. Cabello et al., Phys. Lett. A 212, 183 (1996)] is the minimal set for any dimension, verifying a longstanding conjecture by Peres. In this talk, we will give an introduction to quantum contextuality, Kochen-Specker theorem and our proof of Peres conjecture. Zoom: https://uni-koeln.zoom.us/j/97462167683?pwd=RFE3VzhsWkIzUkxWUXJCS1dIN3Q0dz09

---

Zhen-Peng Xu, U Siegen
Seminarraum Pohligstr; online
Contact: David Gross