arXiv++ Combinatorics

We consider saddle point integrals in d variables whose phase function is neither real nor purely imaginary. Results analogous to those for Laplace (real phase) and Fourier (imaginary phase) integrals hold whenever the phase function is analytic and nondegenerate. These results generalize what is well known for integrals of Laplace and Fourier type. The method is via contour shifting in complex d-space. This work is motivated by applications to asymptotic enumeration.

Bender-Canfield showed that a plethora of graph counting problems in oriented/unoriented surfaces involve two constants $t_g$ and $p_g$ for the oriented and the unoriented case respectively. T.T.Q. Le and the authors recently discovered a hidden relation between the sequence $t_g$ and a formal power series solution $u(z)$ of the Painlevé I equation which, among other things, allows to give exact asymptotic expansion of $t_g$ to all orders in $1/g$ for large $g$. The paper introduces a formal power series solution $v(z)$ of a Riccati equation, gives a nonlinear recursion for its coefficients and an exact asymptotic expansion to all orders in $g$ for large $g$, using the theory of Borel transforms. In addition, we conjecture a precise relation between the sequence $p_g$ and $v(z)$. Our conjecture is motivated by the enumerative aspects of a quartic matrix model for real symmetric matrices, and the analytic properties of its double scaling limit. In particular, the matrix model provides a computation of the number of rooted quadrangulations in the 2-dimensional projective plane. Our conjecture implies analyticity of the $\mathrm{O}(N)$ and $\mathrm{Sp}(N)$-types of free energy of an arbitrary closed 3-manifold in a neighborhood of zero. Finally, we give a matrix model calculation of the Stokes constants, pose several problems that can be answered by the Riemann-Hilbert approach, and provide ample numerical evidence for our results.

A connection is made between complete homogeneous symmetric polynomials in Jucys-Murphy elements and the unitary Weingarten function from random matrix theory. In particular we show that $h_r(J_1,...,J_n),$ the complete homogeneous symmetric polynomial of degree $r$ in the JM elements, coincides with the $r$th term in the asymptotic expansion of the Weingarten function. We use this connection to determine precisely which conjugacy classes occur in the class basis resolution of $h_r(J_1,...,J_n),$ and to explicitly determine the coefficients of the classes of minimal height when $r < n.$ These coefficients, which turn out to be products of Catalan numbers, are governed by the Moebius function of the non-crossing partition lattice $NC(n).$

It is well-known that the partition function of the unitary ensembles of random matrices is given by a tau-function of the Toda lattice hierarchy and those of the orthogonal and symplectic ensembles are tau-functions of the Pfaff lattice hierarchy. In these cases the asymptotic expansions of the free energies given by the logarithm of the partition functions lead to the dispersionless (i.e. continuous) limits for the Toda and Pfaff lattice hierarchies. There is a universality between all three ensembles of random matrices, one consequence of which is that the leading orders of the free energy for large matrices agree. In this paper, this universality, in the case of Gaussian ensembles, is explicitly demonstrated by computing the leading orders of the free energies in the expansions. We also show that the free energy as the solution of the dispersionless Toda lattice hierarchy gives a solution of the dispersionless Pfaff lattice hierarchy, which implies that this universality holds in general for the leading orders of the unitary, orthogonal, and symplectic ensembles. We also find an explicit formula for the two point function $F_{nm}$ which represents the number of connected ribbon graphs with two vertices of degrees n and m on a sphere. The derivation is based on the Faber polynomials defined on the spectral curve of the dispersionless Toda lattice hierarchy, and $\frac{1}{nm} F_{nm}$ are the Grunsky coefficients of the Faber polynomials.

