Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2304.07757 · Journal of Physics Conference Series

Revisiting Quantum Contextuality in an Algebraic Framework.

Mathias van den Bossche, Philippe Grangier

Published Jun 1, 2023• 3 citations
arXivHTMLPDF

Abstract

Abstract Within the framework of quantum contextuality, we discuss the ideas of extracontextuality and extravalence, that allow one to relate Kochen-Specker’s and Gleason’s theorems. We emphasize that whereas Kochen-Specker’s is essentially a no-go theorem, Gleason’s provides a mathematical justification of Born’s rule. Our extracontextual approach requires however a way to describe the “Heisenberg cut”. Following an article by John von Neumann on infinite tensor products, this can be done by noticing that the usual formalism of quantum mechanics, associated with unitary equivalence of representations, stops working when countable infinities of particles (or degrees of freedom) are encountered. This is because the dimension of the corresponding Hilbert space becomes uncountably infinite, leading to the loss of unitary equivalence, and to sectorisation. Such an intrinsically contextual approach provides a unified mathematical model including both quantum and classical physics, that appear as required incommensurable facets in the description of nature.

DOI
10.1088/1742-6596/2533/1/012008

Related papers

Revisiting Quantum Contextuality

Philippe Grangier

The purpose of this note is to complete the interesting review on quantum contextuality [1] that appeared recently. In particular we will introduce and discuss the ideas of extracontextuality and extravalence, that allow one to relate Kochen-Specker's and Gleason's theorems, and also to shift the emphasis from the first to the second one. We will also argue that whereas Kochen-Specker's is essentially a negative result (a no-go theorem), Gleason's is a positive one since it provides a mathematical justification of Born's rule. The link between these issues is provided by a specific quantum feature that we call extravalence.

arXiv:2201.00371•Jan 2, 2022•0 citations

Extracontextuality and extravalence in quantum mechanics

Alexia Auffèves, Philippe Grangier

We develop the point of view where quantum mechanics results from the interplay between the quantized number of 'modalities' accessible to a quantum system, and the continuum of 'contexts' that are required to define these modalities. We point out the specific roles of 'extracontextuality' and 'extravalence' of modalities, and relate them to the Kochen-Specker and Gleason theorems.This article is part of a discussion meeting issue 'Foundations of quantum mechanics and their impact on contemporary society'.

arXiv:1801.01398•Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences•May 28, 2018•23 citations

Quantum interval-valued probability: Contextuality and the Born rule

Yu-Tsung Tai, Andrew J. Hanson, Gerardo Ortíz +1 more

We present a mathematical framework based on quantum interval-valued probability measures to study the effect of experimental imperfections and finite precision measurements on defining aspects of quantum mechanics such as contextuality and the Born rule. While foundational results such as the Kochen-Specker and Gleason theorems are valid in the context of infinite precision, they fail to hold in general in a world with limited resources. Here we employ an interval-valued framework to establish bounds on the validity of those theorems in realistic experimental environments. In this way, not only can we quantify the idea of finite-precision measurement within our theory, but we can also suggest a possible resolution of the Meyer-Mermin debate on the impact of finite-precision measurement on the Kochen-Specker theorem.

arXiv:1712.09006•Physical Review A•May 21, 2018•1 citation

An algebraic characterisation of Kochen-Specker contextuality

Markus Frembs

Contextuality is a key distinguishing feature between classical and quantum physics. It expresses a fundamental obstruction to describing quantum theory using classical concepts. In turn, understood as a resource for quantum computation, it is expected to hold the key to quantum advantage. Yet, despite its long recognised importance in quantum foundations and, more recently, in quantum computation, the structural essence of contextuality has remained somewhat elusive - different frameworks address different aspects of the phenomenon, yet their precise relationship often remains unclear. This issue already looms large at the level of the Bell-Kochen-Specker theorem: while traditional proofs proceed by showing the nonexistence of valuations, the notion of state-independent contextuality in the marginal approach allows to prove contextuality from seemingly weaker assumptions. In the light of this, and at the absence of a unified mathematical framework for Kochen-Specker contextuality, the original algebraic approach has been widely abandoned, in favour of the study of contextual correlations. Here, we reinstate the algebraic perspective on contextuality. Concretely, by building on the novel concept of context connections, we reformulate the algebraic relations between observables originally postulated by Kochen and Specker, and we explicitly demonstrate their consistency with the notion of state-independent contextuality. In the present paper, we focus on the new conceptual ideas and discuss them in the concrete setting of spin-1 observables, specifically those in the example of [S. Yu and C.H. Oh, Phys. Rev. Lett., 108, 030402 (2012)]; in a companion paper, we generalise these ideas, obtain a complete characterisation of Kochen-Specker contextuality and provide a detailed comparison with the related notions of contextuality in the marginal and graph-theoretic approach.

