arXiv++ Combinatorics

We study the distribution of fringe trees in Patricia tries (extending earlier results by Ischebeck (2025)) and compressed binary search trees; both cases are random binary trees that have been compressed by deleting nodes of outdegree 1 so that they are random full binary trees. The main results are central limit theorems for the number of fringe trees of a given type, which imply quenched and annealed limit results for the fringe tree distribution; for Patricia tries, this is complicated by periodic oscillations in the usual manner. We also consider extended fringe trees. The results are derived from earlier results for uncompressed tries and binary search trees. In the case of compressed binary search trees, it seems difficult to give a closed formula for the asymptotic fringe tree distribution, but we provide a recursion and give examples. For comparison, we give also results, simpler and partly known, for three other models of random full binary trees: the extended binary search tree, the critical beta-spltting random tree, and the uniform random full binary tree.

We establish a central limit theorem for tensor product random variables $c_k:=a_k \otimes a_k$, where $(a_k)_{k \in \mathbb{N}}$ is a free family of variables. We show that if the variables $a_k$ are centered, the limiting law is the semi-circle. Otherwise, the limiting law depends on the mean and variance of the variables $a_k$ and corresponds to a free interpolation between the semi-circle law and the classical convolution of two semi-circle laws.

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 averaging process on a graph $G = (V, E)$, a random mass distribution $η$ on $V$ is repeatedly updated via transformations of the form $η_{v}, η_{w} \mapsto (η_{v} + η_{w})/2$, with updates made according to independent Poisson clocks associated to the edge set $E$. We study the averaging process when $G$ is the integer lattice $\mathbb{Z}^{d}$. We prove that the process has tight asymptotic concentration around its mean in the $\ell^{1}$ and $\ell^{2}$ norms and use this to prove a central limit theorem. Previous work by Nagahata and Yoshida implies the central limit theorem when $d \geq 3$. Our results extend this to hold for all $d \geq 1$, and our techniques are likely applicable to other processes for which previously only the $d \geq 3$ case was tractable.

This article considers a class of disordered mean-field combinatorial optimization problems. We focus on the Gibbs measure, where the inverse temperature does not vary with the size of the graph and the edge weights are sampled from a general distribution under mild assumptions. Our results consist of the Law of Large Numbers and Central Limit Theorems for the log-partition function, the weight of a typical configuration, and the Gibbs average in both quenched and annealed forms. We also derive quenched Poisson convergence for the size of the intersection of two independent samples, yielding replica symmetry of the model. Applications cover popular models from the literature, such as the Minimal Matching Problem, Traveling Salesman Problem, and Minimal Spanning Tree Problem, on a sequence of deterministic and random dense block graphs of increasing size.

In 1981, Karp and Sipser proved a law of large numbers for the matching number of a sparse Erdős-Rényi random graph, in an influential paper pioneering the so-called differential equation method for analysis of random graph processes. Strengthening this classical result, and answering a question of Aronson, Frieze and Pittel, we prove a central limit theorem in the same setting: the fluctuations in the matching number of a sparse random graph are asymptotically Gaussian. Our new contribution is to prove this central limit theorem in the subcritical and critical regimes, according to a celebrated algorithmic phase transition first observed by Karp and Sipser. Indeed, in the supercritical regime, a central limit theorem has recently been proved in the PhD thesis of Kreačić, using a stochastic generalisation of the differential equation method (comparing the so-called Karp-Sipser process to a system of stochastic differential equations). Our proof builds on these methods, and introduces new techniques to handle certain degeneracies present in the subcritical and critical cases. Curiously, our new techniques lead to a non-constructive result: we are able to characterise the fluctuations of the matching number around its mean, despite these fluctuations being much smaller than the error terms in our best estimates of the mean. We also prove a central limit theorem for the rank of the adjacency matrix of a sparse random graph.

