arXiv++ Combinatorics

We study the structure of the asymptotic expansion of the probability that a combinatorial object is connected. We show that the coefficients appearing in those asymptotics are integers and can be interpreted as the counting sequences of other derivative combinatorial classes. The general result applies to rapidly growing combinatorial structures, which we call gargantuan, that also admit a sequence decomposition. The result is then applied to several models of graphs, of surfaces (square-tiled surfaces, combinatorial maps), and to geometric models of higher dimension (constellations, graph encoded manifolds). The corresponding derivative combinatorial classes are irreducible (multi)tournaments, indecomposable (multi)permutations and indecomposable perfect (multi)matchings.

The m-thick part of the modular surface X is the smallest compact subsurface of X with horocycle boundary containing all the closed geodesics which wind around the cusp at most m times. The m-thick parts form a compact exhaustion of X. We are interested in the geodesics that lie in the m-thick part (so called m low-lying geodesics). We produce a complete asymptotic expansion for the number of m low-lying geodesics of length equal to 2n in the modular surface. In particular, we obtain the asymptotic growth rate of the m low-lying geodesics in terms of their word length using the natural generators of the modular group. After establishing a correspondence between this counting problem and the problem of counting necklaces with n beads, we perform a careful singularity analysis on the associated generating function of the sequence.

In this work, we study the concept of self-overlapping permutations, which is related to the larger study of consecutive patterns in permutations. We show that this concept admits a simple and clear geometrical meaning, and prove that a permutation can be represented as a sequence of non-self-overlapping ones. The above structural decomposition allows us to obtain equations for the corresponding generating functions, as well as the complete asymptotic expansions for the probability that a large random permutation is (non-)self-overlapping. In particular, we show that almost all permutations are non-self-overlapping, and that the corresponding asymptotic expansion has the self-reference property: the involved coefficients count non-self-overlapping permutations once again. We also establish complete asymptotic expansions of the distributions of very tight non-self-overlapping patterns, and discuss the similarities of the non-self-overlapping permutations to other permutation building blocks, such as indecomposable and simple permutations, as well as their associated asymptotics.

We propose a new method for obtaining complete asymptotic expansions in a systematic manner, which is suitable for counting sequences of various graph families in dense regime. The core idea is to encode the two-dimensional array of expansion coefficients into a special bivariate generating function, which we call a coefficient generating function. We show that coefficient generating functions possess certain general properties that make it possible to express asymptotics in a short closed form. Also, in most scenarios, we indicate a combinatorial meaning of the involved coefficients. Applications of our method include asymptotics of connected graphs, irreducible tournaments, strongly connected digraphs, 2-SAT formulae and contradictory strongly connected implication digraphs. Moreover, due to its flexibility, the method allows to treat a wide range of structural variations, including fixing the numbers of connected, irreducible, strongly connected and contradictory components, as well as source-like, sink-like and isolated ones, or adding weights and marking variables.

An Eulerian orientation is an orientation of the edges of a graph such that every vertex is balanced: its in-degree equals its out-degree. Counting Eulerian orientations corresponds to the crucial partition function in so-called ``ice-type models'' in statistical physics and is known to be hard for general graphs. For all graphs with good expansion properties and degrees larger than $\log^{8} n$, we derive an asymptotic expansion for this count that approximates it to precision $O(n^{-c})$ for arbitrary large $c$, where $n$ is the number of vertices. The proof relies on a new tail bound for the cumulant expansion of the Laplace transform, which is of independent interest.

