Non-D-finite excursions in the quarter plane

The number of excursions (finite paths starting and ending at the origin) having a given number of steps and obeying various geometric constraints is a classical topic of combinatorics and probability theory. We prove that the sequence (e"n^S)"n">="0 of numbers of excursions in the quarter plane corresponding to a nonsingular step set S@?{0,+/-1}^2 with infinite group does not satisfy any nontrivial linear recurrence with polynomial coefficients. Accordingly, in those cases, the trivariate generating function of the numbers of walks with given length and prescribed ending point is not D-finite. Moreover, we display the asymptotics of e"n^S.

[1]  S. G. Mohanty,et al.  Lattice Path Counting and Applications. , 1980 .

[2]  Mireille Bousquet-Melou,et al.  Counting Walks in the Quarter Plane , 2017, 1708.06192.

[3]  Alan D. Sokal,et al.  Random Walks, Critical Phenomena, and Triviality in Quantum Field Theory , 1992 .

[4]  I. Gessel,et al.  Random walk in a Weyl chamber , 1992 .

[5]  Dimitri Volchenkov,et al.  Random Walks and Diffusions on Graphs and Databases , 2011 .

[6]  Dominique Gouyou-Beauchamps,et al.  Chemins sous-diagonaux et tableaux de Young , 1986 .

[7]  A. Borovkov,et al.  Asymptotic Analysis of Random Walks: Heavy-Tailed Distributions , 2008 .

[8]  J. Rosser,et al.  Approximate formulas for some functions of prime numbers , 1962 .

[9]  Alin Bostan,et al.  A human proof of Gessel's lattice path conjecture , 2016 .

[10]  David A. Cox,et al.  Ideals, Varieties, and Algorithms , 1997 .

[11]  Yves Marie André,et al.  G-functions and geometry , 1989 .

[12]  C. Siegel.  Über einige Anwendungen diophantischer Approximationen , 2014 .

[13]  G. Pólya.  Über eine Aufgabe der Wahrscheinlichkeitsrechnung betreffend die Irrfahrt im Straßennetz , 1921 .

[14]  Marni Mishna,et al.  Two non-holonomic lattice walks in the quarter plane , 2009, Theor. Comput. Sci..

[15]  Philippe Flajolet,et al.  Analytic Models and Ambiguity of Context-free Languages* , 2022 .

[16]  G. Fayolle,et al.  Random Walks in the Quarter-Plane: Algebraic Methods, Boundary Value Problems and Applications , 1999 .

[17]  Mireille Bousquet-Mélou,et al.  Walks confined in a quadrant are not always D-finite , 2003, Theor. Comput. Sci..

[18]  G. Weiss.  Aspects and Applications of the Random Walk , 1994 .

[19]  Philippe Flajolet,et al.  Basic analytic combinatorics of directed lattice paths , 2002, Theor. Comput. Sci..

[20]  Guy Fayolle,et al.  Some exact asymptotics in the counting of walks in the quarter plane , 2012 .

[21]  D. V. Chudnovsky,et al.  Applications of Padé approximations to diophantine inequalities in values of G-functions , 1985 .

[22]  F. Spitzer.  Principles Of Random Walk , 1966 .

[23]  T. V. Narayana,et al.  Lattice Path Combinatorics With Statistical Applications , 1979 .

[24]  R. Bañuelos,et al.  Brownian motion in cones , 1997 .

[25]  Kilian Raschel,et al.  Explicit expression for the generating function counting Gessel's walks , 2009, Adv. Appl. Math..

[26]  Manuel Kauers,et al.  The complete Generating Function for Gessel Walks is Algebraic , 2009, ArXiv.

[27]  R. Azencott,et al.  Grandes deviations et applications , 1980 .

[28]  Ronald F. Boisvert,et al.  NIST Handbook of Mathematical Functions , 2010 .

[29]  L. Lipshitz,et al.  D-finite power series , 1989 .

[30]  Feller William,et al.  An Introduction To Probability Theory And Its Applications , 1950 .

[31]  R. DeBlassie,et al.  Exit times from cones in ℝn of Brownian motion , 1987 .

[32]  H. L. Turrittin.  Convergent solutions of ordinary linear homogeneous differential equations in the neighborhood of an irregular singular point , 1955 .

[33]  Kilian Raschel,et al.  On the functions counting walks with small steps in the quarter plane , 2012 .

[34]  Robert Azencott,et al.  Ecole d'eté de probabilités de Saint-Flour VIII-1978 , 1980 .

[35]  George D. Birkhoff,et al.  Analytic theory of singular difference equations , 1933 .

[36]  N. Varopoulos.  Potential theory in conical domains (III) , 2001, Mathematical Proceedings of the Cambridge Philosophical Society.

[37]  Guy Fayolle,et al.  On the Holonomy or Algebraicity of Generating Functions Counting Lattice Walks in the Quarter-Plane , 2010, 1004.1733.

[38]  Manuel Kauers,et al.  Automatic Classification of Restricted Lattice Walks , 2008, 0811.2899.

[39]  Marni Mishna,et al.  Walks with small steps in the quarter plane , 2008, 0810.4387.

[40]  Mireille Bousquet-M'elou,et al.  Walks in the quarter plane: Kreweras’ algebraic model , 2004, math/0401067.

[41]  W. Woess.  Random walks on infinite graphs and groups, by Wolfgang Woess, Cambridge Tracts , 2001 .

[42]  William Feller,et al.  An Introduction to Probability Theory and Its Applications , 1967 .

[43]  Stavros Garoufalidis,et al.  G-functions and multisum versus holonomic sequences , 2007, 0708.4354.

[44]  Philippe Flajolet,et al.  Analytic Combinatorics , 2009 .

[45]  Denis Denisov,et al.  Random walks in cones , 2015 .

[46]  Bernard Dwork,et al.  An introduction to G-functions , 1994 .

[47]  Kilian Raschel.  Counting walks in a quadrant: a unified approach via boundary value problems , 2010 .

[48]  Marni Mishna.  Classifying lattice walks restricted to the quarter plane , 2009, J. Comb. Theory, Ser. A.

[49]  J. Douglas.  Aspects and applications of the random walk , 1995 .

[50]  P. Blanchard,et al.  Random Walks and Diffusions on Graphs and Databases: An Introduction , 2011 .

[51]  R. D. D. Blassie,et al.  Remark on exit times from cones in $$\mathbb{R}^n $$ of Brownian motion , 1988 .

[52]  Doron Zeilberger,et al.  Proof of Ira Gessel's lattice path conjecture , 2008, Proceedings of the National Academy of Sciences.

[53]  Peter G. Doyle,et al.  Random Walks and Electric Networks: REFERENCES , 1987 .

[54]  Guy Fayolle,et al.  Random walks in the quarter plane with zero drift: an explicit criterion for the finiteness of the associated group , 2011 .

[55]  Jacob Cohen.  Analysis of Random Walks , 1992 .

[56]  Juan L. Varona.  Rational values of the arccosine function , 2006 .

[57]  Nicholas M. Katz,et al.  Nilpotent connections and the monodromy theorem: Applications of a result of turrittin , 1970 .

[58]  Stephen Melczer,et al.  Singularity Analysis Via the Iterated Kernel Method , 2014, Comb. Probab. Comput..

[59]  Gregory F. Lawler,et al.  Random Walk: A Modern Introduction , 2010 .

[60]  Yves André,et al.  Séries Gevrey de type arithmétique, I. Théorèmes de pureté et de dualité , 2000 .

[61]  Germain Kreweras,et al.  Sur une classe de problèmes de dénombrement liés au treillis des partitions des entiers , 1965 .

[62]  Emma Lehmer,et al.  On the magnitude of the coefficients of the cyclotomic polynomial , 1936 .