arXiv++ Combinatorics

We characterise all vertex-transitive finite connected graphs as essentially 5-connected or on a short list of explicit graph-classes. Our proof heavily uses Tutte-type canonical decompositions.

We provide a unique decomposition of every 4-connected graph into parts that are either quasi-5-connected, cycles of triangle-torsos and 3-connected torsos on $\leq 5$ vertices, generalised double-wheels, or thickened $K_{4,m}$'s. The decomposition can be described in terms of a tree-decomposition but with edges allowed in the adhesion-sets. Our construction is explicit, canonical, and exhibits a defining property of the Tutte-decomposition. As a corollary, we obtain a new Tutte-type canonical decomposition of 3-connected graphs into parts that are either quasi-4-connected, generalised wheels or thickened $K_{3,m}$'s. This decomposition is similar yet different from the tri-separation decomposition. As an application of the decomposition for 4-connectivity, in a follow-up paper we obtain a new theorem characterising all vertex-transitive finite connected graphs as essentially quasi-5-connected or on a short explicit list of graphs.

Every finite graph $G$ can be decomposed in a canonical way that displays its local connectivity-structure [DJKK22]. For this, they consider a suitable covering of $G$, an inherently infinite concept from Topology, and project its tangle-tree structure to $G$. We present a construction of these decompositions via a finite combinatorial theory of local separations, which we introduce here and which is compatible with the covering-perspective.

A recent development in graph-minor theory is to study local separators, vertex-sets that separate graphs locally but not necessarily globally. The local separators of a graph roughly correspond to the genuine separators of its local covering: a usually infinite graph obtained by keeping all local structure of the original graph while unfolding all other structure as much as possible. We use local separators and local coverings to discover and prove a low-order Stallings-type result for finite nilpotent groups $Γ$: the $r$-local covering of some Cayley graph $G$ of $Γ$ has $\geq 2$ ends that are separated by $\leq 2$ vertices iff $G$ has an $r$-local separator of size $\leq 2$ and $Γ$ has order $>r$, iff $Γ$ is isomorphic to $C_i\times C_j$ for some $i>r$ and $j\in\{1,2\}$.

We propose an open question that seeks to generalise the Four Colour Theorem from two to three dimensions. As an appetiser, we show that 12 instead of four colours are both sufficient and necessary to colour every 2-complex that embeds in a prescribed 3-manifold. However, our example of a 2-complex that requires 12 colours is not simplicial.

