arXiv++ Combinatorics

Suppose that $X$ is an infinite, connected, locally finite, quasi-transitive graph with the property that every bi-infinite quasi-geodesic uniformly coarsely separates $X$ into exactly two deep pieces. We show that such an $X$ is quasi-isometric to either the Euclidean plane or the hyperbolic plane. In particular, if $X$ is a Cayley graph of a finitely generated group $G$ with the above property, then $G$ is a virtual surface group. This can be interpreted as an extension of the well-known fact that a hyperbolic group with circular boundary is virtually Fuchsian. Our theorem positively resolves Problem 14.98 of the Kourovka Notebook, posed by V. A. Churkin in 1999. The proof uses an isoperimetric inequality of Varopoulos to show that if such a graph has the above property, then either it is hyperbolic or has quadratic growth.

We show that a finitely presented group virtually admits a planar Cayley graph if and only if it is asymptotically minor-excluded, partially answering a conjecture of Georgakopoulos and Papasoglu in the affirmative.

Given a connected, locally finite, quasi-transitive graph $X$ which is quasi-isometric to a planar graph $Γ$, we remark that one can upgrade $Γ$ to be a planar Cayley graph, answering a question raised by Esperet--Giocanti and Hamann.

We study a generalization of the well-known disjoint paths problem which we call the metric Menger problem, denoted MM(r,k), where one is given two subsets of a graph and must decide whether they can be connected by $k$ paths of pairwise distance at least $r$. We prove that this problem is NP-complete for every $r\geq 3$ and $k\geq 2$ by giving a reduction from 3SAT. This resolves a conjecture recently stated by Georgakopoulos and Papasoglu. On the other hand, we show that the problem is in XP when parameterised by treewidth and maximum degree by observing that it is `locally checkable'. In the case $r\leq 3$, we prove that it suffices to parameterise by treewidth. We also state some open questions relating to this work.

We prove that a connected, locally finite, quasi-transitive graph which is quasi-isometric to a planar graph is necessarily accessible. This leads to a complete classification of the finitely generated groups which are quasi-isometric to planar graphs. In particular, such a group is virtually a free product of free and surface groups, and thus virtually admits a planar Cayley graph.