arXiv++ Combinatorics

The anti-concentration phenomenon in probability theory has been intensively studied in recent years, with applications across many areas of mathematics. In most existing works, the ambient probability space is a product space generated by independent random variables. In this paper, we initiate a systematic study of anti-concentration when the ambient space is the symmetric group, equipped with the uniform measure. Concretely, we focus on the random sum $S_π = \sum_{i=1}^{n} w_i\, v_{π(i)}$, where $w=(w_1,\dots,w_n)$ and $v=(v_1,\dots,v_n)$ are fixed vectors and $π$ is a uniformly random permutation. The paper contains several new results, addressing both discrete and continuous anti-concentration phenomena. On the discrete side, we establish a near-optimal structural characterization of the vectors $w$ and $v$ under the assumption that the concentration probability $\sup_x P(S_π=x)$ is polynomially large. As applications, we derive and strengthen a number of previous results. In particular, we show that if both $w$ and $v$ have distinct entries, then $\sup_x P(S_π=x) \le n^{-5/2+o(1)}$. This bound serves as a permutation-space analogue of the classical Erdős--Moser bound in the product-space setting and answers a question posed by Alon--Pohoata--Zhu. From the continuous perspective, we study the small-ball event $|S_π-L|\le δ$. We establish sharp bounds in various settings, including results exhibiting sub-gaussian decay in $L$. With additional effort, we are also able to treat the joint distribution of these events. Moreover, we provide a characterization of the vectors $w$ and $v$ for which these small-ball probabilities are large. As an application, we prove that the number of extremal points of random permutation polynomials is bounded by $O(\log n)$, extending results of S{ö}ze on the number of real roots.

For $n \times n$ random integer matrices $M_1,\ldots,M_k$, the cokernels of the partial products $\mathrm{cok}(M_1 \cdots M_i), 1 \leq i \leq k$ naturally define a random flag of abelian $p$-groups. We prove that as $n \to \infty$, this flag converges universally, for any nondegenerate entry distribution, to the Cohen-Lenstra type measure which weights each flag inversely proportional to the size of its automorphism group. As a corollary, we prove universality of certain formulas for the limiting conditional distribution of $\mathrm{cok}(M_1M_2)$ given $\mathrm{cok}(M_1),\mathrm{cok}(M_2)$ in terms of Hall-Littlewood structure constants, which were previously obtained only for Haar matrices over $\mathbb{Z}_p$. Our proofs combine the general technology of Sawin-Wood, matrix product moment computations following those of Nguyen-Van Peski, and the computation done previously for Haar $p$-adic matrices by Huang.

We show that, with very high probability, the random graph Laplacian has simple spectrum. Our method provides a quantitatively effective estimate of the spectral gaps. Along the way, we establish results on affine no-gaps delocalization, no-structure delocalization, overcrowding and small entries of the eigenvectors for the Laplacian model. These findings are of independent interest.