We consider the count of subgraphs with an arbitrary configuration of endpoints in the random-connection model based on a Poisson point process on ${\Bbb R}^d$. We present combinatorial expressions for the computation of the cumulants and moments of all orders of such subgraph counts, which allow us to estimate the growth of cumulants as the intensity of the underlying Poisson point process goes to infinity. As a consequence, we obtain a central limit theorem with explicit convergence rates under the Kolmogorov distance, and connectivity bounds. Numerical examples are presented using a computer code in SageMath for the closed-form computation of cumulants of any order, for any type of connected subgraph and for any configuration of endpoints in any dimension $d\geq 1$. In particular, graph connectivity estimates, Gram-Charlier expansions for density estimation, and correlation estimates for joint subgraph counting are obtained.

We provide asymptotic theory for the joint distribution of $X_{\mathrm{inv}}$ and $X_{\mathrm{des}}$, the numbers of inversions and descents of random permutations. Recently, Dörr & Kahle (2022) proved that $X_{\mathrm{inv}}$, respectively, $X_{\mathrm{des}}$ is in the maximum domain of attraction of the Gumbel distribution. To tackle the dependency between these two permutation statistics, we use Hájek projections and a suitable quantitative Gaussian approximation. We show that $(X_{\mathrm{inv}}, X_{\mathrm{des}})$ is in the maximum domain of attraction of the two-dimensional Gumbel distribution with independent margins. This result can be stated in the broader combinatorial framework of finite Coxeter groups, on which our method also yields the central limit theorem for $(X_{\mathrm{inv}}, X_{\mathrm{des}})$ and various other permutation statistics as a novel contribution. In particular, signed permutation groups with random biased signs and products of classical Weyl groups are investigated.

Given a positive integer $n$, consider a random permutation $τ$ of the set $\{1,2,\ldots, n\}$. In $τ$, we look for sequences of consecutive integers that appear in adjacent positions: a maximal such a sequence is called a block. Each block in $τ$ is merged, and after all the merges, the elements of this new set are relabeled from $1$ to the current number of elements. We continue to randomly permute and merge this new set until only one integer is left. In this paper, we investigate the asymptotic behavior of $X_n$, the number of permutations needed for this process to end. In particular, we find an explicit asymptotic expression for each of $\mathbf{E}[X_n]$ and $\mathbf{Var} [X_n]$ as well as for every higher central moment, and show that $X_n$ satisfies a central limit theorem.

We discuss a central limit theorem in the framework of the group algebra of the Thompson group $F$. We consider the sequence of self-adjoint elements given by $a_n=\frac{g_n+g_n^{*}}{\sqrt{2}}$ in the noncommutative probability space $(\mathbb{C}(F),\varphi)$, where the expectation functional $\varphi$ is the trace associated to the left regular representation of $F$, and the $g_n$-s are the generators of $F$ in its standard infinite presentation. We show that the limit law of the sequence $s_n = \frac{a_0+\cdots+a_{n-1}}{\sqrt{n}}$ is the standard normal distribution.

We consider the number of crossings in a random embedding of a graph, $G$, with vertices in convex position. We give explicit formulas for the mean and variance of the number of crossings as a function of various subgraph counts of $G$. Using Stein's method and size-bias coupling, we establish an upper bound on the Kolmogorov distance between the distribution of the number of crossings and a standard normal random variable. We also consider the case where $G$ is a random graph and obtain a Kolmogorov bound between the distribution of crossings and a Gaussian mixture distribution. As applications, we obtain central limit theorems with convergence rates for the number of crossings in random embeddings of matchings, path graphs, cycle graphs, disjoint union of triangles, random $d$-regular graphs, and mixtures of random graphs.

We compute the deterministic approximation for mixed fluctuation moments of products of deterministic matrices and general Sobolev functions of Wigner matrices. Restricting to polynomials, our formulas reproduce recent results of [Male, Mingo, Peché, Speicher 2022], showing that the underlying combinatorics of non-crossing partitions and annular non-crossing permutations continue to stay valid beyond the setting of second-order free probability theory. The formulas obtained further characterize the variance in the functional central limit theorem obtained recently in the companion paper [Reker 2023].

