-
Map enumeration from a dynamical perspective
Authors:
Nicholas Ercolani,
Joceline Lega,
Brandon Tippings
Abstract:
This contribution summarizes recent work of the authors that combines methods from dynamical systems theory (discrete Painlevé equations) and asymptotic analysis of orthogonal polynomial recurrences, to address long-standing questions in map enumeration. Given a genus $g$, we present a framework that provides the generating function for the number of maps that can be realized on a surface of that…
▽ More
This contribution summarizes recent work of the authors that combines methods from dynamical systems theory (discrete Painlevé equations) and asymptotic analysis of orthogonal polynomial recurrences, to address long-standing questions in map enumeration. Given a genus $g$, we present a framework that provides the generating function for the number of maps that can be realized on a surface of that genus. In the case of 4-valent maps, our methodology leads to explicit expressions for map counts. For general even or mixed valence, the number of vertices of the map specifies the relevant order of the derivatives of the generating function that needs to be considered. Beyond summarizing our own results, we provide context for the program highlighted in this article through a brief review of the literature describing advances in map enumeration. In addition, we discuss open problems and challenges related to this fascinating area of research that stands at the intersection of statistical physics, random matrices, orthogonal polynomials, and discrete dynamical systems theory.
△ Less
Submitted 28 December, 2023; v1 submitted 11 August, 2023;
originally announced August 2023.
-
Non-recursive Counts of Graphs on Surfaces
Authors:
Nicholas Ercolani,
Joceline Lega,
Brandon Tippings
Abstract:
The problem of map enumeration concerns counting connected spatial graphs, with a specified number $j$ of vertices, that can be embedded in a compact surface of genus $g$ in such a way that its complement yields a cellular decomposition of the surface. As such this problem lies at the cross-roads of combinatorial studies in low dimensional topology and graph theory. The determination of explicit f…
▽ More
The problem of map enumeration concerns counting connected spatial graphs, with a specified number $j$ of vertices, that can be embedded in a compact surface of genus $g$ in such a way that its complement yields a cellular decomposition of the surface. As such this problem lies at the cross-roads of combinatorial studies in low dimensional topology and graph theory. The determination of explicit formulae for map counts, in terms of closed classical combinatorial functions of $g$ and $j$ as opposed to a recursive prescription, has been a long-standing problem with explicit results known only for very low values of $g$. In this paper we derive closed-form expressions for counts of maps with an arbitrary number of even-valent vertices, embedded in surfaces of arbitrary genus. In particular, we exhibit a number of higher genus examples for 4-valent maps that have not appeared prior in the literature.
△ Less
Submitted 8 May, 2023; v1 submitted 2 October, 2022;
originally announced October 2022.
-
Multiple Scale Asymptotics of Map Enumeration
Authors:
Nicholas Ercolani,
Joceline Lega,
Brandon Tippings
Abstract:
We introduce a systematic approach to express generating functions for the enumeration of maps on surfaces of high genus in terms of a single generating function relevant to planar surfaces. Central to this work is the comparison of two asymptotic expansions obtained from two different fields of mathematics: the Riemann-Hilbert analysis of orthogonal polynomials and the theory of discrete dynamica…
▽ More
We introduce a systematic approach to express generating functions for the enumeration of maps on surfaces of high genus in terms of a single generating function relevant to planar surfaces. Central to this work is the comparison of two asymptotic expansions obtained from two different fields of mathematics: the Riemann-Hilbert analysis of orthogonal polynomials and the theory of discrete dynamical systems. By equating the coefficients of these expansions in a common region of uniform validity in their parameters, we recover known results and provide new expressions for generating functions associated with graphical enumeration on surfaces of genera 0 through 7. Although the body of the article focuses on 4-valent maps, the methodology presented here extends to regular maps of arbitrary even valence and to some cases of odd valence, as detailed in the appendices.
△ Less
Submitted 30 December, 2022; v1 submitted 2 October, 2022;
originally announced October 2022.
-
Dynamics of Non-polar Solutions to the Discrete Painlevé I Equation
Authors:
Nicholas Ercolani,
Joceline Lega,
Brandon Tippings
Abstract:
This manuscript develops a novel understanding of non-polar solutions of the discrete Painlevé I equation (dP1). As the non-autonomous counterpart of an analytically completely integrable difference equation, this system is endowed with a rich dynamical structure. In addition, its non-polar solutions, which grow without bounds as the iteration index $n$ increases, are of particular relevance to ot…
▽ More
This manuscript develops a novel understanding of non-polar solutions of the discrete Painlevé I equation (dP1). As the non-autonomous counterpart of an analytically completely integrable difference equation, this system is endowed with a rich dynamical structure. In addition, its non-polar solutions, which grow without bounds as the iteration index $n$ increases, are of particular relevance to other areas of mathematics. We combine theory and asymptotics with high-precision numerical simulations to arrive at the following picture: when extended to include backward iterates, known non-polar solutions of dP1 form a family of heteroclinic connections between two fixed points at infinity. One of these solutions, the Freud orbit of orthogonal polynomial theory, is a singular limit of the other solutions in the family. Near their asymptotic limits, all solutions converge to the Freud orbit, which follows invariant curves of dP1, when written as a 3-D autonomous system, and reaches the point at positive infinity along a center manifold. This description leads to two important results. First, the Freud orbit tracks sequences of period-1 and 2 points of the autonomous counterpart of dP1 for large positive and negative values of $n$, respectively. Second, we identify an elegant method to obtain an asymptotic expansion of the iterates on the Freud orbit for large positive values of $n$. The structure of invariant manifolds emerging from this picture contributes to a deeper understanding of the global analysis of an interesting class of discrete dynamical systems.
△ Less
Submitted 4 December, 2021; v1 submitted 7 September, 2021;
originally announced September 2021.
