arXiv++ Combinatorics

We prove central limit theorems for the number of descents and the number of inversions after a shelf-shuffle. In particular, we bound the convergence rate for the number of inversions independently of the number of shelves. Along the way, we determine the mean and variance for the number of inversions after a shelf shuffle, which was also an open problem. We also suggest ways to extend our results to biased shelf-shuffles.

The Horton-Strahler number (HS) is a measure of branching complexity of rooted trees, introduced in hydrology and later studied in parallel computing under the name register function. While its order of growth is well understood for classical random trees, fluctuation behavior has largely resisted analysis. In this work we investigate the HS in the setting of butterfly trees -- binary trees constructed from butterfly permutations, a rich class of separable permutations with origins in numerical linear algebra and parallel architectures. For the subclass of simple butterfly trees, we exploit their recursive gluing structure to model the HS as an additive functional of a finite-state Markov process. This framework yields sharp distributional results, including a law of large numbers and a Central Limit Theorem with explicit variance growth, providing what appears to be the first genuine Gaussian limit law for the HS in a nontrivial random tree model. Extending to biased constructions, we further establish functional limit theorems via analytic and probabilistic tools. For general butterfly trees, while exact analysis remains open, empirical sampling shows that the HS distribution is confined to a narrower support than in classical models, and appears to concentrate tightly near the upper bound $\lfloor \log_4 N\rfloor$.

We investigate the asymptotic properties of permutations drawn from the Luce model, a natural probabilistic framework in which permutations are generated sequentially by sampling without replacement, with selection probabilities proportional to prescribed positive weights. These permutations arise in applications such as ranking models, the Tsetlin library, and related Markov processes. Under minimal assumptions on the weights, we establish a permuton limit theorem describing the global behavior of Luce-distributed permutations and derive an explicit density of the limiting permuton. We further compute limiting pattern densities and analyze the differences between exact Luce permutations and their permuton approximations. We also study the local convergence of these permutations, proving a quenched Benjamini--Schramm limit and a central limit theorem for consecutive pattern occurrences. Finally, we prove a central limit theorem for the number of inversions.

The random billiard walk is a stochastic process $(L_t)_{t\geq 0}$ in which a laser moves through the Coxeter arrangement of an affine Weyl group in $\mathbb{R}^d$, reflecting at each hyperplane with probability $p\in (0, 1)$ and transmitting unchanged otherwise. Defant, Jiradilok, and Mossel introduced this process from the perspective of algebraic combinatorics and established that, for initial directions aligned with the coroot lattice, $L_t/\sqrt{t}$ converges to a centered spherical Gaussian. We bring analytic tools from ergodic theory and probability to the problem and extend this central limit theorem to all initial directions. More strongly, we prove the rescaled trajectories $t\mapsto n^{-1/2}L_{tn}$ converge to isotropic Brownian motion. Away from directions with rational dependencies, the limiting covariance varies continuously in $p$ and the initial direction.

We introduce the notion of a Young generating function for a probability measure on integer partitions. We use this object to characterize probability distributions over integer partitions satisfying a law of large numbers and those that satisfy a central limit theorem. We further establish a multilevel central limit theorem, which enables the study of random standard Young tableaux. As applications of these results, we describe the fluctuations of height functions associated with (i) the Plancherel growth process, (ii) random standard Young tableaux of fixed shape, and (iii) probability distributions induced by extreme characters of the infinite symmetric group $S_\infty$. In all cases, we identify the limiting fluctuations as a conditioned Gaussian Free Field.

We study the asymptotic behavior of random domino tilings of the Aztec diamond of size $M$ in a random environment, where the environment is a one-periodic sequence of i.i.d. random weights attached to domino positions (i.e., to the edges of the underlying portion of the square grid). We consider two cases: either the variance of the weights decreases at a critical scale $1/M$, or the distribution of the weights is fixed. In the former case, the unrescaled fluctuations of the domino height function are governed by the sum of a Gaussian Free Field and an independent Brownian motion. In the latter case, we establish fluctuations on the much larger scale $\sqrt M$, given by the Brownian motion alone. To access asymptotic fluctuations in random environment, we employ the method of Schur generating functions. Moreover, we substantially extend the known Law of Large Numbers and Central Limit Theorems for particle systems via Schur generating functions in order to apply them to our setting. These results might be of independent interest.

In this note we outline a new and simple approach to proving central limit theorems for various 'global' graph parameters which have robust 'local' approximations, using the Efron--Stein inequality, which relies on a combinatorial analysis of the stability of these approximations under resampling an edge. As an application, we give short proofs of a central limit theorem for the order of the giant component and of the $k$-core for sparse random graphs.

