On the geometry of physical measurements: topological and algebraic aspects
arXiv:2005.00933 · doi:10.1016/j.geomphys.2022.104730
Abstract
We study the mathematical structure of the notion of measurement space, which extends aspects of noncommutative topology that are based on quantale theory. This yields a geometric model of physical measurements that provides a realist picture, yet also operational, such that measurements and classical information arise interdependently as primitive concepts. A derived notion of classical observer caters for a mathematical formulation of Bohr's classical/quantum divide. Two important classes of measurement spaces are obtained, respectively from C*-algebras and from second-countable locally compact open sober topological groupoids. The latter yield measurements of classical type and relate to Schwinger's notion of selective measurement. We show that the measurement space associated to the reduced C*-algebra of any second-countable locally compact Hausdorff étale groupoid is canonically equipped with a classical observer, and we establish a correspondence between properties of the observer and properties of the groupoid.
arXiv commentThe introduction has been rewritten, small typos have been corrected
References in corpus (20)
- Relational Quantum Mechanics
- On the reality of the quantum state
- Groupoids: unifying internal and external symmetry
- Why Decoherence has not Solved the Measurement Problem: A Response to P. W. Anderson
- Etale groupoids and their quantales
- A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory
- Niels Bohr on the wave function and the classical/quantum divide
- A gentle introduction to Schwinger's formulation of quantum mechanics: The groupoid picture
- Schwinger's Picture of Quantum Mechanics I: Groupoids
- On quantales that classify C*-algebras
- Groupoid sheaves as quantale sheaves
- Quantales of open groupoids
- Functoriality of groupoid quantales. I
- Open quotients of trivial vector bundles
- The many groupoids of a stably Gelfand quantale
- Quantales and Fell bundles
- Open maps of involutive quantales
- Linear structures on locales
- Morita equivalence of pseudogroups
- An abstract theory of physical measurements