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:1909.07293 · Quantum

Quantum prescriptions are more ontologically distinct than they are operationally distinguishable

Anubhav Chaturvedi, Debashis Saha

Published Oct 21, 2020• 23 citations
arXivHTMLPDF

Abstract

Based on an intuitive generalization of the Leibniz principle of `the identity of indiscernibles', we introduce a novel ontological notion of classicality, called bounded ontological distinctness. Formulated as a principle, bounded ontological distinctness equates the distinguishability of a set of operational physical entities to the distinctness of their ontological counterparts. Employing three instances of two-dimensional quantum preparations, we demonstrate the violation of bounded ontological distinctness or excess ontological distinctness of quantum preparations, without invoking any additional assumptions. Moreover, our methodology enables the inference of tight lower bounds on the extent of excess ontological distinctness of quantum preparations. Similarly, we demonstrate excess ontological distinctness of quantum transformations, using three two-dimensional unitary transformations. However, to demonstrate excess ontological distinctness of quantum measurements, an additional assumption such as outcome determinism or bounded ontological distinctness of preparations is required. Moreover, we show that quantum violations of other well-known ontological principles implicate quantum excess ontological distinctness. Finally, to showcase the operational vitality of excess ontological distinctness, we introduce two distinct classes of communication tasks powered by excess ontological distinctness.

DOI
10.22331/q-2020-10-21-345

Related papers

An Operational Notion of Classicality Based on Physical Principles

Shubhayan Sarkar

Abstract One of the basic observations of the classical world is that physical entities are real and can be distinguished from each other. However, within quantum theory, the idea of physical realism is not well established. A framework to analyse how observations in experiments can be described using some physical states of reality was recently developed, known as ontological models framework. Different principles when imposed on the ontological level give rise to different theories, the validity of which can be tested based on the statistics generated by these theories. Using the ontological models framework, we formulate a novel notion of classicality termed ontic-distinguishability, which is based upon the physical principles that in classical theories extremal states are physical states of reality and every sharp measurement observes the state of the system perfectly. We construct a communication task in which the success probability is bounded from above for ontological models satisfying the notion of ontic-distinguishability. Contrary to previous notions of classicality which either required systems of dimension strictly greater than two or atleast three preparations, a violation of ontic-distinguishability can be observed using just a pair of qubits and a pair of incompatible measurements. We further show that violation of previously known notions of classicality such as preparation non-contextuality and Bell’s local causality is a violation of ontic-distinguishability.

arXiv:2104.14355•Foundations of Physics•Apr 1, 2023•1 citation

Universal notion of classicality based on ontological framework

Shubhayan Sarkar

Existence of physical reality in the classical world is a well-established fact from day-to-day observations. However within quantum theory, it is not straightforward to reach such a conclusion. A framework to analyse how observations can be described using some physical states of reality in a theory independent way was recently developed, known as ontological framework. Different principles when imposed on the ontological level give rise to different observations in physical experiments. Using the ontological framework, we formulate a novel notion of termed classicality which is based upon the physical principles that in classical theories pure states are physical states of reality and every projective measurement just observes the state of the system. We construct a communication task in which the success probability is bounded from above for ontological models satisfying the notion of universal classicality. Contrary to previous notions of which either required systems of dimension strictly greater than two or atleast three preparations, a violation of classicality can be observed using just a pair of qubits and a pair of incompatible measurements. We further show that violations of previously known notions of such as preparation non-contexuality and Bell's local causality is a violation of universal classicality.

•Apr 28, 2021•1 citation

Epistemic incompleteness of quantum theory

Anubhav Chaturvedi, Marcin Pawłowski, Debashis Saha

We ask whether the operational quantum description is complete at the level of preparations: can the empirically accessible properties of a finite preparation set be reproduced exactly by a hidden-variable description, or must every such completion contain additional structure that is not operationally accessible? We formalize this through epistemic completeness, a preparation-side notion of classicality requiring exact preservation of empirical preparation-properties by the corresponding ontic quantities obtained by conditioning on the ontic state and allowing all response schemes compatible with positivity and normalization. For the canonical family of set-distinguishability tasks, we prove that every epistemically complete theory satisfies an equality: for every finite preparation set, the average pairwise distinguishability equals the average set-distinguishability. Any nonzero deviation certifies epistemic incompleteness and lower-bounds the excess ontic communication power that every ontic completion must conceal. Because unrestricted classical communication models, and more generally commuting quantum theories, are epistemically complete, every nonzero deviation also yields a quantum communication advantage and witnesses of coherence and measurement incompatibility. We formulate semidefinite-programming relaxations and see-saw lower bounds, and show that quantum theory violates the equality in both directions. The trine and tetrahedral qubit ensembles are numerically certified maximizers for the n=3 and n=4 equalities; their violations persist for arbitrarily low positive visibility and arbitrarily large leakage short of complete disclosure; and the Kochen--Specker ψ-epistemic model exactly saturates the hidden ontic excess for these maximal positive violations. Numerics suggest that the maximal positive deviation increases with the number of preparations.

arXiv:2110.13124•Physical Review A•Mar 31, 2026•0 citations

On the individuation of physical systems in quantum theory.

Cael L. Hasse

What theoretical structures characterise our notions of what it means for a whole physical system to be the sum of its parts? We explore various aspects of this question, with emphasise on quantum theory, from the following perspective: A physical theory constitutes the definition of a set of propositions with logical relationships between them such that probabilities can be used to judge the merits of the theory, given empirical evidence. The logical relationships between the propositions characterise our semantic notions such as individuation. We distinguish between the ontological and epistemological notions of individuation. We introduce the notion of ontological individuation within the context of ontological models. A subsystem is defined as a proposition that provides necessary and sufficient information for making useful predictions. This definition to some extent generalises the notions of separability and local causality to define systems that may not be local. It highlights the unified motivations for many assumptions in the literature, such as measurement independence, and points to hidden assumptions of causality and mutual exclusivity that occur when defining systems. An epistemic no-signalling criterion gives rise to a tensor product structure for epistemic systems in quantum theory. We utilise a symmetry emergent from this structure to derive a bound on the observability of a large class of operations, dependent on only the purity of the quantum state. In particular, we derive an upper bound on the trace distance between an untransformed state and the state transformed by any trace preserving, unital operation. Our notions of epistemic systems also relate to distinguishability. It is shown that for measurements of any two (_nite outcome) particle quantum numbers on multi-fermion states, the total uncertainty, minimised over all states, is zero. This is because despite indistinguishability characterised as a constraint on the observable algebra, the appropriate correspondence between states of distinguishable and indistinguishable particles is one where the Hilbert space of indistinguishable particles relates to particles with an extra quantum number such that effective distinguishability can emerge. This Hilbert space is larger than the one for distinguishable particles and hence can (does) contain states for which the uncertainty relations for distinguishable particles are no longer valid. We conclude by arguing that in general, epistemic systems are not necessarily distinguishable; They may be only effectively distinguishable. This would imply a theory of indistinguishable modes. Several motivations are presented and the form of the theory suggested. It is hypothesised that such a theory may provide a relativistic quantum theory, alternative to quantum field theory, that satisfies cluster decomposition.

•Jan 1, 2014•1 citation

Contextuality under weak assumptions

Andrew W. Simmons, Joel J. Wallman, Hakop Pashayan +2 more

The presence of contextuality in quantum theory was first highlighted by Bell, Kochen and Specker, who discovered that for quantum systems of three or more dimensions, measurements could not be viewed as deterministically revealing pre-existing properties of the system. More precisely, no model can assign deterministic outcomes to the projectors of a quantum measurement in a way that depends only on the projector and not the context (the full set of projectors) in which it appeared, despite the fact that the Born rule probabilities associated with projectors are independent of the context. A more general, operational definition of contextuality introduced by Spekkens, which we will term 'probabilistic contextuality', drops the assumption of determinism and allows for operations other than measurements to be considered contextual. Even two-dimensional quantum mechanics can be shown to be contextual under this generalised notion. Probabilistic noncontextuality represents the postulate that elements of an operational theory that cannot be distinguished from each other based on the statistics of arbitrarily many repeated experiments (they give rise to the same operational probabilities) are ontologically identical. In this paper, we introduce a framework that enables us to distinguish between different noncontextuality assumptions in terms of the relationships between the ontological representations of objects in the theory given a certain relation between their operational representations. This framework can be used to motivate and define a 'possibilistic' analogue, encapsulating the idea that elements of an operational theory that cannot be unambiguously distinguished operationally can also not be unambiguously distinguished ontologically. We then prove that possibilistic noncontextuality is equivalent to an alternative notion of noncontextuality proposed by Hardy. Finally, we demonstrate that these weaker noncontextuality assumptions are sufficient to prove alternative versions of known 'no-go' theorems that constrain ψ -epistemic models for quantum mechanics.

arXiv:1610.06897•New Journal of Physics•Feb 9, 2017•9 citations

Three Conundrums of the Quantum Ontology

Olímpia Lombardi

The purpose of this talk is to briefly recall the main principles of quantum mechanics in order to understand the ontological challenges introduced by the theory. In particular, I will argue that quantum mechanics defies the category of individual for three different reasons: contextuality, non-separability, and indistinguishability. Each one of these three features of the theory violates a traditional ontological principle: the Principle of Omnimode Determination, the Principle of Separability, and the Principle of Identity of Indiscernibles, respectively. Therefore, any interpretation of quantum mechanics should formulate a “global” solution, according to which the three ontological challenges could be adequately tackled in terms of a single ontology.

Principia an international journal of epistemology•Oct 28, 2026•0 citations
Based on an intuitive generalization of the Leibniz principle of `the identity of indiscernibles', we introduce a novel ontological notion of classicality, called bounded ontological distinctness. Formulated as a principle, bounded ontological distinctness equates the distinguishability of a set of operational physical entities to the distinctness of their ontological counterparts. Employing three instances of two-dimensional quantum preparations, we demonstrate the violation of bounded ontological distinctness or excess ontological distinctness of quantum preparations, without invoking any additional assumptions. Moreover, our methodology enables the inference of tight lower bounds on the extent of excess ontological distinctness of quantum preparations. Similarly, we demonstrate excess ontological distinctness of quantum transformations, using three two-dimensional unitary transformations. However, to demonstrate excess ontological distinctness of quantum measurements, an additional assumption such as outcome determinism or bounded ontological distinctness of preparations is required. Moreover, we show that quantum violations of other well-known ontological principles implicate quantum excess ontological distinctness. Finally, to showcase the operational vitality of excess ontological distinctness, we introduce two distinct classes of communication tasks powered by excess ontological distinctness.
Abstract One of the basic observations of the classical world is that physical entities are real and can be distinguished from each other. However, within quantum theory, the idea of physical realism is not well established. A framework to analyse how observations in experiments can be described using some physical states of reality was recently developed, known as ontological models framework. Different principles when imposed on the ontological level give rise to different theories, the validity of which can be tested based on the statistics generated by these theories. Using the ontological models framework, we formulate a novel notion of classicality termed ontic-distinguishability, which is based upon the physical principles that in classical theories extremal states are physical states of reality and every sharp measurement observes the state of the system perfectly. We construct a communication task in which the success probability is bounded from above for ontological models satisfying the notion of ontic-distinguishability. Contrary to previous notions of classicality which either required systems of dimension strictly greater than two or atleast three preparations, a violation of ontic-distinguishability can be observed using just a pair of qubits and a pair of incompatible measurements. We further show that violation of previously known notions of classicality such as preparation non-contextuality and Bell’s local causality is a violation of ontic-distinguishability.
Existence of physical reality in the classical world is a well-established fact from day-to-day observations. However within quantum theory, it is not straightforward to reach such a conclusion. A framework to analyse how observations can be described using some physical states of reality in a theory independent way was recently developed, known as ontological framework. Different principles when imposed on the ontological level give rise to different observations in physical experiments. Using the ontological framework, we formulate a novel notion of termed classicality which is based upon the physical principles that in classical theories pure states are physical states of reality and every projective measurement just observes the state of the system. We construct a communication task in which the success probability is bounded from above for ontological models satisfying the notion of universal classicality. Contrary to previous notions of which either required systems of dimension strictly greater than two or atleast three preparations, a violation of classicality can be observed using just a pair of qubits and a pair of incompatible measurements. We further show that violations of previously known notions of such as preparation non-contexuality and Bell's local causality is a violation of universal classicality.
We ask whether the operational quantum description is complete at the level of preparations: can the empirically accessible properties of a finite preparation set be reproduced exactly by a hidden-variable description, or must every such completion contain additional structure that is not operationally accessible? We formalize this through epistemic completeness, a preparation-side notion of classicality requiring exact preservation of empirical preparation-properties by the corresponding ontic quantities obtained by conditioning on the ontic state and allowing all response schemes compatible with positivity and normalization. For the canonical family of set-distinguishability tasks, we prove that every epistemically complete theory satisfies an equality: for every finite preparation set, the average pairwise distinguishability equals the average set-distinguishability. Any nonzero deviation certifies epistemic incompleteness and lower-bounds the excess ontic communication power that every ontic completion must conceal. Because unrestricted classical communication models, and more generally commuting quantum theories, are epistemically complete, every nonzero deviation also yields a quantum communication advantage and witnesses of coherence and measurement incompatibility. We formulate semidefinite-programming relaxations and see-saw lower bounds, and show that quantum theory violates the equality in both directions. The trine and tetrahedral qubit ensembles are numerically certified maximizers for the n=3 and n=4 equalities; their violations persist for arbitrarily low positive visibility and arbitrarily large leakage short of complete disclosure; and the Kochen--Specker ψ-epistemic model exactly saturates the hidden ontic excess for these maximal positive violations. Numerics suggest that the maximal positive deviation increases with the number of preparations.
What theoretical structures characterise our notions of what it means for a whole physical system to be the sum of its parts? We explore various aspects of this question, with emphasise on quantum theory, from the following perspective: A physical theory constitutes the definition of a set of propositions with logical relationships between them such that probabilities can be used to judge the merits of the theory, given empirical evidence. The logical relationships between the propositions characterise our semantic notions such as individuation. We distinguish between the ontological and epistemological notions of individuation. We introduce the notion of ontological individuation within the context of ontological models. A subsystem is defined as a proposition that provides necessary and sufficient information for making useful predictions. This definition to some extent generalises the notions of separability and local causality to define systems that may not be local. It highlights the unified motivations for many assumptions in the literature, such as measurement independence, and points to hidden assumptions of causality and mutual exclusivity that occur when defining systems. An epistemic no-signalling criterion gives rise to a tensor product structure for epistemic systems in quantum theory. We utilise a symmetry emergent from this structure to derive a bound on the observability of a large class of operations, dependent on only the purity of the quantum state. In particular, we derive an upper bound on the trace distance between an untransformed state and the state transformed by any trace preserving, unital operation. Our notions of epistemic systems also relate to distinguishability. It is shown that for measurements of any two (_nite outcome) particle quantum numbers on multi-fermion states, the total uncertainty, minimised over all states, is zero. This is because despite indistinguishability characterised as a constraint on the observable algebra, the appropriate correspondence between states of distinguishable and indistinguishable particles is one where the Hilbert space of indistinguishable particles relates to particles with an extra quantum number such that effective distinguishability can emerge. This Hilbert space is larger than the one for distinguishable particles and hence can (does) contain states for which the uncertainty relations for distinguishable particles are no longer valid. We conclude by arguing that in general, epistemic systems are not necessarily distinguishable; They may be only effectively distinguishable. This would imply a theory of indistinguishable modes. Several motivations are presented and the form of the theory suggested. It is hypothesised that such a theory may provide a relativistic quantum theory, alternative to quantum field theory, that satisfies cluster decomposition.
The presence of contextuality in quantum theory was first highlighted by Bell, Kochen and Specker, who discovered that for quantum systems of three or more dimensions, measurements could not be viewed as deterministically revealing pre-existing properties of the system. More precisely, no model can assign deterministic outcomes to the projectors of a quantum measurement in a way that depends only on the projector and not the context (the full set of projectors) in which it appeared, despite the fact that the Born rule probabilities associated with projectors are independent of the context. A more general, operational definition of contextuality introduced by Spekkens, which we will term 'probabilistic contextuality', drops the assumption of determinism and allows for operations other than measurements to be considered contextual. Even two-dimensional quantum mechanics can be shown to be contextual under this generalised notion. Probabilistic noncontextuality represents the postulate that elements of an operational theory that cannot be distinguished from each other based on the statistics of arbitrarily many repeated experiments (they give rise to the same operational probabilities) are ontologically identical. In this paper, we introduce a framework that enables us to distinguish between different noncontextuality assumptions in terms of the relationships between the ontological representations of objects in the theory given a certain relation between their operational representations. This framework can be used to motivate and define a 'possibilistic' analogue, encapsulating the idea that elements of an operational theory that cannot be unambiguously distinguished operationally can also not be unambiguously distinguished ontologically. We then prove that possibilistic noncontextuality is equivalent to an alternative notion of noncontextuality proposed by Hardy. Finally, we demonstrate that these weaker noncontextuality assumptions are sufficient to prove alternative versions of known 'no-go' theorems that constrain ψ -epistemic models for quantum mechanics.
The purpose of this talk is to briefly recall the main principles of quantum mechanics in order to understand the ontological challenges introduced by the theory. In particular, I will argue that quantum mechanics defies the category of individual for three different reasons: contextuality, non-separability, and indistinguishability. Each one of these three features of the theory violates a traditional ontological principle: the Principle of Omnimode Determination, the Principle of Separability, and the Principle of Identity of Indiscernibles, respectively. Therefore, any interpretation of quantum mechanics should formulate a “global” solution, according to which the three ontological challenges could be adequately tackled in terms of a single ontology.