arXiv++ Combinatorics

Asymptotic normality is frequently observed in large combinatorial structures, rigorously established for many quantities such as cycles or inversions in random permutations, the number of prime factors of random integers, and various parameters of random graphs. In this paper, we investigate whether this normal limit behavior extends to the topological invariants of geometric spaces. We show that the Betti numbers of the moduli space of rational curves with $n$ marked points $\overline{\mathcal{M}}_{0,n}$ and the Fulton-MacPherson configuration space $\mathbb{P}^1[n]$ are asymptotically normally distributed. Based on numerical evidence and established log-concavity, we conjecture that the Betti numbers of the quotients of these spaces by the symmetric group $\mathbb{S}_n$ are also asymptotically normally distributed. In contrast, we provide examples of geometric spaces that do not follow this Gaussian law.

Recently, Griffin, Ono, and Tsai examined the distribution of the number of $t$-hooks in partitions of $n$, which was later followed by the work of Craig, Ono, and Singh on the distribution of the number of $t$-hooks in self-conjugate partitions of $n$. Motivated by these studies, in this paper, we further investigate the number of $t$-hooks in some subsets of partitions. More specifically, we obtain the generating functions for the number of $t$-hooks in doubled distinct partitions and the number of $t$-shifted hooks in strict partitions. Based on these generating functions, we prove that the number of $t$-hooks in doubled distinct partitions and the number of $t$-shifted hooks in strict partitions are both asymptotically normally distributed.

We confirm the speculation that the distribution of $t$-hooks among unrestricted integer partitions essentially descends to self-conjugate partitions. Namely, we prove that the number of hooks of length $t$ among the size $n$ self-conjugate partitions is asymptotically normally distributed with mean $μ_t(n) \sim \frac{\sqrt{6n}}π + \frac{3}{π^2} - \frac{t}{2}+\frac{δ_t}{4}$ and variance $σ_t^2(n) \sim \frac{(π^2 - 6) \sqrt{6n}}{π^3},$ where $δ_t:=1$ if $t$ is odd, and is 0 otherwise.

Phylogenetic networks generalize phylogenetic trees, and have been introduced in order to describe evolution in the case of transfer of genetic material between coexisting species. There are many classes of phylogenetic networks, which can all be modeled as families of graphs with labeled leaves. In this paper, we focus on rooted and unrooted level-k networks and provide enumeration formulas (exact and asymptotic) for rooted and unrooted level-1 and level-2 phylogenetic networks with a given number of leaves. We also prove that the distribution of some parameters of these networks (such as their number of cycles) are asymptotically normally distributed. These results are obtained by first providing a recursive description (also called combinatorial specification) of our networks, and by next applying classical methods of enumerative, symbolic and analytic combinatorics.

We investigate the number of variables in two special subclasses of lambda-terms that are restricted by a bound of the number of abstractions between a variable and its binding lambda, the so-called De-Bruijn index, or by a bound of the nesting levels of abstractions, \textit{i.e.}, the number of De Bruijn levels, respectively. These restrictions are on the one hand very natural from a practical point of view, and on the other hand they simplify the counting problem compared to that of unrestricted lambda-terms in such a way that the common methods of analytic combinatorics are applicable. We will show that the total number of variables is asymptotically normally distributed for both subclasses of lambda-terms with mean and variance asymptotically equal to $Cn$ and $\tilde{C}n$, respectively, where the constants $C$ and $\tilde{C}$ depend on the bound that has been imposed. So far we just derived closed formulas for the constants in case of the class of lambda-terms with bounded De Bruijn index. However, for the other class of lambda-terms that we consider, namely lambda-terms with a bounded number of De Bruijn levels, we investigate the number of variables, as well as abstractions and applications, in the different De Bruijn levels and thereby exhibit a so-called "unary profile" that attains a very interesting shape.

We provide a new proof of a result of Baxter and Zeilberger showing that inv and maj on permutations are jointly independently asymptotically normally distributed. The main feature of our argument is that it uses a generating function due to Roselle, answering a question raised by Romik and Zeilberger.

Hwang's quasi-power theorem asserts that a sequence of random variables whose moment generating functions are approximately given by powers of some analytic function is asymptotically normally distributed. This theorem is generalised to higher dimensional random variables. To obtain this result, a higher dimensional analogue of the Berry-Esseen inequality is proved, generalising a two-dimensional version by Sadikova.

Hwang's quasi-power theorem asserts that a sequence of random variables whose moment generating functions are approximately given by powers of some analytic function is asymptotically normally distributed. This theorem is generalised to higher dimensional random variables. To obtain this result, a higher dimensional analogue of the Berry-Esseen inequality is proved, generalising a two-dimensional version of Sadikova.

