The 2D Smorodinsky--Winternitz II system and the Laguerre--Heun algebra

Alexei Zhedanov; Luc Vinet; Vutha Vichea Chea

The 2D Smorodinsky--Winternitz II system and the Laguerre--Heun algebra

T0 review · 0 major / 3 minor · reviewed 2026-06-28 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The quadratic symmetry algebra of the 2D Smorodinsky-Winternitz II system coincides with a Laguerre-type confluent Heun algebra.

desk verdict The paper gives a direct, verifiable identification of the SW II quadratic algebra with the Laguerre-Heun algebra through explicit commutators on the separation operators. read the letter →

arxiv 2606.00903 v1 pith:HPDJENIA submitted 2026-05-30 math-ph math.MP

Vutha Vichea Chea , Luc Vinet , Alexei Zhedanov This is my paper · ORCID

classification math-phmath.MP

keywords Smorodinsky-WinternitzIIsystemLaguerre-HeunalgebraquadraticsymmetrysuperintegrablesystemsseparationofvariablesconfluentHeunCartesianparabolicintegral

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper shows that the operators obtained from separation of variables in the two-dimensional Smorodinsky-Winternitz II system obey the commutation relations that define the Laguerre-Heun algebra. The Cartesian separation operator Y is of Laguerre type while the parabolic integral W acts as its algebraic partner. Their commutator Z closes with Y and W under two explicit relations in which the Hamiltonian H remains central. A reader would care because the result supplies an explicit superintegrable quantum system that realizes the abstract algebra directly.

What carries the argument

The Laguerre-Heun algebra generated by the operators Y (Laguerre-type separation), W (parabolic integral), and their commutator Z under the two displayed commutation relations with central H.

What would settle it

Explicit operator computation of [Y,[Y,W]] and [W,[Y,W]] using the given expressions for Y and W, checking whether the results equal 16 omega squared W minus 2b Y and 6 Y squared minus 4 H Y plus 2b W plus 8 omega squared (1 minus c squared) respectively.

Watch

Extended reading notes

Core claim

The quadratic symmetry algebra of the two-dimensional Smorodinsky-Winternitz II system is identified with a Laguerre-type confluent Heun algebra. The complementary Cartesian separation operator Y equals the second-order differential operator partial_y squared minus omega squared y squared plus (1/4 minus c squared) over y squared. The parabolic integral W equals L_2. With Z defined as the commutator of Y and W, the operators satisfy [Y,Z] equals 16 omega squared W minus 2b Y and [W,Z] equals 6 Y squared minus 4 H Y plus 2b W plus 8 omega squared (1 minus c squared), where H is central. This supplies a direct superintegrable realization of the Laguerre-Heun algebra.

Load-bearing premise

The specific differential operators Y and W commute in such a way that their double commutators reproduce exactly the two right-hand sides given in the defining relations of the Laguerre-Heun algebra.

Editorial extensions

If this is right

The Smorodinsky-Winternitz II system supplies a direct superintegrable realization of the Laguerre-Heun algebra.
Separation in Cartesian coordinates produces the Laguerre-type operator Y.
Separation in parabolic coordinates produces the algebraic partner W.
The algebra is closed by the commutator Z with H acting as a central element.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same separation operators may be used to construct explicit eigenfunctions or recurrence relations for the system via the algebra generators.
Other two-dimensional superintegrable systems with quadratic algebras could be checked for similar identifications with confluent Heun or other Heun-type algebras.
The explicit differential-operator realization may allow transfer of known representation theory of the Laguerre-Heun algebra back to the quantum system.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The main takeaway is that the authors show the quadratic symmetry algebra of the 2D Smorodinsky-Winternitz II system is exactly a Laguerre-type confluent Heun algebra. They do this by taking the Cartesian separation operator Y and the parabolic integral W, forming Z from their commutator, and verifying the two commutation relations hold with the Hamiltonian H in the center.

This is new in the sense that it gives a direct superintegrable realization for this particular algebra inside a known quantum system. The paper does well by supplying the explicit forms of Y and W for the potential and walking through the operator algebra calculation. The stress-test confirms that the relations match without hidden assumptions or circularity.

