REVIEW 4 major objections 4 minor 31 references
A discrete Smorodinsky--Winternitz I superintegrable system
T0 review · 4 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read A finite lattice model of the Smorodinsky–Winternitz I system is constructed, is shown to be maximally superintegrable, is solved exactly in dual Hahn polynomials, and its continuum limit returns the continuous system.
desk verdict First credible finite discrete SW I construction with Tratnik dual Hahn solutions and Hahn algebra; central ladder-operator identities are asserted rather than demonstrated, making the result conditional on one algebraic check. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is a pair of commuting number operators $N_1,N_2$ with finite spectra, built as finite-difference operators on the triangular region $R(N)$. Their difference representation is chosen so that the number operators are self-adjoint with respect to a positive local weight function; the Hamiltonian is $H=N_1+N_2+(\alpha_1+\alpha_2)/2+1$. Ladder operators $a_i,a_i^\dagger$ are posited to satisfy $[N_i,a_j]=-\delta_{ij}a_j$ and $[N_i,a_j^\dagger]=\delta_{ij}a_j^\dagger$, and are exhibited in factorized form as products of contiguity operators that shift the parameters $(\alpha_1,\alpha_2,N)$. The mode-dependent structure functions computed from these ladder operators then yield the symmetry algebra and the exact spectrum.
What would settle it
Compute the matrix elements of $[N_i,a_j]+\delta_{ij}a_j$ on every position eigenstate in $R(N)$ for a small size such as $N=2$ and generic parameters $\alpha_1,\alpha_2$, using the explicit Appendix A coefficients; any nonzero entry shows the central ladder relations fail. A lighter check is to verify the three structure-function identities term by term as operator identities on $R(N)$.
Extended reading notes
Core claim
The central claim is that the operator pair defining the number operators, together with the explicitly constructed ladder operators, defines a maximally superintegrable model on the triangular region. The paper proves maximal superintegrability by exhibiting three algebraically independent integrals of motion whose algebra closes as a cubic algebra with a Daskaloyannis-type Casimir and, after a transformation, as a Hahn algebra. It solves the spectral problem explicitly: the simultaneous eigenfunctions are bivariate dual Hahn polynomials, the weight function makes them orthonormal, and the ladder operators realize the finite spectrum on the triangular index set $n_1+n_2\le N$. Finally, the continuum limit under a rescaling and a gauge transformation recovers the continuous Smorodinsky–Winternitz I system, its Laguerre eigenfunctions, and its symmetry algebra, establishing the discrete model as a genuine finite realization rather than a finite-difference approximation.
Load-bearing premise
The load-bearing unstated step is that the explicit ladder-operator coefficients of Appendix A satisfy the commutation relations and yield the stated structure functions; the entire superintegrability, symmetry algebra, and spectrum depend on it.
Editorial extensions
If this is right
- The model's finite Hilbert space has a complete orthonormal basis labeled by $(n_1,n_2)$ with $n_1+n_2\le N$, and every energy level is explicitly known.
- The ladder operators give a finite irreducible realization of the dynamical algebra and enforce the triangular support of the spectrum: $a_i$ annihilates at $n_i=0$ and $a_i^\dagger$ annihilates at $n_1+n_2=N$.
- The symmetry algebra of the discrete model is a cubic algebra with a Daskaloyannis-type Casimir, and after a change of generators it becomes a Hahn algebra.
- In the continuum limit, the discrete Hamiltonian, ladder operators, and eigenfunctions converge to the continuous Smorodinsky–Winternitz I system with Laguerre eigenfunctions, and the discrete symmetry algebra converges to $SW_I(2)$.
- The resulting system is a genuine finite realization of the continuous model, not merely a finite-difference approximation of its equations of motion.
Reading between the lines
- If the ladder-operator construction is robust, the same pair-of-commuting-number-operators strategy could produce finite discrete models for other superintegrable systems whose symmetry algebras admit polynomial presentations, replacing dual Hahn polynomials with another Askey-scheme family; this is an extension the paper does not claim.
- The complicated coefficient identities in Appendix A may be consequences of a general factorization theorem for contiguity operators on triangular lattices; finding such a theorem would give a compact proof of the commutation relations and likely open the way to $q$-analogues and higher rank.
- A direct numerical or symbolic check for small $N$ would independently confirm the one unstated algebraic step, making the model a convenient testbed for finite superintegrability before any large-scale analytic use.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper constructs a finite discrete analogue of the two-dimensional Smorodinsky–Winternitz I superintegrable system on a triangular subset of the square lattice. The Hamiltonian is defined as the sum of two commuting, explicitly given number operators N1,N2 with a local weight function, and the paper then exhibits ladder operators in factorized form with coefficients listed in Appendix A. The authors claim that these operators satisfy the commutation relations (3.1) and produce the mode-dependent structure functions (3.7), from which they derive maximal superintegrability, a cubic symmetry algebra with a Hahn-algebra presentation, and an exact solution in terms of bivariate dual Hahn polynomials of Tratnik type. The final section takes a continuum limit and claims to recover the continuous Smorodinsky–Winternitz I system, including its Hamiltonian, Laguerre eigenfunctions, and symmetry algebra.
Significance. The paper is a serious contribution to the program of constructing finite discrete superintegrable systems that retain the full algebraic structure of their continuous counterparts. Its strengths are the explicit nature of the construction—Hamiltonian, weight function, ladder coefficients, and eigenfunctions are all written out—and the fact that no parameters are fitted; the continuum limit is checked against the known continuous SW I system. If the asserted algebraic identities are correct, the paper yields a new exactly solvable finite model with a Hahn algebra and a nontrivial continuum limit, extending earlier work on the finite oscillator with SU(2) symmetry to another member of the Smorodinsky–Winternitz family. The main weakness is that several load-bearing identities are not demonstrated in the text and are only stated as results of direct computation.
major comments (4)
- [Sec. 3.1, Eqs. (3.1)–(3.7) and Appendix A] The central claim that the factorized ladder operators with the coefficients in Appendix A satisfy the commutation relations (3.1) and yield the structure functions (3.7) is asserted after the remark that the commutation relations 'translate into an inhomogeneous linear system'; neither the solving computation nor a consistency check is shown. All downstream results—the bounded spectrum and action (3.19), the dynamical algebra (3.8), the commutativity [H,Ci]=0, and hence maximal superintegrability—depend on this identity. Please include a derivation or a computer-algebra verification for all (x1,x2) in R(N) and all admissible N and alpha_i, or provide a supplementary artifact that can be checked independently.
- [Sec. 3.2, Eqs. (3.11)–(3.14)] The cubic algebra (3.11) and the Casimir operator (3.13)–(3.14) are stated as results of 'a direct computation' with no intermediate steps. These identities are load-bearing for the advertised Hahn-algebra presentation of the symmetry algebra and for the claimed structure constants in (3.12). Please provide the computation or an independent verification, since a single algebraic error here would invalidate the symmetry-algebra claims.
- [Sec. 3.2, paragraph containing (3.9)] The operators H, C1, and C2 are called 'algebraically independent' without proof. Maximal superintegrability requires algebraic independence of the integrals, so this is not a terminological detail. Please provide a short proof or a reference that establishes the independence in the symmetry algebra generated by the discrete model.
- [Sec. 3.3, Eq. (C.13), and Sec. 4, Eqs. (4.5), (4.12)–(4.15)] Several limit computations that are central to the advertised results are asserted rather than shown. The identification of N1 and N2 with the Tratnik difference operators in (C.13) and the continuum limits of the number and ladder operators in (4.5) and (4.12)–(4.15) involve rational coefficients with overlapping shift supports, and the text gives no intermediate expansion. Because these limits are used to claim exact solvability and the recovery of the continuous SW I system, please display the computations or provide a reproducible script that verifies them.
minor comments (4)
- [Eq. (2.7)] The adjoint relation is written as sum w phi* O psi = sum w O† phi* psi, which suggests that O† acts on phi* rather than on phi. The standard form would involve (O† phi)*; please clarify the notation.
- [Remark 2.1] The claim that alpha_i > -1 guarantees strict positivity of the weight in (2.14) is plausible but not demonstrated; a short verification of the positivity of the Gamma ratios in (2.14) would be helpful.
- [Sec. 4, paragraph after Eq. (4.4)] The change of variables x -> x^2/2 is ambiguous because the new variable is apparently still denoted x in (4.12)–(4.15). Please introduce a new symbol or state explicitly that the old coordinate is being replaced.
- [References] Reference [4] is cited as arXiv:XXXX.XXXXX; the placeholder should be updated before publication.
Circularity Check
No significant circularity: the discrete model is constructed from known dual-Hahn difference operators and validated against the external continuous Smorodinsky–Winternitz I system; no fitted constants or load-bearing self-citations.
full rationale
The paper's derivation chain is not circular. The discrete Hamiltonian (2.8)–(2.9) is explicitly built from difference operators N1 and N2, and Appendix C identifies these operators with the Tratnik bivariate dual-Hahn difference operators through the limit relations (C.13). Exact solvability is therefore a designed property of the construction rather than a fitted prediction, and the paper openly states that the position space is 'adapted to the dual Hahn structure' (Section 2). This is a legitimate construction strategy, not a circular derivation. Maximal superintegrability rests on the asserted ladder-operator identities (3.1), (3.7), and (3.14); these are large unverified algebraic computations, but they are not derived from the target conclusion and no parameters are fitted to data. The continuum limit in Section 4 is checked against the published continuous Smorodinsky–Winternitz I system [26], its normalized Laguerre eigenfunctions, and its symmetry algebra — an external benchmark independent of the present model. Self-citations such as [4], [5], [11], [12], and [25] are contextual or methodological and do not carry the derivation: the load-bearing comparisons are to independent literature, namely [15], [30], and [26]. The only substantive concern is the unshown verification of the Appendix A coefficients and the identities (3.7) and (3.14), which is a correctness or proof-gap issue rather than circularity.
Assumptions & free parameters
assumptions (4)
- ad hoc to paper The ladder operators (3.3) with coefficients in Appendix A satisfy the commutation relations (3.1) and yield structure functions (3.7).
- standard math The bivariate dual Hahn polynomials of Tratnik type satisfy the difference equations (3.22) and orthogonality (3.21).
- standard math Standard hypergeometric identities (B.1)-(B.4), Laguerre properties (B.5)-(B.8), dual Hahn (B.9), and Racah (B.10)-(B.11) hold.
- domain assumption The parameters alpha1, alpha2 satisfy alpha_i > -1 and N is a positive integer; these ensure a strictly positive weight function on R(N).
Cite this review
Pith. "Pith review of A discrete Smorodinsky--Winternitz I superintegrable system." pith.science (2026). https://pith.science/paper/AO4KH2OM
@misc{pith2026260812899,
author = {Pith},
title = {Pith review of: A discrete Smorodinsky--Winternitz I superintegrable system},
year = {2026},
howpublished = {\url{https://pith.science/paper/AO4KH2OM}},
note = {Machine review of arXiv:2608.12899}
}
read the original abstract
We construct a finite discrete realization of the Smorodinsky--Winternitz I superintegrable system on a triangular region of the two-dimensional square lattice. The construction is based on a pair of commuting number operators with finite spectrum together with an associated ladder-operator structure. We show that the resulting model is maximally superintegrable and that its symmetry algebra admits a Hahn-algebra presentation. Its spectral problem is solved exactly in terms of the bivariate dual Hahn polynomials of Tratnik type. Finally, we show that the continuum limit recovers the continuous Smorodinsky--Winternitz I system together with its ladder operators, eigenfunctions and symmetry algebra, thereby establishing the present construction as a genuine finite discrete realization of the continuous model.
Figures
Reference graph
Works this paper leans on
-
[4]
Pierre-Antoine Bernard, Vutha Vichhea Chea, and Luc Vinet,A discrete Smorodinsky– Winternitz II superintegrable system, arXiv:XXXX.XXXXX, 2026
work page 2026
-
[1]
Arthamonov and N
S. Arthamonov and N. Reshetikhin,Superintegrable systems on moduli spaces of flat con- nections, Communications in Mathematical Physics386(2021), no. 3, 1337–1381
2021
-
[2]
N. M. Atakishiyev, G. S. Pogosyan, L. E. Vicent, and K. B. Wolf,Finite two-dimensional oscillator: I. The Cartesian model, Journal of Physics A: Mathematical and General34 (2001), no. 44, 9381–9398. 18
work page 2001
-
[3]
The radial model, Journal of Physics A: Mathematical and General34(2001), no
,Finite two-dimensional oscillator: II. The radial model, Journal of Physics A: Mathematical and General34(2001), no. 44, 9399–9415
2001
-
[5]
Nicolas Cramp´ e, Lucia Morey, Luc Vinet, and Meri Zaimi,Contiguity relations for fi- nite families of orthogonal polynomials in the Askey scheme, The Ramanujan Journal68 (2025), 68, arXiv:2504.20802
arXiv 2025
-
[6]
15, L789–L794
Charis Daskaloyannis,Generalized deformed oscillator and nonlinear algebras, Journal of Physics A: Mathematical and General24(1991), no. 15, L789–L794
1991
-
[7]
,Quadratic Poisson algebras of two-dimensional classical superintegrable systems and quadratic associative algebras of quantum superintegrable systems, Journal of Mathe- matical Physics42(2001), no. 3, 1100–1119
work page 2001
-
[8]
Hendrik De Bie, Vincent X. Genest, Jean-Michel Lemay, and Luc Vinet,A superintegrable model with reflections onS n−1 and the higher rank Bannai–Ito algebra, Journal of Physics A: Mathematical and Theoretical50(2017), no. 19, 195202
2017
Show all 31 references
-
[9]
14, 1531–1535
Luc Frappat, Julien Gaboriaud, Luc Vinet, St´ ephane Vinet, and Alexei Zhedanov,The Higgs and Hahn algebras from a Howe duality perspective, Physics Letters A383(2019), no. 14, 1531–1535
2019
-
[10]
Friˇ s, V
J. Friˇ s, V. Mandrosov, Ya. A. Smorodinsky, M. Uhl´ ıˇ r, and P. Winternitz,On higher symmetries in quantum mechanics, Physics Letters16(1965), no. 3, 354–356
1965
-
[11]
Genest, Jessica Lemieux, and Luc Vinet,A superintegrable discrete oscillator and two-variable Meixner polynomials, Journal of Physics A: Mathe- matical and Theoretical48(2015), no
Julien Gaboriaud, Vincent X. Genest, Jessica Lemieux, and Luc Vinet,A superintegrable discrete oscillator and two-variable Meixner polynomials, Journal of Physics A: Mathe- matical and Theoretical48(2015), no. 41, 415202
2015
-
[12]
Genest, Hiroshi Miki, Luc Vinet, and Guo-Fu Yu,A superintegrable discrete harmonic oscillator based on bivariate Charlier polynomials, Physics of Atomic Nuclei80 (2017), no
Vincent X. Genest, Hiroshi Miki, Luc Vinet, and Guo-Fu Yu,A superintegrable discrete harmonic oscillator based on bivariate Charlier polynomials, Physics of Atomic Nuclei80 (2017), no. 4, 794–800
2017
-
[13]
Genest and Luc Vinet,The multivariate Hahn polynomials and the singular oscillator, Journal of Physics A: Mathematical and Theoretical47(2014), no
Vincent X. Genest and Luc Vinet,The multivariate Hahn polynomials and the singular oscillator, Journal of Physics A: Mathematical and Theoretical47(2014), no. 45, 455201
2014
-
[14]
Genest, Luc Vinet, and Alexei Zhedanov,Superintegrability in two dimensions and the Racah–Wilson algebra, Letters in Mathematical Physics104(2014), no
Vincent X. Genest, Luc Vinet, and Alexei Zhedanov,Superintegrability in two dimensions and the Racah–Wilson algebra, Letters in Mathematical Physics104(2014), no. 8, 931– 952
2014
-
[15]
Geronimo and Plamen Iliev,Bispectrality of multivariable Racah–Wilson poly- nomials, Constructive Approximation31(2010), no
Jeffrey S. Geronimo and Plamen Iliev,Bispectrality of multivariable Racah–Wilson poly- nomials, Constructive Approximation31(2010), no. 3, 417–457
2010
-
[16]
Ya. I. Granovskii, I. M. Lutzenko, and A. S. Zhedanov,Mutual integrability, quadratic algebras, and dynamical symmetry, Annals of Physics217(1992), no. 1, 1–20
1992
-
[17]
R. C. Griffiths,Orthogonal polynomials on the multinomial distribution, Australian Jour- nal of Statistics13(1971), no. 1, 27–35, Corrigenda:ibid.14(1972), 270
1971
-
[18]
Plamen Iliev,Symmetry algebra for the generic superintegrable system on the sphere, Journal of High Energy Physics2018(2018), no. 2, 044. 19
2018
-
[19]
Plamen Iliev and Yuan Xu,Hahn polynomials on polyhedra and quantum integrability, Advances in Mathematics364(2020), 107032
2020
-
[20]
E. G. Kalnins, W. Miller, Jr., and S. Post,Wilson polynomials and the generic superin- tegrable system on the 2-sphere, Journal of Physics A: Mathematical and Theoretical40 (2007), no. 38, 11525–11538
2007
-
[21]
Kalnins, Willard Miller, Jr., and Sarah Post,Two-variable Wilson polynomials and the generic superintegrable system on the 3-sphere, SIGMA
Ernie G. Kalnins, Willard Miller, Jr., and Sarah Post,Two-variable Wilson polynomials and the generic superintegrable system on the 3-sphere, SIGMA. Symmetry, Integrability and Geometry: Methods and Applications7(2011), 051
2011
-
[22]
Lesky, and Ren´ e F
Roelof Koekoek, Peter A. Lesky, and Ren´ e F. Swarttouw,Hypergeometric orthogonal polynomials and theirq-analogues, Springer Monographs in Mathematics, Springer, Berlin, 2010
2010
-
[23]
1, 144–168
Pascal L´ etourneau and Luc Vinet,Superintegrable systems: polynomial algebras and quasi- exactly solvable Hamiltonians, Annals of Physics243(1995), no. 1, 144–168
1995
-
[24]
Ian Marquette,Superintegrability with third order integrals of motion, cubic algebras, and supersymmetric quantum mechanics. I. Rational function potentials, Journal of Mathe- matical Physics50(2009), no. 1, 012101
2009
-
[25]
12, 125207
Hiroshi Miki, Sarah Post, Luc Vinet, and Alexei Zhedanov,A superintegrable finite oscil- lator in two dimensions with SU(2) symmetry, Journal of Physics A: Mathematical and Theoretical46(2013), no. 12, 125207
2013
-
[26]
42, 423001
Willard Miller, Jr., Sarah Post, and Pavel Winternitz,Classical and quantum superinte- grability with applications, Journal of Physics A: Mathematical and Theoretical46(2013), no. 42, 423001
2013
-
[27]
Reshetikhin,Degenerately integrable systems, Journal of Mathematical Sciences213 (2016), no
N. Reshetikhin,Degenerately integrable systems, Journal of Mathematical Sciences213 (2016), no. 5, 769–785, Translated from Zap. Nauchn. Sem. POMI433(2015), 224–245; arXiv:1509.00730
2016 arXiv
-
[28]
Ryu Sasaki,Multivariate Hahn polynomials and difference equations, arXiv:2305.09170, 2023
2023 arXiv
-
[29]
Turbiner, and Pavel Winternitz,Exact solvability of superintegrable systems, Journal of Mathematical Physics42(2001), no
Piergiulio Tempesta, Alexander V. Turbiner, and Pavel Winternitz,Exact solvability of superintegrable systems, Journal of Mathematical Physics42(2001), no. 9, 4248–4257
2001
-
[30]
M. V. Tratnik,Some multivariable orthogonal polynomials of the Askey tableau—discrete families, Journal of Mathematical Physics32(1991), no. 9, 2337–2342
1991
-
[31]
Winternitz, Ya
P. Winternitz, Ya. A. Smorodinsky, M. Uhl´ ıˇ r, and I. Friˇ s,Symmetry groups in classical and quantum mechanics, Soviet Journal of Nuclear Physics4(1967), 444–450, English translation of Yad. Fiz.4(1966), 625–635. 20
1967
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.