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:1210.0612 · Electronic Proceedings in Theoretical Computer Science

A Topos Theory Foundation for Quantum Mechanics

J. V. Corbett

Published Oct 1, 2012• 1 citation
arXivHTMLPDF

Abstract

The theory of quantum mechanics is examined using non-standard real numbers, called quantum real numbers (qr-numbers), that are constructed from standard Hilbert space entities. Our goal is to resolve some of the paradoxical features of the standard theory by providing the physical attributes of quantum systems with numerical values that are Dedekind real numbers in the topos of sheaves on the state space of the quantum system. The measured standard real number values of a physical attribute are then obtained as constant qr-number approximations to variable qr-numbers. Considered as attributes, the spatial locations of massive quantum particles form non-classical spatial continua in which a single particle can have a quantum trajectory which passes through two classically separated slits and the two particles in the Bohm-Bell experiment stay close to each other in quantum space so that Einstein locality is retained.

DOI
10.4204/eptcs.95.5

Related papers

Rational Quantum Mechanics

Sergio Da Silva

AbstractStandard quantum mechanics is formulated using complex Hilbert spaces, real-valued probabilities, continuous one-parameter dynamics, and—where particles and fields have continuous degrees of freedom —function spaces constructed over continua such as R3 . In that precise mathematical sense, the real and complex continua are deeply embedded in the standard theory. It does not follow, however, that experiments have demonstrated the physical existence of an uncountable set of exact real numbers, still less that individual quantum systems physically “store” infinitely many digits. Every preparation, control operation, and measurement has finite precision, and many quantum predictions can be approximated arbitrarily closely using countable or finite descriptions.This distinction matters because the continuum is sometimes blamed for quantum theory's conceptual strangeness. That diagnosis is mostly unsupported. Superposition, interference, uncertainty, noncommutativity, entanglement, contextuality, Bell-inequality violations, and no-cloning already occur in finite-dimensional quantum systems and do not depend in any straightforward way on continuous position space or arbitrary irrational numbers. Restricting a Hilbert space to rational, algebraic, computable, or finitely specified states therefore does not automatically produce classical physics. Indeed, dense restricted subsets can approximate ordinary quantum predictions to arbitrary finite accuracy, although turning such a subset into a complete physical theory requires much more: closed dynamics, a composition rule, a measurement theory, robustness, and new empirical predictions.A particularly developed contemporary alternative is Tim Palmer's Invariant Set Theory and its recent formulation as Rational Quantum Mechanics (RaQM). RaQM is not accurately described as simply “quantum mechanics with irrational numbers banned.” It restricts the bases in which states are physically defined through number-theoretic rationality conditions, represents admissible states using finite bit strings, invokes a fractal invariant state space equipped with a non-Euclidean, p-adic-like metric, and violates Bell measurement independence at the level of exact counterfactual settings. Palmer's 2026 proposal further predicts a finite qubit-information capacity and an eventual saturation of quantum computational advantage. These are genuine, potentially falsifiable proposals, but they remain speculative and have not displaced standard quantum theory.The strongest conclusion is consequently asymmetric. There is a serious foundational question about whether the continuum is an ontological feature of nature or an extraordinarily efficient mathematical completion. Finite precision prevents existing experiments from proving a literal continuum. But there is presently little evidence that continuum mathematics causes quantum phenomena. Any discrete replacement must still account quantitatively for interference, contextuality, Bell correlations, entanglement, spectroscopy, atomic structure, and quantum computation. Discreteness can change quantum physics only when it is accompanied by additional physical postulates—and those postulates, rather than discreteness alone, must ultimately face experiment.

•Oct 17, 2026•0 citations

Quantum Real numbers and Measurement

J. V. Corbett

The quantum mechanical measurement problem does not arise in the quantum real number approach to quantum measurements of the first kind. The attributes of individual microscopic systems in the experimental ensemble always have qr-number values so the individual systems can be followed throughout the process. The interaction with an apparatus connects the qr-number value of the quantity to be measured with the qr-number value of an attribute of the apparatus that can be locally approximated by a classical number and subsequently amplified to a recordable output.

arXiv:1902.02183•Feb 3, 2019•0 citations

A Theory of Quantum Space-time

Charles Francis

