arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
A Complete Grammar for Decomposing a Family of Graphs into 3-connected Components
Published in Electronic Journal of Combinatorics, Volume 15(1), R148 (2008) • View PublicationBIB
Tutte has described in the book "Connectivity in graphs" a canonical decomposition of any graph into 3-connected components. In this article we translate (using the language of symbolic combinatorics) Tutte's decomposition into a general grammar expressing any family of graphs (with some stability conditions) in terms of the 3-connected subfamily. A key ingredient we use is an extension of the so-called dissymmetry theorem, which yields negative signs in the grammar. As a main application we recover in a purely combinatorial way the analytic expression found by Giménez and Noy for the series counting labelled planar graphs (such an expression is crucial to do asymptotic enumeration and to obtain limit laws of various parameters on random planar graphs). Besides the grammar, an important ingredient of our method is a recent bijective construction of planar maps by Bouttier, Di Francesco and Guitter.
2008-07-31
A new method for fast computing unbiased estimators of cumulants
Published • View PublicationBIB
We propose new algorithms for generating $k$-statistics, multivariate $k$-statistics, polykays and multivariate polykays. The resulting computational times are very fast compared with procedures existing in the literature. Such speeding up is obtained by means of a symbolic method arising from the classical umbral calculus. The classical umbral calculus is a light syntax that involves only elementary rules to managing sequences of numbers or polynomials. The cornerstone of the procedures here introduced is the connection between cumulants of a random variable and a suitable compound Poisson random variable. Such a connection holds also for multivariate random variables.
2008-07-30
Random networks with sublinear preferential attachment: Degree evolutions
Published • View PublicationBIB
We define a dynamic model of random networks, where new vertices are connected to old ones with a probability proportional to a sublinear function of their degree. We first give a strong limit law for the empirical degree distribution, and then have a closer look at the temporal evolution of the degrees of individual vertices, which we describe in terms of large and moderate deviation principles. Using these results, we expose an interesting phase transition: in cases of strong preference of large degrees, eventually a single vertex emerges forever as vertex of maximal degree, whereas in cases of weak preference, the vertex of maximal degree is changing infinitely often. Loosely speaking, the transition between the two phases occurs in the case when a new edge is attached to an existing vertex with a probability proportional to the root of its current degree.
On the random satisfiable process
Published • View PublicationBIB
In this work we suggest a new model for generating random satisfiable k-CNF formulas. To generate such formulas -- randomly permute all 2^k\binom{n}{k} possible clauses over the variables x_1, ..., x_n, and starting from the empty formula, go over the clauses one by one, including each new clause as you go along if after its addition the formula remains satisfiable. We study the evolution of this process, namely the distribution over formulas obtained after scanning through the first m clauses (in the random permutation's order). Random processes with conditioning on a certain property being respected are widely studied in the context of graph properties. This study was pioneered by Ruciński and Wormald in 1992 for graphs with a fixed degree sequence, and also by Erdős, Suen, and Winkler in 1995 for triangle-free and bipartite graphs. Since then many other graph properties were studied such as planarity and H-freeness. Thus our model is a natural extension of this approach to the satisfiability setting. Our main contribution is as follows. For m \geq cn, c=c(k) a sufficiently large constant, we are able to characterize the structure of the solution space of a typical formula in this distribution. Specifically, we show that typically all satisfying assignments are essentially clustered in one cluster, and all but e^{-Ω(m/n)} n of the variables take the same value in all satisfying assignments. We also describe a polynomial time algorithm that finds with high probability a satisfying assignment for such formulas.
2008-07-23 v2
Eigenvectors of random graphs: Nodal domains
Published • View PublicationBIB
We initiate a systematic study of eigenvectors of random graphs. Whereas much is known about eigenvalues of graphs and how they reflect properties of the underlying graph, relatively little is known about the corresponding eigenvectors. Our main focus in this paper is on the nodal domains associated with the different eigenfunctions. In the analogous realm of Laplacians of Riemannian manifolds, nodal domains have been the subject of intensive research for well over a hundred years. Graphical nodal domains turn out to have interesting and unexpected properties. Our main theorem asserts that there is a constant c such that for almost every graph G, each eigenfunction of G has at most two large nodal domains, and in addition at most c exceptional vertices outside these primary domains. We also discuss variations of these questions and briefly report on some numerical experiments which, in particular, suggest that almost surely there are just two nodal domains and no exceptional vertices.
2008-07-15
The height of random binary unlabelled trees
Published • View PublicationBIB
This extended abstract is dedicated to the analysis of the height of non-plane unlabelled rooted binary trees. The height of such a tree chosen uniformly among those of size $n$ is proved to have a limiting theta distribution, both in a central and local sense. Moderate as well as large deviations estimates are also derived. The proofs rely on the analysis (in the complex plane) of generating functions associated with trees of bounded height.
2008-07-13 v2
Sparse random graphs with clustering
Published in Random Structures and Algorithms 38 (2011), 269--323 • View PublicationBIB
In 2007 we introduced a general model of sparse random graphs with independence between the edges. The aim of this paper is to present an extension of this model in which the edges are far from independent, and to prove several results about this extension. The basic idea is to construct the random graph by adding not only edges but also other small graphs. In other words, we first construct an inhomogeneous random hypergraph with independent hyperedges, and then replace each hyperedge by a (perhaps complete) graph. Although flexible enough to produce graphs with significant dependence between edges, this model is nonetheless mathematically tractable. Indeed, we find the critical point where a giant component emerges in full generality, in terms of the norm of a certain integral operator, and relate the size of the giant component to the survival probability of a certain (non-Poisson) multi-type branching process. While our main focus is the phase transition, we also study the degree distribution and the numbers of small subgraphs. We illustrate the model with a simple special case that produces graphs with power-law degree sequences with a wide range of degree exponents and clustering coefficients.
2008-07-05 v2
A threshold phenomenon for random independent sets in the discrete hypercube
Published • View PublicationBIB
Let $I$ be an independent set drawn from the discrete $d$-dimensional hypercube $Q_d=\{0,1\}^d$ according to the hard-core distribution with parameter $λ>0$ (that is, the distribution in which each independent set $I$ is chosen with probability proportional to $λ^{|I|}$). We show a sharp transition around $λ=1$ in the appearance of $I$: for $λ>1$, $\min\{|I \cap {\cal E}|, |I \cap {\cal O}|\}=0$ asymptotically almost surely, where ${\cal E}$ and ${\cal O}$ are the bipartition classes of $Q_d$, whereas for $λ<1$, $\min\{|I \cap {\cal E}|, |I \cap {\cal O}|\}$ is asymptotically almost surely exponential in $d$. The transition occurs in an interval whose length is of order $1/d$. A key step in the proof is an estimation of $Z_λ(Q_d)$, the sum over independent sets in $Q_d$ with each set $I$ given weight $λ^{|I|}$ (a.k.a. the hard-core partition function). We obtain the asymptotics of $Z_λ(Q_d)$ for $λ>\sqrt{2}-1$, and nearly matching upper and lower bounds for $λ\leq \sqrt{2}-1$, extending work of Korshunov and Sapozhenko. These bounds allow us to read off some very specific information about the structure of an independent set drawn according to the hard-core distribution. We also derive a long-range influence result. For all fixed $λ>0$, if $I$ is chosen from the independent sets of $Q_d$ according to the hard-core distribution with parameter $λ$, conditioned on a particular $v \in {\cal E}$ being in $I$, then the probability that another vertex $w$ is in $I$ is $o(1)$ for $w \in {\cal O}$ but $Ω(1)$ for $w \in {\cal E}$.
Exact distribution of the maximal height of p vicious walkers
Published in Phys. Rev. Lett. 101, 150601 (2008) • View PublicationBIB
Using path integral techniques, we compute exactly the distribution of the maximal height H_p of p nonintersecting Brownian walkers over a unit time interval in one dimension, both for excursions (p-watermelons with a wall) and bridges (p-watermelons without a wall), for all integer p\ge 1. For large p, we show that < H_p > \sim \sqrt{2p} (excursions) whereas < H_p > \sim \sqrt{p} (bridges). Our exact results prove that previous numerical experiments only measured the pre-asymptotic behaviors and not the correct asymptotic ones. In addition, our method establishes a physical connection between vicious walkers and random matrix theory.
2008-06-27 v2
Bootstrap percolation in three dimensions
Published in Annals of Probability 2009, Vol. 37, No. 4, 1329-1380 • View PublicationBIB
By bootstrap percolation we mean the following deterministic process on a graph $G$. Given a set $A$ of vertices "infected" at time 0, new vertices are subsequently infected, at each time step, if they have at least $r\in\mathbb{N}$ previously infected neighbors. When the set $A$ is chosen at random, the main aim is to determine the critical probability $p_c(G,r)$ at which percolation (infection of the entire graph) becomes likely to occur. This bootstrap process has been extensively studied on the $d$-dimensional grid $[n]^d$: with $2\leq r\leq d$ fixed, it was proved by Cerf and Cirillo (for $d=r=3$), and by Cerf and Manzo (in general), that \[p_c([n]^d,r)=Θ\biggl(\frac{1}{\log_{(r-1)}n}\biggr)^{d-r+1},\] where $\log_{(r)}$ is an $r$-times iterated logarithm. However, the exact threshold function is only known in the case $d=r=2$, where it was shown by Holroyd to be $(1+o(1))\frac{π^2}{18\log n}$. In this paper we shall determine the exact threshold in the crucial case $d=r=3$, and lay the groundwork for solving the problem for all fixed $d$ and $r$.
2008-06-26
The triangle-free process
Published • View PublicationBIB
Consider the following stochastic graph process. We begin with the empty graph on n vertices and add edges one at a time, where each edge is chosen uniformly at random from the collection of potential edges that do not form triangles when added to the graph. The process terminates at a maximal traingle-free graph. Here we analyze the triangle-free process, determining the likely order of magnitude of the number of edges in the final graph. As a corollary we show that the triangle-free process is very likely to produce a Ramsey R(3,t) graph; that is, our analysis of the triangle-free process gives a new proof of the lower bound on R(3,t) previously established by Jeong Han Kim. The techniques introduced extend to the K_4-free process thereby establishing a small improvement in the best known lower bound on the Ramsey number R(4,t).
2008-06-24 v3
What does a random contingency table look like?
Published • View PublicationBIB
Let R=(r_1, ..., r_m) and C=(c_1, ..., c_n) be positive integer vectors such that r_1 +... + r_m=c_1 +... + c_n. We consider the set Sigma(R, C) of non-negative mxn integer matrices (contingency tables) with row sums R and column sums C as a finite probability space with the uniform measure. We prove that a random table D in Sigma(R,C) is close with high probability to a particular matrix ("typical table'') Z defined as follows. We let g(x)=(x+1) ln(x+1)-x ln x for non-negative x and let g(X)=sum_ij g(x_ij) for a non-negative matrix X=(x_ij). Then g(X) is strictly concave and attains its maximum on the polytope of non-negative mxn matrices X with row sums R and column sums C at a unique point, which we call the typical table Z.
2008-06-23 v2
Duality of real and quaternionic random matrices
Published in Electronic Journal Probab. Vol. 14 (2009), Paper no. 17, pages 452--476 • View PublicationBIB
We show that quaternionic Gaussian random variables satisfy a generalization of the Wick formula for computing the expected value of products in terms of a family of graphical enumeration problems. When applied to the quaternionic Wigner and Wishart families of random matrices the result gives the duality between moments of these families and the corresponding real Wigner and Wishart families.
2008-06-22
Carries, Shuffling and An Amazing Matrix
Published • View PublicationBIB
The number of ``carries'' when $n$ random integers are added forms a Markov chain [23]. We show that this Markov chain has the same transition matrix as the descent process when a deck of $n$ cards is repeatedly riffle shuffled. This gives new results for the statistics of carries and shuffling.
2008-06-19 v2
Lower Bounds for Boxicity
Published • View PublicationBIB
An axis-parallel $b$-dimensional box is a Cartesian product $R_1\times R_2\times...\times R_b$ where $R_i$ is a closed interval of the form $[a_i,b_i]$ on the real line. For a graph $G$, its \emph{boxicity} box(G) is the minimum dimension $b$, such that $G$ is representable as the intersection graph of boxes in $b$-dimensional space. Although boxicity was introduced in 1969 and studied extensively, there are no significant results on lower bounds for boxicity. In this paper, we develop two general methods for deriving lower bounds. Applying these methods we give several results, some of which are listed below: (1) The boxicity of a graph on $n$ vertices with no universal vertices and minimum degree $δ$ is at least $n/2(n-δ-1)$. (2) Consider the $\mathcal{G}(n,p)$ model of random graphs. Let $ p \le 1- \frac{40 \log n}{n^2}$. Then, for $G \in \mathcal{G}(n,p)$, almost surely $box(G)=Ω(np(1-p))$. On setting $p=1/2$ we immediately infer that almost all graphs have boxicity $Ω(n)$. (3) Spectral lower bounds for the boxicity of $k$-regular graphs. (4) The boxicity of random $k$-regular graphs on $n$ vertices (where $k$ is fixed) is $Ω(k/\log k)$. (5) There exists a positive constant$c$ such that almost all balanced bipartite graphs on $2n$ vertices with exactly $m$ edges have boxicity at least $c m/n$, for $ m\le c' n^2/3$ for any positive constant $c' < 1$.
2008-06-13 v2
The oriented swap process
Published in Annals of Probability 2009, Vol. 37, No. 5, 1970-1998 • View PublicationBIB
Particles labelled $1,...,n$ are initially arranged in increasing order. Subsequently, each pair of neighboring particles that is currently in increasing order swaps according to a Poisson process of rate 1. We analyze the asymptotic behavior of this process as $n\to\infty$. We prove that the space--time trajectories of individual particles converge (when suitably scaled) to a certain family of random curves with two points of non-differentiability, and that the permutation matrix at a given time converges to a certain deterministic measure with absolutely continuous and singular parts. The absorbing state (where all particles are in decreasing order) is reached at time $(2+o(1))n$. The finishing times of individual particles converge to deterministic limits, with fluctuations asymptotically governed by the Tracy--Widom distribution.
2008-06-12 v3
Words Maps and Spectra of Random Graph Lifts
Published in Random Structures and Algorithms, 2010(37) 100--135 • View PublicationBIB
We begin with a new analysis of formal words. Let w be a formal word in letters g_1,...,g_k. The word map associated with w maps the permutations s_1,...,s_k in S_n to the permutation obtained by replacing for each i, every occurrence of g_i in w by s_i. We investigate the random variable X_w^n that counts the fixed points in this permutation when the s_i are selected uniformly at random. A major ingredient of our work is a new categorization of words which considerably extends the dichotomy of primitive vs. imprimitive words. We establish some results and make a few conjectures about the relation between the expectation E(X_w^n) and this new categorization. This analysis contributes deeply to our study of the spectra of random lifts of graphs. Let G be a connected graph, and let the infinite tree T be its universal cover space. If L and R are the spectral radii of G and T respectively, then, as shown by J. Friedman, for almost every n-lift H of G, all "new" eigenvalues of H are < O(L^(1/2)R^(1/2)). We improve this upper bound to O(L^(1/3)R^(2/3)), and our aforementioned conjectures suggest a possible approach to proving an upper bound of O(R). This is a generalization of the problem of bounding the second eigenvalue in a random 2d-regular graph. As an aside, we obtain a new conceptual and relatively simple proof of a theorem of A. Nica, which determines, for every fixed w, the limit distribution (as n \to \infty) of X_w^n. A surprising aspect of this theorem is that the answer depends only on the largest integer d so that w=u^d for some word u.
2008-06-09 v3
On the number of matrices and a random matrix with prescribed row and column sums and 0-1 entries
Published • View PublicationBIB
We consider the set Sigma(R,C) of all mxn matrices having 0-1 entries and prescribed row sums R=(r_1, ..., r_m) and column sums C=(c_1, ..., c_n). We prove an asymptotic estimate for the cardinality |Sigma(R, C)| via the solution to a convex optimization problem. We show that if Sigma(R, C) is sufficiently large, then a random matrix D in Sigma(R, C) sampled from the uniform probability measure in Sigma(R,C) with high probability is close to a particular matrix Z=Z(R,C) that maximizes the sum of entropies of entries among all matrices with row sums R, column sums C and entries between 0 and 1. Similar results are obtained for 0-1 matrices with prescribed row and column sums and assigned zeros in some positions.
2008-06-09
Posets and Permutations in the Duplication-Loss Model: Minimal Permutations with d Descents
Published • View PublicationBIB
In this paper, we are interested in the combinatorial analysis of the whole genome duplication - random loss model of genome rearrangement initiated in a paper of Chaudhuri, Chen, Mihaescu, and Rao in SODA 2006 and continued by Bouvel and Rossin in 2007. In this model, genomes composed of n genes are modeled by permutations of the set of integers [1..n], that can evolve through duplication-loss steps. It was previously shown that the class of permutations obtained in this model after a given number p of steps is a class of pattern-avoiding permutations of finite basis. The excluded patterns were described as the minimal permutations with d=2^p descents, minimal being intended in the sense of the pattern-involvement relation on permutations. Here, we give a local and simpler characterization of the set B_d of minimal permutations with d descents. We also provide a more detailed analysis - characterization, bijection and enumeration - of two particular subsets of B_d, namely the patterns in B_d of size d+2 and 2d.
2008-06-05
Competition between Discrete Random Variables, with Applications to Occupancy Problems
Published in J. Statistical Planning and Inference 140, 2204-2212, 2010 • View PublicationBIB
Consider $n$ players whose "scores" are independent and identically distributed values $\{X_i\}_{i=1}^n$ from some discrete distribution $F$. We pay special attention to the cases where (i) $F$ is geometric with parameter $p\to0$ and (ii) $F$ is uniform on $\{1,2,...,N\}$; the latter case clearly corresponds to the classical occupancy problem. The quantities of interest to us are, first, the $U$-statistic $W$ which counts the number of "ties" between pairs $i,j$; second, the univariate statistic $Y_r$, which counts the number of strict $r$-way ties between contestants, i.e., episodes of the form ${X_i}_1={X_i}_2=...={X_i}_r$; $X_j\ne {X_i}_1;j\ne i_1,i_2,...,i_r$; and, last but not least, the multivariate vector $Z_{AB}=(Y_A,Y_{A+1},...,Y_B)$. We provide Poisson approximations for the distributions of $W$, $Y_r$ and $Z_{AB}$ under some general conditions. New results on the joint distribution of cell counts in the occupancy problem are derived as a corollary.