pith. sign in

arxiv: 2605.23748 · v1 · pith:KWJAJWDJnew · submitted 2026-05-22 · 🧮 math-ph · math.MP

Haantjes Algebras, Zernike system and separation of variables

Ondrej Kubu , Danilo Latini This is my paper

Pith reviewed 2026-05-25 02:45 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords Haantjes algebrasZernike systemseparation of variablespoint transformationssuperintegrable HamiltoniansDarboux-Haantjes coordinatesHeun class
0
0 comments X

The pith

The lift form of Haantjes operators for the Zernike system allows separation coordinates through position-only transformations.

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

This paper establishes that for the N=2 Zernike system, the Haantjes operators associated with its integrals have no momentum-dependent off-diagonal blocks. This structural property means the separation coordinates can be reached by extended point transformations depending only on positions. Explicit constructions are provided for polar, Cartesian-type, and elliptic separations. For N greater than or equal to 3, an obstruction shows that lift-form operators cannot produce independent integrals. A sympathetic reader cares because this gives an explicit way to separate variables in this superintegrable family.

Core claim

The central claim is that the Haantjes operators for all integrals of H_{(2)} are in lift form. This implies that the separation coordinates are reachable by an extended point transformation: the new positions depend only on the old positions, with no momentum entering the coordinate change. This covers polar, two Cartesian-type, and elliptic separations, with the elliptic case leading to the Heun class in the quantum separated ODE.

What carries the argument

The lift-form Haantjes operators (no momentum-dependent off-diagonal block) associated with the integrals of the Zernike Hamiltonian H_{(2)}

If this is right

  • In polar and Cartesian-type cases the new position coordinates involve at most a square root of a single-variable rational function.
  • In the elliptic case they are the two roots of a quadratic polynomial in the original coordinates.
  • The branch structure introduces a fourth regular singular point in the quantum separated ODE, placing it in the Heun class.
  • For N >= 3 no lift-form Haantjes operator can generate an integral independent of the angular momentum.

Where Pith is reading between the lines

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

  • The result suggests that momentum-dependent canonical transformations will be needed for explicit separation in higher N Zernike systems.
  • This point-transformation approach might extend to other superintegrable Hamiltonians with similar Haantjes algebra properties.
  • The link to constant curvature spaces could allow analogous separation results there.
  • One could verify the coordinates by substituting back into the Hamiltonian to check separation.

Load-bearing premise

The Haantjes operators associated with the integrals of the N=2 Zernike Hamiltonian H_{(2)} are in lift form with no momentum-dependent off-diagonal block.

What would settle it

Computing the Haantjes operators explicitly for the integrals of H_{(2)} and observing a momentum-dependent off-diagonal block would show the lift form does not hold.

read the original abstract

The generalized Zernike family $H_{(N)} = p_1^2 + p_2^2 + \sum_{n=1}^N \gamma_n\,(q_1 p_1 + q_2 p_2)^n$ is a parametric family of two-dimensional superintegrable Hamiltonians, admitting $N$ integrals of motion of degree $N$ in the momenta. A theorem of Nozaleda, Tempesta, and Tondo guarantees that canonical separation coordinates (Darboux--Haantjes coordinates) exist for any such system; the challenge is to construct them explicitly. This paper solves the problem for $N = 2$ -- the classical Zernike system, which is canonically equivalent to the isotropic harmonic oscillator on flat space or on a space of constant curvature -- covering all four known separation types: polar, two Cartesian-type, and elliptic. The key structural fact is that the Haantjes operators associated with all integrals of $H_{(2)}$ have no momentum-dependent off-diagonal block (lift form). We prove that this implies the separation coordinates are reachable by an extended point transformation: the new positions depend only on the old positions, with no momentum entering the coordinate change. In the polar and Cartesian-type cases the new position coordinates involve at most a square root of a single-variable rational function; in the elliptic case they are given by the two roots of a quadratic polynomial in the original coordinates, and the resulting branch structure introduces a fourth regular singular point in the quantum separated ODE, placing it in the Heun class, in agreement with results of Atakishiyev, Pogosyan, Vicent, Wolf, and Yakhno. For $N \geq 3$ we prove an obstruction: no lift-form Haantjes operator can generate an integral independent of the angular momentum. The separation coordinates for higher Zernike Hamiltonians therefore require momentum-dependent canonical transformations, whose explicit construction is the subject of future work.

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

