Continuous degrees of freedom The quantum systems we have discussed so far have been described by finite-dimensional Hilbert spaces. Basic measurements on such systems have a finite number of possible outcomes, and a quantum state predicts a discrete probability distribution over these. Now we wish to extend our theory to handle systems with one or more continuous degrees of freedom, such as the position of a particle that can move in one dimension. This will require an extension of our theory to Hilbert spaces of infinite dimension, and to systems with continuous observables. There is a philosophical issue here. How do we know that there really are infinitely many distinct locations for a particle? The short answer is, we don't. It might be that space itself is both discrete (at the tiniest scales) and bounded (at the largest), so that the number of possible locations of a particle is some very large but finite number. If this is the case, then the continuum model for space is nothing more than a convenient approximation. Infinity is just a simplified way of describing a quantity that is immense, but still finite. In this section, we will adopt this view of infinity. We will imagine that any continuous variable is really an approximation of a “true” discrete variable. This idea will motivate the continuous quantities and operations that we need.
Continuous degrees of freedom The quantum systems we have discussed so far have been described by finite-dimensional Hilbert spaces. Basic measurements on such systems have a finite number of possible outcomes, and a quantum state predicts a discrete probability distribution over these. Now we wish to extend our theory to handle systems with one or more continuous degrees of freedom, such as the position of a particle that can move in one dimension. This will require an extension of our theory to Hilbert spaces of infinite dimension, and to systems with continuous observables. There is a philosophical issue here. How do we know that there really are infinitely many distinct locations for a particle? The short answer is, we don't. It might be that space itself is both discrete (at the tiniest scales) and bounded (at the largest), so that the number of possible locations of a particle is some very large but finite number. If this is the case, then the continuum model for space is nothing more than a convenient approximation. Infinity is just a simplified way of describing a quantity that is immense, but still finite. In this section, we will adopt this view of infinity. We will imagine that any continuous variable is really an approximation of a “true” discrete variable. This idea will motivate the continuous quantities and operations that we need.
This chapter deals with two pressing and related issues regarding state expansions. Many of the physical variables that we need to deal with are continuous in nature, and so require a basis set with an infinite number of members for their expression. Previously, when dealing with position, we have fudged things by dividing the region of interest into a large but finite number of chunks, but momentum and energy, for example, would be equally problematic. The infinite basis set is one of the two issues that we need to contend with. Asking for the probability of finding a point-like particle at a precise location is an ill-framed question. This is not an issue confined to quantum theory. Standard probability theory must deal with the same situation, so a solution is already on the table. In classical physics the momentum of an object in any given direction has a strict definition, which is evidently and clearly related to observable properties.
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 nature of measurements, and their place within quantum theory, has engaged physicists and philosophers for generations [Bra92; Sch03]. Much of that interest centered on variables such as position and momentum of free particles, whose values form a continuum. The present monograph deals with discrete quantum states; the measurements are those required to specify as completely as possible a particular discrete quantum state Ψ or, more generally, a density matrix ρ defined within a finite-dimensional Hilbert space. General remarks General system . At the outset we assume that the possible quantum states are a small number – the N essential states used in formulating the time-dependent Schrödinger equation or specifying the dimensions of the density matrix. To completely characterize a density matrix for such a system we require the N 2 elements. Of these the N diagonal elements are real valued, while the off-diagonal elements of the upper right side are complex conjugates of those on the lower left. Thus with allowance for the requirement of unit trace a total of N 2 – 1 real numbers suffice to completely specify the density matrix. These values must be consistent with the constraints discussed in Sec. 16.6.3. Pure state . If it is known that the system is in a pure state, we require the magnitude and phase of N probability amplitudes. These are constrained by normalization, and so only 2 N –1 real numbers are needed. Out of these 2 N – 1 parameters the overall phase of the statevector is usually not of interest (but see Chap. 20).
In this section we introduce the framework of quantum mechanics as it pertains to the types of systems we will consider for quantum computing. Here we also introduce the notion of a quantum bit or ‘qubit’, which is a fundamental concept for quantum computing. At the beginning of the twentieth century, it was believed by most that the laws of Newton and Maxwell were the correct laws of physics. By the 1930s, however, it had become apparent that these classical theories faced serious problems in trying to account for the observed results of certain experiments. As a result, a new mathematical framework for physics called quantum mechanics was formulated, and new theories of physics called quantum physics were developed in this framework. Quantum physics includes the physical theories of quantum electrodynamics and quantum field theory, but we do not need to know these physical theories in order to learn about quantum information. Quantum information is the result of reformulating information theory in this quantum framework. We saw in Section 1.6 an example of a two-state quantum system: a photon that is constrained to follow one of two distinguishable paths. We identified the two distinguishable paths with the 2-dimensional basis vectors and then noted that a general ‘path state’ of the photon can be described by a complex vector with |α0|2 +|α1|2 = 1. This simple example captures the essence of the first postulate, which tells us how physical states are represented in quantum mechanics. Depending on the degree of freedom (i.e. the type of state) of the system being considered, H may be infinite-dimensional. For example, if the state refers to the position of a particle that is free to occupy any point in some region of space, the associated Hilbert space is usually taken to be a continuous (and thus infinite-dimensional) space. It is worth noting that in practice, with finite resources, we cannot distinguish a continuous state space from one with a discrete state space having a sufficiently small minimum spacing between adjacent locations. For describing realistic models of quantum computation, we will typically only be interested in degrees of freedom for which the state is described by a vector in a finite-dimensional (complex) Hilbert space.
Classical mechanics is usually valid at the macro scale. The changes in the position and the momentum of the object over time are described by the Hamiltonian equation of motion. The wave function in quantum mechanics, if unobserved, evolves in a smooth and continuous way according to the Schrodinger equation, which is related to the Hamiltonian equation of motion. This equation describes a linear superposition of different states at time. A quantum mechanical description of a physical system is related to a probabilistic representation; it is described by a vector in Hilbert space. This description extends the two- or three-dimensional Euclidean space into spaces that have any finite or infinite number of dimensions. The state of a compound system is projected to the subspace that corresponds to the observed state and the vector representing the state is renormalized to the unit length. An observable describes a subspace for some dimensions with a special case of one dimension.
In this chapter we take up systems whose state spaces form a continuum. These are, naturally, infinite dimensional vector spaces (often called Hilbert spaces). Unfortunately, we could not do any better than treating such systems by formal analogy with their finite dimensional counterparts. A rigorous treatment would require a background in functional analysis and is beyond the scope of the present work. Thus, we essentially lay out a dictionary for translating the mathematical ingredients and formulae, from discrete to continuum descriptions, motivated by plausibility arguments. In particular, we argue why states are now described by complex square integrable functions (called wave functions) and observables by Hermitian differential operators. We then move on to show how to quantize quantum systems with classical analogues, which comprise the bulk of real life physical systems. Here, we explicitly show how the most nontrivial component of the quantization, i.e., the description of the representation of the momentum operator (in position space) can be deduced from both, the de Broglie hypothesis, and the canonical commutation relation. The “particle in a box” problem is treated as an illustration. The parity operator, Ehrenfest's theorem and continuity conditions have been relegated to the problem section.