Reuse & Permissions

It is not necessary to obtain permission to reuse this article or its components as it is available under the terms of the Creative Commons Attribution 4.0 International license. This license permits unrestricted use, distribution, and reproduction in any medium, provided attribution to the author(s) and the published article's title, journal citation, and DOI are maintained. Please note that some figures may have been included with permission from other third parties. It is your responsibility to obtain the proper permission from the rights holder directly for these figures.

Export citation

Export citation

Choose format for download:

Download Citation
  • Open Access

All Hilbert spaces are the same: Consequences for generalized coordinates and momenta

S. J. van Enk* and Daniel A. Steck†

  • Department of Physics and Oregon Center for Optical, Molecular & Quantum Sciences and University of Oregon, Eugene, Oregon 97403, USA

  • *Contact author: svanenk@uoregon.edu
  • †Contact author: dsteck@uoregon.edu

Phys. Rev. Research 8, 033117 – Published 28 July, 2026

DOI: https://doi.org/10.1103/fzdt-p75h

Abstract

Making use of the simple fact that all separable complex Hilbert spaces of given dimension are isomorphic, we show that there are just six basic ways to define generalized coordinate operators in quantum mechanics. In each case, a canonically conjugate generalized momentum operator can be defined, but it may not be self-adjoint. Even in those cases, we show there is always either a self-adjoint extension of the operator or a Neumark extension of the Hilbert space that produces a self-adjoint momentum operator. In one of the six cases, both extensions work, thus leading to seven basic pairs of coordinate and momentum operators. We also show why there are more ways of defining basic coordinate and momentum measurements. A special role is reserved for measurements that simultaneously but imperfectly measure both.

View figure in article

Physics Subject Headings (PhySH)

Article Text

