arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

7100 papers tagged with this keyword
2017-01-23 v3
First order sentences about random graphs: small number of alternations
Published • View Publication • BIB
Spectrum of a first order sentence is the set of all $α$ such that $G(n, n^{-α})$ does not obey zero-one law w.r.t. this sentence. We have proved that the minimal number of quantifier alternations of a first order sentence with an infinite spectrum equals 3. We have also proved that the spectrum of a first order sentence with a quantifier depth 4 has no limit points except possibly the points 1/2 and 3/5.
Union of Random Trees and Applications
Published • View Publication • BIB
In 1986, Janson showed that the number of edges in the union of $k$ random spanning trees in the complete graph $K_n$ is a shifted Poisson distribution. Using results from the theory of electrical networks, we provide a new proof of this result, and we obtain an explicit rate of convergence. This rate of convergence allows us to show a new upper tail bound on the number of trees in $G(n,p)$, for $p$ a constant not depending on $n$. The number of edges in the union of $k$ random trees is related to moments of the number of spanning trees in $G(n, p)$. As an application, we prove the law of the iterated logarithm for the number of spanning trees in $G(n,p)$. More precisely, consider the infinite random graph $G(\mathbb{N}, p)$, with vertex set $\mathbb{N}$ and where each edge appears independently with constant probability $p$. By restricting to $\{1, 2, \dotsc, n\}$, we obtain a series of nested Erdös-Réyni random graphs $G(n,p)$. We show that a scaled version of the number of spanning trees satisfies the law of the iterated logarithm.
2017-01-18 v2
Convergence of the free Boltzmann quadrangulation with simple boundary to the Brownian disk
Published • View Publication • BIB
We prove that the free Boltzmann quadrangulation with simple boundary and fixed perimeter, equipped with its graph metric, natural area measure, and the path which traces its boundary converges in the scaling limit to the free Boltzmann Brownian disk. The topology of convergence is the so-called Gromov-Hausdorff-Prokhorov-uniform (GHPU) topology, the natural analog of the Gromov-Hausdorff topology for curve-decorated metric measure spaces. From this we deduce that a random quadrangulation of the sphere decorated by a $2l$-step self-avoiding loop converges in law in the GHPU topology to the random curve-decorated metric measure space obtained by gluing together two independent Brownian disks along their boundaries.
2017-01-18 v4
Convergence of percolation on uniform quadrangulations with boundary to SLE$_{6}$ on $\sqrt{8/3}$-Liouville quantum gravity
Published • View Publication • BIB
Let $Q$ be a free Boltzmann quadrangulation with simple boundary decorated by a critical ($p=3/4$) face percolation configuration. We prove that the chordal percolation exploration path on $Q$ between two marked boundary edges converges in the scaling limit to chordal SLE$_6$ on an independent $\sqrt{8/3}$-Liouville quantum gravity disk (equivalently, a Brownian disk). The topology of convergence is the Gromov-Hausdorff-Prokhorov-uniform topology, the natural analog of the Gromov-Hausdorff topology for curve-decorated metric measure spaces. We also obtain analogous scaling limit results for face percolation on the uniform infinite half-plane quadrangulation with simple boundary, and for site percolation on a uniform triangulation with simple boundary. Our method of proof is robust and, up to certain technical steps, extends to any percolation model on a random planar map which can be explored via peeling.
2017-01-17 v4
Independent sets in hypergraphs and Ramsey properties of graphs and the integers
Published • View Publication • BIB
Many important problems in combinatorics and other related areas can be phrased in the language of independent sets in hypergraphs. Recently Balogh, Morris and Samotij, and independently Saxton and Thomason developed very general container theorems for independent sets in hypergraphs; both of which have seen numerous applications to a wide range of problems. In this paper we use the container method to give relatively short and elementary proofs of a number of results concerning Ramsey (and Turán) properties of (hyper)graphs and the integers. In particular: (i) We generalise the random Ramsey theorem of Rödl and Ruciński by providing a resilience analogue. Our result unifies and generalises several fundamental results in the area including the random version of Turán's theorem due to Conlon and Gowers and Schacht. (ii) The above result also resolves a general subcase of the asymmetric random Ramsey conjecture of Kohayakawa and Kreuter. (iii) All of the above results in fact hold for uniform hypergraphs. (iv) For a (hyper)graph $H$, we determine, up to an error term in the exponent, the number of $n$-vertex (hyper)graphs $G$ that have the Ramsey property with respect to $H$ (that is, whenever $G$ is $r$-coloured, there is a monochromatic copy of $H$ in $G$). (v) We strengthen the random Rado theorem of Friedgut, Rödl and Schacht by proving a resilience version of the result. (vi) For partition regular matrices $A$ we determine, up to an error term in the exponent, the number of subsets of $\{1,\dots,n\}$ for which there exists an $r$-colouring which contains no monochromatic solutions to $Ax=0$. Along the way a number of open problems are posed.
2017-01-17 v2
A linear threshold for uniqueness of solutions to random jigsaw puzzles
Published in Combinator. Probab. Comp. 28 (2019) 287-302 • View Publication • BIB
We consider a problem introduced by Mossel and Ross [Shotgun assembly of labeled graphs, arXiv:1504.07682]. Suppose a random $n\times n$ jigsaw puzzle is constructed by independently and uniformly choosing the shape of each "jig" from $q$ possibilities. We are given the shuffled pieces. Then, depending on $q$, what is the probability that we can reassemble the puzzle uniquely? We say that two solutions of a puzzle are similar if they only differ by permutation of duplicate pieces, and rotation of rotationally symmetric pieces. In this paper, we show that, with high probability, such a puzzle has at least two non-similar solutions when $2\leq q \leq \frac{2}{\sqrt{e}}n$, all solutions are similar when $q\geq (2+\varepsilon)n$, and the solution is unique when $q=ω(n)$.
2017-01-16 v2
The phases of large networks with edge and triangle constraints
Published • View Publication • BIB
Based on numerical simulation and local stability analysis we describe the structure of the phase space of the edge/triangle model of random graphs. We support simulation evidence with mathematical proof of continuity and discontinuity for many of the phase transitions. All but one of themany phase transitions in this model break some form of symmetry, and we use this model to explore how changes in symmetry are related to discontinuities at these transitions.
The flip Markov chain for connected regular graphs
Published • View Publication • BIB
Mahlmann and Schindelhauer (2005) defined a Markov chain which they called $k$-Flipper, and showed that it is irreducible on the set of all connected regular graphs of a given degree (at least 3). We study the 1-Flipper chain, which we call the flip chain, and prove that the flip chain converges rapidly to the uniform distribution over connected $2r$-regular graphs with $n$ vertices, where $n\geq 8$ and $r = r(n)\geq 2$. Formally, we prove that the distribution of the flip chain will be within $\varepsilon$ of uniform in total variation distance after $\text{poly}(n,r,\log(\varepsilon^{-1}))$ steps. This polynomial upper bound on the mixing time is given explicitly, and improves markedly on a previous bound given by Feder et al.(2006). We achieve this improvement by using a direct two-stage canonical path construction, which we define in a general setting. This work has applications to decentralised networks based on random regular connected graphs of even degree, as a self-stabilising protocol in which nodes spontaneously perform random flips in order to repair the network.
2017-01-13
On Sidorenko's conjecture for determinants and Gaussian Markov random fields
Published • View Publication • BIB
We study a class of determinant inequalities that are closely related to Sidorenko's famous conjecture (Also conjectured by Erd\H os and Simonovits in a different form). Our results can also be interpreted as entropy inequalities for Gaussian Markov random fields (GMRF). We call a GMRF on a finite graph $G$ homogeneous if the marginal distributions on the edges are all identical. We show that if $G$ satisfies Sidorenko's conjecture then the differential entropy of any homogeneous GMRF on $G$ is at least $|E(G)|$ times the edge entropy plus $|V(G)|-2|E(G)|$ times the point entropy. We also prove this inequality in a large class of graphs for which Sidorenko's conjecture is not verified including the so-called Möbius ladder: $K_{5,5}\setminus C_{10}$. The connection between Sidorenko's conjecture and GMRF's is established via a large deviation principle on high dimensional spheres combined with graph limit theory.
Modularity of complex networks models
Published • View Publication • BIB
Modularity is designed to measure the strength of division of a network into clusters (known also as communities). Networks with high modularity have dense connections between the vertices within clusters but sparse connections between vertices of different clusters. As a result, modularity is often used in optimization methods for detecting community structure in networks, and so it is an important graph parameter from a practical point of view. Unfortunately, many existing non-spatial models of complex networks do not generate graphs with high modularity; on the other hand, spatial models naturally create clusters. We investigate this phenomenon by considering a few examples from both sub-classes. We prove precise theoretical results for the classical model of random d-regular graphs as well as the preferential attachment model, and contrast these results with the ones for the spatial preferential attachment (SPA) model that is a model for complex networks in which vertices are embedded in a metric space, and each vertex has a sphere of influence whose size increases if the vertex gains an in-link, and otherwise decreases with time. The results obtained in this paper can be used for developing statistical tests for models selection and to measure statistical significance of clusters observed in complex networks.
The heavy path approach to Galton-Watson trees with an application to Apollonian networks
Published • View Publication • BIB
We study the heavy path decomposition of conditional Galton-Watson trees. In a standard Galton-Watson tree conditional on its size $n$, we order all children by their subtree sizes, from large (heavy) to small. A node is marked if it is among the $k$ heaviest nodes among its siblings. Unmarked nodes and their subtrees are removed, leaving only a tree of marked nodes, which we call the $k$-heavy tree. We study various properties of these trees, including their size and the maximal distance from any original node to the $k$-heavy tree. In particular, under some moment condition, the $2$-heavy tree is with high probability larger than $cn$ for some constant $c > 0$, and the maximal distance from the $k$-heavy tree is $O(n^{1/(k+1)})$ in probability. As a consequence, for uniformly random Apollonian networks of size $n$, the expected size of the longest simple path is $Ω(n)$.
2017-01-10 v2
Clique colourings of geometric graphs
Published • View Publication • BIB
A clique colouring of a graph is a colouring of the vertices such that no maximal clique is monochromatic (ignoring isolated vertices). The least number of colours in such a colouring is the clique chromatic number. Given $n$ points $x_1, \ldots,x_n$ in the plane, and a threshold $r>0$, the corresponding geometric graph has vertex set $\{v_1,\ldots,v_n\}$, and distinct $v_i$ and $v_j$ are adjacent when the Euclidean distance between $x_i$ and $x_j$ is at most $r$. We investigate the clique chromatic number of such graphs. We first show that the clique chromatic number is at most 9 for any geometric graph in the plane, and briefly consider geometric graphs in higher dimensions. Then we study the asymptotic behaviour of the clique chromatic number for the random geometric graph $RG$ in the plane, where $n$ random points are independently and uniformly distributed in a suitable square. We see that as $r$ increases from 0, with high probability the clique chromatic number is 1 for very small $r$, then 2 for small $r$, then at least 3 for larger $r$, and finally drops back to 2.
2017-01-06
A Note on Sparse Supersaturation and Extremal Results for Linear Homogeneous Systems
Published • View Publication • BIB
We study the thresholds for the property of containing a solution to a linear homogeneous system in random sets. We expand a previous sparse Szémeredi-type result of Schacht to the broadest class of matrices possible. We also provide a shorter proof of a sparse Rado result of Friedgut, Rödl, Ruciński and Schacht based on a hypergraph container approach due to Nenadov and Steger. Lastly we further extend these results to include some solutions with repeated entries using a notion of non-trivial solutions due to Rúzsa as well as Rué et al.
2017-01-06 v2
A non-increasing tree growth process for recursive trees and applications
Published • View Publication • BIB
We introduce a non-increasing tree growth process $((T_n,σ_n),\, n\ge 1)$, where $T_n$ is a rooted labeled tree on $n$ vertices and $σ_n$ is a permutation of the vertex labels. The construction of $(T_{n},σ_n)$ from $(T_{n-1},σ_{n-1})$ involves rewiring a random (possibly empty) subset of edges in $T_{n-1}$ towards the newly added vertex; as a consequence $T_{n-1} \not\subset T_n$ with positive probability. The key feature of the process is that the shape of $T_n$ has the same law as that of a random recursive tree, while the degree distribution of any given vertex is not monotonous in the process. We present two applications. First, while couplings between Kingman's coalescent and random recursive trees where known for any fixed $n$, this new process provides a non-standard coupling of all finite Kingman's coalescents. Second, we use the new process and the Chen-Stein method to extend the well-understood properties of degree distribution of random recursive trees to extremal-range cases. Namely, we obtain convergence rates on the number of vertices with degree at least $c\ln n$, $c\in (1,2)$, in trees with $n$ vertices. Further avenues of research are discussed.
2017-01-03
Coloring graphs of various maximum degree from random lists
Published • View Publication • BIB
Let $G=G(n)$ be a graph on $n$ vertices with maximum degree $Δ=Δ(n)$. Assign to each vertex $v$ of $G$ a list $L(v)$ of colors by choosing each list independently and uniformly at random from all $k$-subsets of a color set $\mathcal{C}$ of size $σ= σ(n)$. Such a list assignment is called a \emph{random $(k,\mathcal{C})$-list assignment}. In this paper, we are interested in determining the asymptotic probability (as $n \to \infty$) of the existence of a proper coloring $\varphi$ of $G$, such that $\varphi(v) \in L(v)$ for every vertex $v$ of $G$, a so-called $L$-coloring. We give various lower bounds on $σ$, in terms of $n$, $k$ and $Δ$, which ensures that with probability tending to 1 as $n \to \infty$ there is an $L$-coloring of $G$. In particular, we show, for all fixed $k$ and growing $n$, that if $σ(n) = ω(n^{1/k^2} Δ^{1/k})$ and $Δ=O\left(n^{\frac{k-1}{k(k^3+ 2k^2 - k +1)}}\right)$, then the probability that $G$ has an $L$-coloring tends to 1 as $n \rightarrow \infty$. If $k\geq 2$ and $Δ= Ω(n^{1/2})$, then the same conclusion holds provided that $σ=ω(Δ)$. We also give related results for other bounds on $Δ$, when $k$ is constant or a strictly increasing function of $n$.
2017-01-01 v3
BPS/CFT Correspondence III: Gauge Origami partition function and qq-characters
Published • View Publication • BIB
We study generalized gauge theories engineered by taking the low energy limit of the $Dp$ branes wrapping $X \times T^{p-3}$, with $X$ a possibly singular surface in a Calabi-Yau fourfold $Z$. For toric $Z$ and $X$ the partition function can be computed by localization, making it a statistical mechanical model, called the gauge origami. The random variables are the ensembles of Young diagrams. The building block of the gauge origami is associated with a tetrahedron, whose edges are colored by vector spaces. We show the properly normalized partition function is an entire function of the Coulomb moduli, for generic values of the $Ω$-background parameters. The orbifold version of the theory defines the $qq$-character operators, with and without the surface defects. The analytic properties are the consequence of a relative compactness of the moduli spaces $M({\vec n}, k)$ of crossed and spiked instantons, demonstrated in arXiv:1608.07272.
2016-12-29 v2
Many cliques in $H$-free subgraphs of random graphs
Published • View Publication • BIB
For two fixed graphs $T$ and $H$ let $ex(G(n,p),T,H)$ be the random variable counting the maximum number of copies of $T$ in an $H$-free subgraph of the random graph $G(n,p)$. We show that for the case $T=K_m$ and $χ(H)> m$ the behavior of $ex(G(n,p),K_m,H)$ depends strongly on the relation between $p$ and $m_2(H)=\max_{H'\subset H, |V(H')|'\geq 3}\left\{ \frac{e(H')-1}{v(H')-2} \right\}$. When $m_2(H)> m_2(K_m)$ we prove that with high probability, depending on the value of $p$, either one can maintain almost all copies of $K_m$, or it is asymptotically best to take a $χ(H)-1$ partite subgraph of $G(n,p)$. The transition between these two behaviors occurs at $p=n^{-1/m_2(H)}$. When $m_2(H)< m_2(K_m)$ we show that the above cases still exist, however for $δ>0$ small at $p=n^{-1/m_2(H)+δ}$ one can typically still keep most of the copies of $K_m$ in an $H$-free subgraph of $G(n,p)$. Thus, the transition between the two behaviors in this case occurs at some $p$ significantly bigger than $n^{-1/m_2(H)}$. To show that the second case is not redundant we present a construction which may be of independent interest. For each $k \geq 4$ we construct a family of $k$ chromatic graphs $G(k,ε_i)$ where $m_2(G(k,ε_i))$ tends to $\frac{(k+1)(k-2)}{2(k-1)} (< m_2(K_{k-1}))$ as $i$ tends to infinity. This is tight for all values of $k$
2016-12-27
Upper tails for arithmetic progressions in random subsets
Published in Israel Journal of Mathematics, 221 (2017), 317-365 • View Publication • BIB
We study the upper tail of the number of arithmetic progressions of a given length in a random subset of {1,...,n}, establishing exponential bounds which are best possible up to constant factors in the exponent. The proof also extends to Schur triples, and, more generally, to the number of edges in random induced subhypergraphs of `almost linear' k-uniform hypergraphs.
2016-12-27 v2
On the missing log in upper tail estimates
Published in Journal of Combinatorial Theory Series B 140 (2020), 98-146 • View Publication • BIB
In the late 1990s, Kim and Vu pioneered an inductive method for showing concentration of certain random variables X. Shortly afterwards, Janson and Ruci{ń}ski developed an alternative inductive approach, which often gives comparable results for the upper tail Pr(X \ge (1+\eps) E[X]). In some cases, both methods yield upper tail estimates which are best possible up to a logarithmic factor in the exponent, but closing this narrow gap has remained a technical challenge. In this paper we present a BK-inequality based combinatorial sparsification idea that can recover this missing logarithmic term in the upper tail. As an illustration, we consider random subsets of the integers {1,...,n}, and prove sharp upper tail estimates for various objects of interest in additive combinatorics. Examples include the number of arithmetic progressions, Schur triples, additive quadruples, and (r,s)-sums.
2016-12-27
Upper triangular matrix walk: Cutoff for finitely many columns
Published • View Publication • BIB
We consider random walk on the group of uni-upper triangular matrices with entries in $\mathbb{F}_2$ which forms an important example of a nilpotent group. Peres and Sly (2013) proved tight bounds on the mixing time of this walk up to constants. It is well known that the single column projection of this chain is the one dimensional East process. In this article, we complement the Peres-Sly result by proving a cutoff result for the mixing of finitely many columns in the upper triangular matrix walk at the same location as the East process of the same dimension. Moreover, we also show that the spectral gaps of the matrix walk and the East process are equal. The proof of the cutoff result is based on a recursive argument which uses a local version of a dual process appearing in Peres and Sly (2013), various combinatorial consequences of mixing and concentration results for the movement of the front in the one dimensional East process.