Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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

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.
Complete list of metadata
Contributor : Luc Hillairet Connect in order to contact the contributor
Submitted on : Wednesday, December 8, 2021 - 11:53:08 AM
Last modification on : Tuesday, January 11, 2022 - 5:56:35 PM

Links full text


  • HAL Id : hal-03470460, version 1
  • ARXIV : 2112.03567


Luc Hillairet, Helen Jenne, Kilian Raschel. Lattice walks confined to an octant in dimension 3: (non-)rationality of the second critical exponent. 2021. ⟨hal-03470460⟩



Les métriques sont temporairement indisponibles