No Arabic abstract
In this paper, we begin with the Lehman-Walsh formula counting one-face maps and construct two involutions on pairs of permutations to obtain a new formula for the number $A(n,g)$ of one-face maps of genus $g$. Our new formula is in the form of a convolution of the Stirling numbers of the first kind which immediately implies a formula for the generating function $A_n(x)=sum_{ggeq 0}A(n,g)x^{n+1-2g}$ other than the well-known Harer-Zagier formula. By reformulating our expression for $A_n(x)$ in terms of the backward shift operator $E: f(x)rightarrow f(x-1)$ and proving a property satisfied by polynomials of the form $p(E)f(x)$, we easily establish the recursion obtained by Chapuy for $A(n,g)$. Moreover, we give a simple combinatorial interpretation for the Harer-Zagier recurrence.
Ordinary maps satisfy topological recursion for a certain spectral curve $(x, y)$. We solve a conjecture from arXiv:1710.07851 that claims that fully simple maps, which are maps with non self-intersecting disjoint boundaries, satisfy topological recursion for the exchanged spectral curve $(y, x)$, making use of the topological recursion for ciliated maps arXiv:2105.08035.
The operator nabla, introduced by Garsia and the author, plays a crucial role in many aspect of the study of diagonal harmonics. Besides giving several new formulas involving this operator, we show how one is lead to representation theoretic explanations for conjectures about the effect of this operator on Schur functions.
The effectiveness of shortcut/skip-connection has been widely verified, which inspires massive explorations on neural architecture design. This work attempts to find an effective way to design new network architectures. It is discovered that the main difference between network architectures can be reflected in their recursion formulas. Based on this, a methodology is proposed to design novel network architectures from the perspective of mathematical formulas. Afterwards, a case study is provided to generate an improved architecture based on ResNet. Furthermore, the new architecture is compared with ResNet and then tested on ResNet-based networks. Massive experiments are conducted on CIFAR and ImageNet, which witnesses the significant performance improvements provided by the architecture.
We introduce the notion of fully simple maps, which are maps with non self-intersecting disjoint boundaries. In contrast, maps where such a restriction is not imposed are called ordinary. We study in detail the combinatorics of fully simple maps with topology of a disk or a cylinder. We show that the generating series of simple disks is given by the functional inversion of the generating series of ordinary disks. We also obtain an elegant formula for cylinders. These relations reproduce the relation between moments and free cumulants established by Collins et al. math.OA/0606431, and implement the symplectic transformation $x leftrightarrow y$ on the spectral curve in the context of topological recursion. We conjecture that the generating series of fully simple maps are computed by the topological recursion after exchange of $x$ and $y$. We propose an argument to prove this statement conditionally to a mild version of symplectic invariance for the $1$-hermitian matrix model, which is believed to be true but has not been proved yet. Our argument relies on an (unconditional) matrix model interpretation of fully simple maps, via the formal hermitian matrix model with external field. We also deduce a universal relation between generating series of fully simple maps and of ordinary maps, which involves double monotone Hurwitz numbers. In particular, (ordinary) maps without internal faces -- which are generated by the Gaussian Unitary Ensemble -- and with boundary perimeters $(lambda_1,ldots,lambda_n)$ are strictly monotone double Hurwitz numbers with ramifications $lambda$ above $infty$ and $(2,ldots,2)$ above $0$. Combining with a recent result of Dubrovin et al. math-ph/1612.02333, this implies an ELSV-like formula for these Hurwitz numbers.
Simple boundary expressions for the k-th power of the cotangent line class on the moduli space of stable 1-pointed genus g curves are found for k >= 2g. The method is by virtual localization on the moduli space of maps to the projective line. As a consequence, nontrivial tautological classes in the kernel of the push-forward map associated to the irreducible boundary divisor of the moduli space of stable g+1 curves are constructed. The geometry of genus g+1 curves then provides universal equations in genus g Gromov-Witten theory. As an application, we prove all the Gromov-Witten identities conjectured recently by K. Liu and H. Xu.