arXiv++ Combinatorics

In this article, we prove that, given two finite connected graphs $Γ_1$ and $Γ_2$, if the two right-angled Artin groups $A(Γ_1)$ and $A(Γ_2)$ are quasi-isometric, then the infinite pointed sums $\bigvee_\mathbb{N} Γ_1^{\bowtie}$ and $\bigvee_\mathbb{N} Γ_2^{\bowtie}$ are homotopy equivalent, where $Γ_i^{\bowtie}$ denotes the simplicial complex whose vertex-set is $Γ_i$ and whose simplices are given by joins. These invariants are extracted from a study, of independent interest, of the homotopy types of several complexes of hyperplanes in quasi-median graphs (such as one-skeleta of CAT(0) cube complexes). For instance, given a quasi-median graph $X$, the \emph{crossing complex} $\mathrm{Cross}^\triangle(X)$ is the simplicial complex whose vertices are the hyperplanes (or $θ$-classes) of $X$ and whose simplices are collections of pairwise transverse hyperplanes. When $X$ has no cut-vertex, we show that $\mathrm{Cross}^\triangle(X)$ is homotopy equivalent to the pointed sum of the links of all the vertices in the prism-completion $X^\square$ of $X$.

Given a pointed metric space $(X,\mathsf{dist}, w)$ on $n$ points, its Gromov's approximating tree is a 0-hyperbolic pseudo-metric space $(X,\mathsf{dist}_T)$ such that $\mathsf{dist}(x,w)=\mathsf{dist}_T(x,w)$ and $\mathsf{dist}(x, y)-2 δ\log_2n \leq \mathsf{dist}_T (x, y) \leq \mathsf{dist}(x, y)$ for all $x, y \in X$ where $δ$ is the Gromov hyperbolicity of $X$. On the other hand, the all pairs bottleneck paths (APBP) problem asks, given an undirected graph with some capacities on its edges, to find the maximal path capacity between each pair of vertices. In this note, we prove: $\bullet$ Computing Gromov's approximating tree for a metric space with $n+1$ points from its matrix of distances reduces to solving the APBP problem on an connected graph with $n$ vertices. $\bullet$ There is an explicit algorithm that computes Gromov's approximating tree for a graph from its adjacency matrix in quadratic time. $\bullet$ Solving the APBP problem on a weighted graph with $n$ vertices reduces to finding Gromov's approximating tree for a metric space with $n+1$ points from its distance matrix.

The weak-cop number of a graph, a variation of the cop number, is an invariant suitable for infinite graphs and is a quasi-isometric invariant. While for any $m\in\mathbb{Z}_+\cup\{\infty\}$ there exist locally finite infinite graphs with weak-cop number $m$, it is an open question whether there exists locally finite vertex transitive graphs whose weak-cop number is different than $1$ and $\infty$. We test this question on Cayley graphs of wreath products, these are objects known for their exotic geometries. We prove that Cayley graphs of wreath products of nontrivial groups by infinite groups have infinite weak-cop number. The result is proved by defining a new pursuit and evasion game and proving the existence of strategies for the evader. We also include a short argument that Cayley graphs of Thompson's group $F$ have infinite weak cop number.

We introduce two variations of the cops and robber game on graphs. These games yield two invariants in $\mathbb{Z}_+\cup\{\infty\}$ for any connected graph $Γ$, the {weak cop number $\mathsf{wcop}(Γ)$} and the {strong cop number $\mathsf{scop}(Γ)$}. These invariants satisfy that $\mathsf{scop}(Γ)\leq\mathsf{wcop}(Γ)$. Any graph that is finite or a tree has strong cop number one. These new invariants are preserved under small local perturbations of the graph, specifically, both the weak and strong cop numbers are quasi-isometric invariants of connected graphs. More generally, we prove that if $Δ$ is a quasi-retract of $Γ$ then $\mathsf{wcop}(Δ)\leq\mathsf{wcop}(Γ)$ and $\mathsf{scop}(Δ)\leq\mathsf{scop}(Γ)$. We exhibit families of examples of graphs with arbitrary weak cop number (resp. strong cop number). We prove that hyperbolic graphs have strong cop number one. We also prove that one-ended non-amenable locally-finite vertex-transitive graphs have infinite weak cop number. We raise the question of whether there exists a connected vertex transitive graph with finite weak (resp. strong) cop number different than one.

