Quadrangulation conjecture

Let rooted maps and rooted quadrangulations be counted by generating series M(u,x,y,z)M(u,x,y,z) and Q(u,x,y,z)Q(u,x,y,z), where u,x,y,zu,x,y,z mark genus, faces, vertices, and edges, respectively. Their generating series satisfy

2Q(u2,x,y,z)=M(4u2,y+u,y,xz2)+M(4u2,yu,y,xz2).2 Q(u^2,x,y,z) = M(4u^2,y+u,y,xz^2) + M(4u^2,y-u,y,xz^2).

Quadrangulation conjecture. There is an explicit bijection preserving genus and number of edges between rooted quadrangulations and rooted maps with certain decorations that proves this identity.

The conjecture asks for a bijective explanation of the generating-series identity relating rooted maps and quadrangulations. The supplied text states that such a bijection exists, but gives no further resolution evidence.

Sources & referencesView supporting material

Primary source

Angèle M. Foley, Alejandro H. Morales, Amarpreet Rattan and Karen Yeats, “Combinatorial and Algebraic Enumeration: a survey of the work of Ian P. Goulden and David M. Jackson”, arXiv:2209.10075 (2022).

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.