There are no major soft spots. The derivation is a direct computation on the differential operators, so it is reproducible. One minor point is that the paper stays tightly focused on this identification, without exploring generalizations or other coordinate systems, but that is not a flaw for what it sets out to do.

Readers working on superintegrable systems and their algebraic structures will get value from the concrete example. It is the kind of result that fits in a specialized journal on mathematical physics.

I would recommend sending this to peer review. The central claim is grounded in explicit calculations that can be checked, and it adds a specific instance to the literature on these algebras.

Referee Report

0 major / 3 minor

Summary. The manuscript identifies the quadratic symmetry algebra of the two-dimensional Smorodinsky-Winternitz II superintegrable system with a Laguerre-type confluent Heun algebra. It exhibits the explicit Cartesian separation operator Y = ∂_y² - ω² y² + (1/4 - c²)/y² and the parabolic integral W = L_2, computes the commutator Z = [Y, W], and verifies that these operators satisfy the relations [Y, Z] = 16ω² W - 2b Y and [W, Z] = 6Y² - 4H Y + 2b W + 8ω²(1 - c²) with the Hamiltonian H central.

Significance. If the explicit verification holds, the work supplies a concrete superintegrable realization of the Laguerre-Heun algebra. This is useful for the algebraic study of superintegrable systems, as it furnishes an explicit differential-operator representation that can be used to explore representations, spectra, or separation of variables in related models.

minor comments (3)

The abstract presents the operators and relations without recalling the explicit form of the Smorodinsky-Winternitz II potential; adding one sentence on the potential V(x,y) would improve self-contained readability.
Notation: the parameters b and c appear in the relations but their origin in the potential or in the definition of W is not restated in the abstract; a parenthetical reminder would help.
The manuscript would benefit from an explicit statement (perhaps in §2 or §3) confirming that no additional closure assumptions beyond the direct commutator calculation are used.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript and the recommendation to accept.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; explicit commutator verification

full rationale

The derivation proceeds by defining the explicit differential operators Y (Cartesian separation) and W = L_2 (parabolic integral) for the given 2D Smorodinsky-Winternitz II potential, computing Z = [Y, W] directly, and verifying that the resulting commutators [Y, Z] and [W, Z] reproduce the two displayed relations with H central. This is a self-contained operator algebra calculation on the stated potential; no parameters are fitted, no ansatz is smuggled via citation, and the algebra identification rests on the explicit forms rather than on any self-definitional loop or load-bearing self-citation. The result is therefore independent of its inputs.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The central claim rests on the domain assumption that the SW II system admits the stated Cartesian operator Y of Laguerre type and that the parabolic integral W is its algebraic partner; no free parameters or invented entities are introduced in the abstract.

assumptions (1)

domain assumption The 2D Smorodinsky-Winternitz II system is separable in Cartesian and parabolic coordinates, with the complementary Cartesian separation operator Y of Laguerre type.
Stated directly in the abstract as the starting point for the algebraic identification.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The 2D Smorodinsky--Winternitz II system and the Laguerre--Heun algebra." pith.science (2026). https://pith.science/paper/HPDJENIA

@misc{pith2026260600903,
  author       = {Pith},
  title        = {Pith review of: The 2D Smorodinsky--Winternitz II system and the Laguerre--Heun algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HPDJENIA}},
  note         = {Machine review of arXiv:2606.00903}
}

abstract

We identify the quadratic symmetry algebra of the two-dimensional Smorodinsky--Winternitz II system with a Laguerre-type confluent Heun algebra. The system is separable in Cartesian and parabolic coordinates. The complementary Cartesian separation operator \[ Y=\partial_y^2-\omega^2y^2+\frac{1/4-c^2}{y^2} \] is of Laguerre type, while the parabolic integral \(W=L_2\) is its algebraic Heun partner. With \(Z=[Y,W]\), the defining relations are \[ [Y,Z]=16\omega^2W-2bY,\qquad [W,Z]=6Y^2-4HY+2bW+8\omega^2(1-c^2), \] where \(H\) is central. This gives a direct superintegrable realization of the Laguerre--Heun algebra.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

A discrete Smorodinsky--Winternitz II superintegrable system
math-ph 2026-08 conditional novelty 6.0 of 10

