arxiv: 2604.21373 · v1 · submitted 2026-04-23 · 🧮 math-ph · hep-th· math.MP· physics.hist-ph· quant-ph

Recognition: unknown

The Geometry Underlying the Quantum Harmonic Oscillator

Alexander D. Popov

Authors on Pith no claims yet

Pith reviewed 2026-05-08 13:45 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MPphysics.hist-phquant-ph

keywords quantum harmonic oscillatorBargmann-Fock-Segal representationlens spacephase space reductionZ_n symmetryquantum-classical correspondenceKepler problem

0 comments

The pith

The eigenfunctions of the two-dimensional quantum harmonic oscillator correspond to complex radial coordinates in the reduced phase space C²/Z_n and describe Z_n-invariant circular motion in the lens space S³/Z_n.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a geometric dictionary for the quantum harmonic oscillator in the complex Bargmann-Fock-Segal representation, where the classical phase space is C². Eigenfunctions ψ_n align with radial coordinates after quotienting by the cyclic group Z_n. These coordinates encode particle motion that stays fixed under rotations by 2π/n and traces a circle inside the three-dimensional lens space obtained from S³. The full solution of the Schrödinger equation therefore encodes an infinite collection of related classical states, which can be interchanged by lifting to the quantum bundle. The same pattern of correspondence is indicated for the Kepler problem.

Core claim

In the Bargmann-Fock-Segal representation of the two-dimensional harmonic oscillator with phase space C², the eigenfunctions ψ_n correspond to complex radial coordinates in the reduced phase space C²/Z_n ⊂ C². They describe Z_n-invariant motion of a particle along a circle S¹ in lens space S³/Z_n ⊂ C²/Z_n, where Z_n is the cyclic group of rotation by an angle 2π/n on the circle S¹, n=1,2,.... Thus the general solution of the Schrödinger equation carries information about an infinite number of admissible classical states ψ_n that can be mapped to other states after lifting into the quantum bundle. A similar correspondence exists in the Kepler/hydrogen atom problem.

What carries the argument

The quotient of the complex phase space C² by the cyclic group Z_n, which reduces the space so that each eigenfunction ψ_n becomes a radial coordinate for orbits that are invariant under the group action and lie on circles in the resulting lens space S³/Z_n.

If this is right

The general solution of the Schrödinger equation encodes information about infinitely many admissible classical states associated with each ψ_n.
These classical states can be mapped into one another by lifting into the quantum bundle.
A parallel geometric correspondence between classical and quantum states holds for the Kepler or hydrogen atom problem.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The reduction may preserve the underlying symplectic structure, allowing the quantum energy levels to be read directly from the geometry of the invariant circles.
Similar quotients by finite cyclic groups could be applied to other integrable systems to produce lens-space descriptions of their quantum states.
The infinite family of mapped classical states suggests a geometric account of degeneracy or multiplicity in the spectrum without invoking additional symmetry arguments.

Load-bearing premise

That the Bargmann-Fock-Segal representation combined with the quotient by Z_n supplies a faithful and complete dictionary between quantum eigenfunctions and classical orbits without loss of information or extra dynamical assumptions.

What would settle it

Explicit calculation of the reduced phase-space trajectory for a low-lying eigenfunction such as ψ_2 or ψ_3 that shows the motion does not remain confined to a single circle invariant under the full 2π/n rotation, or that the quantized energies fail to reproduce the classical orbital frequencies under this mapping.

read the original abstract

