random
7100 papers tagged with this keyword
The continuum limit of critical random graphs
Published
• View Publication
• BIB
We consider the Erdos-Renyi random graph G(n,p) inside the critical window, that is when p=1/n+ lambda*n^{-4/3}, for some fixed lambda in R. Then, as a metric space with the graph distance rescaled by n^{-1/3}, the sequence of connected components G(n,p) converges towards a sequence of continuous compact metric spaces. The result relies on a bijection between graphs and certain marked random walks, and the theory of continuum random trees. Our result gives access to the answers to a great many questions about distances in critical random graphs. In particular, we deduce that the diameter of G(n,p) rescaled by n^{-1/3} converges in distribution to an absolutely continuous random variable with finite mean.
The Non-Commutative Cycle Lemma
Published in J. Combin. Theory Ser. A 117 (2010), no. 8, 1158-1166
• View Publication
• BIB
We present a non-commutative version of the cycle lemma of Dvoretsky and Motzkin that applies to free groups and use this result to solve a number of problems involving cyclic reduction in the free group. We also describe an application to random matrices, in particular the fluctuations of Kesten's Law.
Spanning Forests on Random Planar Lattices
Published in J.Statist.Phys.135:1063-1104,2009
• View Publication
• BIB
The generating function for spanning forests on a lattice is related to the q-state Potts model in a certain q -> 0 limit, and extends the analogous notion for spanning trees, or dense self-avoiding branched polymers. Recent works have found a combinatorial perturbative equivalence also with the (quadratic action) O(n) model in the limit n -> -1, the expansion parameter t counting the number of components in the forest. We give a random-matrix formulation of this model on the ensemble of degree-k random planar lattices. For k = 3, a correspondence is found with the Kostov solution of the loop-gas problem, which arise as a reformulation of the (logarithmic action) O(n) model, at n = -2. Then, we show how to perform an expansion around the t = 0 theory. In the thermodynamic limit, at any order in t we have a finite sum of finite-dimensional Cauchy integrals. The leading contribution comes from a peculiar class of terms, for which a resummation can be performed exactly.
Spectra of large random trees
Published
• View Publication
• BIB
We analyze the eigenvalues of the adjacency matrices of a wide variety of random trees. Using general, broadly applicable arguments based on the interlacing inequalities for the eigenvalues of a principal submatrix of a Hermitian matrix and a suitable notion of local weak convergence for an ensemble of random trees, we show that the empirical spectral distributions for each of a number of random tree models converge to a deterministic (model dependent) limit as the number of vertices goes to infinity.
We conclude for ensembles such as the linear preferential attachment models, random recursive trees, and the uniform random trees that the limiting spectral distribution has a set of atoms that is dense in the real line. We obtain precise asymptotics on the mass assigned to zero by the empirical spectral measures via the connection with the cardinality of a maximal matching. Moreover, we show that the total weight of a weighted matching is asymptotically equivalent to a constant multiple of the number of vertices when the edge weights are independent, identically distributed, non-negative random variables with finite expected value.
We greatly extend a celebrated result obtained by Schwenk for the uniform random trees by showing that, under mild conditions, with probability converging to one, the spectrum of a realization is shared by at least one other tree.
For the the linear preferential attachment model with parameter $a > -1$, we show that the suitably rescaled $k$ largest eigenvalues converge jointly.
Entropy of Random Walk Range
Published
• View Publication
• BIB
We study the entropy of the set traced by an $n$-step random walk on $\Z^d$. We show that for $d \geq 3$, the entropy is of order $n$. For $d = 2$, the entropy is of order $n/\log^2 n$. These values are essentially governed by the size of the boundary of the trace.
Quantum random walk on the integer lattice: examples and phenomena
Published
• View Publication
• BIB
We apply results from Baryshnikov, Brady, Bressler and Pemantle (2008) to compute limiting probability profiles for various quantum random walks in one and two dimensions. Using analytic machinery we show some features of the limit distribution that are not evident in an empirical intensity plot of the time 10,000 distribution. Some conjectures are stated and computational techniques are discussed as well.
All reducts of the random graph are model-complete
We study locally closed transformation monoids which contain the automorphism group of the random graph. We show that such a transformation monoid is locally generated by the permutations in the monoid, or contains a constant operation, or contains an operation that maps the random graph injectively to an induced subgraph which is a clique or an independent set. As a corollary, our techniques yield a new proof of Simon Thomas' classification of the five closed supergroups of the automorphism group of the random graph; our proof uses different Ramsey-theoretic tools than the one given by Thomas, and is perhaps more straightforward. Since the monoids under consideration are endomorphism monoids of relational structures definable in the random graph, we are able to draw several model-theoretic corollaries: One consequence of our result is that all structures with a first-order definition in the random graph are model-complete. Moreover, we obtain a classification of these structures up to existential interdefinability.
A Quantitative Arrow Theorem
Published
• View Publication
• BIB
Arrow's Impossibility Theorem states that any constitution which satisfies Independence of Irrelevant Alternatives (IIA) and Unanimity and is not a Dictator has to be non-transitive. In this paper we study quantitative versions of Arrow theorem. Consider $n$ voters who vote independently at random, each following the uniform distribution over the 6 rankings of 3 alternatives. Arrow's theorem implies that any constitution which satisfies IIA and Unanimity and is not a dictator has a probability of at least $6^{-n}$ for a non-transitive outcome. When $n$ is large, $6^{-n}$ is a very small probability, and the question arises if for large number of voters it is possible to avoid paradoxes with probability close to 1.
Here we give a negative answer to this question by proving that for every $\eps > 0$, there exists a $δ= δ(\eps) > 0$, which depends on $\eps$ only, such that for all $n$, and all constitutions on 3 alternatives, if the constitution satisfies: The IIA condition. For every pair of alternatives $a,b$, the probability that the constitution ranks $a$ above $b$ is at least $\eps$. For every voter $i$, the probability that the social choice function agrees with a dictatorship on $i$ at most $1-\eps$. Then the probability of a non-transitive outcome is at least $δ$.
Sharp thresholds for constraint satisfaction problems and homomorphisms
Published in Random Structures Algorithms. 33(3) (2008), pp. 310- 332
• View Publication
• BIB
We determine under which conditions certain natural models of random constraint satisfaction problems have sharp thresholds of satisfiability. These models include graph and hypergraph homomorphism, the $(d,k,t)$-model, and binary constraint satisfaction problems with domain size three.
Flips in Graphs
Published
• View Publication
• BIB
We study a problem motivated by a question related to quantum-error-correcting codes. Combinatorially, it involves the following graph parameter: $$f(G)=\min\set{|A|+|\{x\in V\setminus A : d_A(x)\text{is odd}\}| : A\neq\emptyset},$$ where $V$ is the vertex set of $G$ and $d_A(x)$ is the number of neighbors of $x$ in $A$. We give asymptotically tight estimates of $f$ for the random graph $G_{n,p}$ when $p$ is constant. Also, if $$f(n)=\max\set{f(G): |V(G)|=n}$$ then we show that $f(n)\leq (0.382+o(1))n$.
Triangle-free Subgraphs at the Triangle-Free Process
Published
• View Publication
• BIB
We consider the triangle-free process: given an integer n, start by taking a uniformly random ordering of the edges of the complete n-vertex graph K_n. Then, traverse the ordered edges and add each traversed edge to an (initially empty) evolving graph - unless its addition creates a triangle. We study the evolving graph at around the time where Θ(n^{3/2 + ε}) edges have been traversed for any fixed ε\in (0,10^{-10}). At that time and for any fixed triangle-free graph F, we give an asymptotically tight estimation of the expected number of copies of F in the evolving graph. For F that is balanced and have density smaller than 2 (e.g., for F that is a cycle of length at least 4), our argument also gives a tight concentration result for the number of copies of F in the evolving graph. Our analysis combines Spencer's original branching process approach for analysing the triangle-free process and the semi-random method.
On the number of walks on a regular Cayley tree
We provide a new derivation of the well-known generating function counting the number of walks on a regular tree that start and end at the same vertex, and more generally, a generating function for the number of walks that end at a vertex a distance i from the start vertex. These formulas seem to be very old, and go back, in an equivalent form, at least to Harry Kesten's work on symmetric random walks on groups from 1959, and in the present form to Brendan McKay (1983).
Deducing the Density Hales-Jewett Theorem from an infinitary removal lemma
Published
• View Publication
• BIB
We offer a new proof of Furstenberg and Katznelson's density version of the Hales-Jewett Theorem:
For any $δ> 0$ there is some $N_0 \geq 1$ such that whenever $A \subseteq [k]^N$ with $N \geq N_0$ and $|A|\geq δk^N$, $A$ contains a \textbf{combinatorial line}: that is, for some $I \subseteq [N]$ nonempty and $w_0 \in [k]^{[N]\setminus I}$ we have
A \supseteq \{w: w|_{[N]\setminus I} = w_0, w|_I = \rm{const.}\}.
Following Furstenberg and Katznelson, we first show that this result is equivalent to a `multiple recurrence' assertion for a class of probability measures enjoying a certain kind of stationarity. However, we then give a quite different proof of this latter assertion through a reduction to an infinitary removal lemma in the spirit of Tao's work on infinite random hypergraphs (and also its recent re-interpretation in a new proof of the multidimensional Szemeredi Theorem by the present author). This reduction is based on a structural analysis of these stationary laws closely analogous to the classical representation theorems for various partial exchangeable stochastic processes in the sense of Hoover, Aldous and Kallenberg. However, the underlying combinatorial arguments used to prove this theorem are rather different from those required to work with exchangeable arrays, and involve crucially an observation that arose during ongoing work by a collaborative team of authors to give a purely finitary proof of the above theorem.
Strong Convergence on Weakly Logarithmic Combinatorial Assemblies
We deal with the random combinatorial structures called assemblies.
By weakening the logarithmic condition which assures regularity of the number of components of a given order, we extend the notion of logarithmic assemblies. Using the author's analytic approach, we generalize the so-called Fundamental Lemma giving independent process approximation in the total variation distance of the component structure of an assembly. To evaluate the influence of strongly dependent large components, we obtain estimates of the appropriate conditional probabilities by unconditioned ones. These estimates are applied to examine additive functions defined on such a class of structures. Some analogs of Major's and Feller's theorems which concern almost sure behavior of sums of independent random variables are proved.
Random matrices: The distribution of the smallest singular values
Published
• View Publication
• BIB
Let $\a$ be a real-valued random variable of mean zero and variance 1. Let $M_n(\a)$ denote the $n \times n$ random matrix whose entries are iid copies of $\a$ and $σ_n(M_n(\a))$ denote the least singular value of $M_n(\a)$. ($σ_n(M_n(\a))^2$ is also usually interpreted as the least eigenvalue of the Wishart matrix $M_n M_n^{\ast}$.) We show that (under a finite moment assumption) the probability distribution $n σ_n(M_n(\a))^2$ is {\it universal} in the sense that it does not depend on the distribution of $\a$. In particular, it converges to the same limiting distribution as in the special case when $a$ is real gaussian. (The limiting distribution was computed explicitly in this case by Edelman.) We also proved a similar result for complex-valued random variables of mean zero, with real and imaginary parts having variance 1/2 and covariance zero. Similar results are also obtained for the joint distribution of the bottom $k$ singular values of $M_n(\a)$ for any fixed $k$ (or even for $k$ growing as a small power of $n$) and for rectangular matrices. Our approach is motivated by the general idea of "property testing" from combinatorics and theoretical computer science. This seems to be a new approach in the study of spectra of random matrices and combines tools from various areas of mathematics.
On the Density of a Graph and its Blowup
Published
• View Publication
• BIB
The theorem of Chung, Graham, and Wilson on quasi-random graphs asserts that of all graphs with edge density p, the random graph G(n,p) contains the smallest density of copies of K_{t,t}, the complete bipartite graph of size 2t. Since K_{t,t} is a t-blowup of an edge, the following intriguing open question arises: Is it true that of all graphs with triangle density p^3, the random graph G(n,p) contains the smallest density of K_{t,t,t}, which is the t-blowup of a triangle?
Our main result gives an indication that the answer to the above question is positive by showing that for some blowup, the answer must be positive. More formally we prove that if G has triangle density p^3, then there is some 2 <= t <= T(p) for which the density of K_{t,t,t} in G is at least p^{(3+o(1))t^2}, which (up to the o(1) term) equals the density of K_{t,t,t} in G(n,p). We also consider the analogous question on skewed blowups, showing that somewhat surprisingly, the behavior there is different. We also raise several conjectures related to these problems and discuss some applications to other areas.
The Effect of Induced Subgraphs on Quasi-Randomness
Published
• View Publication
• BIB
One of the main questions that arise when studying random and quasi-random structures is which properties P are such that any object that satisfies P "behaves" like a truly random one. In the context of graphs, Chung, Graham, and Wilson call a graph p-quasi-random} if it satisfies a long list of the properties that hold in G(n,p) with high probability, like edge distribution, spectral gap, cut size, and more.
Our main result here is that the following holds for any fixed graph H: if the distribution of induced copies of H in a graph G is close (in a well defined way) to the distribution we would expect to have in G(n,p), then G is either p-quasi-random or p'-quasi-random, where p' is the unique non-trivial solution of a certain polynomial equation. We thus infer that having the correct distribution of induced copies of any single graph H is enough to guarantee that a graph has the properties of a random one. The proof techniques we develop here, which combine probabilistic, algebraic and combinatorial tools, may be of independent interest to the study of quasi-random structures.
A combinatorial analysis of interacting diffusions
Published
• View Publication
• BIB
We consider a particular class of n-dimensional homogeneous diffusions all of which have an identity diffusion matrix and a drift function that is piecewise constant and scale invariant. Abstract stochastic calculus immediately gives us general results about existence and uniqueness in law and invariant probability distributions when they exist. These invariant distributions are probability measures on the $n$-dimensional space and can be extremely resistant to a more detailed understanding. To have a better analysis, we construct a polyhedra such that the inward normal at its surface is given by the drift function and show that the finer structures of the invariant probability measure is intertwined with the geometry of the polyhedra. We show that several natural interacting Brownian particle models can thus be analyzed by studying the combinatorial fan generated by the drift function, particularly when these are simplicial. This is the case when the polyhedra is a polytope that is invariant under a Coxeter group action, which leads to an explicit description of the invariant measures in terms of iid Exponential random variables. Another class of examples is furnished by interactions indexed by weighted graphs all of which generate simplicial polytopes with $n !$ faces. We show that the proportion of volume contained in each component simplex corresponds to a probability distribution on the group of permutations, some of which have surprising connections with the classical urn models.
Scaling Limit of the Prudent Walk
Published in Electron. Commun. Probab., Vol. 15 (2010) , p. 44--58
• View Publication
• BIB
We describe the scaling limit of the nearest neighbour prudent walk on the square lattice, which performs steps uniformly in directions in which it does not see sites already visited. We show that the scaling limit is given by the process Z(u) = s_1 theta^+(3u/7) e_1 + s_2 theta^-(3u/7) e_2, where e_1, e_2 is the canonical basis, theta^+(t), resp. theta^-(t), is the time spent by a one-dimensional Brownian motion above, resp. below, 0 up to time t, and s_1, s_2 are two random signs. In particular, the asymptotic speed of the walk is well-defined in the L^1-norm and equals 3/7.
Irreducibility in RNA structures
Published
• View Publication
• BIB
In this paper we study irreducibility in RNA structures. By RNA structure we mean RNA secondary as well as RNA pseudoknot structures. In our analysis we shall contrast random and minimum free energy (mfe) configurations. We compute various distributions: of the numbers of irreducible substructures, their locations and sizes, parameterized in terms of the maximal number of mutually crossing arcs, $k-1$, and the minimal size of stacks $σ$. In particular, we analyze the size of the largest irreducible substructure for random and mfe structures, which is the key factor for the folding time of mfe configurations.