In the context of lattice walk enumeration in cones, we consider the number of walks in the quarter plane with fixed starting and ending points, prescribed step-set and given length. After renormalization, this number may be interpreted as a discrete heat kernel in the quadrant. We propose a new method to compute complete asymptotic expansions of these numbers of walks as their length tends to infinity, based on two main ingredients: explicit expressions for the underlying generating functions in terms of elliptic Jacobi theta functions along with a duality known as Jacobi transformation. This duality allows us to pass from a classical Taylor expansion of the series to an expansion at the critical point of the model. We work through two examples. First, we present our approach on the well-known Kreweras model, which is algebraic, and show how to obtain a complete asymptotic expansion in this case. We then consider a more generic (so-called infinite group) model, and find the associated complete asymptotic expansion. In this second case, we prove the existence of logarithmic terms in the asymptotic expansion, and we relate the coefficients appearing in the expansion to polyharmonic functions. To our knowledge, this is the first time that logarithmic terms have been observed in the asymptotics of a class of lattice walks confined to a quadrant.

Enumeration of walks with small steps in the quadrant has been a topic of great interest in combinatorics over the last few years. In this article, it is shown how to compute exact asymptotics of the number of such walks with fixed start- and endpoints for orbit-summable models with finite group, up to arbitrary precision. The resulting representation greatly resembles one conjectured by Chapon, Fusy and Raschel for walks starting from the origin (AofA 2020), differing only in terms appearing due to the periodicity of the model. We will see that the dependency on start- and endpoint is given by discrete polyharmonic functions, which are solutions of $\triangle^n v=0$ for a discretisation $\triangle$ of a Laplace-Beltrami operator. They can be decomposed into a sum of products of lower order polyharmonic functions of either the start- or the endpoint only, which leads to a partial extension of a recent theorem by Denisov and Wachtel (Ann. Prob. 43.3).

Without using the classification of finite simple groups, we show that the probability that two random elements of $S_n$ generate a primitive group smaller than $A_n$ is at most $\exp(-c(n \log n)^{1/2})$. As a corollary we get Dixon's asymptotic expansion \[ 1 - 1/n - 1/n^2 - 4/n^3 - 23/n^4 - \cdots \] for the probability that two random elements of $S_n$ (or $A_n$) generate a subgroup containing $A_n$.

For a partition $λ\vdash n$, we let $\operatorname{pd}(λ)$, the parity difference of $λ$, be the number of odd parts of $λ$ minus the number of even parts of $λ$. We prove for $c_0\in\mathbb{R}$ an asymptotic expansion for the number of partitions of $n$ into distinct parts with normalised parity difference $n^{- 1/4}\operatorname{pd}(λ)$ greater than $c_0$ as $n\to \infty$. As a corollary, we find the distribution of the parity differences and parity biases for partitions of $n$ into distinct parts. We also establish analogous results for generalised parity differences modulo $N$.

Recently it has been shown that the $α$-Sun density $h(x)$ [{\it J. Math. Anal. Appl.}, {\bf 527} (2023), p. 127371] which interpolates between the Fr{é}chet density and that of the positive, stable distributions whose density is given by a Fox $H$-function, has a Mellin transform involving an infinite product of ratios of Incomplete Beta functions. We develop systematic, but asymptotic, approximations for such products and consequently for the behaviour of the density as $ x\to 0+$ which complement the recent exact form for this by Simon [{\it Electron. Commun. Probab.}, {\bf 28} (2023) p. 1 - 13]. The systematic expansion is an example of a Power Product Expansion, and in our case we derive bounds and estimates which show that this expansion is not convergent and thus only yields an asymptotic expansion.