We consider two-dimensional harmonic oscillator in the complex Bargmann-Fock-Segal representation with $T^*{\mathbb R}^{2}={\mathbb C}^2$ as classical phase space. We show that the eigenfunctions $\psi_n$ of the quantum Hamiltonian correspond to complex radial coordinates in the reduced phase space ${\mathbb C}^2/{\mathbb Z}_n\subset{\mathbb C}^2$. They describe ${\mathbb Z}_n$-invariant motion of particle along a circle $S^1$ in lens space $S^3/{\mathbb Z}_n\subset{\mathbb C}^2/{\mathbb Z}_n$, where ${\mathbb Z}_n$ is the cyclic group of rotation by an angle $2\pi/n$ on the circle $S^1$, $n=1,2,...\,$. Thus the general solution of the Schr\"odinger equation carries information about an infinite number of admissible classical states $\psi_n$ that can be mapped to other states after lifting into the quantum bundle. We show that in the Kepler/hydrogen atom problem there is a similar correspondence between classical and quantum states.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper maps oscillator eigenfunctions to radial coordinates and orbits in lens spaces S^3/Z_n by quotienting C^2 with a cyclic group whose order matches the quantum number n, but this identification looks imposed to fit the states rather than derived from the symplectic structure.

read the letter

The core idea is that in the Bargmann-Fock-Segal picture the nth eigenfunction ψ_n of the 2D harmonic oscillator corresponds to a complex radial coordinate on the reduced space C^2/Z_n and to Z_n-invariant circular motion inside the lens space S^3/Z_n. The same pattern is sketched for the Kepler problem. That specific tie between the energy label n and the order of the quotient group is the main new framing offered here. It gives a geometric reading of the known states without claiming new spectra or dynamics. The presentation is straightforward and the extension to the hydrogen atom shows the author is looking for a broader pattern rather than a one-off trick. That counts as a modest but honest contribution to geometric quantum mechanics. The soft spot is exactly where the stress-test note flags it: the cyclic group Z_n is introduced with the same integer n that labels the eigenfunction, and nothing in the abstract shows this quotient arising from the moment map, first-class constraints, or coadjoint orbit geometry of the oscillator itself. If the full text does not supply an independent derivation that preserves the symplectic form or Poisson brackets, the correspondence risks being a convenient relabeling rather than a faithful dictionary. The claim that the general solution “carries information about an infinite number of admissible classical states” also needs explicit lifting maps to be convincing. This is the sort of paper that belongs in a reading group on geometric quantization or phase-space methods; people already working in Bargmann-Fock spaces or lens-space reductions might find the pictures useful for intuition. It is not groundbreaking, but the claim is concrete enough that a serious referee could check the derivations and see whether the geometry is derived or asserted. I would send it to peer review rather than desk-reject it.

Referee Report

3 major / 2 minor

Summary. The manuscript considers the two-dimensional harmonic oscillator in the complex Bargmann-Fock-Segal representation on phase space T*R² ≅ C². It asserts that the eigenfunctions ψ_n of the quantum Hamiltonian correspond to complex radial coordinates on the reduced phase space C²/Z_n, describing Z_n-invariant motion of a particle along a circle S¹ in the lens space S³/Z_n ⊂ C²/Z_n, where Z_n acts by rotation by 2π/n. The paper further claims an analogous correspondence exists for the Kepler/hydrogen atom problem, with the general solution of the Schrödinger equation carrying information about infinitely many admissible classical states.

Significance. If the asserted dictionary between quantum eigenfunctions and classical orbits via the Z_n quotient could be shown to arise from symplectic reduction while preserving the Poisson structure and spectrum, the result would provide a concrete geometric bridge between quantum states and classical trajectories for the oscillator and Kepler problems. However, the manuscript supplies no derivations, explicit equations, or verification that the identification preserves dynamical content, so the significance cannot be assessed beyond the level of a suggestive relabeling.

major comments (3)

[Abstract] Abstract and opening paragraphs: the central claim that ψ_n 'correspond to' complex radial coordinates in C²/Z_n and describe Z_n-invariant S¹ motion in S³/Z_n is asserted without any derivation. No explicit map is given showing how the Bargmann-Fock-Segal wavefunction ψ_n transforms under the Z_n action, how the symplectic form descends, or why the quotient by rotations of angle 2π/n arises from the moment map of the harmonic-oscillator Hamiltonian rather than being chosen to match the index n.
[Abstract] Abstract: the selection of the cyclic group Z_n is introduced by fiat using the same integer n that labels the eigenfunction, with no argument that this quotient is obtained from first-class constraints, coadjoint orbit geometry, or symplectic reduction of the oscillator. This makes the asserted 'dictionary' between quantum states and classical orbits appear imposed rather than derived, undermining the claim that the correspondence is faithful and preserves dynamical information.
[Abstract] Abstract (Kepler/hydrogen atom paragraph): the statement that 'there is a similar correspondence' for the Kepler problem is given with no supporting construction, equations, or reduction procedure, rendering the extension unsupported and outside the scope of what is shown for the oscillator.

