arXiv++ Combinatorics

Given a graph $G$, let $\mathrm{diam}(G)$ be the greatest distance between any two vertices of $G$ which lie in the same connected component, and let $\mathrm{diam}^+(G)$ be the greatest distance between any two vertices of $G$; so $\mathrm{diam}^+(G)=\infty$ if $G$ is not connected. Fix a sequence $(d_1,\ldots,d_n)$ of positive integers, and let $\mathbf{G}$ be a uniformly random connected simple graph with $V(\mathbf{G})=[n]:=\{1,\ldots,n\}$ such that $\mathrm{deg}_{\mathbf{G}}(v)=d_v$ for all $v \in [n]$. We show that, unless a $1-o(1)$ proportion of vertices have degree $2$, then $\mathbb{E}[\mathrm{diam}(\mathbf{G})]=O(\sqrt{n})$. It is not hard to see that this bound is best possible for general degree sequences (and in particular in the case of trees, in which $\sum_{v=1}^n d_v = 2(n-1)$). We also prove that this bound holds without the connectivity constraint. As a key input to the proofs, we show that graphs with minimum degree $3$ are with high probability connected and have logarithmic diameter: if $\min(d_1,\ldots,d_n) \ge 3$ and $\mathbf{G}$ is a uniformly random simple graph with $V(\mathbf{G})=[n]$ such that $\mathrm{deg}_{\mathbf{G}}(v)=d_v$ for all $v \in [n]$, then $\mathrm{diam}^+(\mathbf{G})=$ $O_{\mathbb{P}}(\log n)$; this bound is also best possible.

Given two non-empty graphs $H$ and $T$, write $H\succcurlyeq T$ to mean that $t(H,G)^{|E(T)|}\geq t(T,G)^{|E(H)|}$ for every graph $G$, where $t(\cdot,\cdot)$ is the homomorphism density function. We obtain various necessary and sufficient conditions for two trees $H$ and $T$ to satisfy $H\succcurlyeq T$ and determine all such pairs on at most 8 vertices. This extends results of Leontovich and Sidorenko from the 1980s and 90s. Our approach applies an information-theoretic technique to reduce the problem of showing that $H\succcurlyeq T$ for two forests $H$ and $T$ to solving a linear program of Kopparty and Rossman. We also characterize trees $H$ which satisfy $H\succcurlyeq S_k$ or $H\succcurlyeq P_4$, where $S_k$ is the $k$-vertex star and $P_4$ is the $4$-vertex path and resolve a problem of Csikvári and Lin.

A sequence $π_1,π_2,\dots$ of permutations is said to be "quasirandom" if the induced density of every permutation $σ$ in $π_n$ converges to $1/|σ|!$ as $n\to\infty$. We prove that $π_1,π_2,\dots$ is quasirandom if and only if the density of each permutation $σ$ in the set $$\{123,321,2143,3412,2413,3142\}$$ converges to $1/|σ|!$. Previously, the smallest cardinality of a set with this property, called a "quasirandom-forcing" set, was known to be between four and eight. In fact, we show that there is a single linear expression of the densities of the six permutations in this set which forces quasirandomness and show that this is best possible in the sense that there is no shorter linear expression of permutation densities with positive coefficients with this property. In the language of theoretical statistics, this expression provides a new nonparametric independence test for bivariate continuous distributions related to Spearman's $ρ$.