Given a non-decreasing function $f \colon \mathbb{N} \to \mathbb{N}$ we define a single player game on (infinite) connected graphs that we call fire retaining. If a graph $G$ admits a winning strategy for any initial configuration (initial fire) then we say that $G$ has the $f$-retaining property; in this case if $f$ is a polynomial of degree $d$, we say that $G$ has the polynomial retaining property of degree $d$. We prove that having the polynomial retaining property of degree $d$ is a quasi-isometry invariant in the class of uniformly locally finite connected graphs. Henceforth, the retaining property defines a quasi-isometric invariant of finitely generated groups. We prove that if a finitely generated group $G$ splits over a quasi-isometrically embedded subgroup of polynomial growth of degree $d$, then $G$ has polynomial retaining property of degree $d-1$. Some connections to other work on quasi-isometry invariants of finitely generated groups are discussed and some questions are raised.

The firefighter game problem on locally finite connected graphs was introduced by Bert Hartnell. The game on a graph $G$ can be described as follows: let $f_n$ be a sequence of positive integers; an initial fire starts at a finite set of vertices; at each (integer) time $n\geq 1$, $f_n$ vertices which are not on fire become protected, and then the fire spreads to all unprotected neighbors of vertices on fire; once a vertex is protected or is on fire, it remains so for all time intervals. The graph $G$ has the \emph{$f_n$-containment property} if every initial fire admits an strategy that protects $f_n$ vertices at time $n$ so that the set of vertices on fire is eventually constant. If the graph $G$ has the containment property for a sequence of the form $f_n=Cn^d$, then the graph is said to have \emph{polynomial containment}. In [5], it is shown that any locally finite graph with polynomial growth has polynomial containment; and it is remarked that the converse does not hold. That article also raised the question of whether the equivalence of polynomial growth and polynomial containment holds for Cayley graphs of finitely generated groups. In this short note, we remark how the equivalence holds for elementary amenable groups and for non-amenable groups from results in the literature.

In this article, we study Hartnell's Firefighter Problem through the group theoretic notions of growth and quasi-isometry. A graph has the $n$-containment property if for every finite initial fire, there is a strategy to contain the fire by protecting $n$ vertices at each turn. A graph has the constant containment property if there is an integer $n$ such that it has the $n$-containment property. Our first result is that any locally finite connected graph with quadratic growth has the constant containment property; the converse does not hold. This result provides a unified way to recover previous results in the literature, in particular the class of graphs satisfying the constant containment property is infinite. A second result is that in the class of graphs with bounded degree, having the constant containment property is preserved by quasi-isometry. Some sample consequences of the second result are that any regular tiling of the Euclidean plane has the fire containment property; no regular tiling of the $n$-dimensional Euclidean space has the containment property if $n>2$; and no regular tiling of the $n$-dimensional hyperbolic space has the containment property if $n\geq 2$. We prove analogous results for the $\{f_n\}$-containment property, where $f_n$ is an integer sequence corresponding to the number of vertices protected at time $n$. In particular, we positively answer a conjecture by Develin and Hartke by proving that the $d$-dimensional square grid $\mathbb{L}^d$ does not satisfy the $cn^{d-3}$-containment property for any constant $c$.

In the framework of homological characterizations of relative hyperbolicity, Groves and Manning posed the question of whether a simply connected $2$-complex $X$ with a linear homological isoperimetric inequality, a bound on the length of attaching maps of $2$-cells and finitely many $2$-cells adjacent to any edge must have a fine $1$-skeleton. We provide a positive answer to this question. We revisit a homological characterization of relative hyperbolicity, and show that a group $G$ is hyperbolic relative to a collection of subgroups $\mathcal P$ if and only if $G$ acts cocompactly with finite edge stabilizers on an connected $2$-dimensional cell complex with a linear homological isoperimetric inequality and $\mathcal P$ is a collection of representatives of conjugacy classes of vertex stabilizers.