minor comments (2)

[Abstract] The abstract contains a typographical artifact ('Schrödinger' rendered with backslash) and lacks any reference to prior literature on geometric quantization or symplectic reduction of the oscillator.
No section headings, equations, or figures are visible in the provided text, making it impossible to locate the claimed 'show that' statements or to check consistency with the Bargmann-Fock-Segal inner product.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful and constructive review of our manuscript. The comments accurately point out that the abstract and introductory claims require explicit derivations, maps, and justifications from symplectic geometry to be fully substantiated. We will undertake a major revision to address these issues by adding the requested details on the oscillator case and either supporting or qualifying the Kepler extension. Our point-by-point responses to the major comments follow.

read point-by-point responses

Referee: [Abstract] Abstract and opening paragraphs: the central claim that ψ_n 'correspond to' complex radial coordinates in C²/Z_n and describe Z_n-invariant S¹ motion in S³/Z_n is asserted without any derivation. No explicit map is given showing how the Bargmann-Fock-Segal wavefunction ψ_n transforms under the Z_n action, how the symplectic form descends, or why the quotient by rotations of angle 2π/n arises from the moment map of the harmonic-oscillator Hamiltonian rather than being chosen to match the index n.

Authors: We agree that the abstract and opening paragraphs assert the correspondence without supplying the explicit map or derivation. In the revised manuscript we will add a dedicated subsection deriving the identification of the Bargmann-Fock-Segal eigenfunctions ψ_n with complex radial coordinates on the reduced space C²/Z_n. This will include the explicit transformation law under the Z_n action, the induced symplectic form on the quotient, and the origin of the 2π/n rotation angle from the moment map level set of the harmonic-oscillator Hamiltonian at energy n. revision: yes
Referee: [Abstract] Abstract: the selection of the cyclic group Z_n is introduced by fiat using the same integer n that labels the eigenfunction, with no argument that this quotient is obtained from first-class constraints, coadjoint orbit geometry, or symplectic reduction of the oscillator. This makes the asserted 'dictionary' between quantum states and classical orbits appear imposed rather than derived, undermining the claim that the correspondence is faithful and preserves dynamical information.

Authors: The referee correctly observes that the abstract presents the Z_n quotient without deriving it from symplectic reduction. We will revise the manuscript to include a self-contained argument showing that the Z_n action is obtained via symplectic reduction of the oscillator phase space: the moment map for the natural U(1) rotational symmetry generates first-class constraints whose level sets, after quotienting, produce the lens space S³/Z_n with the required invariance. This will establish that the dictionary follows from the geometry and preserves the Poisson structure and spectrum. revision: yes
Referee: [Abstract] Abstract (Kepler/hydrogen atom paragraph): the statement that 'there is a similar correspondence' for the Kepler problem is given with no supporting construction, equations, or reduction procedure, rendering the extension unsupported and outside the scope of what is shown for the oscillator.

Authors: We acknowledge that the Kepler/hydrogen-atom statement is made without any supporting construction or reduction procedure. In revision we will either delete the paragraph or replace it with a brief, explicitly labeled outline of the analogous moment-map reduction for the Kepler problem, making clear that this remains an extension rather than a fully developed result within the present scope. revision: partial

Circularity Check

1 steps flagged

Correspondence between ψ_n and radial coordinates in C²/Z_n is self-definitional: Z_n is defined using the same n that labels the eigenfunction

specific steps