An interpretation and re-formulation of modern physics which removes the presumption of the space-time continuum, and bases physical theory on a small number of rational and empirical principles. After briefly describing the philosophical principles underlying the theory, we rigorously construct a discrete model of quantum mechanics. Kets are names, or labels which categorise states of matter but do not directly describe them. The principle of superposition is seen as a definitional truism in the categorisation of states. This resolves the measurement problem of quantum mechanics by attributing the collapse of the wave function to information. The probability interpretation has a natural meaning in which the configuration of interacting particles plays the role of a hidden variable. The model supports a form of relativistic quantum field theory which does not depend on quantisation or second quantisation from classical mechanics. Continuous laws of wave mechanics are found in a discrete metaphysic which does not involve waves. Classical law is the expected behaviour of many elementary particles. The constraints on the theory are sufficient to establish that particles are point-like entities with specific properties found in nature. Newton's first law and conservation of momentum are established from the principle of homogeneity. Maxwell's equations are derived from the simple interaction in which a Dirac particle emits or absorbs a photon. Feynman rules are calculated for the discrete theory and differ from the standard rules by the removal of the ultraviolet divergence and the use of proper loop integrals. They give finite and unambiguous results.

arXiv:physics/9905058•May 30, 1999•5 citations

Quantum Mechanics interpreted in Quantum Real Numbers

J. V. Corbett, Thomas Durt

The concept of number is fundamental to the formulation of any physical theory. We give a heuristic motivation for the reformulation of Quantum Mechanics in terms of non-standard real numbers called Quantum Real Numbers. The standard axioms of quantum mechanics are re-interpreted. Our aim is to show that, when formulated in the language of quantum real numbers, the laws of quantum mechanics appear more natural, less counterintuitive than when they are presented in terms of standard numbers.

arXiv:quant-ph/0211180•Nov 27, 2002•9 citations

Foundations of Quantum Mechanics

Robert W. Spekkens

The field of quantum foundations seeks to answer questions such as: What do the elements of the mathematical formalism of quantum theory represent? From what physical principles can the formalism be derived? What are the precise ways in which a quantum world differs from a classical world and other possible worlds? These lectures will cover some important foundational topics which touch upon these questions, in particular, operational and realist interpretations of the formalism, the quantum measurement problem, nonlocality and contextuality.

•Jan 1, 2016•0 citations

Quantum mechanics as a space-time theory

J. V. Corbett, Thomas Durt

We show how quantum mechanics can be understood as a space-time theory provided that its spatial continuum is modelled by a variable real number (qrumber) continuum. Such a continuum can be constructed using only standard Hilbert space entities. The geometry of atoms and subatomic objects differs from that of classical objects. The systems that are non-local when measured in the classical space-time continuum may be localized in the quantum continuum. We compare this new description of space-time with the Bohmian picture of quantum mechanics.

