arXiv++ Combinatorics

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.

We compute the whole asymptotic expansion of the probability that a large uniform labeled graph is connected, and of the probability that a large uniform labeled tournament is irreducible. In both cases, we provide a combinatorial interpretation of the involved coefficients.

In 2004, Frieze, Krivelevich and Martin [17] established the emergence of a giant component in random subgraphs of pseudo-random graphs. We study several typical properties of the giant component, most notably its expansion characteristics. We establish an asymptotic vertex expansion of connected sets in the giant by a factor of $\tilde{O}\left(ε^2\right)$. From these expansion properties, we derive that the diameter of the giant is typically $O_ε\left(\log n\right)$, and that the mixing time of a lazy random walk on the giant is asymptotically $O_ε\left(\log^2 n\right)$. We also show similar asymptotic expansion properties of (not necessarily connected) linear sized subsets in the giant, and the typical existence of a large expander as a subgraph.

Let $\bar{p}(n)$ denote the overpartition function. In this paper, we study the asymptotic higher order $\log$-concavity property of the overpatition function in a similar framework done by Hou and Zhang for the partition function. This will enable us to move on further in order to prove $\log$-concavity of overpartitions, explicitly by studying the asymptotic expansion of the quotient $\bar{p}(n-1)\bar{p}(n+1)/\bar{p}(n)^2$ upto a certain order so that one can finally ends up with the phenomena of $2$-$\log$-concavity and higher order Turán property of $\bar{p}(n)$ by following a sort of unified approach.

A polygon is \textit{small} if it has unit diameter. The maximal area of a small polygon with a fixed number of sides $n$ is not known when $n$ is even and $n\geq14$. We determine an improved lower bound for the maximal area of a small $n$-gon for this case. The improvement affects the $1/n^3$ term of an asymptotic expansion; prior advances affected less significant terms. This bound cannot be improved by more than $O(1/n^3)$. For $n=6$, $8$, $10$, and $12$, the polygon we construct has maximal area.

Let $α$ and $β$ be uniformly random permutations of orders $2$ and $3$, respectively, in $S_{N}$, and consider, say, the permutation $αβαβ^{-1}$. How many fixed points does this random permutation have on average? The current paper studies questions of this kind and relates them to surprising topological and algebraic invariants of elements in free products of groups. Formally, let $Γ=G_{1}*\ldots*G_{k}$ be a free product of groups where each of $G_1,\ldots,G_k$ is either finite, finitely generated free, or an orientable hyperbolic surface group. For a fixed element $γ\inΓ$, a $γ$-random permutation in the symmetric group $S_{N}$ is the image of $γ$ through a uniformly random homomorphism $Γ\to S_{N}$. In this paper we study local statistics of $γ$-random permutations and their asymptotics as $N$ grows. We first consider $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$, the expected number of fixed points in a $γ$-random permutation in $S_{N}$. We show that unless $γ$ has finite order, the limit of $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$ as $N\to\infty$ is an integer, and is equal to the number of subgroups $H\leΓ$ containing $γ$ such that $H\cong\mathbb{Z}$ or $H\cong C_{2}*C_{2}$. Equivalently, this is the number of subgroups $H\leΓ$ containing $γ$ and having (rational) Euler characteristic zero. We also prove there is an asymptotic expansion for $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$ and determine the limit distribution of the number of fixed points as $N\to\infty$. These results are then generalized to all statistics of cycles of fixed lengths.

We survey a family of polynomials that are very useful in all kinds of power series manipulations, and appearing more frequently in the literature. Applications to formal power series, generating functions and asymptotic expansions are described, and we discuss the related work of De Moivre, Arbogast and Bell.

This paper presents a multivariate generalization of Flajolet and Odlyzko's transfer theorem. Similarly to the univariate version, the theorem assumes $Δ$-analyticity (defined coordinate-wise) of a function $A(z_1,\ldots,z_d)$ at a unique dominant singularity $(ρ_1,\ldots,ρ_d) \in (\mathbb C_*)^d$, and allows one to translate, on a term-by-term basis, an asymptotic expansion of $A(z_1,\ldots,z_d)$ around $(ρ_1,\ldots,ρ_d)$ into a corresponding asymptotic expansion of its Taylor coefficients $a_{n_1,\ldots,n_d}$. We treat the case where the asymptotic expansion of $A(z_1,\ldots,z_d)$ contains only power-law type terms, and where the indices $n_1,\ldots,n_d$ tend to infinity in some polynomially stretched diagonal limit. The resulting asymptotic expansion of $a_{n_1,\ldots,n_d}$ is a sum of terms of the form \begin{equation*} I(λ_1,\ldots,λ_d) \cdot n_0^{-Θ} \cdot ρ_1^{-n_1}\cdots ρ_d^{-n_d}, \end{equation*} where $(λ_1,\ldots,λ_d) \in (0,\infty)^d$ is the direction vector of the stretched diagonal limit for $(n_1,\ldots,n_d)$, the parameter $n_0$ tends to $\infty$ at similar speed as $n_1,\ldots,n_d$, while $Θ\in \mathbb R$ and $I:(0,\infty)^d \to \mathbb C$ are determined by the asymptotic expansion of $A$.