self definitional [Abstract]
"We show that the eigenfunctions ψ_n of the quantum Hamiltonian correspond to complex radial coordinates in the reduced phase space C²/Z_n ⊂ C². They describe Z_n-invariant motion of particle along a circle S¹ in lens space S³/Z_n ⊂ C²/Z_n, where Z_n is the cyclic group of rotation by an angle 2π/n on the circle S¹, n=1,2,... ."

The integer n that indexes the eigenfunction ψ_n is simultaneously used to define the order of the cyclic group Z_n (rotation by 2π/n). The paper then claims that ψ_n 'corresponds to' radial coordinates on the quotient C²/Z_n and describes Z_n-invariant classical motion. Because the group is selected to match the quantum label rather than obtained from the phase-space geometry or Hamiltonian constraints, the asserted dictionary is tautological by construction.

full rationale

The paper asserts that eigenfunctions ψ_n correspond to complex radial coordinates in the reduced phase space C²/Z_n and describe Z_n-invariant motion in S³/Z_n, with Z_n explicitly defined as the cyclic group of rotations by 2π/n. This uses the quantum label n to construct the quotient group, then presents the mapping as a derived result without independent derivation from symplectic reduction, moment maps, or first-class constraints of the harmonic oscillator Hamiltonian. The construction therefore reduces to a label-matching identification by construction rather than an equivalence preserving symplectic structure or Poisson brackets. The abstract presents this as shown, but the visible text supplies no equations demonstrating an independent origin for Z_n. This matches the self-definitional pattern; the central dictionary between quantum eigenfunctions and classical orbits is imposed rather than derived. The Kepler atom extension is noted similarly but does not alter the core issue. No other patterns (fitted predictions, load-bearing self-citations, or smuggled ansatze) are identifiable from the provided text.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the central claim appears to rest on the standard identification of the Bargmann-Fock space with C² and the quotient construction by Z_n, both of which are imported from prior literature.

pith-pipeline@v0.9.0 · 5496 in / 1201 out tokens · 39362 ms · 2026-05-08T13:45:33.889401+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

25 extracted references · 7 canonical work pages

[1]

Dirac,The principles of quantum mechanics, Clarendon Press, Oxford, 1958

P.A.M. Dirac,The principles of quantum mechanics, Clarendon Press, Oxford, 1958

1958
[2]

On a Hilbert space of analytic functions and associated integral transform

V. Bargmann, “On a Hilbert space of analytic functions and associated integral transform”, Commun. Pure Appl. Math.14(1961) 187

1961
[3]

Proc. of the Summer Seminar, Boulder, Colorado, 1960, vol.II

I. Segal,Mathematical problems of relativistic physics, Chap. VI, in “Proc. of the Summer Seminar, Boulder, Colorado, 1960, vol.II” (M.Kac, Ed.). Lectures in Applied Mathematics, AMS, Providence, Rhode Island, 1963

1960
[4]

Holomorphic methods in analysis and mathematical physics

B.C. Hall, “Holomorphic methods in analysis and mathematical physics”, Contemp. Math.260(2000) 1

2000
[5]

Sniatycki,Geometric quantization and quantum mechanics, Springer-Verlag, Berlin, 1980

J. Sniatycki,Geometric quantization and quantum mechanics, Springer-Verlag, Berlin, 1980

1980
[6]

Woodhouse,Geometric quantization, Clarendon Press, Oxford, 1980

N.M.J. Woodhouse,Geometric quantization, Clarendon Press, Oxford, 1980

1980
[7]

Hurt,Geometric quantization in action, D.Reidel Publishing Company, Dordrecht, 1983

N.E. Hurt,Geometric quantization in action, D.Reidel Publishing Company, Dordrecht, 1983

1983
[8]

Wells,Differential analysis on complex manifolds, Springer-Verlag, New York, 1980

R.O. Wells,Differential analysis on complex manifolds, Springer-Verlag, New York, 1980

1980
[9]

Mumford , J

D. Mumford , J. Fogarty and F. Kirwan,Geometric invariant theory, Springer-Verlag, Berlin, 1994

