Boundary generating-function non-D-finiteness conjecture for selected quarter-plane models

For a small-step quarter-plane model with stepset SS, let Q(x,y;t)Q(x,y;t) be its generating function, and let Q(0,1;t)Q(0,1;t) and Q(1,0;t)Q(1,0;t) denote its two boundary specializations. The models referred to in Tables~ and ~ are the models for which the numerical boundary-exponent computations described in the surrounding text suggest the stated behavior. Boundary non-D-finiteness conjecture. The models in Tables~ and ~ have the property that at least one of Q(0,1;t)Q(0,1;t) and Q(1,0;t)Q(1,0;t) is not D-finite. The claim is motivated by numerical estimates of coefficient exponents, but the supplied source does not provide a resolution.

Sources & referencesView supporting material

Primary source

Marni Mishna and Juan Pulido, “On the small-step quarter plane lattice walks with a non D-finite univariate generating function”, arXiv:2605.16688 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.