53 problems
- 0 votes0 replies0 views
Gessel's hypergeometric conjecture for excursion generating functions
Let be the full generating function for Gessel walks with step set , and let be the generating function of Ges…
- 0 votes0 replies0 views
Bousquet-Mélou–Mishna conjecture on non-holonomicity of infinite-group walks
Let be the generating series of a lattice walk in the quarter plane with small step set, and associate to the walk the group of birational automorphisms of…
- 0 votes0 replies0 views
Raschel–Trotignon conjecture on algebraic generating functions for three-quadrant walks
Let a finite group model be a lattice-walk model with finite orbit group, and let be an admissible integer starting-coordinate parameter. Consider three-quadrant walks starting…
- 0 votes0 replies0 views
Non-algebraicity conjecture for the Kreweras interacting-boundary generating function
Non-algebraicity conjecture. This latter generating series is not algebraic.
- 0 votes0 replies1 view
Parametric algebraic formula for the excursions of a Gessel-like model
The parametric algebraic-form conjecture.
- 0 votes0 replies0 views
The minimal-polynomial degree conjecture for two-step lattice walks
Let and be positive integers with , and let … Let denote the generating function for excursions, meanders, or bridges with step set . Minimal-…
- 0 votes0 replies0 views
The finite-group criterion for holonomicity of quarter-plane walk generating functions
Let be a step set for walks in the quarter plane, and let denote its generating function. Assume that the step set group is not singu…
- 0 votes0 replies0 views
The residue-sign conjecture for Laurent polynomials in slit-plane walks
Let be a Laurent polynomial with positive coefficients, highest exponent , and lowest exponent . Let be the unique positi…
- 0 votes0 replies1 view
Bousquet-Mélou's algebraicity conjecture for slit-plane walk generating functions
Let be a finite set of steps. For walks on the slit plane starting at the origin, define the generating function counted by length and final coordin…
- 0 votes0 replies0 views
Roques's Catalan enumeration conjecture for slit-plane walks from
Roques's conjecture. For walks of length , the number of walks is
- 0 votes0 replies0 views
Roques's Catalan enumeration conjecture for slit-plane walks from
Roques's conjecture. The number of such walks of length is
- 0 votes0 replies0 views
Algebraicity conjecture for zero-orbit-sum quarter-plane walk models
Consider a quarter-plane lattice-walk problem and its orbit sum. Zero-orbit-sum algebraicity conjecture. If the orbit sum is , then the solution is algebraic. Zero orbit sum is…
- 0 votes0 replies0 views
The finite-orbit and algebraicity conjecture for stretched Gessel models
For , define the large-step model by the Laurent polynomial … For , consider the orbit of and whether the monomial fraction…
- 0 votes0 replies0 views
The converse Galois-invariant and decoupling criterion for algebraic generating functions
For a weighted or unweighted quadrant walk model, let its generating function be algebraic in and , let the model admit non-trivial Galois invariants, and let have a Ga…
- 0 votes0 replies0 views
Melczer–Wilson conjecture on zero-drift mostly symmetric walks
Melczer–Wilson conjecture. Zero-drift mostly symmetric models have asymptotic growth of the form . This conjecture was stated incorrectly: the pa…
- 0 votes0 replies0 views
Gessel's non-D-finiteness conjecture for the full generating function
Let be the full generating function for Gessel walks with step set . Gessel's conjecture. The generating function…
- 0 votes0 replies0 views
Trotignon–Raschel conjecture on algebraicity from axis starts
Consider walks in the three-quadrant cone starting at with (equivalently, at ), and restrict to models with a finite group. Trotignon–Raschel conjecture. The g…
- 0 votes0 replies0 views
Conjecture on the time nature of three-quadrant and quarter-plane walk series
For a non-singular step set , let be the generating function for walks in the three-quadrant cone and let be the corresponding quarter-plane ge…
- 0 votes0 replies0 views
Dreyfus–Trotignon conjecture on the nature of three-quadrant walk generating functions
Let be one of the non-singular step sets for walks in the three-quadrant cone, and let be its generating function. Let denote the corresp…
- 0 votes0 replies1 view
Non-occurrence of mixed rationality in two-dimensional lattice-walk asymptotics
The associated excursion sequence of a quadrant walk model may have an asymptotic expansion with some initial exponents rational and a later exponent irrational. Non-occurrence con…
- 0 votes0 replies0 views
Enumeration bounds for algebraic and non-D-finite two-step models
Let be the class of 6909 non-trivial quarter-plane rules. Let , and be the sets of…
- 0 votes0 replies0 views
Enumeration conjecture for symmetry-group orders of two-step rules
Let be the class of two-step rules, and let denote the set of rules in whose symmetry group has order , with allowed…
- 0 votes0 replies0 views
Equality of directional group orders for two-step rules
Let be the class of two-step rules, and let denote the corresponding groups for the four directions. Directional group-order conjecture. For every tw…
- 0 votes0 replies0 views
Asymptotics conjecture for quarter-plane spiral walks
Let be the number of quarter-plane spiral walks of length . Let…
- 0 votes0 replies0 views
Bousquet-Mélou and Mishna's holonomicity conjecture for small-step quarter-plane models
A small-step model is a step set , considered up to isomorphism, with walks restricted to the quarter plane. Bousquet-Mélou and Mis…