random
7100 papers tagged with this keyword
A note on correlations in randomly oriented graphs
Given a graph $G$, we consider the model where $G$ is given a random orientation by giving each edge a random direction. It is proven that for $a,b,s\in V(G)$, the events $\{s\to a\}$ and $\{s\to b\}$ are positively correlated. This correlation persists, perhaps unexpectedly, also if we first condition on $\{s\nto t\}$ for any vertex $t\neq s$. With this conditioning it is also true that $\{s\to b\}$ and $\{a\to t\}$ are negatively correlated.
A concept of increasing events in random orientations is defined and a general inequality corresponding to Harris inequality is given.
The results are obtained by combining a very useful lemma by Colin McDiarmid which relates random orientations with edge percolation, with results by van den Berg, Häggström, Kahn on correlation inequalities for edge percolation.
The results are true also for another model of randomly directed graphs.
Upper tails for counting objects in randomly induced subhypergraphs and rooted random graphs
Published
• View Publication
• BIB
General upper tail estimates are given for counting edges in a random induced subhypergraph of a fixed hypergraph H, with an easy proof by estimating the moments. As an application we consider the numbers of arithmetic progressions and Schur triples in random subsets of integers. In the second part of the paper we return to the subgraph counts in random graphs and provide upper tail estimates in the rooted case.
Large cliques in a power-law random graph
Published
• View Publication
• BIB
We study the size of the largest clique $ω(G(n,α))$ in a random graph $G(n,α)$ on $n$ vertices which has power-law degree distribution with exponent $α$. We show that for `flat' degree sequences with $α>2$ whp the largest clique in $G(n,α)$ is of a constant size, while for the heavy tail distribution, when $0<α<2$, $ω(G(n,α))$ grows as a power of $n$. Moreover, we show that a natural simple algorithm whp finds in $G(n,α)$ a large clique of size $(1+o(1))ω(G(n,α))$ in polynomial time.
A q-analogue of de Finetti's theorem
Published in Electronic Journal of Combinatorics 16 (2009), no. 1, paper #R78
• View Publication
• BIB
A q-analogue of de Finetti's theorem is obtained in terms of a boundary problem for the q-Pascal graph. For q a power of prime this leads to a characterisation of random spaces over the Galois field F_q that are invariant under the natural action of the infinite group of invertible matrices with coefficients from F_q.
Susceptibility in inhomogeneous random graphs
Published in Electronic J. Combinatorics 19 (2012), P31 (59 pages)
• View Publication
• BIB
We study the susceptibility, i.e., the mean size of the component containing a random vertex, in a general model of inhomogeneous random graphs. This is one of the fundamental quantities associated to (percolation) phase transitions; in practice one of its main uses is that it often gives a way of determining the critical point by solving certain linear equations. Here we relate the susceptibility of suitable random graphs to a quantity associated to the corresponding branching process, and study both quantities in various natural examples.
Duality in inhomogeneous random graphs, and the cut metric
Published in Random Structures and Algorithms 39 (2011) 399-411
• View Publication
• BIB
The classical random graph model $G(n,λ/n)$ satisfies a `duality principle', in that removing the giant component from a supercritical instance of the model leaves (essentially) a subcritical instance. Such principles have been proved for various models; they are useful since it is often much easier to study the subcritical model than to directly study small components in the supercritical model. Here we prove a duality principle of this type for a very general class of random graphs with independence between the edges, defined by convergence of the matrices of edge probabilities in the cut metric.
On the singularity probability of discrete random matrices
Published
• View Publication
• BIB
Let $M_n$ be an $n$ by $n$ random matrix where each entry is +1 or -1 independently with probability 1/2. Our main result implies that the probability that $M_n$ is singular is at most $(1/\sqrt{2} + o(1))^n$, improving on the previous best upper bound of $(3/4 + o(1))^n$ proven by Tao and Vu in arXiv:math/0501313v2. This paper follows a similar approach to the Tao and Vu result, including using a variant of their structure theorem. We also extend this type of exponential upper bound on the probability that a random matrix is singular to a large class of discrete random matrices taking values in the complex numbers, where the entries are independent but are not necessarily identically distributed.
Strong approximation in random towers of graphs
Published
• View Publication
• BIB
The term "strong approximation" is used to describe phenomena where an arithmetic group as well as all of its Zariski dense subgroups have a large image in the congruence quotients. We exhibit analogues of such phenomena in a probabilistic, rather than arithmetic, setting.
Let T be the binary rooted tree, Aut(T) its automorphism group. To a given m-tuple a = {a_1,a_2,...,a_m} in Aut(T), we associate a tower of 2m-regular Schreier graphs ...X_n-->X_{n-1}-->...-->X_0. The vertices of X_n are the n^{th} level of the tree and two such are connected by an edge if a generator takes one to the other.
When {a_i} are independent Haar-random elements of Aut(T) we retrieve the standard model for iterated random 2-lifts studied, for example by Bilu-Linial. If w={w_1,w_2,...,w_l} are words in the free group F_m, the random substitutions w(a) := {w_1(a),...,w_l(a)} give rise to new models for random towers of 2l-regular graphs: ...Y_n-->Y_{n-1}-->...-->Y_0.
With the above notation, the following hold almost surely, for every non cyclic subgroup D in F_m: (i) the graphs $Y_n$ have a bounded number of connected components, (ii) these connected components form a family of expander graphs, (iii) the closure of D has positive Hausdorff dimension as a subgroup of the (metric) group Aut(T).
The Speed of Broadcasting in Random Networks: Density Does Not Matter
Published
• View Publication
• BIB
Broadcasting algorithms are of fundamental importance for distributed systems engineering. In this paper we revisit the classical and well-studied push protocol for message broadcasting. Assuming that initially only one node has some piece of information, at each stage every one of the informed nodes chooses randomly and independently one of its neighbors and passes the message to it.
The performance of the push protocol on a fully connected network, where each node is joined by a link to every other node, is very well understood. In particular, Frieze and Grimmett proved that with probability 1-o(1) the push protocol completes the broadcasting of the message within (1 +/- ε) (log_2 n + ln n) stages, where n is the number of nodes of the network. However, there are no tight bounds for the broadcast time on networks that are significantly sparser than the complete graph.
In this work we consider random networks on n nodes, where every edge is present with probability p, independently of every other edge. We show that if p > f(n)ln n/ n, where f(n) is any function that tends to infinity as n grows, then the push protocol broadcasts the message within (1 +/- ε) (log_2 n + ln n) stages with probability 1-o(1). In other words, in almost every network of density d such that d > f(n)ln n, the push protocol broadcasts a message as fast as in a fully connected network. This is quite surprising in the sense that the time needed remains essentially unaffected by the fact that most of the links are missing.
A simple regularization of graphs
The well-known regularity lemma of E. Szemerédi for graphs (i.e. 2-uniform hypergraphs) claims that for any graph there exists a vertex partition with the property of quasi-randomness. We give a simple construction of such a partition. It is done just by taking a constant-bounded number of random vertex samplings only one time (thus, iteration-free). Since it is independent from the definition of quasi-randomness, it can be generalized very naturally to hypergraph regularization. In this expository note, we show only a graph case of the paper [I] on hypergraphs, but may help the reader to access [I].
The expected genus of a random chord diagram
Published
• View Publication
• BIB
To any generic curve in an oriented surface there corresponds an oriented chord diagram, and any oriented chord diagram may be realized by a curve in some oriented surface. The genus of an oriented chord diagram is the minimal genus of an oriented surface in which it may be realized. Let g_n denote the expected genus of a randomly chosen oriented chord diagram of order n. We show that g_n satisfies: g_n = n/2 - Theta(ln n).
Rotor Walks and Markov Chains
Published
• View Publication
• BIB
The rotor walk is a derandomized version of the random walk on a graph. On successive visits to any given vertex, the walker is routed to each of the neighboring vertices in some fixed cyclic order, rather than to a random sequence of neighbors. The concept generalizes naturally to Markov chains on a countable state space. Subject to general conditions, we prove that many natural quantities associated with the rotor walk (including normalized hitting frequencies, hitting times and occupation frequencies) concentrate around their expected values for the random walk. Furthermore, the concentration is stronger than that associated with repeated runs of the random walk, with discrepancy at most C/n after n runs (for an explicit constant C), rather than c/sqrt n.
On adding a list of numbers (and other one-dependent determinantal processes)
Published
• View Publication
• BIB
Adding a column of numbers produces "carries" along the way. We show that random digits produce a pattern of carries with a neat probabilistic description: the carries form a one-dependent determinantal point process. This makes it easy to answer natural questions: How many carries are typical? Where are they located? We show that many further examples, from combinatorics, algebra and group theory, have essentially the same neat formulae, and that any one-dependent point process on the integers is determinantal. The examples give a gentle introduction to the emerging fields of one-dependent and determinantal point processes.
Random Graphs and the Parity Quantifier
Published
• View Publication
• BIB
The classical zero-one law for first-order logic on random graphs says that for any first-order sentence $φ$ in the theory of graphs, as n approaches infinity, the probability that the random graph G(n, p) satisfies $φ$ approaches either 0 or 1. It is well known that this law fails to hold for any formalism that can express the parity quantifier: for certain properties, the probability that G(n, p) satisfies the property need not converge, and for others the limit may be strictly between 0 and 1. In this paper, we capture the limiting behavior of properties definable in first order logic augmented with the parity quantier, FO[parity], over G(n, p), thus eluding the above hurdles. Specifically, we establish the following "modular convergence law": For every FO[parity] sentence $φ$, there are two rational numbers a_0, a_1, such that for i in {0,1}, as n approaches infinity, the probability that the random graph G(2n+i, p) satisfies $φ$ approaches a_i. Our results also extend appropriately to first order logic equipped with Mod-q quantiers for prime q. Our approach is based on multivariate polynomials over finite fields, in particular, on a new generalization of the Gowers norm. The proof generalizes the original quantifier elimination approach to the zero-one law, and has analogies with the Razborov-Smolensky method for lower bounds for AC0 with parity gates.
Random Walks on Strict Partitions
Published in Journal of Mathematical Sciences, vol. 168, no. 3, pp. 437-463, 2010
• View Publication
• BIB
We consider a certain sequence of random walks. The state space of the n-th random walk is the set of all strict partitions of n (that is, partitions without equal parts).
We prove that, as n goes to infinity, these random walks converge to a continuous-time Markov process. The state space of this process is the infinite-dimensional simplex consisting of all nonincreasing infinite sequences of nonnegative numbers with sum less than or equal to one. The main result about the limit process is the expression of its the pre-generator as a formal second order differential operator in a polynomial algebra.
Of separate interest is the generalization of Kerov interlacing coordinates to the case of shifted Young diagrams.
Asymptotic Normality of Statistics on Permutation Tableaux
Published
• View Publication
• BIB
In this paper we use a probabilistic approach to derive the expressions for the characteristic functions of basic statistics defined on permutation tableaux. Since our expressions are exact, we can identify the distributions of basic statistics (like the number of unrestricted rows, the number of rows, and the number of 1s in the first row) exactly. In all three cases the distributions are known to be asymptotically normal after a suitable normalization. We also establish the asymptotic normality of the number of superfluous 1s. The latter result relies on a bijection between permutation tableaux and permutations and on a rather general sufficient condition for the central limit theorem for the sums of random variables in terms of dependency graph of the summands.
Hamilton cycles in 3-out
Published
• View Publication
• BIB
Let G_{\rm 3-out} denote the random graph on vertex set [n] in which each vertex chooses 3 neighbors uniformly at random. Note that G_{\rm 3-out} has minimum degree 3 and average degree 6. We prove that the probability that G_{\rm 3-out} is Hamiltonian goes to 1 as n tends to infinity.
Asymptotically almost all λ-terms are strongly normalizing
Published in Logical Methods in Computer Science, Volume 9, Issue 1 (February 15, 2013) lmcs:848
• View Publication
• BIB
We present quantitative analysis of various (syntactic and behavioral) properties of random λ-terms. Our main results are that asymptotically all the terms are strongly normalizing and that any fixed closed term almost never appears in a random term. Surprisingly, in combinatory logic (the translation of the λ-calculus into combinators), the result is exactly opposite. We show that almost all terms are not strongly normalizing. This is due to the fact that any fixed combinator almost always appears in a random combinator.
First passage percolation on random graphs with finite mean degrees
Published in Annals of Applied Probability 2010, Vol. 20, No. 5, 1907-1965
• View Publication
• BIB
We study first passage percolation on the configuration model. Assuming that each edge has an independent exponentially distributed edge weight, we derive explicit distributional asymptotics for the minimum weight between two randomly chosen connected vertices in the network, as well as for the number of edges on the least weight path, the so-called hopcount. We analyze the configuration model with degree power-law exponent $τ>2$, in which the degrees are assumed to be i.i.d. with a tail distribution which is either of power-law form with exponent $τ-1>1$, or has even thinner tails ($τ=\infty$). In this model, the degrees have a finite first moment, while the variance is finite for $τ>3$, but infinite for $τ\in(2,3)$. We prove a central limit theorem for the hopcount, with asymptotically equal means and variances equal to $α\log{n}$, where $α\in(0,1)$ for $τ\in(2,3)$, while $α>1$ for $τ>3$. Here $n$ denotes the size of the graph. For $τ\in (2,3)$, it is known that the graph distance between two randomly chosen connected vertices is proportional to $\log \log{n}$ [Electron. J. Probab. 12 (2007) 703--766], that is, distances are ultra small. Thus, the addition of edge weights causes a marked change in the geometry of the network. We further study the weight of the least weight path and prove convergence in distribution of an appropriately centered version. This study continues the program initiated in [J. Math. Phys. 49 (2008) 125218] of showing that $\log{n}$ is the correct scaling for the hopcount under i.i.d. edge disorder, even if the graph distance between two randomly chosen vertices is of much smaller order. The case of infinite mean degrees ($τ\in[1,2)$) is studied in [Extreme value theory, Poisson--Dirichlet distributions and first passage percolation on random networks (2009) Preprint] where it is proved that the hopcount remains uniformly bounded and converges in distribution.
A Probabilistic Characterization of Random Proximity Catch Digraphs and the Associated Tools
Proximity catch digraphs (PCDs) are based on proximity maps which yield proximity regions and are special types of proximity graphs. PCDs are based on the relative allocation of points from two or more classes in a region of interest and have applications in various fields. In this article, we provide auxiliary tools for and various characterizations of PCDs based on their probabilistic behavior. We consider the cases in which the vertices of the PCDs come from uniform and non-uniform distributions in the region of interest. We also provide some of the newly defined proximity maps as illustrative examples.