arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

7100 papers tagged with this keyword
2011-02-22 v2
A Markov chain on the symmetric group which is Schubert positive?
Published • View Publication • BIB
We study a multivariate Markov chain on the symmetric group with remarkable enumerative properties. We conjecture that the stationary distribution of this Markov chain can be expressed in terms of positive sums of Schubert polynomials. This Markov chain is a multivariate generalization of a Markov chain introduced by the first author in the study of random affine Weyl group elements.
2011-02-22
High-ordered Random Walks and Generalized Laplacians on Hypergraphs
Published • View Publication • BIB
Despite of the extreme success of the spectral graph theory, there are relatively few papers applying spectral analysis to hypergraphs. Chung first introduced Laplacians for regular hypergraphs and showed some useful applications. Other researchers treated hypergraphs as weighted graphs and then studied the Laplacians of the corresponding weighted graphs. In this paper, we aim to unify these very different versions of Laplacians for hypergraphs. We introduce a set of Laplacians for hypergraphs through studying high-ordered random walks on hypergraphs. We prove the eigenvalues of these Laplacians can effectively control the mixing rate of high-ordered random walks, the generalized distances/diameters, and the edge expansions.
2011-02-22 v2
Random runners are very lonely
Suppose that $k$ runners having different constant speeds run laps on a circular track of unit length. The Lonely Runner Conjecture states that, sooner or later, any given runner will be at distance at least $1/k$ from all the other runners. We prove that, with probability tending to one, a much stronger statement holds for random sets in which the bound $1/k$ is replaced by \thinspace $1/2-\varepsilon $. The proof uses Fourier analytic methods. We also point out some consequences of our result for colouring of random integer distance graphs.
2011-02-22 v3
Effect of scale on long-range random graphs and chromosomal inversions
Published in Annals of Applied Probability 2012, Vol. 22, No. 4, 1328-1361 • View Publication • BIB
We consider bond percolation on $n$ vertices on a circle where edges are permitted between vertices whose spacing is at most some number L=L(n). We show that the resulting random graph gets a giant component when $L\gg(\log n)^2$ (when the mean degree exceeds 1) but not when $L\ll\log n$. The proof uses comparisons to branching random walks. We also consider a related process of random transpositions of $n$ particles on a circle, where transpositions only occur again if the spacing is at most $L$. Then the process exhibits the mean-field behavior described by Berestycki and Durrett if and only if L(n) tends to infinity, no matter how slowly. Thus there are regimes where the random graph has no giant component but the random walk nevertheless has a phase transition. We discuss possible relevance of these results for a dataset coming from D. repleta and D. melanogaster and for the typical length of chromosomal inversions.
Fire Containment in Planar Graphs
Published in J. Graph Theory 73(3) (2013), 267-279 • View Publication • BIB
In a graph $G$, a fire starts at some vertex. At every time step, firefighters can protect up to $k$ vertices, and then the fire spreads to all unprotected neighbours. The $k$-surviving rate $ρ_k(G)$ of $G$ is the expectation of the proportion of vertices that can be saved from the fire, if the starting vertex of the fire is chosen uniformly at random. For a given class of graphs $\cG$ we are interested in the minimum value $k$ such that $ρ_k(G)\geε$ for some constant $ε>0$ and all $G\in\cG$ i.e., such that linearly many vertices are expected to be saved in every graph from $\cG$). In this note, we prove that for planar graphs this minimum value is at most 4, and that it is precisely 2 for triangle-free planar graphs.
The decimation process in random k-SAT
Published in SIAM Journal on Discrete Mathematics 26 (2012) 1471 - 1509 • View Publication • BIB
Let F be a uniformly distributed random k-SAT formula with n variables and m clauses. Non-rigorous statistical mechanics ideas have inspired a message passing algorithm called Belief Propagation Guided Decimation for finding satisfying assignments of F. This algorithm can be viewed as an attempt at implementing a certain thought experiment that we call the Decimation Process. In this paper we identify a variety of phase transitions in the decimation process and link these phase transitions to the performance of the algorithm.
Longest cycles in sparse random digraphs
Published • View Publication • BIB
Long paths and cycles in sparse random graphs and digraphs were studied intensively in the 1980's. It was finally shown by Frieze in 1986 that the random graph $\cG(n,p)$ with $p=c/n$ has a cycle on at all but at most $(1+ε)ce^{-c}n$ vertices with high probability, where $ε=ε(c)\to 0$ as $c\to\infty$. This estimate on the number of uncovered vertices is essentially tight due to vertices of degree 1. However, for the random digraph $\cD(n,p)$ no tight result was known and the best estimate was a factor of $c/2$ away from the corresponding lower bound. In this work we close this gap and show that the random digraph $\cD(n,p)$ with $p=c/n$ has a cycle containing all but $(2+ε)e^{-c}n$ vertices w.h.p., where $ε=ε(c)\to 0$ as $c\to\infty$. This is essentially tight since w.h.p. such a random digraph contains $(2e^{-c}-o(1))n$ vertices with zero in-degree or out-degree.
2011-02-14
Interval graph limits
Published • View Publication • BIB
We work out the graph limit theory for dense interval graphs. The theory developed departs from the usual description of a graph limit as a symmetric function $W(x,y)$ on the unit square, with $x$ and $y$ uniform on the interval $(0,1)$. Instead, we fix a $W$ and change the underlying distribution of the coordinates $x$ and $y$. We find choices such that our limits are continuous. Connections to random interval graphs are given, including some examples. We also show a continuity result for the chromatic number and clique number of interval graphs. Some results on uniqueness of the limit description are given for general graph limits.
2011-02-14
Contingency tables with uniformly bounded entries
We consider nonnegative integer matrices with specified row and column sums and upper bounds on the entries. We show that the logarithm of the number of such matrices is approximated by a concave function of the row and column sums. We give efficiently computable estimators for this function, including one suggested by a maximum-entropy random model; we show that these estimators are asymptotically exact as the dimension of the matrices goes to infinity. We finish by showing that, for kappa >= 2 and for sufficiently small row and column sums, the number of matrices with these row and column sums and with entries <= kappa is greater by an exponential factor than predicted by a heuristic of independence.
2011-02-13 v3
Graver basis for an undirected graph and its application to testing the beta model of random graphs
Published in Annals of the Institute of Statistical Mathematics 65 (2013) 191-212 • View Publication • BIB
In this paper we give an explicit and algorithmic description of Graver basis for the toric ideal associated with a simple undirected graph and apply the basis for testing the beta model of random graphs by Markov chain Monte Carlo method.
2011-02-12 v3
The total path length of split trees
Published in Annals of Applied Probability 2012, Vol. 22, No. 5, 1745-1777 • View Publication • BIB
We consider the model of random trees introduced by Devroye [SIAM J. Comput. 28 (1999) 409-432]. The model encompasses many important randomized algorithms and data structures. The pieces of data (items) are stored in a randomized fashion in the nodes of a tree. The total path length (sum of depths of the items) is a natural measure of the efficiency of the algorithm/data structure. Using renewal theory, we prove convergence in distribution of the total path length toward a distribution characterized uniquely by a fixed point equation. Our result covers, using a unified approach, many data structures such as binary search trees, m-ary search trees, quad trees, median-of-(2k+1) trees, and simplex trees.
2011-02-11 v2
Spectra of Symmetrized Shuffling Operators
(Abridged abstract) For a finite real reflection group W and a W-orbit O of flats in its reflection arrangement---or equivalently a conjugacy class of its parabolic subgroups---we introduce a statistic on elements of W. We then study the operator of right-multiplication within the group algebra of W by the element whose coefficients are given by this statistic. We reinterpret the operators geometrically in terms of the arrangement of reflecting hyperplanes for W. We show that they are self-adjoint and positive semidefinite. via two explicit factorizations into a symmetrized form A^t A. In one such factorization, A is a generalization of the projection of a simplex onto the linear ordering polytope. In the other factorization, A is the transition matrix for one of the well-studied Bidigare-Hanlon-Rockmore random walks on the chambers of an arrangement. We study the family of operators in which O is the conjugacy classes of Young subgroups of type (k,1^{n-k}). A special case within this family is the operator corresponding to random-to-random shuffling. We show in a purely enumerative fashion that these operators pairwise commute. We furthermore conjecture that they have integer spectrum, generalizing a conjecture of Uyemura-Reyes for the case k=n-1. We use representation theory to show that if O is a conjugacy class of rank one parabolics in W, the corresponding operator has integer spectrum. Our proof makes use of an (apparently) new family of twisted Gelfand pairs for W. We also study the family of operators in which O is the conjugacy classes of Young subgroups of type (2^k,1^{n-2k}). Here the construction of a Gelfand model for the symmetric group shows that these operators pairwise commute and that they have integer spectrum. For the symmetric group, we conjecture that apart from the two commuting families above, no other pair of operators of this form commutes.
2011-02-08 v2
On the least singular value of random symmetric matrices
Published • View Publication • BIB
Let $F_n$ be an $n$ by $n$ symmetric matrix whose entries are bounded by $n^γ$ for some $γ>0$. Consider a randomly perturbed matrix $M_n=F_n+X_n$, where $X_n$ is a random symmetric matrix whose upper diagonal entries $x_{ij}$ are iid copies of a random variable $ξ$. Under a very general assumption on $ξ$, we show that for any $B>0$ there exists $A>0$ such that $P(σ_n(M_n)\le n^{-A})\le n^{-B}$. The proof uses an inverse-type result concerning concentration of quadratic forms, which is of interest of its own.
2011-02-08
Packing tight Hamilton cycles in uniform hypergraphs
Published • View Publication • BIB
We say that a $k$-uniform hypergraph $C$ is a Hamilton cycle of type $\ell$, for some $1\le \ell \le k$, if there exists a cyclic ordering of the vertices of $C$ such that every edge consists of $k$ consecutive vertices and for every pair of consecutive edges $E_{i-1},E_i$ in $C$ (in the natural ordering of the edges) we have $|E_{i-1}\setminus E_i|=\ell$. We define a class of $(\e,p)$-regular hypergraphs, that includes random hypergraphs, for which we can prove the existence of a decomposition of almost all edges into type $\ell$ Hamilton cycles, where $\ell<k/2$.
2011-02-07 v2
Reachability and recurrence in a modular generalization of annihilating random walks (and lights-out games) on hypergraphs
Published • View Publication • BIB
We study a dynamical system motivated by our earlier work on the statistical physics of social balance on graphs that can be viewed as a generalization of annihilating walks along two directions: first, the interaction topology is a hypergraph; second, the ``number of particles`` at a vertex of the hypergraph is an element of a finite field ${\bf Z}_{p}$ of integers modulo $p$, $p\geq 3$. Equivalently, particles move on a hypergraph, with a moving particle at a vertex being replaced by one indistinguishable copy at each neighbor in a given hyperedge; particles at a vertex collectively annihilate when their number reaches $p$. The system we study can also be regarded as a natural generalization of certain lights-out games to finite fields and hypergraph topologies. Our result shows that under a liberal sufficient condition on the nature of the interaction hypergraph there exists a polynomial time algorithm (based on linear algebra over ${\bf Z}_{p}$) for deciding reachability and recurrence of this dynamical system. Interestingly, we provide a counterexample that shows that this connection does not extend to all graphs.
2011-02-04 v3
On explosions in heavy-tailed branching random walks
Published in Annals of Probability 2013, Vol. 41, No. 3B, 1864-1899 • View Publication • BIB
Consider a branching random walk on $\mathbb{R}$, with offspring distribution Z and nonnegative displacement distribution W. We say that explosion occurs if an infinite number of particles may be found within a finite distance of the origin. In this paper, we investigate this phenomenon when the offspring distribution Z is heavy-tailed. Under an appropriate condition, we are able to characterize the pairs (Z, W) for which explosion occurs, by demonstrating the equivalence of explosion with a seemingly much weaker event: that the sum over generations of the minimum displacement in each generation is finite. Furthermore, we demonstrate that our condition on the tail is best possible for this equivalence to occur. We also investigate, under additional smoothness assumptions, the behavior of $M_n$, the position of the particle in generation n closest to the origin, when explosion does not occur (and hence $\lim_{n\rightarrow\infty}M_n=\infty$).
2011-02-03
On the norm of the $q$-circular operator
The $q$-commutation relations, formulated in the setting of the $q$-Fock space of Bożjeko and Speicher, interpolate between the classical commutation relations (CCR) and the classical anti-commutation relations (CAR) defined on the classical bosonic and fermionic Fock spaces, respectively. Interpreting the $q$-Fock space as an algebra of "random variables" exhibiting a specific commutativity structure, one can construct the so-called $q$-semicircular and $q$-circular operators acting as $q$-deformations of the classical Gaussian and complex Gaussian random variables, respectively. While the $q$-semicircular operator is generally well understood, many basic properties of the $q$-circular operator (in particular, a tractable expression for its norm) remain elusive. Inspired by the combinatorial approach to free probability, we revist the combinatorial formulations of these operators. We point out that a finite alternating-sum expression for $2n$-norm of the $q$-semicircular is available via generating functions of chord-crossing diagrams developed by Touchard in the 1950s and distilled by Riordan in 1974. Extending these norms as a function in $q$ onto the complex unit ball and taking the $n\to\infty$ limit, we recover the familiar expression for the norm of the $q$-semicircular and show that the convergence is uniform on the compact subsets of the unit ball. In contrast, the $2n$-norms of the $q$-circular are encoded by chord-crossing diagrams that are parity-reversing, which have not yet been characterized in the combinatorial literature. We derive certain combinatorial properties of these objects, including closed-form expressions for the number of such diagrams of any size with up to eleven crossings. These properties enable us to conclude that the $2n$-norms of the $q$-circular operator are significantly less well behaved than those of the $q$-semicircular operator.
2011-02-02
Motzkin numbers out of Random Domino Automaton
Published in Physics Letters A 376 (2012), pp. 3098-3100 • View Publication • BIB
Motzkin numbers are derived from a special case of Random Domino Automaton - recently proposed toy model of earthquakes. An exact solution of the set of equations describing stationary state of Random Domino Automaton in "inverse-power" case is presented. A link with Motzkin numbers allows to present explicit form of asymptotic behaviour of the automaton.
2011-01-31 v3
On the chromatic number of random geometric graphs
Published in Combinatorica, Volume 31 (2011), Number 4, Pages 423-488 • View Publication • BIB
Given independent random points $X_1,...,X_n\in\eR^d$ with common probability distribution $ν$, and a positive distance $r=r(n)>0$, we construct a random geometric graph $G_n$ with vertex set $\{1,...,n\}$ where distinct $i$ and $j$ are adjacent when $\norm{X_i-X_j}\leq r$. Here $\norm{.}$ may be any norm on $\eR^d$, and $ν$ may be any probability distribution on $\eR^d$ with a bounded density function. We consider the chromatic number $χ(G_n)$ of $G_n$ and its relation to the clique number $ω(G_n)$ as $n \to \infty$. Both McDiarmid and Penrose considered the range of $r$ when $r \ll (\frac{\ln n}{n})^{1/d}$ and the range when $r \gg (\frac{\ln n}{n})^{1/d}$, and their results showed a dramatic difference between these two cases. Here we sharpen and extend the earlier results, and in particular we consider the `phase change' range when $r \sim (\frac{t\ln n}{n})^{1/d}$ with $t>0$ a fixed constant. Both McDiarmid and Penrose asked for the behaviour of the chromatic number in this range. We determine constants $c(t)$ such that $\frac{χ(G_n)}{nr^d}\to c(t)$ almost surely. Further, we find a "sharp threshold" (except for less interesting choices of the norm when the unit ball tiles $d$-space): there is a constant $t_0>0$ such that if $t \leq t_0$ then $\frac{χ(G_n)}{ω(G_n)}$ tends to 1 almost surely, but if $t > t_0$ then $\frac{χ(G_n)}{ω(G_n)}$ tends to a limit $>1$ almost surely.
2011-01-28 v2
Quasi-random oriented graphs
Published • View Publication • BIB
We show that a number of conditions on oriented graphs, all of which are satisfied with high probability by randomly oriented graphs, are equivalent. These equivalences are similar to those given by Chung, Graham and Wilson in the case of unoriented graphs, and by Chung and Graham in the case of tournaments. Indeed, our main theorem extends to the case of a general underlying graph G the main result of Chung and Graham which corresponds to the case that G is complete. One interesting aspect of these results is that exactly two of the four orientations of a four-cycle can be used for a quasi-randomness condition, i.e., if the number of appearances they make in D is close to the expected number in a random orientation of the same underlying graph, then the same is true for every small oriented graph H