References (45)

  1. All this uses physicists’ notation, namely, Dirac’s bra-ket notation. Since there are well-documented dangers in Dirac’s formalism [2], in the following we will, when appropriate, indicate such dangers. See Refs. [7], [10] for excellent pedagogical expositions of the rigorous mathematics behind quantum mechanics. Both books also provide a guide to translating physics literature, when possible (which is not an empty proviso), to rigorous results.
  2. F. Gieres, Mathematical surprises and Dirac’s formalism in quantum mechanics, Rep. Prog. Phys. 63, 1893 (2000).
  3. G. Bonneau, J. Faraut, and G. Valent, Self-adjoint extensions of operators and the teaching of quantum mechanics, Am. J. Phys. 69, 322 (2001).
  4. P. Garbaczewski and W. Karwowski, Impenetrable barriers and canonical quantization, Am. J. Phys. 72, 924 (2004).
  5. H. E. Brandt, Positive operator valued measure in quantum information processing, Am. J. Phys. 67, 434 (1999).
  6. T. Jurić, Observables in quantum mechanics and the importance of self-adjointness, Universe 8, 129 (2022).
  7. B. C. Hall, Quantum Theory for Mathematicians (Springer Science & Business Media, New York, 2013), Vol. 267.
  8. J. Becnel and A. Sengupta, The Schwartz space: Tools for quantum mechanics and infinite dimensional analysis, Mathematics 3, 527 (2015).
  9. In an uncountably infinite space, incidentally, the Schwartz space S can be used to make Hilbert space rigorous, in the form of a rigged Hilbert space. First, define the so-called Gel’fand triple, S⊂L2(R)⊂S′, where S′ is the space of tempered distributions [45]. Then, for example, the position eigenstate in the position representation 〈x|x′〉=δ(x−x′) is in S′, in the case of continuous x. Inner products involving elements of S′ are then defined with elements of S only. For example, if H=L2(R), then the Hilbert space inner product is 〈f|g〉=∫dxf*(x)g(x), with both f and g elements of H. If, however, we restrict g to be an element of the smaller space S, then f may be chosen from the larger space S′ while still keeping the integral well defined. (This way we never encounter problematic or undefined integrals like ∫dxδ2(x).) After defining this, other parts of Dirac notation are made more rigorous, too. For example, for the operator-valued measure dμx=|x〉〈x|dx we use in the text, for ψ,ϕ∈S, the inner product involving this operator is 〈ψ|dμx|ϕ〉=ψ*(x)ϕ(x)dx.
  10. M. Talagrand, What is a Quantum Field Theory? (Cambridge University Press, Cambridge, 2022).
  11. S. J. Summers, On the Stone—von Neumann uniqueness theorem and its ramifications, in John von Neumann and the Foundations of Quantum Physics (Springer, Dordrecht, 2001), pp. 135–152.
  12. L. Ruetsche, Interpreting Quantum Theories (Oxford University Press, Oxford, 2011).
  13. C. W. Helstrom, Quantum detection and estimation theory, J. Stat. Phys. 1, 231 (1969).
  14. X. Wang, X. Zhan, Y. Li, L. Xiao, G. Zhu, D. Qu, Q. Lin, Y. Yu, and P. Xue, Generalized quantum measurements on a higher-dimensional system via quantum walks, Phys. Rev. Lett. 131, 150803 (2023).
  15. M. H. Al-Hashimi and U.-J. Wiese, Canonical quantization on the half-line and in an interval based upon an alternative concept for the momentum in a space with boundaries, Phys. Rev. Res. 3, 033079 (2021).
  16. M. H. Al-Hashimi and U.-J. Wiese, Alternative momentum concept for a quantum mechanical particle in a box, Phys. Rev. Res. 3, L042008 (2021).
  17. D. Judge, On the uncertainty relation for Lz and φ, Phys. Lett. 5, 189 (1963).
  18. D. Judge, On the uncertainty relation for angle variables, Il Nuovo Cim. 31, 332 (1964).
  19. M. Bouten, N. Maene, and P. V. Leuven, On an uncertainty relation for angular variables, Il Nuovo Cim. 37, 1119 (1965).
  20. A. A. Evett and H. M. Mahmoud, Uncertainty relation with angle variables, Il Nuovo Cimento 38, 295 (1965).
  21. A. Vourdas, Quantum systems with finite Hilbert space, Rep. Prog. Phys. 67, 267 (2004).
  22. In some cases, the construction of a physical separable Hilbert space as an appropriate subspace of an initial nonseparable Hilbert space for infinitely many degrees of freedom, alluded to in the Appendix on QFT, depends explicitly on the dynamics, namely, when the choice between unitarily inequivalent representations is informed by the dynamics.
  23. C. She and H. Heffner, Simultaneous measurement of noncommuting observables, Phys. Rev. 152, 1103 (1966).
  24. K. Kraus, A. Böhm, J. D. Dollard, and W. Wootters, States, Effects, and Operations Fundamental Notions of Quantum Theory: Lectures in Mathematical Physics at the University of Texas at Austin (Springer, Berlin, 1983).
  25. S. J. van Enk, Photodetector figures of merit in terms of POVMs, J. Phys. Commun. 1, 045001 (2017).
  26. I. Daubechies, A. Grossmann, and Y. Meyer, Painless nonorthogonal expansions, J. Math. Phys. 27, 1271 (1986).
  27. We use abbreviated notation here: 〈Q†ϕ|ψ〉 stands for the inner product (Q*(ϕ),ψ) in math notation.
  28. S. Kim and A. Rothkopf, Non-Hermitian momentum operator for the particle in a box, Phys. Rev. Res. 6, 033156 (2024).
  29. P. Goetsch and R. Graham, Linear stochastic wave equations for continuously measured quantum systems, Phys. Rev. A 50, 5242 (1994).
  30. H. M. Wiseman, Quantum trajectories and quantum measurement theory, Quantum Semiclassical Opt. 8, 205 (1996).
  31. C. S. Jackson and C. M. Caves, Simultaneous measurements of noncommuting observables: Positive transformations and instrumental Lie groups, Entropy 25, 1254 (2023).
  32. C. S. Jackson and C. M. Caves, How to perform the coherent measurement of a curved phase space by continuous isotropic measurement. I. spin and the Kraus-operator geometry of SL(2,C), Quantum 7, 1085 (2023).
  33. C. S. Jackson and C. M. Caves, Simultaneous momentum and position measurement and the instrumental Weyl-Heisenberg group, Entropy 25, 1221 (2023).
  34. M. J. W. Hall, The quantum description of optical phase, Quantum Opt. 3, 7 (1991).
  35. K. J. Blow, R. Loudon, S. J. D. Phoenix, and T. J. Shepherd, Continuum fields in quantum optics, Phys. Rev. A 42, 4102 (1990).
  36. W. Fairbairn and C. Rovelli, Separable Hilbert space in loop quantum gravity, J. Math. Phys. 45, 2802 (2004).
  37. E. Witten, Why does quantum field theory in curved spacetime make sense? And what happens to the algebra of observables in the thermodynamic limit? in Dialogues Between Physics and Mathematics: C. N. Yang at 100, edited by M.-L. Ge and Y.-H. He (Springer Nature, Cham, Switzerland, 2022), pp. 241–284.
  38. R. Haag, On quantum field theories, Mat.-fys. Medd. 29, 1 (1955).
  39. P. Roman, Introduction to Quantum Field Theory (Wiley, New York, 1969).
  40. R. F. Streater and A. S. Wightman, PCT, Spin and Statistics, and All that (Princeton University Press, Princeton, 2000), Vol. 30.
  41. K. Landsman, Foundations of Quantum Theory: From Classical Concepts to Operator Algebras (Springer Nature, Cham, Switzerland, 2017).
  42. As Talagrand [10] says on p. 356: “Even though (the Hamiltonians for the two field theories) both make perfect sense, it is the (implicit) assumption that they operate on the same state space that does not.”
  43. J. Preskill, Simulating quantum field theory with a quantum computer, PoS (LATTICE2018) 024 (2019).
  44. C. W. Bauer, Z. Davoudi, A. B. Balantekin, T. Bhattacharya, M. Carena, W. A. de Jong, P. Draper, A. El-Khadra, N. Gemelke, M. Hanada, et al., Quantum simulation for high-energy physics, PRX Quantum 4, 027001 (2023).
  45. I. M. Gel’fand and N. Y. Vilenkin, Generalized Functions: Applications of Harmonic Analysis (Academic Press, New York, 1964), Vol. 4.

Outline

Information

Sign In to Your Journals Account

Filter

Filter

Article Lookup

Enter a citation