arXiv++ Combinatorics

We study the game of Cops and Robbers, where cops try to capture a robber on the vertices of a graph. Meyniel's conjecture states that for every connected graph $G$ on $n$ vertices, the cop number of $G$ is upper bounded by $O(\sqrt{n})$, i.e., that $O(\sqrt{n})$ suffice to catch the robber. We present several families of abelian Cayley graphs that are Meyniel extremal, i.e., graphs whose cop number is $O(\sqrt{n})$. This proves that the $O(\sqrt{n})$ upper bound for Cayley graphs proved by Bradshaw is tight up to a multiplicative constant. In particular, this shows that Meyniel's conjecture, if true, is tight to a multiplicative constant even for abelian Cayley graphs. In order to prove the result, we construct Cayley graphs on $n$ vertices with $Ω(\sqrt{n})$ generators that are $K_{2,3}$-free. This shows that the Kövári, Sós, and Turán theorem, stating that any $K_{2,3}$-free graph of $n$ vertices has at most $O(n^{3/2})$ edges, is tight up to a multiplicative constant even for abelian Cayley graphs.

Let $A \subseteq \{0,1\}^n$ be a set of size $2^{n-1}$, and let $φ\colon \{0,1\}^{n-1} \to A$ be a bijection. We define the average stretch of $φ$ as ${\sf avgStretch}(φ) = {\mathbb E}[{\sf dist}(φ(x),φ(x'))]$, where the expectation is taken over uniformly random $x,x' \in \{0,1\}^{n-1}$ that differ in exactly one coordinate. In this paper we continue the line of research studying mappings on the discrete hypercube with small average stretch. We prove the following results. (1) For any set $A \subseteq \{0,1\}^n$ of density $1/2$ there exists a bijection $φ_A \colon \{0,1\}^{n-1} \to A$ such that ${\sf avgstretch}(φ_A) = O(\sqrt{n})$. (2) For $n = 3^k$ let $A_{{\sf rec\text{-}maj}} = \{x \in \{0,1\}^n : {\sf rec\text{-}maj}(x) = 1\}$, where ${\sf rec\text{-}maj} : \{0,1\}^n \to \{0,1\}$ is the function recursive majority of 3's. There exists a bijection $φ_{{\sf rec\text{-}maj}} \colon \{0,1\}^{n-1} \to A_{\sf rec\text{-}maj}$ such that ${\sf avgstretch}(φ_{\sf rec\text{-}maj}) = O(1)$. (3) Let $A_{\sf tribes} = \{x \in \{0,1\}^n : {\sf tribes}(x) = 1\}$. There exists a bijection $φ_{\sf tribes} \colon \{0,1\}^{n-1} \to A_{\sf tribes}$ such that ${\sf avgstretch}(φ_{\sf tribes}) = O(\log(n))$. These results answer the questions raised by Benjamini et al.\ (FOCS 2014).

Given an arbitrary graph $G$ we study the chromatic number of a random subgraph $G_{1/2}$ obtained from $G$ by removing each edge independently with probability $1/2$. Studying $χ(G_{1/2})$ has been suggested by Bukh~\cite{Bukh}, who asked whether $\mathbb{E}[χ(G_{1/2})] \geq Ω( χ(G)/\log(χ(G)))$ holds for all graphs $G$. In this paper we show that for any graph $G$ with chromatic number $k = χ(G)$ and for all $d \leq k^{1/3}$ it holds that $\Pr[χ(G_{1/2}) \leq d] < \exp \left(- Ω\left(\frac{k(k-d^3)}{d^3}\right)\right)$. In particular, $\Pr[G_{1/2} \text{ is bipartite}] < \exp \left(- Ω\left(k^2 \right)\right)$. The later bound is tight up to a constant in $Ω(\cdot)$, and is attained when $G$ is the complete graph on $k$ vertices. As a technical lemma, that may be of independent interest, we prove that if in \emph{any} $d^3$ coloring of the vertices of $G$ there are at least $t$ monochromatic edges, then $\Pr[χ(G_{1/2}) \leq d] < e^{- Ω\left(t\right)}$. We also prove that for any graph $G$ with chromatic number $k = χ(G)$ and independence number $α(G) \leq O(n/k)$ it holds that $\mathbb{E}[χ(G_{1/2})] \geq Ω\left( k/\log(k) \right)$. This gives a positive answer to the question of Bukh for a large family of graphs.

For two functions $f,g:\{0,1\}^n\to\{0,1\}$ a mapping $ψ:\{0,1\}^n\to\{0,1\}^n$ is said to be a $\textit{mapping from $f$ to $g$}$ if it is a bijection and $f(z)=g(ψ(z))$ for every $z\in\{0,1\}^n$. In this paper we study Lipschitz mappings between boolean functions. Our first result gives a construction of a $C$-Lipschitz mapping from the ${\sf Majority}$ function to the ${\sf Dictator}$ function for some universal constant $C$. On the other hand, there is no $n/2$-Lipschitz mapping in the other direction, namely from the ${\sf Dictator}$ function to the ${\sf Majority}$ function. This answers an open problem posed by Daniel Varga in the paper of Benjamini et al. (FOCS 2014). We also show a mapping from ${\sf Dictator}$ to ${\sf XOR}$ that is 3-local, 2-Lipschitz, and its inverse is $O(\log(n))$-Lipschitz, where by $L$-local mapping we mean that each of its output bits depends on at most $L$ input bits. Next, we consider the problem of finding functions such that any mapping between them must have large \emph{average stretch}, where the average stretch of a mapping $φ$ is defined as ${\sf avgStretch}(φ) = {\mathbb E}_{x,i}[dist(φ(x),φ(x+e_i)]$. We show that any mapping $φ$ from ${\sf XOR}$ to ${\sf Majority}$ must satisfy ${\sf avgStretch}(φ) \geq Ω(\sqrt{n})$. In some sense, this gives a "function analogue" to the question of Benjamini et al. (FOCS 2014), who asked whether there exists a set $A \subset \{0,1\}^n$ of density 0.5 such that any bijection from $\{0,1\}^{n-1}$ to $A$ has large average stretch. Finally, we show that for a random balanced function $f:\{0,1\}^n\to\{0,1\}^n$ with high probability there is a mapping $φ$ from ${\sf Dictator}$ to $f$ such that both $φ$ and $φ^{-1}$ have constant average stretch. In particular, this implies that one cannot obtain lower bounds on average stretch by taking uniformly random functions.

We construct a bi-Lipschitz bijection from the Boolean cube to the Hamming ball of equal volume. More precisely, we show that for all even n there exists an explicit bijection f from the n-dimensional Boolean cube to the Hamming ball of equal volume embedded in (n+1)-dimensional Boolean cube, such that for all x and y it holds that distance(x,y) / 5 <= distance(f(x),f(y)) <= 4 distance(x,y) where distance(,) denotes the Hamming distance. In particular, this implies that the Hamming ball is bi-Lipschitz transitive. This result gives a strong negative answer to an open problem of Lovett and Viola [CC 2012], who raised the question in the context of sampling distributions in low-level complexity classes. The conceptual implication is that the problem of proving lower bounds in the context of sampling distributions will require some new ideas beyond the sensitivity-based structural results of Boppana [IPL 97]. We study the mapping f further and show that it (and its inverse) are computable in DLOGTIME-uniform TC0, but not in AC0. Moreover, we prove that f is "approximately local" in the sense that all but the last output bit of f are essentially determined by a single input bit.

In this note we confirm a conjecture raised by Benjamini et al. \cite{BST} on the acquaintance time of graphs, proving that for all graphs $G$ with $n$ vertices it holds that $\AC(G) = O(n^{3/2})$, which is tight up to a multiplicative constant. This is done by proving that for all graphs $G$ with $n$ vertices and maximal degree $Δ$ it holds that $\AC(G) \leq 20 Δn$. Combining this with the bound $\AC(G) \leq O(n^2/Δ)$ from \cite{BST} gives the foregoing uniform upper bound of all $n$-vertex graphs. We also prove that for the $n$-vertex path $P_n$ it holds that $\AC(P_n)=n-2$. In addition we show that the barbell graph $B_n$ consisting of two cliques of sizes $\ceil{n/2}$ and $\floor{n/2}$ connected by a single edge also has $\AC(B_n) = n-2$. This shows that it is possible to add $Ω(n^2)$ edges to $P_n$ without changing the $\AC$ value of the graph.

We define the following parameter of connected graphs. For a given graph $G$ we place one agent in each vertex of $G$. Every pair of agents sharing a common edge is declared to be acquainted. In each round we choose some matching of $G$ (not necessarily a maximal matching), and for each edge in the matching the agents on this edge swap places. After the swap, again, every pair of agents sharing a common edge become acquainted, and the process continues. We define the \emph{acquaintance time} of a graph $G$, denoted by $AC(G)$, to be the minimal number of rounds required until every two agents are acquainted. We first study the acquaintance time for some natural families of graphs including the path, expanders, the binary tree, and the complete bipartite graph. We also show that for all positive integers $n$ and $k \leq n^{1.5}$ there exists an $n$-vertex graph $G$ such that $AC(G) =Θ(k)$. We also prove that for all $n$-vertex connected graphs $G$ we have $AC(G) = O\left(\frac{n^2}{\log(n)/\log\log(n)}\right)$, improving the $O(n^2)$ trivial upper bound achieved by sequentially letting each agent perform depth-first search along a spanning tree of $G$. Studying the computational complexity of this problem, we prove that for any constant $t \geq 1$ the problem of deciding that a given graph $G$ has $AC(G) \leq t$ or $AC(G) \geq 2t$ is $\mathcal{NP}$-complete. That is, $AC(G)$ is $\mathcal{NP}$-hard to approximate within multiplicative factor of 2, as well as within any additive constant factor. On the algorithmic side, we give a deterministic algorithm that given a graph $G$ with $AC(G)=1$ finds a ${\lceil n/c\rceil}$-rounds strategy for acquaintance in time $n^{c+O(1)}$. We also design a randomized polynomial time algorithm that given a graph $G$ with $AC(G)=1$ finds with high probability an $O(\log(n))$-rounds strategy for acquaintance.