Generalized digamma functions $ψ_k(x)$, studied by Ramanujan, Deninger, Dilcher, Kanemitsu, Ishibashi etc., appear as the Laurent series coefficients of the zeta function associated to an indefinite quadratic form. In this paper, a modular relation of the form $F_k(α)=F_k(1/α)$ containing infinite series of $ψ_k(x)$, or, equivalently, between the generalized Stieltjes constants $γ_k(x)$, is obtained for any $k\in\mathbb{N}$. When $k=0$, it reduces to a famous transformation given on page $220$ of Ramanujan's Lost Notebook. For $k=1$, an integral containing Riemann's $Ξ$-function, and corresponding to the aforementioned modular relation, is also obtained along with its asymptotic expansions as $α\to0$ and $α\to\infty$. Carlitz-type and Guinand-type finite modular relations involving $ψ_j^{(m)}(x), 0\leq j\leq k, m\in\mathbb{N}\cup\{0\},$ are also derived, thereby extending previous results on the digamma function $ψ(x)$. The extension of Guinand's result for $ψ_j^{(m)}(x), m\geq2,$ involves an interesting combinatorial sum $h(r)$ over integer partitions of $2r$ into exactly $r$ parts. This sum plays a crucial role in an inversion formula needed for this extension. This formula has connection with the inversion formula for the inverse of a triangular Toeplitz matrix. The modular relation for $ψ_j'(x)$ is subtle and requires delicate analysis.

We study the distribution of the length of longest monotone subsequences in random (fixed-point free) involutions of $n$ integers as $n$ grows large, establishing asymptotic expansions in powers of $n^{-1/6}$ in the general case and in powers of $n^{-1/3}$ in the fixed-point free cases. Whilst the limit laws were shown by Baik and Rains to be one of the Tracy-Widom distributions $F_β$ for $β=1$ or $β=4$, we find explicit analytic expressions of the first few expansion terms as linear combinations of higher order derivatives of $F_β$ with rational polynomial coefficients. Our derivation is based on a concept of generalized analytic de-Poissonization and is subject to the validity of certain hypotheses for which we provide compelling (computational) evidence. In a preparatory step expansions of the hard-to-soft edge transition laws of L$β$E are studied, which are lifted into expansions of the generalized Poissonized length distributions for large intensities. (This paper continues our work arXiv:2301.02022, which established similar results in the case of general permutations and $β=2$.)

We study the distribution of the length of longest increasing subsequences in random permutations of $n$ integers as $n$ grows large and establish an asymptotic expansion in powers of $n^{-1/3}$. Whilst the limit law was already shown by Baik, Deift and Johansson to be the GUE Tracy-Widom distribution $F$, we find explicit analytic expressions of the first few finite-size correction terms as linear combinations of higher order derivatives of $F$ with rational polynomial coefficients. Our proof replaces Johansson's de-Poissonization, which is based on monotonicity as a Tauberian condition, by analytic de-Poissonization of Jacquet and Szpankowski, which is based on growth conditions in the complex plane; it is subject to a tameness hypothesis concerning complex zeros of the analytically continued Poissonized length distribution. In a preparatory step an expansion of the hard-to-soft edge transition law of LUE is studied, which is lifted into an expansion of the Poissonized length distribution for large intensities. Finally, expansions of Stirling-type approximations and of the expected value and variance of the length distribution are given.

Over the last several decades, improvements in the fields of analytic combinatorics and computer algebra have made determining the asymptotic behaviour of sequences satisfying linear recurrence relations with polynomial coefficients largely a matter of routine, under assumptions that hold often in practice. The algorithms involved typically take a sequence, encoded by a recurrence relation and initial terms, and return the leading terms in an asymptotic expansion up to a big-O error term. Less studied, however, are effective techniques giving an explicit bound on asymptotic error terms. Among other things, such explicit bounds typically allow the user to automatically prove sequence positivity (an active area of enumerative and algebraic combinatorics) by exhibiting an index when positive leading asymptotic behaviour dominates any error terms. In this article, we present a practical algorithm for computing such asymptotic approximations with rigorous error bounds, under the assumption that the generating series of the sequence is a solution of a differential equation with regular (Fuchsian) dominant singularities. Our algorithm approximately follows the singularity analysis method of Flajolet and Odlyzko, except that all big-O terms involved in the derivation of the asymptotic expansion are replaced by explicit error terms. The computation of the error terms combines analytic bounds from the literature with effective techniques from rigorous numerics and computer algebra. We implement our algorithm in the SageMath computer algebra system and exhibit its use on a variety of applications (including our original motivating example, solution uniqueness in the Canham model for the shape of genus one biomembranes).