Consider a graph whose vertices are colored in one of two colors, say black or white. A white vertex is called integrated if it has at least as many black neighbors as white neighbors, and similarly for a black vertex. The coloring as a whole is integrated if every vertex is integrated. A classic exercise in graph theory, known as the Affirmative Action Problem, is to prove that every finite simple graph admits an integrated coloring. The solution can be neatly summarized with the one-liner: "maximize the number of balanced edges," that is, the edges that connect neighbors of different colors. However, not all integrated colorings advertise the maximum possible number of balanced edges. In this paper, we characterize and enumerate the integrated colorings for complete graphs, bicliques, paths, and cycles. We also derive the distributions and extremal values for the mixing numbers (the number of balanced edges) across all integrated colorings over these families of graphs. For paths and cycles in particular, we use the quasi-powers framework for probability generating functions to prove a central limit theorem for the mixing number of random integrated colorings. Lastly, we obtain an upper bound for the number of integrated colorings over any fixed graph via the second-moment method. A specialized bound for the number of integrated colorings over a regular graph is also obtained.

Motivated by the connection to a probabilistic model of phylogenetic trees introduced by Aldous, we study the recursive sequence governed by the rule $x_n = \sum_{i=1}^{n-1} \frac{1}{h_{n-1}(n-i)} x_i$ where $h_{n-1} = \sum_{j=1}^{n-1} 1/j$, known as the harmonic descent chain. While it is known that this sequence converges to an explicit limit $x$, not much is known about the rate of convergence. We first show that a class of recursive sequences including the above are decreasing and use this to bound the rate of convergence. Moreover, for the harmonic descent chain we prove the asymptotic $x_n - x = n^{-γ_* + o(1)}$ for an implicit exponent $γ_*$. As a consequence, we deduce central limit theorems for various statistics of the critical beta-splitting random tree. This answers a number of questions of Aldous, Janson, and Pittel.

We prove a central limit theorem (CLT) for the number of joint orbits of random tuples of commuting permutations. In the uniform sampling case this generalizes the classic CLT of Goncharov for the number of cycles of a single random permutation. We also consider the case where tuples are weighted by a factor other than one, per joint orbit. We view this as an analogue of the Ewens measure, for tuples of commuting permutations, where our CLT generalizes the CLT by Hansen. Our proof uses saddle point analysis, in a context related to the Hardy-Ramanujan asymptotics and the theorem of Meinardus, but concerns a multiple pole situation. The proof is written in a self-contained manner, and hopefully in a manner accessible to a wider audience. We also indicate several open directions of further study related to probability, combinatorics, number theory, an elusive theory of random commuting matrices, and perhaps also geometric group theory.

To solve a linear program, the simplex method follows a path in the graph of a polytope, on which a linear function increases. The length of this path is an key measure of the complexity of the simplex method. Numerous previous articles focused on the longest paths, or, following Borgwardt, computed the average length of a path for certain random polytopes. We detail more precisely how this length is distributed, i.e., how many paths of each length there are. It was conjectured by De Loera that the number of paths counted according to their length forms a unimodal sequence. We give examples (old and new) for which this holds; but we disprove this conjecture by constructing counterexamples for several classes of polytopes. However, De Loera is "statistically correct": We prove that the length of coherent paths on a random polytope (with vertices chosen uniformly on a sphere) admits a central limit theorem.

