arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
2020-07-06 v3
Sharp Poincaré and log-Sobolev inequalities for the switch chain on regular bipartite graphs
Published • View PublicationBIB
Consider the switch chain on the set of $d$-regular bipartite graphs on $n$ vertices with $3\leq d\leq n^{c}$, for a small universal constant $c>0$. We prove that the chain satisfies a Poincaré inequality with a constant of order $O(nd)$; moreover, when $d$ is fixed, we establish a log-Sobolev inequality for the chain with a constant of order $O_d(n\log n)$. We show that both results are optimal. The Poincaré inequality implies that in the regime $3\leq d\leq n^c$ the mixing time of the switch chain is at most $O\big((nd)^2 \log(nd)\big)$, improving on the previously known bound $O\big((nd)^{13} \log(nd)\big)$ due to Kannan, Tetali and Vempala and $O\big(n^7d^{18} \log(nd)\big)$ obtained by Dyer et al. The log-Sobolev inequality that we establish for constant $d$ implies a bound $O(n\log^2 n)$ on the mixing time of the chain which, up to the $\log n$ factor, captures a conjectured optimal bound. Our proof strategy relies on building, for any fixed function on the set of $d$-regular bipartite simple graphs, an appropriate extension to a function on the set of multigraphs given by the configuration model. We then establish a comparison procedure with the well studied random transposition model in order to obtain the corresponding functional inequalities. While our method falls into a rich class of comparison techniques for Markov chains on different state spaces, the crucial feature of the method - dealing with chains with a large distortion between their stationary measures - is a novel addition to the theory.
Hamiltonicity of random subgraphs of the hypercube
Published • View PublicationBIB
We study Hamiltonicity in random subgraphs of the hypercube $\mathcal{Q}^n$. Our first main theorem is an optimal hitting time result. Consider the random process which includes the edges of $\mathcal{Q}^n$ according to a uniformly chosen random ordering. Then, with high probability, as soon as the graph produced by this process has minimum degree $2k$, it contains $k$ edge-disjoint Hamilton cycles, for any fixed $k\in\mathbb{N}$. Secondly, we obtain a perturbation result: if $H\subseteq\mathcal{Q}^n$ satisfies $δ(H)\geqαn$ with $α>0$ fixed and we consider a random binomial subgraph $\mathcal{Q}^n_p$ of $\mathcal{Q}^n$ with $p\in(0,1]$ fixed, then with high probability $H\cup\mathcal{Q}^n_p$ contains $k$ edge-disjoint Hamilton cycles, for any fixed $k\in\mathbb{N}$. In particular, both results resolve a long standing conjecture, posed e.g. by Bollobás, that the threshold probability for Hamiltonicity in the random binomial subgraph of the hypercube equals $1/2$. Our techniques also show that, with high probability, for all fixed $p\in(0,1]$ the graph $\mathcal{Q}^n_p$ contains an almost spanning cycle. Our methods involve branching processes, the Rödl nibble, and absorption.
2020-07-05 v4
Subgraph probability of random graphs with specified degrees and applications to chromatic number and connectivity
Published • View PublicationBIB
Given a graphical degree sequence ${\bf d}=(d_1,\ldots, d_n)$, let $G(n, {\bf d})$ denote a uniformly random graph on vertex set $[n]$ where vertex $ i$ has degree $d_i$ for every $1\le i\le n$. We give upper and lower bounds on the joint probability of an arbitrary set of edges in $G(n,{\bf d})$. These upper and lower bounds are approximately what one would get in the configuration model, and thus the analysis in the configuration model can be translated directly to $G(n,{\bf d})$, without conditioning on that the configuration model produces a simple graph. Many existing results of $G(n,{\bf d})$ in the literature can be significantly improved with simpler proofs, by applying this new probabilistic tool. One example we give is about the chromatic number of $G(n,{\bf d})$. In another application, we use these joint probabilities to study the connectivity of $G(n,{\bf d})$. When $Δ^2=o(M)$ where $Δ$ is the maximum component of ${\bf d}$, we fully characterise the connectivity phase transition of $G(n,{\bf d})$. We also give sufficient conditions for $G(n,{\bf d})$ being connected when $Δ$ is unrestricted.
2020-07-05 v3
Angle sums of Schläfli orthoschemes
Published • View PublicationBIB
We consider the simplices $$ K_n^A=\{x\in\mathbb{R}^{n+1}:x_1\ge x_2\ge \ldots\ge x_{n+1},x_1-x_{n+1}\le 1,x_1+\ldots+x_{n+1}=0\} $$ and $$ K_n^B=\{x\in\mathbb{R}^n:1\ge x_1\ge x_2\ge \ldots\ge x_n\ge 0\}, $$ which are called the Schläfli orthoschemes of types $A$ and $B$, respectively. We describe the tangent cones at their $j$-faces and compute explicitly the sum of the conic intrinsic volumes of these tangent cones at all $j$-faces of $K_n^A$ and $K_n^B$. This setting contains sums of external and internal angles of $K_n^A$ and $K_n^B$ as special cases. The sums are evaluated in terms of Stirling numbers of both kinds. We generalize these results to finite products of Schläfli orthoschemes of type $A$ and $B$ and, as a probabilistic consequence, derive formulas for the expected number of $j$-faces of the Minkowski sums of the convex hulls of a finite number of Gaussian random walks and random bridges. Furthermore, we evaluate the analogous angle sums for the tangent cones of Weyl chambers of types $A$ and $B$ and finite products thereof.
2020-07-04 v2
A gentle introduction to the differential equation method and dynamic concentration
Published • View PublicationBIB
We discuss the differential equation method for establishing dynamic concentration of discrete random processes. We present several relatively simple examples of it and aim to make the method understandable to the unfamiliar reader who has some basic knowledge on probabilistic methods, random graphs and differential equations.
2020-07-02
Bimonotone Subdivisions of Point Configurations in the Plane
Published in Alg. Stat. 12 (2021) 125-138 • View PublicationBIB
Bimonotone subdivisions in two dimensions are subdivisions all of whose sides are either vertical or have nonnegative slope. They correspond to statistical estimates of probability distributions of strongly positively dependent random variables. The number of bimonotone subdivisions compared to the total number of subdivisions of a point configuration provides insight into how often the random variables are positively dependent. We give recursions as well as formulas for the numbers of bimonotone and total subdivisions of $2\times n$ grid configurations in the plane. Furthermore, we connect the former to the large Schröder numbers. We also show that the numbers of bimonotone and total subdivisions of a $2\times n$ grid are asymptotically equal. We then provide algorithms for counting bimonotone subdivisions for any $m \times n$ grid. Finally, we prove that all bimonotone triangulations of an $m \times n$ grid are connected by flips. This gives rise to an algorithm for counting the number of bimonotone (and total) triangulations of an $m\times n$ grid.
2020-07-01 v4
On asymptotic properties of high moments of compound Poisson distribution
We study asymptotic behavior of the moments $M_k(λ)$ of the sum $X_1+\dots+X_{N_λ}$, where $N_λ$ follows the Poisson probability distribution with mean value $λ$ and $\{X_j\}$ is a family of i.i.d. random variables also independent from $N_λ$. We obtain an explicit expression for the leading term of $M_k(λ)$ as $k\to\infty$ and study it in dependence of the asymptotic behavior of $λ= λ_k$. In application, we establish a concentration property of maximal vertex degree of large weighted random graphs. Another application is related with a variable that arises in the studies of high moments of large random matrices. Finally, regarding three particular cases of probability distribution of $X_j$, we comment on the asymptotic behavior of certain combinatorial polynomials, including the Bell polynomials of even partitions.
2020-07-01 v2
Almost all optimally coloured complete graphs contain a rainbow Hamilton path
Published • View PublicationBIB
A subgraph $H$ of an edge-coloured graph is called rainbow if all of the edges of $H$ have different colours. In 1989, Andersen conjectured that every proper edge-colouring of $K_{n}$ admits a rainbow path of length $n-2$. We show that almost all optimal edge-colourings of $K_{n}$ admit both (i) a rainbow Hamilton path and (ii) a rainbow cycle using all of the colours. This result demonstrates that Andersen's Conjecture holds for almost all optimal edge-colourings of $K_{n}$ and answers a recent question of Ferber, Jain, and Sudakov. Our result also has applications to the existence of transversals in random symmetric Latin squares.
2020-07-01
A simple bipartite graph projection model for clustering in networks
Graph datasets are frequently constructed by a projection of a bipartite graph, where two nodes are connected in the projection if they share a common neighbor in the bipartite graph; for example, a coauthorship graph is a projection of an author-publication bipartite graph. Analyzing the structure of the projected graph is common, but we do not have a good understanding of the consequences of the projection on such analyses. Here, we propose and analyze a random graph model to study what properties we can expect from the projection step. Our model is based on a Chung-Lu random graph for constructing the bipartite representation, which enables us to rigorously analyze the projected graph. We show that common network properties such as sparsity, heavy-tailed degree distributions, local clustering at nodes, the inverse relationship between node degree, and global transitivity can be explained and analyzed through this simple model. We also develop a fast sampling algorithm for our model, which we show is provably optimal for certain input distributions. Numerical simulations where model parameters come from real-world datasets show that much of the clustering behavior in some datasets can just be explained by the projection step.
2020-06-30 v4
Proof of Tomaszewski's Conjecture on Randomly Signed Sums
Published • View PublicationBIB
We prove the following conjecture, due to Tomaszewski (1986): Let $X= \sum_{i=1}^{n} a_{i} x_{i}$, where $\sum_i a_i^2=1$ and each $x_i$ is a uniformly random sign. Then $\Pr[|X|\leq 1] \geq 1/2$. Our main novel tools are local concentration inequalities and an improved Berry-Esseen inequality for Rademacher sums.
2020-06-29
Asymptotic enumeration of digraphs and bipartite graphs by degree sequence
Published • View PublicationBIB
We provide asymptotic formulae for the numbers of bipartite graphs with given degree sequence, and of loopless digraphs with given in- and out-degree sequences, for a wide range of parameters. Our results cover medium range densities and close the gaps between the results known for the sparse and dense ranges. In the case of bipartite graphs, these results were proved by Greenhill, McKay and Wang in 2006 and by Canfield, Greenhill and McKay in 2008, respectively. Our method also essentially covers the sparse range, for which much less was known in the case of loopless digraphs. For the range of densities which our results cover, they imply that the degree sequence of a random bipartite graph with m edges is accurately modelled by a sequence of independent binomial random variables, conditional upon the sum of variables in each part being equal to m. A similar model also holds for loopless digraphs.
2020-06-28
Central limit theorems for local network statistics
Published • View PublicationBIB
Subgraph counts - in particular the number of occurrences of small shapes such as triangles - characterize properties of random networks, and as a result have seen wide use as network summary statistics. However, subgraphs are typically counted globally, and existing approaches fail to describe vertex-specific characteristics. On the other hand, rooted subgraph counts - counts focusing on any given vertex's neighborhood - are fundamental descriptors of local network properties. We derive the asymptotic joint distribution of rooted subgraph counts in inhomogeneous random graphs, a model which generalizes many popular statistical network models. This result enables a shift in the statistical analysis of large graphs, from estimating network summaries, to estimating models linking local network structure and vertex-specific covariates. As an example, we consider a school friendship network and show that local friendship patterns are significant predictors of gender and race.
2020-06-26
Limit theory of combinatorial optimization for random geometric graphs
Published • View PublicationBIB
In the random geometric graph $G(n,r_n)$, $n$ vertices are placed randomly in Euclidean $d$-space and edges are added between any pair of vertices distant at most $r_n$ from each other. We establish strong laws of large numbers (LLNs) for a large class of graph parameters, evaluated for $G(n,r_n)$ in the thermodynamic limit with $nr_n^d =$ const., and also in the dense limit with $n r_n^d \to \infty$, $r_n \to 0$. Examples include domination number, independence number, clique-covering number, eternal domination number and triangle packing number. The general theory is based on certain subadditivity and superadditivity properties, and also yields LLNs for other functionals such as the minimum weight for the travelling salesman, spanning tree, matching, bipartite matching and bipartite travelling salesman problems, for a general class of weight functions with at most polynomial growth of order $d-\varepsilon$, under thermodynamic scaling of the distance parameter.
Covering $3$-edge-coloured random graphs with monochromatic trees
Published • View PublicationBIB
We investigate the problem of determining how many monochromatic trees are necessary to cover the vertices of an edge-coloured random graph. More precisely, we show that for $p\gg n^{-1/6}{(\ln n)}^{1/6}$, in any $3$-edge-colouring of the random graph $G(n,p)$ we can find three monochromatic trees such that their union covers all vertices. This improves, for three colours, a result of Bucić, Korándi and Sudakov.
2020-06-24
Connected cubic graphs with the maximum number of perfect matchings
Published in Journal of Graph Theory 99 (2022), no.4, 671--690 • View PublicationBIB
It is proved that for $n \geq 6$, the number of perfect matchings in a simple connected cubic graph on $2n$ vertices is at most $4 f_{n-1}$, with $f_n$ being the $n$-th Fibonacci number. The unique extremal graph is characterized as well. In addition, it is shown that the number of perfect matchings in any cubic graph $G$ equals the expected value of a random variable defined on all $2$-colorings of edges of $G$. Finally, an improved lower bound on the maximum number of cycles in a cubic graph is provided.
2020-06-24 v2
A Note on the Trace Method for Random Regular Graphs
Published in Israel Journal of Mathematics, 256, 269--282, 2023 • View PublicationBIB
The main goal of this note is to illustrate the advantage of analyzing the non-backtracking spectrum of a regular graph rather than the ordinary spectrum. We show that by switching to non-backtracking spectrum, the method of proof used in [Puder 2015, arXiv::1212.5216] yields a bound of $2\sqrt{d-1}+\frac{2}{\sqrt{d-1}}$ instead of the original $2\sqrt{d-1}+1$ on the second largest eigenvalue of a random $d$-regular graph.
2020-06-23
Increasing Subsequences and Kronecker Coefficients
Published • View PublicationBIB
It has been conjectured by W. Chen that the distribution of the length of the longest increasing subsequence in a uniformly random permutation is log-concave. We propose a stronger version of this conjecture which involves the Kronecker coefficients of the symmetric group.
Discrete correlations of order 2 of generalised Rudin-Shapiro sequences: a combinatorial approach
We introduce a family of block-additive automatic sequences, that are obtained by allocating a weight to each couple of digits, and defining the $n$th term of the sequence as being the total weight of the integer $n$ written in base $k$. Under an additional difference condition on the weight function, these sequences can be interpreted as generalised Rudin-Shapiro sequences, and we prove that they have the same correlations of order 2 as sequences of symbols chosen uniformly and independently at random. The speed of convergence is very fast and is independent of the prime factor decomposition of $k$. This extends recent work of Tahay. The proof relies on direct observations about base-$k$ representations of integers and combinatorial considerations. We also provide extensions of our results to higher-dimensional block-additive sequences.
The Unit Acquisition Number of Binomial Random Graphs
Published • View PublicationBIB
Let $G$ be a graph in which each vertex initially has weight 1. In each step, the unit weight from a vertex $u$ to a neighbouring vertex $v$ can be moved, provided that the weight on $v$ is at least as large as the weight on $u$. The unit acquisition number of $G$, denoted by $a_u(G)$, is the minimum cardinality of the set of vertices with positive weight at the end of the process (over all acquisition protocols). In this paper, we investigate the Erdős-Rényi random graph process $(\mathcal{G}(n,m))_{m =0}^{N}$, where $N = {n \choose 2}$. We show that asymptotically almost surely $a_u(\mathcal{G}(n,m)) = 1$ right at the time step the random graph process creates a connected graph. Since trivially $a_u(\mathcal{G}(n,m)) \ge 2$ if the graphs is disconnected, the result holds in the strongest possible sense.
2020-06-22 v2
Upper and Lower bounds for matrix discrepancy
Published • View PublicationBIB
The aim of this paper is to study the matrix discrepancy problem. Assume that $ξ_1,\ldots,ξ_n$ are independent scalar random variables with finite support and $\mathbf{u}_1,\ldots,\mathbf{u}_n\in \mathbb{C}^d$. Let $\mathcal{C}_0$ be the minimal constant for which the following holds: \[ {\rm Disc}(\mathbf{u}_1\mathbf{u}_1^*,\ldots,\mathbf{u}_n\mathbf{u}_n^*; ξ_1,\ldots,ξ_n)\,\,:=\,\,\min_{\varepsilon_1\in \mathcal{S}_1,\ldots,\varepsilon_n\in \mathcal{S}_n}\bigg\|\sum_{i=1}^n\mathbb{E}[ξ_i]\mathbf{u}_i\mathbf{u}_i^*-\sum_{i=1}^n\varepsilon_i\mathbf{u}_i\mathbf{u}_i^*\bigg\|\leq \mathcal{C}_0\cdotσ, \] where $σ^2 = \big\|\sum_{i=1}^n \mathbf{Var}[ξ_i](\mathbf{u}_i\mathbf{u}_i^*)^2\big\|$ and $\mathcal{S}_j$ denotes the support of $ξ_j, j=1,\ldots,n$. Motivated by the technology developed by Bownik, Casazza, Marcus, and Speegle, we prove $\mathcal{C}_0\leq 3$. This improves Kyng, Luh and Song's method with which $\mathcal{C}_0\leq 4$. For the case where $\{\mathbf{u}_i\}_{i=1}^n\subset \mathbb{C}^d$ is a unit-norm tight frame with $ n\leq 2d-1$ and $ξ_1,\ldots,ξ_n$ are independent Rademacher random variables, we present the exact value of ${\rm Disc}(\mathbf{u}_1\mathbf{u}_1^*,\ldots,\mathbf{u}_n\mathbf{u}_n^*; ξ_1,\ldots,ξ_n)=\sqrt{\frac{n}{d}}\cdotσ$, which implies $\mathcal{C}_0\geq \sqrt{2}$.