Asymptotics conjecture for quarter-plane spiral walks

Let Pm\tikz\draw(0ex,1ex)(0ex,0ex)(1ex,0ex)(0.2ex,0ex)P_m^{{\mathrel{\tikz{\draw (0ex,1ex) -- (0ex,0ex) -- (1ex,0ex) (-0.2ex,0ex)}}}} be the number of quarter-plane spiral walks of length mm. Let Pm,x\tikz\draw(0ex,1ex)(0ex,0ex)(1ex,0ex)(0.2ex,0ex)P_{m,\mathbf{x}}^{{\mathrel{\tikz{\draw (0ex,1ex) -- (0ex,0ex) -- (1ex,0ex) (-0.2ex,0ex)}}}}, Pm,y\tikz\draw(0ex,1ex)(0ex,0ex)(1ex,0ex)(0.2ex,0ex)P_{m,\mathbf{y}}^{{\mathrel{\tikz{\draw (0ex,1ex) -- (0ex,0ex) -- (1ex,0ex) (-0.2ex,0ex)}}}} and Pm,o\tikz\draw(0ex,1ex)(0ex,0ex)(1ex,0ex)(0.2ex,0ex)P_{m,\mathbf{o}}^{{\mathrel{\tikz{\draw (0ex,1ex) -- (0ex,0ex) -- (1ex,0ex) (-0.2ex,0ex)}}}} count such walks ending on the x\mathbf{x}-axis, on the y\mathbf{y}-axis and at the origin, respectively. Spiral-walk asymptotics conjecture. As mm\to\infty,

Pm\tikz\draw(0ex,1ex)(0ex,0ex)(1ex,0ex)(0.2ex,0ex)=8π×1m×2m×(132m+O(1m2)).P_m^{{\mathrel{\tikz{\draw (0ex,1ex) -- (0ex,0ex) -- (1ex,0ex) (-0.2ex,0ex)}}}}=\frac{8}{\pi}\times\frac{1}{m}\times2^m\times\left(1-\frac{3}{2m}+\mathrm{O}\left(\frac{1}{m^2}\right)\right).

Moreover,

Pm,x\tikz\draw(0ex,1ex)(0ex,0ex)(1ex,0ex)(0.2ex,0ex)=16π×1m2×2m×(14(1)m2m+O(1m2)),P_{m,\mathbf{x}}^{{\mathrel{\tikz{\draw (0ex,1ex) -- (0ex,0ex) -- (1ex,0ex) (-0.2ex,0ex)}}}}=\frac{16}{\pi}\times\frac{1}{m^2}\times2^m\times\left(1-\frac{4-(-1)^m}{2m}+\mathrm{O}\left(\frac{1}{m^2}\right)\right), Pm,y\tikz\draw(0ex,1ex)(0ex,0ex)(1ex,0ex)(0.2ex,0ex)=16π×1m2×2m×(18(1)m2m+O(1m2)),P_{m,\mathbf{y}}^{{\mathrel{\tikz{\draw (0ex,1ex) -- (0ex,0ex) -- (1ex,0ex) (-0.2ex,0ex)}}}}=\frac{16}{\pi}\times\frac{1}{m^2}\times2^m\times\left(1-\frac{8-(-1)^m}{2m}+\mathrm{O}\left(\frac{1}{m^2}\right)\right),

and

Pm,o\tikz\draw(0ex,1ex)(0ex,0ex)(1ex,0ex)(0.2ex,0ex)={64π×1m3×2m×(1152m+O(1m2)),m even,0,m odd.P_{m,\mathbf{o}}^{{\mathrel{\tikz{\draw (0ex,1ex) -- (0ex,0ex) -- (1ex,0ex) (-0.2ex,0ex)}}}}=\begin{cases}\displaystyle\frac{64}{\pi}\times\frac{1}{m^3}\times2^m\times\left(1-\frac{15}{2m}+\mathrm{O}\left(\frac{1}{m^2}\right)\right),&m\text{ even},\\[4pt]0,&m\text{ odd}. \end{cases}

These asymptotics were obtained from elementary series analysis because rigorous asymptotic derivation was unavailable in the source; the conjecture remains open in the supplied material.

Sources & referencesView supporting material

Primary source

Nicholas R. Beaton, “Walks obeying two-step rules on the square lattice: full, half and quarter planes”, arXiv:2010.06955 (2021).

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.