We consider the cokernel $G_n = \mathbf{Cok}(A_{k} \cdots A_2 A_1)$ of a product of independent $n \times n$ random integer matrices with iid entries from generic nondegenerate distributions, in the regime where both $n$ and $k$ are sent to $\infty$ simultaneously. In this regime we show that the cokernel statistics converge universally to the reflecting Poisson sea, an interacting particle system constructed in arXiv:2312.11702, at the level of $1$-point marginals. In particular, $\operatorname{corank}(A_{k} \cdots A_2 A_1 \pmod{p}) \sim \log_p k$, and its fluctuations are $O(1)$ and converge to a discrete random variable defined in arXiv:2310.12275. The main difference with previous works studying cokernels of random matrices is that $G_n$ does not converge to a random finite group; for instance, the $p$-rank of $G_n$ diverges. This means that the usual moment method for random groups does not apply. Instead, we proceed by proving a `rescaled moment method' theorem applicable to a general sequence of random groups of growing size. This result establishes that fluctuations of $p$-ranks and other statistics still converge to limit random variables, provided that certain rescaled moments $\mathbb{E}[\#\operatorname{Hom}(G_n,H)]/C(n,H)$ converge.

In this note we show that the singular probability of the adjacency matrix of a random $d$-regular graph on $n$ vertices, where $d$ is fixed and $n \to \infty$, is bounded by $n^{-1/3+o(1)}$. This improves a recent bound by Huang. Our method is based on the study of the singularity problem modulo a prime together with an inverse-type result on the decay of the characteristic function. The latter is related to the inverse Kneser's problem in combinatorics.

In this paper we study the cokernels of various random integral matrix models, including random symmetric, random skew-symmetric, and random Laplacian matrices. We provide a systematic method to establish universality under very general randomness assumption. Our highlights include both local and global universality of the cokernel statistics of all these models. In particular, we find the probability that a sandpile group of an Erdos-Renyi random graph is cyclic, answering a question of Lorenzini from 2008.

For random integer matrices $M_1,\ldots,M_k \in \operatorname{Mat}_n(\mathbb{Z})$ with independent entries, we study the distribution of the cokernel $\operatorname{cok}(M_1 \cdots M_k)$ of their product. We show that this distribution converges to a universal one as $n \to \infty$ for a general class of matrix entry distributions, and more generally show universal limits for the joint distribution of $\operatorname{cok}(M_1),\operatorname{cok}(M_1M_2),\ldots,\operatorname{cok}(M_1 \cdots M_k)$. Furthermore, we characterize the universal distributions arising as marginals of a natural generalization of the Cohen-Lenstra measure to sequences of abelian groups with maps between them, which weights sequences inversely proportionally to their number of automorphisms. The proofs develop an extension of the moment method of Wood to joint moments of multiple groups, and rely also on the connection to Hall-Littlewood polynomials and symmetric function identities. As a corollary we obtain an explicit universal distribution for coranks of random matrix products over $\mathbb{F}_p$ as the matrix size tends to infinity.

In this short note we give various near optimal characterizations of random walks over finite Abelian groups with large maximum discrepancy from the uniform measure. We also provide several interesting connections to existing results in the literature.

In this note we give various characterizations of random walks with possibly different steps that have relatively large discrepancy from the uniform distribution modulo a prime p, and use these results to study the distribution of the rank of random matrices over F_p and the equi-distribution behavior of normal vectors of random hyperplanes. We also study the probability that a random square matrix is eigenvalue-free, or when its characteristic polynomial is divisible by a given irreducible polynomial in the limit n to infinity in F_p. We show that these statistics are universal, extending results of Stong and Neumann-Praeger beyond the uniform model.

We study the distribution of the cokernels of adjacency matrices (the Smith groups) of certain models of random $r$-regular graphs and directed graphs, using recent mixing results of Mészáros. We explain how convergence of such distributions to a limiting probability distribution implies asymptotic nonsingularity of the matrices, giving another perspective on recent results of Huang and Mészáros on asymptotic nonsingularity of adjacency matrices of random regular directed and undirected graphs, respectively. We also remark on the new distributions on finite abelian groups that arise, in particular in the $p$-group aspect when $p\mid r$.

For a random matrix of entries sampled independently from a fairly general distribution in Z we study the probability that the cokernel is isomorphic to a given finite abelian group, or when it is cyclic. This includes the probability that the linear map between the integer lattices given by the matrix is surjective. We show that these statistics are asymptotically universal (as the size of the matrix goes to infinity), given by precise formulas involving zeta values, and agree with distributions defined by Cohen and Lenstra, even when the distribution of matrix entries is very distorted. Our method is robust and works for Laplacians of random digraphs and sparse matrices with the probability of an entry non-zero only n^{-1+epsilon}.

We show that a nearly square iid random integral matrix is surjective over the integral lattice with very high probability. This answers a question by Koplewitz. Our result extends to sparse matrices as well as to matrices of dependent entries.

Suppose that A_1,\dots, A_N are independent random matrices whose atoms are iid copies of a random variable ξof mean zero and variance one. It is known from the works of Newman et. al. in the late 80s that when ξis gaussian then N^{-1} \log ||A_N \dots A_1|| converges to a non-random limit. We extend this result to more general matrices with explicit rate of convergence. Our method relies on a simple connection between structures and dynamics.

We provide a characterization for anti-concentration of inhomogeneous random walks in non-abelian groups. In application we extend the classical bounds by Erdos-Littlewood-Offord and Sarkozy-Szemeredi to non-abelian settings.

Let $ξ$ be a real random variable with mean zero and variance one and $A={a_1,...,a_n}$ be a multi-set in $\R^d$. The random sum $$S_A := a_1 ξ_1 + ... + a_n ξ_n $$ where $ξ_i$ are iid copies of $ξ$ is of fundamental importance in probability and its applications. We discuss the small ball problem, the aim of which is to estimate the maximum probability that $S_A$ belongs to a ball with given small radius, following the discovery made by Littlewood-Offord and Erdos almost 70 years ago. We will mainly focus on recent developments that characterize the structure of those sets $A$ where the small ball probability is relatively large. Applications of these results include full solutions or significant progresses of many open problems in different areas.

Let $X$ be a matrix sampled uniformly from the set of doubly stochastic matrices of size $n\times n$. We show that the empirical spectral distribution of the normalized matrix $\sqrt{n}(X-{\mathbf {E}}X)$ converges almost surely to the circular law. This confirms a conjecture of Chatterjee, Diaconis and Sly.

Let $M_n$ be a random matrix of size $n\times n$ and let $λ_1,...,λ_n$ be the eigenvalues of $M_n$. The empirical spectral distribution $μ_{M_n}$ of $M_n$ is defined as $$μ_{M_n}(s,t)=\frac{1}{n}# \{k\le n, \Re(λ_k)\le s; \Im(λ_k)\le t\}.$$ The circular law theorem in random matrix theory asserts that if the entries of $M_n$ are i.i.d. copies of a random variable with mean zero and variance $σ^2$, then the empirical spectral distribution of the normalized matrix $\frac{1}{σ\sqrt{n}}M_n$ of $M_n$ converges almost surely to the uniform distribution $μ_\cir$ over the unit disk as $n$ tends to infinity. In this paper we show that the empirical spectral distribution of the normalized matrix of $M_n$, a random matrix whose rows are independent random $(-1,1)$ vectors of given row-sum $s$ with some fixed integer $s$ satisfying $|s|\le (1-o(1))n$, also obeys the circular law. The key ingredient is a new polynomial estimate on the least singular value of $M_n$.

It is shown that a random $(0,1)$ matrix whose rows are independent random vectors of exactly $n/2$ zero components is non-singular with probability $1-O(n^{-C})$ for any $C>0$. The proof uses a non-standard inverse-type Littlewood-Offord result.

A sequence $A$ of elements an additive group $G$ is {\it incomplete} if there exists a group element that {\it can not} be expressed as a sum of elements from $A$. The study of incomplete sequences is a popular topic in combinatorial number theory. However, the structure of incomplete sequences is still far from being understood, even in basic groups. The main goal of this paper is to give a characterization of incomplete sequences in the vector space $F_p^d$, where $d$ is a fixed integer and $p$ is a large prime. As an application, we give a new proof for a recent result by Gao-Ruzsa-Thangadurai on the Olson's constant of $\F_p^2$ and partially answer their conjecture concerning $F_p^3$.

Let $η_i, i=1,..., n$ be iid Bernoulli random variables, taking values $\pm 1$ with probability 1/2. Given a multiset $V$ of $n$ elements $v_1, ..., v_n$ of an additive group $G$, we define the \emph{concentration probability} of $V$ as $$ρ(V) := \sup_{v\in G} P(η_1 v_1 + ... η_n v_n =v). $$ An old result of Erdos and Moser asserts that if $v_i $ are distinct real numbers then $ρ(V)$ is $O(n^{-3/2}\log n)$. This bound was then refined by Sarkozy and Szemeredi to $O(n^{-3/2})$, which is sharp up to a constant factor. The ultimate result dues to Stanley who used tools from algebraic geometry to give a complete description for sets having optimal concentration probability; the result now becomes classic in algebraic combinatorics. In this paper, we will prove that the optimal sets from Stanley's work are stable. More importantly, our result gives an almost complete description for sets having large concentration probability.