We construct explicit $δ$-bracketing covers with minimal cardinality for the set system of (anchored) rectangles in the two dimensional unit cube. More precisely, the cardinality of these $δ$-bracketing covers are bounded from above by $δ^{-2} + o(δ^{-2})$. A lower bound for the cardinality of arbitrary $δ$-bracketing covers for $d$-dimensional anchored boxes from [M. Gnewuch, Bracketing numbers for axis-parallel boxes and applications to geometric discrepancy, J. Complexity 24 (2008) 154-172] implies the lower bound $δ^{-2}+O(δ^{-1})$ in dimension $d=2$, showing that our constructed covers are (essentially) optimal. We study also other $δ$-bracketing covers for the set system of rectangles, deduce the coefficient of the most significant term $δ^{-2}$ in the asymptotic expansion of their cardinality, and compute their cardinality for explicit values of $δ$.

The generating series of a radix-rational sequence is a rational formal power series from formal language theory viewed through a fixed radix numeration system. For each radix-rational sequence with complex values we provide an asymptotic expansion for the sequence of its Cesàro means. The precision of the asymptotic expansion depends on the joint spectral radius of the linear representation of the sequence; the coefficients are obtained through some dilation equations. The proofs are based on elementary linear algebra.

By a discrete torus we mean the Cayley graph associated to a finite product of finite cycle groups with generating set given by choosing a generator for each cyclic factor. In this article we study the spectral theory of the combinatorial Laplacian for sequences of discrete tori when the orders of the cyclic factors tend to infinity at comparable rates. First we show that the sequence of heat kernels corresponding to the degenerating family converges, after re-scaling, to the heat kernel on an associated real torus. We then establish an asymptotic expansion, in the degeneration parameter, of the determinant of the combinatorial Laplacian. The zeta-regularized determinant of the Laplacian of the limiting real torus appears as the constant term in this expansion. On the other hand, using a classical theorem by Kirchhoff the determinant of the combinatorial Laplacian of a finite graph divided by the number of vertices equals the number of spanning trees, called the complexity, of the graph. As a result, we establish a precise connection between the complexity of the Cayley graphs of finite abelian groups and heights of real tori. It is also known that spectral determinants on discrete tori can be expressed using trigonometric functions and that spectral determinants on real tori can be expressed using modular forms on general linear groups. Another interpretation of our analysis is thus to establish a link between limiting values of certain products of trigonometric functions and modular forms. The heat kernel analysis which we employ uses a careful study of I-Bessel functions. Our methods extend to prove the asymptotic behavior of other spectral invariants through degeneration, such as special values of spectral zeta functions and Epstein-Hurwitz type zeta functions.

Let $\sum_{β\in\nats^d} F_βx^β$ be a multivariate power series. For example $\sum F_βx^β$ could be a generating function for a combinatorial class. Assume that in a neighbourhood of the origin this series represents a nonentire function $F=G/H^p$ where $G$ and $H$ are holomorphic and $p$ is a positive integer. Given a direction $α\in\pnats^d$ for which the asymptotics are controlled by a smooth point of the singular variety $H = 0$, we compute the asymptotics of $F_{n α}$ as $n\to\infty$. We do this via multivariate singularity analysis and give an explicit formula for the full asymptotic expansion. This improves on earlier work of R. Pemantle and the second author and allows for more accurate numerical approximation, as demonstrated by our examples.

Stirling's formula, the asymptotic expansion of $n!$ for $n$ large, or of $Γ(z)$ for $z\to \infty$, is derived directly from the recursion equation $Γ(z+1) =z Γ(s)$ and the normalization condition $Γ({1/2}) =\sqrtπ$.

The purpose of the paper is three-fold: (a) we prove that every sequence which is a multidimensional sum of a balanced hypergeometric term has an asymptotic expansion of Gevrey type-1 with rational exponents, (b) we construct a class of $G$-functions that come from enumerative combinatorics, and (c) we give a counterexample to a question of Zeilberger that asks whether holonomic sequences can be written as multisums of balanced hypergeometric terms. The proofs utilize the notion of a $G$-function, introduced by Siegel, and its analytic/arithmetic properties shown recently by André.