In the field of enumeration of walks in cones, it is known how to compute asymptotically the number of excursions (finite paths in the cone with fixed length, starting and ending points, using jumps from a given step set). As it turns out, the associated critical exponent is related to the eigenvalues of a certain Dirichlet problem on a spherical domain. An important underlying question is to decide whether this asymptotic exponent is a (non-)rational number, as this has important consequences on the algebraic nature of the associated generating function. In this paper, we ask whether such an excursion sequence might admit an asymptotic expansion with a first rational exponent and a second non-rational exponent. While the current state of the art does not give any access to such many-term expansions, we look at the associated continuous problem, involving Brownian motion in cones. Our main result is to prove that in dimension three, there exists a cone such that the heat kernel (the continuous analogue of the excursion sequence) has the desired rational/non-rational asymptotic property. Our techniques come from spectral theory and perturbation theory. More specifically, our main tool is a new Hadamard formula, which has an independent interest and allows us to compute the derivative of eigenvalues of spherical triangles along infinitesimal variations of the angles.

Condorcet's jury theorem states that the correct outcome is reached in direct majority voting systems with sufficiently large electorates as long as each voter's independent probability of voting for that outcome is greater than 0.5. Yet, in situations where direct voting systems are infeasible, such as due to high implementation and infrastructure costs, hierarchical voting systems provide a reasonable alternative. We study differences in outcome precision between hierarchical and direct voting systems for varying group sizes, abstention rates, and voter competencies. Using asymptotic expansions of the derivative of the reliability function (or Banzhaf number), we first prove that indirect systems differ most from their direct counterparts when group size and number are equal to each other, and therefore to $\sqrt{N_{\rm d}}$, where $N_{\rm d}$ is the total number of voters in the direct system. In multitier systems, we prove that this difference is maximized when group size equals $\sqrt[n]{N_{\rm d}}$, where $n$ is the number of hierarchical levels. Second, we show that while direct majority rule always outperforms hierarchical voting for homogeneous electorates that vote with certainty, as group numbers and size increase, hierarchical majority voting gains in its ability to represent all eligible voters. Furthermore, when voter abstention and competency are correlated within groups, hierarchical systems often outperform direct voting, which we show by using a generating function approach that is able to analytically characterize heterogeneous voting systems.

We study the number $c_n^{(N)}$ of $n$-step self-avoiding walks on the $N$-dimensional hypercube, and identify an $N$-dependent \emph{connective constant} $μ_N$ and amplitude $A_N$ such that $c_n^{(N)}$ is $O(μ_N^n)$ for all $n$ and $N$, and is asymptotically $A_N μ_N^n$ as long as $n\le 2^{pN}$ for any fixed $p< \frac 12$. We refer to the regime $n \ll 2^{N/2}$ as the \emph{dilute phase}. We discuss conjectures concerning different behaviours of $c_n^{(N)}$ when $n$ reaches and exceeds $2^{N/2}$, corresponding to a critical window and a dense phase. In addition, we prove that the connective constant has an asymptotic expansion to all orders in $N^{-1}$, with integer coefficients, and we compute the first five coefficients $μ_N = N-1-N^{-1}-4N^{-2}-26N^{-3}+O(N^{-4})$. The proofs are based on generating function and Tauberian methods implemented via the lace expansion, for which an introductory account is provided.

The counting of the dimension of the space of $U(N) \times U(N) \times U(N)$ polynomial invariants of a complex $3$-index tensor as a function of degree $n$ is known in terms of a sum of squares of Kronecker coefficients. For $n \le N$, the formula can be expressed in terms of a sum of symmetry factors of partitions of $n$ denoted $Z_3(n)$. We derive the large $n$ all-orders asymptotic formula for $ Z_3(n)$ making contact with high order results previously obtained numerically. The derivation relies on the dominance in the sum, of partitions with many parts of length $1$. The dominance of other small parts in restricted partition sums leads to related asymptotic results. The result for the $3$-index tensor observables gives the large $n$ asymptotic expansion for the counting of bipartite ribbon graphs with $n$ edges, and for the dimension of the associated Kronecker permutation centralizer algebra. We explain how the different terms in the asymptotics are associated with probability distributions over ribbon graphs. The large $n$ dominance of small parts also leads to conjectured formulae for the asymptotics of invariants for general $d$-index tensors. The coefficients of $ 1/n$ in these expansions involve Stirling numbers of the second kind along with restricted partition sums.

For large classes of group testing problems, we derive lower bounds for the probability that all significant items are uniquely identified using specially constructed random designs. These bounds allow us to optimize parameters of the randomization schemes. We also suggest and numerically justify a procedure of constructing designs with better separability properties than pure random designs. We illustrate theoretical considerations with a large simulation-based study. This study indicates, in particular, that in the case of the common binary group testing, the suggested families of designs have better separability than the popular designs constructed from disjunct matrices. We also derive several asymptotic expansions and discuss the situations when the resulting approximations achieve high accuracy.

We consider the Random Euclidean Assignment Problem in dimension $d=1$, with linear cost function. In this version of the problem, in general, there is a large degeneracy of the ground state, i.e. there are many different optimal matchings (say, $\sim \exp(S_N)$ at size $N$). We characterize all possible optimal matchings of a given instance of the problem, and we give a simple product formula for their number. Then, we study the probability distribution of $S_N$ (the zero-temperature entropy of the model), in the uniform random ensemble. We find that, for large $N$, $S_N \sim \frac{1}{2} N \log N + N s + \mathcal{O}\left( \log N \right)$, where $s$ is a random variable whose distribution $p(s)$ does not depend on $N$. We give expressions for the asymptotics of the moments of $p(s)$, both from a formulation as a Brownian process, and via singularity analysis of the generating functions associated to $S_N$. The latter approach provides a combinatorial framework that allows to compute an asymptotic expansion to arbitrary order in $1/N$ for the mean and the variance of