random
7100 papers tagged with this keyword
Thresholds and Fluctuations for Colorful Arithmetic Progressions in Sparse Random Colorings
In this paper, we derive thresholds and fluctuations for arithmetic progressions with prescribed color patterns in sparse random colorings of $[n]:=\{1, 2, \ldots, n\}$, where each element of $[n]$ is colored independently according to a given probability vector. For any admissible ordered palette of colors, we determine the full multi-parameter threshold region for the appearance of a colorful arithmetic progression. The threshold is governed by two competing mechanisms: a global first-moment condition and a local color-availability condition, resulting in a polyhedral satisfiability region, with a piecewise-polyhedral threshold surface. In the satisfiability region we establish asymptotic normality for the number of colorful arithmetic progressions of a given length, with an explicit rate of convergence in Wasserstein distance. On the threshold surface, we identify three distinct asymptotic regimes: Poisson, compound Poisson with mixed Poisson jumps, and compound Poisson with uniform jumps, after an appropriate normalization. These results provide a complete description of the threshold and fluctuation behavior of general colored arithmetic progressions under sparse random colorings, in a unified framework that interpolates between classical uncolored/monochromatic progressions in binomial random subsets and multicolored, including rainbow, arithmetic progressions.
Uniform integrability of the distance to the nearest leaf in random trees
We study the distance from the root to the nearest leaf, the analogous quantity for a uniformly chosen vertex, and its protection number, in size-conditioned simply generated trees. We prove a uniform exponential tail bound for each of these quantities, valid for arbitrary offspring distributions. As a consequence, these random variables are uniformly integrable of every order. This yields convergence of all moments to those of the corresponding local limit. The argument is probabilistic and unified across the three quantities.
Random burning of the Euclidean torus
The burning number of a graph is the minimal number of steps that are needed to burn all of its vertices, with the following burning procedure: at each step, one can choose a point to set on fire, and the fire propagates constantly at unit speed along the edges of the graph. In this paper, we consider two natural random burning procedures in the discrete Euclidean torus $\mathbb{T}_n^d$, in which the points that we set on fire at each step are random variables. Our main result deals with the case where at each step, the law of the new point that we set on fire conditionally on the past is the uniform distribution on the complement of the set of vertices burned by the previous points. In this case, we prove that as $n\to\infty$, the corresponding random burning number (i.e, the first step at which the whole torus is burned) is asymptotic to $T\cdot n^{d/(d+1)}$ in probability, where $T=T(d)\in(0,\infty)$ is the explosion time of a so-called generalised Blasius equation.
FIID Coloring Random Maps
We show that the percolation components on a square grid can be $5$-colored as a factor of iid so that neighboring components get different colors. Above the critical probability, we observe that these regions can be 4-colored. Along the way, we extend the classical correspondence between fiid process and measurable labellings of the Bernoulli shift to this quotient setting, prove a general coloring result about hyperfinite pmp planar graphs, and clarify some foundational issues about how to define planarity for Borel graphs.
Explicit Fractalizers: Prime-Order Paley Graphs and other Cayley Graphs
The inducibility problem asks for the maximum number of induced copies of a fixed graph among all graphs with a prescribed number of vertices. Inducibility has been an active area of research in extremal combinatorics, but determining all extremal graphs for explicitly defined patterns remains challenging, particularly when the description is required to hold at every host order. A graph $H$ is called a fractalizer if, for every positive integer $n$, every $n$-vertex graph maximizing the number of induced copies of $H$ is a balanced iterated blow-up of $H$, obtained by recursively repeating the same pattern in parts whose sizes differ by at most one. Previous probabilistic results show that large random graphs and random abelian Cayley graphs are fractalizers with probability tending to one, establishing their abundance without directly providing explicit families.
We prove that every sufficiently large prime-order Paley graph is a fractalizer. Thus these classical arithmetic patterns determine the exact recursive structure of every extremal host, at every host order and without any algebraic assumptions on the host. We also construct a second explicit infinite family of nontrivial Cayley fractalizers, for which the fractalizer property admits a simpler proof than in the Paley case. Together, these results resolve the explicit-construction question discussed at the 2025 American Institute of Mathematics workshop "Flag Algebras and Extremal Combinatorics."
Arithmetic Progressions in a Random Binary Subset-Sum Set
Let $u=(u_n)_{n\ge0}$ be a binary sequence, and define \[ X_0=1,\qquad X_{n+1}=2X_n+u_n \qquad(n\ge0). \] Let $A_u$ be the set of all nonempty finite subset sums of the sequence $(X_n)$, and let $L_u(N)$ denote the maximum length of an arithmetic progression contained in $A_u\cap[1,N]$. We prove that there are absolute constants $c>0$ and $N_0\geq 1$ such that, for every binary sequence $u$, \[ L_u(N)\ge \exp\!\left(c\sqrt{\frac{\log N}{\log\log N}}\right) \] for all $N\geq N_0$. Moreover, if the random variables $u_n$ are independent and uniformly distributed on $\{0,1\}$, then, almost surely, \[ L_u(N)\ll_u N^{2/3}\exp\!\left(C\sqrt{\log N\log\log N}\right), \] where $C>0$ is an absolute constant. Furthermore, every eventually periodic binary sequence satisfies $L_u(N)\gg_u N^{1/2}$.
Close Divisors of Typical Integers:The Ford--Green--Koukoulopoulos Conjecture
For an integer $k\geq2$, let $α_k$ be the supremum of the real numbers $a$ for which almost every integer $n\geq2$ has divisors $d_1<\cdots<d_k\mid n$ satisfying $d_k\leq d_1\bigl(1+(\log n)^{-a}\bigr).$ Let $\mathcal A\subseteq\N$ be the logarithmic random set in which the events $m\in\mathcal A$ are mutually independent and $\Pp(m\in\mathcal A)=1/m$ for every $m\geq1$. For a finite set $B\subseteq\N$, write $Σ(B)=\sum_{b\in B}b, Σ(\varnothing)=0$ and $m(B)=\max_{s\in\Z}\#\{C\subseteq B\midΣ(C)=s\},$ and define \[ β_k=\sup\left\{c<1\,\middle|\,\lim_{D\to\infty}\Pp\bigl(m(\mathcal A\cap(D^c,D])\geq k\bigr)=1\right\}. \] Ford, Green and Koukoulopoulos proved $α_k\geqβ_k/(1-β_k)$ and conjectured that equality holds for every fixed $k\geq2$. In this paper, we confirm their conjecture. More precisely, for every fixed $a>β_k/(1-β_k)$, almost every integer $n\geq2$ has no divisors $d_1<\cdots<d_k\mid n$ satisfying $d_k\leq d_1\bigl(1+(\log n)^{-a}\bigr)$. We also correct local errors in their paper [\emph{Invent. Math.} 232 (2023), 1027--1160], concerning the finite-subflag reduction, the residual-sum count, the moment estimate and the lattice adjustment. These corrections preserve the entropy-threshold comparison used in our proof.
Methods of free probability
This is an introduction to free probability, with all the needed preliminaries included. We first discuss the most basic noncommuting variables, namely the usual matrices, followed by the basic random matrices, and with a look into Lie groups too. Then we present, following Voiculescu, the main concepts and tools of free probability, notably with the various limiting theorems that can be obtained. We then go on a more technical discussion, featuring cumulants, functional transforms and group theory, on the correspondence between classical and free. Finally, we discuss matrix modeling questions for the various more specialized free laws and objects that can be imagined.
On Graphical Partitions with Restricted Parts
An integer partition of $n$ is called graphical if its parts form a degree sequence of a simple graph. While unrestricted graphical partitions have been extensively studied, much less is known when the parts are restricted to a prescribed set. In this work, we investigate the probability that a uniformly random partition of an even integer $n$, subject to such restrictions, is graphical. We establish an upper bound on this probability expressed solely in terms of the Durfee square of the partition. Additionally, we evaluate the most-probable size of the Durfee square, depending solely on $n$ and the restrictions on the parts. Thus, we establish typical bounds on the probability that such random partitions are graphical. Our approach employs the Nash-Williams graphical condition, the saddle-point method and Edgeworth expansions.
Eigenvalue Distribution of the Laplacian on Random Complexes
We study the empirical eigenvalue distribution of a standardized up Laplacian of the Linial-Meshulam model $Y_{q+1}(n, p)$. We first give a definition of a Gaussian--semicircle law: $\mathcal{N}(0, σ^2)\boxplus \operatorname{SC}(sσ^2)$, and give a combinatorial formula of its moments in terms of pairing partitions. In addition to that, we also prove that the limiting empirical eigenvalue distribution of this standardized up Laplacian follows a Gaussian--semicircle law, in the sense of almost surely weak convergence.
Discounted Hitting Domination on Graphs with Submodularity, Complexity and Exact Algorithms
On a network with a fixed set of verified sources, discounted averaging induces an equilibrium support $h_i^S=\mathbb{E}_i[λ^{T_S}]$, the discounted probability that a random walk reaches $S$ before attenuation. We define the \emph{discounted hitting domination number} $δ_{λ,τ}(G)$ as the minimum number of sources required to guarantee $h_i^S\geτ$ at every vertex. Although this potential is known through penalized and group hitting probabilities, the associated minimum-cardinality uniform-coverage problem appears to be new. Aggregate support is monotone submodular, while the uniform-floor problem is an exact submodular-cover problem. Moreover, if $λ^{r+1}<τ\le\left(\fracλΔ\right)^r$, then $δ_{λ,τ}(G)$ equals the distance-$r$ domination number. This yields NP-completeness and APX-completeness at $(λ,τ)=(1/4,1/14)$ on graphs of maximum degree three. For spiders, we obtain an exact finite-state characterization and a polynomial-time algorithm for every fixed rational pair $(λ,τ)$, and show that the branching vertex need not belong to a minimum source set. Finally, an exact mixed-integer linear formulation certifies optimal placements on a real network and a synthetic graph and demonstrates substantial differences from degree, closeness, and classical domination.
Proof of the Kahn Saks Conjecture
Let $\mathbb{P}(x\prec y)$ be the probability that $x$ precedes $y$ in a uniformly random linear extension of an $n$-element poset $P$, and define the balancing coefficient to be $δ(x,y)=\min(\mathbb{P}(x\prec y),\mathbb{P}(y\prec x))$ with $δ(P)=\max_{x,y}δ(x,y)$. We prove (Theorem 1) that sufficiently large width forces $δ(P)$ to be arbitrarily close to $1/2$, answering a long-standing conjecture of Kahn and Saks. In fact, we prove the stronger result (Theorem 2) that large width forces one of two configurations in our poset: either a nearly uniform order on $k$ vertices, or an almost fixed order on $t$ vertices with one further vertex inserted uniformly among the $t+1$ slots. We also show that, for fixed $k$, the first possibility must occur within any antichain $X$ of size $Ω(n^{2/3})$.
Breaking the Infinite Barrier in the $\frac{1}{3}$--$\frac{2}{3}$ Conjecture
The balance constant is a poset parameter measuring how well random linear extensions can be split according to their relative order on two elements. We give an $\varepsilon$-improvement for the balance constant over the bound by Brightwell, Felsner and Trotter (1995), for some small $\varepsilon>0$. This is the first general result towards the $\frac{1}{3}$--$\frac{2}{3}$ conjecture in over 30 years.
Rainbow Berge Hamiltonicity in edge-colored random $k$-uniform hypergraphs
Let $H \sim H^{k}_c(n,p)$ be an edge-colored random $k$-uniform hypergraph on the vertex set $[n]$, where each edge $e \in \binom{[n]}{k}$ is included independently with probability $p$ and is uniformly and independently assigned a color from the color set $[c]$. For $k = 2$, Ferber and Krivelevich (2016) established that if $c = (1+o(1))n$ and $p = (\log n + \log \log n + ω(n))/n$, then with high probability the edge-colored random graph $H \sim H^2_c(n,p)$ contains a rainbow Hamilton Berge cycle. Subsequently, Bal, Berkowitz, Devlin, and Schacht (2021) determined the threshold for the appearance of a (non-rainbow) Hamilton Berge cycle in random $k$-uniform hypergraphs. In this paper, we generalize the results to all integers $k \ge 3$. We prove that if $c = (1+o(1))n$ and $p = (k-1)! \frac{\log n + \log\log n + ω(n)}{n^{k-1}}$, then with high probability $H \sim H^{k}_c(n,p)$ contains a rainbow Hamilton Berge cycle. Furthermore, both conditions on $c$ and $p$ are asymptotically tight.
\noindent\emph{Key words:} Rainbow subgraph, Hamiltonicity, Berge cycle, Random hypergraph.
Fractional coloring via entropy
In recent work, Martinsson and Steiner proved that triangle-free $d$-degenerate graphs have fractional chromatic number $χ_f(G) = O\left(\frac{d}{\log d}\right)$. Here, we introduce an alternate proof of the bound rooted in the analysis of the entropy of certain random variables. Beyond simplifying the original argument, our technique naturally generalizes to broader settings. In this paper, we focus on two extensions of the result.
First, we consider locally $r$-colorable graphs $G$, where $χ(G[N(v)]) \le r$ for every vertex $v$. We show that $d$-degenerate locally $r$-colorable graphs satisfy $χ_f(G) = O\left(\frac{d\log (2r)}{\log d}\right)$, strengthening a result of Alon (1996) on the independence number of such graphs.
Second, we extend Martinsson and Steiner's result to $r$-uniform $d$-degenerate hypergraphs $H$ with girth at least $4$, showing that $χ_f(H) \le c_r\left(\frac{d}{\log d}\right)^{\frac{1}{r-1}}$ for a constant $c_r > 0$. This yields a strict generalization of a seminal result of Ajtai, Komlós, Pintz, Spencer, and Szemerédi (1982) on the independence number of uncrowded hypergraphs. Via random sampling as introduced by Duke, Lefmann, and Rödl (1995), we obtain an improved bound on the independence number of linear hypergraphs, establishing a recent conjecture of Verstraëte and Wilson (2026).
Our arguments generalize to the setting of fractional colorings with local demands, introduced by Kelly and Postle (2024). This yields previously unknown degree-sequence lower bounds on the independence number across each setting considered. Furthermore, our approach is constructive, yielding efficient randomized algorithms for sampling independent sets in these contexts.
Non-backtracking eigenvalues and eigenvectors of random regular graphs and hypergraphs
Published in Discrete Mathematics 350 (2027), no. 2, 115450
• View Publication
• BIB
The non-backtracking operator of a graph is a powerful tool in spectral graph theory and random matrix theory. Most existing results for the non-backtracking operator of a random graph concern only eigenvalues or top eigenvectors. In this paper, we take the first step in analyzing its bulk eigenvector behaviors. We demonstrate that for the non-backtracking operator $B$ of a random $d$-regular graph, its eigenvectors corresponding to nontrivial eigenvalues are completely delocalized with high probability. Additionally, we show complete delocalization for a reduced $2n \times 2n$ non-backtracking matrix $\tilde{B}$. By projecting all eigenvalues of $\tilde{B}$ onto the real line, we obtain an empirical measure that converges weakly in probability to the Kesten-McKay law for fixed $d\geq 3$ and to a semicircle law as $d \to\infty$ with $n \to\infty$. We extend our analysis to random regular hypergraphs, including the limiting measure of the real part of the spectrum for $\tilde{B}$, $\ell_{\infty}$-norm bounds for the eigenvectors of $\tilde{B}$ and $B$, and a deterministic relation between eigenvectors of $B$ and the eigenvectors of the adjacency matrix.
As an application, we analyze the non-backtracking spectrum of the regular stochastic block model (RSBM) and provide a spectral method based on eigenvectors of $\tilde{B}$ to recover the community structure exactly. We also show that there exists an isolated real eigenvalue with an informative eigenvector inside the circle of radius $\sqrt{d_1+d_2-1}$ in the spectrum of $B$, analogous to the "eigenvalue insider" phenomenon for the Erdős-Rényi stochastic block model conjectured in Dall'Amico et al. (2019).
On Kotzig's conjecture in random graphs
In 1963, Anton Kotzig famously conjectured that $K_{n}$, the complete graph of order $n$, where $n$ is even, can be decomposed into $n-1$ perfect matchings such that every pair of these matchings forms a Hamilton cycle. The problem is still wide open and here we consider a variant of it for the binomial random graph $G(n,p)$. We prove that, for every fixed $k$, there exists a constant $C=C(k)$ such that, when $p\ge \frac{C \log n}{n}$, with high probability, $G(n,p)$ contains $k$ edge-disjoint perfect matchings with the property that every pair of them forms a Hamilton cycle. In fact, our main result is a very precise counting result for $K_n$. We show that, given any $k$ edge-disjoint perfect matchings $M_1,\dots,M_k$, the probability that a uniformly random perfect matching $M^*$ in $K_n$ has the property that $M^*\cup M_i$ forms a Hamilton cycle for each $i\in [k]$ is $Θ_k(n^{-k/2})$. This is proved by building on a variety of methods, including a random process analysis, the absorption method, the entropy method and the switching method. The result on the binomial random graph follows from a slight strengthening of our counting result via the recent breakthroughs on the expectation threshold conjecture.
Thresholds and spread in set systems of bounded VC-dimension
Let $p_c(\mathcal F)$, $q(\mathcal F)$, and $q_f(\mathcal F)$ denote the threshold, expectation threshold, and fractional expectation threshold of a family $\mathcal F$ of nonempty subsets of a finite set, respectively. We prove that there is an absolute constant $C>0$ such that, if $\mathcal F$ has VC dimension at most $d\ge1$, then $p_c(\mathcal F)\le Cq(\mathcal F)\log(d+1)$. More generally, for every $0<\varepsilon\le1/2$, a binomial random set of density $\min\{1,Cq(\mathcal F)\log((d+1)/\varepsilon)\}$ contains a member of $\mathcal F$ with probability at least $1-\varepsilon$. Consequently, $q_f(\mathcal F)\le Cq(\mathcal F)\log(d+1)$, verifying Talagrand's integral--fractional conjecture for families of any fixed VC dimension.
We also prove that if a $k$-spread probability measure has support of VC dimension at most $d$, then a binomial random set of density $\min\{1,(C/k)\log((d+1)/\varepsilon)\}$ contains a member of its support with probability at least $1-\varepsilon$. In both random-containment results, the factor \(\log((d+1)/\varepsilon)\) is optimal up to absolute constants. As an application of the spread theorem, we prove that every $n$-uniform family of VC dimension at most $d$ with more than $(C p^{-1}\log((d+1)/\varepsilon))^n$ members contains a $(p,\varepsilon)$-robust sunflower. In particular, every such family with more than $(Cr\log(d+1))^n$ members contains an $r$-sunflower, improving the recent bound $(Crd)^n$ of Ge, Wang, Xu, and Zhao.
Thinning and sprinkling: from robust sampling to almost Hamiltonicity
We develop the thinning--sprinkling technique, a general method for proving robustness of graph properties under random vertex sampling. Using it, we show that random induced subgraphs of tough graphs, high-degree connected vertex-transitive graphs, and nearly regular sublinear expanders retain strong connectivity or expansion properties with very high probability. We also prove that every $k$-connected graph with $k=ω(\log n)$ contains a spanning bipartite subgraph that is $Ω(k)$-connected.
Using these robustness results, we further develop a general framework for constructing almost Hamilton cycles from randomly sampled highly connected subgraphs. As a consequence, we show that tough graphs, connected vertex-transitive graphs and nearly regular expanders contain a cycle of length at least $(1-o(1))n$ whenever the toughness or degree is polylogarithmically large. This gives asymptotic solutions of longstanding conjectures of Chvátal and Lovász on Hamiltonicity of tough and vertex-transitive graphs.
On the largest common subtree of uniform attachment trees
We study the largest common subtree of two independent unlabeled uniform attachment trees (also known as random recursive trees). Our main result shows that, when the two trees have $n$ vertices each, their largest common subtree has at least $n^{0.83}$ vertices with high probability. This is obtained by starting with the common subtree induced by the Ulam--Harris labels in the two trees and improving using local optimization steps. We also give some upper bounds and bounds for general random tree growth models. We leave as an intriguing open question to understand the magnitude of the size of the largest common subtree.