Tremblay-Turbiner-Winternitz (TTW) system at integer index k: polynomial algebras of integrals
Pith reviewed 2026-05-23 00:26 UTC · model grok-4.3
The pith
For the TTW system at any integer k the Hamiltonian together with two integrals and their commutator generate a polynomial algebra of order k+1.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
It is conjectured that for any integer k the Hamiltonian H, two integrals I1,2 and their commutator I12 are four generating elements of the polynomial algebra of integrals of the order (k+1): [I1,I12]=P_{k+1}(H,I1,2,I12), [I2,I12]=Q_{k+1}(H,I1,2,I12) with P and Q polynomials of degree k+1. This structure is linked to a hidden algebra g^(k) that possesses finite-dimensional representation spaces as invariant subspaces, and explicit checks for k=1,2,3,4 confirm both the polynomial relations and the presence of g^(k). The conjecture asserts that the polynomial algebra of integrals is a subalgebra of g^(k) and that the pattern continues without modification for all positive integers k.
What carries the argument
The four generators H, I1, I2, I12 of the polynomial algebra of order k+1, together with the hidden algebra g^(k) whose finite-dimensional representations furnish the invariant subspaces.
If this is right
- The commutators of the integrals close inside the span of ordered monomials of total degree at most k+1 in the four generators.
- The complete algebra of all integrals of the TTW system is realized as a subalgebra inside the hidden algebra g^(k).
- Finite-dimensional representations of g^(k) supply the invariant subspaces needed for exact solvability at every integer k.
- The same four-element generating set works uniformly for the entire infinite family indexed by k.
Where Pith is reading between the lines
- A uniform algebraic construction might now be used to produce the integrals for arbitrary k without case-by-case computation.
- The same hidden-algebra mechanism could be tested on other families of superintegrable systems that separate in polar coordinates.
- If the conjecture holds, the dimension of the space of integrals of a given degree would be controlled by the representation theory of g^(k).
Load-bearing premise
The pattern of polynomial relations and the existence of the hidden algebra g^(k) observed by explicit computation for k=1,2,3,4 continues to hold without modification or exceptions for every positive integer k.
What would settle it
An explicit calculation for k=5 in which the commutator [I1,I12] cannot be expressed as any polynomial of degree 6 in the ordered monomials of H, I1, I2, I12 would disprove the conjecture.
read the original abstract
An infinite 3-parametric family of superintegrable and exactly-solvable quantum models on a plane, admitting separation of variables in polar coordinates, marked by integer index $k$ was introduced in Journ Phys A 42 (2009) 242001 and was called in literature the TTW system. In this paper it is conjectured that the Hamiltonian and both integrals of TTW system have hidden algebra $g^{(k)}$ - it was checked for $k=1,2,3,4$ - having its finite-dimensional representation spaces as the invariant subspaces. It is checked that for $k=1,2,3,4$ that the Hamiltonian $H$, two integrals ${\cal I}_{1,2}$ and their commutator ${\cal I}_{12} = [{\cal I}_1,{\cal I}_2]$ are four generating elements of the polynomial algebra of integrals of the order $(k+1)$: $[{\cal I}_1,{\cal I}_{12}] = P_{k+1}(H, {\cal I}_{1,2},{\cal I}_{12})$, $[{\cal I}_2,{\cal I}_{12}] = Q_{k+1}(H, {\cal I}_{1,2},{\cal I}_{12})$, where $P_{k+1},Q_{k+1}$ are polynomials of degree $(k+1)$ written in terms of ordered monomials of $H, {\cal I}_{1,2},{\cal I}_{12}$. This implies that polynomial algebra of integrals is subalgebra of $g^{(k)}$. It is conjectured that all is true for any integer $k$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript conjectures that for the TTW superintegrable system with integer index k the Hamiltonian H, integrals I1 and I2, and their commutator I12 are four generating elements of a polynomial algebra of integrals of order (k+1), satisfying [I1,I12]=P_{k+1}(H,I1,I2,I12) and [I2,I12]=Q_{k+1}(H,I1,I2,I12) with P_{k+1},Q_{k+1} polynomials of degree k+1 in ordered monomials. It further conjectures that these elements generate a hidden algebra g^{(k)} whose finite-dimensional representations are invariant subspaces and that the polynomial algebra is a subalgebra of g^{(k)}. Both statements are verified by direct symbolic computation for k=1,2,3,4 and asserted to hold for every positive integer k.
Significance. If the conjecture holds it would supply a uniform algebraic description of the integrals for the entire TTW family and relate them to a hidden algebra g^{(k)}, which could aid classification of superintegrable systems and spectral analysis. The explicit commutator calculations for k=1–4 constitute concrete, machine-verifiable evidence for the polynomial relations in those cases and are a clear strength of the work.
major comments (1)
- Abstract (final sentence) and concluding paragraph: the claim that the structure holds for arbitrary integer k is supported solely by explicit verification for k=1,2,3,4; this limited base is load-bearing for the general statement and leaves open the possibility that the pattern of relations or the hidden algebra g^{(k)} fails to persist for larger k. A concrete test (e.g., the commutator calculation for k=5) or an inductive argument would be required to elevate the conjecture beyond the checked cases.
minor comments (2)
- The explicit forms of the polynomials P_{k+1} and Q_{k+1} are referenced but not displayed; including at least the lowest-order cases (k=1) in the main text would improve clarity.
- Notation for the ordered monomials in the polynomial algebra is used without a dedicated definition paragraph; a short notational summary would reduce ambiguity.
Simulated Author's Rebuttal
We thank the referee for their thorough review and for recognizing the significance of the explicit computations for k=1 to 4. We address the major comment below.
read point-by-point responses
-
Referee: [—] Abstract (final sentence) and concluding paragraph: the claim that the structure holds for arbitrary integer k is supported solely by explicit verification for k=1,2,3,4; this limited base is load-bearing for the general statement and leaves open the possibility that the pattern of relations or the hidden algebra g^{(k)} fails to persist for larger k. A concrete test (e.g., the commutator calculation for k=5) or an inductive argument would be required to elevate the conjecture beyond the checked cases.
Authors: The manuscript presents the general statement explicitly as a conjecture, verified computationally for k=1,2,3,4. We do not assert a proof for arbitrary k but observe that the polynomial relations and the hidden algebra structure hold consistently in the checked cases, suggesting the pattern persists. We agree that a general proof or additional verification would be valuable. However, extending the symbolic computation to k=5 involves significantly higher computational complexity due to the increasing degree of the polynomials, which was beyond the scope of the present work. We will revise the abstract and concluding paragraph to more explicitly highlight that the general case is conjectural and based on the observed pattern for small k. revision: partial
- Providing an inductive argument or explicit verification for k=5 to prove the conjecture for arbitrary k.
Circularity Check
No significant circularity
full rationale
The paper frames its central result explicitly as a conjecture, supported by direct symbolic commutator calculations for the finite cases k=1,2,3,4. No load-bearing step reduces by definition, by renaming a fitted input as a prediction, or by a self-citation chain whose cited result itself depends on the present claim. The 2009 reference is used only to introduce the Hamiltonian family; the polynomial-algebra structure and hidden algebra g^(k) are verified independently in the checked cases and then conjectured to persist. This is the normal, non-circular pattern for an explicit-computation-plus-conjecture manuscript.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The operators H, I1, I2 satisfy the stated commutation relations that close into a polynomial algebra of degree k+1.
invented entities (1)
-
hidden algebra g^(k)
no independent evidence
Forward citations
Cited by 1 Pith paper
-
Quantum two-dimensional superintegrable systems in flat space: exact-solvability, hidden algebra, polynomial algebra of integrals
Review confirms exact solvability, algebraic forms, hidden Lie algebras, and polynomial integral algebras for six 2D superintegrable systems including Smorodinsky-Winternitz, Fokas-Lagerstrom, Calogero-Wolfes, and TTW models.
Reference graph
Works this paper leans on
-
[1]
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 Phys.A42(2009) 242001 (10 pp), math-ph arXiv:0904.0738v4 (extended)
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[2]
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, 1420-1424 (1974)
work page 1974
-
[3]
Calogero, Solution of a three-body problem in one dimension, J
F. Calogero, Solution of a three-body problem in one dimension, J. Math. Phys.10, 2191–2196 (1969) 22
work page 1969
-
[4]
M.A. Olshanetsky and A. M. Perelomov, Quantum completely integrable systems connected with semi-simple Lie algebras, Lett. Math. Phys.2(1977) 7–13
work page 1977
-
[5]
M.A. Olshanetsky and A.M. Perelomov, Quantum integrable systems related to Lie algebras, Phys. Repts.94(1983) 313-393
work page 1983
-
[6]
J.C. L´ opez Vieyra and A.V. Turbiner, Wolfes model akaG 2/I6-rational integrable model:g (2), g(3) hidden algebras and quartic poly- nomial algebra of integrals, J. Math. Phys.65, 051702 (2024)
work page 2024
-
[7]
A.V. Turbiner, colloquium talk to the memory of Willard Miller Jr, given at Universidad Complutense de Madrid, June 6, 2024
work page 2024
-
[8]
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
-
[9]
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
-
[10]
M. Rosenbaum, A.V. Turbiner and A. Capella, Solvability of theG 2 integrable system, Intern.Journ.Mod.Phys.A13(1998), 3885-3904
work page 1998
-
[11]
K.G. Boreskov, A.V. Turbiner and J.C. L´ opez Vieyra Solvability of the Hamiltonians Related to Exceptional Root Spaces: Rational Case, Comm Math. Phys260, 17 (2005)
work page 2005
-
[12]
A.V. Turbiner, From quantumA N (Sutherland) toE 8 trigonometric model: space-of-orbits view, SIGMA9, 003 (2013)
work page 2013
-
[13]
Lie, Theorie der Transformationsgruppen, Math
S. Lie, Theorie der Transformationsgruppen, Math. Ann.16(1880) 441-528;Gesammelte Abhandlungen, vol.6 23 (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
-
[14]
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
-
[15]
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
work page 1994
-
[16]
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
-
[17]
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
-
[18]
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
- [19]
-
[20]
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
-
[21]
Evans, Group theory of the Smorodinsky-Winternitz system, J
N.W. Evans, Group theory of the Smorodinsky-Winternitz system, J. Math. Phys.32, 3369-3375 (1991)
work page 1991
-
[22]
P. Tempesta, A. Turbiner and P. Winternitz, Exact Solvability of Superintegrable Systems, J. Math. Phys.424248-4257 (2001) 24
work page 2001
-
[23]
S. Post, Models of Quadratic Algebras Generated by Superintegrable Systems in 2D, SIGMA7, 036 (2011) (20 pp.)
work page 2011
-
[24]
F. Tremblay, A.V. Turbiner and P. Winternitz, Periodic orbits for an infinite family of classical superintegrable systems, Journal of PhysicsA43015202 (2010) 25 Appendix A: TTW atk= 3: the second integralI 2 coefficients, see (36) Non-vanishing coefficients for the integralI 2 of TTW atk= 3, defined in (36): C (2) 0,1 =−1296(2a+ 1)(2b+ 1)(a+b+ 2)(3a+ 3b+ ...
work page 2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.