Let $X_H$ be the number of copies of a fixed graph $H$ in $G(n,p)$. In 2016, Gilmer and Kopparty conjectured that a local central limit theorem should hold for $X_H$ as long as $H$ is connected, $p\gg n^{-1/m(H)}$ and $n^2(1-p)\gg 1$, where $m(H)$ denotes the $m$-density of $H$. Recently, Sah and Sawhney showed that the Gilmer--Kopparty conjecture holds for constant $p$. In this paper, we show that the Gilmer--Kopparty conjecture holds for triangle counts in the sparse range. More precisely, if $p \in (4n^{-1/2}, 1/2)$, then $$\sup_{x\in \mathcal{L}}\left| \dfrac{1}{\sqrt{2π}}e^{-x^2/2}-σ\cdot \mathbb{P}(X^* = x)\right|=n^{-1/2+o(1)}p^{1/2},$$ where $σ^2 = \mathbb{V}\text{ar}(X_{K_3})$, $X^{*}=(X_{K_3}-\mathbb{E}(X_{K_3}))/σ$ and $\mathcal{L}$ is the support of $X^*$. By combining our result with the results of Röllin--Ross and Gilmer--Kopparty, this establishes the Gilmer--Kopparty conjecture for triangle counts for $n^{-1}\ll p < c$, for any constant $c\in (0,1)$. Our quantitative result is enough to prove that the triangle counts converge to an associated normal distribution also in the $\ell_1$-distance. This is the first local central limit theorem for subgraph counts above the so-called $m_2$-density threshold.

In this paper, we consider the moments of statistics on conjugacy classes of the colored permutation groups $\mathfrak{S}_{n,r}=\mathbb{Z}_r\wr \mathfrak{S}_n$. We first show that any fixed moment coincides on all conjugacy classes where all cycles have sufficiently long length. Additionally, for permutation statistics that can be realized via a process we call symmetric extensions, these moments are polynomials in $n$. Finally, for the descent statistic on the hyperoctahedral group $B_n\cong \mathfrak{S}_{n,2}$, we show that its distribution on conjugacy classes without short cycles satisfies a central limit theorem. Our results build on and generalize previous work of Fulman (\textit{J. Comb. Theory Ser. A.}, 1998), Hamaker and Rhoades (arXiv, 2022), and Campion Loth, Levet, Liu, Stucky, Sundaram, and Yin (arXiv, 2023). In particular, our techniques utilize the combinatorial framework introduced by Campion Loth, Levet, Liu, Stucky, Sundaram, and Yin.

Rail-yard graphs are a general class of graphs introduced in \cite{bbccr} on which the random dimer coverings form Schur processes. We study asymptotic limits of random dimer coverings on rail yard graphs with free boundary conditions on both the left boundary and the right boundary (double-sided free boundary) when the mesh sizes of the graphs go to 0. Each dimer covering corresponds to a sequence of interlacing partitions starting with an arbitrary partition and ending in an arbitrary partition. Under the assumption that the probability of each dimer covering is proportional to the product of weights of present edges, we obtain the moment formula for the height function which includes an infinite product. By passing down to the scaling limit, we compute the limit shape (law of large numbers) of the rescaled height functions and prove the convergence of unrescaled height fluctuations to a diffeomorphic image of the restriction of the 0-boundary Gaussian free field (central limit theorem) on the upper half plane to a subset. Applications include the limit shape and height fluctuations for free boundary steep tilings as proposed in \cite{BCC17}. The technique to obtain these results is to analyze a class of Macdonald processes with dual specializations, subject to further complexities arising from the infinite product in the moment formula. We also obtain a new algorithm to sample double-sided free boundary dimer coverings on rail-yard graphs, which fulfills an open problem in \cite{bbbccv14}.

