Dice Question Streamline Icon: https://streamlinehq.com

Combinatorial mechanism for reproducing α-dependent leading asymptotics via Bessel expansions

Determine the combinatorial mechanism by which a direct approach that substitutes the small‑x asymptotic expansions of the Bessel functions J_ν(x) and Y_ν(x) into the Toeplitz determinant Δ_n(x,α) = det({C_{α/2−j+k}(x)}_{j,k=0}^{n−1}) with C_ν(x) = d1 J_ν(x) + d2 Y_ν(x), could reproduce the α‑dependent, piecewise leading asymptotic behaviors established for Δ_n(x,α) as x → 0 in Theorem 1.1.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper derives small‑x asymptotics for Toeplitz determinants built from cylinder functions and, via a determinant formula, for special-function solutions of the Painlevé III equation. The results show that the leading power in the asymptotics depends piecewise on the parameter α, requiring a careful analytic approach using multiple contour integrals and asymptotic analysis.

The authors note that a naive attempt to insert Bessel function asymptotics directly into the determinant representation would need a combinatorial explanation for how different leading behaviors emerge as α varies. They explicitly state that this mechanism is unclear to them, highlighting an unresolved question about whether and how a purely combinatorial proof could reproduce the established α‑dependent leading terms.

References

We should mention that plugging naively the asymptotic of Bessel function to the formula eq:q_n_formula and trying to derive Theorem \ref{thm:hankel_bessel_det_asymptotic} is a difficult task. We allow the possibility of combinatorial proof following this route, but it would have to reproduce different leading behaviors for different $\alpha$ and the mechanism for it is unclear to us.

eq:q_n_formula:

un(x,α)=Δn+1(x,α2)Δn(x,α)Δn+1(x,α)Δn(x,α2),nN{0},αC.u_n(x,\alpha)=-\frac{\Delta_{n+1}(x,\alpha-2)\Delta_n(x,\alpha)}{\Delta_{n+1}(x,\alpha)\Delta_n(x,\alpha-2)},\quad n\in \mathbb{N}\cup \{0\},\quad \alpha\in\mathbb{C}.

Asymptotic properties of special function solutions of Painlevé III equation for fixed parameters (2407.04852 - Pan et al., 5 Jul 2024) in Introduction, paragraph following Theorem 1.1 (label: thm:hankel_bessel_det_asymptotic)