random
7100 papers tagged with this keyword
Revolutionaries and spies on random graphs
Published
• View Publication
• BIB
Pursuit-evasion games, such as the game of Revolutionaries and Spies, are a simplified model for network security. In the game we consider in this paper, a team of $r$ revolutionaries tries to hold an unguarded meeting consisting of $m$ revolutionaries. A team of $s$ spies wants to prevent this forever. For given $r$ and $m$, the minimum number of spies required to win on a graph $G$ is the spy number $σ(G,r,m)$. We present asymptotic results for the game played on random graphs $G(n,p)$ for a large range of $p = p(n), r=r(n)$, and $m=m(n)$. The behaviour of the spy number is analyzed completely for dense graphs (that is, graphs with average degree at least $n^{1/2+\eps}$ for some $\eps > 0$). For sparser graphs, some bounds are provided.
Hypergraph containers
Published
• View Publication
• BIB
We develop a notion of containment for independent sets in hypergraphs. For every $r$-uniform hypergraph $G$, we find a relatively small collection $C$ of vertex subsets, such that every independent set of $G$ is contained within a member of $C$, and no member of $C$ is large; the collection, which is in various respects optimal, reveals an underlying structure to the independent sets. The containers offer a straightforward and unified approach to many combinatorial questions concerned (usually implicitly) with independence.
With regard to colouring, it follows that simple $r$-uniform hypergraphs of average degree $d$ have list chromatic number at least $(1/(r-1)^2 + o(1)) \log_r d$. For $r = 2$ this improves a bound due to Alon and is tight. For $r \ge 3$, previous bounds were weak but the present inequality is close to optimal.
In the context of extremal graph theory, it follows that, for each $\ell$-uniform hypergraph $H$ of order $k$, there is a collection $C$ of $\ell$-uniform hypergraphs of order $n$ each with $o(n^k)$ copies of $H$, such that every $H$-free $\ell$-uniform hypergraph of order $n$ is a subgraph of a hypergraph in $C$, and $\log |C| \le c n^{\ell-1/m(H)} \log n$ where $m(H)$ is a standard parameter (there is a similar statement for induced subgraphs). This yields simple proofs, for example, for the number of $H$-free hypergraphs, and for the sparsity theorems of Conlon-Gowers and Schacht. A slight variant yields a counting version of the KŁR conjecture.
Likewise, for systems of linear equations the containers supply, for example, bounds on the number of solution-free sets, and the existence of solutions in sparse random subsets.
Balogh, Morris and Samotij have independently obtained related results.
Independent Events in a Simple Random Experiment and the Meaning of Independence
Published
• View Publication
• BIB
We count the number and patterns of pairs and tuples of independent events in a simple random experiment: first a fair coin is flipped and then a fair die is tossed. The first number, equal to 888,888, suggest that there are some open questions about the structure of independence even in a finite sample space. We discuss briefly these questions and possible approaches to answer them.
Formal Groups, Witt vectors and Free Probability
We establish a link between free probability theory and Witt vectors, via the theory of formal groups. We derive an exponential isomorphism which expresses Voiculescu's free multiplicative convolution $\boxtimes$ as a function of the free additive convolution $\boxplus$. Subsequently we continue our previous discussion of the relation between complex cobordism and free probability. We show that the generic $n$th free cumulant corresponds to the cobordism class of the $(n-1)$-dimensional complex projective space. This permits us to relate several probability distributions from random matrix theory to known genera, and to build a dictionary. Finally, we discuss aspects of free probability and the asymptotic representation theory of the symmetric group from a conformal field theoretic perspective and show that every distribution with mean zero is embeddable into the Universal Grassmannian of Sato-Segal-Wilson.
Independent sets in hypergraphs
Published
• View Publication
• BIB
Many important theorems in combinatorics, such as Szemerédi's theorem on arithmetic progressions and the Erdős-Stone Theorem in extremal graph theory, can be phrased as statements about independent sets in uniform hypergraphs. In recent years, an important trend in the area has been to extend such classical results to the so-called sparse random setting. This line of research culminated recently in the breakthroughs of Conlon and Gowers and of Schacht, who developed general tools for solving problems of this type.
In this paper, we provide a third, completely different approach to proving extremal and structural results in sparse random sets. We give a structural characterization of the independent sets in a large class of uniform hypergraphs by showing that every independent set is almost contained in one of a small number of relatively sparse sets. We then derive many interesting results as fairly straightforward consequences of this abstract theorem. In particular, we prove the well-known conjecture of Kohayakawa, Łuczak and Rödl, a probabilistic embedding lemma for sparse graphs. We also give alternative proofs of many of the results of Conlon and Gowers and Schacht, and obtain their natural counting versions, which in some cases are considerably stronger. We moreover prove a sparse version of the Erdős-Frankl-Rödl Theorem on the number of H-free graphs and extend a result of Rödl and Ruciński on Ramsey properties in sparse random graphs to the general, non-symmetric setting.
We remark that similar results have been discovered independently by Saxton and Thomason, and that, in parallel to this work, Conlon, Gowers, Samotij and Schacht have proved a sparse analogue of the counting lemma for subgraphs of the random graph G(n,p), which may be viewed as a version of the KŁR conjecture that is stronger in some ways and weaker in others.
Spectra of edge-independent random graphs
Published
• View Publication
• BIB
Let $G$ be a random graph on the vertex set $\{1,2,..., n\}$ such that edges in $G$ are determined by independent random indicator variables, while the probability $p_{ij}$ for $\{i,j\}$ being an edge in $G$ is not assumed to be equal. Spectra of the adjacency matrix and the normalized Laplacian matrix of $G$ are recently studied by Oliveira and Chung-Radcliffe. Let $A$ be the adjacency matrix of $G$, $\bar A=\E(A)$, and $Δ$ be the maximum expected degree of $G$. Oliveira first proved that almost surely $\|A-\bar A\|=O(\sqrt{Δ\ln n})$ provided $Δ\geq C \ln n$ for some constant $C$. Chung-Radcliffe improved the hidden constant in the error term using a new Chernoff-type inequality for random matrices. Here we prove that almost surely $\|A-\bar A\|\leq (2+o(1))\sqrtΔ$ with a slightly stronger condition $Δ\gg \ln^4 n$. For the Laplacian $L$ of $G$, Oliveira and Chung-Radcliffe proved similar results $\|L-\bar L|=O(\sqrt{\ln n}/\sqrtδ)$ provided the minimum expected degree $δ\gg \ln n$; we also improve their results by removing the $\sqrt{\ln n}$ multiplicative factor from the error term under some mild conditions. Our results naturally apply to the classic Erdős-Rényi random graphs, random graphs with given expected degree sequences, and bond percolation of general graphs.
Strong Backdoors to Bounded Treewidth SAT
Published
• View Publication
• BIB
There are various approaches to exploiting "hidden structure" in instances of hard combinatorial problems to allow faster algorithms than for general unstructured or random instances. For SAT and its counting version #SAT, hidden structure has been exploited in terms of decomposability and strong backdoor sets. Decomposability can be considered in terms of the treewidth of a graph that is associated with the given CNF formula, for instance by considering clauses and variables as vertices of the graph, and making a variable adjacent with all the clauses it appears in. On the other hand, a strong backdoor set of a CNF formula is a set of variables such that each possible partial assignment to this set moves the formula into a fixed class for which (#)SAT can be solved in polynomial time.
In this paper we combine the two above approaches. In particular, we study the algorithmic question of finding a small strong backdoor set into the class W_t of CNF formulas whose associated graphs have treewidth at most t. The main results are positive:
(1) There is a cubic-time algorithm that, given a CNF formula F and two constants k,t\ge 0, either finds a strong W_t-backdoor set of size at most 2^k, or concludes that F has no strong W_t-backdoor set of size at most k.
(2) There is a cubic-time algorithm that, given a CNF formula F, computes the number of satisfying assignments of F or concludes that sb_t(F)>k, for any pair of constants k,t\ge 0. Here, sb_t(F) denotes the size of a smallest strong W_t-backdoor set of F.
The significance of our results lies in the fact that they allow us to exploit algorithmically a hidden structure in formulas that is not accessible by any one of the two approaches (decomposability, backdoors) alone. Already a backdoor size 1 on top of treewidth 1 (i.e., sb_1(F)=1) entails formulas of arbitrarily large treewidth and arbitrarily large cycle cutsets.
The evolution of subcritical Achlioptas processes
Published in Random Structures and Algorithms 47 (2015), 174-203
• View Publication
• BIB
In Achlioptas processes, starting from an empty graph, in each step two potential edges are chosen uniformly at random, and using some rule one of them is selected and added to the evolving graph. Although the evolution of such `local' modifications of the Erd{\H o}s--Rényi random graph process has received considerable attention during the last decade, so far only rather simple rules are well understood. Indeed, the main focus has been on `bounded-size' rules, where all component sizes larger than some constant $B$ are treated the same way, and for more complex rules very few rigorous results are known.
In this paper we study Achlioptas processes given by (unbounded) size rules such as the sum and product rules. Using a variant of the neighbourhood exploration process and branching process arguments we show that certain key statistics are tightly concentrated at least until the susceptibility (the expected size of the component containing a randomly chosen vertex) diverges. Our convergence result is most likely best possible for certain rules: in the later evolution the number of vertices in small components may not be concentrated. Furthermore, we believe that for a large class of rules the critical time where the susceptibility `blows up' coincides with the percolation threshold.
Moments of Poisson stochastic integrals with random integrands
We compute the moment of order n of the Poisson stochastic integral of a random process u over a metric space X as a sum that runs over all partitions of {1,...,n} and involves the addition of points to Poisson configurations. This formula recovers known results in case u is a deterministic function on X.
Monotone cellular automata in a random environment
Published in Combinator. Probab. Comp. 24 (2015) 687-722
• View Publication
• BIB
In this paper we study in complete generality the family of two-state, deterministic, monotone, local, homogeneous cellular automata in $\mathbb{Z}^d$ with random initial configurations. Formally, we are given a set $\mathcal{U}=\{X_1,\dots,X_m\}$ of finite subsets of $\mathbb{Z}^d\setminus\{\mathbf{0}\}$, and an initial set $A_0\subset\mathbb{Z}^d$ of `infected' sites, which we take to be random according to the product measure with density $p$. At time $t\in\mathbb{N}$, the set of infected sites $A_t$ is the union of $A_{t-1}$ and the set of all $x\in\mathbb{Z}^d$ such that $x+X\in A_{t-1}$ for some $X\in\mathcal{U}$. Our model may alternatively be thought of as bootstrap percolation on $\mathbb{Z}^d$ with arbitrary update rules, and for this reason we call it $\mathcal{U}$-bootstrap percolation.
In two dimensions, we give a classification of $\mathcal{U}$-bootstrap percolation models into three classes -- supercritical, critical and subcritical -- and we prove results about the phase transitions of all models belonging to the first two of these classes. More precisely, we show that the critical probability for percolation on $(\mathbb{Z}/n\mathbb{Z})^2$ is $(\log n)^{-Θ(1)}$ for all models in the critical class, and that it is $n^{-Θ(1)}$ for all models in the supercritical class.
The results in this paper are the first of any kind on bootstrap percolation considered in this level of generality, and in particular they are the first that make no assumptions of symmetry. It is the hope of the authors that this work will initiate a new, unified theory of bootstrap percolation on $\mathbb{Z}^d$.
Maximum Cliques in Graphs with Small Intersection Number and Random Intersection Graphs
Published
• View Publication
• BIB
In this paper, we relate the problem of finding a maximum clique to the intersection number of the input graph (i.e. the minimum number of cliques needed to edge cover the graph). In particular, we consider the maximum clique problem for graphs with small intersection number and random intersection graphs (a model in which each one of $m$ labels is chosen independently with probability $p$ by each one of $n$ vertices, and there are edges between any vertices with overlaps in the labels chosen).
We first present a simple algorithm which, on input $G$ finds a maximum clique in $O(2^{2^m + O(m)} + n^2 \min\{2^m, n\})$ time steps, where $m$ is an upper bound on the intersection number and $n$ is the number of vertices. Consequently, when $m \leq \ln{\ln{n}}$ the running time of this algorithm is polynomial.
We then consider random instances of the random intersection graphs model as input graphs. As our main contribution, we prove that, when the number of labels is not too large ($m=n^α, 0< α<1$), we can use the label choices of the vertices to find a maximum clique in polynomial time whp. The proof of correctness for this algorithm relies on our Single Label Clique Theorem, which roughly states that whp a "large enough" clique cannot be formed by more than one label. This theorem generalizes and strengthens other related results in the state of the art, but also broadens the range of values considered.
As an important consequence of our Single Label Clique Theorem, we prove that the problem of inferring the complete information of label choices for each vertex from the resulting random intersection graph (i.e. the \emph{label representation of the graph}) is \emph{solvable} whp. Finding efficient algorithms for constructing such a label representation is left as an interesting open problem for future research.
Coalescing random walks and voting on connected graphs
Published
• View Publication
• BIB
In a coalescing random walk, a set of particles make independent random walks on a graph. Whenever one or more particles meet at a vertex, they unite to form a single particle, which then continues the random walk through the graph. Coalescing random walks can be used to achieve consensus in distributed networks, and is the basis of the self-stabilizing mutual exclusion algorithm of Israeli and Jalfon.
Let G=(V,E), be an undirected, connected n vertex graph with m edges. Let C(n) be the expected time for all particles to coalesce, when initially one particle is located at each vertex of an n vertex graph.
We study the problem of bounding the coalescence time C(n) for general classes of graphs. Our main result is that C(n)= O(1/(1-lambda_2))*((log n)^4 +n/A)), where lambda_2 is the absolute value of the second largest eigenvalue of the transition matrix of the random walk, A= (sum d^2(v))/(d^2 n), d(v) is the degree of vertex v, and d is the average node degree. The parameter A is an indicator of the variability of node degrees. Thus 1 <= A =O(n), with A=1 for regular graphs.
On the probability of planarity of a random graph near the critical point
Published
• View Publication
• BIB
Consider the uniform random graph $G(n,M)$ with $n$ vertices and $M$ edges. Erdős and Rényi (1960) conjectured that the limit
$$ \lim_{n \to \infty} \Pr\{G(n,\textstyle{n\over 2}) is planar}} $$ exists and is a constant strictly between 0 and 1. Łuczak, Pittel and Wierman (1994) proved this conjecture and Janson, Łuczak, Knuth and Pittel (1993) gave lower and upper bounds for this probability.
In this paper we determine the exact probability of a random graph being planar near the critical point $M=n/2$. For each $λ$, we find an exact analytic expression for
$$ p(λ) = \lim_{n \to \infty} \Pr{G(n,\textstyle{n\over 2}(1+λn^{-1/3})) is planar}.$$
In particular, we obtain $p(0) \approx 0.99780$.
We extend these results to classes of graphs closed under taking minors. As an example, we show that the probability of $G(n,\textstyle{n\over 2})$ being series-parallel converges to 0.98003.
For the sake of completeness and exposition we reprove in a concise way several basic properties we need of a random graph near the critical point.
A Central Limit Theorem for Repeating Patterns
We prove a central limit theorem for the length of the longest subsequence of a random permutation which follows one of a class of repeating patterns. This class includes every fixed pattern of ups and downs having at least one of each, such as the alternating case considered by Stanley in arXiv:math/0511419 and Widom in arXiv:math/0511533. In every case considered the convergence in the limit of long permutations is to normal with mean and variance linear in the length of the permutation.
Lipschitz embeddings of random sequences
Published
• View Publication
• BIB
We develop a new multi-scale framework flexible enough to solve a number of problems involving embedding random sequences into random sequences. Grimmett, Liggett and Richthammer asked whether there exists an increasing M-Lipschitz embedding from one i.i.d. Bernoulli sequences into an independent copy with positive probability. We give a positive answer for large enough M. A closely related problem is to show that two independent Poisson processes on R are roughly isometric (or quasi-isometric). Our approach also applies in this case answering a conjecture of Szegedy and of Peled. Our theorem also gives a new proof to Winkler's compatible sequences problem.
Random graphs with bounded maximum degree: asymptotic structure and a logical limit law
Published in Discrete Mathematics and Theoretical Computer Science, Vol. 14, No. 2 (2012) 229-254
• View Publication
• BIB
For any fixed integer $R \geq 2$ we characterise the typical structure of undirected graphs with vertices $1, ..., n$ and maximum degree $R$, as $n$ tends to infinity. The information is used to prove that such graphs satisfy a labelled limit law for first-order logic. If $R \geq 5$ then also an unlabelled limit law holds.
Cyclic to Random Transposition Shuffles
Consider a permutation $σ\in S_n$ as a deck of cards numbered from 1 to $n$ and laid out in a row, where $σ_j$ denotes the number of the card that is in the $j$-th position from the left.\rm\ We define two cyclic to random transposition shuffles. The first one works as follows: for $j=1,..., n$, on the $j$-th step transpose the card that was \it originally\rm\ the $j$-th from the left with a random card (possibly itself). The second shuffle works as follows: on the $j$-th step, transpose the card that is \it currently\rm\ in the $j$-th position from the left with a random card (possibly itself). For these shuffles, for each $b\in[0,1]$, we calculate explicitly the limiting rescaled density function of $x,0\le x\le1$, for the probability that a card with a number around $bn$ ends up in a position around $xn$, and for each $x\in[0,1]$, we calculate the limiting rescaled density function of $b,0\le b\le 1$, for the probability that the card in a position around $xn$ will be a card with a number around $bn$. These density functions all have a discontinuity at $x=b$, and for each of them, the supremum of the density is obtained by approaching the discontinuity from one side, and, for certain values of the parameter, the infimum of the density is obtained by approaching the discontinuity from the other side.
Boundary growth in one-dimensional cellular automata
Published in Complex Systems 21 (2012) 85-116
• View Publication
• BIB
We systematically study the boundaries of one-dimensional, 2-color cellular automata depending on 4 cells, begun from simple initial conditions. We determine the exact growth rates of the boundaries that appear to be reducible. Morphic words characterize the reducible boundaries. For boundaries that appear to be irreducible, we apply curve-fitting techniques to compute an empirical growth exponent and (in the case of linear growth) a growth rate. We find that the random walk statistics of irreducible boundaries exhibit surprising regularities and suggest that a threshold separates two classes. Finally, we construct a cellular automaton whose growth exponent does not exist, showing that a strict classification by exponent is not possible.
An Analytic Approach to Sparse Hypergraphs: Hypergraph Removal
Published
• View Publication
• BIB
The use of tools from analysis to approach problems in graph theory has become an active area of research. Usually such methods are applied to problems involving dense graphs and hypergraphs; here we give the an extension of such methods to sparse but pseudorandom hypergraphs. We use this framework to give a proof of hypergraph removal for sub-hypergraphs of sparse random hypergraphs.
Random walks which prefer unvisited edges. Exploring high girth even degree expanders in linear time
Published
• View Publication
• BIB
We consider a modified random walk which uses unvisited edges whenever possible, and makes a simple random walk otherwise. We call such a walk an edge-process. We assume there is a rule A, which tells the walk which unvisited edge to use whenever there is a choice. In the simplest case, A is a uniform random choice over unvisited edges incident with the current walk position. However we do not exclude arbitrary choices of rule A. For example, the rule could be determined on-line by an adversary, or could vary from vertex to vertex.
For even degree expander graphs, of bounded maximum degree, we have the following result. Let G be an n vertex even degree expander graph, for which every vertex is in at least one vertex induced cycle of length L. Any edge-process on G has cover time (n+ (n log n)/L). This result is independent of the rule A used to select the order of the unvisited edges, which can be chosen on-line by an adversary.
As an example, With high probability, random r-regular graphs, (r at least 4, even), are expanders for which L = Omega(log n). Thus, for almost all such graphs, the vertex cover time of the edge-process is Theta(n). This improves the vertex cover time of such graphs by a factor of log n, compared to the Omega(n log n) cover time of any weighted random walk.