Fifth-order differential equation conjecture for the degree-of-symmetry generating function of Dyck paths

Let D(s,z)D(s,z) be the generating function for Dyck paths with respect to their degree of symmetry, with zz marking semilength. In the walk formulation, D(s,z)=R(1,0,s,z)D(s,z)=R(1,0,s,z).

Differential-equation conjecture. The generating function D(s,z)D(s,z) is D-finite in zz but not algebraic. Specifically, it satisfies a fifth-order linear differential equation with polynomial coefficients with maximum degree 2727 in zz.

The conjecture is based on computations by Alin Bostan using the functional equation for the auxiliary walk generating function. The source gives no evidence that it has been proved or disproved.

Sources & referencesView supporting material

Primary source

Sergi Elizalde, “The degree of symmetry of lattice paths”, arXiv:2002.12874 (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.