random
6952 papers tagged with this keyword
The random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra
We prove that the random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra, hereby answering an open question of Bartošová and Scow.
Liouville Quantum Duality and Random Planar Maps
We consider models of block-weighted random planar maps in which possibly decorated maps are decomposed canonically into blocks, each block receiving the weight $u$. These maps present a transition at some critical value $u=u_{cr}$ above which the maps degenerate into Brownian trees. We show that the enumerative properties and critical exponents of the maps at $u=u_{cr}$ and those for $u<u_{cr}$ are connected by duality relations which are precisely those expected in the context of the Liouville quantum gravity description of random surfaces. We illustrate this result by various instances of block-weighted maps: random planar quadrangulations decomposed into simple blocks, Hamiltonian cycles on cubic or bicubic planar maps decomposed into irreducible blocks, and meandric systems.
Perfect Matchings in Random Sparsifications of Dense Hypergraphs
The decision problem of perfect matchings in uniform hypergraphs is famously an NP-complete problem. It has been shown by Keevash--Knox--Mycroft [STOC, 2013] that for every $\varepsilon>0$, such decision problem restricted to $k$-uniform hypergraphs $H$ satisfying that every $(k-1)$-set of vertices is in at least $(1/k+\varepsilon)|H|$ edges is tractable, and the quantity $1/k$ is best possible. In this paper we study the existence of perfect matchings in the random $p$-sparsification of such $k$-uniform hypergraphs, that is, for $p=p(n)\in [0,1]$, every edge is kept with probability $p$ independent of others. As a consequence, we give a polynomial-time algorithm that with high probability solves the decision problem; we also derive effective bounds on the number of perfect matchings in such hypergraphs. At last, similar results are obtained for the $F$-factor problem in graphs.
The key ingredients of the proofs are a strengthened partition lemma for the lattice-based absorption method, and the random redistribution method developed recently by Kelly, Müyesser and Pokrovskiy, based on the spread method.
Multiset Metric Dimension of Binomial Random Graphs
For a graph $G = (V,E)$ and a subset $R \subseteq V$, we say that $R$ is \textit{multiset resolving} for $G$ if for every pair of vertices $v,w$, the \textit{multisets} $\{d(v,r): r \in R\}$ and $\{d(w,r):r \in R\}$ are distinct, where $d(x,y)$ is the graph distance between vertices $x$ and $y$. The \textit{multiset metric dimension} of $G$ is the size of a smallest set $R \subseteq V$ that is multiset resolving (or $\infty$ if no such set exists). This graph parameter was introduced by Simanjuntak, Siagian, and Vitrík in 2017~\cite{simanjuntak2017multiset}, and has since been studied for a variety of graph families. We prove bounds which hold with high probability for the multiset metric dimension of the binomial random graph $G(n,p)$ in the regime $d = (n-1)p = Θ(n^{x})$ for fixed $x \in (0,1)$.
Universal diameter bounds for random graphs with given degrees
Given a graph $G$, let $\mathrm{diam}(G)$ be the greatest distance between any two vertices of $G$ which lie in the same connected component, and let $\mathrm{diam}^+(G)$ be the greatest distance between any two vertices of $G$; so $\mathrm{diam}^+(G)=\infty$ if $G$ is not connected.
Fix a sequence $(d_1,\ldots,d_n)$ of positive integers, and let $\mathbf{G}$ be a uniformly random connected simple graph with $V(\mathbf{G})=[n]:=\{1,\ldots,n\}$ such that $\mathrm{deg}_{\mathbf{G}}(v)=d_v$ for all $v \in [n]$. We show that, unless a $1-o(1)$ proportion of vertices have degree $2$, then $\mathbb{E}[\mathrm{diam}(\mathbf{G})]=O(\sqrt{n})$. It is not hard to see that this bound is best possible for general degree sequences (and in particular in the case of trees, in which $\sum_{v=1}^n d_v = 2(n-1)$). We also prove that this bound holds without the connectivity constraint. As a key input to the proofs, we show that graphs with minimum degree $3$ are with high probability connected and have logarithmic diameter: if $\min(d_1,\ldots,d_n) \ge 3$ and $\mathbf{G}$ is a uniformly random simple graph with $V(\mathbf{G})=[n]$ such that $\mathrm{deg}_{\mathbf{G}}(v)=d_v$ for all $v \in [n]$, then $\mathrm{diam}^+(\mathbf{G})=$ $O_{\mathbb{P}}(\log n)$; this bound is also best possible.
Correlations in random cluster model at $q=1$
Let $μ$ be a measure that samples a subset of a finite ground set, and let $\mathcal{A}_e$ be the event that element $e$ is sampled. The measure $μ$ is negatively correlated if for any pair of elements $e, f$ one has $μ(\mathcal{A}_e \cap \mathcal{A}_f) - μ(\mathcal{A}_e) μ(\mathcal{A}_f) \leq 0$. A measure is positively correlated if the direction of the inequality is reversed. For the random cluster model on graphs positive correlation between edges is known for $q \geq 1$ due to the FKG inequality, while the negative correlation is only conjectured for $0 \leq q \leq 1$. The main result of this paper is to give a combinatorial formula for the difference in question at $q=1$. Previously, such a formula was known in the uniform spanning tree case, which is a limit of the random cluster model at $q=0$.
Asymptotically optimal cyclic subspace codes
Subspace codes, and in particular cyclic subspace codes, have gained significant attention in recent years due to their applications in error correction for random network coding. In this paper, we introduce a new technique for constructing cyclic subspace codes with large cardinality and prescribed minimum distance. Using this new method, we provide new constructions of cyclic subspace codes in the Grassmannian $\mathcal{G}_q(n,k)$ of all $k$-dimensional $\mathbb{F}_q$-subspaces of an $n$-dimensional vector space over $\mathbb{F}_q$, when $k\mid n$ and $n/k$ is a composite number, with minimum distance $2k-2$ and large size. We prove that the resulting codes have sizes larger than those obtained from previously known constructions with the same parameters. Furthermore, we show that our constructions of cyclic subspace codes asymptotically reach the Johnson type bound II for infinite values of $n/k$.
Domino Tilings of the Aztec Diamond in Random Environment and Schur Generating Functions
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.
Evasive sets, twisted varieties, and container-clique trees
In the affine space $\mathbb{F}_q^n$ over the finite field of order $q$, a point set $S$ is said to be $(d,k,r)$-evasive if the intersection between $S$ and any variety, of dimension $k$ and degree at most $d$, has cardinality less than $r$. As $q$ tends to infinity, the size of a $(d,k,r)$-evasive set in $\mathbb{F}_q^n$ is at most $O\left(q^{n-k}\right)$ by a simple averaging argument. We exhibit the existence of such evasive sets of sizes at least $Ω\left(q^{n-k}\right)$ for much smaller values of $r$ than previously known constructions, and establish an enumerative upper bound $2^{O(q^{n-k})}$ for the total number of such evasive sets. The existence result is based on our study of twisted varieties. In the projective space $\mathbb{P}^n$ over an algebraically closed field, a variety $V$ is said to be $d$-twisted if the intersection between $V$ and any variety, of dimension $n - \dim(V)$ and degree at most $d$, has dimension zero. We prove an upper bound on the smallest possible degree of twisted varieties which is best possible in a mild sense. The enumeration result includes a new technique for the container method which we believe is of independent interest. To illustrate the potential of this technique, we give a simpler proof of a result by Chen--Liu--Nie--Zeng that characterizes the maximum size of a collinear-triple-free subset in a random sampling of $ \mathbb{F}_q^2$ up to polylogarithmic factors.
Observables of random spanning trees in random environment
In this thesis, we study a new disordered system called random spanning tree in random environment (RSTRE) across different families of graphs with varying disorder distributions. We examine several observables as functions of the disorder strength (inverse temperature) $β\geq 0$, and compare their values to the extreme cases $β= 0$ and $β\rightarrow \infty$, which correspond to the uniform spanning tree (UST) and the minimum spanning tree (MST), respectively. The results concerning the diameter are in line with those of arXiv:2311.01808 and arXiv:2410.16830, while the findings on local observables are based on arXiv:2410.16836. This thesis also includes new material on the RSTRE in the Euclidean infinite lattice, as well as a novel result on the diameter of the unweighted UST on a slightly supercritical random graph.
Spectra of high-dimensional sparse random geometric graphs
We analyze the spectral properties of the high-dimensional random geometric graph $G(n, d, p)$, formed by sampling $n$ i.i.d vectors $\{v_i\}_{i=1}^{n}$ uniformly on a $d$-dimensional unit sphere and connecting each pair $\{i,j\}$ whenever $\langle v_i, v_j \rangle \geq τ$ so that $p=\mathbb P(\langle v_i,v_j\rangle \geq τ)$. This model defines a nonlinear random matrix ensemble with dependent entries. We show that if $d =ω( np\log^{2}(1/p))$ and $np\to\infty$, the limiting spectral distribution of the normalized adjacency matrix $\frac{A}{\sqrt{np(1-p)}}$ is the semicircle law. To our knowledge, this is the first such result for $G(n, d, p)$ in the sparse regime. In the constant sparsity case $p=α/n$, we further show that if $d=ω(\log^2(n))$ the limiting spectral distribution of $A$ in $G(n,α/n)$ coincides with that of the Erdős-Rényi graph $G(n,α/n)$.
Our approach combines the classical moment method in random matrix theory with a novel recursive decomposition of closed-walk graphs, leveraging block-cut trees and ear decompositions, to control the moments of the empirical spectral distribution. A refined high trace analysis further yields a near-optimal bound on the second eigenvalue when $np=Ω(\log^4 (n))$, removing technical conditions previously imposed in (Liu et al. 2023). As an application, we demonstrate that this improved eigenvalue bound sharpens the parameter requirements on $d$ and $p$ for spontaneous synchronization on random geometric graphs in (Abdalla et al. 2024) under the homogeneous Kuramoto model.
When does a tree activate the random graph?
Let $F$ and $G$ be two graphs. A spanning subgraph $H$ of $G$ is called weakly $F$-saturated if one can add to $H$ the edges of $G \setminus H$ in some order, so that whenever a new edge is added, a new copy of $F$ is formed. Obtaining lower bounds for the minimum size $\mathrm{wsat}(G,F)$ of such an $H$ is a classical problem in extremal combinatorics. In particular, in the past 40 years, various algebraic tools have been developed to prove lower bounds on the weak saturation number $\mathrm{wsat}(G,F)$. Our paper uncovers a new connection of weak saturation to topology of clique complexes, that allows to prove tight lower bounds in some cases when the algebraic tools are not efficient.
It is easy to see that the smallest $K_3$-saturating graphs in $K_n$ are trees, thus $\mathrm{wsat}(K_n,K_3)=n-1$. In 2017, Korándi and Sudakov proved that this is also the case in dense random graphs $G\sim G_{n,p}$, $p=\mathrm{const}\in(0,1)$, and posed the question of determining the smallest $p$ for which $G_{n,p}$ contains a $K_3$-saturating tree with high probability. Using the new topological connection, we show that this critical $p$ is of order $n^{-1/3-o(1)}$.
Inspired by Gromov's local-to-global principle for hyperbolic groups, we further develop our topological approach and determine the critical probability up to a constant factor, for trees with diameter at most $n^{c}$, for some $c>0$.
The new connection also enables us to improve the best known upper bound on the threshold probability for simple connectivity of the 2-dimensional clique complex of $G_{n,p}$, due to Kahle.
Longest increasing subsequences for distributions with atoms, and an inhomogeneous Hammersley process
A famous result by Hammersley and Versik-Kerov states that the length $L_n$ of the longest increasing subsequence among $n$ iid continuous random variables grows like $2\sqrt{n}$. We investigate here the asymptotic behavior of $L_n$ for distributions with atoms. For purely discrete random variables, we characterize the asymptotic order of $L_n$ through a variational problem and provide explicit estimates for classical distributions. The proofs rely on a coupling with an inhomogeneous version of the discrete-time continuous-space Hammersley process. This reveals that, in contrast to the continuous case, the discrete setting exhibits a wide range of growth rates between $\mathcal{O}(1)$ and $o(\sqrt{n})$, depending on the tail behavior of the distribution. We can then easily deduce the asymptotics of $L_n$ for a completely arbitrary distribution.
Majority dynamics on finite trees
For an arbitrary finite tree $T$, we find the exact value of the wort-case stabilisation time of majority dynamics on $T$. We also prove that for a perfect rooted cubic tree $T$ with diameter $D$ and uniformly random initial opinions, the dynamics stabilises in time $τ\in(D/4,D/3)$ with high probability.
Radon Partitions of Random Gaussian Polytopes
In this paper we study a probabilistic framework for Radon partitions, where our points are chosen independently from the $d$-dimensional normal distribution. For every point set we define a corresponding Radon polytope, which encodes all information about Radon partitions of our set - with Radon partitions corresponding to faces of the polytope. This allows us to derive expressions for the probability that a given partition of $N$ randomly chosen points in $\mathbb{R}^d$ forms a Radon partition. These expressions involve conic kinematic formulas and intrinsic volumes, and in general require repeated integration, though we obtain closed formulas in some cases. This framework can provide new perspectives on open problems that can be formulated in terms of Radon partitions, such as Reay's relaxed Tverberg conjecture.
The Hamilton cycle space of random regular graphs and randomly perturbed graphs
The cycle space of a graph $G$, denoted $C(G)$, is a vector space over ${\mathbb F}_2$, spanned by all incidence vectors of edge-sets of cycles of $G$. If $G$ has $n$ vertices, then $C_n(G)$ is the subspace of $C(G)$, spanned by the incidence vectors of Hamilton cycles of $G$. We prove that asymptotically almost surely $C_n(G_{n,d}) = C(G_{n,d})$ holds whenever $n$ is odd and $d$ is a sufficiently large (even) integer. This extends (though with a weaker bound on $d$) the well-known result asserting that $G_{n,d}$ is asymptotically almost surely Hamiltonian for every $d \geq 3$ (but not for $d < 3$). Since $n$ being odd mandates that $d$ be even, somewhat limiting the generality of our result, we also prove that if $n$ is even and $d$ is any sufficiently large integer, then asymptotically almost surely $C_{n-1}(G_{n,d}) = C(G_{n,d})$.
An influential result of Bohman, Frieze, and Martin asserts that if $H$ is an $n$-vertex graph with minimum degree at least $δn$ for some constant $δ> 0$, and $G \sim \mathbb{G}(n, C/n)$, where $C := C(δ)$ is a sufficiently large constant, then $H \cup G$ is asymptotically almost surely Hamiltonian. We strengthen this result by proving that the same assumptions on $H$ and $G$ ensure that $C_n(H \cup G) = C(H \cup G)$ holds asymptotically almost surely.
Heights of butterfly trees
Binary search trees (BSTs) are fundamental data structures whose performance is largely governed by tree height. We introduce a block model for constructing BSTs by embedding internal BSTs into the nodes of an external BST -- a structure motivated by parallel data architectures -- corresponding to composite permutations formed via Kronecker or wreath products. Extending Devroye's result that the height $h_n$ of a random BST satisfies $h_n / \log n \to c^* \approx 4.311$, we show that block BSTs with $nm$ nodes and fixed external size $m$ satisfy $h_{n,m} / \log n \to c^* + h_m$ in distribution. We then study butterfly trees: BSTs generated from permutations built using iterated Kronecker or wreath products. For simple butterfly trees (from iterated Kronecker products of $S_2$), we give a full distributional description showing polynomial height growth: $\mathbb{E} h_n^{\operatorname{B}} = Θ(N^α)$ with $α= \log_2(3/2) \approx 0.58496$. For nonsimple butterfly trees (from wreath products), we prove power-law bounds: $cN^α\cdot (1 + o(1)) \le \mathbb{E} h_n^{\operatorname{B}} \le dN^β\cdot (1 + o(1))$, with $β\approx 0.913189$.
Analysing the Moments of the Determinant of a Random Matrix Via Analytic Combinatorics of Permutation Tables
We consider the following natural question. Given a matrix $A$ with i.i.d. random entries, what are the moments of the determinant of $A$? In other words, what is $\mathbb{E}[\det(A)^k]$? While there is a general expression for $\mathbb{E}[\det(A)^k]$ when the entries of $A$ are Gaussian, much less is known when the entries of $A$ have some other distribution.
In two recent papers, we answered this question for $k = 4$ when the entries of $A$ are drawn from an arbitrary distribution and for $k = 6$ when the entries of $A$ are drawn from a distribution which has mean $0$. These analyses used recurrence relations and were highly intricate. In this paper, we show how these analyses can be simplified considerably by using analytic combinatorics on permutation tables.
Robustness of the Sauer-Spencer Theorem
We prove a robust version of a graph embedding theorem of Sauer and Spencer. To state this sparser analogue, we define $G(p)$ to be a random subgraph of $G$ obtained by retaining each edge of $G$ independently with probability $p \in [0,1]$, and let $m_1(H)$ be the maximum $1$-density of a graph $H$. We show that for any constant $Δ$ and $γ> 0$, if $G$ is an $n$-vertex host graph with minimum degree $δ(G) \geq (1 - 1/2Δ+ γ)n$ and $H$ is an $n$-vertex graph with maximum degree $Δ(H) \leq Δ$, then for $p \geq Cn^{-1/m_1(H)}\log n$, the random subgraph $G(p)$ contains a copy of $H$ with high probability. Our value for $p$ is optimal up to a log-factor.
In fact, we prove this result for a more general minimum degree condition on $G$, by introducing an \emph{extension threshold} $δ_{\rm e}(Δ)$, such that the above result holds for graphs $G$ with ${δ(G) \geq (δ_{\rm e}(Δ) + γ)n}$. We show that $δ_{\rm e}(Δ) \leq (2Δ-1)/2Δ$, and further conjecture that $δ_{\rm e}(Δ)$ equals $Δ/(Δ+1)$, which matches the minimum degree condition on $G$ in the Bollobás-Eldridge-Catlin Conjecture. A main tool in our proof is a vertex-spread version of the blow-up lemma of Allen, Böttcher, Hàn, Kohayakawa, and Person, which we believe to be of independent interest.
Metric dimension reduction modulus for superlogarithmic distortion
The metric dimension reduction modulus $k^α_n(\ell_\infty)$ is the smallest $k$ such that every $n$--point metric space can be embedded into some $k$-dimensional normed space, with bi--Lipschitz distortion at most $α$. Determining sharp asymptotics for $k^α_n(\ell_\infty)$ is a fundamental task in metric geometry, with $α=Θ(\log n)$ bearing particular interest. A line of advances over the past decades has led to an upper bound on $k^α_n(\ell_\infty)$ for $α= Ω(\log n)$, but a matching lower bound has remained open. We close this gap, establishing: for every fixed $β> 0$, $$ k^α_n(\ell_\infty) =Θ\bigg(\frac{\log n}{\log(\fracα{\log n}+1)}\bigg)\quad \mbox{for every $α\geq β\log n$}. $$ This resolves a question from Naor's 2018 ICM plenary lecture. Our result is obtained by characterizing the minimum dimension $d$ for which, with high probability, a random regular graph admits an $α$--embedding into some $d$--dimensional normed space.