Contextual Quantum Realism

• Contextual Quantum Realism (CQR) is a realist framework asserting that quantum properties acquire definite values only within specific measurement or algebraic contexts.
• It employs tools like maximal commutative subalgebras, the Kochen–Specker theorem, and contextual valuations to address the limitations of classical non-contextuality.
• CQR impacts our understanding of objectivity and measurement in quantum mechanics, guiding discussions on how context shapes the reality of quantum events.

Contextual Quantum Realism (CQR) is a realist interpretation, or cluster of realist interpretations, of quantum mechanics according to which there is a mind-independent world, but quantum properties do not admit a single non-contextual assignment of definite values. In the formulations associated with the label, a context may be a maximal commutative subalgebra, a framework, a family of histories, a classically describable experimental arrangement, or a language-game governed by a rule for using the formalism. What is abandoned is the classical conjunction of separability, definite-values, and a context-independent Actual State of Affairs; what is retained is realism, together with the claim that quantum properties, truths, probabilities, or elements of reality are only meaningful, or only actualized, within a specified context (Karakostas, 2012, Ronde, 2015, Friedberg et al., 2014).

1. Departure from classical realism

A recurring starting point is the contrast between classical realism and contextual realism. Classical realism is characterized by the Separability Principle, the Definite-Values Principle, non-contextuality, and a form of absolute objectivity in which propositions about microscopic systems are true or false in virtue of a stable “reality as it truly is.” In contextual quantum realism, by contrast, one accepts a realist stance while insisting that, in quantum mechanics, sharp pre-existing values cannot be ascribed to all observables independently of how the system is probed. Properties are actualized relative to a particular experimental or measurement context, and knowledge of “reality in itself” independent of contextualization is impossible in principle (Karakostas, 2012).

In a more algebraic formulation, a context is a maximal commutative subalgebra of self-adjoint operators on a Hilbert space. A Local Valuation is a valuation on a single context, whereas a Global Valuation would cover all bounded self-adjoint operators. The Kochen–Specker theorem, for $\dim \mathcal H > 2$, blocks such a Global Valuation and shows that the family of Local Valuations cannot be pasted into one consistent valuation. In that sense, Hilbert-space quantum mechanics is ontologically contextual: one cannot assign definite values to all observables at once, independently of the commuting set in which they are embedded (Ronde, 2015).

A broader formal background comes from the Abramsky–Brandenburger framework. There, one specifies a set of measurements $\mathcal X$ and a cover of jointly performable contexts $\mathcal C=\{C\}$. A global section is a single probability distribution on all measurements whose marginals reproduce the contextual distributions. Fine’s theorem, in that language, identifies a factorizable noncontextual hidden-variable model with the existence of such a global section. Noncontextuality is therefore equivalent to extendability to a joint distribution, and contextuality is the failure of such extendability (Araújo, 2012).

2. Formal meanings of context

One important line of development is Compatible Quantum Theory (CQT), which presents a realist formulation in two layers: a microscopic theory (MIQM) and a macroscopic theory (MAQM). Its ontology is a Hilbert space $\mathcal H$ of dimension $D\ge 3$, density operators $\rho$, properties as closed subspaces $A\subset \mathcal H$ or projection operators $[A]$, and histories as time-ordered sequences of properties. In a static framework, a sample space $S=\{D_i\}$ is an orthogonal decomposition with $\sum_i[D_i]=I$, and for any event $\mathcal X$0 the probability is

$\mathcal X$1

Noncontextuality of probability values is imposed for events that belong to more than one framework, and Gleason’s theorem is used to justify the trace form of the probability measure (Friedberg et al., 2014).

The same program extends context to histories. If one chooses one-time sample spaces at times $\mathcal X$2, then in the Heisenberg picture

$\mathcal X$3

and the chain operator is $\mathcal X$4. The decoherence functional is

$\mathcal X$5

The extended Born rule gives

$\mathcal X$6

and medium decoherence requires $\mathcal X$7 for distinct elementary histories. When that holds, $\mathcal X$8 is a dynamic framework (Friedberg et al., 2014).

A different formal move appears in “Quantum Mechanics with Contextually Labeled Observables,” which imports the Contextuality-by-Default idea into the representation of observables themselves. There, random variables are labeled not only by what they measure but also by the conditions under which they are measured, and the proposal is to label quantum observables contextually as well, making the sets of observables in different contexts disjoint. A quantum observable is defined as a pair consisting of the observable’s label and a self-adjoint operator in a Hilbert space. If a system is consistently connected, the observables measuring the same property in different contexts have the same operator; but random variables from different contexts do not have a joint distribution irrespective of whether the corresponding observables commute. The paper illustrates this position by deriving the Tsirelson bound for consistently connected cyclic systems of rank $\mathcal X$9 (Dzhafarov, 2018).

Other CQR formulations define a context more explicitly as classical measurement conditions. One version writes

$\mathcal C=\{C\}$0

