8 problems
- 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 replies1 view
Boundary generating-function non-D-finiteness conjecture for selected quarter-plane models
For a small-step quarter-plane model with stepset , let be its generating function, and let and denote its two boundary specializations. The mod…
- 0 votes0 replies0 views
Bousquet-Mélou–Mishna D-finiteness conjecture for quarter-plane walks
A small-step quarter-plane lattice model is determined by a stepset , and its counting generating function is … where the sum ranges over…
- 0 votes0 replies0 views
Finite-group criterion for computable decoupling functions
Finite-group decoupling conjecture. A decoupling function can be computed if and only if the group of the walk is finite.
- 0 votes0 replies0 views
The conjectured inequality for the 2sip generating function
Conjectured 2sip inequality. For , one has
- 0 votes0 replies0 views
The equal growth-rate conjecture for deque-sortable and two-stack-in-parallel permutations
Equal growth-rate conjecture. The radii of convergence of the two generating functions are equal. The conjecture is reduced to conjectures of Albert and Bousquet-Mélou concerning a…
- 0 votes0 replies1 view
Bousquet-Mélou–Mishna holonomy conjecture for quarter-plane walks
Bousquet-Mélou–Mishna conjecture. Such a walk has a holonomic generating series if and only if its associated group is finite.
- 0 votes0 replies0 views
The symmetry conjecture for exponential growth of quarter-plane walks
Let be a step set symmetric about an axis , where passes through the first quadrant, potentially along a boundary. Let be the line perpendicular t…