The partial sum of the states of a Markov chain or more generally a Markov source is asymptotically normally distributed under suitable conditions. One of these conditions is that the variance is unbounded. A simple combinatorial characterization of Markov sources which satisfy this condition is given in terms of cycles of the underlying graph of the Markov chain. Also Markov sources with higher dimensional alphabets are considered. Furthermore, the case of an unbounded covariance between two coordinates of the Markov source is combinatorically characterized. If the covariance is bounded, then the two coordinates are asymptotically independent. The results are illustrated by several examples, like the number of specific blocks in $0$-$1$-sequences and the Hamming weight of the width-$w$ non-adjacent form.

As a generalization of the sum of digits function and other digital sequences, sequences defined as the sum of the output of a transducer are asymptotically analyzed. The input of the transducer is a random integer in $[0, N)$. Analogues in higher dimensions are also considered. Sequences defined by a certain class of recursions can be written in this framework. Depending on properties of the transducer, the main term, the periodic fluctuation and an error term of the expected value and the variance of this sequence are established. The periodic fluctuation of the expected value is Hölder continuous and, in many cases, nowhere differentiable. A general formula for the Fourier coefficients of this periodic function is derived. Furthermore, it turns out that the sequence is asymptotically normally distributed for many transducers. As an example, the abelian complexity function of the paperfolding sequence is analyzed. This sequence has recently been studied by Madill and Rampersad.

A permutation $\boldsymbol w$ gives rise to a graph $G_{\boldsymbol w}$; the vertices of $G_{\boldsymbol w}$ are the letters in the permutation and the edges of $G_{\boldsymbol w}$ are the inversions of $\boldsymbol w$. We find that the number of trees among permutation graphs with $n$ vertices is $2^{n-2}$ for $n\ge 2$. We then study $T_n$, a uniformly random tree from this set of trees. In particular, we study the number of vertices of a given degree in $T_n$, the maximum degree in $T_n$, the diameter of $T_n$, and the domination number of $T_n$. Denoting the number of degree-$k$ vertices in $T_n$ by $D_k$, we find that $(D_1,\dots,D_m)$ converges to a normal distribution for any fixed $m$ as $n\to \infty$. The vertex domination number of $T_n$ is also asymptotically normally distributed as $n\to \infty$. The diameter of $T_n$ shifted by $-2$ is binomially distributed with parameters $n-3$ and $1/2$. Finally, we find the asymptotic distribution of the maximum degree in $T_n$, which is concentrated around $\log_2n$.

We consider sequences of random variables whose probability generating functions are polynomials all of whose roots lie on the unit circle. The distribution of such random variables has only been sporadically studied in the literature. We show that the random variables are asymptotically normally distributed if and only if the fourth normalized (by the standard deviation) central moment tends to 3, in contrast to the common scenario for polynomials with only real roots for which a central limit theorem holds if and only if the variance goes unbounded. We also derive a representation theorem for all possible limit laws and apply our results to many concrete examples in the literature, ranging from combinatorial structures to numerical analysis, and from probability to analysis of algorithms.

Let $\mathcal{T}_n$ be the set of trees with $n$ vertices. Suppose that each tree in $\mathcal{T}_n$ is equally likely. We show that the number of different rooted trees of a tree equals $(μ_r+o(1))n$ for almost every tree of $\mathcal{T}_n$, where $μ_r$ is a constant. As an application, we show that the number of any given pattern in $\mathcal{T}_n$ is also asymptotically normally distributed with mean $\sim μ_M n$ and variance $\sim σ_M n$, where $μ_M, σ_M$ are some constants related to the given pattern. This solves an open question claimed in Kok's thesis.

The well known Erdos-Turan law states that the logarithm of an order of a random permutation is asymptotically normally distributed. The aim of this work is to estimate convergence rate in this theorem and also to prove analogous result for distribution of the logarithm of an order of a random permutation on a certain class of subsets of the symmetric group. We also study the asymptotic behavior of the mean values of multiplicative functions on the symmetric group and the results we obtain are of independent interest besides their application to the investigation of the remainder term in the Erdos-Turan law. We also study a related problem of distribution of the degree of a splitting field of a random polynomial and obtain sharp estimates for its convergence rate to normal law. In research we apply both probabilistic and analytic methods. Some analytic methods used here have their origins in the probabilistic number theory, and some have their roots in the theory of summation of divergent series. One of the approaches we use is to apply Tauberian type estimates for Voronoi summability of divergent series to analyze the generating functions of the mean values of multiplicative functions.