arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

7100 papers tagged with this keyword
2008-11-18 v2
Random Complexes and l^2-Betti Numbers
Published in J. Top. Anal. 1, no. 2 (2009), 153-175. • View Publication • BIB
Uniform spanning trees on finite graphs and their analogues on infinite graphs are a well-studied area. On a Cayley graph of a group, we show that they are related to the first $\ell^2$-Betti number of the group. Our main aim, however, is to present the basic elements of a higher-dimensional analogue on finite and infinite CW-complexes, which relate to the higher $\ell^2$-Betti numbers. One consequence is a uniform isoperimetric inequality extending work of Lyons, Pichot, and Vassout. We also present an enumeration similar to recent work of Duval, Klivans, and Martin.
2008-11-18
The Graph of the Hypersimplex
The (k,d)-hypersimplex is a (d-1)-dimensional polytope whose vertices are the (0,1)-vectors that sum to k. When k=1, we get a simplex whose graph is the complete graph with d vertices. Here we show how many of the well known graph parameters and attributes of the complete graph extend to a more general case. In particular we obtain explicit formulas in terms of d and k for the number of vertices, vertex degree, number of edges and the diameter. We show that the graphs are vertex transitive, hamilton connected, obtain the clique number and show how the graphs can be decomposed into self-similar subgraphs. The paper concludes with a discussion of the edge expansion rate of the graph of a (k,d)-hypersimplex which we show is at least d/2, and how this graph can be used to generate a random subset of {1,2,3,...,d} with k elements.
2008-11-11
Moments, cumulants and diagram formulae for non-linear functionals of random measures
This survey provides a unified discussion of multiple integrals, moments, cumulants and diagram formulae associated with functionals of completely random measures. Our approach is combinatorial, as it is based on the algebraic formalism of partition lattices and Möbius functions. Gaussian and Poisson measures are treated in great detail. We also present several combinatorial interpretations of some recent CLTs involving sequences of random variables belonging to a fixed Wiener chaos.
2008-11-11
Combinatorics of Tripartite Boundary Connections for Trees and Dimers
Published in Electronic Journal of Combinatorics 16(1):R112, 2009 • View Publication • BIB
A grove is a spanning forest of a planar graph in which every component tree contains at least one of a special subset of vertices on the outer face called nodes. For the natural probability measure on groves, we compute various connection probabilities for the nodes in a random grove. In particular, for "tripartite" pairings of the nodes, the probability can be computed as a Pfaffian in the entries of the Dirichlet-to-Neumann matrix (discrete Hilbert transform) of the graph. These formulas generalize the determinant formulas given by Curtis, Ingerman, and Morrow, and by Fomin, for parallel pairings. These Pfaffian formulas are used to give exact expressions for reconstruction: reconstructing the conductances of a planar graph from boundary measurements. We prove similar theorems for the double-dimer model on bipartite planar graphs.
2008-11-09 v2
On two-point configurations in random set
Published • View Publication • BIB
We show that with high probability a random set of size $Θ(n^{1-1/k})$ of $\{1,...,n\}$ contains two elements $a$ and $a+d^k$, where $d$ is a positive integer. As a consequence, we prove an analogue of Sárközy-Fürstenberg's theorem for random set.
2008-11-04 v2
Confluence of geodesic paths and separating loops in large planar quadrangulations
Published in J. Stat. Mech. (2009) P03001 • View Publication • BIB
We consider planar quadrangulations with three marked vertices and discuss the geometry of triangles made of three geodesic paths joining them. We also study the geometry of minimal separating loops, i.e. paths of minimal length among all closed paths passing by one of the three vertices and separating the two others in the quadrangulation. We concentrate on the universal scaling limit of large quadrangulations, also known as the Brownian map, where pairs of geodesic paths or minimal separating loops have common parts of non-zero macroscopic length. This is the phenomenon of confluence, which distinguishes the geometry of random quadrangulations from that of smooth surfaces. We characterize the universal probability distribution for the lengths of these common parts.
2008-11-04 v2
Rook placements in Young diagrams and permutation enumeration
Published in Advances in Applied Mathematics 47(1) (2011), 1--22 • View Publication • BIB
Given two operators $\hat D$ and $\hat E$ subject to the relation $\hat D\hat E -q \hat E \hat D =p$, and a word $w$ in $M$ and $N$, the rewriting of $w$ in normal form is combinatorially described by rook placements in a Young diagram. We give enumerative results about these rook placements, particularly in the case where $p=(1-q)/q^2$. This case naturally arises in the context of the PASEP, a random process whose partition function and stationary distribution are expressed using two operators $D$ and $E$ subject to the relation $DE-qED=D+E$ (matrix Ansatz). Using the link obtained by Corteel and Williams between the PASEP, permutation tableaux and permutations, we prove a conjecture of Corteel and Rubey about permutation enumeration. This result gives the generating function for permutations of given size with respect to the number of ascents and occurrences of the pattern 13-2, this is also the moments of the $q$-Laguerre orthogonal polynomials.
2008-11-03
Combinatorics of dispersionless integrable systems and universality in random matrix theory
Published • View Publication • BIB
It is well-known that the partition function of the unitary ensembles of random matrices is given by a tau-function of the Toda lattice hierarchy and those of the orthogonal and symplectic ensembles are tau-functions of the Pfaff lattice hierarchy. In these cases the asymptotic expansions of the free energies given by the logarithm of the partition functions lead to the dispersionless (i.e. continuous) limits for the Toda and Pfaff lattice hierarchies. There is a universality between all three ensembles of random matrices, one consequence of which is that the leading orders of the free energy for large matrices agree. In this paper, this universality, in the case of Gaussian ensembles, is explicitly demonstrated by computing the leading orders of the free energies in the expansions. We also show that the free energy as the solution of the dispersionless Toda lattice hierarchy gives a solution of the dispersionless Pfaff lattice hierarchy, which implies that this universality holds in general for the leading orders of the unitary, orthogonal, and symplectic ensembles. We also find an explicit formula for the two point function $F_{nm}$ which represents the number of connected ribbon graphs with two vertices of degrees n and m on a sphere. The derivation is based on the Faber polynomials defined on the spectral curve of the dispersionless Toda lattice hierarchy, and $\frac{1}{nm} F_{nm}$ are the Grunsky coefficients of the Faber polynomials.
2008-11-03
On the dynamics of Social Balance on general networks (with an application to XOR-SAT)
Published in Fundamenta Informaticae, 91 (2), pp. 341-356, 2009. • View Publication • BIB
We study nondeterministic and probabilistic versions of a discrete dynamical system (due to T. Antal, P. L. Krapivsky, and S. Redner) inspired by Heider's social balance theory. We investigate the convergence time of this dynamics on several classes of graphs. Our contributions include: 1. We point out the connection between the triad dynamics and a generalization of annihilating walks to hypergraphs. In particular, this connection allows us to completely characterize the recurrent states in graphs where each edge belongs to at most two triangles. 2. We also solve the case of hypergraphs that do not contain edges consisting of one or two vertices. 3. We show that on the so-called "triadic cycle" graph, the convergence time is linear. 4. We obtain a cubic upper bound on the convergence time on 2-regular triadic simplexes G. This bound can be further improved to a quantity that depends on the Cheeger constant of G. In particular this provides some rigorous counterparts to previous experimental observations. We also point out an application to the analysis of the random walk algorithm on certain instances of the 3-XOR-SAT problem.
2008-10-31 v2
Jack deformations of Plancherel measures and traceless Gaussian random matrices
Published in The Electronic Journal of Combinatorics 15 (2008), R149 • View Publication • BIB
We study random partitions $λ=(λ_1,λ_2,...,λ_d)$ of $n$ whose length is not bigger than a fixed number $d$. Suppose a random partition $λ$ is distributed according to the Jack measure, which is a deformation of the Plancherel measure with a positive parameter $α>0$. We prove that for all $α>0$, in the limit as $n \to \infty$, the joint distribution of scaled $λ_1,..., λ_d$ converges to the joint distribution of some random variables from a traceless Gaussian $β$-ensemble with $β=2/α$. We also give a short proof of Regev's asymptotic theorem for the sum of $β$-powers of $f^λ$, the number of standard tableaux of shape $λ$.
Two-dimensional quantum random walk
Published • View Publication • BIB
We analyze several families of two-dimensional quantum random walks. The feasible region (the region where probabilities do not decay exponentially with time) grows linearly with time, as is the case with one-dimensional QRW. The limiting shape of the feasible region is, however, quite different. The limit region turns out to be an algebraic set, which we characterize as the rational image of a compact algebraic variety. We also compute the probability profile within the limit region, which is essentially a negative power of the Gaussian curvature of the same algebraic variety. Our methods are based on analysis of the space-time generating function, following the methods of Pemantle and Wilson (2002).
2008-10-27 v2
A sharp threshold for minimum bounded-depth and bounded-diameter spanning trees and Steiner trees in random networks
Published in Combinatorica 32(1):1-33, 2012 • View Publication • BIB
In the complete graph on n vertices, when each edge has a weight which is an exponential random variable, Frieze proved that the minimum spanning tree has weight tending to zeta(3)=1/1^3+1/2^3+1/3^3+... as n goes to infinity. We consider spanning trees constrained to have depth bounded by k from a specified root. We prove that if k > log_2 log n+omega(1), where omega(1) is any function going to infinity with n, then the minimum bounded-depth spanning tree still has weight tending to zeta(3) as n -> infinity, and that if k < log_2 log n, then the weight is doubly-exponentially large in log_2 log n - k. It is NP-hard to find the minimum bounded-depth spanning tree, but when k < log_2 log n - omega(1), a simple greedy algorithm is asymptotically optimal, and when k > log_2 log n+omega(1), an algorithm which makes small changes to the minimum (unbounded depth) spanning tree is asymptotically optimal. We prove similar results for minimum bounded-depth Steiner trees, where the tree must connect a specified set of m vertices, and may or may not include other vertices. In particular, when m = const * n, if k > log_2 log n+omega(1), the minimum bounded-depth Steiner tree on the complete graph has asymptotically the same weight as the minimum Steiner tree, and if 1 <= k <= log_2 log n-omega(1), the weight tends to (1-2^{-k}) sqrt{8m/n} [sqrt{2mn}/2^k]^{1/(2^k-1)} in both expectation and probability. The same results hold for minimum bounded-diameter Steiner trees when the diameter bound is 2k; when the diameter bound is increased from 2k to 2k+1, the minimum Steiner tree weight is reduced by a factor of 2^{1/(2^k-1)}.
Scaling Limits for Width Two Partially Ordered Sets: The Incomparability Window
Published in Order, 30(1):289-311, 2013 • View Publication • BIB
We study the structure of a uniformly randomly chosen partial order of width 2 on n elements. We show that under the appropriate scaling, the number of incomparable elements converges to the height of a one dimensional Brownian excursion at a uniformly chosen random time in the interval [0,1], which follows the Rayleigh distribution.
2008-10-16
On the Limiting Shape of Markovian Random Young Tableaux
Let $(X_n)_{n \ge 0}$ be an irreducible, aperiodic, homogeneous Markov chain, with state space an ordered finite alphabet of size $m$. Using combinatorial constructions and weak invariance principles, we obtain the limiting shape of the associated Young tableau as a multidimensional Brownian functional. Since the length of the top row of the Young tableau is also the length of the longest (weakly) increasing subsequence of $(X_k)_{1\le k \le n}$, the corresponding limiting law follows. We relate our results to a conjecture of Kuperberg by showing that, under a cyclic condition, a spectral characterization of the Markov transition matrix delineates precisely when the limiting shape is the spectrum of the traceless GUE. For $m=3$, all cyclic Markov chains have such a limiting shape, a fact previously known for $m=2$. However, this is no longer true for $m \ge 4$.
2008-10-15 v2
Dissections, orientations, and trees, with applications to optimal mesh encoding and to random sampling
Published in Transactions on algorithms 4, 2 (2008) Art.19 • View Publication • BIB
We present a bijection between some quadrangular dissections of an hexagon and unrooted binary trees, with interesting consequences for enumeration, mesh compression and graph sampling. Our bijection yields an efficient uniform random sampler for 3-connected planar graphs, which turns out to be determinant for the quadratic complexity of the current best known uniform random sampler for labelled planar graphs [{\bf Fusy, Analysis of Algorithms 2005}]. It also provides an encoding for the set $\mathcal{P}(n)$ of $n$-edge 3-connected planar graphs that matches the entropy bound $\frac1n\log_2|\mathcal{P}(n)|=2+o(1)$ bits per edge (bpe). This solves a theoretical problem recently raised in mesh compression, as these graphs abstract the combinatorial part of meshes with spherical topology. We also achieve the {optimal parametric rate} $\frac1n\log_2|\mathcal{P}(n,i,j)|$ bpe for graphs of $\mathcal{P}(n)$ with $i$ vertices and $j$ faces, matching in particular the optimal rate for triangulations. Our encoding relies on a linear time algorithm to compute an orientation associated to the minimal Schnyder wood of a 3-connected planar map. This algorithm is of independent interest, and it is for instance a key ingredient in a recent straight line drawing algorithm for 3-connected planar graphs [\bf Bonichon et al., Graph Drawing 2005].
2008-09-26 v2
The t-improper chromatic number of random graphs
Published in Combin. Probab. Comput. 19 (2010), 87-98 • View Publication • BIB
We consider the $t$-improper chromatic number of the Erd{\H o}s-R{é}nyi random graph $G(n,p)$. The t-improper chromatic number $χ^t(G)$ of $G$ is the smallest number of colours needed in a colouring of the vertices in which each colour class induces a subgraph of maximum degree at most $t$. If $t = 0$, then this is the usual notion of proper colouring. When the edge probability $p$ is constant, we provide a detailed description of the asymptotic behaviour of $χ^t(G(n,p))$ over the range of choices for the growth of $t = t(n)$.
2008-09-18
Economical toric spines via Cheeger's Inequality
Published • View Publication • BIB
Let $G_{\infty}=(C_m^d)_{\infty}$ denote the graph whose set of vertices is $\{1,..., m\}^d$, where two distinct vertices are adjacent iff they are either equal or adjacent in $C_m$ in each coordinate. Let $G_{1}=(C_m^d)_1$ denote the graph on the same set of vertices in which two vertices are adjacent iff they are adjacent in one coordinate in $C_m$ and equal in all others. Both graphs can be viewed as graphs of the $d$-dimensional torus. We prove that one can delete $O(\sqrt d m^{d-1})$ vertices of $G_1$ so that no topologically nontrivial cycles remain. This improves an $O(d^{\log_2 (3/2)}m^{d-1})$ estimate of Bollobás, Kindler, Leader and O'Donnell. We also give a short proof of a result implicit in a recent paper of Raz: one can delete an $O(\sqrt d/m)$ fraction of the edges of $G_{\infty}$ so that no topologically nontrivial cycles remain in this graph. Our technique also yields a short proof of a recent result of Kindler, O'Donnell, Rao and Wigderson; there is a subset of the continuous $d$-dimensional torus of surface area $O(\sqrt d)$ that intersects all nontrivial cycles. All proofs are based on the same general idea: the consideration of random shifts of a body with small boundary and no- nontrivial cycles, whose existence is proved by applying the isoperimetric inequality of Cheeger or its vertex or edge discrete analogues.
2008-09-17 v3
Thermodynamic Limit for Large Random Trees
Published • View Publication • BIB
We consider Gibbs distributions on finite random plane trees with bounded branching. We show that as the order of the tree grows to infinity, the distribution of any finite neighborhood of the root of the tree converges to a limit. We compute the limiting distribution explicitly and study its properties. We introduce an infinite random tree consistent with these limiting distributions and show that it satisfies a certain form of the Markov property. We also study the growth of this tree and prove several limit theorems including a diffusion approximation.
2008-09-15 v4
Two new Probability inequalities and Concentration Results
Published • View Publication • BIB
Concentration results and probabilistic analysis for combinatorial problems like the TSP, MWST, graph coloring have received much attention, but generally, for i.i.d. samples (i.i.d. points in the unit square for the TSP, for example). Here, we prove two probability inequalities which generalize and strengthen Martingale inequalities. The inequalities provide the tools to deal with more general heavy-tailed and inhomogeneous distributions for combinatorial problems. We prove a wide range of applications - in addition to the TSP, MWST, graph coloring, we also prove more general results than known previously for concentration in bin-packing, sub-graph counts, Johnson-Lindenstrauss random projection theorem. It is hoped that the strength of the inequalities will serve many more purposes.
2008-09-13 v5
Infinite paths and cliques in random graphs
Published • View Publication • BIB
We study some percolation problems on the complete graph over $\mathbf N$. In particular, we give sharp sufficient conditions for the existence of (finite or infinite) cliques and paths in a random subgraph. No specific assumption on the probability, such as independency, is made. The main tools are a topological version of Ramsey theory, exchangeability theory and elementary ergodic theory.