arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
2019-12-05 v2
The Rado Simplicial Complex
Published • View PublicationBIB
A Rado simplicial complex X is a generalisation of the well-known Rado graph. X is a countable simplicial complex which contains any countable simplicial complex as its induced subcomplex. The Rado simplicial complex is highly symmetric, it is homogeneous: any isomorphism between finite induced subcomplexes can be extended to an isomorphism of the whole complex. We show that the Rado complex X is unique up to isomorphism and suggest several explicit constructions. We also show that a random simplicial complex on countably many vertices is a Rado complex with probability 1. The geometric realisation |X| of a Rado complex is contractible and is homeomorphic to an infinite dimensional simplex. We also prove several other interesting properties of the Rado complex X, for example we show that removing any finite set of simplexes of X gives a complex isomorphic to X.
2019-12-05
Infinite Paley graphs
Published • View PublicationBIB
Infinite analogues of the Paley graphs are constructed, based on uncountably many infinite but locally finite fields. Weil's estimate for character sums shows that they are all isomorphic to the random or universal graph of Erd\H os, Rényi and Rado. Automorphism groups and connections with model theory are considered.
2019-12-05 v2
Erdos-Littlewood-Offord problem with arbitrary probabilities
Published • View PublicationBIB
The classical Erdős-Littlewood-Offord problem concerns the random variable $X = a_1 ξ_1 + \dots + a_n ξ_n$, where $a_i \in \mathbb{R} \setminus \{0\}$ are fixed and $ξ_i \sim \text{Ber}(1/2)$ are independent. The Erdős-Littlewood-Offord theorem states that the maximum possible concentration probability $\max_{x \in \mathbb{R}} \Pr(X = x)$ is $\binom{n}{\lfloor n/2\rfloor} / 2^n$, achieved when the $a_i$ are all $1$. As proposed by Fox, Kwan, and Sauermann, we investigate the general case where $ξ_i \sim \text{Ber}(p)$ instead. Using purely combinatorial techniques, we show that the exact maximum concentration probability is achieved when $a_i \in \{-1, 1\}$ for each $i$. Then, using Fourier-analytic techniques, we investigate the optimal ratio of $1$s to $-1$s. Surprisingly, we find that in some cases, the numbers of $1$s and $-1$s can be far from equal.
2019-12-04
Enumerating the class of minimally path connected simplicial complexes
In 1983 Kalai proved an incredible generalisation of Cayley's formula for the number of trees on a labelled vertex set to a formula for a class of $r$-dimensional simplicial complexes. These simplicial complexes generalise trees by means of being homologically $\Bbb Q$-acyclic. In this text we consider a different generalisation of trees to the class of pure dimensional simplicial complexes that \textit{minimally connect a vertex set} (in the sense that the removal of any top dimensional face disconnects the complex). Our main result provides an upper and lower bound for the number of these minimally connected complexes on a labelled vertex set. We also prove that they are potentially vastly more topologically complex than the generalisation of Kalai. As an application of our bounds we compute the threshold probability for the connectivity of a random simplicial complex.
2019-12-03 v3
Hitting time of edge disjoint Hamilton cycles in random subgraph processes on dense base graphs
Published • View PublicationBIB
Consider the random subgraph process on a base graph $G$ on $n$ vertices: a sequence $\lbrace G_t \rbrace _{t=0} ^{|E(G)|}$ of random subgraphs of $G$ obtained by choosing an ordering of the edges of $G$ uniformly at random, and by sequentially adding edges to $G_0$, the empty graph on the vertex set of $G$, according to the chosen ordering. We show that if $G$ has one of the following properties: 1. There is a positive constant $\varepsilon > 0$ such that $δ(G) \geq \left( \frac{1}{2} + \varepsilon \right) n$; 2. There are some constants $α, β>0$ such that every two disjoint subsets $U,W$ of size at least $αn$ have at least $β|U||W|$ edges between them, and the minimum degree of $G$ is at least $(2α+ β)\cdot n$; or: 3. $G$ is an $(n,d,λ)$--graph, with $d\geq \frac{C\cdot n\cdot \log \log n}{\log n}$ and $λ\leq \frac{c\cdot d^2}{n}$ for some absolute constants $c,C>0$. then for a positive integer constant $k$ with high probability the hitting time of the property of containing $k$ edge disjoint Hamilton cycles is equal to the hitting time of having minimum degree at least $2k$. These results extend prior results by by Johansson and by Frieze and Krivelevich, and answer a question posed by Frieze.
Periodic Pólya Urns, the Density Method, and Asymptotics of Young Tableaux
Published • View PublicationBIB
Pólya urns are urns where at each unit of time a ball is drawn and replaced with some other balls according to its colour. We introduce a more general model: the replacement rule depends on the colour of the drawn ball and the value of the time ($\operatorname{mod} p$). We extend the work of Flajolet et al. on Pólya urns: the generating function encoding the evolution of the urn is studied by methods of analytic combinatorics. We show that the initial partial differential equations lead to ordinary linear differential equations which are related to hypergeometric functions (giving the exact state of the urns at time n). When the time goes to infinity, we prove that these periodic Pólya urns have asymptotic fluctuations which are described by a product of generalized gamma distributions. With the additional help of what we call the density method (a method which offers access to enumeration and random generation of poset structures), we prove that the law of the south-east corner of a triangular Young tableau follows asymptotically a product of generalized gamma distributions. This allows us to tackle some questions related to the continuous limit of large random Young tableaux and links with random surfaces.
2019-11-29 v3
Maximum likelihood estimation for discrete exponential families and random graphs
Published • View PublicationBIB
We characterize the existence of the maximum likelihood estimator for discrete exponential families. Our criterion is simple to apply as we show in various settings, most notably for exponential models of random graphs. As an application, we point out the size of independent identically distributed samples for which the maximum likelihood estimator exists with high probability.
2019-11-29 v2
On strong infinite Sidon and $B_h$ sets and random sets of integers
Published • View PublicationBIB
A set of integers $S \subset \mathbb{N}$ is an $α$-strong Sidon set if the pairwise sums of its elements are far apart by a certain measure depending on $α$, more specifically if $| (x+w) - (y+z) | \geq \max \{ x^α,y^α,z^α,w^α\}$ for every $x,y,z,w \in S$ satisfying $\max \{x,w\} \neq \max \{y,z\}$. We obtain a new lower bound for the growth of $α$-strong infinite Sidon sets when $0 \leq α< 1$. We also further extend that notion in a natural way by obtaining the first non-trivial bound for $α$-strong infinite $B_h$ sets. In both cases, we study the implications of these bounds for the density of, respectively, the largest Sidon or $B_h$ set contained in a random infinite subset of $\mathbb{N}$. Our theorems improve on previous results by Kohayakawa, Lee, Moreira and Rödl.
2019-11-28 v2
Universality of random permutations
Published • View PublicationBIB
It is a classical fact that for any $\varepsilon > 0$, a random permutation of length $n = (1 + \varepsilon) k^2 / 4$ typically contains a monotone subsequence of length $k$. As a far-reaching generalization, Alon conjectured that a random permutation of this same length $n$ is typically $k$-universal, meaning that it simultaneously contains every pattern of length $k$. He also made the simple observation that for $n = O(k^2 \log k)$, a random length-$n$ permutation is typically $k$-universal. We make the first significant progress towards Alon's conjecture by showing that $n = 2000 k^2 \log \log k$ suffices.
2019-11-25 v2
On the central limit theorem for the two-sided descent statistics in Coxeter groups
In 2018, Kahle and Stump raised the following problem: identify sequences of finite Coxeter groups $W_n$ for which the two-sided descent statistics on a uniform random element of $W_n$ is asymptotically normal. Recently, Brück and Röttger provided an almost-complete answer, assuming some regularity condition on the sequence $W_n$. In this note, we provide a shorter proof of their result, which does not require any regularity condition. The main new proof ingredient is the use of the second Wasserstein distance on probability distributions, based on the work of Mallows (1972).
Depth First Exploration of a Configuration Model
Published • View PublicationBIB
We introduce an algorithm that constructs a random uniform graph with prescribed degree sequence together with a depth first exploration of it. In the so-called supercritical regime where the graph contains a giant component, we prove that the renormalized contour process of the Depth First Search Tree has a deterministic limiting profile that we identify. The proof goes through a detailed analysis of the evolution of the empirical degree distribution of unexplored vertices. This evolution is driven by an infinite system of differential equations which has a unique and explicit solution. As a byproduct, we deduce the existence of a macroscopic simple path and get a lower bound on its length.
2019-11-22 v2
Reaching a Consensus on Random Networks: The Power of Few
A community of $n$ individuals splits into two camps, Red and Blue. The individuals are connected by a social network, which influences their colors. Everyday, each person changes his/her color according to the majority among his/her neighbors. Red (Blue) wins if everyone in the community becomes Red (Blue) at some point. We study this process when the underlying network is the random Erdos-Renyi graph $G(n, p)$. With a balanced initial state ($n/2$ person in each camp), it is clear that each color wins with the same probability. Our study reveals that for any constants $p$ and $\varepsilon$, there is a constant $C$ such that if one camp has $n/2 +C$ individuals, then it wins with probability at least $1 - \varepsilon$. The surprising key fact here is that $C$ does not depend on $n$, the population of the community. When $p=1/2$ and $\varepsilon =.1$, one can set $C$ as small as 6. If the aim of the process is to choose a candidate, then this means it takes only $6$ "defectors" to win an election unanimously with overwhelming odd.
Uniform chain decompositions and applications
Published • View PublicationBIB
The Boolean lattice $2^{[n]}$ is the family of all subsets of $[n]=\{1,\dots,n\}$ ordered by inclusion, and a chain is a family of pairwise comparable elements of $2^{[n]}$. Let $s=2^{n}/\binom{n}{\lfloor n/2\rfloor}$, which is the average size of a chain in a minimal chain decomposition of $2^{[n]}$. We prove that $2^{[n]}$ can be partitioned into $\binom{n}{\lfloor n/2\rfloor}$ chains such that all but at most $o(1)$ proportion of the chains have size $s(1+o(1))$. This asymptotically proves a conjecture of Füredi from 1985. Our proof is based on probabilistic arguments. To analyze our random partition we develop a weighted variant of the graph container method. Using this result, we also answer a Kalai-type question raised recently by Das, Lamaison and Tran. What is the minimum number of forbidden comparable pairs forcing that the largest subfamily of $2^{[n]}$ not containing any of them has size at most $\binom{n}{\lfloor n/2\rfloor}$? We show that the answer is $(\sqrt{\fracπ{8}}+o(1))2^{n}\sqrt{n}$. Finally, we discuss how these uniform chain decompositions can be used to optimize and simplify various results in extremal set theory.
2019-11-21 v3
A note on the rank of a sparse random matrix
Let $\mathbf{A}_{n,m;k}$ be a random $n \times m$ matrix with entries from some field $\mathbb{F}$ where there are exactly $k$ non-zero entries in each column, whose locations are chosen independently and uniformly at random from the set of all ${n \choose k}$ possibilities. In a previous paper (arXiv:1806.04988), we considered the rank of a random matrix in this model when the field is $\mathbb{F}=GF(2)$. In this note, we point out that with minimal modifications, the arguments from that paper actually allow analogous results when the field $\mathbb{F}$ is arbitrary. In particular, for any field $\mathbb{F}$ and any fixed $k\geq 3$, we determine an asymptotically correct estimate for the rank of $\mathbf{A}_{n,m;k}$ in terms of $c,n,k$ where $m=cn/k$, and $c$ is a constant. This formula works even when the values of the nonzero elements are adversarially chosen. When $\mathbb{F}$ is a finite field, we also determine the threshold for having full row rank, when the values of the nonzero elements are randomly chosen.
2019-11-21 v2
A time-invariant random graph with splitting events
Published in Electronic Communications in Probability 26 (2021) • View PublicationBIB
We introduce a process where a connected rooted multigraph evolves by splitting events on its vertices, occurring randomly in continuous time. When a vertex splits, its incoming edges are randomly assigned between its offspring and a Poisson random number of edges are added between them. The process is parametrised by a positive real $λ$ which governs the limiting average degree. We show that for each value of $λ$ there is a unique random connected rooted multigraph $M(λ)$ invariant under this evolution. As a consequence, starting from any finite graph $G$ the process will almost surely converge in distribution to $M(λ)$, which does not depend on $G$. We show that this limit has finite expected size. The same process naturally extends to one in which connectedness is not necessarily preserved, and we give a sharp threshold for connectedness of this version. This is an asynchronous version, which is more realistic from the real-world network point of view, of a process we studied in arXiv:1506.02697, arXiv:1703.09011.
2019-11-21 v3
A randomized construction of high girth regular graphs
Published • View PublicationBIB
We describe a new random greedy algorithm for generating regular graphs of high girth: Let $k\geq 3$ and $c \in (0,1)$ be fixed. Let $n \in \mathbb{N}$ be even and set $g = c \log_{k-1} (n)$. Begin with a Hamilton cycle $G$ on $n$ vertices. As long as the smallest degree $δ(G)<k$, choose, uniformly at random, two vertices $u,v \in V(G)$ of degree $δ(G)$ whose distance is at least $g-1$. If there are no such vertex pairs, abort. Otherwise, add the edge $uv$ to $E(G)$. We show that with high probability this algorithm yields a $k$-regular graph with girth at least $g$. Our analysis also implies that there are $\left( Ω(n) \right)^{kn/2}$ labeled $k$-regular $n$-vertex graphs with girth at least $g$.
2019-11-20 v7
Sparse random tensors: Concentration, regularization and applications
Published in Electron. J. Statist. 15(1): 2483-2516 (2021) • View PublicationBIB
We prove a non-asymptotic concentration inequality for the spectral norm of sparse inhomogeneous random tensors with Bernoulli entries. For an order-$k$ inhomogeneous random tensor $T$ with sparsity $p_{\max}\geq \frac{c\log n}{n }$, we show that $\|T-\mathbb E T\|=O(\sqrt{n p_{\max}}\log^{k-2}(n))$ with high probability. The optimality of this bound up to polylog factors is provided by an information theoretic lower bound. By tensor unfolding, we extend the range of sparsity to $p_{\max}\geq \frac{c\log n}{n^{m}}$ with $1\leq m\leq k-1$ and obtain concentration inequalities for different sparsity regimes. We also provide a simple way to regularize $T$ such that $O(\sqrt{n^{m}p_{\max}})$ concentration still holds down to sparsity $p_{\max}\geq \frac{c}{n^{m}}$ with $k/2\leq m\leq k-1$. We present our concentration and regularization results with two applications: (i) a randomized construction of hypergraphs of bounded degrees with good expander mixing properties, (ii) concentration of sparsified tensors under uniform sampling.
2019-11-19 v3
Second class particles and limit shapes of evacuation and sliding paths for random tableaux
Published in Doc. Math. 27, 2183-2273 (2022) • View PublicationBIB
We investigate two closely related setups. In the first one we consider a TASEP-style system of particles with specified initial and final configurations. The probability of each history of the system is assumed to be equal. We show that the rescaled trajectory of the \emph{second class particle} converges (as the size of the system tends to infinity) to a random arc of an ellipse. In the second setup we consider a uniformly random Young tableau of square shape and look for typical (in the sense of probability) sliding paths and evacuation paths in the asymptotic setting as the size of the square tends to infinity. We show that the probability distribution of such paths converges to a random meridian connecting the opposite corners of the square. We also discuss analogous results for non-square Young tableaux.
2019-11-19 v2
Turán-type problems for long cycles in random and pseudo-random graphs
Published • View PublicationBIB
We study the Turán number of long cycles in random graphs and in pseudo-random graphs. Denote by $ex(G(n,p),H)$ the random variable counting the number of edges in a largest subgraph of $G(n,p)$ without a copy of $H$. We determine the asymptotic value of $ex(G(n,p), C_t)$ where $C_t$ is a cycle of length $t$, for $p\geq \frac Cn$ and $A \log n \leq t \leq (1 - \varepsilon)n$. The typical behavior of $ex(G(n,p), C_t)$ depends substantially on the parity of $t$. In particular, our results match the classical result of Woodall on the Turán number of long cycles, and can be seen as its random version, showing that the transference principle holds here as well. In fact, our techniques apply in a more general sparse pseudo-random setting. We also prove a robustness-type result, showing the likely existence of cycles of prescribed lengths in a random subgraph of a graph with a nearly optimal density.
2019-11-19
Probabilistic Properties of GIG Digraphs
We study the probabilistic properties of the Greatest Increase Grid (GIG) digraph. We compute the probability of a particular sequence of directed edges connecting two random vertices. We compute the joint probability that a set of vertices are all sinks, and derive the mean and variance in the number of sinks in a randomly labeled GIG digraph. Finally, we show that the expected size of the maximum component of vertices converges.