A triangular-lattice finite-difference model is constructed that is maximally superintegrable, exactly solvable by Krawtchouk and dual Hahn polynomials, and whose continuum limit reproduces the continuous Smorodinsky-...

Reference graph

Works this paper leans on

9 extracted references · 5 canonical work pages · cited by 1 Pith paper

[1]

Winternitz, Ya

P. Winternitz, Ya. A. Smorodinsky, M. Uhlir and I. Friš, Symmetry groups in classical and quantum mechanics,Yad. Fiz.4(1966), 625–635; English translation:Sov. J. Nucl. Phys.4(1967), 444–450

1966
[2]

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
[3]

Létourneau and L

P. Létourneau and L. Vinet, Superintegrable systems: polynomial algebras and quasi- exactly solvable Hamiltonians,Ann. Phys.243(1995), 144–168

1995
[4]

F. A. Grünbaum, L. Vinet and A. Zhedanov, Tridiagonalization and the Heun equa- tion,J. Math. Phys.58(2017), 031703,arXiv:1602.04840

work page Pith review arXiv 2017
[5]

Crampé, L

N. Crampé, L. Vinet and A. Zhedanov, Heun algebras of Lie type,Proc. Amer. Math. Soc.148(2020), 1079–1094,arXiv:1904.10643

work page arXiv 2020
[6]

The Heun operator of Hahn type

L. Vinet and A. Zhedanov, The Heun operator of Hahn-type,Proc. Amer. Math. Soc. 147(2019), 2987–2998,arXiv:1808.00153

work page Pith review arXiv 2019
[7]

Models of Quadratic Algebras Generated by Superintegrable Systems in 2D

S. Post, Models of quadratic algebras generated by superintegrable systems in 2D, SIGMA7(2011), 036, 20 pp.,arXiv:1104.0734. 10

work page Pith review arXiv 2011
[8]

Koekoek, P

R. Koekoek, P. A. Lesky and R. F. Swarttouw,Hypergeometric Orthogonal Polyno- mials and Theirq-Analogues, Springer Monographs in Mathematics, Springer, Berlin, 2010

2010

Show all 9 references

[9]

Crampé, Q

N. Crampé, Q. Labriet, L. Morey, S. Tsujimoto, L. Vinet, A. Zhedanov,The dynamical algebra of the generic superintegrable model on the two-spherearXiv:2604.26122. 11

arXiv

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.

[1] [1]

Winternitz, Ya

P. Winternitz, Ya. A. Smorodinsky, M. Uhlir and I. Friš, Symmetry groups in classical and quantum mechanics,Yad. Fiz.4(1966), 625–635; English translation:Sov. J. Nucl. Phys.4(1967), 444–450

1966

[2] [2]

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

[3] [3]

Létourneau and L

P. Létourneau and L. Vinet, Superintegrable systems: polynomial algebras and quasi- exactly solvable Hamiltonians,Ann. Phys.243(1995), 144–168

1995

[4] [4]

F. A. Grünbaum, L. Vinet and A. Zhedanov, Tridiagonalization and the Heun equa- tion,J. Math. Phys.58(2017), 031703,arXiv:1602.04840

work page Pith review arXiv 2017

[5] [5]

Crampé, L

N. Crampé, L. Vinet and A. Zhedanov, Heun algebras of Lie type,Proc. Amer. Math. Soc.148(2020), 1079–1094,arXiv:1904.10643

work page arXiv 2020

[6] [6]

The Heun operator of Hahn type

L. Vinet and A. Zhedanov, The Heun operator of Hahn-type,Proc. Amer. Math. Soc. 147(2019), 2987–2998,arXiv:1808.00153

work page Pith review arXiv 2019

[7] [7]

Models of Quadratic Algebras Generated by Superintegrable Systems in 2D

S. Post, Models of quadratic algebras generated by superintegrable systems in 2D, SIGMA7(2011), 036, 20 pp.,arXiv:1104.0734. 10

work page Pith review arXiv 2011

[8] [8]

Koekoek, P

R. Koekoek, P. A. Lesky and R. F. Swarttouw,Hypergeometric Orthogonal Polyno- mials and Theirq-Analogues, Springer Monographs in Mathematics, Springer, Berlin, 2010

2010