arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

7100 papers tagged with this keyword
2008-09-12 v3
Hall-Littlewood plane partitions and KP
Published in Int.Math.Res.Not.2009:2597-2619,2009 • View Publication • BIB
MacMahon's classic generating function of random plane partitions, which is related to Schur polynomials, was recently extended by Vuletic to a generating function of weighted plane partitions that is related to Hall-Littlewood polynomials, S(t), and further to one related to Macdonald polynomials, S(t,q). Using Jing's 1-parameter deformation of charged free fermions, we obtain a Fock space derivation of the Hall-Littlewood extension. Confining the plane partitions to a finite s-by-s square base, we show that the resulting generating function, S_{s-by-s}(t), is an evaluation of a tau-function of KP.
2008-09-12 v2
A Computation of the Expected Number of Posts in a Finite Random Graph Order
A random graph order is a partial order achieved by independently sprinkling relations on a vertex set (each with probability $p$) and adding relations to satisfy the requirement of transitivity. A \textit{post} is an element in a partially ordered set which is related to every other element. Alon et al.\ \cite{Alon} proved a result for the average number of posts among the elements $\{1,2,...,n\}$ in a random graph order on $\mathbb{Z}$. We refine this result by providing an expression for the average number of posts in a random graph order on $\{1,2,...,n\}$, thereby quantifying the edge effects associated with the elements $\mathbb{Z}\backslash\{1,2,...,n\}$. Specifically, we prove that the expected number of posts in a random graph order of size $n$ is asymptotically linear in $n$ with a positive $y$-intercept. The error associated with this approximation decreases monotonically and rapidly in $n$, permitting accurate computation of the expected number of posts for any $n$ and $p$. We also prove, as a lemma, a bound on the difference between the Euler function and its partial products that may be of interest in its own right.
2008-09-01 v2
Some Hecke Algebra Products and Corresponding Random Walks
Published • View Publication • BIB
Let $\bm{i}=1+q+...+q^{i-1}$. For certain sequences $(r_1,...,r_l)$ of positive integers, we show that in the Hecke algebra $\mathscr{H}_n(q)$ of the symmetric group $\mathfrak{S}_n$, the product $(1+\bm{r_1}T_{r_1})... (1+\bm{r_l}T_{r_l})$ has a simple explicit expansion in terms of the standard basis $\{T_w\}$. An interpretation is given in terms of random walks on $\mathfrak{S}_n$.
The longest minimum-weight path in a complete graph
Published • View Publication • BIB
We consider the minimum-weight path between any pair of nodes of the n-vertex complete graph in which the weights of the edges are i.i.d. exponentially distributed random variables. We show that the longest of these minimum-weight paths has about α^* \log n$ edges where α^* ~ 3.5911 is the unique solution of the equation $alpha log(alpha) - α=1. This answers a question posed by Janson (1999).
The t-stability number of a random graph
Published in Electron. J. Combin. 17 (2010), #R59 • View Publication • BIB
Given a graph G = (V,E), a vertex subset S is called t-stable (or t-dependent) if the subgraph G[S] induced on S has maximum degree at most t. The t-stability number of G is the maximum order of a t-stable set in G. We investigate the typical values that this parameter takes on a random graph on n vertices and edge probability equal to p. For any fixed 0 < p < 1 and fixed non-negative integer t, we show that, with probability tending to 1 as n grows, the t-stability number takes on at most two values which we identify as functions of t, p and n. The main tool we use is an asymptotic expression for the expected number of t-stable sets of order k. We derive this expression by performing a precise count of the number of graphs on k vertices that have maximum degree at most k. Using the above results, we also obtain asymptotic bounds on the t-improper chromatic number of a random graph (this is the generalisation of the chromatic number, where we partition of the vertex set of the graph into t-stable sets).
2008-08-29 v3
The diameter of sparse random graphs
Published in Combinatorics, Probability and Computing 19 (2010), 835--926 • View Publication • BIB
In this paper we study the diameter of the random graph $G(n,p)$, i.e., the the largest finite distance between two vertices, for a wide range of functions $p=p(n)$. For $p=\la/n$ with $\la>1$ constant, we give a simple proof of an essentially best possible result, with an $O_p(1)$ additive correction term. Using similar techniques, we establish 2-point concentration in the case that $np\to\infty$. For $p=(1+ε)/n$ with $ε\to 0$, we obtain a corresponding result that applies all the way down to the scaling window of the phase transition, with an $O_p(1/ε)$ additive correction term whose (appropriately scaled) limiting distribution we describe. Combined with earlier results, our new results complete the determination of the diameter of the random graph $G(n,p)$ to an accuracy of the order of its standard deviation (or better), for all functions $p=p(n)$. Throughout we use branching process methods, rather than the more common approach of separate analysis of the 2-core and the trees attached to it.
Regular induced subgraphs of a random graph
Published • View Publication • BIB
An old problem of Erdős, Fajtlowicz and Staton asks for the order of a largest induced regular subgraph that can be found in every graph on n vertices. Motivated by this problem, we consider the order of such a subgraph in a typical graph on n vertices, i.e., in a binomial random graph G(n,1/2). We prove that with high probability a largest induced regular subgraph of G(n,1/2) has about n^{2/3} vertices.
2008-08-12
Finding cores of random 2-SAT formulae via Poisson cloning
For the random 2-SAT formula $F(n,p)$, let $F_C (n,p)$ be the formula left after the pure literal algorithm applied to $F(n,p)$ stops. Using the recently developed Poisson cloning model together with the cut-off line algorithm (COLA), we completely analyze the structure of $F_{C} (n,p)$. In particular, it is shown that, for $\gl:= p(2n-1) = 1+\gs $ with $\gs\gg n^{-1/3}$, the core of $F(n,p)$ has $\thl^2 n +O((\thl n)^{1/2})$ variables and $\thl^2 \gl n+O((\thl n))^{1/2}$ clauses, with high probability, where $\thl$ is the larger solution of the equation $þ- (1-e^{-\thl \gl})=0$. We also estimate the probability of $F(n,p)$ being satisfiable to obtain $$ \pr[ F_2(n, \sfrac{\gl}{2n-1}) is satisfiable ] = \caseth{1-\frac{1+o(1)}{16\gs^3 n}}{if $\gl= 1-\gs$ with $\gs\gg n^{-1/3}$}{}{}{e^{-Θ(\gs^3n)}}{if $\gl=1+\gs$ with $\gs\gg n^{-1/3}$,} $$ where $o(1)$ goes to 0 as $\gs$ goes to 0. This improves the bounds of Bollobás et al. \cite{BBCKW}.
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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.