random
7100 papers tagged with this keyword
A better algorithm for random k-SAT
Published in SIAM Journal on Computing 39 (2010) 2823 - 2864
• View Publication
• BIB
Let F be a uniformly distributed random k-SAT formula with n variables and m clauses. We present a polynomial time algorithm that finds a satisfying assignment of F with high probability for constraint densities m/n<(1-eps_k)2^k\ln(k)/k, where eps_k->0. Previously no efficient algorithm was known to find solutions with non-vanishing probability beyond m/n=1.817.2^k/k [Frieze and Suen, J. of Algorithms 1996].
Large Deviations and Moments for the Euler Characteristic of a Random Surface
Published
• View Publication
• BIB
We study random surfaces constructed by glueing together $N/k$ filled $k$-gons along their edges, with all $(N-1)!! = (N-1)(N-3)...3\cdot 1$ pairings of the edges being equally likely. (We assume that lcm $\{2,k\}$ divides $N$.) The Euler characteristic of the resulting surface is related to the number of cycles in a certain random permutation of $\{1, ..., N\}$. Gamburd has shown that when 2 lcm $\{2,k\}$ divides $N$, the distribution of this random permutation converges to that of the uniform distribution on the alternating group $A_N$ in the total-variation distance as $N\to\infty$. We obtain large-deviations bounds for the number of cycles that, together with Gamburd's result, allow us to derive sharp estimates for the moments of the number of cycles. These estimates allow us to confirm certain cases of conjectures made by Pippenger and Schleich.
Characterisations and Examples of Graph Classes with Bounded Expansion
Published in European J. Combinatorics 33.3:350-373, 2012
• View Publication
• BIB
Classes with bounded expansion, which generalise classes that exclude a topological minor, have recently been introduced by Nešetřil and Ossona de Mendez. These classes are defined by the fact that the maximum average degree of a shallow minor of a graph in the class is bounded by a function of the depth of the shallow minor. Several linear-time algorithms are known for bounded expansion classes (such as subgraph isomorphism testing), and they allow restricted homomorphism dualities, amongst other desirable properties. In this paper we establish two new characterisations of bounded expansion classes, one in terms of so-called topological parameters, the other in terms of controlling dense parts. The latter characterisation is then used to show that the notion of bounded expansion is compatible with Erdös-Rényi model of random graphs with constant average degree. In particular, we prove that for every fixed $d>0$, there exists a class with bounded expansion, such that a random graph of order $n$ and edge probability $d/n$ asymptotically almost surely belongs to the class. We then present several new examples of classes with bounded expansion that do not exclude some topological minor, and appear naturally in the context of graph drawing or graph colouring. In particular, we prove that the following classes have bounded expansion: graphs that can be drawn in the plane with a bounded number of crossings per edge, graphs with bounded stack number, graphs with bounded queue number, and graphs with bounded non-repetitive chromatic number. We also prove that graphs with `linear' crossing number are contained in a topologically-closed class, while graphs with bounded crossing number are contained in a minor-closed class.
Anisotropic Young diagrams and infinite-dimensional diffusion processes with the Jack parameter
Published in International Mathematics Research Notices 2010 (2010), no.6, 1102-1166
• View Publication
• BIB
We construct a family of Markov processes with continuous sample trajectories on an infinite-dimensional space, the Thoma simplex. The family depends on three continuous parameters, one of which, the Jack parameter, is similar to the beta parameter in random matrix theory. The processes arise in a scaling limit transition from certain finite Markov chains, the so called up-down chains on the Young graph with the Jack edge multiplicities. Each of the limit Markov processes is ergodic and its stationary distribution is a symmetrizing measure. The infinitesimal generators of the processes are explicitly computed; viewed as selfadjoint operators in the L^2 spaces over the symmetrizing measures, the generators have purely discrete spectrum which is explicitly described.
For the special value 1 of the Jack parameter, the limit Markov processes coincide with those of the recent work by Borodin and the author (Prob. Theory Rel. Fields 144 (2009), 281--318; arXiv:0706.1034). In the limit as the Jack parameter goes to 0, our family of processes degenerates to the one-parameter family of diffusions on the Kingman simplex studied long ago by Ethier and Kurtz in connection with some models of population genetics.
The techniques of the paper are essentially algebraic. The main computations are performed in the algebra of shifted symmetric functions with the Jack parameter and rely on the concept of anisotropic Young diagrams due to Kerov.
Bounds on the number and sizes of conjugacy classes in finite Chevalley groups with Applications to Derangements
Published
• View Publication
• BIB
We present explicit upper bounds for the number and size of conjugacy classes in finite Chevalley groups and their variations. These results have been used by many authors to study zeta functions associated to representations of finite simple groups, random walks on Chevalley groups, the final solution to the Ore conjecture about commutators in finite simple groups and other similar problems. In this paper, we solve a strong version of the Boston-Shalev conjecture on derangements in simple groups for most of the families of primitive permutation group representations of finite simple groups (the remaining cases are settled in two other papers of the authors and applications are given in a third).
A sharp inverse Littlewood-Offord theorem
Published
• View Publication
• BIB
Let $η_i, i=1,..., n$ be iid Bernoulli random variables. Given a multiset $\bv$ of $n$ numbers $v_1, ..., v_n$, the \emph{concentration probability} $¶_1(\bv)$ of $\bv$ is defined as $¶_1(\bv) := \sup_{x} ¶(v_1 η_1+ ... v_n η_n=x)$. A classical result of Littlewood-Offord and Erd\H os from the 1940s asserts that if the $v_i $ are non-zero, then this probability is at most $O(n^{-1/2})$. Since then, many researchers obtained better bounds by assuming various restrictions on $\bv$.
In this paper, we give an asymptotically optimal characterization for all multisets $\bv$ having large concentration probability. This allow us to strengthen or recover several previous results in a straightforward manner.
Bilinear and Quadratic Variants on the Littlewood-Offord Problem
Published in Israel Journal of Mathematics, Vol 194 (2013), pg. 359-394
• View Publication
• BIB
If f(x_1, x_2, ..., x_n) is a polynomial dependent on a large number of independent Bernoulli random variables, what can be said about the maximum concentration of f on any single value? For linear polynomials, this reduces to one version of the classical Littlewood-Offord problem: Given nonzero constants a_1 through a_n, what is the maximum number of sums of the form +/- a_1 +/- a_2 +/-... +/- a_n which take on any single value? Here we consider the case where f is either a bilinear form or a quadratic form. For the bilinear case, we show that the only forms having concentration significantly larger than n^{-1} are those which are in a certain sense very close to being degenerate. For the quadratic case, we show that no form having many nonzero coefficients has concentration significantly larger than n^{-1/2}. In both cases the results are nearly tight.
Extension of One-Dimensional Proximity Regions to Higher Dimensions
Published
• View Publication
• BIB
Proximity maps and regions are defined based on the relative allocation of points from two or more classes in an area of interest and are used to construct random graphs called proximity catch digraphs (PCDs) which have applications in various fields. The simplest of such maps is the spherical proximity map which maps a point from the class of interest to a disk centered at the same point with radius being the distance to the closest point from the other class in the region. The spherical proximity map gave rise to class cover catch digraph (CCCD) which was applied to pattern classification. Furthermore for uniform data on the real line, the exact and asymptotic distribution of the domination number of CCCDs were analytically available. In this article, we determine some appealing properties of the spherical proximity map in compact intervals on the real line and use these properties as a guideline for defining new proximity maps in higher dimensions. Delaunay triangulation is used to partition the region of interest in higher dimensions. Furthermore, we introduce the auxiliary tools used for the construction of the new proximity maps, as well as some related concepts that will be used in the investigation and comparison of them and the resulting graphs. We characterize the geometry invariance of PCDs for uniform data. We also provide some newly defined proximity maps in higher dimensions as illustrative examples.
Random Graphons and a Weak Positivstellensatz for Graphs
In an earlier paper the authors proved that limits of convergent graph sequences can be described by various structures, including certain 2-variable real functions called graphons, random graph models satisfying certain consistency conditions, and normalized, multiplicative and reflection positive graph parameters. In this paper we show that each of these structures has a related, relaxed version, which are also equivalent. Using this, we describe a further structure equivalent to graph limits, namely probability measures on countable graphs that are ergodic with respect to the group of permutations of the nodes.
As an application, we prove an analogue of the Positivstellensatz for graphs: We show that every linear inequality between subgraph densities that holds asymptotically for all graphs has a formal proof in the following sense: it can be approximated arbitrarily well by another valid inequality that is a "sum of squares" in the algebra of partially labeled graphs.
On the spread of random graphs
Published
• View Publication
• BIB
The spread of a connected graph G was introduced by Alon, Boppana and Spencer (1998) and measures how tightly connected the graph is. It is defined as the maximum over all Lipschitz functions f on V(G) of the variance of f(X) when X is uniformly distributed on V(G). We investigate the spread for certain models of sparse random graph; in particular for random regular graphs G(n,d), for Erdős-Rényi random graphs G_{n,p} in the supercritical range p>1/n, and for a 'small world' model. For supercritical G_{n,p}, we show that if p=c/n with c>1 fixed then with high probability the spread of the giant component is bounded, and we prove corresponding statements for other models of random graphs, including a model with random edge-lengths. We also give lower bounds on the spread for the barely supercritical case when p=(1+o(1))/n. Further, we show that for d large, with high probability the spread of G(n,d) becomes arbitrarily close to that of the complete graph K_n.
The weighted random graph model
Published in New Journal of Physics 11, 073005 (2009)
• View Publication
• BIB
We introduce the weighted random graph (WRG) model, which represents the weighted counterpart of the Erdos-Renyi random graph and provides fundamental insights into more complicated weighted networks. We find analytically that the WRG is characterized by a geometric weight distribution, a binomial degree distribution and a negative binomial strength distribution. We also characterize exactly the percolation phase transitions associated with edge removal and with the appearance of weighted subgraphs of any order and intensity. We find that even this completely null model displays a percolation behavior similar to what observed in real weighted networks, implying that edge removal cannot be used to detect community structure empirically. By contrast, the analysis of clustering successfully reveals different patterns between the WRG and real networks.
On the eigenvalues of Cayley graphs on the symmetric group generated by a complete multipartite set of transpositions
Published in J. Algebraic Combin. 32, no. 2, 155-185 (2010)
• View Publication
• BIB
Given a finite simple graph $\cG$ with $n$ vertices, we can construct the Cayley graph on the symmetric group $S_n$ generated by the edges of $\cG$, interpreted as transpositions. We show that, if $\cG$ is complete multipartite, the eigenvalues of the Laplacian of $\Cay(\cG)$ have a simple expression in terms of the irreducible characters of transpositions, and of the Littlewood-Richardson coefficients. As a consequence we can prove that the Laplacians of $\cG$ and of $\Cay(\cG)$ have the same first nontrivial eigenvalue. This is equivalent to saying that Aldous's conjecture, asserting that the random walk and the interchange process have the same spectral gap, holds for complete multipartite graphs.
Carries, shuffling, and symmetric functions
Published
• View Publication
• BIB
The "carries" when n random numbers are added base b form a Markov chain with an "amazing" transition matrix determined by Holte. This same Markov chain occurs in following the number of descents or rising sequences when n cards are repeatedly riffle shuffled. We give generating and symmetric function proofs and determine the rate of convergence of this Markov chain to stationarity. Similar results are given for type B shuffles. We also develop connections with Gaussian autoregressive processes and the Veronese mapping of commutative algebra.
Critical behavior in inhomogeneous random graphs
We study the critical behavior of inhomogeneous random graphs where edges are present independently but with unequal edge occupation probabilities. The edge probabilities are moderated by vertex weights, and are such that the degree of vertex i is close in distribution to a Poisson random variable with parameter w_i, where w_i denotes the weight of vertex i. We choose the weights such that the weight of a uniformly chosen vertex converges in distribution to a limiting random variable W, in which case the proportion of vertices with degree k is close to the probability that a Poisson random variable with random parameter W takes the value k. We pay special attention to the power-law case, in which P(W\geq k) is proportional to k^{-(τ-1)} for some power-law exponent τ>3, a property which is then inherited by the asymptotic degree distribution.
We show that the critical behavior depends sensitively on the properties of the asymptotic degree distribution moderated by the asymptotic weight distribution W. Indeed, when P(W\geq k) \leq ck^{-(τ-1)} for all k\geq 1 and some τ>4 and c>0, the largest critical connected component in a graph of size n is of order n^{2/3}, as on the Erdős-Rényi random graph. When, instead, P(W\geq k)=ck^{-(τ-1)}(1+o(1)) for k large and some τ\in (3,4) and c>0, the largest critical connected component is of the much smaller order n^{(τ-2)/(τ-1)}.
Poset limits and exchangeable random posets
Published
• View Publication
• BIB
We develop a theory of limits of finite posets in close analogy to the recent theory of graph limits. In particular, we study representations of the limits by functions of two variables on a probability space, and connections to exchangeable random infinite posets.
Very large graphs
In the last decade it became apparent that a large number of the most interesting structures and phenomena of the world can be described by networks: separable elements, with connections (or interactions) between certain pairs of them.
These huge networks pose exciting challenges for the mathematician. Graph Theory (the mathematical theory of networks) faces novel, unconventional problems: these very large networks (like the Internet) are never completely known, in most cases they are not even well defined. Data about them can be collected only by indirect means like random local sampling.
Dense networks (in which a node is adjacent to a positive percent of others nodes) and sparse networks (in which a node has a bounded number of neighbors) show very different behavior. From a practical point of view, sparse networks are more important, but at present we have more complete theoretical results for dense networks. The paper surveys relations with probability, algebra, extrema graph theory, and analysis.
Domino tilings with diagonal impurities
This paper studies the dimer model on the dual graph of the square-octagon lattice, which can be viewed as the domino tilings with impurities in some sense. In particular, under a certain boundary condition, we give an exact formula representing the probability of finding an impurity at a given site in a uniformly random dimer configuration in terms of simple random walks on the square lattice.
Note: Random-to-front shuffles on trees
Published
• View Publication
• BIB
A Markov chain is considered whose states are orderings of an underlying fixed tree and whose transitions are local "random-to-front" reorderings, driven by a probability distribution on subsets of the leaves. The eigenvalues of the transition matrix are determined using Brown's theory of random walk on semigroups.
Choice-memory tradeoff in allocations
Published in Annals of Applied Probability 2010, Vol. 20, No. 4, 1470-1511
• View Publication
• BIB
In the classical balls-and-bins paradigm, where $n$ balls are placed independently and uniformly in $n$ bins, typically the number of bins with at least two balls in them is $Θ(n)$ and the maximum number of balls in a bin is $Θ(\frac{\log n}{\log \log n})$. It is well known that when each round offers $k$ independent uniform options for bins, it is possible to typically achieve a constant maximal load if and only if $k=Ω(\log n)$. Moreover, it is possible w.h.p. to avoid any collisions between $n/2$ balls if $k>\log_2n$. In this work, we extend this into the setting where only $m$ bits of memory are available. We establish a tradeoff between the number of choices $k$ and the memory $m$, dictated by the quantity $km/n$. Roughly put, we show that for $km\gg n$ one can achieve a constant maximal load, while for $km\ll n$ no substantial improvement can be gained over the case $k=1$ (i.e., a random allocation). For any $k=Ω(\log n)$ and $m=Ω(\log^2n)$, one can achieve a constant load w.h.p. if $km=Ω(n)$, yet the load is unbounded if $km=o(n)$. Similarly, if $km>Cn$ then $n/2$ balls can be allocated without any collisions w.h.p., whereas for $km<εn$ there are typically $Ω(n)$ collisions. Furthermore, we show that the load is w.h.p. at least $\frac{\log(n/m)}{\log k+\log\log(n/m)}$. In particular, for $k\leq\operatorname {polylog}(n)$, if $m=n^{1-δ}$ the optimal maximal load is $Θ(\frac{\log n}{\log\log n})$ (the same as in the case $k=1$), while $m=2n$ suffices to ensure a constant load. Finally, we analyze nonadaptive allocation algorithms and give tight upper and lower bounds for their performance.
On the Limiting Shape of Young Tableaux Associated With Inhomogeneous Random Words
The limiting shape of the random Young diagrams associated with an inhomogeneous random word is identified as a multidimensional Brownian functional. This functional is identical in law to the spectrum of a random matrix. The Poissonized word problem is also briefy studied, and the asymptotic behavior of the shape analyzed.