Sequences that are defined by multisums of hypergeometric terms with compact support occur frequently in enumeration problems of combinatorics, algebraic geometry and perturbative quantum field theory. The standard recipe to study the asymptotic expansion of such sequences is to find a recurrence satisfied by them, convert it into a differential equation satisfied by their generating series, and analyze the singulatiries in the complex plane. We propose a shortcut by constructing directly from the structure of the hypergeometric term a finite set, for which we conjecture (and in some cases prove) that it contains all the singularities of the generating series. Our construction of this finite set is given by the solution set of a balanced system of polynomial equations of a rather special form, reminiscent of the Bethe ansatz. The finite set can also be identified with the set of critical values of a potential function, as well as with the evaluation of elements of an additive $K$-theory group by a regulator function. We give a proof of our conjecture in some special cases, and we illustrate our results with numerous examples.

We define the Euler number of a bipartite graph on $n$ vertices to be the number of labelings of the vertices with $1,2,...,n$ such that the vertices alternate in being local maxima and local minima. We reformulate the problem of computing the Euler number of certain subgraphs of the Cartesian product of a graph $G$ with the path $P_m$ in terms of self adjoint operators. The asymptotic expansion of the Euler number is given in terms of the eigenvalues of the associated operator. For two classes of graphs, the comb graphs and the Cartesian product $P_2 \Box P_m$, we numerically solve the eigenvalue problem.

The Euler-MacLaurin summation formula relates a sum of a function to a corresponding integral, with a remainder term. The remainder term has an asymptotic expansion, and for a typical analytic function, it is a divergent (Gevrey-1) series. Under some decay assumptions of the function in a half-plane (resp. in the vertical strip containing the summation interval), Hardy (resp. Abel-Plana) prove that the asymptotic expansion is a Borel summable series, and give an exact Euler-MacLaurin summation formula. Using a mild resurgence hypothesis for the function to be summed, we give a Borel summable transseries expression for the remainder term, as well as a Laplace integral formula, with an explicit integrand which is a resurgent function itself. In particular, our summation formula allows for resurgent functions with singularities in the vertical strip containing the summation interval. Finally, we give two applications of our results. One concerns the construction of solutions of linear difference equations with a small parameter. And another concerns the problem of proving resurgence of formal power series associated to knotted objects.

We summarize some combinatoric problems solved by the higher Catalan numbers. These problems are generalizations of the combinatoric problems solved by the Catalan numbers. The generating function of the higher Catalan numbers appeared recently as an auxiliary function in enumerating maps and explicit computations of the asymptotic expansion of the partition function of random matrices in the unitary ensemble case. We give combinatoric proofs of the formulas for the number of genus 0 and genus 1 maps.

Given an integer m>=1, let || || be a norm in R^{m+1} and let S denote the set of points with nonnegative coordinates in the unit sphere with respect to this norm. Consider for each 1<= j<= m a function f_j(z) that is analytic in an open neighborhood of the point z=0 in the complex plane and with possibly negative Taylor coefficients. Given a vector n=(n_0,...,n_m) with nonnegative integer coefficients, we develop a method to systematically associate a parameter-varying integral to study the asymptotic behavior of the coefficient of z^{n_0} of the Taylor series of (f_1(z))^{n_1}...(f_m(z))^{n_m}, as ||n|| tends to infinity. The associated parameter-varying integral has a phase term with well specified properties that make the asymptotic analysis of the integral amenable to saddle-point methods: for many directions d in S, these methods ensure uniform asymptotic expansions for the Taylor coefficient of z^{n_0} of (f_1(z))^{n_1}...(f_m(z))^{n_m}, provided that n/||n|| stays sufficiently close to d as ||n|| blows up to infinity. Our method finds applications in studying the asymptotic behavior of the coefficients of a certain multivariable generating functions as well as in problems related to the Lagrange inversion formula for instance in the context random planar maps.

