random
7100 papers tagged with this keyword
Topology of random clique complexes
Published in Discrete Math. 309 (2009), no. 6, 1658--1671
• View Publication
• BIB
In a seminal paper, Erdos and Renyi identified the threshold for connectivity of the random graph G(n,p). In particular, they showed that if p >> log(n)/n then G(n,p) is almost always connected, and if p << log(n)/n then G(n,p) is almost always disconnected, as n goes to infinity.
The clique complex X(H) of a graph H is the simplicial complex with all complete subgraphs of H as its faces. In contrast to the zeroth homology group of X(H), which measures the number of connected components of H, the higher dimensional homology groups of X(H) do not correspond to monotone graph properties. There are nevertheless higher dimensional analogues of the Erdos-Renyi Theorem.
We study here the higher homology groups of X(G(n,p)). For k > 0 we show the following. If p = n^alpha, with alpha < -1/k or alpha > - 1/(2k+1), then the kth homology group of X(G(n,p)) is almost always vanishing, and if -1/k < alpha < -1/(k+1), then it is almost always nonvanishing.
We also give estimates for the expected rank of homology, and exhibit explicit nontrivial classes in the nonvanishing regime. These estimates suggest that almost all d-dimensional clique complexes have only one nonvanishing dimension of homology, and we cannot rule out the possibility that they are homotopy equivalent to wedges of spheres.
Universality for the distance in finite variance random graphs: Extended version
Published
• View Publication
• BIB
We generalize the asymptotic behavior of the graph distance between two uniformly chosen nodes in the configuration model to a wide class of random graphs. Among others, this class contains the Poissonian random graph, the expected degree random graph and the generalized random graph (including the classical Erdos-Renyi graph).
In the paper we assign to each node a deterministic capacity and the probability that there exists an edge between a pair of nodes is equal to a function of the product of the capacities of the pair divided by the total capacity of all the nodes. We consider capacities which are such that the degrees of a node has uniformly bounded moments of order strictly larger than two, so that, in particular, the degrees have finite variance. We prove that the graph distance grows like \log_νN, where the νdepends on the capacities. In addition, the random fluctuations around this asymptotic mean \log_νN are shown to be tight. We also consider the case where the capacities are independent copies of a positive random Λwith \prob{Λ> x}\leq cx^{1-τ}, for some constant c and τ>3, again resulting in graphs where the degrees have finite variance.
The method of proof of these results is to couple each member of the class to the Poissonian random graph, for which we then give the complete proof by adapting the arguments of the corresponding result for the configuration model.
The Distribution of Patterns in Random Trees
Published
• View Publication
• BIB
Let $T\_n$ denote the set of unrooted labeled trees of size $n$ and let $T\_n$ be a particular (finite, unlabeled) tree. Assuming that every tree of $T\_n$ is equally likely, it is shown that the limiting distribution as $n$ goes to infinity of the number of occurrences of $M$ as an induced subtree is asymptotically normal with mean value and variance asymptotically equivalent to $μn$ and $σ^2n$, respectively, where the constants $μ>0$ and $σ\ge 0$ are computable.
The Random Edge Simplex Algorithm on Dual Cyclic 4-Polytopes
The simplex algorithm using the random edge pivot-rule on any realization of a dual cyclic 4-polytope with n facets does not take more than O(n) pivot-steps. This even holds for general abstract objective functions (AOF) / acyclic unique sink orientations (AUSO). The methods can be used to show analogous results for products of two polygons. In contrast, we show that the random facet pivot-rule is slow on dual cyclic 4-polytopes, i.e. there are AUSOs on which random facet takes at least Ω(n^2) steps.
Limiting behavior of the distance of a random walk
Published
• View Publication
• BIB
This investigation is motivated by a result we proved recently for the random transposition random walk: the distance from the starting point of the walk has a phase transition from a linear regime to a sublinear regime at time $n/2$. Here, we study three new examples. It is trivial that the distance for random walk on the hypercube is smooth and is given by one simple formula. In the case of random adjacent transpositions, we find that there is no phase transition even though the distance has different scalings in three different regimes. In the case of a random 3-regular graph, there is a phase transition from linear growth to a constant equal to the diameter of the graph, at time $3\log_2 n$.
When the law of large numbers fails for increasing subsequences of random permutations
Published in Annals of Probability 2007, Vol. 35, No. 2, 758-772
• View Publication
• BIB
Let the random variable $Z_{n,k}$ denote the number of increasing subsequences of length $k$ in a random permutation from $S_n$, the symmetric group of permutations of $\{1,...,n\}$. In a recent paper [Random Structures Algorithms 29 (2006) 277--295] we showed that the weak law of large numbers holds for $Z_{n,k_n}$ if $k_n=o(n^{2/5})$; that is, \[\lim_{n\to\infty}\frac{Z_{n,k_n}}{EZ_{n,k_n}}=1\qquad in probability.\] The method of proof employed there used the second moment method and demonstrated that this method cannot work if the condition $k_n=o(n^{2/5})$ does not hold. It follows from results concerning the longest increasing subsequence of a random permutation that the law of large numbers cannot hold for $Z_{n,k_n}$ if $k_n\ge cn^{1/2}$, with $c>2$. Presumably there is a critical exponent $l_0$ such that the law of large numbers holds if $k_n=O(n^l)$, with $l<l_0$, and does not hold if $\limsup_{n\to\infty}\frac{k_n}{n^l}>0$, for some $l>l_0$. Several phase transitions concerning increasing subsequences occur at $l=1/2$, and these would suggest that $l_0={1/2}$. However, in this paper, we show that the law of large numbers fails for $Z_{n,k_n}$ if $\limsup_{n\to\infty}\frac{k_n}{n^{4/9}}=\infty$. Thus, the critical exponent, if it exists, must satisfy $l_0\in[{2/5},{4/9}]$.
Spectral Analysis of Pollard Rho Collisions
Published
• View Publication
• BIB
We show that the classical Pollard rho algorithm for discrete logarithms produces a collision in expected time O(sqrt(n)(log n)^3). This is the first nontrivial rigorous estimate for the collision probability for the unaltered Pollard rho graph, and is close to the conjectured optimal bound of O(sqrt(n)). The result is derived by showing that the mixing time for the random walk on this graph is O((log n)^3); without the squaring step in the Pollard rho algorithm, the mixing time would be exponential in log n. The technique involves a spectral analysis of directed graphs, which captures the effect of the squaring step.
On the number of circuits in random graphs
Published in J. Stat. Mech. P06019 (2006).
• View Publication
• BIB
We apply in this article (non rigorous) statistical mechanics methods to the problem of counting long circuits in graphs. The outcomes of this approach have two complementary flavours. On the algorithmic side, we propose an approximate counting procedure, valid in principle for a large class of graphs. On a more theoretical side, we study the typical number of long circuits in random graph ensembles, reproducing rigorously known results and stating new conjectures.
A new random mapping model
We introduce a new random mapping model, $T_n^{\hat D}$, which maps the set $\{1,2,...,n\}$ into itself.The random mapping $T_n^{\hat D}$ is constructed using a collection of exchangeable random variables $\hat{D}_1, ....,\hat{D}_n$ which satisfy $\sum_{i=1}^n\hat{D}_i=n$. In the random digraph,$G_n^{\hat D}$, which represents the mapping $T_n^{\hat D}$, the in-degree sequence for the vertices is given by the variables $\hat{D}_1, \hat{D}_2, ..., \hat{D}_n$, and, in some sense,$G_n^{\hat D}$ can be viewed as an analogue of the general independent degree models from random graph theory. We show that the distribution of the number of cyclic points, the number of components,and the size of a typical component can be expressed in terms of expectations of various functions of $\hat{D}_1, \hat{D}_2, ..., \hat{D}_n$. We also consider two special examples of $T_n^{\hat D}$ which correspond to random mappings with preferential and anti-preferential attachment, respectively, and determine, for these examples, exact and asymptotic distributions for the statistics mentioned above.
Permutations without long decreasing subsequences and random matrices
Published in Electron. J. Combin. 14(1), 2007, Research Paper 11
• Search Publication
We study the shape of the Young diagram λassociated via the Robinson-Schensted-Knuth algorithm to a random permutation in S_n such that the length of the longest decreasing subsequence is not bigger than a fixed number d; in other words we study the restriction of the Plancherel measure to Young diagrams with at most d rows. We prove that in the limit n\to\infty the rows of λbehave like the eigenvalues of a certain random matrix (traceless Gaussian Unitary Ensemble) with d rows and columns. In particular, the length of the longest increasing subsequence of such a random permutation behaves asymptotically like the largest eigenvalue of the corresponding random matrix.
On the determination of sets by their triple correlation in finite cyclic groups
Published
• View Publication
• BIB
Let $G$ be a finite abelian group and $E$ a subset of it. Suppose that we know for all subsets $T$ of $G$ of size up to $k$ for how many $x \in G$ the translate $x+T$ is contained in $E$. This information is collectively called the $k$-deck of $E$. One can naturally extend the domain of definition of the $k$-deck to include functions on $G$. Given the group $G$ when is the $k$-deck of a set in $G$ sufficient to determine the set up to translation? The 2-deck is not sufficient (even when we allow for reflection of the set, which does not change the 2-deck) and the first interesting case is $k=3$. We further restrict $G$ to be cyclic and determine the values of $n$ for which the 3-deck of a subset of $\ZZ_n$ is sufficient to determine the set up to translation. This completes the work begun by Grünbaum and Moore as far as the 3-deck is concerned. We additionally estimate from above the probability that for a random subset of $\ZZ_n$ there exists another subset, not a translate of the first, with the same 3-deck. We give an exponentially small upper bound when the previously known one was $O(1\bigl / \sqrt{n})$.
The number of matchings in random graphs
Published in J. Stat. Mech. (2006) P05003
• View Publication
• BIB
We study matchings on sparse random graphs by means of the cavity method. We first show how the method reproduces several known results about maximum and perfect matchings in regular and Erdos-Renyi random graphs. Our main new result is the computation of the entropy, i.e. the leading order of the logarithm of the number of solutions, of matchings with a given size. We derive both an algorithm to compute this entropy for an arbitrary graph with a girth that diverges in the large size limit, and an analytic result for the entropy in regular and Erdos-Renyi random graph ensembles.
Thresholds and expectation thresholds
Published
• View Publication
• BIB
Consider a random graph G in G(n,p) and the graph property: G contains a copy of a specific graph H. (Note: H depends on n; a motivating example: H is a Hamiltonian cycle.) Let q be the minimal value for which the expected number of copies of H' in G is at least 1/2 for every subgraph H' of H. Let p be the value for which the probability that G contains a copy of H is 1/2. Conjecture: p/q = O(log n). Related conjectures for general Boolean functions, and a possible connection with discrete isoperimetry are discussed.
Multicritical continuous random trees
Published in J. Stat. Mech. (2006) P04004
• View Publication
• BIB
We introduce generalizations of Aldous' Brownian Continuous Random Tree as scaling limits for multicritical models of discrete trees. These discrete models involve trees with fine-tuned vertex-dependent weights ensuring a k-th root singularity in their generating function. The scaling limit involves continuous trees with branching points of order up to k+1. We derive explicit integral representations for the average profile of this k-th order multicritical continuous random tree, as well as for its history distributions measuring multi-point correlations. The latter distributions involve non-positive universal weights at the branching points together with fractional derivative couplings. We prove universality by rederiving the same results within a purely continuous axiomatic approach based on the resolution of a set of consistency relations for the multi-point correlations. The average profile is shown to obey a fractional differential equation whose solution involves hypergeometric functions and matches the integral formula of the discrete approach.
Negatively correlated random variables and Mason's conjecture
Published
• View Publication
• BIB
Mason's Conjecture asserts that for an $m$--element rank $r$ matroid $\M$ the sequence $(I_k/\binom{m}{k}: 0\leq k\leq r)$ is logarithmically concave, in which $I_k$ is the number of independent $k$--sets of $\M$. A related conjecture in probability theory implies these inequalities provided that the set of independent sets of $\M$ satisfies a strong negative correlation property we call the \emph{Rayleigh condition}. This condition is known to hold for the set of bases of a regular matroid. We show that if $ω$ is a weight function on a set system $\Q$ that satisfies the Rayleigh condition then $\Q$ is a convex delta--matroid and $ω$ is logarithmically submodular. Thus, the hypothesis of the probabilistic conjecture leads inevitably to matroid theory. We also show that two--sums of matroids preserve the Rayleigh condition in four distinct senses, and hence that the Potts model of an iterated two--sum of uniform matroids satisfies the Rayleigh condition. Numerous conjectures and auxiliary results are included.
The boundary of the Eulerian number triangle
Published in Moscow Mathematical Journal 6 (2006), no 3, 461-475
• View Publication
• BIB
The Eulerian triangle is a classical array of combinatorial numbers defined by a linear recursion. The associated boundary problem asks one to find all extreme nonnegative solutions to a dual recursion. Exploiting connections with random permutations and Markov chains we show that the boundary is discrete and explicitly identify its elements.
The Forest Metrics for Graph Vertices
Published in Electronic Notes in Discrete Mathematics 11 (July 2002) 98-107
• View Publication
• BIB
We propose a new graph metric and study its properties. In contrast to the standard distance in connected graphs, it takes into account all paths between vertices. Formally, it is defined as d(i,j)=q_{ii}+q_{jj}-q_{ij}-q_{ji}, where q_{ij} is the (i,j)-entry of the {\em relative forest accessibility matrix} Q(ε)=(I+εL)^{-1}, L is the Laplacian matrix of the (weighted) (multi)graph, and εis a positive parameter. By the matrix-forest theorem, the (i,j)-entry of the relative forest accessibility matrix of a graph provides the specific number of spanning rooted forests such that i and j belong to the same tree rooted at i. Extremely simple formulas express the modification of the proposed distance under the basic graph transformations. We give a topological interpretation of d(i,j) in terms of the probability of unsuccessful linking i and j in a model of random links. The properties of this metric are compared with those of some other graph metrics. An application of this metric is related to clustering procedures such as "centered partition." In another procedure, the relative forest accessibility and the corresponding distance serve to choose the centers of the clusters and to assign a cluster to each non-central vertex. The notion of cumulative weight of connections between two vertices is proposed. The reasoning involves a reciprocity principle for weighted multigraphs. Connections between the resistance distance and the forest distance are established.
Random Linear Extensions of Grids
A grid poset -- or grid for short -- is a product of chains. We ask, what does a random linear extension of a grid look like? In particular, we show that the average "jump number," i.e., the number of times that two consecutive elements in a linear extension are incomparable in the poset, is close to its maximum possible value. The techniques employed rely on entropy arguments. We finish with several interesting questions about this wide-open area.
Deterministic Random Walks on the Integers
Published
• View Publication
• BIB
Jim Propp's P-machine, also known as the "rotor router model" is a simple deterministic process that simulates a random walk on a graph. Instead of distributing chips to randomly chosen neighbors, it serves the neighbors in a fixed order.
We investigate how well this process simulates a random walk. For the graph being the infinite path, we show that, independent of the starting configuration, at each time and on each vertex, the number of chips on this vertex deviates from the expected number of chips in the random walk model by at most a constant c_1, which is approximately 2.29. For intervals of length L, this improves to a difference of O(log L), for the L_2 average of a contiguous set of intervals even to O(sqrt{log L}). All these bounds are tight.
Transversal structures on triangulations: a combinatorial study and straight-line drawings
Published
• View Publication
• BIB
This article focuses on a combinatorial structure specific to triangulated plane graphs with quadrangular outer face and no separating triangle, which are called irreducible triangulations. The structure has been introduced by Xin He under the name of regular edge-labelling and consists of two bipolar orientations that are transversal. For this reason, the terminology used here is that of transversal structures. The main results obtained in the article are a bijection between irreducible triangulations and ternary trees, and a straight-line drawing algorithm for irreducible triangulations. For a random irreducible triangulation with $n$ vertices, the grid size of the drawing is asymptotically with high probability $11n/27\times 11n/27$ up to an additive error of $\cO(\sqrt{n})$. In contrast, the best previously known algorithm for these triangulations only guarantees a grid size $(\lceil n/2\rceil -1)\times \lfloor n/2\rfloor$.