random
7100 papers tagged with this keyword
Doob--Martin boundary of Rémy's tree growth chain
Published in Ann. Probab. 45 (2017), 225-277
• View Publication
• BIB
Rémy's algorithm is a Markov chain that iteratively generates a sequence of random trees in such a way that the $n^{\mathrm{th}}$ tree is uniformly distributed over the set of rooted, planar, binary trees with $2n+1$ vertices. We obtain a concrete characterization of the Doob--Martin boundary of this transient Markov chain and thereby delineate all the ways in which, loosely speaking, this process can be conditioned to "go to infinity" at large times. A (deterministic) sequence of finite rooted, planar, binary trees converges to a point in the boundary if for each $m$ the random rooted, planar, binary tree spanned by $m+1$ leaves chosen uniformly at random from the $n^{\mathrm{th}}$ tree in the sequence converges in distribution as $n$ tends to infinity -- a notion of convergence that is analogous to one that appears in the recently developed theory of graph limits.
We show that a point in the Doob--Martin boundary may be identified with the following ensemble of objects: a complete separable $\mathbb{R}$-tree that is rooted and binary in a suitable sense, a diffuse probability measure on the $\mathbb{R}$-tree that allows us to make sense of sampling points from it, and a kernel on the $\mathbb{R}$-tree that describes the probability that the first of a given pair of points is below and to the left of their most recent common ancestor while the second is below and to the right. The Doob--Martin boundary corresponds bijectively to the set of extreme points of the closed convex set of normalized nonnegative harmonic functions, in other words, the minimal and full Doob--Martin boundaries coincide. These results are in the spirit of the identification of graphons as limit objects in the theory of graph limits.
Scaling Limits of Random Graphs from Subcritical Classes
Published
• View Publication
• BIB
We study the uniform random graph $\mathsf{C}_n$ with $n$ vertices drawn from a subcritical class of connected graphs. Our main result is that the rescaled graph $\mathsf{C}_n / \sqrt{n}$ converges to the Brownian Continuum Random Tree $\mathcal{T}_{\mathsf{e}}$ multiplied by a constant scaling factor that depends on the class under consideration. In addition, we provide subgaussian tail bounds for the diameter $\text{D}(\mathsf{C}_n)$ and height $\text{H}(\mathsf{C}_n^\bullet)$ of the rooted random graph $\mathsf{C}_n^\bullet$. We give analytic expressions for the scaling factor of several classes, including for example the prominent class of outerplanar graphs. Our methods also enable us to study first passage percolation on $\mathsf{C}_n$, where we show the convergence to $\mathcal{T}_{\mathsf{e}}$ under an appropriate rescaling.
Space proof complexity for random $3$-CNFs via a $(2-ε)$-Hall's Theorem
We investigate the space complexity of refuting $3$-CNFs in Resolution and algebraic systems. No lower bound for refuting any family of $3$-CNFs was previously known for the total space in resolution or for the monomial space in algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random $3$-CNF $φ$ in $n$ variables requires, with high probability, $Ω(n/\log n)$ distinct monomials to be kept simultaneously in memory. The same construction also proves that every Resolution refutation $φ$ requires, with high probability, $Ω(n/\log n)$ clauses each of width $Ω(n/\log n)$ to be kept at the same time in memory. This gives a $Ω(n^2/\log^2 n)$ lower bound for the total space needed in Resolution to refute $φ$.
The main technical innovation is a variant of Hall's theorem. We show that in bipartite graphs $G$ with bipartition $(L,R)$ and left-degree at most 3, $L$ can be covered by certain families of disjoint paths, called $(2,4)$-matchings, provided that $L$ expands in $R$ by a factor of $(2-ε)$, for $ε< \frac{1}{23}$.
Graphs with few paths of prescribed length between any two vertices
Published
• View Publication
• BIB
We use a variant of Bukh's random algebraic method to show that for every natural number $k \geq 2$ there exists a natural number $\ell$ such that, for every $n$, there is a graph with $n$ vertices and $Ω_k(n^{1 + 1/k})$ edges with at most $\ell$ paths of length $k$ between any two vertices. A result of Faudree and Simonovits shows that the bound on the number of edges is tight up to the implied constant.
Planting colourings silently
Published in Combinatorics, Probability and Computing 26 (2017) 338 - 366
• View Publication
• BIB
Let $k\geq3$ be a fixed integer and let $Z_k(G)$ be the number of $k$-colourings of the graph $G$. For certain values of the average degree, the random variable $Z_k(G(n,m))$ is known to be concentrated in the sense that $\frac1n(\ln Z_k(G(n,m))-\ln E[Z_k(G(n,m))])$ converges to $0$ in probability [Achlioptas and Coja-Oghlan: FOCS 2008]. In the present paper we prove a significantly stronger concentration result. Namely, we show that for a wide range of average degrees, $\frac1ω(\ln Z_k(G(n,m))-\ln E[Z_k(G(n,m))])$ converges to $0$ in probability for any diverging function $ω=ω(n)\to\infty$. For $k$ exceeding a certain constant $k_0$ this result covers all average degrees up to the so-called condensation phase transition, and this is best possible. As an application, we show that the experiment of choosing a $k$-colouring of the random graph $G(n,m)$ uniformly at random is contiguous with respect to the so-called "planted model".
On the singularity of adjacency matrices for random regular digraphs
Published
• View Publication
• BIB
We prove that the (non-symmetric) adjacency matrix of a uniform random $d$-regular directed graph on $n$ vertices is asymptotically almost surely invertible, assuming $\min(d,n-d)\ge C\log^2n$ for a sufficiently large constant $C>0$. The proof makes use of a coupling of random regular digraphs formed by "shuffling" the neighborhood of a pair of vertices, as well as concentration results for the distribution of edges recently obtained by the author (arXiv:1410.5595). We also apply our general approach to prove a.a.s.\ invertibility of Hadamard products $Σ\circ Ξ$, where $Ξ$ is a matrix of iid uniform $\pm1$ signs, and $Σ$ is a 0/1 matrix whose associated digraph satisfies certain "expansion" properties.
On n-dependence
Published in Notre Dame J. Formal Logic, Volume 60, Number 2 (2019), 195-214
• View Publication
• BIB
In this note we develop and clarify some of the basic combinatorial properties of the new notion of $n$-dependence (for $1\leq n < ω$) recently introduced by Shelah. In the same way as dependence of a theory means its inability to encode a bipartite random graph with a definable edge relation, $n$-dependence corresponds to the inability to encode a random $(n+1)$-partite $(n+1)$-hypergraph with a definable edge relation. Most importantly, we characterize $n$-dependence by counting $\varphi$-types over finite sets (generalizing Sauer-Shelah lemma and answering a question of Shelah) and in terms of the collapse of random ordered $(n+1)$-hypergraph indiscernibles down to order-indiscernibles (which implies that the failure of $n$-dependence is always witnessed by a formula in a single free variable).
A Quick Empirical Reproof of the Asymptotic Normality of the Hirsch Citation Index (First proved by Canfield, Corteel, and Savage)
Once upon a time there was an esoteric and specialized notion, called "size of the Durfee square", of interest to at most 100 specialists in the whole world. Then it was kissed by a prince called Jorge Hirsch, and became the famous (and to quite a few people, infamous) h-index, of interest to every scientist, and scholar, since it tells you how productive a scientist (or scholar) you are! When Rodney Canfield, Sylvie Corteel, and Carla Savage wrote their beautiful 1998 article proving, rigorously, by a very deep and intricate analysis, the asymptotic normality of the random variable "size of Durfee square" defined on integer-partitions of n (as n goes to infinity), with precise asymptotics for the mean and variance, they did not dream that one day their result should be of interest to everyone who has ever published a paper.
However Canfield et. al. had to work really hard to prove their deep result. Here we take an "empirical" shortcut, that proves the same thing much faster (modulo routine number- and symbol- crunching). More importantly, the empirical methodology should be useful in many other cases where rigorous proofs are either too hard, or not worth the trouble!
Incidences between points and generalized spheres over finite fields and related problems
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be a finite field of $q$ elements where $q$ is a large odd prime power and $Q =a_1 x_1^{c_1}+...+a_dx_d^{c_d}\in \mathbb{F}_q[x_1,...,x_d]$, where $2\le c_i\le N$, $\gcd(c_i,q)=1$, and $a_i\in \mathbb{F}_q$ for all $1\le i\le d$. A $Q$-sphere is a set of the form $\lbrace x\in \mathbb{F}_q^d | Q(x-b)=r\rbrace$, where $b\in \mathbb{F}_q^d, r\in \mathbb{F}_q$. We prove bounds on the number of incidences between a point set $\mathcal{P}$ and a $Q$-sphere set $\mathcal{S}$, denoted by $I(\mathcal{P},\mathcal{S})$, as the following.
$$| I(\mathcal{P},\mathcal{S})-\frac{|\mathcal{P}||\mathcal{S}|}{q}|\le q^{d/2}\sqrt{|\mathcal{P}||\mathcal{S}|}.$$
We prove this estimate by studying the spectra of directed graphs. We also give a version of this estimate over finite rings $\mathbb{Z}_q$ where $q$ is an odd integer. As a consequence of the above bounds, we give an estimate for the pinned distance problem. In Sections $4$ and $5$, we prove a bound on the number of incidences between a random point set and a random $Q$-sphere set in $\mathbb{F}_q^d$. We also study the finite field analogues of some combinatorial geometry problems, namely, the number of generalized isosceles triangles, and the existence of a large subset without repeated generalized distances.
Uniform regular weighted graphs with large degree: Wigner's law, asymptotic freeness and graphons limit
For each $N\geq 1$, let $G_N$ be a simple random graph on the set of vertices $[N]=\{1,2, ..., N\}$, which is invariant by relabeling of the vertices. The asymptotic behavior as $N$ goes to infinity of correlation functions:
$$ \mathfrak C_N(T)= \mathbb E\bigg[ \prod_{(i,j) \in T} \Big(\mathbf 1_{\big(\{i,j\} \in G_N \big)} - \mathbb P(\{i,j\} \in G_N) \Big)\bigg], \ T \subset [N]^2 \textrm{finite}$$ furnishes informations on the asymptotic spectral properties of the adjacency matrix $A_N$ of $G_N$. Denote by $d_N = N\times \mathbb P(\{i,j\} \in G_N) $ and assume $d_N, N-d_N\underset{N \rightarrow \infty}{\longrightarrow} \infty$. If $\mathfrak C_N(T) =\big(\frac{d_N}N\big)^{|T|} \times O\big(d_N^{-\frac {|T|}2}\big)$ for any $T$, the standardized empirical eigenvalue distribution of $A_N$ converges in expectation to the semicircular law and the matrix satisfies asymptotic freeness properties in the sense of free probability theory. We provide such estimates for uniform $d_N$-regular graphs $G_{N,d_N}$, under the additional assumption that $|\frac N 2 - d_N- η\sqrt{d_N}| \underset{N \rightarrow \infty}{\longrightarrow} \infty$ for some $η>0$. Our method applies also for simple graphs whose edges are labelled by i.i.d. random variables.
Randomized Rumor Spreading in Poorly Connected Small-World Networks
Published
• View Publication
• BIB
Push-Pull is a well-studied round-robin rumor spreading protocol defined as follows: initially a node knows a rumor and wants to spread it to all nodes in a network quickly. In each round, every informed node sends the rumor to a random neighbor, and every uninformed node contacts a random neighbor and gets the rumor from her if she knows it. We analyze this protocol on random $k$-trees, a class of power law graphs, which are small-world and have large clustering coefficients, built as follows: initially we have a $k$-clique. In every step a new node is born, a random $k$-clique of the current graph is chosen, and the new node is joined to all nodes of the $k$-clique. When $k>1$ is fixed, we show that if initially a random node is aware of the rumor, then with probability $1-o(1)$ after $O\left((\log n)^{1+2/k}\cdot\log\log n\cdot f(n)\right)$ rounds the rumor propagates to $n-o(n)$ nodes, where $n$ is the number of nodes and $f(n)$ is any slowly growing function. Since these graphs have polynomially small conductance, vertex expansion $O(1/n)$ and constant treewidth, these results demonstrate that Push-Pull can be efficient even on poorly connected networks. On the negative side, we prove that with probability $1-o(1)$ the protocol needs at least $Ω\left(n^{(k-1)/(k^2+k-1)}/f^2(n)\right)$ rounds to inform all nodes. This exponential dichotomy between time required for informing almost all and all nodes is striking. Our main contribution is to present, for the first time, a natural class of random graphs in which such a phenomenon can be observed. Our technique for proving the upper bound carries over to a closely related class of graphs, random $k$-Apollonian networks, for which we prove an upper bound of $O\left((\log n)^{c_k}\cdot\log\log n\cdot f(n)\right)$ rounds for informing $n-o(n)$ nodes with probability $1-o(1)$ when $k>2$ is fixed. Here, $c_k=(k^2-3)/(k-1)^2<1 + 2/k$.
Valence independent formula for the equilibrium measure
We derive a new formula for the equilibrium measure for eigenvalues of random matrices sampled from polynomial perturbations of the GUE, valid in the one-cut case. The virtue of our formula is that it depends on the potential only implicitly through the endpoints of support of the equilibrium measure. Our motivation is the problem of computing explicit formulas for generating functions which enumerate graphs embedded in a Riemann surface. To demonstrate the utility of our formula for the equilibrium measure, we derive a formula for the generating function $e_1$ enumerating maps on the torus. This formula is "valence independent" in the sense that it holds regardless of what numbers of edges are allowed to meet at vertices; furthermore it subsumes formulas for $e_1$ given by other authors as special cases.
On Weak Hamiltonicity of a Random Hypergraph
A {\it weak (Berge) cycle} is an alternating sequence of vertices and (hyper)edges $C=(v_0, e_1, v_1, ..., v_{\ell-1}, e_\ell, v_{\ell}=v_0)$ such that the vertices $v_0, ..., v_{\ell-1}$ are distinct with $v_k, v_{k+1} \in e_{k}$ for each $k$, but the edges $e_1, ..., e_\ell$ are not necessarily distinct. We prove that the main barrier to the random $d$-uniform hypergraph $H_d(n,p),$ where each of the potential edges of cardinality $d$ is present with probability $p$, developing a weak Hamilton cycle is the presence of isolated vertices. In particular, for $d \geq 3$ fixed and $p=(d-1)! \frac{\ln n + c}{n^{d-1}}$, the probability that $H_d(n, p)$ has a weak Hamilton cycle tends to $e^{-e^{-c}}$, which is also the limiting probability that $H_d(n,p)$ has no isolated vertices. As a consequence, the probability that the random hypergraph $H_d(n, m=\frac{n(\ln n + c)}{d}),$ where $m$ potential edges are chosen uniformly at random to be present, is weak Hamiltonian also tends to $e^{-e^{-c}}$.
Generalizations of an Expansion Formula for Top to Random Shuffles
Published in Annals of Combinatorics (2016), 20(4), 899-916
• View Publication
• BIB
In the top to random shuffle, the first a cards are removed from a deck of n cards 12 \cdots n and then inserted back into the deck. This action can be studied by treating the top to random shuffle as an element B_a, which we define formally in Section 2, of the algebra Q[S_n]. For a = 1, Adriano Garsia in "On the Powers of Top to Random Shuffling" (2002) derived an expansion formula for B_1^k for k \leq n, though his proof for the formula was non-bijective. We prove, bijectively, an expansion formula for the arbitrary finite product B_{a_1}B_{a_2} \cdots B_{a_k} where a_1, \ldots, a_k are positive integers, from which an improved version of Garsia's aforementioned formula follows. We show some applications of this formula for B_{a_1}B_{a_2} \cdots B_{a_k}, which include enumeration and calculating probabilities. Then for an arbitrary group G we define the group of G-permutations S_n^G := G \wr S_n and further generalize the aforementioned expansion formula to the algebra Q[S_n^G] for the case of finite G, and we show how other similar expansion formulae in Q[S_n] can be generalized to Q[S_n^G].
On the number of 5-cycles in a tournament
Published
• View Publication
• BIB
We find an exact formula for the number of directed 5-cycles in a tournament in terms of its edge score sequence. We use this formula to find both upper and lower bounds on the number of 5-cycles in any $n$-tournament. In particular, we show that the maximum number of 5-cycles is asymptotically equal to $\frac{3}{4}{n \choose 5}$, the expected number 5-cycles in a random tournament ($p=\frac{1}{2}$), with equality (up to order of magnitude) for almost all tournaments. Note that this means that almost all $n$-tournaments contain the maximum number of $5$-cycles.
Local And Global Colorability of Graphs
Published
• View Publication
• BIB
It is shown that for any fixed $c \geq 3$ and $r$, the maximum possible chromatic number of a graph on $n$ vertices in which every subgraph of radius at most $r$ is $c$ colorable is $\tildeΘ\left(n ^ {\frac{1}{r+1}} \right)$ (that is, $n^\frac{1}{r+1}$ up to a factor poly-logarithmic in $n$). The proof is based on a careful analysis of the local and global colorability of random graphs and implies, in particular, that a random $n$-vertex graph with the right edge probability has typically a chromatic number as above and yet most balls of radius $r$ in it are $2$-degenerate.
Properties of stochastic Kronecker graphs
Published
• View Publication
• BIB
The stochastic Kronecker graph model introduced by Leskovec et al. is a random graph with vertex set $\mathbb Z_2^n$, where two vertices $u$ and $v$ are connected with probability $α^{{u}\cdot{v}}γ^{(1-{u})\cdot(1-{v})}β^{n-{u}\cdot{v}-(1-{u})\cdot(1-{v})}$ independently of the presence or absence of any other edge, for fixed parameters $0<α,β,γ<1$. They have shown empirically that the degree sequence resembles a power law degree distribution. In this paper we show that the stochastic Kronecker graph a.a.s. does not feature a power law degree distribution for any parameters $0<α,β,γ<1$. In addition, we analyze the number of subgraphs present in the stochastic Kronecker graph and study the typical neighborhood of any given vertex.
Justifying the small-world phenomenon via random recursive trees
Published
• View Publication
• BIB
We present a new technique for proving logarithmic upper bounds for diameters of evolving random graph models, which is based on defining a coupling between random graphs and variants of random recursive trees. The advantage of the technique is three-fold: it is quite simple and provides short proofs, it is applicable to a broad variety of models including those incorporating preferential attachment, and it provides bounds with small constants. We illustrate this by proving, for the first time, logarithmic upper bounds for the diameters of the following well known models: the forest fire model, the copying model, the PageRank-based selection model, the Aiello-Chung-Lu models, the generalized linear preference model, directed scale-free graphs, the Cooper-Frieze model, and random unordered increasing $k$-trees. Our results shed light on why the small-world phenomenon is observed in so many real-world graphs.
Bijections for simple and double Hurwitz numbers
We give a bijective proof of Hurwitz formula for the number of simple branched coverings of the sphere by itself. Our approach extends to double Hurwitz numbers and yields new properties for them. In particular we prove for double Hurwitz numbers a conjecture of Kazarian and Zvonkine, and we give an expression that in a sense interpolates between two celebrated polynomiality properties: polynomiality in chambers for double Hurwitz numbers, and a new analog for almost simple genus 0 Hurwitz numbers of the polynomiality up to normalization of simple Hurwitz numbers of genus $g$. Some probabilistic implications of our results for random branched coverings are briefly discussed in conclusion.
A concentration inequality for product spaces
Published in Journal of Functional Analysis 270 (2016), 609-620
• View Publication
• BIB
We prove a concentration inequality which asserts that, under some mild regularity conditions, every random variable defined on the product of sufficiently many probability spaces exhibits pseudorandom behavior.