Consider a `dense' Erdős--Rényi random graph model $G=G_{n,M}$ with $n$ vertices and $M$ edges, where we assume the edge density $M/\binom{n}{2}$ is bounded away from 0 and 1. Fix $k=k(n)$ with $k/n$ bounded away from 0 and~1, and let $S$ be a random subset of size $k$ of the vertices of $G$. We show that with probability $1-\exp(-n^{Ω(1)})$, $G$ satisfies both a central limit theorem and a local limit theorem for the empirical distribution of the edge count $e(G[S])$ of the subgraph of $G$ induced by $S$, where the distribution is over uniform random choices of the $k$-set $S$.

The theory of Khinchin families connects Probability Theory and Complex Analysis. Along this PhD thesis, we exploit this connection to obtain, using a variety of local central limit theorems, asymptotic formulas for the coefficients of analytic functions with non-negative coefficients. We give criteria for a power series to have certain specific, and in most cases, computable, asymptotic formula. The theory of Khinchin families was initiated and is strongly influenced by the work of Walter K. Hayman, Paul C. Rosembloom, and Luis Báez-Duarte. We can assign to each power series $f$ in the class $\mathcal{K}$, having radius of convergence $R>0$, a family of random variables $(X_t)_{[0,R)}$. This theory examines the behavior of this family of random variables, and also of its normalized version, as $t \uparrow R$. This thesis aims to harmonize the various asymptotic formulas for combinatorial or probabilistic objects within a single framework. With this aim we have extended some of the classes of functions and also studied the coefficients of large powers of analytic functions. One of our main goals was to consolidate and develop some aspects of a comprehensive theory: providing a guidebook for combinatorialists or probabilists, a series of results, or basic criteria, where they can follow a step-by-step process, verify if certain straightforward conditions are met, and then derive an asymptotic formula for the object of study. However, this is not the sole primary goal; we are also profoundly interested in the functional theoretical properties of these classes of functions and their connections to the respective Khinchin families (such as the case of $f \in \mathcal{K}$ being an entire function).

There has been much interest in the distribution of the circumference, the length of the longest cycle, of a random graph $G(n,p)$ in the sparse regime, when $p = Θ\left(\frac{1}{n}\right)$. Recently, the first author and Frieze established a scaling limit for the circumference in this regime, along the way establishing an alternative 'structural' approximation for this parameter. In this paper, we give a central limit theorem for the circumference in this regime using a novel argument based on the Efron-Stein inequality, which relies on a combinatorial analysis of the effect of resampling edges on this approximation.

There has been some work in the literature on limit theorems for the trace of commutators for compact Lie groups. We revisit this from the perspective of combinatorial representation theory.

In this note we discuss additional properties of mixed Poisson distributions. We discuss the convergence of mixed Poisson distributions to its mixing distribution for the scaling parameter tending to infinity. Moreover, we obtain a central limit theorem after centering by its mixing random variable, together with moment convergence.

We study the asymptotic behavior of cycles of uniformly random parking functions. Our results are multifold: we obtain an explicit formula for the number of parking functions with a prescribed number of cyclic points and show that the scaled number of cyclic points of a random parking function is asymptotically Rayleigh distributed; we establish the classical trio of limit theorems (law of large numbers, central limit theorem, large deviation principle) for the number of cycles in a random parking function; we also compute the asymptotic mean of the length of the $r$th longest cycle in a random parking function for all valid $r$. A variety of tools from probability theory and combinatorics are used in our investigation. Corresponding results for the class of prime parking functions are obtained.

In this paper we consider a dynamic Erdős-Rényi random graph with independent identically distributed edge processes. Our aim is to describe the joint evolution of the entries of a subgraph count vector. The main result of this paper is a functional central limit theorem: we establish, under an appropriate centering and scaling, the joint functional convergence of the vector of subgraph counts to a specific multidimensional Gaussian process. The result holds under mild assumptions on the edge processes, most notably a Lipschitz-type condition.

We establish central limit theorems (CLTs) for the linear spectral statistics of the adjacency matrix of inhomogeneous random graphs across all sparsity regimes, providing explicit covariance formulas under the assumption that the variance profile of the random graphs converges to a graphon limit. Two types of CLTs are derived for the (non-centered) adjacency matrix and the centered adjacency matrix, with different scaling factors when the sparsity parameter $p$ satisfies $np = n^{Ω(1)}$, and with the same scaling factor when $np = n^{o(1)}$. In both cases, the limiting covariance is expressed in terms of homomorphism densities from certain types of finite graphs to a graphon. These results highlight a phase transition in the centering effect for global eigenvalue fluctuations. For the non-centered adjacency matrix, we also identify new phase transitions for the CLTs in the sparse regime when $n^{1/m} \ll np \ll n^{1/(m-1)}$ for $m \geq 2$. Furthermore, weaker conditions for the graphon convergence of the variance profile are sufficient as $p$ decreases from being constant to $np \to c\in (0,\infty)$. These findings reveal a novel connection between graphon limits and linear spectral statistics in random matrix theory.

We present a novel approach to study the evolution of the size (i.e. the number of vertices) of the giant component of a random graph process. It is based on the exploration algorithm called simultaneous breadth-first walk, introduced by Limic in 2019, that encodes the dynamic of the evolution of the sizes of the connected components of a large class of random graph processes. We limit our study to the variant of the Erdős-Rényi graph process $(G_n(s))_{s\geq 0}$ with $n$ vertices where an edge connecting a pair of vertices appears at an exponential rate 1 waiting time, independently over pairs. We first use the properties of the simultaneous breadth-first walk to obtain an alternative and self-contained proof of the functional central limit theorem recently established by Enriquez, Faraud and Lemaire in the super-critical regime ($s=\frac{c}{n}$ and $c>1$). Next, to show the versatility of our approach, we prove a functional central limit theorem in the barely super-critical regime ($s=\frac{1+tε_n}{n}$ where $t>0$ and $(ε_n)_n$ is a sequence of positive reals that converges to 0 such that $(nε_n^3)_n$ tends to $+\infty$).