Skip to main content Accessibility help
×
Home

Singularity Analysis Via the Iterated Kernel Method

  • STEPHEN MELCZER (a1) and MARNI MISHNA (a1)

Abstract

In the quarter plane, five lattice path models with unit steps have resisted the otherwise general approach featured in recent works by Fayolle, Kurkova and Raschel. Here we consider these five models, called the singular models, and prove that the univariate generating functions marking the number of walks of a given length are not D-finite. Furthermore, we provide exact and asymptotic enumerative formulas for the number of such walks, and describe an efficient algorithm for exact enumeration.

Copyright

References

Hide All
[1]Banderier, C. and Flajolet, P. (2002) Basic analytic combinatorics of directed lattice paths. Theoret. Comput. Sci. 281 3780.
[2]Beraha, S., Kahane, J. and Weiss, N. (1978) Limits of zeros of recursively defined families of polynomials. Advances in Math., Supplementary Studies, Studies in Foundations and Combinatorics 1 213232.
[3]Bostan, A. and Kauers, M. (2009) Automatic classification of restricted lattice walks. In 21st International Conference on Formal Power Series and Algebraic Combinatorics: FPSAC 2009, pp. 201–215.
[4]Bostan, A., Raschel, K. and Salvy, B. (2014) Non-D-finite excursions in the quarter plane. (English summary) J. Combin. Theory Ser. A 121 4563.
[5]Bousquet-Mélou, M. (2005) Walks in the quarter plane: Kreweras' algebraic model. Ann. Appl. Probab. 15 10471589.
[6]Bousquet-Mélou, M. and Mishna, M. (2010) Walks with small steps in the quarter plane. In Algorithmic Probability and Combinatorics, Vol. 520 of Contemporary Mathematics, AMS, pp. 139.
[7]Bousquet-Mélou, M. and Petkovšek, M. (2003) Walks confined in a quadrant are not always D-finite. Theoret. Comput. Sci. 307 257276.
[8]Christol, G. (1990) Globally bounded solutions of differential equations. In Analytic Number Theory: Tokyo, 1988, Vol. 1434 of Lecture Notes in Mathematics, Springer, pp. 4564.
[9]Fayolle, G. and Raschel, K. (2010) On the holonomy or algebraicity of generating functions counting lattice walks in the quarter-plane. Markov Process. Rel. Fields 16 485496.
[10]Fayolle, G. and Raschel, K. (2011) Random walks in the quarter-plane with zero drift: An explicit criterion for the finiteness of the associated group. Markov Process. Rel. Fields 17 619636.
[11]Fayolle, G. and Raschel, K. (2012) Some exact asymptotics in the counting of walks in the quarter plane. In AofA, Discrete Mathematics and Theoretical Computer Science, pp. 109–124.
[12]Fayolle, G., Iasnogorodski, R. and Malyshev, V. A. (1999) Random Walks in the Quarter-Plane: Algebraic Methods, Boundary Value Problems and Applications, Vol. 40 of Applications of Mathematics, Springer.
[13]Flajolet, P. and Sedgewick, R. (2009) Analytic Combinatorics, Cambridge University Press.
[14]Flajolet, P., Gerhold, S. and Salvy, B. (2004/06) On the non-holonomic character of logarithms, powers, and the nth prime function. Electron. J. Combin. 11 2.
[15]Janse van Rensburg, E. J., Prellberg, T. and Rechnitzer, A. (2008) Partially directed paths in a wedge. J. Combin. Theory Ser. A 115 623650.
[16]Kauers, M., Koutschan, C. and Zeilberger, D. (2009) Proof of Ira Gessel's lattice path conjecture. Proc. Natl. Acad. Sci. USA 106 1150211505.
[17]Konvalina, J. and Matache, V. (2004) Palindrome-polynomials with roots on the unit circle. CR Math. Acad. Sci. Soc. R. Can. 26 3944.
[18]Kurkova, I. and Raschel, K. (2011) Explicit expression for the generating function counting Gessel's walks. Adv. Appl. Math. 47 414433.
[19]Mishna, M. and Rechnitzer, A. (2009) Two non-holonomic lattice walks in the quarter plane. Theoret. Comput. Sci. 410 36163630.
[20]OEIS Foundation Inc. (2011) The On-Line Encyclopedia of Integer Sequences. http://oeis.org

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed