arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

7100 papers tagged with this keyword
2008-03-12
Two remarks on the Burr-Erdos conjecture
Published • View Publication • BIB
The Ramsey number r(H) of a graph H is the minimum positive integer N such that every two-coloring of the edges of the complete graph K_N on N vertices contains a monochromatic copy of H. A graph H is d-degenerate if every subgraph of H has minimum degree at most d. Burr and Erdős in 1975 conjectured that for each positive integer d there is a constant c_d such that r(H) \leq c_dn for every d-degenerate graph H on n vertices. We show that for such graphs r(H) \leq 2^{c_d\sqrt{\log n}}n, improving on an earlier bound of Kostochka and Sudakov. We also study Ramsey numbers of random graphs, showing that for d fixed, almost surely the random graph G(n,d/n) has Ramsey number linear in n. For random bipartite graphs, our proof gives nearly tight bounds.
2008-03-08 v2
Testing properties of graphs and functions
We define an analytic version of the graph property testing problem, which can be formulated as studying an unknown 2-variable symmetric function through sampling from its domain and studying the random graph obtained when using the function values as edge probabilities. We give a characterization of properties testable this way, and extend a number of results about ``large graphs'' to this setting. These results can be applied to the original graph-theoretic property testing.
2008-03-07
Plane recursive trees, Stirling permutations and an urn model
Published • View Publication • BIB
We exploit a bijection between plane recursive trees and Stirling permutations; this yields the equivalence of some results previously proven separately by different methods for the two types of objects as well as some new results. We also prove results on the joint distribution of the numbers of ascents, descents and plateaux in a random Stirling permutation. The proof uses an interesting generalized Polya urn
Counting Defective Parking Functions
Published • View Publication • BIB
Suppose that $n$ drivers each choose a preferred parking space in a linear car park with $m$ spaces. Each driver goes to the chosen space and parks there if it is free, and otherwise takes the first available space with larger number (if any). If all drivers park successfully, the sequence of choices is called a parking function. In general, if $k$ drivers fail to park, we have a \emph{defective parking function} of \emph{defect} $k$. Let $\cp(n,m,k)$ be the number of such functions. In this paper, we establish a recurrence relation for the numbers $\cp(n,m,k)$, and express this as an equation for a three-variable generating function. We solve this equation using the kernel method, and extract the coefficients explicitly: it turns out that the cumulative totals are partial sums in Abel's binomial identity. Finally, we compute the asymptotics of $\cp(n,m,k)$. In particular, for the case $m=n$, if choices are made independently at random, the limiting distribution of the defect (the number of drivers who fail to park), scaled by the square root of $n$, is the Rayleigh distribution. On the other hand, in case $m=ω(n)$, the probability that all spaces are occupied tends asymptotically to one.
2008-03-02 v3
How to Play Dundee
We consider the following one-player game called Dundee. We are given a deck consisting of s_i cards of Value i, where i=1,...,v, and an integer m\le s_1+...+s_v. There are m rounds. In each round, the player names a number between 1 and v and draws a random card from the deck. The player loses if the named number coincides with the drawn value in at least one round. The famous Problem of Thirteen, proposed by Monmort in 1708, asks for the probability of winning in the case when v=13, s_1=...=s_{13}=4, m=13, and the player names the sequence 1,...,13. This problem and its various generalizations were studied by numerous mathematicians, including J. and N. Bernoulli, De Moivre, Euler, Catalan, and others. However, it seems that nobody has considered which strategies of the player maximize the probability of winning. We study two variants of this problem. In the first variant, the player's bid in Round i may depend on the values of the random cards drawn in the previous rounds. We completely solve this version. In the second variant, the player has to specify the whole sequence of m bids in advance, before turning any cards. We are able to solve this problem when s_1=...=s_v and m is arbitrary.
2008-02-26 v2
Connectedness in graph limits
We define direct sums and a corresponding notion of connectedness for graph limits. Every graph limit has a unique decomposition as a direct sum of connected components. As is well-known, graph limits may be represented by symmetric functions on a probability space; there are natural definitions of direct sums and connectedness for such functions, and there is a perfect correspondence with the corresponding properties of the graph limit. Similarly, every graph limit determines an infinite random graph, which is a.s. connected if and only if the graph limit is connected. There are also characterizations in terms of the asymptotic size of the largest component in the corresponding finite random graphs, and of minimal cuts in sequences of graphs converging to a given limit.
2008-02-19
Odd Entries in Pascal's Trinomial Triangle
The nth row of Pascal's trinomial triangle gives coefficients of (1+x+x^2)^n. Let g(n) denote the number of such coefficients that are odd. We review Moshe's algorithm for evaluating asymptotics of g(n) -- this involves computing the Lyapunov exponent for certain 2x2 random matrix products -- and then analyze further examples with more terms and higher powers of x.
2008-02-13
Markovian embeddings of general random strings
Published in 2008 Proceedings of the Fourth Workshop on Analytic Algorithmics and Combinatorics (ANALCO) • View Publication • BIB
Let A be a finite set and X a sequence of A-valued random variables. We do not assume any particular correlation structure between these random variables; in particular, X may be a non-Markovian sequence. An adapted embedding of X is a sequence of the form R(X_1), R(X_1,X_2), R(X_1,X_2,X_3), etc where R is a transformation defined over finite length sequences. In this extended abstract we characterize a wide class of adapted embeddings of X that result in a first-order homogeneous Markov chain. We show that any transformation R has a unique coarsest refinement R' in this class such that R'(X_1), R'(X_1,X_2), R'(X_1,X_2,X_3), etc is Markovian. (By refinement we mean that R'(u)=R'(v) implies R(u)=R(v), and by coarsest refinement we mean that R' is a deterministic function of any other refinement of R in our class of transformations.) We propose a specific embedding that we denote as R^X which is particularly amenable for analyzing the occurrence of patterns described by regular expressions in X. A toy example of a non-Markovian sequence of 0's and 1's is analyzed thoroughly: discrete asymptotic distributions are established for the number of occurrences of a certain regular pattern in X_1,...,X_n, as n tends to infinity, whereas a Gaussian asymptotic distribution is shown to apply for another regular pattern.
2008-02-12
Asymptotic equivalence and contiguity of some random graphs
Published • View Publication • BIB
We show that asymptotic equivalence, in a strong form, holds between two random graph models with slightly differing edge probabilities under substantially weaker conditions than what might naively be expected. One application is a simple proof of a recent result by van den Esker, van der Hofstad and Hooghiemstra on the equivalence between graph distances for some random graph models.
Ascending runs in dependent uniformly distributed random variables: Application to wireless networks
Published • View Publication • BIB
We analyze in this paper the longest increasing contiguous sequence or maximal ascending run of random variables with common uniform distribution but not independent. Their dependence is characterized by the fact that two successive random variables cannot take the same value. Using a Markov chain approach, we study the distribution of the maximal ascending run and we develop an algorithm to compute it. This problem comes from the analysis of several self-organizing protocols designed for large-scale wireless sensor networks, and we show how our results apply to this domain.
2008-02-05
On the Distribution of the Domination Number of a New Family of Parametrized Random Digraphs
Published in Model Assisted Statistics and Applications (2007), 1(4):231-255 • View Publication • BIB
We derive the asymptotic distribution of the domination number of a new family of random digraph called proximity catch digraph (PCD), which has application to statistical testing of spatial point patterns and to pattern recognition. The PCD we use is a parametrized digraph based on two sets of points on the plane, where sample size and locations of the elements of one is held fixed, while the sample size of the other whose elements are randomly distributed over a region of interest goes to infinity. PCDs are constructed based on the relative allocation of the random set of points with respect to the Delaunay triangulation of the other set whose size and locations are fixed. We introduce various auxiliary tools and concepts for the derivation of the asymptotic distribution. We investigate these concepts in one Delaunay triangle on the plane, and then extend them to the multiple triangle case. The methods are illustrated for planar data, but are applicable in higher dimensions also.
2008-01-28
Symmetric and Asymptotically Symmetric Permutations
We consider two related problems arising from a question of R. Graham on quasirandom phenomena in permutation patterns. A ``pattern'' in a permutation $σ$ is the order type of the restriction of $σ: [n] \to [n]$ to a subset $S \subset [n]$. First, is it possible for the pattern counts in a permutation to be exactly equal to their expected values under a uniform distribution? Attempts to address this question lead naturally to an interesting number theoretic problem: when does $k!$ divide $\binom{n}{k}$? Second, if the tensor product of a permutation with large random permutations is random-like in its pattern counts, what must the pattern counts of the original permutation be? A recursive formula is proved which uses a certain permutation ``contraction.''
2008-01-16
A variant of the tandem duplication - random loss model of genome rearrangement
Published in Theoretical Computer Science 410, 8-10 (2009) • View Publication • BIB
In Soda'06, Chaudhuri, Chen, Mihaescu and Rao study algorithmic properties of the tandem duplication - random loss model of genome rearrangement, well-known in evolutionary biology. In their model, the cost of one step of duplication-loss of width k is $α^k$ for $α=1$ or $α>=2 $. In this paper, we study a variant of this model, where the cost of one step of width $k$ is 1 if $k <= K$ and $\infty$ if $k > K$, for any value of the parameter $K in N$. We first show that permutations obtained after $p$ steps of width $K$ define classes of pattern-avoiding permutations. We also compute the numbers of duplication-loss steps of width $K$ necessary and sufficient to obtain any permutation of $S_n$, in the worst case and on average. In this second part, we may also consider the case $K=K(n)$, a function of the size $n$ of the permutation on which the duplication-loss operations are performed.
The Lexicographic First Occurrence of a I-II-III pattern
Published in Lecture Notes of the London Mathematical Society 376, 213-219, 2010 • View Publication • BIB
Consider a random permutation $π\in{\cal S}_n$. In this paper, perhaps best classified as a contribution to discrete probability distribution theory, we study the {\it first} occurrence $X=X_n$ of a I-II-III-pattern, where "first" is interpreted in the lexicographic order induced by the 3-subsets of $[n]=\{1,2,...,n\}$. Of course if the permutation is I-II-III-avoiding then the first I-II-III-pattern never occurs, and thus $\e(X)=\infty$ for each $n$; to avoid this case, we also study the first occurrence of a I-II-III-pattern given a bijection $f:{\bf Z}^+\to{\bf Z}^+$.
2008-01-10 v2
Random subgraphs of the 2D Hamming graph: the supercritical phase
Published • View Publication • BIB
We study random subgraphs of the 2-dimensional Hamming graph H(2,n), which is the Cartesian product of two complete graphs on $n$ vertices. Let $p$ be the edge probability, and write $p=\frac{1+\vep}{2(n-1)}$ for some $\vep\in \R$. In Borgs et al., Random subgraphs of finite graphs: I. The scaling window under the triangle condition, Rand. Struct. Alg. (2005), and in Borgs et al., Random subgraphs of finite graphs: II. The lace expansion and the triangle condition, Ann. Probab. (2005), the size of the largest connected component was estimated precisely for a large class of graphs including H(2,n) for $\vep\leq ΛV^{-1/3}$, where $Λ> 0$ is a constant and $V=n^2$ denotes the number of vertices in H(2,n). Until now, no matching lower bound on the size in the supercritical regime has been obtained. In this paper we prove that, when $\vep\gg (\log{V})^{1/3} V^{-1/3}$, then the largest connected component has size close to $2\vep V$ with high probability. We thus obtain a law of large numbers for the largest connected component size, and show that the corresponding values of $p$ are supercritical. Barring the factor $(\log{\chs{V}})^{1/3}$, this identifies the size of the largest connected component all the way down to the critical $p$ window.
The second largest component in the supercritical 2D Hamming graph
Published • View Publication • BIB
The 2-dimensional Hamming graph H(2,n) consists of the $n^2$ vertices $(i,j)$, $1\leq i,j\leq n$, two vertices being adjacent when they share a common coordinate. We examine random subgraphs of H(2,n) in percolation with edge probability $p$, so that the average degree $2(n-1)p=1+ε$. Previous work by van der Hofstad and Luczak had shown that in the barely supercritical region $n^{-2/3}\ln^{1/3}n\ll ε\ll 1$ the largest component has size $\sim 2εn$. Here we show that the second largest component has size close to $ε^{-2}$, so that the dominant component has emerged. This result also suggests that a {\it discrete duality principle} might hold, whereby, after removing the largest connected component in the supercritical regime, the remaining random subgraphs behave as in the subcritical regime.
2008-01-10
A geometric preferential attachment model with fitness
We study a random graph $G_n$, which combines aspects of geometric random graphs and preferential attachment. The resulting random graphs have power-law degree sequences with finite mean and possibly infinite variance. In particular, the power-law exponent can be any value larger than 2. The vertices of $G_n$ are $n$ sequentially generated vertices chosen at random in the unit sphere in $\mathbb R^3$. A newly added vertex has $m$ edges attached to it and the endpoints of these edges are connected to old vertices or to the added vertex itself. The vertices are chosen with probability proportional to their current degree plus some initial attractiveness and multiplied by a function, depending on the geometry.
2008-01-10 v3
On exchangeable random variables and the statistics of large graphs and hypergraphs
Published in Probability Surveys 2008, Vol. 5, 80-145 • View Publication • BIB
De Finetti's classical result of [18] identifying the law of an exchangeable family of random variables as a mixture of i.i.d. laws was extended to structure theorems for more complex notions of exchangeability by Aldous [1,2,3], Hoover [41,42], Kallenberg [44] and Kingman [47]. On the other hand, such exchangeable laws were first related to questions from combinatorics in an independent analysis by Fremlin and Talagrand [29], and again more recently in Tao [62], where they appear as a natural proxy for the `leading order statistics' of colourings of large graphs or hypergraphs. Moreover, this relation appears implicitly in the study of various more bespoke formalisms for handling `limit objects' of sequences of dense graphs or hypergraphs in a number of recent works, including Lovász and Szegedy [52], Borgs, Chayes, Lovász, Sós, Szegedy and Vesztergombi [17], Elek and Szegedy [24] and Razborov [54,55]. However, the connection between these works and the earlier probabilistic structural results seems to have gone largely unappreciated. In this survey we recall the basic results of the theory of exchangeable laws, and then explain the probabilistic versions of various interesting questions from graph and hypergraph theory that their connection motivates (particularly extremal questions on the testability of properties for graphs and hypergraphs). We also locate the notions of exchangeability of interest to us in the context of other classes of probability measures subject to various symmetries, in particular contrasting the methods employed to analyze exchangeable laws with related structural results in ergodic theory, particular the Furstenberg-Zimmer structure theorem for probability-preserving $\mathbb {Z}$-systems, which underpins Furstenberg's ergodic-theoretic proof of Szemerédi's Theorem. The forthcoming paper [10]--hereditarytest will make a much more elaborate appeal to the link between exchangeable laws and dense (directed) hypergraphs to establish various results in property testing.
2008-01-08 v3
Balanced routing of random calls
Published in Annals of Applied Probability 2015, Vol. 25, No. 3, 1279-1324 • View Publication • BIB
We consider an online network routing problem in continuous time, where calls have Poisson arrivals and exponential durations. The first-fit dynamic alternative routing algorithm sequentially selects up to $d$ random two-link routes between the two endpoints of a call, via an intermediate node, and assigns the call to the first route with spare capacity on each link, if there is such a route. The balanced dynamic alternative routing algorithm simultaneously selects $d$ random two-link routes, and the call is accepted on a route minimising the maximum of the loads on its two links, provided neither of these two links is saturated. We determine the capacities needed for these algorithms to route calls successfully and find that the balanced algorithm requires a much smaller capacity. In order to handle such interacting random processes on networks, we develop appropriate tools such as lemmas on biased random walks.
2007-12-28
Limit Theorems for Internal Aggregation Models
We study the scaling limits of three different aggregation models on the integer lattice Z^d: internal DLA, in which particles perform random walks until reaching an unoccupied site; the rotor-router model, in which particles perform deterministic analogues of random walks; and the divisible sandpile, in which each site distributes its excess mass equally among its neighbors. As the lattice spacing tends to zero, all three models are found to have the same scaling limit, which we describe as the solution to a certain PDE free boundary problem in R^d. In particular, internal DLA has a deterministic scaling limit. We find that the scaling limits are quadrature domains, which have arisen independently in many fields such as potential theory and fluid dynamics. Our results apply both to the case of multiple point sources and to the Diaconis-Fulton smash sum of domains. In the special case when all particles start at a single site, we show that the scaling limit is a Euclidean ball in R^d, and give quantitative bounds on the rate of convergence to a ball. We also improve on the previously best known bounds of Le Borgne and Rossin in Z^2 and Fey and Redig in higher dimensions for the shape of the classical abelian sandpile model. Lastly, we study the sandpile group of a regular tree whose leaves are collapsed to a single sink vertex, and determine the decomposition of the full sandpile group as a product of cyclic groups. For the regular ternary tree of height n, for example, the sandpile group is isomorphic to (Z_3)^{2^{n-3}} x (Z_7)^{2^{n-4}} x ... x Z_{2^{n-1}-1} x Z_{2^n-1}. We use this result to prove that rotor-router aggregation on the regular tree yields a perfect ball.