Rule Contexts in Quantum Mechanics

• Rule Contexts are a framework in quantum physics that defines fixed, mutually exclusive modalities within a continuum of contexts, forming the basis for deriving quantum probabilities.
• They explain how probability emerges from context changes and invariant extravalence classes, ensuring that the probability measure is independent of the specific measurement setup.
• By integrating physical assumptions with Gleason's theorem, the approach uniquely infers Born's rule, reconciling deterministic outcomes within a context with inherent quantum randomness.

Searching arXiv for the specified paper and closely related work on CSM, Born’s rule, Gleason’s theorem, and contextual formulations. "Deriving Born’s rule from an Inference to the Best Explanation" develops an interpretation and reconstruction of quantum probability within the framework of Contexts, Systems, and Modalities (CSM). In this approach, Born’s rule is neither postulated as a primitive axiom nor obtained as a purely formal theorem detached from physical assumptions. Instead, it is inferred as the probability law that best fits a quantum ontology built from a fixed number of mutually exclusive modalities for a given system, a continuum of contexts in which those modalities are defined, and an extracontextual assignment of probabilities to equivalence classes of modalities represented by projectors. The result is the trace formula $p(i|C,S)=\mathrm{Tr}(\rho \Pi_i)$, with the usual pure-state form $p(i|C,\psi)=|\langle i_C|\psi\rangle|^2$ emerging under the hypotheses of Gleason’s theorem (Auffeves et al., 2019).

1. Contexts, systems, and modalities

The CSM framework begins from three physically motivated notions. A system $S$ is a specified quantum system probed by measurement devices. A context $C$ is a specified ensemble of measurement devices interacting with $S$, including concrete settings and physically realizable procedures; contexts are factual rather than counterfactual, and they define the conditions under which a complete set of jointly measurable quantities is ascertained. A modality is the physical situation obtained after an ideal and repeatable measurement, characterized by a complete set of values of jointly measurable quantities. When both $S$ and $C$ are fixed, the outcome of an ideal repeatable measurement is certain (Auffeves et al., 2019).

The basic postulate is contextual quantization: for a given system, the number $N$ of mutually exclusive modalities is the same in any relevant context. For $K$ spin-$1/2$ particles, for example, $p(i|C,\psi)=|\langle i_C|\psi\rangle|^2$0 in any spin measurement context specifying all spin components $p(i|C,\psi)=|\langle i_C|\psi\rangle|^2$1, $p(i|C,\psi)=|\langle i_C|\psi\rangle|^2$2. Within a single context, only one modality is realized in a run, and the modalities of that context are mutually exclusive. Across different contexts, however, modalities are generally incompatible: if a modality is true in one context, it is not meaningful to say whether another modality in a different context is true or false.

This ontology makes modalities intrinsically context-bound. At the same time, CSM introduces the further notion that certainty and repeatability can sometimes be transferred between modalities in different contexts. Such transfers define equivalence classes called extravalence classes. Extravalence is nontrivial only when $p(i|C,\psi)=|\langle i_C|\psi\rangle|^2$3, a threshold that the framework links to the geometry underlying Gleason’s theorem.

2. Why probabilities appear when contexts change

The appearance of probabilities is not treated as an independent postulate. It follows from the coexistence of a fixed number $p(i|C,\psi)=|\langle i_C|\psi\rangle|^2$4 of mutually exclusive modalities and a continuum of contexts. Starting from an initial modality $p(i|C,\psi)=|\langle i_C|\psi\rangle|^2$5 in a context $p(i|C,\psi)=|\langle i_C|\psi\rangle|^2$6, CSM considers what happens when the system is interrogated in a different context $p(i|C,\psi)=|\langle i_C|\psi\rangle|^2$7. Three possibilities are analyzed (Auffeves et al., 2019).

The first possibility, $p(i|C,\psi)=|\langle i_C|\psi\rangle|^2$8 for every modality in $p(i|C,\psi)=|\langle i_C|\psi\rangle|^2$9, is excluded because some outcome must occur. The second, $S$0 for a modality in $S$1, corresponds to the presence of an extravalent modality. If this certainty transfer held for all modalities across all contexts, then every context would reduce to a permutation of a single fixed context. That is the classical situation, in which there is no genuine incompatibility.

The general quantum case is the third possibility: if incompatible modalities exist, then changing context cannot be understood as refining a pre-existing description by adding hidden detail, because such a refinement would increase $S$2, contradicting contextual quantization. As a consequence, changing context must be intrinsically probabilistic, with $S$3. The resulting randomness is bidirectional: it appears both when passing from $S$4 to $S$5 and when returning from $S$6 to $S$7. In CSM, probability is therefore tied to context change rather than to ignorance about an underlying context-free state of affairs.

3. Extravalence and the non-contextuality required by Gleason

A central claim of the framework is that while modalities are context-dependent, the probability assigned to a transition depends only on the extravalence classes of the initial and final modalities, not on the full embedding contexts. This is the content of Theorem 2. In the language of Hilbert space, the relevant objects are not bare modalities but the projectors that represent their extravalence classes (Auffeves et al., 2019).

This point is crucial because it identifies the specific sense in which probabilities are “non-contextual.” CSM does not deny contextuality in the Kochen–Specker sense. On the contrary, it maintains that modalities belong jointly to the system and the context. What is non-contextual is the probability measure on projectors: if the same projector appears in different orthonormal sets, its probability assignment is the same. The paper therefore recasts Gleason-style non-contextuality as extracontextuality.

