Pith. sign in

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 →

arxiv 2608.12899 v1 pith:AO4KH2OM submitted 2026-08-13 math-ph math.MP

classification math-phmath.MP MSC 81R1233C4539A7081Q80
keywords superintegrablesystemsfinitediscretequantummodelsdualHahnpolynomialsalgebraSmorodinsky–WinternitzIladderoperatorscontinuumlimittriangularlattice
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 constructs a finite quantum system on a triangular region of the two-dimensional square lattice and claims it is a genuine discrete analogue of the Smorodinsky–Winternitz I superintegrable system. The Hamiltonian is a sum of two commuting finite-spectrum number operators, and the model is shown to be maximally superintegrable, with a symmetry algebra that admits a Hahn-algebra presentation. Its energy eigenfunctions are exactly the bivariate dual Hahn polynomials, and in a continuum limit the Hamiltonian, ladder operators, eigenfunctions, and symmetry algebra all reduce to those of the continuous Smorodinsky–Winternitz I system. A sympathetic reader would care because it extends the short list of finite lattice models that preserve maximal superintegrability and exact solvability rather than merely approximating continuous dynamics.

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)$.

Watch

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

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

  • 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.
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, and a circularity audit.

Referee Report

4 major / 4 minor

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)
  1. [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.
  2. [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.
  3. [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.
  4. [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)
  1. [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.
  2. [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.
  3. [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.
  4. [References] Reference [4] is cited as arXiv:XXXX.XXXXX; the placeholder should be updated before publication.

Circularity Check

0 steps flagged · score 0.0 of 10

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 0 free parameters · 4 assumptions · 0 invented entities

The central claim rests primarily on special-function theory (external) and on the asserted existence of explicit ladder operators satisfying (3.1). The latter is the only genuinely ad hoc assumption. The model parameters alpha1, alpha2, N are family inputs, not fitted constants, so no free parameters are listed. No invented entities (new forces, particles, dimensions) are introduced.

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).
    This is the central internal assumption. The paper asserts it as the solution of an inhomogeneous linear system but does not display the solving computation; every later claim (superintegrability, symmetry algebra, spectrum) depends on it.
  • standard math The bivariate dual Hahn polynomials of Tratnik type satisfy the difference equations (3.22) and orthogonality (3.21).
    Taken from Geronimo-Iliev [15] and Tratnik [30] and summarized in Appendix C; used to identify the energy eigenfunctions.
  • 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.
    These background results are invoked throughout for the limit computations and orthogonality.
  • 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).
    Remark 2.1: positivity of the weight (2.14) is required for the Hilbert space inner product and orthogonality.

how reviews work

0 comments
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

Figures reproduced from arXiv: 2608.12899 by the authors.

Figure 1
Figure 1. The discrete position space R(N) of (2.1), an isosceles right triangular region of side length N in the first quadrant of the (x1, x2)-plane (here N = 5). ensures that any vector state |ψ⟩ ∈ H admits the expansion |ψ⟩ = X (x1,x2)∈R(N) w(x1, x2)ψ(x1, x2)|x1, x2⟩, ⟨x1, x2|ψ⟩ = ψ(x1, x2). (2.5) For a linear operator O, its action on |ψ⟩ is given by O |ψ⟩ = X (x1,x2)∈R(N) w(x1, x2)Oψ(x1, x2)|x1, x2⟩, Oψ(x1, x2) = ⟨x1, x… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 8 canonical work pages

  1. [4]

    Pierre-Antoine Bernard, Vutha Vichhea Chea, and Luc Vinet,A discrete Smorodinsky– Winternitz II superintegrable system, arXiv:XXXX.XXXXX, 2026

  2. [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

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

  4. [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

  5. [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

  6. [6]

    15, L789–L794

    Charis Daskaloyannis,Generalized deformed oscillator and nonlinear algebras, Journal of Physics A: Mathematical and General24(1991), no. 15, L789–L794

  7. [7]

    3, 1100–1119

    ,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

  8. [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

Show all 31 references
  1. [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

  2. [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

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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [18]

    Plamen Iliev,Symmetry algebra for the generic superintegrable system on the sphere, Journal of High Energy Physics2018(2018), no. 2, 044. 19

  11. [19]

    Plamen Iliev and Yuan Xu,Hahn polynomials on polyhedra and quantum integrability, Advances in Mathematics364(2020), 107032

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [28]

    Ryu Sasaki,Multivariate Hahn polynomials and difference equations, arXiv:2305.09170, 2023

  21. [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

  22. [30]

    M. V. Tratnik,Some multivariable orthogonal polynomials of the Askey tableau—discrete families, Journal of Mathematical Physics32(1991), no. 9, 2337–2342

  23. [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

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.