Every large $k$-connected graph-minor induces a $k$-tangle in its ambient graph. The converse holds for $k\le 3$, but fails for $k\ge 4$. This raises the question whether `$k$-connected' can be relaxed to obtain a characterisation of $k$-tangles through highly cohesive graph-minors. We show that this can be achieved for $k=4$ by proving that internally 4-connected graphs have unique 4-tangles, and that every graph with a 4-tangle $τ$ has an internally 4-connected minor whose unique 4-tangle lifts to $τ$.

We offer a new structural basis for the theory of 3-connected graphs, providing a unique decomposition of every such graph into parts that are either quasi 4-connected, wheels, or thickened $K_{3,m}$'s. Our construction is explicit, canonical, and has the following applications: we obtain a new theorem characterising all finite Cayley graphs as either essentially 4-connected, cycles, or complete graphs on at most four vertices, and we provide an automatic proof of Tutte's wheel theorem.

We show that there is a unique immersion-minimal infinitely edge-connected graph: every such graph contains the halved Farey graph, which is itself infinitely edge-connected, as an immersion minor. By contrast, any minimal list of infinitely edge-connected graphs represented in all such graphs as topological minors must be uncountable.

We present a canonical way to decompose finite graphs into highly connected local parts. The decomposition depends only on an integer parameter whose choice sets the intended degree of locality. The global structure of the graph, as determined by the relative position of these parts, is described by a coarser $\it model$. This is a simpler graph determined entirely by the decomposition, not imposed. The model and decomposition are obtained as projections of the tangle-tree structure of a covering of the given graph that reflects its local structure while unfolding its global structure. In this way, the tangle theory from graph minors is brought to bear canonically on arbitrary graphs, which need not be tree-like. Our theorem extends to locally finite quasi-transitive graphs, and in particular to locally finite Cayley graphs. It thereby offers a canonical decomposition for finitely generated groups into local parts, whose relative structure is displayed by a graph.

Robertson and Seymour constructed for every graph $G$ a tree-decomposition that efficiently distinguishes all the tangles in $G$. While all previous constructions of these decompositions are either iterative in nature or not canonical, we give an explicit one-step construction that is canonical. The key ingredient is an axiomatisation of 'local properties' of tangles. Generalisations to locally finite graphs and matroids are also discussed.

End-spaces of infinite graphs naturally generalise the Freudenthal boundary and sit at the interface between graph theory, geometric group theory and topology. Our main result is that every end-space can topologically be represented by a special order tree. Our main proof ingredient is a structure theorem that we introduce, which carves out the order-tree-like structure of any graph in such a way that there is a natural bijection between the ends of the graph and the limit-type down-closed chains of the order-tree.

Lovász and Cherkassky discovered independently that, if $G$ is a finite graph and $T\subseteq V(G)$ such that the degree $d_G(v)$ is even for every vertex $v\in V(G)\setminus T$, then the maximum number of edge-disjoint paths which are internally disjoint from~$T$ and connect distinct vertices of $T$ is equal to $\frac{1}{2} \sum_{t\in T}λ_G(t, T\setminus \{t\})$ (where $λ_G(t, T\setminus \{t\})$ is the size of a smallest cut that separates $t$ and $T\setminus\{t\}$). From another perspective, this means that for every vertex $t\in T$, in any optimal path-system there are $λ_G(t, T\setminus \{t\})$ many paths between $t$ and~$T\setminus\{t\}$. We extend the theorem of Lovász and Cherkassky based on this reformulation to all locally-finite infinite graphs and their ends. In our generalisation, $T$ may contain not just vertices but ends as well, and paths are one-way (two-way) infinite when they establish a vertex-end (end-end) connection.

We show that for every infinite collection $\mathcal{R}$ of disjoint equivalent rays in a graph $G$ there is a subdivision of the hexagonal half-grid in $G$ such that all its vertical rays belong to $\mathcal{R}$. This result strengthens Halin's grid theorem by giving control over which specific set of rays is used, while its proof is significantly shorter.

The directions of an infinite graph $G$ are a tangle-like description of its ends: they are choice functions that choose compatibly for all finite vertex sets $X\subseteq V(G)$ a component of $G-X$. Although every direction is induced by a ray, there exist directions of graphs that are not uniquely determined by any countable subset of their choices. We characterise these directions and their countably determined counterparts in terms of star-like substructures or rays of the graph. Curiously, there exist graphs whose directions are all countably determined but which cannot be distinguished all at once by countably many choices. We structurally characterise the graphs whose directions can be distinguished all at once by countably many choices, and we structurally characterise the graphs which admit no such countably many choices. Our characterisations are phrased in terms of normal trees and tree-decompositions. Our four (sub)structural characterisations imply combinatorial characterisations of the four classes of infinite graphs that are defined by the first and second axiom of countability applied to their end spaces: the two classes of graphs whose end spaces are first countable or second countable, respectively, and the complements of these two classes.

We show that every graph admits a canonical tree-like decomposition into its $k$-edge-connected pieces for all $k\in\mathbb{N}\cup\{\infty\}$ simultaneously.

An end of a graph $G$ is an equivalence class of rays, where two rays are equivalent if there are infinitely many vertex-disjoint paths between them in $G$. The degree of an end is the maximum cardinality of a collection of pairwise disjoint rays in this equivalence class. Halin conjectured that the end degree can be characterised in terms of certain typical ray configurations, which would generalise his famous \emph{grid theorem}. In particular, every end of regular uncountable degree $κ$ would contain a \emph{star of rays}, i.e.\ a configuration consisting of a central ray $R$ and $κ$ neighbouring rays $(R_i \colon i < κ)$ all disjoint from each other and each $R_i$ sending a family of infinitely many disjoint paths to $R$ so that paths from distinct families only meet in $R$. We show that Halin's conjecture fails for end degree $ \aleph_1$, holds for $\aleph_2,\aleph_3,\ldots,\aleph_ω$, fails for $ \aleph_{ω+1}$, and is undecidable (in ZFC) for the next $\aleph_{ω+n}$ with $n \in \mathbb{N}$, $n \geq 2$. Further results include a complete solution for all cardinals under GCH, complemented by a number of consistency results.

We show that, up to minor-equivalence, the Farey graph is the unique minor-minimal graph that is infinitely edge-connected but such that every two vertices can be finitely separated.

Schmidt characterised the class of rayless graphs by an ordinal rank function, which makes it possible to prove statements about rayless graphs by transfinite induction. Halin asked whether Schmidt's rank function can be generalised to characterise other important classes of graphs. We answer Halin's question in the affirmative. Another largely open problem raised by Halin asks for a characterisation of the class of graphs with an end-faithful spanning tree. A well-studied subclass is formed by the graphs with a normal spanning tree. We determine a larger subclass, the class of normally traceable graphs, which consists of the connected graphs with a rayless tree-decomposition into normally spanned parts. Investigating the class of normally traceable graphs further we prove that, for every normally traceable graph, having a rayless spanning tree is equivalent to all its ends being dominated. Our proofs rely on a characterisation of the class of normally traceable graphs by an ordinal rank function that we provide.

We show that every infinitely edge-connected graph contains the Farey graph or $T_{\aleph_0}\!\ast t$ as a minor. These two graphs are unique with this property up to minor-equivalence.

In a series of four papers we determine structures whose existence is dual, in the sense of complementary, to the existence of stars or combs. In the first paper of our series we determined structures that are complementary to arbitrary stars or combs. Stars and combs can be combined, positively as well as negatively. In the second and third paper of our series we provided duality theorems for all but one of the possible combinations. In this fourth and final paper of our series, we complete our solution to the problem of finding complementary structures for stars, combs, and their combinations, by presenting duality theorems for the missing piece: for undominating stars. Our duality theorems are phrased in terms of end-compactified subgraphs, tree-decompositions and tangle-distinguishing separators.