where $\mathcal C=\{C\}$1 is a classically describable apparatus and $\mathcal C=\{C\}$2 is a maximal commuting set of observables that can be sharply registered in that context. In this line of thought, context is not merely a subalgebra inside the formalism; it is the full specification of the conditions under which a phenomenon is identified (Pris, 2023).

3. Ontology, contextual truth, and objectivity

In CQT, the microscopic theory does not generate one unique corpus of assertions. Instead, it yields a multiplicity of contextual truths, or “c-truths,” each associated with a framework. The Single-Framework Rule states that within a fixed static or dynamic framework one can consistently assign truth values to events in that framework, but these truth assignments cannot be pasted together across incompatible frameworks. MIQM is therefore described as logically coherent but physically indeterminate and incomplete at the microscopic level (Friedberg et al., 2014).

This redefinition of truth is paired with a redefinition of objectivity. Once an experimental context, understood as a maximal set of commuting observables, is fixed, outcomes are intersubjectively reproducible. Objectivity becomes invariance of relations under exchange of observers given the same context, rather than the possession of observer-independent properties by “bare” objects. In this account, quantum objects are not things-in-themselves with intrinsic identity; they are carriers of dispositional properties or “ontic potentiality,” and those possible properties become actual only in specified measurement arrangements (Karakostas, 2012).

A representational-realist strand places special emphasis on Meaningful Physical Statements (MPS) and Counterfactual Reasoning (CR). A theory that predicts, with certainty or probability, the outcomes of possible measurements is held to provide MPS, and these statements are treated as primitives of physical discourse rather than mere algorithmic outputs. CR is then taken to be indispensable for objectivity: one must be able to speak meaningfully of outcomes of measurements that were not actually performed. On this view, contextuality is ontological rather than merely epistemic, and the task of interpretation is to build non-classical concepts anchored in contexts rather than to restore a classical Actual State of Affairs (Ronde, 2015).

4. Measurement, collapse, and framework selection

In Compatible Quantum Theory, the incompleteness of the microscopic theory is addressed by a macroscopic layer. An external mechanism couples a system $\mathcal C=\{C\}$3 to a macroscopic apparatus $\mathcal C=\{C\}$4 designed to measure an observable $\mathcal C=\{C\}$5 with eigenprojectors $\mathcal C=\{C\}$6; the interaction entangles $\mathcal C=\{C\}$7 and $\mathcal C=\{C\}$8 so that pointer states $\mathcal C=\{C\}$9 correlate with $\mathcal H$0, and the physical interaction effectively selects the static framework $\mathcal H$1. An internal mechanism enlarges $\mathcal H$2 to a subsystem of a macroscopic universe $\mathcal H$3 and identifies a quasiclassical field by coarse-graining histories that decohere via interaction with the environment. In either case, the result is a unique “physical” framework in which one may speak of non-contextual physical truth (Friedberg et al., 2014).

Another major variant interprets measurement not as a physical collapse but as a contextual identification governed by a rule. In that formulation, quantum mechanics is a Wittgensteinian rule for measuring reality; a quantum event “$\mathcal H$4” is real only relative to a context $\mathcal H$5, and the relevant formal triple is $\mathcal H$6. Born’s rule is written as

$\mathcal H$7

and the Lüders update

$\mathcal H$8

is interpreted not as a new physical process but as a move to a new context in which a value has been recorded. In this view there is no special metaphysical role for consciousness (Pris, 2021).

A closely related anti-fundamentalist version rejects the idea that ontology and epistemology are exclusively quantum. Classical and quantum descriptions are taken to coexist as equally real but context-sensitive ways of carving up the world. The measuring apparatus must be described classically; the context does not itself appear in the quantum formalism; and no wave function can be ascribed to the measuring apparatus as a whole. Measurement is an irreversible recording in the classical domain and is described as a transition between contexts rather than a dynamical collapse of an all-encompassing quantum state (Pris, 2023).

5. No-go theorems and alternative realist constructions

CQR is repeatedly motivated by no-go theorems. The literature brought under this label reviews von Neumann’s theorem, Gleason’s theorem, Busch’s extension to POVMs, the Pusey–Barrett–Rudolph theorem, Spekkens’ operational contextuality, and the sheaf-theoretic notion of contextuality. In this setting, measurement noncontextuality and preparation noncontextuality are formulated operationally, and no preparation-noncontextual ontological model reproduces even a single qubit. The same literature develops the $\mathcal H$9-cycle family of noncontextuality inequalities,

$D\ge 3$0

for $D\ge 3$1, and reviews state-independent contextuality through the Peres–Mermin square, the $D\ge 3$2-vector proof, and the Yu–Oh construction (Araújo, 2012).

A markedly different strategy appears in the quasi-set approach. There the classical assumption that one measures the same property on the same individual system in different contexts is rejected. Quantum systems or properties are treated as non-individuals: they can be “indistinguishable yet different.” Formally, the same projector $D\ge 3$3 in two different contexts is associated with different strong singletons, though these are indistinguishable. Each occurrence of a projector in a context is replaced by a contextual copy, and local assignments can satisfy the sum-to-$D\ge 3$4 constraint in each context without generating a Kochen–Specker contradiction. The contradiction is dissolved by abandoning trans-context identity, not by denying value-definiteness within a context (Barros et al., 2017).

