arXiv++ Combinatorics

Given a graph $G$, we form a random subgraph $G_p$ by including each edge of $G$ independently with probability $p$. We provide an asymptotic expansion of the expected number of independent sets in random subgraphs of regular bipartite graphs satisfying certain vertex-isoperimetric properties, extending the work of Kronenberg and Spinka on the percolated hypercube. Combining graph containers with the cluster expansion from statistical physics, we give an expansion of the partition function of the Ising model in certain range of the parameters. Among other applications, we obtain results for even tori of growing side-length. As a tool, we prove a refined container lemma for the Ising model, which mildly improves recent bounds of Jenssen, Malekshahian, and Park.

In this paper we provide an asymptotic expansion for the number of independent sets in a general class of regular, bipartite graphs satisfying some vertex-expansion properties, extending results of Jenssen and Perkins on the hypercube and strengthening results of Jenssen, Perkins and Potukuchi. More precisely, we give an expansion of the independence polynomial of such graphs using a polymer model and the cluster expansion. In addition to the number of independent sets, our results yields information on the typical structure of (weighted) independent sets in such graphs. The class of graphs we consider covers well-studied cases like the hypercube or the middle layers graph, and we show further that it includes any Cartesian product of bipartite, regular base graphs of bounded size. To this end, we prove strong bounds on the vertex expansion of bipartite and regular Cartesian product graphs, which might be of independent interest.

We study the heat content for Laplacians on compact, finite metric graphs with Dirichlet conditions imposed at the "boundary" (i.e., a given set of vertices). We prove a closed formula of combinatorial flavour, as it is expressed as a sum over all closed orbits hitting the boundary. Our approach delivers a small-time asymptotic expansion that delivers information on crucial geometric quantities of the metric graph, much in the spirit of the celebrated corresponding result for manifolds due to Gilkey-van den Berg; but unlike other known formulae based on different methods, ours holds for all times $t>0$ and it displays stronger decay rate in the short time limit. Furthermore, we prove new surgery principles for the heat content and use them to derive comparison principles for the heat content between metric graphs of different topology.

We propose the spectral degree exponent as a novel graph metric. Although Hofmeister \cite{HofmeisterThesis} has studied the same metric, we generalise Hofmeister's work to weighted graphs. We provide efficient iterative formulas and bounds for the spectral degree exponent and provide highly accurate asymptotic expansions for the spectral degree exponent for several families of graphs. Furthermore, we uncover a close relation between the spectral degree exponent and the well-known degree assortativity, by showing high correlations between the two metrics in all small graphs, several random graph models and many real-world graphs.

In this paper, we obtain the asymptotic expansions of super intersection numbers and prove that the associated coefficients are polynomials. Moreover, we give an algorithm which can explicitly compute these coefficients. As an application, we prove the existence of a complete asymptotic expansion of super Weil-Petersson volumes in the large genus. This generalizes the celebrated work of Mirzakhani-Zograf. We also confirm two conjectural formulae proposed by Griguolo-Papalini-Russo-Seminara.

Mirzakhani-Zograf proved the large genus asymptotic expansions of Weil-Petersson volumes and showed that the asymptotic coefficients are polynomials in $\mathbb Q[π^{-2},π^2]$. They also conjectured that these are actually polynomials in $\mathbb Q[π^{-2}]$. In this paper, we prove Mirzakhani-Zograf's conjecture.

Defining a family of recurrences, we generalize Comtet's formula for the generating function of the enumeration of indecomposable permutations. Consequently, we generalize Panaitopol's asymptotic expansion for the prime counting function, obtaining asymptotic expansions salient to the first Hardy-Littlewood conjecture.

Dumitru Popa found asymptotic expansions for certain nonlinear recurrences, but left open the numerical evaluation of associated constants. We address this issue. A change of variables involving reciprocals and the algorithm of Mavecha & Laohakosol play a key role in our computations.

Let $p(n)$ denote the partition function. In this paper our main goal is to derive an asymptotic expansion up to order $N$ (for any fixed positive integer $N$) along with estimates for error bounds for the shifted quotient of the partition function, namely $p(n+k)/p(n)$ with $k\in \mathbb{N}$, which generalizes a result of Gomez, Males, and Rolen. In order to do so, we derive asymptotic expansions with error bounds for the shifted version $p(n+k)$ and the multiplicative inverse $1/p(n)$, which is of independent interest.

