For a regular -gon there are ways to match and glue the sides. The Harer-Zagier bivariate generating function enumerates the gluings by and the genus of the attendant surface and leads to a recurrence equation for the counts of gluings with parameters and . This formula was originally obtained by using the multidimensional Gaussian integrals. Soon after Jackson and later Zagier found alternative proofs that used the symmetric group characters. In this note we give a different, characters-based, proof. Its core is computing and marginally inverting Fourier transform of the underlying probability measure on . Aside from Murnaghan-Nakayama rule for one-hook diagrams, the counting techniques we use are of elementary, combinatorial nature.

生成讲解博客的中文版本

生成AI智能校验的中文版本