arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

7100 papers tagged with this keyword
2011-11-15 v3
Limit shape of random convex polygonal lines: Even more universality
Published in Journal of Combinatorial Theory, Series A 127 (2014), 353--399 • View Publication • BIB
The paper concerns the limit shape (under some probability measure) of convex polygonal lines with vertices on $\mathbb{Z}_+^2$, starting at the origin and with the right endpoint $n=(n_1,n_2)\to\infty$. In the case of the uniform measure, an explicit limit shape $γ^*:=\{(x_1,x_2)\in\mathbb{R}_+^2\colon \sqrt{1-x_1}+\sqrt{x_2}=1\}$ was found independently by Vershik (1994), Bárány (1995), and Sinai (1994). Recently, Bogachev and Zarbaliev (2011) proved that the limit shape $γ^*$ is universal for a certain parametric family of multiplicative probability measures generalizing the uniform distribution. In the present work, the universality result is extended to a much wider class of multiplicative measures, including (but not limited to) analogs of the three meta-types of decomposable combinatorial structures -- multisets, selections and assemblies. This result is in sharp contrast with the one-dimensional case where the limit shape of Young diagrams associated with integer partitions heavily depends on the distributional type.
2011-11-14 v4
Unified derivation of the limit shape for multiplicative ensembles of random integer partitions with equiweighted parts
Published • View Publication • BIB
We derive the limit shape of Young diagrams, associated with growing integer partitions, with respect to multiplicative probability measures underpinned by the generating functions of the form $\mathcal{F}(z)=\prod_{\ell=1}^\infty \mathcal{F}_0(z^\ell)$ (which entails equal weighting among possible parts $\ell\in\mathbb{N}$). Under mild technical assumptions on the function $H_0(u)=\ln(\mathcal{F}_0(u))$, we show that the limit shape $ω^*(x)$ exists and is given by the equation $y=γ^{-1}H_0(\mathrm{e}^{-γx})$, where $γ^2=\int_0^1 u^{-1}H_0(u)\,\mathrm{d}u$. The wide class of partition measures covered by this result includes (but is not limited to) representatives of the three meta-types of decomposable combinatorial structures --- assemblies, multisets and selections. Our method is based on the usual randomization and conditioning; to this end, a suitable local limit theorem is proved. The proofs are greatly facilitated by working with the cumulants of sums of the part counts rather than with their moments.
On covering expander graphs by Hamilton cycles
Published • View Publication • BIB
The problem of packing Hamilton cycles in random and pseudorandom graphs has been studied extensively. In this paper, we look at the dual question of covering all edges of a graph by Hamilton cycles and prove that if a graph with maximum degree $Δ$ satisfies some basic expansion properties and contains a family of $(1-o(1))Δ/2$ edge disjoint Hamilton cycles, then there also exists a covering of its edges by $(1+o(1))Δ/2$ Hamilton cycles. This implies that for every $α>0$ and every $p \geq n^{α-1}$ there exists a covering of all edges of $G(n,p)$ by $(1+o(1))np/2$ Hamilton cycles asymptotically almost surely, which is nearly optimal.
2011-11-12
The Laplacian Spectra of Graphs and Complex Networks
The paper is a brief survey of some recent new results and progress of the Laplacian spectra of graphs and complex networks (in particular, random graph and the small world network). The main contents contain the spectral radius of the graph Laplacian for given a degree sequence, the Laplacian coefficients, the algebraic connectivity and the graph doubly stochastic matrix, and the spectra of random graphs and the small world networks. In addition, some questions are proposed.
2011-11-12
Potential Distribution on Random Electrical Networks
Published • View Publication • BIB
Let $G=(V,E)$ be a random electronic network with the boundary vertices which is obtained by assigning a resistance of each edge in a random graph in $\mathbb{G}(n,p)$ and the voltages on the boundary vertices. In this paper, we prove that the potential distribution of all vertices of $G$ except for the boundary vertices are very close to a constant with high probability for $p=\frac{c\ln n}{n}$ and $c>1$.
2011-11-12
Tight bounds on the threshold for permuted k-colorability
Published • View Publication • BIB
If each edge (u,v) of a graph G=(V,E) is decorated with a permutation pi_{u,v} of k objects, we say that it has a permuted k-coloring if there is a coloring sigma from V to {1,...,k} such that sigma(v) is different from pi_{u,v}(sigma(u)) for all (u,v) in E. Based on arguments from statistical physics, we conjecture that the threshold d_k for permuted k-colorability in random graphs G(n,m=dn/2), where the permutations on the edges are uniformly random, is equal to the threshold for standard graph k-colorability. The additional symmetry provided by random permutations makes it easier to prove bounds on d_k. By applying the second moment method with these additional symmetries, and applying the first moment method to a random variable that depends on the number of available colors at each vertex, we bound the threshold within an additive constant. Specifically, we show that for any constant epsilon > 0, for sufficiently large k we have 2 k ln k - ln k - 2 - epsilon < d_k < 2 k ln k - ln k - 1 + epsilon. In contrast, the best known bounds on d_k for standard k-colorability leave an additive gap of about ln k between the upper and lower bounds.
2011-11-08 v3
The measurable Kesten theorem
Published in Ann. Probab. 44 (2016), no. 3, 1601-1646 • View Publication • BIB
We give explicit estimates between the spectral radius and the densities of short cycles for finite d-regular graphs. This allows us to show that the essential girth of a finite d-regular Ramanujan graph G is at least c log log |G|. We prove that infinite d-regular Ramanujan unimodular random graphs are trees. Using Benjamini-Schramm convergence this leads to a rigidity result saying that if most eigenvalues of a d-regular finite graph G fall in the Alon-Boppana region, then the eigenvalue distribution of G is close to the spectral measure of the d-regular tree. Kesten showed that if a Cayley graph has the same spectral radius as its universal cover, then it must be a tree. We generalize this to unimodular random graphs.
2011-11-05
Catching the k-NAESAT Threshold
Published in Proc. 44th STOC (2012) 899 - 908) • View Publication • BIB
The best current estimates of the thresholds for the existence of solutions in random constraint satisfaction problems ('CSPs') mostly derive from the first and the second moment method. Yet apart from a very few exceptional cases these methods do not quite yield matching upper and lower bounds. According to deep but non-rigorous arguments from statistical mechanics, this discrepancy is due to a change in the geometry of the set of solutions called condensation that occurs shortly before the actual threshold for the existence of solutions (Krzakala, Montanari, Ricci-Tersenghi, Semerjian, Zdeborova: PNAS 2007). To cope with condensation, physicists have developed a sophisticated but non-rigorous formalism called Survey Propagation (Mezard, Parisi, Zecchina: Science 2002). This formalism yields precise conjectures on the threshold values of many random CSPs. Here we develop a new Survey Propagation inspired second moment method for the random k-NAESAT problem, which is one of the standard benchmark problems in the theory of random CSPs. This new technique allows us to overcome the barrier posed by condensation rigorously. We prove that the threshold for the existence of solutions in random $k$-NAESAT is $2^{k-1}\ln2-(\frac{\ln2}2+\frac14)+\eps_k$, where $|\eps_k| \le 2^{-(1-o_k(1))k}$, thereby verifying the statistical mechanics conjecture for this problem.
2011-11-05 v2
Bootstrap percolation in power-law random graphs
Published • View Publication • BIB
A bootstrap percolation process on a graph $G$ is an "infection" process which evolves in rounds. Initially, there is a subset of infected nodes and in each subsequent round each uninfected node which has at least $r$ infected neighbours becomes infected and remains so forever. The parameter $r\geq 2$ is fixed. Such processes have been used as models for the spread of ideas or trends within a network of individuals. We analyse bootstrap percolation process in the case where the underlying graph is an inhomogeneous random graph, which exhibits a power-law degree distribution, and initially there are $a(n)$ randomly infected nodes. The main focus of this paper is the number of vertices that will have been infected by the end of the process. The main result of this work is that if the degree sequence of the random graph follows a power law with exponent $β$, where $2 < β< 3$, then a sublinear number of initially infected vertices is enough to spread the infection over a linear fraction of the nodes of the random graph, with high probability. More specifically, we determine explicitly a critical function $a_c(n)$ such that $a_c(n)=o(n)$ with the following property. Assuming that $n$ is the number of vertices of the underlying random graph, if $a(n) \ll a_c(n)$, then the process does not evolve at all, with high probability as $n$ grows, whereas if $a(n)\gg a_c(n)$, then there is a constant $\eps>0$ such that, with high probability, the final set of infected vertices has size at least $\eps n$. It turns out that when the maximum degree is $o(n^{1/(β-1)})$, then $a_c(n)$ depends also on $r$. But when the maximum degree is $Θ(n^{1/(β-1)})$, then $a_c (n)=n^{β-2 \over β-1}$.
2011-11-02
The combinatorial structure of spatial STIT tessellations
Published in Discrete Comput. Geom. 50, 649-672 (2013) • Search Publication
Spatially homogeneous random tessellations that are stable under iteration (nesting) in the 3-dimensional Euclidean space are considered, so-called STIT tessellations. They arise as outcome of a spatio-temporal process of subsequent cell division and consequently they are not facet-to-facet. The intent of this paper is to develop a detailed analysis of the combinatorial structure of such tessellations and to determine a number of new geometric mean values, for example for the neighborhood of the typical vertex. The heart of the results is a fine classification of tessellation edges based on the type of their endpoints or on the equality relationship with other types of line segments. In the background of the proofs are delicate distributional properties of spatial STIT tessellations.
2011-11-02
Probabilistic existence of rigid combinatorial structures
Published in Proceedings of the forty-fourth annual ACM symposium on Theory of computing, pp. 1091-1106. ACM, 2012 • View Publication • BIB
We show the existence of rigid combinatorial objects which previously were not known to exist. Specifically, for a wide range of the underlying parameters, we show the existence of non-trivial orthogonal arrays, $t$-designs, and $t$-wise permutations. In all cases, the sizes of the objects are optimal up to polynomial overhead. The proof of existence is probabilistic. We show that a randomly chosen such object has the required properties with positive yet tiny probability. The main technical ingredient is a special local central limit theorem for suitable lattice random walks with finitely many steps.
2011-11-02 v4
Jeu de taquin dynamics on infinite Young tableaux and second class particles
Published in Annals of Probability 2015, Vol. 43, 682-737 • View Publication • BIB
We study an infinite version of the "jeu de taquin" sliding game, which can be thought of as a natural measure-preserving transformation on the set of infinite Young tableaux equipped with the Plancherel probability measure. We use methods from representation theory to show that the Robinson-Schensted-Knuth ($\operatorname {RSK}$) algorithm gives an isomorphism between this measure-preserving dynamical system and the one-sided shift dynamics on a sequence of independent and identically distributed random variables distributed uniformly on the unit interval. We also show that the jeu de taquin paths induced by the transformation are asymptotically straight lines emanating from the origin in a random direction whose distribution is computed explicitly, and show that this result can be interpreted as a statement on the limiting speed of a second-class particle in the Plancherel-TASEP particle system (a variant of the Totally Asymmetric Simple Exclusion Process associated with Plancherel growth), in analogy with earlier results for second class particles in the ordinary TASEP.
2011-11-01 v4
Limiting distribution of maximal crossing and nesting of Poissonized random matchings
Published in Annals of Probability 2013, Vol. 41, No. 6, 4359-4406 • View Publication • BIB
The notion of $r$-crossing and $r$-nesting of a complete matching was introduced and a symmetry property was proved by Chen et al. [Trans. Amer. Math. Soc. 359 (2007) 1555-1575]. We consider random matchings of large size and study their maximal crossing and their maximal nesting. It is known that the marginal distribution of each of them converges to the GOE Tracy-Widom distribution. We show that the maximal crossing and the maximal nesting becomes independent asymptotically, and we evaluate the joint distribution for the Poissonized random matchings explicitly to the first correction term. This leads to an evaluation of the asymptotic of the covariance. Furthermore, we compute the explicit second correction term in the distribution function of two objects: (a) the length of the longest increasing subsequence of Poissonized random permutation and (b) the maximal crossing, and hence also the maximal nesting, of Poissonized random matching.
Cutting down trees with a Markov chainsaw
Published in Annals of Applied Probability 2014, Vol. 24, No. 6, 2297-2339 • View Publication • BIB
We provide simplified proofs for the asymptotic distribution of the number of cuts required to cut down a Galton-Watson tree with critical, finite-variance offspring distribution, conditioned to have total progeny $n$. Our proof is based on a coupling which yields a precise, nonasymptotic distributional result for the case of uniformly random rooted labeled trees (or, equivalently, Poisson Galton-Watson trees conditioned on their size). Our approach also provides a new, random reversible transformation between Brownian excursion and Brownian bridge.
2011-10-25
Mixing time upper bound for the uniformized Rosenthal walk on the special orthogonal groups
We prove that a uniformized variant of both the Rosenthal walk \cite{Rosenthal} and the Kac random walk \cite{Kac} on SO(n) mixes in $\cO(n^3)$ steps in total variation distance. The proof also extends easily to Rosenthal walk with fixed angle $θ\neq π$. To the best of our knowledge, this is the first polynomial time bound for both walks. The techniques employed are mainly from representation theory of SO(n). But a crucial new ingredient is the interpretation of the Fourier coefficients of the character ratio as counting the number of particle cascade paths arising from the classical branching rules.
2011-10-24 v3
Asymptotics of trees with a prescribed degree sequence and applications
Published • View Publication • BIB
Let $t$ be a rooted tree and $n_i(t)$ the number of nodes in $t$ having $i$ children. The degree sequence $(n_i(t),i\geq 0)$ of $t$ satisfies $\sum_{i\ge 0} n_i(t)=1+\sum_{i\ge 0} in_i(t)=|t|$, where $|t|$ denotes the number of nodes in $t$. In this paper, we consider trees sampled uniformly among all trees having the same degree sequence $\ds$; we write $`P_\ds$ for the corresponding distribution. Let $\ds(κ)=(n_i(κ),i\geq 0)$ be a list of degree sequences indexed by $κ$ corresponding to trees with size $\nk\to+\infty$. We show that under some simple and natural hypotheses on $(\ds(κ),κ>0)$ the trees sampled under $`P_{\ds(κ)}$ converge to the Brownian continuum random tree after normalisation by $\nk^{1/2}$. Some applications concerning Galton--Watson trees and coalescence processes are provided.
2011-10-20 v4
On the Limiting Shape of Young Diagrams Associated With Markov Random Words
Let $(X_n)_{n \ge 0}$ be an irreducible, aperiodic, homogeneous Markov chain, with state space a totally ordered finite alphabet of size $m$. Using combinatorial constructions and weak invariance principles, we obtain the limiting shape of the associated RSK Young diagrams as a multidimensional Brownian functional. Since the length of the top row of the Young diagrams is also the length of the longest weakly increasing subsequences of $(X_k)_{1\le k \le n}$, the corresponding limiting law follows. We relate our results to a conjecture of Kuperberg by providing, under a cyclic condition, a spectral characterization of the Markov transition matrix precisely characterizing when the limiting shape is the spectrum of the $m \times m$ traceless GUE. For each $m \ge 4$, this characterization identifies a proper, non-trivial class of cyclic transition matrices producing such a limiting shape. However, for $m=3$, all cyclic Markov chains have such a limiting shape, a fact previously only known for $m=2$. For $m$ arbitrary, we also study reversible Markov chains and obtain a characterization of symmetric Markov chains for which the limiting shape is the spectrum of the traceless GUE. To finish, we explore, in this general setting, connections between various limiting laws and spectra of Gaussian random matrices, focusing in particular on the relationship between the terminal points of the Brownian motions, the diagonal terms of the random matrix, and the scaling of its off-diagonal terms, a scaling we conjecture to be a function of the spectrum of the covariance matrix governing the Brownian motion.
2011-10-19 v3
Elliptically Distributed Lozenge Tilings of a Hexagon
Published in SIGMA 14 (2018), 032, 39 pages • View Publication • BIB
We present a detailed study of a four parameter family of elliptic weights on tilings of a hexagon introduced by Borodin, Gorin and Rains, generalizing some of their results. In the process, we connect the combinatorics of the model with the theory of elliptic special functions. Using canonical coordinates for the hexagon we show how the $n$-point distribution function and transitional probabilities connect to the theory of $BC_n$-symmetric multivariate elliptic special functions and of elliptic difference operators introduced by Rains. In particular, the difference operators intrinsically capture all of the combinatorics. Based on quasi-commutation relations between the elliptic difference operators, we construct certain natural measure-preserving Markov chains on such tilings which we immediately use to obtain an exact sampling algorithm for these elliptic distributions. We present some simulated random samples exhibiting interesting and probably new arctic boundary phenomena. Finally, we show that the particle process associated to such tilings is determinantal with correlation kernel given in terms of the univariate elliptic biorthogonal functions of Spiridonov and Zhedanov.
2011-10-19 v2
The Entropy Influence Conjecture Revisited
In this paper, we prove that most of the boolean functions, $f : \{-1,1\}^n \rightarrow \{-1,1\}$ satisfy the Fourier Entropy Influence (FEI) Conjecture due to Friedgut and Kalai (Proc. AMS'96). The conjecture says that the Entropy of a boolean function is at most a constant times the Influence of the function. The conjecture has been proven for families of functions of smaller sizes. O'donnell, Wright and Zhou (ICALP'11) verified the conjecture for the family of symmetric functions, whose size is $2^{n+1}$. They are in fact able to prove the conjecture for the family of $d$-part symmetric functions for constant $d$, the size of whose is $2^{O(n^d)}$. Also it is known that the conjecture is true for a large fraction of polynomial sized DNFs (COLT'10). Using elementary methods we prove that a random function with high probability satisfies the conjecture with the constant as $(2 + δ)$, for any constant $δ> 0$.
2011-10-17 v2
Reversible Markov structures on divisible set partitions
Published in Journal of Applied Probability, 52(3), 2015 • View Publication • BIB
We study $k$-divisible partition structures, which are families of random set partitions whose block sizes are divisible by an integer $k=1,2,\ldots$. In this setting, exchangeability corresponds to the usual invariance under relabeling by arbitrary permutations; however, for $k>1$, the ordinary deletion maps on partitions no longer preserve divisibility, and so a random deletion procedure is needed to obtain a partition structure. We describe explicit Chinese restaurant-type seating rules for generating families of exchangeable $k$-divisible partitions that are consistent under random deletion. We further introduce the notion of {\em Markovian partition structures}, which are ensembles of exchangeable Markov chains on $k$-divisible partitions that are consistent under a random process of {\em Markovian deletion}. The Markov chains we study are reversible and refine the class of Markov chains introduced in {\em J.\ Appl.\ Probab.}~{\bf48}(3):778--791.