Non-D-Finite Walks in a Three-Quadrant Cone

Mustapha, Sami

doi:10.1007/s00026-019-00413-2

Cited by 16 publications

(35 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The 3D Kreweras model of Figure 3 could provide such an example. The 3D simple walk in the complement of an octant is also conjectured to admit a non-D-finite generating function, see [54,Sec. 4].…”

mentioning

confidence: 99%

See 1 more Smart Citation

3D positive lattice walks and spherical triangles

Bogosel

Perrollaz

Raschel

et al. 2020

Journal of Combinatorial Theory, Series A

View full text Add to dashboard Cite

In this paper we explore the asymptotic enumeration of three-dimensional excursions confined to the positive octant. As shown in [30], both the exponential growth and the critical exponent admit universal formulas, respectively in terms of the inventory of the step set and of the principal Dirichlet eigenvalue of a certain spherical triangle, itself being characterized by the steps of the model. We focus on the critical exponent, and our main objective is to relate combinatorial properties of the step set (structure of the so-called group of the walk, existence of a Hadamard decomposition, existence of differential equations satisfied by the generating functions) to geometric or analytic properties of the associated spherical triangle (remarkable angles, tiling properties, existence of an exceptional closed-form formula for the principal eigenvalue). As in general the eigenvalues of the Dirichlet problem on a spherical triangle are not known in closed form, we also develop a finite-elements method to compute approximate values, typically with ten digits of precision.Date: December 25, 2019. 1991 Mathematics Subject Classification. 05A15.

show abstract

mentioning

confidence: 99%

“…4]. It is inspired by the dimension two case, where the model of walks avoiding a quadrant has started to be studied [20,54,58]. At first sight, the (geometric) difference between quarter plane and three-quarter plane is anecdotal.…”

mentioning

confidence: 99%

3D positive lattice walks and spherical triangles

Bogosel

Perrollaz

Raschel

et al. 2020

Journal of Combinatorial Theory, Series A

View full text Add to dashboard Cite

show abstract

“…Similar arguments should lead to the asymptotics of walks in three quadrants. Let us remind, however, that the asymptotics of the excursion sequence is already found in [33].…”

Section: Simple Walk Kreweras Reverse Kreweras Union Krewerasmentioning

confidence: 94%

“…Definition 15 (Index). Let U be as above and let G be the function (continuous on U ) as in (33). The index χ of the BVP of Definition 13 is…”

Section: B Riemann-hilbert Bvpmentioning

confidence: 99%

On Walks Avoiding a Quadrant

Raschel

Trotignon²

2019

Electron. J. Combin.

View full text Add to dashboard Cite

Two-dimensional (random) walks in cones are very natural both in combinatorics and probability theory: they are interesting for themselves and also because they are strongly related to other discrete structures. While walks restricted to the first quadrant have been studied a lot, the case of planar, non-convex cones-equivalent to the three-quarter plane after a linear transform-has been approached only recently. In this article we develop an analytic approach to the case of walks in three quadrants. The advantage of this method is to provide uniform treatment in the study of models corresponding to different step sets. After splitting the three quadrants in two symmetric convex cones, the method is composed of three main steps: write a system of functional equations satisfied by the counting generating function, which may be simplified into one single equation under symmetry conditions; transform the functional equation into a boundary value problem; and finally solve this problem, using a concept of anti-Tutte's invariant. The result is a contour-integral expression for the generating function. Such systems of functional equations also appear in queueing theory with the famous Join-the-Shortest-Queue model, which is still an open problem in the non-symmetric case. Figure 1: Walks in the quarter plane and in three-quarter plane

show abstract

“…Integral expressions for the generating function of walks avoiding a quadrant with symmetric step sets for walks are derived in [20], where the three-quarter plane is seen as the union of two symmetric convex cones of opening angle 3 4. Asymptotics of the number of excursions of walks with small steps in the three-quadrant is computed in [17] by Mustapha. In this article, following [4,11], Mustapha expresses the critical exponent of harmonic functions in three quadrants as a function of the critical exponent of harmonic functions in a quadrant. When this exponent is not rational, then the generating function of walks is not D-finite and [17,Thm 1.3] proves that the generating function of the walks of the 51 non-singular step sets with infinite group are not D-finite in the three-quarter plane (recall that neither are they in the quadrant).…”

Section: Introductionmentioning

confidence: 99%

Discrete Harmonic Functions in the Three-Quarter Plane

Trotignon

2021

Potential Anal

View full text Add to dashboard Cite

In this article we are interested in finding positive discrete harmonic functions with Dirichlet conditions in three quadrants. Whereas planar lattice (random) walks in the quadrant have been well studied, the case of walks avoiding a quadrant has been developed lately. We extend the method in the quarter plane—resolution of a functional equation via boundary value problem using a conformal mapping—to the three-quarter plane applying the strategy of splitting the domain into two symmetric convex cones. We obtain a simple explicit expression for the algebraic generating function of harmonic functions associated to random walks avoiding a quadrant.

show abstract

Non-D-Finite Walks in a Three-Quadrant Cone

Cited by 16 publications

References 16 publications

3D positive lattice walks and spherical triangles

3D positive lattice walks and spherical triangles

On Walks Avoiding a Quadrant

Discrete Harmonic Functions in the Three-Quarter Plane

Contact Info

Product

Resources

About