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

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(12U)3(13U)3(16U)9=t4(14U)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)=(14U)(124U+120U2144U3)(13U)(12U)3/2(16U)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.

Sources & referencesView supporting material

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.