arXiv++ Combinatorics

For a random variable $X$ define $Q(X) = \sup_{x \in \mathbb{R}} \mathbb{P}(X=x)$. Let $X_1, \dots, X_n$ be independent integer random variables. Suppose $Q(X_i) \le α_i \in (0,1]$ for each $i \in \{1, \dots, n\}$. Juškevičius (2023) conjectured that $Q(X_1 + \dots +X_n) \le Q(Y_1 + \dots+ Y_n)$ where $Y_1, \dots, Y_n$ are independent and $Y_i$ is a random integer variable with $Q(Y_i) =α_i$ that has the smallest variance, i.e. the distribution of $Y_i$ has probabilities $α_i, \dots, α_i, β_i$ or probabilities $β_i, α_i, \dots, α_i$ on some interval of integers, where $0 \le β_i < α_i$. We prove this conjecture asymptotically: i.e., we show that for each $δ> 0$ there is $V_0 = V_0(δ)$ such that if ${\mathrm Var} (\sum Y_i) \ge V_0$ then $Q(\sum X_i) \le (1+δ) Q(\sum Y_i)$. This implies an analogous asymptotically optimal inequality for concentration at a point when $X_1$, $\dots$, $X_n$ take values in a separable Hilbert space. Our long and technical argument relies on several non-trivial previous results including an inverse Littlewood--Offord theorem and an approximation in total variation distance of sums of multivariate lattice random vectors by a discretized Gaussian distribution.

Which permutations of a probability distribution on integers minimize variance? Let $X$ be a random variable on a set of integers $\{x_1, \dots, x_N\}$ such that $\mathbb{P}(X_i = x_i) = p_i$, $i \in \{1,\dots,N\}$. Let $(p^{(1)}, \dots, p^{(N)})$ be the sequence $(p_1, \dots, p_N)$ ordered non-increasingly. Let $X^+$ be the random variable defined by $\mathbb{P}(X^+=0)=p^{(1)}$, $\mathbb{P}(X^+=1) = p^{(2)}$, $\mathbb{P}(X^+=-1)=p^{(3)}, \dots, \mathbb{P}(X^+=(-1)^N \lfloor \frac {N} 2 \rfloor)=p^{(N)}$. In this short note we generalize and prove the inequality $\mathrm{Var}\, X^+ \le \mathrm{Var}\, X$.

In this paper we give anticoncentration bounds for sums of independent random vectors in finite-dimensional vector spaces. In particular, we asymptotically establish a conjecture of Leader and Radcliffe (1994) and a question of Jones (1978). The highlight of this work is an application of the strong perfect graph theorem by Chudnovsky, Robertson, Seymour and Thomas (2003) in the context of anticoncentration.

We give a simple proof of a generalization of an inequality for homomorphism counts by Sidorenko (1994). A special case of our inequality says that if $d_v$ denotes the degree of a vertex $v$ in a graph $G$ and $\textrm{Hom}_Δ(H, G)$ denotes the number of homomorphisms from a connected graph $H$ on $h$ vertices to $G$ which map a particular vertex of $H$ to a vertex $v$ in $G$ with $d_v \ge Δ$, then $ \textrm{Hom}_Δ(H,G) \le \sum_{v\in G} d_v^{h-1}\mathbf{1}_{d_v\ge Δ} $ We use this inequality to study the minimum sample size needed to estimate the number of copies of $H$ in $G$ by sampling vertices of $G$ at random.

Let $X_1,\ldots,X_n$ be independent identically distributed random vectors in $\mathbb{R}^d$. We consider upper bounds on $\max_x \mathbb{P}(a_1X_1+\cdots+a_nX_n=x)$ under various restrictions on $X_i$ and the weights $a_i$. When $\mathbb{P}(X_i=\pm 1) = \frac {1} {2}$, this corresponds to the classical Littlewood-Offord problem. We prove that in general for identically distributed random vectors and even values of $n$ the optimal choice for $(a_i)$ is $a_i=1$ for $i\leq \frac{n}{2}$ and $a_i=-1$ for $i > \frac {n} 2$, regardless of the distribution of $X_1$. Applying these results for Bernoulli random variables answers a recent question of Fox, Kwan and Sauermann. Finally, we provide sharp bounds for concentration probabilities of sums of random vectors under the condition $\sup_{x}\mathbb{P}(X_i=x)\leq α$, where it turns out that the worst case scenario is provided by distributions on an arithmetic progression that are in some sense as close to the uniform distribution as possible. An important feature of this work is that unlike much of the literature on the subject we use neither methods of harmonic analysis nor those from extremal combinatorics.

A road interchange where $n$ roads meet and in which the drivers are not allowed to change lanes can be modelled as an embedding of a 2-coloured (hence bipartite) multigraph $G$ with equal-sized colour classes into an orientable surface such that there is a face bounded by a Hamiltonian cycle (Kurauskas, 2017). The case of $G$ a complete bipartite graph $K_{n,n}$ corresponds to a complete $n$-way interchange where drivers approaching from each of $n$ directions can exit to any other direction. The genus of the underlying surface can be interpreted as the number of bridges in the interchange. In this paper we study the minimum genus, or the minimum number of bridges, of a complete interchange with a restriction that it is symmetric under the cyclic permutation of its roads. We consider both (a) abstract combinatorial/topological symmetry, and (b) symmetry in the 3-dimensional Euclidean space $\mathbb{R}^3$. The proof of (a) is based on the classic voltage and transition graph constructions. For (b) we use, among other techniques, a simple new combinatorial lower bound.

