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:1201.5080

Towards a Bell-Kochen-Specker theorem of identity

R. Srikanth, Debajyoti Gangopadhyay

Published Jan 24, 2012• 0 citations
arXivHTMLPDF

Abstract

In contrast to conventional, dynamical entanglement, in which particles with definite identity have uncertain properties, in so-called statistical entanglement, which arises between indistinguishable particles because of quantum symmetry rules, even particle identities are uncertain. The Bell and Kochen-Specker theorems imply that quantum properties either lack realism or possess it with a caveat of contextuality or nonlocality. In the matter of identity of multi-particle states of indistinguishable particles, these contrasting ontological attitudes are mirrored by the "bundle" vs. haecceity views. We offer some arguments aimed at importing the above theorems to the issue of identity in quantum theory, with the conclusion (under certain assumptions) that indistinguishable particles either lack individualism or possess a definite identity with a caveat of contextuality or nonlocality.

DOI
10.48550/arxiv.1201.5080

Related papers

Ontological indistinguishability as a central tenet of quantum theory

J. Acácio de Barros, Federico Holik

Quantum indistinguishability directly relates to the philosophical debate on the notions of identity and individuality. They are crucial for our understanding of multipartite quantum systems. Furthermore, the correct interpretation of this feature of quantum theory has implications that transcend fundamental science and philosophy, given that quantum indistinguishability is a resource in quantum information theory. Most of the conceptual analysis of quantum indistinguishability is restricted to studying the permutational invariance of quantum states, the concomitant quantum statistics and their entanglement. Here, we analyse the role of indistinguishability and non-individuality in other areas of quantum theory. We start by analysing how a very peculiar use of indistinguishability underlies Feynman's rules for summing amplitudes in interference phenomena. Next, we study how quantum indistinguishability is underestimated in several topics of debate in the quantum physics literature, such as the Einstein-Podolsky-Rosen argument, Bell's inequalities and the Bell-Kochen-Specker theorem. Finally, we argue that an ontology of truly indistinguishable entities can serve as a basis for a quantum ontology that can give interesting answers to the interpretational problems of quantum mechanics. We claim that, in addition to superposition, contextuality and entanglement, indistinguishability (understood in a robust ontological sense) is one of the central features of quantum physics. This article is part of the theme issue 'Identity, individuality and indistinguishability in physics and mathematics'.

Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences•Jul 30, 2023•2 citations

Contextuality beyond the Kochen-Specker theorem

Ravi Kunjwal

When it isn't possible to tell two distinct experimental procedures apart purely from their input/output statistics, then it seems a plausible hypothesis that the two procedures must be physically identical. We call such a hypothesis "noncontextuality", an instance of Leibniz's principle of the identity of indiscernibles. Read in the contrapositive, this hypothesis entails that any physical distinctions between two experimental procedures must necessarily lead to a difference in their operational statistics. The results I present in this thesis concern the failure of this hypothesis -- a failure dubbed "contextuality" -- when one tries to embed an operational theory (such as quantum theory) in the ontological models framework. The Kochen-Specker theorem demonstrates the failure of noncontextuality for deterministic ontological models of quantum theory, i.e., those ontological models where the ontic/physical state of the system fixes the outcome of any projective measurement on the system in a deterministic manner. This thesis goes beyond the Kochen-Specker (KS) theorem by asking what operational facts must be verified in experiments to conclude that Nature does not admit noncontextual ontological models, not even indeterministic ones. This leads to noncontextuality inequalities that are robust to noise in the preparations and measurements. In the particular case of quantum theory, these inequalities are meaningful even when unsharp measurements (or POVMs) are allowed, a feature not shared by the traditional approach to KS-noncontextuality where unsharp measurements are excluded by fiat: allowing them renders even trivial POVMs (proportional to identity) maximally KS-contextual. The sense in which trivial POVMs are indeed "trivial" (or "noncontextual") is clear in our approach: they are simply too noisy to lead to violation of our noncontextuality inequalities.

arXiv:1612.07250•Dec 21, 2016•9 citations

Contextualism And Nonlocality In Quantum Mechanics

