arXiv++ Combinatorics

In this paper we prove a generalisation of the concentration-of-measure phenomenon in the discrete cube. In this setting, the concentration-of-measure phenomenon states that for every subset $\mathcal{A}$ of the discrete cube, its sum with a Hamming ball of suitably large radius $r$ -- or equivalently, its $r$-expansion -- results in a substantial increase in measure. We define a notion of `$(γ,C)$-well-spread' for subsets of the discrete cube $\{0,1\}^n$ for which the following holds: for all $ε$, there exist constants $γ$ and $C$ such that for every $\mathcal{A}$ with $|\mathcal{A}| \geq \epsilon2^n$ and every $(γ,C)$-well-spread $S$, $|\mathcal{A} + S|$ is at least $(1-ε)2^n$. We use this result to prove new non-trivial upper bounds to two intersection problems: how many subsets (or subgraphs) can one take from $[n]$ or $[\binom{n}{2}]$ such that every pair's intersection contains some given substructure? We prove non-trivial upper bounds for the $C_4$-intersection problem and the $4$-AP-intersection problem. We also give upper bounds that tend to $0$ for the $H$-intersection problem and $k$-AP-intersection problem as the number of edges and $k$ tend to infinity. Previously, non-trivial upper bounds were only known for non-bipartite $H$ and nothing was known for the $k$-AP-intersection problem.

In the `Covering' pursuit game on a graph, a robber and a set of cops play alternately, with the cops each moving to an adjacent vertex (or not moving) and the robber moving to a vertex at distance at most 2 from his current vertex. The aim of the cops is to ensure that, after every one of their turns, there is a cop at the same vertex as the robber. How few cops are needed? Our main aim in this paper is to consider this problem for the two-dimensional grid $[n]^2$. Bollobás and Leader asked if the number of cops needed is $o(n^2)$. We answer this question by showing that $n^{1.999}$ cops suffice. We also consider some applications. In particular we study the game `Catching a Fast Robber', concerning the number of cops needed to catch a fast robber of speed $s$ on the two-dimensional grid $[n]^2$. We improve the bounds proved by Balister, Bollobás, Narayanan and Shaw for this game.