random
7095 papers tagged with this keyword
Random permutations using GEPP
Gaussian elimination with partial pivoting (GEPP) remains the most widely used solver for dense linear systems $A \mathbf x = \mathbf b$ for $A \in \mathbb C^{n\times n}$. We study the permutation $π= π(A)$ that arises in the GEPP factorization $PA = LU$, encoded by the permutation matrix factor $P = P_π$. When the input matrix is random, so is $π$. For random scalar butterfly matrices of size $2^n$ (a recursively defined family originally introduced to eliminate the need for pivoting altogether), we give the exact GEPP factorization and fully classify the induced permutation as an element of a $2$-Sylow subgroup of $S_{2^n}$ contained in the separable permutations. Moreover, the uniform-angle model induces the uniform distribution on this subgroup. For the GOE, GUE, and iid Bernoulli models, the induced permutation is never exactly uniform for $n \ge 2$. We give the precise rate of departure from uniformity at the leading pivot for the GOE and GUE, and give evidence that this non-uniformity vanishes asymptotically in the permuton sense. In contrast, for banded random matrices of sublinear bandwidth, including the tridiagonal $β$-Hermite ensembles, the induced permutation converges to the diagonal permuton. We further show that the resulting pivot probabilities are sensitive to implementation choices: standard LAPACK routines compare complex pivot candidates using the $\ell^1$ rather than $\ell^2$ norm, changing the GUE(2) pivot probability from $1/\sqrt3$ to $2/3$. Together these results establish a new connection between random matrix theory and permutation combinatorics through numerical linear algebra.
The replica symmetric solution for hypergraph independent sets in the critical regime
We prove a variational formula for the logarithmic asymptotics of a non-existence probability in a broad class of combinatorial problems such as avoiding cliques in random graphs and $k$-term arithmetic progressions in random subsets of integers. These results follow from a formula for the probability that a binomial random subset of the vertices of a locally sparse hypergraph is an independent set. The formula holds throughout the critical regime, interpolating between the regimes in which Janson's inequality and the method of hypergraph containers give the respective asymptotics. The formula is the replica-symmetric Bethe free energy formula from statistical physics applied to a hypergraph hardcore model.
The proof uses two new techniques. The first, for the upper bound, involves revealing a small `window' of a random independent set and then applying entropy methods. The second, for the lower bound, involves the analysis of a random greedy algorithm guided by a Belief Propagation fixed point.
In the case of avoiding cliques in random graphs, the variational formula can be expressed as an optimization problem over graphons. Moreover, typical random graphs conditioned on not containing $K_r$, when suitably normalized, approach the set of optimizing graphons in cut distance.
Perfect matchings in hypergraphs and Feige's inequality
How large of a minimum degree does an $n$-vertex graph need before we are sure that it contains a perfect matching? Dirac's theorem states that a graph on an even number of vertices in which each vertex has degree at least $n/2$ has this property. In this short expository note, intended to be used in the classroom, we discuss how this statement generalizes to hypergraphs. In particular, we highlight an elegant connection between fractional perfect matchings in hypergraphs and a probabilistic inequality about nonnegative random variables, which was conjectured by Feige. We also present a very short self-contained proof of Feige's conjecture.
Nonlinear lower-tail large deviations at criticality
We introduce general methods to derive lower tail large deviation principles, for a variety of nonlinear problems of combinatorial interest. These methods are especially effective in "critical" regimes, where the nonlinearities are not sparse enough for Poissonian lower tails (e.g., Janson's inequality does not provide a sharp tail bound), but the situation is not so dense that combinatorial effects dominate (e.g., we cannot directly apply the theory of hypergraph containers or the relative entropy framework of Kozma-Samotij). In particular, these are regimes where one expects interesting phase transitions to occur.
Our results have a number of consequences related to subgraphs in random graphs, answering various questions of Warnke and Jenssen-Perkins-Potukuchi-Simkin. For example, consider a random graph $G\sim \mathbb G(n,p)$, and let $L_\triangle(n,p)=\log\Pr[G\text{ is triangle-free}]$. The first-order asymptotics of $L_\triangle(n,p)$ have long been known in all parameter ranges except the critical regime where $p$ has order of magnitude $1/\sqrt n$. We are able to fill this gap: for any fixed $c>0$, we show that $n^{-3/2}L_\triangle(n,c/\sqrt n)$ converges to a limit expressed in terms of a two-parameter variational problem, which has a single phase transition at $c\approx 4.341$. In contrast, we show that there is no such phase transition for the probability that $G$ is $C_{2\ell}$-free, for any fixed even cycle $C_{2\ell}$.
We also obtain some applications in combinatorial design theory. Addressing conjectures of Glock-Kühn-Lo-Osthus, Kelly, and Kwan-Sah-Sawhney-Simkin, we obtain new estimates on the number of order-$n$ Steiner triple systems with no Pasch configuration and the number of order-$n$ Latin squares with no $2\times 2$ Latin subsquare (both tight up to a factor of $\exp(o(n^2))$).
Moment Methods for Uniform Average Mixing on Strongly Regular Graphs
We study continuous-time quantum walks on connected strongly regular graphs that are not complete, observed at a random time drawn from a freely chosen probability law. Uniform average mixing (UAM) asks for a law under which every averaged transition probability equals $1/n$, where $n$ is the number of vertices. On a strongly regular graph this is equivalent to two affine constraints on three cosine moments. We construct a bounded, compactly supported time density for every strongly regular graph with nonintegral eigenvalues. For integral spectra we give an exact finite Toeplitz criterion and its Hankel form. Every averaged mixing matrix of such a graph is realized by at most two observation times. Three elementary inequalities on the moment line, which also give a short proof of Chan's classification of complex Hadamard matrices in the Bose-Mesner algebra, lead to a determination of all strongly regular graphs that admit UAM. Apart from the conference graphs of nonsquare order and the graphs with instantaneous uniform mixing, these are the members of two infinite families of parameter sets and their complements, and for them we give explicit laws with two observation times. The Petersen graph and its complement are the smallest members. A strongly regular graph with UAM admits a bounded time density exactly when it has no instantaneous uniform mixing. We also correct the classification of instantaneous uniform mixing on strongly regular graphs by Godsil, Mullin and Roy. Its sign condition excludes the halved $5$-cube, which mixes uniformly at time $π/4$. With the order $4θ^2$ read literally, its parity condition also excludes the Clebsch graph and includes the parameters $(36,14,4,6)$, for which no time law gives uniform average mixing.
Mixing Times of Switch Chains via High-Dimensional Expansion
The switch chain is a Markov chain defined on the set of labelled realizations of a given graphical degree sequence. At each step, a pair of vertex-disjoint edges is chosen at random and the process attempts to replace them with a uniformly chosen perfect matching of the same four vertices, rejecting any proposal that would create a multiple edge. The resulting process is reversible with respect to the uniform distribution on all realizations. We investigate the mixing time of this chain by viewing realizations as the facets of a simplicial complex and studying a variant of the original process called the simplicial switch chain, which we analyze using tools from the theory of high-dimensional expansion. Our technical contributions include a proof that links of faces of sufficiently high codimension are strong spectral expanders and a comparison between the Dirichlet energies of large block updates and two-edge updates.
Our main result is an $O(Δ^{2}m\log m)$ bound on the mixing time of both simplicial and classical switch chains whenever $m\ge CΔ^{8}$, where $m$ is the number of edges, $Δ$ is the maximum prescribed degree, and $C>0$ is an absolute constant. For sequences on $n$ vertices with fixed maximum degree, this proves that the chain mixes in $O(n\log n)$ steps, resolving a longstanding conjecture of Cooper, Dyer, and Greenhill and extending its conclusion to irregular degree sequences.
The singularity probability of dense random regular graphs
Let $G_{n,d}$ be a uniformly random simple $d$-regular graph on $n$ vertices, and let $A_n$ be its adjacency matrix. For every fixed $λ\in(0,1/2)$, we prove that for any $λ(n-1)\le d\le(1-λ)(n-1)$, $\mathbb P(A_n\text{ is singular})\le e^{-cn}$, where $c>0$ depends only on $λ$, and $n$ is sufficiently large with $nd$ even.
A near-quadratic lower bound for sets with no unique sums
Let $m(p)$ be the least size of a subset of $\F_p$ with at least two elements for which every sum has two distinct representations as unordered pairs, allowing repetition. We prove that, for every prime $p\ge64$, \[
m(p)\ge2^{-80}\left(\frac{\log p}{\log\log p}\right)^2. \] The argument compresses the full integer collision lattice by unit-pivot elimination. A shared random sample and forests of bounded diameter give $O(\sqrt n+n/\log p)$ surviving coordinates of polynomial height for a minimal set of size $n$. A nonzero minor divisible by $p$ then gives the lower bound. We also construct weakly ternary-balanced seeds yielding \[
m(p)\le\frac{(\log p)^2}{2(\log3)^2}
+\left(\frac1{4\log3}+o(1)\right)
\frac{(\log p)^2}{\log\log p}. \] Consequently $m(p)=(\log p)^{2+o(1)}$ as $p$ tends to infinity through the primes. The constant-factor order of $m(p)$ remains undetermined.
Optimal bound for the polynomial Littlewood-Offord problem
We present an exposition of an argument, discovered by GPT-6 Pro, that gives an optimal bound for the polynomial Littlewood-Offord problem. Namely, let $F$ be a degree-$d$ multilinear polynomial that contains $r$ degree-$d$ monomials involving disjoint sets of variables. Then, for i.i.d. Rademacher random variables $ξ_1, \ldots, ξ_n$, we have $\mathbb{P}[F(ξ_1, \ldots, ξ_n) = 0] = O_d(r^{-1/2})$. This improves upon the previous bound of $(\log r)^{O_d(1)} r^{-1/2}$ due to Meka, O. Nguyen, and Vu, and resolves a conjecture attributed to H. Nguyen and Vu. The key part of the proof is an estimate for the total influence of bounded-degree rational functions, which resolves a recent conjecture of Kothari, Kovacs-Deak, Wang, and Yang.
Hall's universal group does not have finite big Ramsey degrees
In this paper we show that the Hall's universal group does not have finite big Ramsey degrees. Our strategy consists of piggybacking on the recent result of Hubička, Konečný, Todorčević and Zucker (announced at EUROCOMB 2025) that the random edge-labelled graph (the Fraïssé limit of the class of all finite complete edge-labelled graphs where the set of labels is countably infinite) does not have finite big Ramsey degrees. We then use the machinery of category theory to transport this result from the context of edge-labelled graphs to the context of groups. The main step in the process is the construction of a functor from the category of edge-labelled graphs and embeddings to the category of groups and group embeddings which takes finite graphs to finite groups. This makes is possible for us to build a subgroup of the Hall's universal group which encodes the random edge-labelled graph. Our main result shows that several families finite groups, including non-cyclic abelian groups, do not have finite big Ramsey degrees in the Hall's universal group. Actually, we show that all potential candidates for groups with finite big Ramsey degrees have to be solvable.
Hives from deformed GUE minor processes
We construct random hives from deformed GUE minor processes. Starting from two independent diagonally deformed GUE matrices \[ X=\sqrt{n}(wG+uD),\qquad Y=\sqrt{n}(w'G'+u'D'), \] where \(D,D'\) are diagonal and have GUE spectra, we use their minor processes to form a double hive and then apply the octahedron recurrence. Under the matching condition \[ \frac{u}{w^2}=\frac{u'}{(w')^2}, \] we prove that the resulting hive law is close, in relative entropy, to a GUE hive law. More precisely, if \[ a^2=w^2+u^2,\qquad b^2=(w')^2+(u')^2, \] then the produced hive density $q_n$ satisfies \[ D_{\mathrm{KL}}\!\left( q_n\, \middle\|\, \operatorname{Density}\bigl(H_n(a\sqrt n,b\sqrt n,c_{**}\sqrt n)\bigr) \right) = O(n\log n). \] The third scale $c_{**}$ is determined by a limiting tetrahedral optimization problem; equivalently, writing \(δ=u+u'\), \[ δ^2 = \frac{ 2c_{**}^4(c_{**}^2-a^2-b^2) }{ (c_{**}^2-a^2+b^2)(c_{**}^2+a^2-b^2) }. \] Thus the construction realizes GUE hive laws, up to subleading relative entropy, throughout the right-angled and obtuse regime. The introduction records two explicit surface-tension approximations and numerical comparisons which motivated the construction.
A combinatorial approach to nonlinear spectral gaps
A seminal open question of Pisier and Mendel--Naor asks whether every degree-regular graph which satisfies the classical discrete Poincaré inequality for scalar functions, also satisfies an analogous inequality for functions taking values in \textit{any} normed space with non-trivial cotype. Motivated by applications, it is also greatly important to quantify the dependence of the corresponding optimal Poincaré constant on the cotype $q$. Works of Odell--Schlumprecht (1994), Ozawa (2004), and Naor (2014) make substantial progress on the former question by providing a positive answer for normed spaces which also have an unconditional basis, in addition to finite cotype. However, little is known in the way of quantitative estimates: the mentioned results imply a bound on the Poincaré constant depending super-exponentially on $q$.
We introduce a novel combinatorial framework for proving quantitative nonlinear spectral gap estimates. The centerpiece is a property of regular graphs that we call \emph{long range expansion}, which holds with high probability for random regular graphs. Our main result is that any regular graph with the long-range expansion property satisfies a discrete Poincaré inequality for any normed space with an unconditional basis and cotype $q$, with a Poincaré constant that depends \emph{polynomially} on $q$, which is optimal. As an application, any normed space with an unconditional basis which admits a low distortion embedding of an $n$-vertex random regular graph, must have cotype at least polylogarithmic in $n$. This extends a celebrated lower-bound of Matoušek for low distortion embeddings of random graphs into $\ell_q$ spaces.
Entropy and the growth rate of universal covering trees
This work studies the relation between two graph parameters, $ρ$ and $Λ$. For an undirected graph $G$, $ρ(G)$ is the growth rate of its universal covering tree, while $Λ(G)$ is a weighted geometric average of the vertex degree minus one, corresponding to the rate of entropy growth for the non-backtracking random walk (NBRW). It is well known that $ρ(G) \geq Λ(G)$ for all graphs, and that graphs with $ρ=Λ$ exhibit some special properties. In this work we derive an easy to check, necessary and sufficient condition for the equality to hold. Furthermore, we show that the variance of the number of random bits used by a length $\ell$ NBRW is $O(1)$ if $ρ= Λ$ and $Ω(\ell)$ if $ρ> Λ$. As a consequence we exhibit infinitely many non-trivial examples of graphs with $ρ= Λ$.
Metric Poincaré inequalities for graphs
This article obtains purely metric counterparts of cornerstone results in the theory of embedding graphs into normed spaces. Our first main result is a metric analogue of Matoušek's extrapolation relating the Poincaré constants $γ(G,\varrho^p)$ and $γ(G,\varrho^q)$ for any exponents $0 < p,q < \infty$, any bounded-degree expander graph $G$, and any target metric space $\mathcal{M}=(M,\varrho)$. Our second main result provides a sharp estimate of the Poincaré constant $γ(G,\varrho)$ in terms of the cardinalities of the vertex set of $G$ and the metric space $\mathcal{M}=(M,\varrho)$, in the setting of \textit{random} graphs. This yields optimal estimates on the minimum cardinality of (bi-Lipschitz) universal metric spaces for graphs, finally establishing a nonlinear analogue of Matoušek's celebrated "incompressibility" theorem (1996). Further, we obtain estimates on the nonlinear spectral gap of metric snowflakes and sharp lower bounds on the distortion of random regular graphs into arbitrary metric spaces. Our proofs develop new nonlinear techniques, including random compression methods and a novel structural dichotomy for metric embeddings.
Tight Bounds for Sparsifying Random CSPs
The problem of CSP sparsification asks: for a given CSP instance, what is the sparsest possible reweighting such that for every possible assignment to the instance, the number of satisfied constraints is preserved up to a factor of $1 \pm ε$? We initiate the study of the sparsification of random CSPs. In particular, we consider two natural random models: the $r$-partite model and the uniform model. In the $r$-partite model, CSPs are formed by partitioning the variables into $r$ parts, with constraints selected by randomly picking one vertex out of each part. In the uniform model, $r$ distinct vertices are chosen at random from the pool of variables to form each constraint.
In the $r$-partite model, we exhibit a sharp threshold phenomenon. For every predicate $P$, there is an integer $k$ such that a random instance on $n$ vertices and $m$ edges cannot (essentially) be sparsified if $m \le n^k$ and can be sparsified to size $\approx n^k$ if $m \ge n^k$. Here, $k$ corresponds to the largest copy of the AND which can be found within $P$. Furthermore, these sparsifiers are simple, as they can be constructed by i.i.d. sampling of the edges.
In the uniform model, the situation is a bit more complex. For every predicate $P$, there is an integer $k$ such that a random instance on $n$ vertices and $m$ edges cannot (essentially) be sparsified if $m \le n^k$ and can sparsified to size $\approx n^k$ if $m \ge n^{k+1}$. However, for some predicates $P$, if $m \in [n^k, n^{k+1}]$, there may or may not be a nontrivial sparsifier. In fact, we show that there are predicates where the sparsifiability of random instances is non-monotone, i.e., as we add more random constraints, the instances become more sparsifiable. We give a precise (efficiently computable) procedure for determining which situation a specific predicate $P$ falls into.
Random $3$-regular graphs are not globally synchronizing
We study the homogeneous Kuramoto model on random 3-regular graphs. A connected graph $G$ is globally synchronizing if, for almost every initial condition, the gradient flow converges to a fully synchronized state, in which all phases coincide. It has been conjectured by Bandeira [Oberwolfach Rep. 21 (2024) 1163-1226] that a random 3-regular graph $G_{2n,3}$ is globally synchronizing with high probability. We disprove this conjecture in a strong way: $G_{2n,3}$ is not globally synchronizing with probability tending to 1.
Limit of the octahedron recurrence with GUE boundary data
We study the tropical octahedron recurrence on the lattice tetrahedron $\{(x_1,x_2,x_3,x_4)\in\mathbb Z_{\geq0}^4: x_1+x_2+x_3+x_4=n\}$ with an intrinsic double-hive boundary law. Let $M_1^{(n)},M_2^{(n)},M_3^{(n)}$ be independent standard $n\times n$ GUE matrices and, for fixed $\ell_1,\ell_2,\ell_3>0$, set $ X_r^{(n)}=\ell_r\sqrt n\,M_r^{(n)},\qquad r=1,2,3. $ The boundary law on the two upper panels is the Gibbs density on the cone of double hives whose four exterior sides correspond, in the prescribed orientations, to the spectra of $X_1^{(n)},X_2^{(n)},X_3^{(n)}$, and $X_1^{(n)}+X_2^{(n)}+X_3^{(n)}$. We then perform an octahedron-recurrence sweep to obtain the value at every lattice point of the tetrahedron. After scaling lattice positions by $n^{-1}$ and recurrence values by $n^{-2}$, we prove that the resulting random field converges uniformly in probability to a deterministic Lipschitz function on $\{(x_1,x_2,x_3,x_4)\in\mathbb R_{\geq0}^4: x_1+x_2+x_3+x_4=1\}$. For every strictly interior target lattice point we construct a canonical planar bipartite graph supported on a union of three triangular panels and prove an exact perfect-matching formula for the recurrence value. Its variable weights are explicit interlacing gaps from the minor processes of $X_1^{(n)},X_2^{(n)},X_3^{(n)}$, together with explicit seam and matching-independent terms. The asymptotic analysis of this formula yields a surface-tension variational characterization of the deterministic limit. This matching rule supplies, in the present four-simplex setting, the kind of higher-dimensional combinatorial formula identified as a major cluster-algebra problem by Henriques and Speyer.
Universality for the extreme eigenvalues of Laplacian random matrices
We study the eigenvalues of the random Laplacian matrix $D - A$, where $A$ is a Wigner matrix with sub-Gaussian entries and the diagonal matrix $D$ contains the row sums of $A$. Our main results show that the extreme eigenvalues of this model exhibit Poisson statistics; in particular, after the appropriate centering and scaling, the largest eigenvalue converges to the Gumbel distribution as the dimension of the matrix tends to infinity. This confirms, for general sub-Gaussian entries, a phenomenon the authors previously established only in the Gaussian case [Electron. J. Probab. 30 (2025), Paper No. 104], resolving a conjecture raised there. As a corollary, for an Erdős--Rényi random graph, we show the asymptotic fluctuations of the algebraic connectivity (Fiedler value) can be described in terms of the Gumbel distribution.
Random independent sets in uncrowded hypergraphs
Given any fixed integer $k \ge 2$ and sufficiently large $d$, we show that the largest possible fractional chromatic number of a $k$-uniform $d$-degenerate uncrowded hypergraph $H$ (i.e., with girth at least $5$) satisfies \[ χ_f(H) = (1 + o_d(1)) \left((k-1)\,\frac{d}{\log d}\right)^{\frac{1}{k-1}}. \] In fact, we prove that this holds for $k$-uniform $d$-degenerate hypergraphs of girth at least $g$, for any given $g \ge 5$. As a corollary, we obtain improved bounds on the fractional chromatic number of $d$-degenerate linear hypergraphs. This work builds upon a recent result by Allen, Dhawan, and Noel, extending it from graphs to hypergraphs. In addition to overcoming the new difficulties that arise in the hypergraph setting, our approach yields a simpler proof even in the original graph case.
Our proof of the upper bound uses a simpler iterative procedure for sampling independent sets. We also establish bounds for fractional colorings with local demands, a framework introduced by Kelly and Postle, verifying a recent conjecture of Yu and Zhang. As a consequence, we obtain a degree-sequence bound on the independence number of uncrowded hypergraphs with a leading constant matching the shattering threshold.
For the matching lower bound, we use a hypergraph variant of the uniform attachment model and harmonic vertex weights to bound the fractional chromatic number via linear programming duality, then remove all short cycles by deleting vertices of negligible total weight. We also replace the Catalan-number argument used in the graph case with a matrix-norm estimate, simplifying the analysis.
Random Cayley sum hypergraphs and $k$-fold sumsets
We denote by $f_k(Γ)$ the largest integer with the property that every subset of a finite abelian group $Γ$ of size at least $|Γ| - f_k(Γ)$ is a $k$-fold sumset. Extending a recent result of Alon and Pham, we prove that
$$
f_k(Γ) \leq \widetilde{O} \left(n^{(2k-1)/(4k-3)}\right)
$$ holds for all finite abelian groups $Γ$ and integers $k \geq 2$, where $n = |Γ|$. Additionally, we also show that the lower bound $f_k(Γ) \geq \widetildeΩ \left(n^{1/k}\right)$ holds if $Γ$ has no nontrivial element of order dividing $k$. Our upper bound improves a previous result of Balogh, Liu, and Sharifzadeh, and recovers the bound of Alon and Pham in the case $k = 2$. The proof relies on a new upper bound for the independence number of random Cayley sum hypergraphs, which may be of independent interest.