arXiv++ Combinatorics

In this paper we study the number of returns to the coordinate hyperplanes for multidimensional nearest-neighbour random walks. While one-dimensional results on returns are classical, much less is known in higher dimensions. We analyse the asymptotic behaviour of returns under several natural conditionings: the unconditioned walk, bridges, meanders, and non-negative bridges (or excursions). Our main results characterize the limiting distributions under appropriate rescaling. The resulting one-dimensional marginals may be half-normal, Rayleigh, geometric, negative binomial, or certain mixtures thereof. In most situations, the coordinates are asymptotically independent; however, there are notable exceptions for the meander case, depending on the drift. The proofs rely on conditioning on the numbers of horizontal and vertical steps, which restores a form of independence and reduces the problem to one-dimensional estimates via binomial convolution and Bernstein-type approximations.

We consider multidimensional random walks in pyramids, which by definition are cones formed by finite intersections of half-spaces. The main object of interest is the survival probability $\mathbb{P}(τ>n)$, $τ$ denoting the first exit time from a fixed pyramid. When the drift belongs to the interior of the cone, the survival probability sequence converges to the non-exit probability $\mathbb{P}(τ=\infty)$, which is positive. In this note, we quantify the speed of convergence, and prove that the exponential rate of convergence may be computed by means of a certain min-max of the Laplace transform of the random walk increments. We illustrate our results with various examples.

A. We look at multidimensional random walks (Sn) n 0 in convex cones, and address the question of whether two naturally associated generating functions may define rational functions. The first series is the one of the survival probabilities P($τ$ > n), where $τ$ is the first exit time from a given cone; the second series is that of the excursion probabilities P($τ$ > n, Sn = y). Our motivation to consider this question is twofold: first, it goes along with a global effort of the combinatorial community to classify the algebraic nature of the series counting random walks in cones; second, rationality questions of the generating functions are strongly associated with the asymptotic behaviors of the above probabilities, which have their own interest. Using wellknown relations between rationality of a series and possible asymptotics of its coefficients, recent probabilistic estimates immediately imply that the excursion generating function is not rational. Regarding the survival probabilities generating function, we propose a short, elementary and selfcontained proof that it cannot be rational neither.

We compute the exponential decay of the probability that a given multi-dimensional random walk stays in a convex cone up to time $n$, as $n$ goes to infinity. We show that the latter equals the minimum, on the dual cone, of the Laplace transform of the random walk increments. As an example, our results find applications in the counting of walks in orthants, a classical domain in enumerative combinatorics.