Michael William Kernaghan

I describe the conceptual problems associated with the Kochen-Specker theorem including the presuppositions of the theorem and plausible interpretations of the conclusions motivated by the theorem. I describe an idealized quantum system which demonstrates both the Kochen-Specker theorem and the Bell argument for nonlocality. I present new findings about the mathematical structures which support a proof of the Kochen-Specker theorem.

•Jan 1, 1995•1 citation

Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem

Victoria J Wright, Ravi Kunjwal

The Kochen–Specker (KS) theorem reveals the nonclassicality of single quantum systems. In contrast, Bell's theorem and entanglement concern the nonclassicality of composite quantum systems. Accordingly, unlike incompatibility, entanglement and Bell non-locality are not necessary to demonstrate KS-contextuality. However, here we find that for multiqubit systems, entanglement and non-locality are both essential to proofs of the Kochen–Specker theorem. Firstly, we show that unentangled measurements (a strict superset of local measurements) can never yield a logical (state-independent) proof of the KS theorem for multiqubit systems. In particular, unentangled but nonlocal measurements—whose eigenstates exhibit ''nonlocality without entanglement"—are insufficient for such proofs. This also implies that proving Gleason's theorem on a multiqubit system necessarily requires entangled projections, as shown by Wallach [Contemp Math, 305: 291-298 (2002)]. Secondly, we show that a multiqubit state admits a statistical (state-dependent) proof of the KS theorem if and only if it can violate a Bell inequality with projective measurements. We also establish the relationship between entanglement and the theorems of Kochen–Specker and Gleason more generally in multiqudit systems by constructing new examples of KS sets. Finally, we discuss how our results shed new light on the role of multiqubit contextuality as a resource within the paradigm of quantum computation with state injection.

arXiv:2109.13594•Quantum•Jan 19, 2023•9 citations

An Epistemological Criticism to the Bell–Kochen–Specker Theorem

Claudio Garola, Luigi Accardi, Guillaume Adenier +5 more

The Bell–Kochen–Specker theorem is criticized from an epistemological point of view, showing that its proofs rest on an implicit epistemological assumption which does not fit in with the operational and antimetaphysical attitude of orthodox quantum mechanics.

AIP conference proceedings•Jan 1, 2009•6 citations

Entities, Identity and the Formal Structure of Quantum Mechanics

Christian DE RONDE, Graciela Domenech, Federico Holik +1 more

The concept of individuality in quantum mechanics shows radical differences from the one used in classical physics. In particular, it is not possible to consider the fundamental particles described by quantum theory as individual distinguishable objects. In this paper we present arguments in favor of quantum non-individuality, which -in addition to those based on quantum statistics- relate to the Kochen-Specker theorem and the principle of superposition. Then, we analyze the possibility of referring to 'possible individuals' instead of 'actual individuals', and show that the Modal-Kochen-Specker theorem precludes this interpretational move.

