vix.ing · top · new · best · stats

Lattice walks confined to an octant in dimension 3: (non-)rationality of the second critical exponent

2021/12/07 by Luc Hillairet, Hillairet, Luc, Helen Jenne +3
Biochemistry, Genetics and Molecular Biology · Mathematics · #Advanced Combinatorial Mathematics #Combinatorics (math.CO) #Diffusion and Search Dynamics #FOS: Mathematics #Mathematical Dynamics and Fractals #Probability (math.PR) #Spectral Theory (math.SP) #Spectral Theory in Mathematical Physics #Stochastic processes and statistical mechanics #advanced mathematical theories #math.CO #math.PR #math.SP

paper · pdf · doi:10.48550/arxiv.2112.03567

23 pages, 5 figures

arxiv created 2021/12/07 · openalex publication_date 2021/12/07 · arxiv updated 2021/12/08 · openalex created_date 2022/05/05 · openalex updated_date 2026/07/28

Abstract

In the field of enumeration of walks in cones, it is known how to compute asymptotically the number of excursions (finite paths in the cone with fixed length, starting and ending points, using jumps from a given step set). As it turns out, the associated critical exponent is related to the eigenvalues of a certain Dirichlet problem on a spherical domain. An important underlying question is to decide whether this asymptotic exponent is a (non-)rational number, as this has important consequences on the algebraic nature of the associated generating function. In this paper, we ask whether such an excursion sequence might admit an asymptotic expansion with a first rational exponent and a second non-rational exponent. While the current state of the art does not give any access to such many-term expansions, we look at the associated continuous problem, involving Brownian motion in cones. Our main result is to prove that in dimension three, there exists a cone such that the heat kernel (the continuous analogue of the excursion sequence) has the desired rational/non-rational asymptotic property. Our techniques come from spectral theory and perturbation theory. More specifically, our main tool is a new Hadamard formula, which has an independent interest and allows us to compute the derivative of eigenvalues of spherical triangles along infinitesimal variations of the angles.

Related