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

@article{Bostan2020TheGF, title={The generating function of Kreweras walks with interacting boundaries is not algebraic.}, author={Alin Bostan and Manuel Kauers and Thibaut Verron}, journal={arXiv: Combinatorics}, year={2020} }

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…

## One Citation

Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time

- Computer Science, MathematicsISSAC
- 2021

A fast algorithm that computes all the characteristic polynomials of its p-curvatures, for all primes p < N, in asymptoti- cally quasi-linear bit complexity in N.

## References

SHOWING 1-10 OF 19 REFERENCES

Quarter-Plane Lattice Paths with Interacting Boundaries: The Kreweras and Reverse Kreweras Models

- MathematicsTranscendence in Algebra, Combinatorics, Geometry and Number Theory
- 2021

Lattice paths in the quarter plane have led to a large and varied set of results in recent years. One major project has been the classification of step sets according to the properties of the…

Hypergeometric expressions for generating functions of walks with small steps in the quarter plane

- MathematicsEur. J. Comb.
- 2017

Exact Solution of Some Quarter Plane Walks with Interacting Boundaries

- PhysicsElectron. J. Comb.
- 2019

This work investigates how integrability may change in those 23 models where in addition to length one also counts the number of sites of the walk touching either the horizontal and/or vertical boundaries of the quarter plane.

The complete Generating Function for Gessel Walks is Algebraic

- MathematicsArXiv
- 2009

It is proved that if $g(n;i,j)$ denotes the number of Gessel walks of length $n$ which end at the point $( i,j)\in\set N^2$, then the trivariate generating series $G(t;x,y)x^i y^j t^n$ is an algebraic function.

Advanced applications of the holonomic systems approach

- Mathematics, Computer ScienceACCA
- 2010

This thesis contributed to translating Takayama's algorithm into a new context, in order to apply it to an until then open problem, the proof of Ira Gessel's lattice path conjecture, and to make the underlying computations feasible the authors employed a new approach for finding creative telescoping operators.

Analytic Models and Ambiguity of Context-Free Languages

- Computer ScienceTheor. Comput. Sci.
- 1987

An extension of Zeilberger's fast algorithm to general holonomic functions

- MathematicsDiscret. Math.
- 2000

A Fast Approach to Creative Telescoping

- MathematicsMath. Comput. Sci.
- 2010

This note reinvestigate the task of computing creative telescoping relations in differential–difference operator algebras using an ansatz that explicitly includes the denominators of the delta parts and shows that it can be superior to existing methods by a large factor.

Rational Solutions of the Mixed Differential Equation and Its Application to Factorization of Differential Operators

- MathematicsISSAC
- 1996

A fast method to compute the rational solutions of a certain differential equation that will be called the mixed differential equation can be applied to speed up the factorization of completely reducible linear differential operators with rational functions coefficients.