pith. sign in

arxiv: 2512.24045 · v2 · submitted 2025-12-30 · 🧮 math-ph · cond-mat.stat-mech· math.MP· nlin.SI· quant-ph

Quantum two-dimensional superintegrable systems in flat space: exact-solvability, hidden algebra, polynomial algebra of integrals

Alexander V Turbiner , Juan Carlos Lopez Vieyra , Pavel Winternitz (deceased) This is my paper

Pith reviewed 2026-05-16 19:33 UTC · model grok-4.3

classification 🧮 math-ph cond-mat.stat-mechmath.MPnlin.SIquant-ph
keywords superintegrable systemsexact solvabilityhidden algebrapolynomial algebra of integralstwo-dimensional quantum systemsflat spaceinvariant subspacesMontreal conjecture
0
0 comments X

The pith

The six reviewed two-dimensional quantum superintegrable systems in flat space are exactly solvable with algebraic Hamiltonians, polynomial eigenfunctions, and hidden Lie structures.

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

This review examines six specific two-dimensional quantum superintegrable systems in flat space, including the Smorodinsky-Winternitz potentials, Fokas-Lagerstrom model, Calogero and Wolfes models, and Tremblay-Turbiner-Winternitz system with integer index. It establishes that each is exactly solvable, confirming the 2001 Montreal conjecture, by expressing the Hamiltonian and both integrals as differential operators with polynomial coefficients without constant terms. The systems admit polynomial eigenfunctions using invariants of their discrete symmetry groups as variables, possess hidden Lie algebraic structures g^(k), and feature finite-order polynomial algebras of integrals. Each model has infinitely many finite-dimensional invariant subspaces that form an infinite flag, with each subspace matching a representation space of the corresponding g^(k).

Core claim

The paper establishes that all six systems are exactly-solvable. They admit algebraic forms for the Hamiltonian and both integrals as differential operators with polynomial coefficients without a constant term. They have polynomial eigenfunctions with the invariants of the discrete symmetry group of invariance taken as variables. Each model has a hidden Lie algebraic structure g^(k) and a finite-order polynomial algebra of integrals, which is a 4-generated infinite-dimensional algebra of ordered monomials of degrees 2,3,4,5 as a subalgebra of the universal enveloping algebra of the hidden algebra. Each system is characterized by infinitely-many finite-dimensional invariant subspaces forming,

What carries the argument

The hidden Lie algebra g^(k) together with the 4-generated polynomial algebra of integrals (H, I1, I2, I12), which supply the algebraic forms for the Hamiltonian, the integrals, and the invariant subspaces.

If this is right

  • Each model possesses infinitely many finite-dimensional invariant subspaces that form an infinite flag.
  • The algebra of integrals is always a 4-generated infinite-dimensional algebra of ordered monomials of degrees 2 through 5.
  • Every invariant subspace coincides with a finite-dimensional representation space of the hidden algebra g^(k) for a suitable k.
  • The Hamiltonian and both integrals admit expressions as differential operators with polynomial coefficients and no constant term.

Where Pith is reading between the lines

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

  • The same algebraic construction of invariant flags and hidden algebras may classify additional superintegrable systems not included among these six.
  • The polynomial algebras of integrals could yield recurrence relations for computing spectra that bypass direct solution of the Schrödinger equation.
  • Similar hidden structures might appear in three-dimensional or curved-space superintegrable models, allowing direct transfer of the exact-solvability proofs.
  • The confirmation for integer index k in the TTW system raises the question whether non-integer k cases admit analogous but infinite-dimensional algebraic structures.

Load-bearing premise

The six systems must possess the specific superintegrable forms and discrete symmetries assumed from the cited prior literature, with their algebraic structures and invariant subspaces following directly from those forms.

What would settle it

An explicit calculation for one of the six systems, such as the TTW system, that fails to produce polynomial eigenfunctions in the symmetry invariants or lacks the hidden algebra g^(k) would disprove the exact-solvability result.

read the original abstract

