Dynamical symmetries of the anisotropic oscillator
Pith reviewed 2026-05-24 08:57 UTC · model grok-4.3
The pith
Canonical transformations map the anisotropic oscillator to the isotropic one and establish that it is maximally superintegrable in the commensurate case.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A novel set of canonical transformations maps an n-dimensional anisotropic oscillator onto the corresponding isotropic problem. The mapping shows that the anisotropic oscillator possesses the same number of conserved quantities as the isotropic oscillator and is therefore maximally superintegrable in the commensurate case. In two dimensions the first integrals admit closed-form expressions.
What carries the argument
A novel set of canonical transformations that map the anisotropic oscillator to the isotropic oscillator while preserving dynamical structure and the number of conserved quantities.
If this is right
- The anisotropic oscillator possesses the same number of conserved quantities as the isotropic oscillator.
- It is maximally superintegrable whenever the frequencies are commensurate.
- Closed-form expressions exist for all first integrals in the two-dimensional case.
Where Pith is reading between the lines
- The same transformations could be applied to the quantum anisotropic oscillator to generate its spectrum from the isotropic one.
- Similar mappings might simplify the analysis of other systems whose frequencies or couplings break isotropy.
- The closed-form integrals supply concrete starting points for perturbation theory when small anharmonic terms are added.
Load-bearing premise
The canonical transformations preserve both the dynamical structure and the full set of conserved quantities.
What would settle it
An explicit enumeration of independent first integrals for a specific commensurate anisotropic oscillator performed without invoking the transformations, or a verification that the transformations fail to preserve Poisson brackets, would test the central claim.
read the original abstract
It is well known that the Hamiltonian of an $n$-dimensional isotropic oscillator admits an $SU(n)$ symmetry, making the system maximally superintegrable. However, the dynamical symmetries of the anisotropic oscillator are much more subtle. We introduce a novel set of canonical transformations that map an $n$-dimensional anisotropic oscillator to the corresponding isotropic problem. Consequently, the anisotropic oscillator is found to possess the same number of conserved quantities as the isotropic oscillator, making it maximally superintegrable too (commensurate case). The first integrals are explicitly calculated in the case of a two-dimensional anisotropic oscillator and remarkably, they admit closed-form expressions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to introduce a novel set of canonical transformations mapping the n-dimensional anisotropic oscillator to the isotropic oscillator. Consequently, the anisotropic oscillator is maximally superintegrable in the commensurate case, possessing the same number of conserved quantities as the isotropic case; explicit closed-form first integrals are given for the 2D case.
Significance. If the mapping construction were valid, the work would provide a direct transfer of the SU(n) symmetry and maximal superintegrability from the isotropic to the anisotropic oscillator. The explicit 2D integrals would be a useful concrete result. However, the central claim does not hold.
major comments (1)
- [Abstract] Abstract (and the construction described therein): the asserted canonical transformations cannot exist. Both Hamiltonians are quadratic, so the systems are linear; any symplectic map φ with H_aniso = H_iso ∘ φ must conjugate the Hamiltonian vector fields and therefore preserve the spectrum of eigenvalues (±iω_k for each mode). When the ω_i are not all equal the spectra differ, so no such φ exists (even when the ratios are rational). The 'consequently' inference that the full set of conserved quantities transfers therefore does not follow.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the precise identification of the flaw in the central construction. We agree that the claimed canonical transformations do not exist and that the inference concerning maximal superintegrability via this route is invalid.
read point-by-point responses
-
Referee: [Abstract] Abstract (and the construction described therein): the asserted canonical transformations cannot exist. Both Hamiltonians are quadratic, so the systems are linear; any symplectic map φ with H_aniso = H_iso ∘ φ must conjugate the Hamiltonian vector fields and therefore preserve the spectrum of eigenvalues (±iω_k for each mode). When the ω_i are not all equal the spectra differ, so no such φ exists (even when the ratios are rational). The 'consequently' inference that the full set of conserved quantities transfers therefore does not follow.
Authors: We agree with the referee. Because both systems are linear, any symplectic map satisfying H_aniso = H_iso ∘ φ would have to conjugate the linear Hamiltonian vector fields, hence preserve their spectra. When the frequencies are incommensurate or even commensurate but unequal, the spectra differ, so no such map exists. The abstract claim and the associated construction in the body of the paper are therefore incorrect, and the transfer of the full set of conserved quantities does not follow from this argument. We will revise the manuscript by removing the assertion that such canonical transformations exist, withdrawing the consequent claim of maximal superintegrability obtained via this mapping, and restricting the discussion to the explicit 2D first integrals (whose validity is independent of the mapping) together with any other dynamical symmetries that can be established directly. revision: yes
Circularity Check
No circularity; derivation rests on explicitly constructed transformations
full rationale
The paper states it introduces a novel set of canonical transformations mapping the anisotropic oscillator to the isotropic one, then concludes the former inherits the same number of conserved quantities. This is a direct construction followed by a logical consequence, with no reduction of the claimed result to a fitted parameter, self-citation chain, or definitional equivalence. No load-bearing step is shown to be equivalent to its inputs by construction, and the derivation is self-contained against external benchmarks such as the known SU(n) symmetry of the isotropic case.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The frequencies are commensurate (rational ratios) so that the mapping preserves the full set of conserved quantities.
Reference graph
Works this paper leans on
-
[1]
− (p2 2 + q2 2). The quantities I1 and I2 are respectively the Fradkin tensor, and the angular momentum ∗ E-mail: s23ph09005@iitbbs.ac.in † E-mail: ag34@iitbbs.ac.in ‡ E-mail: bbagchi123@gmail.com 1 For a general classification of classical superintegrable s ystems with the help of ladder operators, see [3]. 2 on the q1 − q2 plane (with a negative sign), w...
-
[2]
The new variables ought to satisfy ω jPj Xj = PjXj
-
[3]
The transformation should be canonical, i.e. {Xj, Pk} = δjk and {Xj, Xk} = {Pj, Pk} = 0, where {·, ·} is the Poisson bracket evaluated in the Xj, P j basis
-
[4]
For each j ∈ { 1, 2, · · ·, n }, one has to have Pj = − iX ∗ j . In the following discussion, we suppress the index j and focus on two general functions X = X (X, P ) and P = P(X, P ), where we assume that P ̸ = 0. Now, the first condition implies X (X, P ) = ΩP X P(X, P ) , (8) where we have put ω j = Ω. Next, the second condition gives ∂X ∂X ∂P ∂P − ∂P ∂...
-
[5]
+ 1 − ǫ 2 (p2 2 + q2 2), (24) I ǫ 1 = ( p1p2 + q1q2) − ǫ(q2p1 − q1p2) [ (θ1 + θ2) − π 2 ] + O(ǫ2), (25) I ǫ 2 = ( q2p1 − q1p2) + ǫ(p1p2 + q1q2) [ (θ1 + θ2) − π 2 ] + O(ǫ2), (26) I ǫ 3 = 1 + ǫ 2 (p2 1 + q2
-
[6]
− 1 − ǫ 2 (p2 2 + q2 2), (27) where θj = − arctan ( pj qj ) , and we have used the fact that Xj = rj exp (iθj), Pj = − iX ∗ j to write Xj Pj = i exp (2iθj) = exp [ i ( π 2 + 2θj )] . (28) We have put the superscript ‘ ǫ’ in labelling the conserved quantities to remind the reader that they are obtained in the limit ω 1 ≈ ω 2. It is clear that I ǫ µ ≈ Iµ + ...
-
[7]
+ ω 2 2 (p2 2 + q2 2), (29) I1 = √ ω 1ω 2(p2 1 + q2 1)(p2 2 + q2
-
[8]
cos [ π 4 ( 1 ω 2 − 1 ω 1 ) − ( θ2 ω 2 − θ1 ω 1 )] , (30) I2 = √ ω 1ω 2(p2 1 + q2 1)(p2 2 + q2
-
[9]
sin [ π 4 ( 1 ω 2 − 1 ω 1 ) − ( θ2 ω 2 − θ1 ω 1 )] , (31) I3 = ω 1 2 (p2 1 + q2
-
[10]
− ω 2 2 (p2 2 + q2 2), (32) with θj = − arctan ( pj qj ) . One can indeed verify that the conserved quantities listed above Po isson-commute with the Hamiltonian of the two-dimensional anisotropic oscillator, which is just I0. Furthermore, the first integrals {Ik} for k ∈ { 1, 2, 3}, follow the su(2) algebra: {Jj, Jk} = ǫjkl Jl, (33) where {·, ·}is a Poiss...
-
[11]
N. W. Evans, Superintegrability in classical mechanics , Phys. Rev. A 41, 5666 (1990)
work page 1990
-
[12]
V. I. Arnold, Mathematical Methods of Classical Mechanics , Graduate Texts in Mathematics, vol. 60 (2nd ed.), New York: Springer-Verlag (1989)
work page 1989
-
[13]
I. Marquette, Classical ladder operators, polynomial Poisson algebras, and classification of superintegrable systems , J. Math. Phys. 53, 012901 (2012)
work page 2012
-
[14]
J.-P. Amiet and S. Weigert, Commensurate Harmonic Oscillators: Classical Symmetries , J. Math. Phys. 43, 4110 (2002)
work page 2002
-
[15]
Chatterjee, Dynamical Symmetries and Nambu Mechanics , Lett
R. Chatterjee, Dynamical Symmetries and Nambu Mechanics , Lett. Math. Phys. 36, 117 (1996)
work page 1996
-
[16]
V. X. Genest, H. Miki, L. Vinet and G. Yu, A superintegrable discrete harmonic oscillator based on bi variate Charlier polynomials, Phys. Atom. Nucl. 80, 794 (2017)
work page 2017
-
[17]
J. D. Louck, M. Moshinsky and K. B. Wolf, Canonical transformations and accidental degeneracy. I. T he anisotropic oscillator, J. Math. Phys. 14, 692–695 (1973)
work page 1973
-
[18]
N. W. Evans and P. E. Verrier, Superintegrability of the caged anisotropic oscillator , J. Math. Phys. 49, 092902 (2008)
work page 2008
-
[19]
D. Bhaumik, A Chatterjee and B. Dutta-Roy, Symmetry in the commensurate anisotropic oscillator , J. Phys. A: Math. Gen. 27, 1401 (1994)
work page 1994
-
[20]
H. Goldstein, C. Poole and J. Safko, Classical Mechanics, 3rd ed., Addison-Wesley (2001)
work page 2001
-
[21]
B. K. Bagchi, Advanced Classical Mechanics, CRC Press (2017)
work page 2017
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.