For even $n$ we prove that the genus of the complete tripartite graph $K_{n,n,1}$ is $\lceil (n-1) (n-2)/4 \rceil$. This is the least number of bridges needed to build a complete $n$-way road interchange where changing lanes is not allowed. Both the theoretical result, and the surprising link to modelling road intersections are new.

For a random intersection graph with a power law degree sequence having a finite mean and an infinite variance we show that the global clustering coefficient admits a tunable asymptotic distribution.

We use an inequality of Sidorenko to show a general relation between local and global subgraph counts and degree moments for locally weakly convergent sequences of sparse random graphs. This yields an optimal criterion to check when the asymptotic behaviour of graph statistics such as the clustering coefficient and assortativity is determined by the local weak limit. As an application we obtain new facts for several common models of sparse random intersection graphs where the local weak limit, as we see here, is a simple random clique tree corresponding to a certain two-type Galton-Watson branching process.

Let ${\rm ex \,} {\mathcal B}$ be a minor-closed class of graphs with a set ${\mathcal B}$ of minimal excluded minors. We study (a) the asymptotic number of graphs without $k+1$ disjoint minors in ${\mathcal B}$ and (b) the properties of a uniformly random graph drawn from all such graphs on vertices $\{1,\dots,n\}$. We present new results in the case when ${\rm ex \,} {\mathcal B}$ contains arbitrarily large fans for a general (good enough) set of forbidden minors ${\mathcal B}$. A particular case where our results hold is ${\mathcal B} = \{K_4\}$. For any fixed $k = 1, 2, \dots$ we derive precise asymptotic counting formulas and describe the structure of typical graphs that have at most $k$ disjoint minors $K_4$. For $k = 0$ this is the well-known class of series-parallel graphs. For $k \ge 1$ we show that typical instances have an elaborate tree-like structure with $2k+1$ special vertices of very high degree. The proofs combine a variety of methods, including new structural results, Robertson and Seymour's graph minor theory and analytic combinatorics.

Given positive integers n and m, and a probability measure P on {0, 1, ..., m} the random intersection graph G(n,m,P) on vertex set V = {1,2, ..., n} and with attribute set W = {w_1, w_2, ..., w_m} is defined as follows. Let S_1, S_2, ..., S_n be independent random subsets of W such that for any v \in V and any S \subseteq W we have \pr(S_v = S) = P(|S|) / \binom (m, |S|). The edge set of G(n,m,P) consists of those pairs {u,v} V for which S_u and S_v intersect. We study the asymptotic order of the clique number ω(G(n,m,P)) in random intersection graphs with bounded expected degrees. For instance, in the case m = Θ(n) we show that if the vertex degree distribution is power-law with exponent α\in (1;2), then the maximum clique is of a polynomial size, while if the variance of the degrees is bounded, then the maximum clique has (ln n)/(ln ln n) (1 + o_P(1)) vertices whp. In each case there is a polynomial algorithm which finds a clique of size ω(G(n,m,P)) (1-o_P(1)).

We consider sparse random intersection graphs with the property that the clustering coefficient does not vanish as the number of nodes tends to infinity. We find explicit asymptotic expressions for the correlation coefficient of degrees of adjacent nodes (called the assortativity coefficient), the expected number of common neighbours of adjacent nodes, and the expected degree of a neighbour of a node of a given degree k. These expressions are written in terms of the asymptotic degree distribution and, alternatively, in terms of the parameters defining the underlying random graph model.

A commonly used characteristic of statistical dependence of adjacency relations in real networks, the clustering coefficient, evaluates chances that two neighbours of a given vertex are adjacent. An extension is obtained by considering conditional probabilities that two randomly chosen vertices are adjacent given that they have r common neighbours. We denote such probabilities cl(r) and call r-> cl(r) the clustering function. We compare clustering functions of several networks having non-negligible clustering coefficient. They show similar patterns and surprising regularity. We establish a first order asymptotic (as the number of vertices tends to infinity) of the clustering function of related random intersection graph models admitting nonvanishing clustering coefficient and asymptotic degree distribution having a finite second moment.

The classical Erdős-Pósa theorem states that for each positive integer k there is an f(k) such that, in each graph G which does not have k+1 disjoint cycles, there is a blocker of size at most f(k); that is, a set B of at most f(k) vertices such that G-B has no cycles. We show that, amongst all such graphs on vertex set {1,..,n}, all but an exponentially small proportion have a blocker of size k. We also give further properties of a random graph sampled uniformly from this class; concerning uniqueness of the blocker, connectivity, chromatic number and clique number. A key step in the proof of the main theorem is to show that there must be a blocker as in the Erdős-Pósa theorem with the extra `redundancy' property that B-v is still a blocker for all but at most k vertices v in B.