Quantum Contextuality Costantino Budroni,1, 2 Ad´anCabello,3, 4 Otfried G¨uhne,5 Matthias Kleinmann,5 and Jan-Ake˚ Larsson6 1Faculty of Physics, University of Vienna, Boltzmanngasse 5, 1090 Vienna, Austria 2Institute for Quantum Optics and Quantum Information (IQOQI), Austrian Academy of Sciences, Boltzmanngasse 3, 1090 Vienna, Austria 3 Departamento de F´ısicaAplicada II, Universidad de Sevilla, 41012 Sevilla, Spain 4 Instituto Carlos I de F´ısicaTe´oricay Computacional, Universidad de Sevilla, 41012 Sevilla, Spain 5 Naturwissenschaftlich-Technische Fakult¨at,Universit¨at Siegen, Walter-Flex-Straße 3, 57068 Siegen, Germany 6 Institutionen f¨orSystemteknik och Matematiska Institutionen, Link¨opingsUniversitet, 58183 Link¨oping, Sweden (Dated: March 15, 2021) 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 of a measurement does not depend on which other compatible measurements are jointly performed. Here, compatible measurements are those that can be performed simultaneously or in any order without disturbance. This conflict is generically called quantum contextuality. In this article, we present an introduction to this subject and its current status. We review several proofs of the Kochen-Specker theorem and different notions of contextuality. We explain how to experimentally test some of these notions and discuss connections between contextuality and nonlocality or graph theory. Finally, we review some applications of contextuality in quantum information processing. Contents 5. Final considerations on KS contextuality experiments 25 I. Introduction 2 E. A different notion of contextuality: Spekkens' approach 26 II. Quantum contextuality in a nutshell 2 1. Spekkens' definition of noncontextuality 26 A. A first example3 2. Inequalities for Spekkens' noncontextuality 27 B. A second look3 3. Experimental tests of Spekkens' contextuality 28 4. Relation with different notions of hidden variable III. The Kochen-Specker theorem 4 theory 28 A. Kochen-Specker sets4 B. Generalized Kochen-Specker-type arguments6 V. Advanced topics and methods 29 1. The magic square and the magic pentagram7 A. The noncontextuality polytope 29 1. Simplest example 30 2. Yu and Oh's set8 2. Basics of convex polytopes, affine geometry, and C. As a special instance of Gleason's theorem9 linear programming 30 3. Noncontextuality inequalities 31 IV. Contextuality as a property of nature 9 B. Graph theory and contextuality 32 A. Noncontextuality inequalities9 1. Basic notions 32 1. Mathematical structure of noncontextual hidden 2. Graphs, hypergraphs, and marginal scenarios 33 variable models9 3. Exclusivity graphs and their independence, Lov´asz, 2. State-dependent contextuality 10 and fractional packing numbers 34 3. State-independent contextuality 11 4. The graph approach and the quest for a principle 4. Other approaches to noncontextual hidden variable for quantum correlations 37 models 11 5. Chromatic and fractional chromatic numbers 38 B. Operational definitions and physical assumptions: C. The connections between Kochen-Specker and Bell ideal measurements 12 theorems 39 1. Two perspectives: observables and effects 12 D. Classical simulation of quantum contextuality 40 2. Operational definitions of contexts: OP 13 1. Simulation with Mealy machines 41 3. Operational definitions of contexts: EP 16 2. Simulation with "-transducers 41 C. Modeling experimental imperfections 16 3. Other related results 42 1. Quantifying disturbance in sequential E. The so-called nullifications of Kochen-Specker measurements 17 theorem 43 arXiv:2102.13036v2 [quant-ph] 12 Mar 2021 2. Context-independent time evolution 18 1. Meyer's \nullification” of the KS theorem 43 3. First proposals of experimentally testable 2. Clifton and Kent's \nullification” of the KS inequalities 19 theorem 44 4. Approximate quantum models 19 5. Maximally noncontextual models 20 VI. Applications of quantum contextuality 44 D. Experimental realizations 21 A. Contextuality and quantum computation 45 1. Early experiments 21 1. Contextuality and magic states 45 2. A test of the Peres-Mermin inequality with trapped 2. Contextuality and shallow quantum circuits 46 ions 22 B. Contextuality and quantum cryptography 47 3. A test of the Peres-Mermin inequality with photons23 1. Svozil's quantum key distribution protocol 47 4. A test of the KCBS inequality with photons 24 2. Contextuality offers device-independent security 48 2 C. Random number generation 48 (b) What are the physical assumptions involved in the D. Further applications 49 definition of contextuality and how to operationally 1. Parity-oblivious multiplexing 49 define contexts? 2. State discrimination 50 3. Zero-error channel capacities 50 (c) How to perform experimental tests? What are the 4. Dimension witnesses 50 5. Self-testing 51 assumptions, the loopholes, and the methods to 6. Further applications on the horizon 51 deal with them? VII. Summary and outlook 51 (d) What are the applications of quantum contextual- ity in quantum information processing? Acknowledgments 52 A. Quantum contextuality from a historical These can be summarized as: What is quantum contex- perspective 53 tuality, how to test it, what is useful for, and what do we 1. The problem of hidden variables 53 learn from it? 2. The Kochen-Specker theorem 54 This review aims to reach a broad audience, from peo- 3. The origin of the word \contextuality" 54 ple with little or no experience with quantum contextual- 4. The relation between the KS and Bell theorems and the need for a theory-independent notion of ity, to experts working on the field, both on the theoret- noncontextuality 54 ical and experimental side. As a consequence, it can be 5. Noncontextuality for ideal measurements 55 read in different ways and some parts can be skipped by 6. The hidden history of noncontextuality inequalities 56 readers with already some experience on contextuality. References 57 The content of this review can be briefly outlined as follows. Section II contains a brief introduction to the basic concepts involved in quantum contextuality, such I. INTRODUCTION as compatible measurements, contexts and noncontextu- ality inequalities. Section III contains the statement and Quantum contextuality is a phenomenon that com- proof of the original Kochen-Specker theorem and fur- bines many of the intriguing aspects of quantum theory ther simplifications and related arguments. SectionIV in a single framework: from measurement incompatibil- addresses the main question of this review: what is the ity, as the impossibility of performing simultaneous mea- mathematical structure of noncontextual hidden variable surements of arbitrary observables, to Bell nonlocality theories and how can we put this theories to test in an and entanglement, when the system examined is com- experiment? This includes the questions such a as the posed of several spatially separated parts. The adopted operational identification of contexts, the problem of im- perspective is that of observed statistics, which allows perfect experimental realizations, and experimental tests for a theory-independent description and analysis of the performed so far. A reader with some experience in quan- experimental results. One the one hand, quantum con- tum contextuality could skip Sec. II and III and start textuality generated an intense debate on the founda- directly from here. In Sec.V, we present a collection of tions of quantum mechanics and stimulated the search for advanced topics associated with quantum contextuality, physical principles explaining why quantum theory is the from the definition of the noncontextuality polytope and way it is. On the other hand, the nonclassical properties the computation noncontextuality inequalities, to the re- of contextual correlations have been directly connected lations between contextuality and graph theory and the to quantum information processing applications such as connection between quantum contextuality and Bell non- quantum computation. locality. Finally, in Sec.VI information theoretic appli- The central role of quantum contextuality in quantum cations of quantum contextuality, such as quantum com- theory, both from a fundamental and an applied perspec- putation and random number generation, are discussed. tive, is what motivates this review. The difficulty is that In addition, AppendixA puts the results presented in the there is broad variety of perspectives from which to ap- review into a historical perspective. proach quantum contextuality, ranging from physics to mathematics, computer science, and philosophy, to men- tion some, and consequently a vast literature. It is im- II. QUANTUM CONTEXTUALITY IN A NUTSHELL possible to review all the literature and, at the same time, it would not be useful for the reader. We are thus forced In this section, we briefly explain the essence of the to make a selection of topics to be presented. Kochen-Specker theorem and the modern view on quan- Our goal with this review is to provide an introduc- tum contextuality. This is intended to be a simple ex- tion to contextuality that covers all the most important planation for introducing the readers with little or no (of course, from our subjective perspective) topics. In experience to the topic of quantum contextuality. Many particular, we address the following questions: of the subtleties and open problems, in particular those connected to the definition of contexts and compatible (a) What is the structure