arXiv:2408.16764•Aug 29, 2024•1 citation

Strong Kochen-Specker contextuality to rule out discrete nondeterministic alternatives to quantum theory

Ravishankar Ramanathan

Abstract Gleason’s theorem identifies the Born rule via non-contextuality over an infinite continuous lattice of projectors, while its corollary the Kochen-Specker (KS) theorem rules out the specific class of deterministic ({0, 1}-valued) noncontextual models using finite sets of projectors. Gleason’s theorem also indicates the existence of KS-type finite vector constructions to rule out other discrete nondeterministic alternatives to quantum theory beyond the {0, 1} case. Here, we construct finite measurement configurations to rule out noncontextual empirical models with outcome probabilities drawn from an arbitrary finite subset O ⊂ [0, 1]. We do this by two means: (i) constructing a family of experimentally feasible state-dependent Hardy-type tests, and (ii) proving a generalized KS theorem for a broad class of O that includes prior results as special cases. In the sheaf-theoretic framework of Abramsky and Brandenburger, a hierarchy of probabilistic-possibilistic-strong contex-tuality has been established quantifying contextuality as a resource. We extend this framework by introducing strong O-valued contextuality, showing that quantum theory evades global sections of all finite-valued presheaves. We also discuss the implications of the result on finite many-valued logics as viable ontological models for quantum theory and for contextuality-based (semi)-device-independent protocols.

•Sep 21, 2026•0 citations

Contextuality and the fundamental theorems of quantum mechanics

Andreas Döring, Markus Frembs

Contextuality is a key feature of quantum mechanics, as was first brought to light by Bohr [Albert Einstein: Philosopher-Scientist, Library of Living Philosophers Vol. VII, edited by P. A. Schilpp (Open Court, 1998), pp. 199–241] and later realized more technically by Kochen and Specker [J. Math. Mech. 17, 59 (1967)]. Isham and Butterfield put contextuality at the heart of their topos-based formalism and gave a reformulation of the Kochen–Specker theorem in the language of presheaves in Isham and Butterfield [Int. J. Theor. Phys. 37, 2669 (1998)]. Here, we broaden this perspective considerably (partly drawing on existing, but scattered results) and show that apart from the Kochen–Specker theorem, Wigner’s theorem, Gleason’s theorem, and Bell’s theorem also relate fundamentally to contextuality. We provide reformulations of the theorems using the language of presheaves over contexts and give general versions valid for von Neumann algebras. This shows that a very substantial part of the structure of quantum theory is encoded by contextuality.