0 major / 2 minor

Summary. The manuscript examines the generalized Zernike family of superintegrable Hamiltonians H_{(N)}, focusing on the N=2 case. It shows that the Haantjes operators for all integrals of H_{(2)} are in lift form (no momentum-dependent off-diagonal blocks). This property is used to prove that the separation coordinates arise from extended point transformations. Explicit coordinate expressions are constructed for the four separation types (polar, two Cartesian-type, elliptic), with the elliptic case linked to the Heun equation class. For N ≥ 3 an algebraic obstruction is proven: no lift-form Haantjes operator can yield a functionally independent integral commuting with the angular momentum.

Significance. If the claims hold, the work supplies concrete separation coordinates for the classical Zernike system and clarifies the role of Haantjes algebras in generating point transformations. The explicit verification of lift form across all four cases, the general lemma on extended point transformations, and the direct algebraic obstruction for higher N constitute substantive contributions. These elements address verification concerns by providing independent structural computations rather than relying solely on external existence theorems.

minor comments (2)
  1. [Abstract] The abstract refers to 'two Cartesian-type' cases without naming them; adding the explicit labels (e.g., 'shifted Cartesian' or similar) would improve immediate clarity.
  2. [Elliptic separation section] In the elliptic separation discussion, the statement that the branch structure introduces a fourth regular singular point would benefit from a one-sentence reminder of the standard Heun equation singularity count for context.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the positive recommendation to accept. The referee's summary correctly identifies the key results: the explicit construction of Darboux-Haantjes coordinates for the N=2 Zernike system via lift-form operators, the proof that these coordinates arise from extended point transformations, the link to the Heun equation in the elliptic case, and the algebraic obstruction for N≥3.

Circularity Check

0 steps flagged

No significant circularity; explicit computations and external theorem

full rationale

The paper explicitly computes the Haantjes operators for the three integrals of H_{(2)} in each of the four separation cases and directly verifies the momentum-independent off-diagonal blocks. It then proves an independent general lemma that any lift-form Haantjes operator generates separation coordinates via extended point transformation. The N≥3 obstruction follows from a direct algebraic argument. The existence theorem is cited from external authors (Nozaleda, Tempesta, Tondo) with no self-citation load-bearing on the central claims. No self-definitional reductions, fitted inputs renamed as predictions, or ansatz smuggling occur.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The paper rests on the cited Nozaleda-Tempesta-Tondo theorem for existence of coordinates and on the specific parametric form of the generalized Zernike Hamiltonian; the lift-form property is an observed structural fact rather than an added axiom.

free parameters (1)
  • γ_n
    Parameters appearing in the definition of the generalized Zernike family H_{(N)}.
axioms (1)
  • domain assumption Theorem of Nozaleda, Tempesta, and Tondo that guarantees canonical separation coordinates exist for any such superintegrable system.
    Invoked at the outset to frame the existence result, with the paper addressing explicit construction.

pith-pipeline@v0.9.0 · 5901 in / 1271 out tokens · 30192 ms · 2026-05-25T02:45:32.431021+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