N. G. de Bruijn (1958) studied the asymptotic expansion of iterates of sin$(x)$ with $0 < x \leq π/2$. Bencherif & Robin (1994) generalized this result to increasing analytic functions $f(x)$ with an attractive fixed point at 0 and $x > 0$ suitably small. Mavecha & Laohakosol (2013) formulated an algorithm for explicitly deriving required parameters. We review their method, testing it initally on the logistic function $\ell(x)$, a certain radical function $r(x)$, and later on several transcendental functions. Along the way, we show how $\ell(x)$ and $r(x)$ are kindred functions; the same is also true for sin$(x)$ and arcsinh$(x)$.

One of the most important sequences in enumerative combinatorics is OEIS sequence A85, the number of involutions of length n. In the Art of Computer Programming, vol. 3, Don Knuth derived the O(1/n) asymptotic formula for these numbers. In this modest tribute to our two heroes, Neil Sloane who just turned 85, and Don Knuth who was 85 a year ago, we go all the way to an $O(1/n^{85})$ asymptotic formula.

Baxter permutations arose in the study of fixed points of the composite of commuting functions by Glen Baxter in 1964. This type of permutations are counted by Baxter numbers $B_n$. It turns out that $B_n$ enumerate a lot of discrete objects such as the bases for subalgebras of the Malvenuto-Reutenauer Hopf algebra, the pairs of twin binary trees on $n$ nodes, or the diagonal rectangulations of an $n\times n$ grid. The refined Baxter number $D_{n,k}$ also count many interesting objects including the Baxter permutations of $n$ with $k-1$ descents and $n-k$ rises, twin pairs of binary trees with $k$ left leaves and $n-k+1$ right leaves, or plane bipolar orientations with $k+1$ faces and $n-k+2$ vertices. In this paper, we obtain the asymptotic normality of the refined Baxter number $D_{n,k}$ by using a sufficient condition due to Bender. In the course of our proof, the computation involving $B_n$ and some related numbers is crucial, while $B_n$ has no closed form which make the computation untractable. To address this problem, we employ the method of asymptotics of the solutions of linear recurrence equations. Our proof is semi-automatic. All the asymptotic expansions and recurrence relations are proved by utilizing symbolic computation packages.

Hypergeometric functions of complex matrices were introduced by James in multivariate statistics. These special functions play many roles in random matrix theory. The main goal of this paper is to suggest a new use for them as holomorphic observables of the Circular Unitary Ensemble. We analyze the high-dimensional behavior of the expected derivatives of these random analytic functions, and show that they admit asymptotic expansions which can be described in terms of quasimodular forms, giving an apparently new connection between the CUE and number theory.

Andrews-Dyson-Hickerson, Cohen build a striking relation between q-hypergeometric series, real quadratic fields, and Maass forms. Thanks to the works of Lewis-Zagier and Zwegers we have a complete understanding on the part of these relations pertaining to Maass forms and false-indefinite theta functions. In particular, we can systematically distinguish and study the class of false-indefinite theta functions related to Maass forms. A crucial component here is the framework of mock Maass theta functions built by Zwegers in analogy with his earlier work on indefinite theta functions and their application to Ramanujan's mock theta functions. Given this understanding, a natural question is to what extent one can utilize modular properties to investigate the asymptotic behavior of the associated Fourier coefficients, especially in view of their relevance to combinatorial objects. In this paper, we develop the relevant methods to study such a question and show that quite detailed results can be obtained on the asymptotic development, which also enable Hardy-Ramanujan-Rademacher type exact formulas under the right conditions. We develop these techniques by concentrating on a concrete example involving partitions with parts separated by parity and derive an asymptotic expansion that includes all the exponentially growing terms.