1994
[10]

Notes on GIT and symplectic reduction for bundles and varieties,

R.P. Thomas, “Notes on GIT and symplectic reduction for bundles and varieties,” Surveys in Differential Geometry,10(2006) [arXiv:math/0512411 [math.AG]]

work page arXiv 2006
[11]

¨Uber die Abbildungen der dreidimensionalen Sph¨ are auf die Kugelfl¨ ache,

H. Hopf, “ ¨Uber die Abbildungen der dreidimensionalen Sph¨ are auf die Kugelfl¨ ache,” Math. Ann.104(1931) 637

1931
[12]

Topologie dreidimensionaler gefaserter R¨ aume,

H. Seifert, “Topologie dreidimensionaler gefaserter R¨ aume,” Acta Math.60(1933) 147

1933
[13]

Structure of the curvature tensor on conical singularities

D.D. Sokolov and A.A. Starobinsky, “Structure of the curvature tensor on conical singularities”, Dokl. Akad. Nauk. USSR234(1977) 1043

1977
[14]

Gravitational field of a global monopole

M. Barriola and A. Vilenkin, “Gravitational field of a global monopole”, Phys. Rev. Lett.63(1989) 341

1989
[15]

Heat kernels and functional determi- nants on the generalized cone

M. Bordag, K. Kirsten and J.S. Dowker, “Heat kernels and functional determi- nants on the generalized cone”, Commun. Math. Phys.182(1996) 371 [arXiv:hep- th/9602089 [hep-th]]

work page arXiv 1996
[16]

Dirac particles, spin and photons,

A.D. Popov, “Dirac particles, spin and photons,” [arXiv:2508.21590 [hep-th]]. 28

work page arXiv
[17]

Antiparticles in non-relativistic quantum mechanics,

A.D. Popov, “Antiparticles in non-relativistic quantum mechanics,” Mod. Math. Phys.1(2025) 4 [arXiv:2404.01756 [math-ph]]

work page arXiv 2025
[18]

The hidden ontological variable in quantum harmonic oscillators

G. ’t Hooft, “The hidden ontological variable in quantum harmonic oscillators”, Front. Quant. Sci. Tech.3(2024) 1505593 [arXiv:2407.18153 [quant-ph]]

work page arXiv 2024
[19]

What does it take to solve the measurement prob- lem?

J.R. Hance and S. Hossenfelder, “What does it take to solve the measurement prob- lem?”, J. Phys. Comm.6(2022) 102001 [arXiv:2206.10445 [quant-ph]]

work page arXiv 2022
[20]

The quantum measurement problem: a review of recent trends

A.A. Tomaz, R.S. Mattos and M. Barbatti, “The quantum measurement problem: a review of recent trends”, Philosophical Magazine C (2025) 1 [arXiv:2502.19278 [quant-ph]]

work page arXiv 2025
[21]

Perturbation theory of Kepler motion based on spinor regularization,

P. Kustaanheimo and E. Stiefel, “Perturbation theory of Kepler motion based on spinor regularization,” J. Reine Angew Math.218(1965) 204

1965
[22]

Regularization of Kepler’s problem and the averaging method on a man- ifold,

J. Moser, “Regularization of Kepler’s problem and the averaging method on a man- ifold,” Commun. Pure and Appl. Math.23(1970) 609

1970
[23]

Hydrogen atom as a four-dimensional oscillator,

A.C. Chen, “Hydrogen atom as a four-dimensional oscillator,” Phys. Rev. A22 (1980) 333

1980
[24]

Connection between the hydrogen atom and the four- dimensional oscillator

A.C. Chen and M. Kibler, “Connection between the hydrogen atom and the four- dimensional oscillator” Phys. Rev. A31(1985) 3960

1985
[25]

Cordany,The Kepler problem: group theoretical aspect, regularization and quan- tization, Birkh¨ auser, Basel, 2013 29

B. Cordany,The Kepler problem: group theoretical aspect, regularization and quan- tization, Birkh¨ auser, Basel, 2013 29

2013