arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

7100 papers tagged with this keyword
2018-06-10 v3
The best constant in the Khinchine inequality for slightly dependent random variables
We compute the best constant in the Khintchine inequality under assumption that the sum of Rademacher random variables is zero.
2018-06-10
An asymmetric container lemma and the structure of graphs with no induced $4$-cycle
Published • View Publication • BIB
The method of hypergraph containers, introduced recently by Balogh, Morris, and Samotij, and independently by Saxton and Thomason, has proved to be an extremely useful tool in the study of various monotone graph properties. In particular, a fairly straightforward application of this technique allows one to locate, for each non-bipartite graph $H$, the threshold at which the distribution of edges in a typical $H$-free graph with a given number of edges undergoes a transition from 'random-like' to 'structured'. On the other hand, for non-monotone hereditary graph properties the standard version of this method does not allow one to establish even the existence of such a threshold. In this paper we introduce a refinement of the container method that takes into account the asymmetry between edges and non-edges in a sparse member of a hereditary graph property. As an application, we determine the approximate structure of a typical graph with $n$ vertices, $m$ edges, and no induced copy of the $4$-cycle, for each function $m = m(n)$ satisfying $n^{4/3} (\log n)^4 \leqslant m \ll n^2$. We show that almost all such graphs $G$ have the following property: the vertex set of $G$ can be partitioned into an 'almost-independent' set (a set with $o(m)$ edges) and an 'almost-clique' (a set inducing a subgraph with density $1-o(1)$). The lower bound on $m$ is optimal up to a polylogarithmic factor, as standard arguments show that if $n \ll m \ll n^{4/3}$, then almost all such graphs are 'random-like'. As a further consequence, we deduce that the random graph $G(n,p)$ conditioned to contain no induced $4$-cycles undergoes phase transitions at $p = n^{-2/3 + o(1)}$ and $p = n^{-1/3 + o(1)}$.
2018-06-10 v4
The distribution of sandpile groups of random regular graphs
Published in Transactions of the American Mathematical Society, 373(9), 6529-6594., 2020 • View Publication • BIB
We study the distribution of the sandpile group of random d-regular graphs. For the directed model, we prove that it follows the Cohen-Lenstra heuristics, that is, the limiting probability that the $p$-Sylow subgroup of the sandpile group is a given $p$-group $P$, is proportional to $|Aut(P)|^{-1}$. For finitely many primes, these events get independent in the limit. Similar results hold for undirected random regular graphs, where for odd primes the limiting distributions are the ones given by Clancy, Leake and Payne. This answers an open question of Frieze and Vu whether the adjacency matrix of a random regular graph is invertible with high probability. Note that for directed graphs this was recently proved by Huang. It also gives an alternate proof of a theorem of Backhausz and Szegedy.
2018-06-08
On simple connectivity of random 2-complexes
Published • View Publication • BIB
The fundamental group of the $2$-dimensional Linial-Meshulam random simplicial complex $Y_2(n,p)$ was first studied by Babson, Hoffman and Kahle. They proved that the threshold probability for simple connectivity of $Y_2(n,p)$ is about $p\approx n^{-1/2}$. In this paper, we show that this threshold probability is at most $p\le (γn)^{-1/2}$, where $γ= 4^4/3^3$, and conjecture that this threshold is sharp. In fact, we show that $p=(γn)^{-1/2}$ is a sharp threshold probability for the stronger property that every cycle of length $3$ is the boundary of a subcomplex of $Y_2(n,p)$ that is homeomorphic to a disk. Our proof uses the Poisson paradigm, and relies on a classical result of Tutte on the enumeration of planar triangulations.
2018-06-07 v2
Correlation bounds for fields and matroids
Published in Journal of the European Mathematical Society 24 (2022), 1335-1351 • View Publication • BIB
Let $G$ be a finite connected graph, and let $T$ be a spanning tree of $G$ chosen uniformly at random. The work of Kirchhoff on electrical networks can be used to show that the events $e_1 \in T$ and $e_2 \in T$ are negatively correlated for any distinct edges $e_1$ and $e_2$. What can be said for such events when the underlying matroid is not necessarily graphic? We use Hodge theory for matroids to bound the correlation between the events $e \in B$, where $B$ is a randomly chosen basis of a matroid. As an application, we prove Mason's conjecture that the number of $k$-element independent sets of a matroid forms an ultra-log-concave sequence in $k$.
2018-06-07 v2
A Sharp Threshold for Bootstrap Percolation in a Random Hypergraph
Published • View Publication • BIB
Given a hypergraph $\mathcal{H}$, the $\mathcal{H}$-bootstrap process starts with an initial set of infected vertices of $\mathcal{H}$ and, at each step, a healthy vertex $v$ becomes infected if there exists a hyperedge of $\mathcal{H}$ in which $v$ is the unique healthy vertex. We say that the set of initially infected vertices percolates if every vertex of $\mathcal{H}$ is eventually infected. We show that this process exhibits a sharp threshold when $\mathcal{H}$ is a hypergraph obtained by randomly sampling hyperedges from an approximately $d$-regular $r$-uniform hypergraph satisfying some mild degree and codegree conditions; this confirms a conjecture of Morris. As a corollary, we obtain a sharp threshold for a variant of the graph bootstrap process for strictly $2$-balanced graphs which generalises a result of Korándi, Peled and Sudakov. Our approach involves an application of the differential equations method.
2018-06-06
Topology of random d-clique complexes
For a simplicial complex $X$, the $d$-clique complex $Δ_d(X)$ is the simplicial complex having all subsets of vertices whose $(d + 1)$-subsets are contained by $X$ as its faces. We prove that if $p = n^α$, with $α< \max\{\frac{-1}{k-d +1},-\frac{d+1}{\binom{k}{d}}\}$ or $α> \frac{-1}{\binom{2k+2}{d}}$, then the $k$-th reduced homology group of the random $d$-clique complex $Δ_d(G_d(n,p))$ is asymptotically almost surely vanishing, and if $\frac{-1}{t} < α< \frac{-1}{t+1}$ where $t = (\frac{(d+1)(k+1)}{\binom{(d+1)(k+1)}{d+1}-(k+1)})^{-1}$, then the $(kd + d -1)$-st reduced homology group of $Δ_d(G_d(n,p))$ is asymptotically almost surely nonvanishing. This provides a partial answer to a question posed by Eric Babson.
2018-06-04 v3
Invertibility of adjacency matrices for random d-regular directed graphs
Published • View Publication • BIB
Let $d\geq 3$ be a fixed integer, and a prime number $p$ such that $\gcd(p,d)=1$. Let $A$ be the adjacency matrix of a random $d$-regular directed graph on $n$ vertices. We show that as a random matrix in ${\mathbb F}_p$, \begin{equation} {\mathbb P}(\text{$A$ is singular in ${\mathbb F}_p$})\leq \frac{1+{\mathrm{o}}(1)}{p-1}, \end{equation} as $n$ goes to infinity. As a consequence, as a random matrix in $\mathbb R$, \begin{equation} {\mathbb P}(\text{$A$ is singular in $\mathbb R$})={\mathrm{o}}(1) \end{equation} as $n$ goes to infinity. This answers an open problem by Frieze [12] and Vu [29,30], for random $d$-regular bipartite graphs. The proof combines a local central limit theorem and a large deviation estimate.
2018-06-02 v3
Batch Codes for Asynchronous Recovery of Data
Published • View Publication • BIB
We propose a new model of asynchronous batch codes that allow for parallel recovery of information symbols from a coded database in an asynchronous manner, i.e. when queries arrive at random times and they take varying time to process. We show that the graph-based batch codes studied by et al. are asynchronous. Further, we demonstrate that hypergraphs of Berge girth larger or equal to 4, respectively larger or equal to 3, yield graph-based asynchronous batch codes, respectively private information retrieval (PIR) codes. We prove the hypergraph-theoretic proposition that the maximum number of hyperedges in a hypergraph of a fixed Berge girth equals the quantity in a certain generalization of the hypergraph-theoretic (6,3)-problem, first posed by Brown, Erdős and Sós. We then apply the constructions and bounds by Erdős, Frankl and Rödl about this generalization of the (6,3)-problem, known as the (3$\varrho$-3,$\varrho$)-problem, to obtain batch code constructions and bounds on the redundancy of the graph-based asynchronous batch and PIR codes. We derive bounds on the optimal redundancy of several families of asynchronous batch codes with the query size $t=2$. In particular, we show that the optimal redundancy $ρ(k)$ of graph-based asynchronous batch codes of dimension $k$ for $t=2$ is $2\sqrt{k}$. Moreover, for graph-based asynchronous batch codes with $t \ge 3$, $ρ(k) = O\left({k}^{1/(2-ε)}\right)$ for any small $ε>0$.
2018-06-02
Random integral matrices: universality of surjectivity and the cokernel
Published • View Publication • BIB
For a random matrix of entries sampled independently from a fairly general distribution in Z we study the probability that the cokernel is isomorphic to a given finite abelian group, or when it is cyclic. This includes the probability that the linear map between the integer lattices given by the matrix is surjective. We show that these statistics are asymptotically universal (as the size of the matrix goes to infinity), given by precise formulas involving zeta values, and agree with distributions defined by Cohen and Lenstra, even when the distribution of matrix entries is very distorted. Our method is robust and works for Laplacians of random digraphs and sparse matrices with the probability of an entry non-zero only n^{-1+epsilon}.
2018-06-01
The lemniscate tree of a random polynomial
Published • View Publication • BIB
To each generic complex polynomial $p(z)$ there is associated a labeled binary tree (here referred to as a "lemniscate tree") that encodes the topological type of the graph of $|p(z)|$. The branching structure of the lemniscate tree is determined by the configuration (i.e., arrangement in the plane) of the singular components of those level sets $|p(z)|=t$ passing through a critical point. In this paper, we address the question "How many branches appear in a typical lemniscate tree?" We answer this question first for a lemniscate tree sampled uniformly from the combinatorial class and second for the lemniscate tree arising from a random polynomial generated by i.i.d. zeros. From a more general perspective, these results take a first step toward a probabilistic treatment (within a specialized setting) of Arnold's program of enumerating algebraic Morse functions.
2018-05-29 v2
A law of large numbers for the range of rotor walks on periodic trees
The aim of the current work is to prove a law of large numbers for the range size of recurrent rotor walks with random initial configuration on a general class of trees, called periodic trees or directed covers of graphs.
Probabilistic nilpotence in infinite groups
Published in Israel J. Math. 244 (2021), 539-588 • View Publication • BIB
The 'degree of k-step nilpotence' of a finite group G is the proportion of the tuples (x_1,...,x_{k+1}) in G^{k+1} for which the simple commutator [x_1,...,x_{k+1}] is equal to the identity. In this paper we study versions of this for an infinite group G, with the degree of nilpotence defined by sampling G in various natural ways, such as with a random walk, or with a Folner sequence if G is amenable. In our first main result we show that if G is finitely generated then the degree of k-step nilpotence is positive if and only if G is virtually k-step nilpotent. This generalises both an earlier result of the second author treating the case k=1 and a result of Shalev for finite groups, and uses techniques from both of these earlier results. We also show, using the notion of polynomial mappings of groups developed by Leibman and others, that to a large extent the degree of nilpotence does not depend on the method of sampling. As part of our argument we generalise a result of Leibman by showing that if f is a polynomial mapping into a torsion-free nilpotent group then the set of roots of f is sparse in a certain sense. In our second main result we consider the case where G is residually finite but not necessarily finitely generated. Here we show that if the degree of k-step nilpotence of the finite quotients of G is uniformly bounded from below then G is virtually k-step nilpotent, answering a question of Shalev. As part of our proof we show that degree of nilpotence of finite groups is sub-multiplicative with respect to quotients, generalising a result of Gallagher.
2018-05-27
Preferential Attachment When Stable
Published in Adv. Appl. Probab. 51 (2019) 1067-1108 • View Publication • BIB
We study an urn process with two urns, initialized with a ball each. Balls are added sequentially, the urn being chosen independently with probability proportional to the $α^{th}$ power $(α>1)$ of the existing number of balls. We study the (rare) event that the urn compositions are balanced after the addition of $2n-2$ new balls. We derive precise asymptotics of the probability of this event by embedding the process in continuous time. Quite surprisingly, a fine control on this probability may be leveraged to derive a lower tail Large Deviation Principle (LDP) for $L = \sum_{i=1}^{n} \frac{S_i^2}{i^2}$, where $\{S_n : n \geq 0\}$ is a simple symmetric random walk started at zero. We provide an alternate proof of the LDP via coupling to Brownian motion, and subsequent derivation of the LDP for a continuous time analogue of $L$. Finally, we turn our attention back to the urn process conditioned to be balanced, and provide a functional limit law describing the trajectory of the urn process.
Powers of Hamiltonian cycles in randomly augmented graphs
Published in Random Structures Algorithms 56 (2020), no. 1, 122-141 • View Publication • BIB
We study the existence of powers of Hamiltonian cycles in graphs with large minimum degree to which some additional edges have been added in a random manner. It follows from the theorems of Dirac and of Komlós, Sarközy, and Szemerédi that for every $k\geq 1$ and sufficiently large $n$ already the minimum degree $δ(G)\ge\tfrac{k}{k+1}n$ for an $n$-vertex graph $G$ alone suffices to ensure the existence of a $k$-th power of a Hamiltonian cycle. Here we show that under essentially the same degree assumption the addition of just $O(n)$ random edges ensures the presence of the $(k+1)$-st power of a Hamiltonian cycle with probability close to one.
Fairest edge usage and minimum expected overlap for random spanning trees
Published • View Publication • BIB
Random spanning trees of a graph $G$ are governed by a corresponding probability mass distribution (or "law"), $μ$, defined on the set of all spanning trees of $G$. This paper addresses the problem of choosing $μ$ in order to utilize the edges as "fairly" as possible. This turns out to be equivalent to minimizing, with respect to $μ$, the expected overlap of two independent random spanning trees sampled with law $μ$. In the process, we introduce the notion of homogeneous graphs. These are graphs for which it is possible to choose a random spanning tree so that all edges have equal usage probability. The main result is a deflation process that identifies a hierarchical structure of arbitrary graphs in terms of homogeneous subgraphs, which we call homogeneous cores. A key tool in the analysis is the spanning tree modulus, for which there exists an algorithm based on minimum spanning tree algorithms, such as Kruskal's or Prim's.
Rectangular Young tableaux with local decreases and the density method for uniform random generation (short version)
Published in GASCom 2018, Jun 2018, Athens, Greece. 2018 • Search Publication
In this article, we consider a generalization of Young tableaux in which we allow some consecutive pairs of cells with decreasing labels. We show that this leads to a rich variety of combinatorial formulas, which suggest that these new objects could be related to deeper structures, similarly to the ubiquitous Young tableaux. Our methods rely on variants of hook-length type formulas, and also on a new efficient generic method (which we call the density method) which allows not only to generate constrained combinatorial objects, but also to enumerate them. We also investigate some repercussions of this method on the D-finiteness of the generating functions of combinatorial objects encoded by linear extension diagrams, and give a limit law result for the average number of local decreases.
2018-05-23 v2
Statistical properties of lambda terms
Published • View Publication • BIB
We present a quantitative, statistical analysis of random lambda terms in the de Bruijn notation. Following an analytic approach using multivariate generating functions, we investigate the distribution of various combinatorial parameters of random open and closed lambda terms, including the number of redexes, head abstractions, free variables or the de Bruijn index value profile. Moreover, we conduct an average-case complexity analysis of finding the leftmost-outermost redex in random lambda terms showing that it is on average constant. The main technical ingredient of our analysis is a novel method of dealing with combinatorial parameters inside certain infinite, algebraic systems of multivariate generating functions. Finally, we briefly discuss the random generation of lambda terms following a given skewed parameter distribution and provide empirical results regarding a series of more involved combinatorial parameters such as the number of open subterms and binding abstractions in closed lambda terms.
2018-05-23 v4
Recursive functions on conditional Galton--Watson trees
Published • View Publication • BIB
A recursive function on a tree is a function in which each leaf has a given value, and each internal node has a value equal to a function of the number of children, the values of the children, and possibly an explicitly specified random element $U$. The value of the root is the key quantity of interest in general. In this first study, all node values and function values are in a finite set $S$. In this note, we describe the limit behavior when the leaf values are drawn independently from a fixed distribution on $S$, and the tree $T_n$ is a random Galton--Watson tree of size $n$.
2018-05-22 v2
On resilience of connectivity in the evolution of random graphs
Published • View Publication • BIB
In this note we establish a resilience version of the classical hitting time result of Bollobás and Thomason regarding connectivity. A graph $G$ is said to be $α$-resilient with respect to a monotone increasing graph property $\mathcal{P}$ if for every spanning subgraph $H \subseteq G$ satisfying $\mathrm{deg}_H(v) \leq α\cdot \mathrm{deg}_G(v)$ for all $v \in V(G)$, the graph $G - H$ still possesses $\mathcal{P}$. Let $\{G_i\}$ be the random graph process, that is a process where, starting with an empty graph on $n$ vertices $G_0$, in each step $i \geq 1$ an edge $e$ is chosen uniformly at random among the missing ones and added to the graph $G_{i - 1}$. We show that the random graph process is almost surely such that starting from $m \geq (\tfrac{1}{6} + o(1)) n \log n$, the largest connected component of $G_m$ is $(\tfrac{1}{2} - o(1))$-resilient with respect to connectivity. The result is optimal in the sense that the constants $1/6$ in the number of edges and $1/2$ in the resilience cannot be improved upon. We obtain similar results for $k$-connectivity.