Evenness conjecture for the Hurwitz continued-fraction invariant density

Let hh be the invariant density, viewed as a function of x+y\mathbbmix+y\mathbbm{i} with real coordinates x,yx,y. Consider the points ±.5±.5\mathbbmi\pm.5\pm.5\mathbbm{i}, ±.5\pm.5, and ±.5\mathbbmi\pm.5\mathbbm{i}. Evenness conjecture. The Taylor series of hh is even in both the xx and yy coordinates around every one of these points. Equivalently, if x0+y0\mathbbmix_0+y_0\mathbbm{i} is any such point, then

m+nmxnyh(x+y\mathbbmi)x+y\mathbbmi=x0+y0\mathbbmi=0\left.\frac{\partial^{m+n}}{\partial^m x\partial^n y}h(x+y\mathbbm{i})\right|_{x+y\mathbbm{i}=x_0+y_0\mathbbm{i}}=0

whenever mm or nn is odd. This conjecture is suggested by numerical calculations of the invariant density and its apparent rotational symmetry, but the statement remains unproved in the supplied text.

Sources & referencesView supporting material

Primary source

Ghaith Hiary and Joseph Vandehey, “Calculations of the invariant measure for Hurwitz Continued Fractions”, arXiv:1805.10151 (2018).

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.