A further development links contextuality to unsharp reality and perspectivalism. Instead of restricting properties to projectors, one considers effects $D\ge 3$5 with $D\ge 3$6, and the quantity

$D\ge 3$7

is interpreted both as a measurement probability and as a degree of reality of the unsharp property in state $D\ge 3$8. In relativistic settings, property ascription becomes relative to a spacelike hypersurface $D\ge 3$9, so that the degree of reality itself depends on the choice of $\rho$0. Perspectivalism is then presented as a way to make realist unitary quantum mechanics compatible with Lorentz covariance without invoking a preferred foliation (Dieks, 2019).

6. Operational, informational, and relativistic developments

One operational reconstruction of CQR begins from the EPR–Bohm scenario and decomposes Bell locality into Elementary Locality (EL) and Predictive Completeness (PC). EL requires

$\rho$1

while PC requires

$\rho$2

Taken together they imply Bell factorization. The claim of this program is that standard quantum mechanics violates PC but not EL. The usual state $\rho$3 is therefore predictively incomplete, and the completion required is not hidden variables but explicit specification of the measurement context. A full physical specification is $\rho$4, where $\rho$5 is a complete set of commuting observables, and quantum “non locality” is reinterpreted as contextual inference rather than faster-than-light influence (Grangier, 2020).

A more directly quantitative line defines a measure of the irreality of an observable. For a system with Hilbert space $\rho$6 and an observable $\rho$7, the non-selective dephasing map is

$\rho$8

and the irreality of $\rho$9 in state $A\subset \mathcal H$0 is

$A\subset \mathcal H$1

$A\subset \mathcal H$2 iff $A\subset \mathcal H$3. This quantity decomposes into relative-entropy coherence of the reduced state and a discord term. The Reality Quantum Correlator (RQC) then uses an optical configuration, together with IBM quantum computers, to show that Alice’s spacelike-separated choice of inserting or removing a quarter-wave plate correlates whether Bob’s observables are “real” or “irreal,” while respecting no-signaling. The claimed outcome is an operational quantifier of context-dependent reality (Starke et al., 2023).

A further development studies pre- and post-selected systems through a two-state operator

$A\subset \mathcal H$4

In any context $A\subset \mathcal H$5, the diagonal elements

$A\subset \mathcal H$6

play the role of contextual “quasi-probabilities,” while off-diagonal terms encode coherence between mutually exclusive intermediate outcomes. In the three-box setup, weak values $A\subset \mathcal H$7, $A\subset \mathcal H$8, and $A\subset \mathcal H$9 show that context-independent path realities cannot be assigned. On this view, interference terms between apparently empty paths determine contextual realities (Hofmann, 2023).

7. Internal divergences and relation to other interpretations

The label CQR is used polemically as well as constructively. One current compares CQR with QBism and Relational Quantum Mechanics and argues that both conflate the ideal and the real. In that comparison, QBism is described as subjectivist and phenomenological, RQM as objectivist and physicalist, while CQR insists on a categorical distinction between the ideal and the real and rejects the reduction of reality to objectivity. Another text contrasts CQR with agential realism, calling the latter a form of ontological correlationism and proposing CQR as an alternative that rejects substantive dualisms while retaining a categorical dualism of real and ideal (Pris, 10 Oct 2025, Pris, 2023).

The literature also shows that there is no single settled CQR ontology. In one formulation, the wave function or density operator is a normative element of the theory, an “ideal,” and not a physical wave in space-time; actual outcomes belong to the category of the real only in a context (Pris, 2021). In another, the real includes quantum systems “described formally by wave functions, operators, Hilbert spaces,” whereas instruments and contexts are ideal (Pris, 2023). Compatible Quantum Theory treats the microscopic level as physically indeterminate and incomplete until macroscopic framework selection occurs (Friedberg et al., 2014), whereas the contextual-inference program treats the bare state $[A]$0 as predictively incomplete until the measurement context is specified (Grangier, 2020).

A further internal dispute concerns the Single Framework Rule. In the consistent-histories tradition it functions as a prohibition on mixing incompatible frameworks, but from a representational-realist standpoint it is criticized as an ad hoc injunction that blocks counterfactual use of quantum statements across contexts. The disagreement is not over whether quantum mechanics is contextual, but over whether contextuality should be handled by restricting discourse to a single framework, by multiplying contextual truths, by redefining elements of reality operationally, or by reworking ontology through notions such as non-individuality, unsharpness, perspectivalism, or W-rules (Ronde, 2015).

Taken together, these formulations establish CQR as a broad realist response to quantum contextuality rather than a single doctrine. Across its variants, the common thesis is that realism in quantum mechanics is viable only if properties, truths, or realities are treated as irreducibly context-sensitive.