RECORD
Enumeration of three quadrant walks with small steps and walks on other M-quadrant cones
Combinatorics · Submitted 14 Apr 2022
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim The main breakthrough in this work is the derivation of an analytic functional equation which characterises the generating function of these walks, which is analogous to one now used widely for quarter-plane walks.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
We address the enumeration of walks with small steps confined to a two-dimensional cone, for example the quarter plane, three-quarter plane or the slit plane. In the quarter plane case, the solutions for unweighted step-sets are already well understood, in the sense that it is known precisely for which cases the generating function is algebraic, D-finite or D-algebraic, and exact integral expressions are known in all cases. We derive similar results in a much more general setting: we enumerate walks on an $M$-quadrant cone for any positive integer $M$, with weighted steps starting at any point. The main breakthrough in this work is the derivation of an analytic functional equation which characterises the generating function of these walks, which is analogous to one now used widely for quarter-plane walks. In the case $M=3$, which corresponds to walks avoiding a quadrant, we provide exact integral-expression solutions for walks with weighted small steps which determine the generating function ${\sf C}(x,y;t)$ counting these walks. Moreover, for each step-set and starting point of the walk we determine whether the generating function ${\sf C}(x,y;t)$ is algebraic, D-finite or D-algebraic as a function of $x$ and $y$. In fact we provide results of this type for any $M$-quadrant cone, showing that this nature is the same for any odd $M$. For $M$ even we find that the generating functions counting these walks are D-finite in $x$ and $y$, and algebraic if and only if the starting point of the walk is on the same axis as the boundaries of the cone.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We address the enumeration of walks with small steps confined to a two-dimensional cone, for example the quarter plane, three-quarter plane or the slit plane. | background 0.94 | 0.26 | 0.03 | asserted 0.86 |
| s1 | In the quarter plane case, the solutions for unweighted step-sets are already well understood, in the sense that it is known precisely for which cases the generating function is algebraic, D-finite or D-algebraic, and exact integral expressions are known in all cases. | background 0.99 | 0.03 | 0.03 | asserted 1.00 |
| s2 | We derive similar results in a much more general setting: we enumerate walks on an $M$-quadrant cone for any positive integer $M$, with weighted steps starting at any point. | contribution 1.00 | 0.95 | 0.20 | asserted 1.00 |
| s3 | The main breakthrough in this work is the derivation of an analytic functional equation which characterises the generating function of these walks, which is analogous to one now used widely for quarter-plane walks. | contribution 0.93 | 0.96 | 0.65 | asserted 1.00 |
| s4 | In the case $M=3$, which corresponds to walks avoiding a quadrant, we provide exact integral-expression solutions for walks with weighted small steps which determine the generating function ${\sf C}(x,y;t)$ counting these walks. | result 0.86 | 0.96 | 0.15 | asserted 1.00 |
| s5 | Moreover, for each step-set and starting point of the walk we determine whether the generating function ${\sf C}(x,y;t)$ is algebraic, D-finite or D-algebraic as a function of $x$ and $y$. | result 0.83 | 0.97 | 0.11 | asserted 1.00 |
| s6 | In fact we provide results of this type for any $M$-quadrant cone, showing that this nature is the same for any odd $M$. | result 0.98 | 0.94 | 0.12 | asserted 1.00 |
| s7 | For $M$ even we find that the generating functions counting these walks are D-finite in $x$ and $y$, and algebraic if and only if the starting point of the walk is on the same axis as the boundaries of the cone. | result 1.00 | 0.96 | 0.13 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
We address the enumeration of walks with small steps confined to a two-dimensional cone, for example the quarter plane, three-quarter plane or the slit plane. In the quarter plane case, the solutions for unweighted step-sets are already well understood, in the sense that it is known precisely for which cases the generating function is algebraic, D-finite or D-algebraic, and exact integral expressions are known in all cases. We derive similar results in a much more general setting: we enumerate walks on an $M$-quadrant cone for any positive integer $M$, with weighted steps starting at any point. The main breakthrough in this work is the derivation of an analytic functional equation which characterises the generating function of these walks, which is analogous to one now used widely for quarter-plane walks. In the case $M=3$, which corresponds to walks avoiding a quadrant, we provide exact integral-expression solutions for walks with weighted small steps which determine the generating function ${\sf C}(x,y;t)$ counting these walks. Moreover, for each step-set and starting point of the walk we determine whether the generating function ${\sf C}(x,y;t)$ is algebraic, D-finite or D-algebraic as a function of $x$ and $y$. In fact we provide results of this type for any $M$-quadrant cone, showing that this nature is the same for any odd $M$. For $M$ even we find that the generating functions counting these walks are D-finite in $x$ and $y$, and algebraic if and only if the starting point of the walk is on the same axis as the boundaries of the cone.
Human review
How the literature uses it
3 arXiv papers cite this in 15 sentences
Papers citing it · 13 sentences without a confident label
Uses its method or tool 2 papers
-
For that purpose, we introduce a continuation procedure related to the one used in [ref] , and close to those in [ref] in the discrete setting.
Stationary Brownian motion in a 3/4-plane: Reduction to a Riemann-Hilbert problem via Fourier transforms · Main results and scheme of the proofs · 0.99
-
To that purpose, we will use an approach utilizing an invariant for this model [ref] and recall the proof of the following:
Logarithmic terms in discrete heat kernel expansions in the quadrant · Explicit expression for the generating function · 0.99
What it cites · 7 sentences without a confident label
Compares with 1 paper
-
Note that by our definition, steps directly between $(1,0)$ and $(0,1)$ are allowed, whereas they are forbidden in [ref] , for example.
Walks avoiding a quadrant and the reflection principle · Introduction · 0.99
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.