arXiv:quant-ph/0512220•Dec 23, 2005•5 citations
The theory of quantum mechanics is examined using non-standard real numbers, called quantum real numbers (qr-numbers), that are constructed from standard Hilbert space entities. Our goal is to resolve some of the paradoxical features of the standard theory by providing the physical attributes of quantum systems with numerical values that are Dedekind real numbers in the topos of sheaves on the state space of the quantum system. The measured standard real number values of a physical attribute are then obtained as constant qr-number approximations to variable qr-numbers. Considered as attributes, the spatial locations of massive quantum particles form non-classical spatial continua in which a single particle can have a quantum trajectory which passes through two classically separated slits and the two particles in the Bohm-Bell experiment stay close to each other in quantum space so that Einstein locality is retained.
AbstractStandard quantum mechanics is formulated using complex Hilbert spaces, real-valued probabilities, continuous one-parameter dynamics, and—where particles and fields have continuous degrees of freedom —function spaces constructed over continua such as R3 . In that precise mathematical sense, the real and complex continua are deeply embedded in the standard theory. It does not follow, however, that experiments have demonstrated the physical existence of an uncountable set of exact real numbers, still less that individual quantum systems physically “store” infinitely many digits. Every preparation, control operation, and measurement has finite precision, and many quantum predictions can be approximated arbitrarily closely using countable or finite descriptions.This distinction matters because the continuum is sometimes blamed for quantum theory's conceptual strangeness. That diagnosis is mostly unsupported. Superposition, interference, uncertainty, noncommutativity, entanglement, contextuality, Bell-inequality violations, and no-cloning already occur in finite-dimensional quantum systems and do not depend in any straightforward way on continuous position space or arbitrary irrational numbers. Restricting a Hilbert space to rational, algebraic, computable, or finitely specified states therefore does not automatically produce classical physics. Indeed, dense restricted subsets can approximate ordinary quantum predictions to arbitrary finite accuracy, although turning such a subset into a complete physical theory requires much more: closed dynamics, a composition rule, a measurement theory, robustness, and new empirical predictions.A particularly developed contemporary alternative is Tim Palmer's Invariant Set Theory and its recent formulation as Rational Quantum Mechanics (RaQM). RaQM is not accurately described as simply “quantum mechanics with irrational numbers banned.” It restricts the bases in which states are physically defined through number-theoretic rationality conditions, represents admissible states using finite bit strings, invokes a fractal invariant state space equipped with a non-Euclidean, p-adic-like metric, and violates Bell measurement independence at the level of exact counterfactual settings. Palmer's 2026 proposal further predicts a finite qubit-information capacity and an eventual saturation of quantum computational advantage. These are genuine, potentially falsifiable proposals, but they remain speculative and have not displaced standard quantum theory.The strongest conclusion is consequently asymmetric. There is a serious foundational question about whether the continuum is an ontological feature of nature or an extraordinarily efficient mathematical completion. Finite precision prevents existing experiments from proving a literal continuum. But there is presently little evidence that continuum mathematics causes quantum phenomena. Any discrete replacement must still account quantitatively for interference, contextuality, Bell correlations, entanglement, spectroscopy, atomic structure, and quantum computation. Discreteness can change quantum physics only when it is accompanied by additional physical postulates—and those postulates, rather than discreteness alone, must ultimately face experiment.
The quantum mechanical measurement problem does not arise in the quantum real number approach to quantum measurements of the first kind. The attributes of individual microscopic systems in the experimental ensemble always have qr-number values so the individual systems can be followed throughout the process. The interaction with an apparatus connects the qr-number value of the quantity to be measured with the qr-number value of an attribute of the apparatus that can be locally approximated by a classical number and subsequently amplified to a recordable output.
An interpretation and re-formulation of modern physics which removes the presumption of the space-time continuum, and bases physical theory on a small number of rational and empirical principles. After briefly describing the philosophical principles underlying the theory, we rigorously construct a discrete model of quantum mechanics. Kets are names, or labels which categorise states of matter but do not directly describe them. The principle of superposition is seen as a definitional truism in the categorisation of states. This resolves the measurement problem of quantum mechanics by attributing the collapse of the wave function to information. The probability interpretation has a natural meaning in which the configuration of interacting particles plays the role of a hidden variable. The model supports a form of relativistic quantum field theory which does not depend on quantisation or second quantisation from classical mechanics. Continuous laws of wave mechanics are found in a discrete metaphysic which does not involve waves. Classical law is the expected behaviour of many elementary particles. The constraints on the theory are sufficient to establish that particles are point-like entities with specific properties found in nature. Newton's first law and conservation of momentum are established from the principle of homogeneity. Maxwell's equations are derived from the simple interaction in which a Dirac particle emits or absorbs a photon. Feynman rules are calculated for the discrete theory and differ from the standard rules by the removal of the ultraviolet divergence and the use of proper loop integrals. They give finite and unambiguous results.
The field of quantum foundations seeks to answer questions such as: What do the elements of the mathematical formalism of quantum theory represent? From what physical principles can the formalism be derived? What are the precise ways in which a quantum world differs from a classical world and other possible worlds? These lectures will cover some important foundational topics which touch upon these questions, in particular, operational and realist interpretations of the formalism, the quantum measurement problem, nonlocality and contextuality.
We show how quantum mechanics can be understood as a space-time theory provided that its spatial continuum is modelled by a variable real number (qrumber) continuum. Such a continuum can be constructed using only standard Hilbert space entities. The geometry of atoms and subatomic objects differs from that of classical objects. The systems that are non-local when measured in the classical space-time continuum may be localized in the quantum continuum. We compare this new description of space-time with the Bohmian picture of quantum mechanics.