arXiv Science⌕ Search

arXiv · 2610.00396

Complete Factorial Asymptotics and Integrable Structure of Generalized Charlier Recurrence Coefficients

Abstract

We study the monic recurrence coefficients of the generalized Charlier polynomials associated with the discrete weight \[ ρ_μ(k) = \frac{μ^k}{(k!)^2}, \qquad k\in\mathbb N_0, \qquad μ>0. \] We establish complete factorial asymptotics for the deviations $β_n-n$ and $μ-γ_n$, proving that they are beyond all algebraic orders and appear at the scale $μ^{n}/(n!)^2$. The key step is a parametrization $β_n-n=\sqrtμ\,c_nc_{n+1}$, $γ_n=μ(1-c_n^2)$, which reduces the problem to a positive sequence $(c_n)$ satisfying a discrete Painlevé II equation. Linearization around $c_n=0$ yields a discrete Bessel equation whose recessive solution is $J_n(2\sqrtμ)$. We prove that the ratio $c_n/J_n(2\sqrtμ)$ converges to a finite limit $L(μ)$, which we identify exactly as $L(μ)=1$ by combining Bessel comparison with a global analysis based on the sector decomposition of the associated Hankel determinant. This yields the exact connection formula \[ c_n \sim J_n(2\sqrtμ), \qquad n\to\infty, \] and consequently the precise asymptotics \[ β_n-n\sim \frac{μ^{n+1}}{n!(n+1)!}, \qquad μ-γ_n\sim \frac{μ^{n+1}}{(n!)^2}. \] We further develop a complementary approach based on Hankel determinants interpreted as a discrete logarithmic gas. We show that the Hankel determinant factorizes as $Δ_n(μ)=μ^{n(n-1)/2}T_n(μ)$ and admits a sector decomposition $T_n(μ)=1+\sum_{q=1}^{n}S_q(μ)$ with sector contributions independent of $n$. We establish $S_q(μ)\sim e^μμ^q/(q!)^2$, providing an independent derivation of the factorial corrections. Together, the Bessel comparison and sector decomposition reveal a rich integrable structure linking discrete Painlevé dynamics, Toda deformations, and Hankel--partition representations.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mahouton Norbert Hounkonnou. 2026-09-30. Complete Factorial Asymptotics and Integrable Structure of Generalized Charlier Recurrence Coefficients. https://arxiv.org/abs/2610.00396

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Kohn-Sham models for encapsulated two-dimensional materials

We study Kohn-Sham Density Functional Theory (DFT) models describing the electronic structure of two-dimensional materials placed in a three-dimensional environment, encapsulated between two parallel conducting electrodes. In this geometry, the Dirichlet boundary conditions at the electrodes screen the Coulomb interaction, which becomes effectively short-ranged, of Yukawa type. We prove that some nonlinear Kohn-Sham DFT models are well-posed in this setting, both for periodic materials (such as graphene) and for quasi-periodic materials (such as twisted bilayer graphene and other moiré materials for generic incommensurate twist angles).

math-ph↗

Exact Chained-Word Threshold and Monotone-Path Structure in the Even Root-of-Unity Kaleidoscope Yang-Baxter Algebra

Qiu, Guan, and Yu conjectured that in the even-order Kaleidoscope Yang--Baxter equation every word $ΛT^{k_1}Λ\cdots T^{k_M}Λ$, built from a square-zero matrix $Λ$ and integer powers of a shift $T$ of order $N$, vanishes once $M\geq N/2$. We prove this for every even $N\geq4$ and every complex parameter $u$ with $u\neq0$ and $u^N\neq1$, and show that the bound is sharp. For $M=N/2-1$ we determine exactly which words are nonzero; each of them has rank two. After block reduction, the factors associated with the intervening powers of $T$ lower a common flag of length $N/2$ by at least one step. The spectral idempotents of $T$ then give a presentation of the algebra generated by $T$ and $Λ$ by paths between levels, in which two paths compose only when the level changes monotonically. This algebra is independent of $u$, has dimension $N^2-N+2$, and is a pullback of two incidence algebras. Its radical is generated by $Λ$ and has nilpotency index $N/2+1$, and the algebra has infinite global dimension and infinite representation type. Replacing powers of $T$ by arbitrary functions of $T$ gives exact rank formulas and, for $N\geq6$, rank-one elements in the top radical power. Finally, four conditions on a filtered pair of operators over an arbitrary field recover the threshold and the radical; none of them can be omitted.

math-ph↗

Asymptotic evaluation of multidimensional oscillatory integrals

Oscillatory integrals appear throughout physics, from diffraction and gravitational lensing to real-time path integrals. Their asymptotic evaluation is complicated by the need to determine which real and complex saddle points contribute, and how they are connected by Stokes phenomena. In multiple dimensions, this traditionally requires computing steepest descent manifolds in a high-dimensional complex space. Here, we develop an algebraic alternative for integrals with polynomial and rational exponents. Using integration by parts and Brieskorn reduction, we construct a finite-dimensional Gauss-Manin system that generates the asymptotic expansion of all saddle points. Its Borel transform yields a Fuchsian system, whose mondromy determines the Stokes constants and hence the adjacency of the saddle points. Combined with the recent South-East rule, this identifies the contributing saddles and enables superasymptotic and hyperasymptotic approximations without computing gradient flows. We demonstate the method for the parabolic umbilic diffraction integral and a Lorentzian lens as examples, obtaining agreement to machine precision. The methods are implemented in an accompanying open-source Julia package Resurgence.jl

math-ph↗