Parametric algebraic formula for the excursions of a Gessel-like model

About 12 years old · traced to

Consider the model

S={2ˉ1ˉ,1ˉ1,01ˉ,11}.\mathcal S=\{\bar 2\bar 1,\bar 1 1,0\bar 1,11\}.

Let Q(0,0;t)Q(0,0;t) be its excursion generating function. Define UU as the unique power series in Q[[t]]\mathbb Q[[t]] with

U=t4+53t8+4363t12+⋯U=t^4+53t^8+4363t^{12}+\cdots

satisfying

U(1−2U)3(1−3U)3(1−6U)9=t4(1−4U)4.U(1-2U)^3(1-3U)^3(1-6U)^9=t^4(1-4U)^4.

The parametric algebraic-form conjecture.

Q(0,0;t)=(1−4U)(1−24U+120U2−144U3)(1−3U)(1−2U)3/2(1−6U)9/2.Q(0,0;t)=\frac{(1-4U)(1-24U+120U^2-144U^3)}{(1-3U)(1-2U)^{3/2}(1-6U)^{9/2}}.

This formula is suggested by a guessed algebraic equation and a rational parametrization; the source presents it as conjectural.

References

Primary source

Alin Bostan, Mireille Bousquet-Mélou and Stephen Melczer, “Counting walks with large steps in an orthant”, arXiv:1806.00968 (2018).

Additional references

2 papers in this index state this conjecture (2014–2018). The statement above is taken from the most recent of them; the others are arXiv:1402.0208.

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.