We apply the Euler--Maclaurin formula to find the asymptotic expansion of the sums $\sum_{k=1}^n (\log k)^p / k^q$, ~$\sum k^q (\log k)^p$, ~$\sum (\log k)^p /(n-k)^q$, ~$\sum 1/k^q (\log k)^p $ in closed form to arbitrary order ($p,q \in\N$). The expressions often simplify considerably and the coefficients are recognizable constants. The constant terms of the asymptotics are either $ζ^{(p)}(\pm q)$ (first two sums), 0 (third sum) or yield novel mathematical constants (fourth sum). This allows numerical computation of $ζ^{(p)}(\pm q)$ faster than any current software. One of the constants also appears in the expansion of the function $\sum_{n\geq 2} (n\log n)^{-s}$ around the singularity at $s=1$; this requires the asymptotics of the incomplete gamma function. The manipulations involve polylogs for which we find a representation in terms of Nielsen integrals, as well as mysterious conjectures for Bernoulli numbers. Applications include the determination of the asymptotic growth of the Taylor coefficients of $(-z/\log(1-z))^k$. We also give the asymptotics of Stirling numbers of first kind and their formula in terms of harmonic numbers.

A ``hybrid method'', dedicated to asymptotic coefficient extraction in combinatorial generating functions, is presented, which combines Darboux's method and singularity analysis theory. This hybrid method applies to functions that remain of moderate growth near the unit circle and satisfy suitable smoothness assumptions--this, even in the case when the unit circle is a natural boundary. A prime application is to coefficients of several types of infinite product generating functions, for which full asymptotic expansions (involving periodic fluctuations at higher orders) can be derived. Examples relative to permutations, trees, and polynomials over finite fields are treated in this way.

In this paper we derive a hierarchy of differential equations which uniquely determine the coefficients in the asymptotic expansion, for large $N$, of the logarithm of the partition function of $N \times N$ Hermitian random matrices. These coefficients are generating functions for graphical enumeration on Riemann surfaces. The case that we particularly consider is for an underlying measure that differs from the Gaussian weight by a single monomial term of degree $2ν$. The coupling parameter for this term plays the role of the independent dynamical variable in the differential equations. From these equations one may deduce functional analytic characterizations of the coefficients in the asymptotic expansion. Moreover, this ode system can be solved recursively to explicitly construct these coefficients as functions of the coupling parameter. This analysis of the fine structure of the asymptotic coefficients can be extended to multiple coupling parameters and we present a limited illustration of this for the case of two parameters.

We use the theory of symmetric functions to enumerate various classes of alternating permutations w of {1,2,...,n}. These classes include the following: (1) both w and w^{-1} are alternating, (2) w has certain special shapes, such as (m-1,m-2,...,1), under the RSK algorithm, (3) w has a specified cycle type, and (4) w has a specified number of fixed points. We also enumerate alternating permutations of a multiset. Most of our formulas are umbral expressions where after expanding the expression in powers of a variable E, E^k is interpreted as the Euler number E_k. As a small corollary, we obtain a combinatorial interpretation of the coefficients of an asymptotic expansion appearing in Ramanujan's Lost Notebook.

Let $\{a_\rr : \rr \in (\Z^+)^d \}$ be a $d$-dimensional array of numbers, for which the generating function $F(\zz) := \sum_\rr a_\rr \zz^\rr$ is meromorphic in a neighborhood of the origin. For example, $F$ may be a rational multivariate generating function. We discuss recent results that allow the effective computation of asymptotic expansions for the coefficients of $F$. Our purpose is to illustrate the use of these techniques on a variety of problems of combinatorial interest. The survey begins by summarizing previous work on the asymptotics of univariate and multivariate generating functions. Next we describe the Morse-theoretic underpinnings of some new asymptotic techniques. We then quote and summarize these results in such a way that only elementary analyses are needed to check hypotheses and carry out computations. The remainder of the survey focuses on combinatorial applications, such as enumeration of words with forbidden substrings, edges and cycles in graphs, polyominoes, and descents in permutations. After the individual examples, we discuss three broad classes of examples, namely functions derived via the transfer matrix method, those derived via the kernel method, and those derived via the method of Lagrange inversion. These methods have the property that generating functions derived from them are amenable to our asymptotic analyses, and we describe further machinery that facilitates computations for these classes of examples.