pith. sign in

arxiv: 2304.14306 · v2 · submitted 2023-04-27 · 🧮 math-ph · hep-th· math.MP· physics.class-ph· quant-ph

Dynamical symmetries of the anisotropic oscillator

Pith reviewed 2026-05-24 08:57 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MPphysics.class-phquant-ph
keywords anisotropic oscillatordynamical symmetriescanonical transformationssuperintegrabilityconserved quantitiesisotropic oscillatorfirst integralscommensurate frequencies
0
0 comments X

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.

The n-dimensional isotropic oscillator is known to possess an SU(n) symmetry and therefore the maximum number of independent conserved quantities. The anisotropic oscillator, whose frequencies differ along the coordinate axes, has more subtle dynamical symmetries that are harder to identify directly. The paper introduces a set of canonical transformations that convert the anisotropic Hamiltonian into the isotropic one. Because the transformations preserve the underlying dynamical structure, the anisotropic system inherits the same number of conserved quantities. This makes the anisotropic oscillator maximally superintegrable whenever the frequencies are commensurate, and yields explicit closed-form expressions for the integrals in two dimensions.

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

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

  • 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.

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.

Referee Report

1 major / 0 minor

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)
  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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence and validity of the introduced canonical transformations for commensurate frequencies; these are domain assumptions not independently evidenced in the abstract.

axioms (1)
  • domain assumption The frequencies are commensurate (rational ratios) so that the mapping preserves the full set of conserved quantities.
    Abstract explicitly qualifies the result for the commensurate case.

pith-pipeline@v0.9.0 · 5635 in / 1129 out tokens · 27370 ms · 2026-05-24T08:57:41.732243+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [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. [2]

    The new variables ought to satisfy ω jPj Xj = PjXj

  3. [3]

    {Xj, Pk} = δjk and {Xj, Xk} = {Pj, Pk} = 0, where {·, ·} is the Poisson bracket evaluated in the Xj, P j basis

    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. [4]

    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

    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. [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. [6]

    (28) We have put the superscript ‘ ǫ’ in labelling the conserved quantities to remind the reader that they are obtained in the limit ω 1 ≈ ω 2

    − 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. [7]

    + ω 2 2 (p2 2 + q2 2), (29) I1 = √ ω 1ω 2(p2 1 + q2 1)(p2 2 + q2

  8. [8]

    cos [ π 4 ( 1 ω 2 − 1 ω 1 ) − ( θ2 ω 2 − θ1 ω 1 )] , (30) I2 = √ ω 1ω 2(p2 1 + q2 1)(p2 2 + q2

  9. [9]

    sin [ π 4 ( 1 ω 2 − 1 ω 1 ) − ( θ2 ω 2 − θ1 ω 1 )] , (31) I3 = ω 1 2 (p2 1 + q2

  10. [10]

    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

    − ω 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. [11]

    N. W. Evans, Superintegrability in classical mechanics , Phys. Rev. A 41, 5666 (1990)

  12. [12]

    V. I. Arnold, Mathematical Methods of Classical Mechanics , Graduate Texts in Mathematics, vol. 60 (2nd ed.), New York: Springer-Verlag (1989)

  13. [13]

    Marquette, Classical ladder operators, polynomial Poisson algebras, and classification of superintegrable systems , J

    I. Marquette, Classical ladder operators, polynomial Poisson algebras, and classification of superintegrable systems , J. Math. Phys. 53, 012901 (2012)

  14. [14]

    Amiet and S

    J.-P. Amiet and S. Weigert, Commensurate Harmonic Oscillators: Classical Symmetries , J. Math. Phys. 43, 4110 (2002)

  15. [15]

    Chatterjee, Dynamical Symmetries and Nambu Mechanics , Lett

    R. Chatterjee, Dynamical Symmetries and Nambu Mechanics , Lett. Math. Phys. 36, 117 (1996)

  16. [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)

  17. [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)

  18. [18]

    N. W. Evans and P. E. Verrier, Superintegrability of the caged anisotropic oscillator , J. Math. Phys. 49, 092902 (2008)

  19. [19]

    Bhaumik, A Chatterjee and B

    D. Bhaumik, A Chatterjee and B. Dutta-Roy, Symmetry in the commensurate anisotropic oscillator , J. Phys. A: Math. Gen. 27, 1401 (1994)

  20. [20]

    Goldstein, C

    H. Goldstein, C. Poole and J. Safko, Classical Mechanics, 3rd ed., Addison-Wesley (2001)

  21. [21]

    B. K. Bagchi, Advanced Classical Mechanics, CRC Press (2017)