That reformulation is also meant to block a common misunderstanding. The Kochen–Specker theorems show the inadequacy of partition-based probabilities for quantum observables. CSM argues that this does not undermine the projective probability assignment used in Gleason’s theorem. Instead, projectors represent equivalence classes of modalities across contexts, and probabilities attach to those projectors independently of which orthonormal set contains them.

4. From extravalence classes to Born’s rule

The inferential step to Born’s rule begins by associating each extravalence class with a rank-1 projector $S$8 in an $S$9-dimensional Hilbert space. A context then corresponds to a set of $C$0 mutually orthogonal rank-1 projectors $C$1 summing to the identity. If $C$2 denotes the probability of the modality represented by $C$3, mutual exclusivity and completeness imply

$C$4

The framework further assumes that different orthonormal sets of projectors are related by complex unitary transformations. Complex numbers are said to be required because they continuously connect the identity to all permutations of modalities, whereas real orthogonal matrices split into two disconnected components of determinant $C$5. With a probability measure defined on rank-1 projectors, additivity over orthogonal sets, and independence from embedding context via extravalence, the premises of Gleason’s theorem are satisfied for Hilbert spaces of dimension $C$6. It follows that there exists a density operator $C$7 such that

$C$8

For a pure state $C$9 and a rank-1 projector $S$0,

$S$1

In the paper’s standard notation, with $S$2 and $S$3, Born’s rule is

$S$4

The 2019 paper treats the $S$5 case by regarding a single qubit as a subspace of a higher-dimensional Hilbert space, for example when the qubit is embedded in a larger system or when the continuum of contexts is considered, so that the reduction lemmas associated with Gleason’s theorem can be brought to bear (Auffeves et al., 2019). A later revisiting paper modifies the presentation: it restricts the derivation to $S$6 and shows that the assumption of unitary transformations between contexts can itself be derived from Uhlhorn’s theorem, since orthogonality-preserving bijections on rank-1 projectors are implemented by unitary or antiunitary operators, and continuity of the context group selects the unitary branch (Auffeves et al., 2021).

5. Worked examples, measurement structure, and scope

The paper’s basic illustration is a single spin-$S$7 system. A context $S$8 measures spin along orientation $S$9, yielding the two mutually exclusive modalities $S$0, so $S$1. Another context $S$2 measures along $S$3. If the pure state $S$4 is prepared in $S$5, then measuring in $S$6 gives

$S$7

$S$8

where $S$9 is the angle between $C$0 and $C$1. This example exhibits fixed $C$2, mutual exclusivity within a context, incompatibility between contexts, and unitary change of basis between contexts (Auffeves et al., 2019).

The paper also states the scope and limits of the construction. It is formulated for projective measurements rather than POVMs; generalization to POVMs may often be approached through Naimark dilation, but that extension is not the central point. For composite systems, $C$3 multiplies, as in $C$4 for $C$5 qubits, and the continuum of contexts expands correspondingly. Entanglement fits naturally within the framework because contexts for composite systems are joint measurement setups, and the trace rule extends directly to density operators for composites.

An explicit measurement schematic is also given. The system is described by a type-I algebra supporting unitary evolution and projective measurements, whereas the context has unbounded degrees of freedom and is described by a non-type-I algebra, capturing the non-unitary step when the context is fully involved. A generic measurement is written as

$C$6

before measurement in context $C$7,

$C$8

after interaction in context $C$9 but before readout, and

$N$0

after readout result $N$1 in $N$2. The projector represents the extravalence class; the modality itself belongs jointly to system and context.

6. Inference to the best explanation and relation to other approaches

The paper characterizes its derivation as an inference to the best explanation. Born’s rule is not claimed to be logically necessary without physical input, but it is presented as the unique probability law that fits the CSM postulate of contextual quantization, the continuum of contexts, the necessity of probabilities under context change, and the extracontextual probability assignment to projectors. In that sense, the rule is sufficient in Lipton’s IBE sense, rather than a theorem derived from logic alone (Auffeves et al., 2019).

This positioning shapes the paper’s comparison with alternative derivations. Relative to Gleason’s theorem, CSM claims to provide a physical interpretation of the theorem’s hypotheses. Relative to the Deutsch–Wallace decision-theoretic program, it rejects agent-centric preference axioms in favor of objective structure in contexts and modalities. Relative to Zurek’s envariance program, it emphasizes projective probability assignments grounded in extravalence rather than symmetry of entangled states alone. Relative to frequentist or symmetry-based accounts, it makes the fixed $N$3 together with a continuum of contexts the decisive feature, because context change cannot be a refinement that adds hidden details without violating contextual quantization.

A broader contextual literature situates this proposal within a larger effort to relate quantum probabilities to spaces of contexts. A distinct topos-oriented line describes a quantum system as a spectral bundle over a space of contexts and interprets Born probabilities, in finite dimensions, as a section of a bundle of valuations over the spectral fibres (Fauser et al., 2012). That approach is not identical to CSM, but it illustrates the same general tendency to treat context not as an external complication but as part of the mathematical and conceptual structure of quantum probability.

Within this landscape, the distinctive claim of CSM is that Born’s rule expresses the only stable reconciliation of three ingredients: a fixed finite number of mutually exclusive modalities per context, a continuum of possible contexts, and an extracontextual probability assignment to projectors. The result is a contextual ontology in which certainty is local to a modality-in-context, while probability governs the passage between incompatible contexts.