Let $S_r(p,q)$ be the $r$-associated Stirling numbers of the second kind, the number of ways to partition a set of size $p$ into $q$ subsets of size at least $r$. For $r=1$, these are the standard Stirling numbers of the second kind, and for $r=2$, these are also known as the Ward Numbers. This paper concerns asymptotic expansions of these Stirling numbers; such expansions have been known for many years. However, while uniform convergence of these expansions was conjectured in Hennecart's 1994 paper, it has not been fully proved. A recent paper (Connamacher and Dobrosotskaya, 2020) went a long way, by proving uniform convergence on a large set. In this paper we build on that paper and prove convergence "everywhere."

We derive the asymptotic expansion (asymptotics with an arbitrary number of error terms) of k-regular graphs by applying the Laplace method on a recent exact formula from Caizergues and de Panafieu (2023). We also deduce the asymptotic expansion of connected k-regular graphs using standard techniques for divergent series developed by Wright (1970) and Bender (1975), and quantify its closeness to the asymptotic expansion of k-regular graphs.

This article addresses a combinatorial problem with applications to algebraic geometry. To a convex lattice polytope $P$ and each of its integer dilations $kP$ one may associate the barycenter of its lattice points. This sequence of $k$-quantized barycenters converge to the (classical) barycenter of the polytope considered as a convex body. A basic question arises: is there a complete asymptotic expansion for this sequence? If so, what are its terms? This article initiates the study of this question. First, we establish the existence of such an expansion as well as determine the first two terms. Second, for Delzant lattice polytopes we use toric algebra to determine all terms using mixed volumes of virtual rooftop polytopes, or alternatively in terms of higher Donaldson--Futaki invariants. Third, for reflexive polytopes we show the quantized barycenters are colinear to first order, and actually colinear in the case of polygons. The proofs use Ehrhart theory, convexity arguments, and toric algebra. As applications we derive the complete asymptotic expansion of the Fujita--Odaka stability thresholds $δ_k$ on arbitrary polarizations on (possibly singular) toric varieties. In fact, we show they are rational functions of $k$ for sufficiently large $k$. This gives the first general result on Tian's stabilization problem for $δ_k$-invariants for (possibly singular) toric Fanos: $δ_k$ stabilize in $k$ if and only if they are all equal to $1$, and when smooth if and only if asymptotically Chow semistable. We also relate the asymptotic expansions to higher Donaldson--Futaki invariants of test configurations motivated by Ehrhart theory, and unify in passing previous results of Donaldson, Ono, Futaki, and Rubinstein--Tian--Zhang.

The critical beta-splitting tree, introduced by Aldous, is a Markov branching phylogenetic tree. Aldous and Pittel recently proved, amongst other results, a central limit theorem for the height of a random leaf. We give an alternative proof, via contraction methods for random recursive structures. These methods were developed by Neininger and Rüschendorf, motivated by Pittel's article "Normal convergence problem? Two moments and a recurrence may be the clues." Aldous and Pittel estimated the leading order terms in the first two moments. More recently, Aldous and Janson obtained an asymptotic expansion for the average height. We show that a central limit theorem follows, and bound the distance to normality. Our results also apply to the continuous version of the model, in which branching times are exponential.

In the asymptotic analysis of regular sequences as defined by Allouche and Shallit, it is usually advisable to study their summatory function because the original sequence has a too fluctuating behaviour. It might be that the process of taking the summatory function has to be repeated if the sequence is fluctuating too much. In this paper we show that for all regular sequences except for some degenerate cases, repeating this process finitely many times leads to a ``nice'' asymptotic expansion containing periodic fluctuations whose Fourier coefficients can be computed using the results on the asymptotics of the summatory function of regular sequences by the first two authors of this paper. In a recent paper, Hwang, Janson, and Tsai perform a thorough investigation of divide-and-conquer recurrences. These can be seen as $2$-regular sequences. By considering them as the summatory function of their forward difference, the results on the asymptotics of the summatory function of regular sequences become applicable. We thoroughly investigate the case of a polynomial toll function.

We give a new combinatorial proof of Parraud's formula for the asymptotic expansion in powers of $1/N^2$ for the expected trace of polynomials of several independent $N \times N$ GUE matrices, which expresses the result using a mixture of free difference quotients, introducing new freely independent semicircular variables, and integration with respect to parameters. Our approach streamlines the statement of the formula while clarifying its relationship to the combinatorial genus expansion.