33 extracted references · 1 canonical work pages · 1 internal anchor

  1. [1]

    G. S. Pogosyan, K. B. Wolf, and A. Yakhno, Superintegrable classical Zernike system, J. Math. Phys.58(2017) 072901

    2017

  2. [2]

    von Zernike, Beugungstheorie des Schneidenverfahrens und seiner verbesserten Form, der Phasenkontrastmethode, Physica1(1934) 689

    F. von Zernike, Beugungstheorie des Schneidenverfahrens und seiner verbesserten Form, der Phasenkontrastmethode, Physica1(1934) 689

    1934

  3. [3]

    G. S. Pogosyan, C. Salto-Alegre, K. B. Wolf, A. Yakhno, Quantum superintegrable Zernike system, J. Math. Phys.58 (2017) 072101

    2017

  4. [4]

    Daskaloyannis, Quadratic Poisson algebras of two-dimensional classical superintegrable systems and quadratic asso- ciative algebras of quantum superintegrable systems, J

    C. Daskaloyannis, Quadratic Poisson algebras of two-dimensional classical superintegrable systems and quadratic asso- ciative algebras of quantum superintegrable systems, J. Math. Phys.42(2001), 1100

    2001

  5. [5]

    Blasco, I

    A. Blasco, I. Gutierrez-Sagredo, F. J. Herranz, Higher-order superintegrable momentum-dependent Hamiltonians on curved spaces from the classical Zernike system, Nonlinearity36(2023) 1143

    2023

  6. [6]

    Abgaryan, A

    V. Abgaryan, A. Nersessian, V. Yeghikyan, Zernike system revisited: imaginary gauge and Higgs oscillator, Mod. Phys. Lett. A41(2026) 2550222

    2026

  7. [7]

    A. P. Fordy, Classical and quantum super-integrability: From Lissajous figures to exact solvability, Phys. Atom. Nuclei 81(2018) 832

    2018

  8. [8]

    P. W. Higgs, Dynamical symmetries in a spherical geometry I. J. Phys. A: Math. Gen.12(1979) 309–323

    1979

  9. [9]

    F. J. Herranz, A. Blasco, R. Campoamor-Stursberg, I. Gutierrez-Sagredo, D. Latini, I. Marquette, Generalized classical and quantum Zernike Hamiltonians, Bulg. J. Phys.52-s1(2025) 139-145

    2025

  10. [10]

    Reyes Nozaleda, P

    D. Reyes Nozaleda, P. Tempesta, G. Tondo, Classical multiseparable Hamiltonian systems, superintegrability and Haantjes geometry, Commun. Nonlinear Sci. Numer. Simulat.104(2022) 106021

    2022

  11. [11]

    Campoamor-Stursberg, J

    R. Campoamor-Stursberg, J. F. Cari˜ nena, M. F. Ra˜ nada, Higher-order superintegrability of a Holt-related potential, J. Phys. A46(2013) 435202

    2013

  12. [12]

    Tempesta, G

    P. Tempesta, G. Tondo, Haantjes algebras of classical integrable systems, Ann. Mat. Pura Appl.201(2022) 57–90

    2022

  13. [13]

    Tempesta, G

    P. Tempesta, G. Tondo, Haantjes algebras and diagonalization, J. Geom. Phys.160(2021) 103968

    2021

  14. [14]

    Haantjes, OnX n−1-forming sets of eigenvectors, Indag

    J. Haantjes, OnX n−1-forming sets of eigenvectors, Indag. Math.17(1955) 158–162

    1955

  15. [15]

    Magri, C

    F. Magri, C. Morosi, A geometrical characterization of integrable Hamiltonian systems through the theory of Poisson– Nijenhuis manifolds, Quaderno S19, Universit` a di Milano (1984)

    1984

  16. [16]

    Magri, Lenard chains for classical integrable systems, Theoret

    F. Magri, Lenard chains for classical integrable systems, Theoret. Math. Phys.137(2003) 1716–1722

    2003

  17. [17]

    Morosi, G

    C. Morosi, G. Tondo, Quasi-bi-Hamiltonian systems and separability, J. Phys. A30(1997) 2799–2806

    1997

  18. [18]

    Morosi, G

    C. Morosi, G. Tondo, On a class of dynamical systems both quasi-bi-Hamiltonian and bi-Hamiltonian, Phys. Lett. A 247(1998) 59–64

    1998

  19. [19]

    Tondo, C

    G. Tondo, C. Morosi, Bi-Hamiltonian manifolds, quasi-bi-Hamiltonian systems and separation of variables, Rep. Math. Phys.44(1999) 255–266

    1999

  20. [20]

    Reyes, P

    D. Reyes, P. Tempesta, G. Tondo, Partial separability and symplectic-Haantjes manifolds, Ann. Mat. Pura Appl. (2024)

    2024

  21. [21]

    Benenti, Separability in Riemannian Manifolds, SIGMA12(2016) 013, 21 pp

    S. Benenti, Separability in Riemannian Manifolds, SIGMA12(2016) 013, 21 pp. 20

    2016

  22. [22]

    Benenti, M

    S. Benenti, M. Francaviglia, The theory of separability of the Hamilton–Jacobi equation and its applications to general relativity, inGeneral Relativity and Gravitation, Vol. 1, ed. A. Held, Plenum Press, New York, 1980, pp. 393–439

    1980

  23. [23]

    Miller Jr., S

    W. Miller Jr., S. Post, and P. Winternitz, Classical and quantum superintegrability with applications, J. Phys. A: Math. Theor.46(2013) 423001

    2013

  24. [24]

    N. M. Atakishiyev, G. S. Pogosyan, L. E. Vicent, K. B. Wolf, and A. Yakhno, Spherical geometry, Zernike’s separability, and interbasis expansion coefficients, J. Math. Phys.60(2019) 101701

    2019

  25. [25]

    N. M. Atakishiyev, G. S. Pogosyan, L. E. Vicent, K. B. Wolf, and A. Yakhno, Elliptic basis for the Zernike system: Heun function solutions, J. Math. Phys.59(2018) 073505

    2018

  26. [26]

    Gonera, J

    C. Gonera, J. Gonera, and P. Kosi´ nski, On the generalization of classical Zernike system, Nonlinearity37(2024) 025007

    2024

  27. [27]

    Generalized quantum Zernike Hamiltonians: Polynomial Higgs-type algebras and algebraic derivation of the spectrum

    R. Campoamor-Stursberg, A. Blasco, F. J. Herranz, I. Gutierrez-Sagredo, and D. Latini, Generalized quantum Zernike Hamiltonians: Polynomial Higgs-type algebras and algebraic derivation of the spectrum, arXiv:2502.02491 [math-ph] (2025)

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  28. [28]

    G. S. Pogosyan, K. B. Wolf, and A. Yakhno, New separated polynomial solutions to the Zernike system on the unit disk and interbasis expansion, J. Opt. Soc. Am. A34(2017) 1844

    2017

  29. [29]

    N. M. Atakishiyev, G. S. Pogosyan, L. E. Vicent, K. B. Wolf, and A. Yakhno, Interbasis expansions in the Zernike system, J. Math. Phys.58(2017) 103505

    2017

  30. [30]

    N. M. Atakishiyev, G. S. Pogosyan, L. E. Vicent, K. B. Wolf, and A. Yakhno, On elliptic trigonometric form of the Zernike system and polar limits, Phys. Scr.94(2019) 044005

    2019

  31. [31]

    E. G. Kalnins, J. M. Kress, and W. Miller Jr.,Separation of Variables and Superintegrability: The Symmetry of Solvable Systems, IOP Publishing, Bristol, 2018, ISBN 978-0-7503-1314-8

    2018

  32. [32]

    Tremblay, A

    F. Tremblay, A. V. Turbiner, and P. Winternitz, An infinite family of solvable and integrable quantum systems on a plane, J. Phys. A: Math. Theor.42(2009) 242001

    2009

  33. [33]

    Post and P

    S. Post and P. Winternitz, An infinite family of superintegrable deformations of the Coulomb potential, J. Phys. A: Math. Theor.43(2010) 222001. 21

    2010