We study divide-and-conquer recurrences of the form \begin{equation*} f(n) = αf(\lfloor \tfrac n2\rfloor) + βf(\lceil \tfrac n2\rceil) + g(n) \qquad(n\ge2), \end{equation*} with $g(n)$ and $f(1)$ given, where $α,β\ge0$ with $α+β>0$; such recurrences appear often in analysis of computer algorithms, numeration systems, combinatorial sequences, and related areas. We show that the solution satisfies always the simple \emph{identity} \begin{equation*} f(n) = n^{\log_2(α+β)} P(\log_2n) - Q(n) \end{equation*} under an optimum (iff) condition on $g(n)$. This form is not only an identity but also an asymptotic expansion because $Q(n)$ is of a smaller order. Explicit forms for the \emph{continuity} of the periodic function $P$ are provided, together with a few other smoothness properties. We show how our results can be easily applied to many dozens of concrete examples collected from the literature, and how they can be extended in various directions. Our method of proof is surprisingly simple and elementary, but leads to the strongest types of results for all examples to which our theory applies.

The development of the theories of the second-order Eulerian polynomials began with the works of Buckholtz and Carlitz in their studies of an asymptotic expansion. Gessel-Stanley introduced Stirling permutations and presented combinatorial interpretations of the second-order Eulerian polynomials. Recently, there is a growing interest in the properties of Stirling permutations. The motivation of this paper is to develop a general method for finding equidistributed statistics on Stirling permutations. Firstly, we show that the up-down-pair statistic is equidistributed with ascent-plateau statistic, and that the exterior up-down-pair statistic is equidistributed with left ascent-plateau statistic. Secondly, we introduce the Stirling permutation codes. Several equidistribution results follow from simple applications. In particular, we find that six bivariable set-valued statistics are equidistributed on the set of Stirling permutations. As an application, we extend a classical result independently established by Dumont and Bona. Thirdly, we explore bijections among Stirling permutation codes, perfect matchings and trapezoidal words. We then show the e-positivity of the enumerators of Stirling permutations by left ascent-plateaux, exterior up-down-pairs and right plateau-descents. In the final part, the e-positivity of the multivariate k-th order Eulerian polynomials is established, which improves a result of Janson-Kuba-Panholzer and generalizes a recent result of Chen-Fu.

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.

Asymptotic study on the partition function $p(n)$ began with the work of Hardy and Ramanujan. Later Rademacher obtained a convergent series for $p(n)$ and an error bound was given by Lehmer. Despite having this, a full asymptotic expansion for $p(n)$ with an explicit error bound is not known. Recently O'Sullivan studied the asymptotic expansion of $p^{k}(n)$-partitions into $k$th powers, initiated by Wright, and consequently obtained an asymptotic expansion for $p(n)$ along with a concise description of the coefficients involved in the expansion but without any estimation of the error term. Here we consider a detailed and comprehensive analysis on an estimation of the error term obtained by truncating the asymptotic expansion for $p(n)$ at any positive integer $n$. This gives rise to an infinite family of inequalities for $p(n)$ which finally answers to a question proposed by Chen. Our error term estimation predominantly relies on applications of algorithmic methods from symbolic summation.

Here we examine the number of ways to partition an integer $n$ into $k$th powers when $n$ is large. Simplified proofs of some asymptotic results of Wright are given using the saddle-point method, including exact formulas for the expansion coefficients. The convexity and log-concavity of these partitions is shown for large $n$, and the stronger conjectures of Ulas are proved. The asymptotics of Wright's generalized Bessel functions are also treated.

Ramanujan's approximation to the exponential function is reexamined with the help of Perron's saddle-point method. This allows for a wide generalization that includes the results of Buckholtz, and where all the asymptotic expansion coefficients may be given in closed form. Ramanujan's approximation to the exponential integral is treated similarly.