arXiv:1910.09591•Journal of Mathematical Physics•Jul 1, 2022•12 citations
Abstract Within the framework of quantum contextuality, we discuss the ideas of extracontextuality and extravalence, that allow one to relate Kochen-Specker’s and Gleason’s theorems. We emphasize that whereas Kochen-Specker’s is essentially a no-go theorem, Gleason’s provides a mathematical justification of Born’s rule. Our extracontextual approach requires however a way to describe the “Heisenberg cut”. Following an article by John von Neumann on infinite tensor products, this can be done by noticing that the usual formalism of quantum mechanics, associated with unitary equivalence of representations, stops working when countable infinities of particles (or degrees of freedom) are encountered. This is because the dimension of the corresponding Hilbert space becomes uncountably infinite, leading to the loss of unitary equivalence, and to sectorisation. Such an intrinsically contextual approach provides a unified mathematical model including both quantum and classical physics, that appear as required incommensurable facets in the description of nature.
The purpose of this note is to complete the interesting review on quantum contextuality [1] that appeared recently. In particular we will introduce and discuss the ideas of extracontextuality and extravalence, that allow one to relate Kochen-Specker's and Gleason's theorems, and also to shift the emphasis from the first to the second one. We will also argue that whereas Kochen-Specker's is essentially a negative result (a no-go theorem), Gleason's is a positive one since it provides a mathematical justification of Born's rule. The link between these issues is provided by a specific quantum feature that we call extravalence.
We develop the point of view where quantum mechanics results from the interplay between the quantized number of 'modalities' accessible to a quantum system, and the continuum of 'contexts' that are required to define these modalities. We point out the specific roles of 'extracontextuality' and 'extravalence' of modalities, and relate them to the Kochen-Specker and Gleason theorems.This article is part of a discussion meeting issue 'Foundations of quantum mechanics and their impact on contemporary society'.
We present a mathematical framework based on quantum interval-valued probability measures to study the effect of experimental imperfections and finite precision measurements on defining aspects of quantum mechanics such as contextuality and the Born rule. While foundational results such as the Kochen-Specker and Gleason theorems are valid in the context of infinite precision, they fail to hold in general in a world with limited resources. Here we employ an interval-valued framework to establish bounds on the validity of those theorems in realistic experimental environments. In this way, not only can we quantify the idea of finite-precision measurement within our theory, but we can also suggest a possible resolution of the Meyer-Mermin debate on the impact of finite-precision measurement on the Kochen-Specker theorem.
Contextuality is a key distinguishing feature between classical and quantum physics. It expresses a fundamental obstruction to describing quantum theory using classical concepts. In turn, understood as a resource for quantum computation, it is expected to hold the key to quantum advantage. Yet, despite its long recognised importance in quantum foundations and, more recently, in quantum computation, the structural essence of contextuality has remained somewhat elusive - different frameworks address different aspects of the phenomenon, yet their precise relationship often remains unclear. This issue already looms large at the level of the Bell-Kochen-Specker theorem: while traditional proofs proceed by showing the nonexistence of valuations, the notion of state-independent contextuality in the marginal approach allows to prove contextuality from seemingly weaker assumptions. In the light of this, and at the absence of a unified mathematical framework for Kochen-Specker contextuality, the original algebraic approach has been widely abandoned, in favour of the study of contextual correlations. Here, we reinstate the algebraic perspective on contextuality. Concretely, by building on the novel concept of context connections, we reformulate the algebraic relations between observables originally postulated by Kochen and Specker, and we explicitly demonstrate their consistency with the notion of state-independent contextuality. In the present paper, we focus on the new conceptual ideas and discuss them in the concrete setting of spin-1 observables, specifically those in the example of [S. Yu and C.H. Oh, Phys. Rev. Lett., 108, 030402 (2012)]; in a companion paper, we generalise these ideas, obtain a complete characterisation of Kochen-Specker contextuality and provide a detailed comparison with the related notions of contextuality in the marginal and graph-theoretic approach.
Abstract Gleason’s theorem identifies the Born rule via non-contextuality over an infinite continuous lattice of projectors, while its corollary the Kochen-Specker (KS) theorem rules out the specific class of deterministic ({0, 1}-valued) noncontextual models using finite sets of projectors. Gleason’s theorem also indicates the existence of KS-type finite vector constructions to rule out other discrete nondeterministic alternatives to quantum theory beyond the {0, 1} case. Here, we construct finite measurement configurations to rule out noncontextual empirical models with outcome probabilities drawn from an arbitrary finite subset O ⊂ [0, 1]. We do this by two means: (i) constructing a family of experimentally feasible state-dependent Hardy-type tests, and (ii) proving a generalized KS theorem for a broad class of O that includes prior results as special cases. In the sheaf-theoretic framework of Abramsky and Brandenburger, a hierarchy of probabilistic-possibilistic-strong contex-tuality has been established quantifying contextuality as a resource. We extend this framework by introducing strong O-valued contextuality, showing that quantum theory evades global sections of all finite-valued presheaves. We also discuss the implications of the result on finite many-valued logics as viable ontological models for quantum theory and for contextuality-based (semi)-device-independent protocols.
Contextuality is a key feature of quantum mechanics, as was first brought to light by Bohr [Albert Einstein: Philosopher-Scientist, Library of Living Philosophers Vol. VII, edited by P. A. Schilpp (Open Court, 1998), pp. 199–241] and later realized more technically by Kochen and Specker [J. Math. Mech. 17, 59 (1967)]. Isham and Butterfield put contextuality at the heart of their topos-based formalism and gave a reformulation of the Kochen–Specker theorem in the language of presheaves in Isham and Butterfield [Int. J. Theor. Phys. 37, 2669 (1998)]. Here, we broaden this perspective considerably (partly drawing on existing, but scattered results) and show that apart from the Kochen–Specker theorem, Wigner’s theorem, Gleason’s theorem, and Bell’s theorem also relate fundamentally to contextuality. We provide reformulations of the theorems using the language of presheaves over contexts and give general versions valid for von Neumann algebras. This shows that a very substantial part of the structure of quantum theory is encoded by contextuality.