arXiv++ Combinatorics

We prove that meromorphic differentials $ω^{(0)}_n(z_1,...,z_n)$ which are recursively generated by an involution identity are symmetric in all their arguments $z_1,...,z_n$. The proof involves an intriguing combinatorial identity between integer partitions into given number of parts.

We introduce a new family of oriented manifolds with boundaries called the forest biassociahedra and forest bimultiplihedra, generalizing the standard biassociahedra. They are defined as moduli spaces of ascending-descending biforests and are expected to act as parameter spaces for operations defined on Morse and Floer chains in the context of compact Lie group actions. We study the structure of their boundary, and derive some algebraic notions of ``$f$-bialgebras'', as well as related notions of bimodules, morphisms and categories. This allows us to state some conjectures describing compact Lie group actions on Morse and Floer chains, and on Fukaya categories.

For a given permutation or set partition there is a natural way to assign a genus. Counting all permutations or partitions of a fixed genus according to cycle lengths or block sizes, respectively, is the main content of this article. After a variable transformation, the generating series are rational functions with poles located at the ramification points in the new variable. The generating series for any genus is given explicitly for permutations and up to genus 2 for set partitions. Extending the topological structure not just by the genus but also by adding more boundaries, we derive the generating series of non-crossing partitions on the cylinder from known results of non-crossing permutations on the cylinder. Most, but not all, outcomes of this article are special cases of already known results, however they are not represented in this way in the literature, which however seems to be the canonical way. To make the article as accessible as possible, we avoid going into details into the explicit connections to Topological Recursion and Free Probability Theory, where the original motivation came from.

The functional relation coming from the $x-y$ symplectic transformation of Topological Recursion has a lot of applications, for instance it is the higher order moment-cumulant relation in free probability or can be used to compute intersection numbers on the moduli space of complex curves. We derive the Laplace transform of this functional relation, which has a very nice and compact form as a formal power series in $\hbar$. We apply the Laplace transformed formula to the Airy curve and the Lambert curve.

Let $W_{g,n}$ be the correlators computed by Topological Recursion for some given spectral curve $(x,y)$ and $W^\vee_{g,n}$ for $(y,x)$, where the role of $x,y$ is inverted. These two sets of correlators $W_{g,n}$ and $W^\vee_{g,n}$ are related by the $x$-$y$ symplectic transformation. Bychkov, Dunin-Barkowski, Kazarian and Shadrin computed a functional relation between two slightly different sets of correlators. Together with Alexandrov, they proved that their functional relation is indeed the $x$-$y$ symplectic transformation in Topological Recursion. This article provides a fairly simple formula directly between $W_{g,n}$ and $W^\vee_{g,n}$ which holds by their theorem for meromorphic $x$ and $y$ with simple and distinct ramification points. Due to the recent connection between free probability and fully simple vs ordinary maps, we conclude a simplified moment-cumulant relation for moments and higher order free cumulants.

Topological Recursion generates a family of symmetric differential forms (correlators) from some initial data $(Σ,x,y,B)$. We give a functional relation between the correlators of genus $g=0$ generated by the initial data $(Σ,x,y,B)$ and by the initial data $(Σ,y,x,B)$, where $x$ and $y$ are interchanged. The functional relation is derived with the loop insertion operator by computing a functional relation for some intermediate correlators. Additionally, we show that our result is equivalent to the recent result of \cite{Borot:2021thu} in case of $g=0$. Consequently, we are providing a simplified functional relation between generating series of higher order free cumulants and moments in higher order free probability.

We prove that the genus-0 sector of the quartic analogue of the Kontsevich model is completely governed by an involution identity which expresses the meromorphic differential $ω_{0,n}$ at a reflected point $ιz$ in terms of all $ω_{0,m}$ with $m\leq n$ at the original point $z$. We prove that the solution of the involution identity obeys blobbed topological recursion, which confirms a previous conjecture about the quartic Kontsevich model.

Correlation functions in a dynamic quartic matrix model are obtained from the two-point function through a recurrence relation. This paper gives the explicit solution of the recurrence by mapping it bijectively to a two-fold nested combinatorial structure each counted by Catalan numbers. These `nested Catalan tables' have a description as diagrams of non-crossing chords and threads.