Two landmark results in combinatorial random matrix theory, due to Komlós and Costello-Tao-Vu, show that discrete random matrices and symmetric discrete random matrices are typically nonsingular. In particular, in the language of graph theory, when $p$ is a fixed constant, the biadjacency matrix of a random Erdős-Rényi bipartite graph $\mathbb{G}(n,n,p)$ and the adjacency matrix of an Erdős-Rényi random graph $\mathbb{G}(n,p)$ are both nonsingular with high probability. However, very sparse random graphs (i.e., where $p$ is allowed to decay rapidly with $n$) are typically singular, due to the presence of "local" dependencies such as isolated vertices and pairs of degree-1 vertices with the same neighbour. In this paper we give a combinatorial description of the rank of a sparse random graph $\mathbb{G}(n,n,c/n)$ or $\mathbb{G}(n,c/n)$ in terms of such local dependencies, for all constants $c\ne e$ (and we present some evidence that the situation is very different for $c=e$). This gives an essentially complete answer to a question raised by Vu at the 2014 International Congress of Mathematicians. As applications of our main theorem and its proof, we also determine the asymptotic singularity probability of the 2-core of a sparse random graph, we show that the rank of a sparse random graph is extremely well-approximated by its matching number, and we deduce a central limit theorem for the rank of $\mathbb{G}(n,c/n)$.

We provide a refined combinatorial identity for the set of partitions of $\{1,\dots, n\}$, which plays an important role in investigating several limit theorems related to finite free convolutions. Firstly, we present the finite free analogue of Sakuma and Yoshida's limit theorem. That is, we provide the limit of $\{D_{1/m}((p_d^{\boxtimes_d m})^{\boxplus_d m})\}_{m\in \mathbb{N}}$ as $m\rightarrow\infty$ in two cases: (i) $m/d\rightarrow t$ for some $t>0$, or (ii) $m/d\rightarrow0$. The second application presents a central limit theorem for finite free multiplicative convolution. We establish a connection between this theorem and the multiplicative free semicircular distributions through combinatorial identities. Our last result gives alternative proofs for Kabluchko's limit theorems concerning the unitary Hermite and the Laguerre polynomials.

We investigate here the behaviour of a large typical meandric system, proving a central limit theorem for the number of components of given shape. Our main tool is a theorem of Gao and Wormald, that allows us to deduce a central limit theorem from the asymptotics of large moments of our quantities of interest.

Answering a pair of questions of Conrey, Gabbard, Grant, Liu, and Morrison, we prove that a triplet of dice drawn from the multiset model are intransitive with probability $1/4+o(1)$ and the probability a random pair of dice tie tends toward $αn^{-1}$ for an explicitly defined constant $α$. This extends and sharpens the recent results of Polymath regarding the balanced sequence model. We further show the distribution of larger tournaments converges to a universal tournamenton in both models. This limit naturally arises from the discrete spectrum of a certain skew-symmetric operator (given by the kernel in the title acting on $L^2([-1,1])$). The limit exhibits a degree of symmetry and can be used to prove that, for instance, the limiting probability that $A_i$ beats $A_{i+1}$ for $1\le i\le 4$ and that $A_5$ beats $A_1$ is $1/32+o(1)$. Furthermore, the limiting tournamenton has range contained in the discrete set $\{0,1\}$. This proves that the associated tournamenton is non-quasirandom in a dramatic fashion, vastly extending work of Cornacchia and Hązła regarding the continuous analogue of the balanced sequence model. The proof is based on a reduction to conditional central limit theorems (related to work of Polymath), the use of a "Poissonization" style method to reduce to computations with independent random variables, and the systematic use of switching-based arguments to extract cancellation in Fourier estimates when establishing local limit-type estimates.

We discuss a notion of convergence for binary trees that is based on subtree sizes. In analogy to recent developments in the theory of graphs, posets and permutations we investigate some general aspects of the topology, such as a characterization of the set of possible limits and its structure as a metric space. For random trees the subtree size topology arises in the context of algorithms for searching and sorting when applied to random input, resulting in a sequence of nested trees. For these we obtain a structural result based on a local version of exchangeability. This in turn leads to a central limit theorem, with possibly mixed asymptotic normality.