Contextuality and Noncommutative Geometry in Quantum Mechanics
Bibliographic record
Abstract
Observable properties of a classical physical system can be modelled deterministically as functions from the space of pure states to outcome values; dually, states can be modelled as functions from the algebra of observables to outcome values. The probabilistic predictions of quantum physics are contextual in that they preclude this classical assumption of reality: noncommuting observables, which are not assumed to be jointly measurable, cannot be consistently ascribed deterministic values even if one enriches the description of a quantum state. Here, we consider the geometrically dual objects of noncommutative operator algebras of observables as being generalisations of classical (deterministic) state spaces to the quantum setting and argue that these generalised state spaces represent the objects of study of noncommutative operator geometry. By adapting the spectral presheaf of Hamilton–Isham–Butterfield, a formulation of quantum state space that collates contextual data, we reconstruct tools of noncommutative geometry in an explicitly geometric fashion. In this way, we bridge the foundations of quantum mechanics with the foundations of noncommutative geometry à la Connes et al. To each unital C*- algebra $${\mathcal{A}}$$ we associate a geometric object—a diagram of topological spaces collating quotient spaces of the noncommutative space underlying $${\mathcal{A}}$$ —that performs the role of a generalised Gel'fand spectrum. We show how any functor F from compact Hausdorff spaces to a suitable target category $${\mathsf{C}}$$ can be applied directly to these geometric objects to automatically yield an extension $${\tilde{F}}$$ acting on all unital C*-algebras. This procedure is used to give a novel formulation of the operator K0-functor via a finitary variant $${\tilde{K}_{ f}}$$ of the extension $${\tilde{K}}$$ of the topological K-functor. We then delineate a C*-algebraic conjecture that the extension of the functor that assigns to a topological space its lattice of open sets assigns to a unital C*-algebra the Zariski topological lattice of its primitive ideal spectrum, i.e. its lattice of closed two-sided ideals. We prove the von Neumann algebraic analogue of this conjecture.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
How this classification was reachedexpand
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.000 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.001 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.000 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from itClassification
machine, unvalidatedMachine predicted; a candidate call from one teacher head, not a consensus.
How this classification was reached, model by model and score by score, is at the end of the page under "How this classification was reached".