The generating function of Kreweras walks with interacting boundaries is not algebraic

MaRDI QIDQ2680958zbMATH OpenFDO

Authors Alin Bostan, M. Kauers, Thibaut Verron

Publication date 5 January 2023

Published in Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2012.00816, https://www.mat.univie.ac.at/~slc/wpapers/FPSAC2021/78.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

algebraic functionsautomated guessingcomputer algebracreative telescopingD-finite functionsenumerative combinatoricsgenerating functionshypergeometric functionskernel methodKreweras walkslattice paths

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Classical hypergeometric functions, ({}_2F_1) (33C05)

Abstract: Beaton, Owczarek and Xu (2019) studied generating functions of Kreweras walks and of reverse Kreweras walks in the quarter plane, with interacting boundaries. They proved that for the reverse Kreweras step set, the generating function is always algebraic, and for the Kreweras step set, the generating function is always D-finite. However, apart from the particular case where the interactions are symmetric in $x$ and~$y$, they left open the question of whether the latter one is algebraic. Using computer algebra tools, we confirm their intuition that the generating function of Kreweras walks is not algebraic, apart from the particular case already identified.

Recommendations

• The complete generating function for Gessel walks is algebraic
• On the holonomy or algebraicity of generating functions counting lattice walks in the quarter-plane
• On the generating functions of a random walk on the non-negative integers
• Generating functions and duality for non-crossing walks on a plane graph
• On the exponential generating function for non-backtracking walks
• Alcove random walks and \(k\)-Schur functions
• scientific article; zbMATH DE number 2127717
• Quarter-plane lattice paths with interacting boundaries: Kreweras and friends
• On differentially algebraic generating series for walks in the quarter plane

Cites work

• A fast approach to creative telescoping
• An extension of Zeilberger's fast algorithm to general holonomic functions
• Analytic models and ambiguity of context-free languages
• Differentiably finite power series
• Exact solution of some quarter plane walks with interacting boundaries
• Factorization of differential operators with rational functions coefficients
• scientific article; zbMATH DE number 3708534 (Why is no real title available?)
• scientific article; zbMATH DE number 1254296 (Why is no real title available?)
• Hypergeometric expressions for generating functions of walks with small steps in the quarter plane
• Second order differential equations with hypergeometric solutions of degree three
• The complete generating function for Gessel walks is algebraic

Cited in

(3)

• Quarter-plane lattice paths with interacting boundaries: Kreweras and friends
• Transcendence Certificates for D-finite Functions
• Boundary contacts for reflected random walks in the quarter plane

This page was built for publication: The generating function of Kreweras walks with interacting boundaries is not algebraic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2680958)