In this short review paper the detailed analysis of six two-dimensional quantum {\it superintegrable} systems in flat space is presented. It includes the Smorodinsky-Winternitz potentials I-II (the Holt potential), the Fokas-Lagerstrom model, the 3-body Calogero and Wolfes (equivalently, $G_2$ rational, or $I_6$) models, and the Tremblay-Turbiner-Winternitz (TTW) system with integer index $k$. It is shown that all of them are exactly-solvable, thus, confirming the Montreal conjecture (2001); they admit algebraic forms for the Hamiltonian and both integrals (all three can be written as differential operators with polynomial coefficients without a constant term), they have polynomial eigenfunctions with the invariants of the discrete symmetry group of invariance taken as variables, they have hidden (Lie) algebraic structure $g^{(k)}$ with various $k$, and they possess a (finite order) polynomial algebras of integrals. Each model is characterized by infinitely-many finite-dimensional invariant subspaces, which form the infinite flag. Each subspace coincides with the finite-dimensional representation space of the algebra $g^{(k)}$ for a certain $k$. In all presented cases the algebra of integrals is a 4-generated $(H, I_1, I_2, I_{12}\equiv[I_1, I_2])$ infinite-dimensional algebra of ordered monomials of degrees 2,3,4,5, which is a subalgebra of the universal enveloping algebra of the hidden algebra.

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. This short review paper analyzes six two-dimensional quantum superintegrable systems in flat space: the Smorodinsky-Winternitz potentials I-II (including the Holt potential), the Fokas-Lagerstrom model, the 3-body Calogero and Wolfes (G2 rational) models, and the Tremblay-Turbiner-Winternitz (TTW) system with integer index k. It claims to demonstrate that all are exactly solvable, thereby confirming the Montreal conjecture (2001). The systems admit algebraic forms for the Hamiltonian and both integrals (written as differential operators with polynomial coefficients and no constant term), possess polynomial eigenfunctions using invariants of the discrete symmetry group as variables, exhibit hidden Lie algebraic structures g^(k) of various orders k, and have finite-order polynomial algebras of integrals. Each model features an infinite flag of finite-dimensional invariant subspaces, each coinciding with a finite-dimensional representation space of the corresponding g^(k). The algebra of integrals is described as a 4-generated (H, I1, I2, I12 ≡ [I1,I2]) infinite-dimensional algebra of ordered monomials of degrees 2-5, forming a subalgebra of the universal enveloping algebra of the hidden algebra.

Significance. If the detailed analyses hold, this work is significant as a unified algebraic confirmation of the Montreal conjecture for these six established systems. It highlights their exact solvability, hidden symmetries, and polynomial structures, providing concrete examples that strengthen the algebraic approach to superintegrable quantum systems in two dimensions and may guide extensions to higher dimensions or other potentials.

minor comments (2)
  1. A summary table listing the specific value of k for each g^(k), the order of the polynomial algebra, and the discrete symmetry group for all six systems would improve clarity and allow quick comparison across models.
  2. The abstract refers to 'detailed analysis' for each model; ensure the body explicitly cross-references the sections or equations where the algebraic forms and invariant subspaces are derived for each system.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript. The review correctly identifies the key results on exact solvability, hidden algebraic structures, and polynomial algebras for the six systems, and we appreciate the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity

full rationale

This is a review paper summarizing algebraic properties (exact solvability, hidden algebra g^(k), polynomial integrals, infinite flag of invariant subspaces) for six established 2D superintegrable systems whose forms and discrete symmetries are taken from prior literature. The central claim that these properties hold and confirm the Montreal conjecture follows directly once the potentials are accepted in their standard definitions; no step in the argument reduces by construction to a fitted parameter, self-referential definition, or unverified self-citation chain. The analysis is self-contained against external benchmarks in the cited works.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The paper reviews established models without introducing new free parameters, axioms, or invented entities; all structures are drawn from prior literature on the listed systems and the 2001 conjecture.

pith-pipeline@v0.9.0 · 5618 in / 1285 out tokens · 52625 ms · 2026-05-16T19:33:33.630933+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages · 3 internal anchors

  1. [1]

    there is a conjecture that all 2nd order superintegrable systems in Euclidean spaceE n are exactly solvable. 8 II. POLYNOMIAL ALGEBRAS OF (INTEGRALS). We callthe polynomial algebra of integralsthe infinite-dimensional, 4-generated, associa- tive algebra of ordered monomials H n I m 1 I p 2 I q 12 ,(10) wheren, m, p, qare non-negative integers, with the ge...

    work page 1965

  2. [2]

    In the following we will adopt the form of the Hamiltonian (22) and we will make appropriate changes in the formulas presented in [8, 20] to which we will address below

    andB= 1 2(b2 − 1 4), witha, bas parameters). In the following we will adopt the form of the Hamiltonian (22) and we will make appropriate changes in the formulas presented in [8, 20] to which we will address below. In [20], three integrals (commuting with the HamiltonianH(22)) are L1 =∂ 2 x − 2A x2 −ω 2 x2 , L 2 =∂ 2 y − 2B y2 −ω 2 y2 ≡ −I 1,(38) L3 = (x∂...

    work page 1965

  3. [3]

    The system admits two second-order integrals I1 =−∂ 2 y + 8ω 2 y2 ,(41) 4 For definitions, see [20]

    Usually, it is called the Smorodinsky-Winternitz system II (SW-II), sometimes it is also called the Holt model [21], see [7]. The system admits two second-order integrals I1 =−∂ 2 y + 8ω 2 y2 ,(41) 4 For definitions, see [20]. Explicitly,{A, B}=−[A, B] + 2AB, triple symmetrizer{A, B, C≡[A, B]}can be also written as a combination of ordered monomials in (A...

    work page 1980

  4. [4]

    The double commutators [i1, i12],[i 2, i12] are 5th and 6th order differential operators with (x, y)-dependent polynomial coefficient functions, respectively

    It is worth noting that the 2nd order integrali 1 is defined ambiguously, i1 →i 1 +A h , whereAis an arbitrary parameter; this transformation preserves the second degree of the differential operatori 1, see (82). The double commutators [i1, i12],[i 2, i12] are 5th and 6th order differential operators with (x, y)-dependent polynomial coefficient functions,...

    work page 2009

  5. [5]

    constrainted

    it becomes clear that (I) the formalism of quantum superintegrability should be further elaborated emphasizing the polynomial algebras of integrals and (II) the most important examples should be profoundly studied, in particular, the so-called Smorodinsky-Winternitz potentials I-II [1]. During 2013-2016 Pavel Winternitz and AVT worked out the formalism (I...

    work page 2013

  6. [6]

    On higher symmetries in quantum mechanics

    J. Fri˘s, V. Mandrosov, Ya.A. Smorodinsky, M. Uhlir and P. Winternitz, “On higher symmetries in quantum mechanics”, Phys.Lett.16, 354-356 (1965)

    work page 1965

  7. [7]

    Symmetry groups in classical and quantum mechanics

    P. Winternitz, Ya.A. Smorodinsky, M. Uhlir and J. Fri˘s, “Symmetry groups in classical and quantum mechanics”, Yad. Fiz.4, 625-635 (1966); Sov.Journ.Nucl.Phys4, 444-450 (1967) (English Translation)

    work page 1966

  8. [8]

    Miller, S

    W. Miller, S. Post and P. Winternitz, J. Phys. A: Math. Theor.46(2013) 423001 (97pp)

    work page 2013

  9. [9]

    Tempesta, A

    P. Tempesta, A. Turbiner and P. Winternitz, Exact solvibility of superintegrable systems, J. Math. Phys.42, 4248–4257 (2001)

    work page 2001

  10. [10]

    Turbiner and A.M

    A.V. Turbiner and A.M. Escobar Ruiz, J.Phys.: Conference Series,2667012075 (2023)

    work page 2023

  11. [11]

    Bonatsos, C

    D. Bonatsos, C. Daskaloyannis and K. Kokkotas, Phys. Rev.A 48, Rapid Communications, 3407–3410 (1993) 38

    work page 1993

  12. [12]

    Bonatsos, C

    D. Bonatsos, C. Daskaloyannis and K. Kokkotas, Phys. Rev.A 503700–3709 (1994)

    work page 1994

  13. [13]

    Post, Models of Quadratic Algebras Generated by Superintegrable Systems in 2D, SIGMA7, 036 (2011) (20 pp.)

    S. Post, Models of Quadratic Algebras Generated by Superintegrable Systems in 2D, SIGMA7, 036 (2011) (20 pp.)

    work page 2011

  14. [14]

    Ryan and A.V

    M.P. Ryan and A.V. Turbiner, The conformally invariant Laplace-Beltrami operator and factor ordering, Phys.Lett.A333, 30-34 (2004)

    work page 2004

  15. [15]

    Turbiner, colloquium talk to the memory of Willard Miller Jr, given at Universidad Complutense de Madrid, June 6, 2024

    A.V. Turbiner, colloquium talk to the memory of Willard Miller Jr, given at Universidad Complutense de Madrid, June 6, 2024

    work page 2024

  16. [16]

    Kalnins, W

    E. Kalnins, W. Miller Jr. and S. Post, Coupling constant metamorphosis and Nth order symmetries in classical and quantum me- chanics, J. Phys. A: Math. Theor.43035202 (2010)

    work page 2010

  17. [17]

    Kalnins, J

    E. Kalnins, J. M. Kress, W. Miller Jr., A Recurrence Relation Approach to Higher Order Quantum Superintegrability, SIGMA7, 031 (2011) (24 pp.)

    work page 2011

  18. [18]

    Lie, Theorie der Transformationsgruppen, Math

    S. Lie, Theorie der Transformationsgruppen, Math. Ann.16(1880) 441-528;Gesammelte Abhandlungen, vol.6 (B. G. Teubner, Leipzig, 1927), pp. 1-94; R. Hermann and M. Ackerman,Sophus Lie’s 1880 transformation group paper (Math. Sci. Press, Brookline, Mass., 1975) (english translation)

    work page 1927

  19. [19]

    Gonz´ alez-L´ opez, N

    A. Gonz´ alez-L´ opez, N. Kamran and P.J. Olver, Lie Algebras of Vector Fields in the Real Plane, Proc. Lond. Math. Soc.64(1992) 339–368

    work page 1992

  20. [20]

    Gonz´ alez-L´ opez, N

    A. Gonz´ alez-L´ opez, N. Kamran and P.J. Olver, New quasi-exactly-solvable Hamiltonians in two dimensions, Comm.Math.Phys.,159(1994) 503-537 39

    work page 1994

  21. [21]

    An infinite family of solvable and integrable quantum systems on a plane

    F. Tremblay, A.V. Turbiner and P. Winternitz, An infinite family of solvable and integrable quantum systems on a plane, Journal of PhysicsA42(2009), 242001 (10 pp), math-ph arXiv:0904.0738v4 (extended)

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  22. [22]

    Turbiner,Hidden Algebra of Three-Body Integrable Systems, Mod.Phys.Lett.A13, 1473-1483 (1998)

    A. Turbiner,Hidden Algebra of Three-Body Integrable Systems, Mod.Phys.Lett.A13, 1473-1483 (1998)

    work page 1998

  23. [23]

    Turbiner, TalkA new family of planar solvable and integrable Schroedinger equations, given at Instituto de Ciencias Nucleares, UNAM, August 18, 2010

    A.V. Turbiner, TalkA new family of planar solvable and integrable Schroedinger equations, given at Instituto de Ciencias Nucleares, UNAM, August 18, 2010

    work page 2010

  24. [24]

    Smirnov and A.V

    Yu.F. Smirnov and A.V. Turbiner, gln+1 algebra of matrix differential operators and matrix quasi-exactly-solvable problems, Acta Polytechnica53, 462-469 (2013)

    work page 2013

  25. [25]

    Kalnins, J

    E. Kalnins, J. M. Kress, W. Miller Jr., Second-order superintegrable systems in conformally flat spaces. I. Two-dimensional classical structure theory, J. Math. Phys.46, 053509 (2005)

    work page 2005

  26. [26]

    Holt,Construction of new integrable Hamiltonians in two degrees of freedom, J

    C.R. Holt,Construction of new integrable Hamiltonians in two degrees of freedom, J. Math. Phys.231037-1046 (1982)

    work page 1982

  27. [27]

    A. S. Fokas and P. A. Lagerstrom, J. Math. Anal. Appl.74, 325 (1980)

    work page 1980

  28. [28]

    J. C. Lopez Vieyra and A. V. Turbiner, Wolfes model akaG 2/I6-rational integrable model:g (2), g(3) hidden algebras and quartic polynomial algebra of integrals, Journ of Math Physics65(2024) 051702 (8pp)

    work page 2024

  29. [29]

    P.W. Higgs,J. Phys.A12, 309 (1979)

    work page 1979

  30. [30]

    Calogero,Jour

    F. Calogero,Jour. of Math. Phys.10, 2191 and 2197 (1969);12, 419 (1971);Lett. Nuovo Cim. 13, 411 (1975)

    work page 1969

  31. [31]

    Exact Solvability of the Calogero and Sutherland Models

    W. R¨ uhl and A. V. Turbiner, Exact solvability of the Calogero and Sutherland models,Mod. Phys. Lett.A10, 2213–2222 (1995),hep-th/9506105 40

    work page internal anchor Pith review Pith/arXiv arXiv 1995

  32. [32]

    Sokolov and A.V

    V.V. Sokolov and A.V. Turbiner, Quasi-exact-solvability of theA 2/G2 Elliptic model: algebraic forms,sl(3)/g (2) hidden algebra, polynomial eigenfunctions, Journal of PhysicsA48(2015) 155201 (15pp) Corrigendum on: Quasi-exact-solvability of theA 2/G2 Elliptic model: algebraic forms, sl(3)/g(2) hidden algebra, polynomial eigenfunctions, Journal of PhysicsA...

    work page 2015

  33. [33]

    Wolfes, On the three-body linear problem with three-body interaction, J

    J. Wolfes, On the three-body linear problem with three-body interaction, J. Math. Phys.15(1974) 1420-1424

    work page 1974

  34. [34]

    Olshanetsky and A.M

    M.A. Olshanetsky and A.M. Perelomov, Phys. Repts.94(1983) 313-393

    work page 1983

  35. [35]

    Rosenbaum, A.V

    M. Rosenbaum, A.V. Turbiner and A. Capella, Intern.Journ.Mod.Phys.A13(1998) 3885-3904

    work page 1998

  36. [36]

    Boreskov, A.V

    K.G. Boreskov, A.V. Turbiner and J.C. L´ opez Vieyra, Comm Math. Phys260(2005) 17-30

    work page 2005

  37. [37]

    Quesne, Exchange operator formalism for an infinite family of solvable and integrable quantum systems on a plane, Modern Physics LettersA25(2010) 15–24

    C. Quesne, Exchange operator formalism for an infinite family of solvable and integrable quantum systems on a plane, Modern Physics LettersA25(2010) 15–24

    work page 2010

  38. [38]

    Tremblay, A.V

    F. Tremblay, A.V. Turbiner and P. Winternitz, Periodic orbits for an infinite family of classical superintegrable systems, Journal of PhysicsA43015202 (2010)

    work page 2010

  39. [39]

    Tremblay-Turbiner-Winternitz (TTW) system at integer index $k$: polynomial algebras of integrals

    J.C. Lopez Vieyra and A.V. Turbiner, Tremblay-Turbiner-Winternitz (TTW) system at integer indexk: polynomial algebras of integrals ArXiv: 2503.09502, pp.51 (March - June - December 2025)

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  40. [40]

    Turbiner and A.M

    A.V. Turbiner and A.M. Escobar-Ruiz, Two-body Coulomb problem and hiddeng (2) algebra: superintegrability and cubic polynomial algebra, J.Phys.: Conference Series,2667012075 (2023) 41

    work page 2023

  41. [41]

    Turbiner, J.C

    A.V. Turbiner, J.C. Lopez Vieyra, M.A. Guadarrama-Ayala, gl(3)polynomial integrable system: different faces of the 3-body/A 2 elliptic Calogero model, SIGMA20(2024) 012, 1-23 (in honor of Peter J. Olver’s 70th Birthday)

    work page 2024

  42. [42]

    del Olmo and A

    M.A. del Olmo and A. Romaniega, Classical and quantum superintegrable systems on the sphere and the hyperbolic 2-space, Acta Polytechnica65(5)520-533 (2025) 42

    work page 2025