{"id":"37ab870f-6224-4f57-81f7-0088665aead1","arxiv_id":"2608.12899","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A finite discrete realization of the Smorodinsky-Winternitz I superintegrable system is constructed, solved exactly by bivariate dual Hahn polynomials, and shown to have a continuum limit that recovers the continuous model.","lead":"This paper constructs a new quantum system on a triangular lattice that exactly mimics a well-known continuous system called Smorodinsky-Winternitz I, including its symmetries and energy levels. A generalist might read it as an example of how exact mathematical structures can survive discretization on finite grids.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Ladder-operator identities (3.1), (3.7), and (3.14) are asserted from Appendix A with no derivation or machine check; a single mistyped coefficient would invalidate superintegrability, the spectrum, and the continuum limit.","rationale":"The reader's weakest assumption matches my own: the explicit ladder operators are the linchpin of the paper. I checked the surrounding structure for independent sources of worry; the continuum limit section is internally consistent, the claimed Laguerre limits are plausible, and the symmetry algebra after (3.15) is a standard Hahn presentation. The concern is not that the result disagrees with consensus or that a citation is missing, but that the paper's core algebraic step is presented as 'direct computation' with no verifiable trace. This is a correctness risk, not a stylistic one, and the paper itself explicitly says the coefficients are deferred and the computation not shown. Because all downstream claims are consequences, the verdict CONDITIONAL is appropriate. I found no additional objection that would move it to REJECT or UNVERDICTED: the construction is explicit enough that a targeted finite check would resolve the uncertainty.","tokens_in":859,"tokens_out":849,"duration_ms":109332,"concrete_test":"Use a computer algebra system to test all load-bearing identities exactly on a finite family of lattices: take N=2,3,4,5 and several rational parameter values (including alpha_i in (-1,0) and alpha_2=0, where some coefficients in Section 2 and Appendix A have zero denominators), construct the matrices of N1,N2 from (2.9)-(2.11), a1,a2 and their adjoints from (A.1)-(A.4), and verify entrywise: (i) [N_i,a_j]+delta_ij a_j=0; (ii) the three lines of (3.7); (iii) [H,C_i]=0 and the Casimir relation (3.14). If any residual is nonzero, identify the failed identity and repair the coefficient. If all pass for these N, the main structural claim is supported; a fully general proof would still be desirable.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The construction's full weight rests on the assertion that the explicit finite-difference operators (3.3)-(3.5) with the Appendix A coefficients satisfy (3.1) and produce the mode-dependent structure functions (3.7), and that the Casimir (3.14) follows. These are the only links between the complicated N_i formulas of (2.9)-(2.11) and every later result: maximal superintegrability via [H,C_i]=0 and algebraic independence in Section 3.2, the Hahn algebra presentation, the boundary-truncated spectrum and action (3.19), and the continuum operators (4.5). The text says only that (3.1) 'translate into an inhomogeneous linear system' whose solution is then given; no solving computation, uniqueness criterion, or consistency check is shown, and Appendix A contains dozens of rational coefficients with overlapping shift supports. Since a1 and a2 are composed of three elementary factors, a typographical sign or shift error would propagate silently into (3.7)-(3.14). There is no machine-checked artifact or reproducible code. Thus, as written, the central claim is conditional on a large unverified algebraic computation. If the identities are true, the paper is sound; if false, none of the advertised conclusions survive.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":20271,"tokens_out":14860,"duration_ms":138660,"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":[{"comment":"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.","section":"Sec. 3.1, Eqs. (3.1)–(3.7) and Appendix A"},{"comment":"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.","section":"Sec. 3.2, Eqs. (3.11)–(3.14)"},{"comment":"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.","section":"Sec. 3.2, paragraph containing (3.9)"},{"comment":"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.","section":"Sec. 3.3, Eq. (C.13), and Sec. 4, Eqs. (4.5), (4.12)–(4.15)"}],"minor_comments":[{"comment":"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.","section":"Eq. (2.7)"},{"comment":"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.","section":"Remark 2.1"},{"comment":"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.","section":"Sec. 4, paragraph after Eq. (4.4)"},{"comment":"Reference [4] is cited as arXiv:XXXX.XXXXX; the placeholder should be updated before publication.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"Given that several central identities are verified only by assertion, I recommend requiring a supplementary computer-algebra check before final acceptance. The companion paper [4] is not yet available, so the cross-check with the SW II model cannot currently be made."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The paper constructs what looks like the first finite discrete realization of the Smorodinsky–Winternitz I system: a two-dimensional lattice model on a triangle with two commuting number operators, ladder operators, a Hahn algebra, exact solutions in Tratnik bivariate dual Hahn polynomials, and a continuum limit that returns the continuous SW I model. If the algebra checks out, this is a real extension of the finite discrete oscillator program, and it should be published.\n\nWhat is actually new and done well: the explicit model (2.8)-(2.11) with rational coefficients; the factorized ladder operators via contiguity shifts; the exact boundary-truncated spectrum (3.19); the Hermitian structure with a positive weight; and the continuum limit that recovers the continuous Hamiltonian, Laguerre eigenfunctions and symmetry algebra. The paper does not fit parameters or import the answer from the target system; the continuum limit is validated against an external known result, which is the right way to test the construction. Appendix C connecting the Tratnik polynomials to the number operators through the Racah limit is a useful piece of work in itself.\n\nThe soft spots are real but concentrated. The structure functions (3.7), the dynamical algebra relations (3.8), the cubic algebra (3.11), and the Casimir expression (3.14) are all asserted as 'direct computations'; Appendix A provides the coefficients but no derivation or machine-checked file. These identities are what carries maximal superintegrability, the spectrum, and the continuum limit. I cannot verify them by hand, and the coefficient lists are long enough that a sign error would silently corrupt everything. This is exactly the situation where a referee should ask for a CAS notebook or an appendix showing at least the key identity, e.g., the verification of (3.1) for a1 and a2. That is not a fatal objection—the structure of the paper is coherent and the approach is credible—but it makes the published version conditional until the check is explicit.\n\nMinor: the companion SW II reference [4] is still a placeholder, and algebraic independence of the three integrals is stated rather than shown.\n\nWho this is for: people working in superintegrability, finite quantum systems, and multivariate orthogonal polynomials. It belongs in that literature. I would accept it for peer review, with the request for the machine-checked or expanded verification. I would not cite it before that verification is visible.","headline":"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.","tokens_in":20667,"tokens_out":3700,"would_cite":false,"duration_ms":38989,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81R12","33C45","39A70","81Q80"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["superintegrable systems","finite discrete quantum models","dual Hahn polynomials","Hahn algebra","Smorodinsky–Winternitz I","ladder operators","continuum limit","triangular lattice"],"falsifier":"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)$.","tokens_in":19669,"feed_emoji":"📐","tokens_out":7479,"duration_ms":66707,"temperature":0.7,"pith_summary":"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.","feed_headline":"A finite lattice model reproduces a classic quantum system exactly","feed_subtitle":"Maximally superintegrable and exactly solvable, it reduces to the continuous Smorodinsky–Winternitz I system in the limit.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the bivariate dual Hahn polynomials used as the exact eigenfunctions and their orthogonality relation.","marker":"[30]"},{"why":"Provides the multivariable Racah–Wilson bispectrality properties that identify these polynomials as the solution family.","marker":"[15]"},{"why":"Fixes the definition of superintegrability and the continuous Smorodinsky–Winternitz I Hamiltonian that the continuum limit must match.","marker":"[26]"},{"why":"Gives the exact-solvability/superintegrability connection that the spectral solution illustrates.","marker":"[29]"},{"why":"Provides the earlier finite discrete two-dimensional oscillator model that this construction extends.","marker":"[25]"},{"why":"Supplies the Hahn algebra presentation used for the discrete symmetry algebra.","marker":"[16]"},{"why":"Gives the contiguity-operator formalism used to factorize the ladder operators into parameter-shifting factors.","marker":"[5]"},{"why":"Establishes the Smorodinsky–Winternitz classification context in which the continuous model sits.","marker":"[10]"}],"fun_headline_variants":["Finite lattice recreates SWI superintegrable system exactly","Discrete SWI: maximally superintegrable, exact spectrum","Lattice analogue of SWI solved with Hahn polynomials","Exactly solvable discrete SWI with true continuum limit"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Finite lattice recreates SWI superintegrable system exactly","Discrete SWI: maximally superintegrable, exact spectrum","Lattice analogue of SWI solved with Hahn polynomials","Exactly solvable discrete SWI with true continuum limit"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000339,"raw_usage":{"total_tokens":1828,"prompt_tokens":861,"completion_tokens":967,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":477,"completion_tokens_details":{"reasoning_tokens":897}},"tokens_in":477,"tokens_out":967,"duration_ms":9370,"temperature":1.0,"reasoning_tokens":897,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:58:27.396190+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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)$.","supporting_citations":[{"cited_title":"Geronimo and Plamen Iliev,Bispectrality of multivariable Racah–Wilson poly- nomials, Constructive Approximation31(2010), no","cited_arxiv_id":null,"evidence_quote":"Provides the multivariable Racah–Wilson bispectrality properties that identify these polynomials as the solution family."},{"cited_title":"12, 125207","cited_arxiv_id":null,"evidence_quote":"Provides the earlier finite discrete two-dimensional oscillator model that this construction extends."}],"review_version":1}