arXiv:1203.3007•Mar 14, 2012•3 citations
In contrast to conventional, dynamical entanglement, in which particles with definite identity have uncertain properties, in so-called statistical entanglement, which arises between indistinguishable particles because of quantum symmetry rules, even particle identities are uncertain. The Bell and Kochen-Specker theorems imply that quantum properties either lack realism or possess it with a caveat of contextuality or nonlocality. In the matter of identity of multi-particle states of indistinguishable particles, these contrasting ontological attitudes are mirrored by the "bundle" vs. haecceity views. We offer some arguments aimed at importing the above theorems to the issue of identity in quantum theory, with the conclusion (under certain assumptions) that indistinguishable particles either lack individualism or possess a definite identity with a caveat of contextuality or nonlocality.
Quantum indistinguishability directly relates to the philosophical debate on the notions of identity and individuality. They are crucial for our understanding of multipartite quantum systems. Furthermore, the correct interpretation of this feature of quantum theory has implications that transcend fundamental science and philosophy, given that quantum indistinguishability is a resource in quantum information theory. Most of the conceptual analysis of quantum indistinguishability is restricted to studying the permutational invariance of quantum states, the concomitant quantum statistics and their entanglement. Here, we analyse the role of indistinguishability and non-individuality in other areas of quantum theory. We start by analysing how a very peculiar use of indistinguishability underlies Feynman's rules for summing amplitudes in interference phenomena. Next, we study how quantum indistinguishability is underestimated in several topics of debate in the quantum physics literature, such as the Einstein-Podolsky-Rosen argument, Bell's inequalities and the Bell-Kochen-Specker theorem. Finally, we argue that an ontology of truly indistinguishable entities can serve as a basis for a quantum ontology that can give interesting answers to the interpretational problems of quantum mechanics. We claim that, in addition to superposition, contextuality and entanglement, indistinguishability (understood in a robust ontological sense) is one of the central features of quantum physics. This article is part of the theme issue 'Identity, individuality and indistinguishability in physics and mathematics'.
When it isn't possible to tell two distinct experimental procedures apart purely from their input/output statistics, then it seems a plausible hypothesis that the two procedures must be physically identical. We call such a hypothesis "noncontextuality", an instance of Leibniz's principle of the identity of indiscernibles. Read in the contrapositive, this hypothesis entails that any physical distinctions between two experimental procedures must necessarily lead to a difference in their operational statistics. The results I present in this thesis concern the failure of this hypothesis -- a failure dubbed "contextuality" -- when one tries to embed an operational theory (such as quantum theory) in the ontological models framework. The Kochen-Specker theorem demonstrates the failure of noncontextuality for deterministic ontological models of quantum theory, i.e., those ontological models where the ontic/physical state of the system fixes the outcome of any projective measurement on the system in a deterministic manner. This thesis goes beyond the Kochen-Specker (KS) theorem by asking what operational facts must be verified in experiments to conclude that Nature does not admit noncontextual ontological models, not even indeterministic ones. This leads to noncontextuality inequalities that are robust to noise in the preparations and measurements. In the particular case of quantum theory, these inequalities are meaningful even when unsharp measurements (or POVMs) are allowed, a feature not shared by the traditional approach to KS-noncontextuality where unsharp measurements are excluded by fiat: allowing them renders even trivial POVMs (proportional to identity) maximally KS-contextual. The sense in which trivial POVMs are indeed "trivial" (or "noncontextual") is clear in our approach: they are simply too noisy to lead to violation of our noncontextuality inequalities.
The Kochen–Specker (KS) theorem reveals the nonclassicality of single quantum systems. In contrast, Bell's theorem and entanglement concern the nonclassicality of composite quantum systems. Accordingly, unlike incompatibility, entanglement and Bell non-locality are not necessary to demonstrate KS-contextuality. However, here we find that for multiqubit systems, entanglement and non-locality are both essential to proofs of the Kochen–Specker theorem. Firstly, we show that unentangled measurements (a strict superset of local measurements) can never yield a logical (state-independent) proof of the KS theorem for multiqubit systems. In particular, unentangled but nonlocal measurements—whose eigenstates exhibit ''nonlocality without entanglement"—are insufficient for such proofs. This also implies that proving Gleason's theorem on a multiqubit system necessarily requires entangled projections, as shown by Wallach [Contemp Math, 305: 291-298 (2002)]. Secondly, we show that a multiqubit state admits a statistical (state-dependent) proof of the KS theorem if and only if it can violate a Bell inequality with projective measurements. We also establish the relationship between entanglement and the theorems of Kochen–Specker and Gleason more generally in multiqudit systems by constructing new examples of KS sets. Finally, we discuss how our results shed new light on the role of multiqubit contextuality as a resource within the paradigm of quantum computation with state injection.
The concept of individuality in quantum mechanics shows radical differences from the one used in classical physics. In particular, it is not possible to consider the fundamental particles described by quantum theory as individual distinguishable objects. In this paper we present arguments in favor of quantum non-individuality, which -in addition to those based on quantum statistics- relate to the Kochen-Specker theorem and the principle of superposition. Then, we analyze the possibility of referring to 'possible individuals' instead of 'actual individuals', and show that the Modal-Kochen-Specker theorem precludes this interpretational move.