arXiv++ Combinatorics

Nash-Williams proved in 1960 that a finite graph admits a $k$-arc-connected orientation if and only if it is $2k$-edge-connected, and conjectured that the same result should hold for all infinite graphs, too. Progress on Nash-Williams's problem was made by C. Thomassen, who proved in 2016 that all $8k$-edge-connected infinite graphs admit a $k$-arc connected orientation, and by the first author, who recently showed that edge-connectivity of $4k$ suffices for locally-finite, 1-ended graphs. In the present article, we establish the optimal bound $2k$ in Nash-Williams's conjecture for all locally finite graphs with countably many ends.

We present a systematic investigation into how tree-decompositions of finite adhesion capture topological properties of the space formed by a graph together with its ends. As main results, we characterise when the ends of a graph can be distinguished, and characterise which subsets of ends can be displayed by a tree-decomposition of finite adhesion. In particular, we show that a subset $Ψ$ of the ends of a graph $G$ can be displayed by a tree-decomposition of finite adhesion if and only if $Ψ$ is $G_δ$ (a countable intersection of open sets) in $|G|$, the topological space formed by a graph together with its ends. Since the undominated ends of a graph are easily seen to be $G_δ$, this provides a structural explanation for Carmesin's result that the set of undominated ends can always be displayed.

Building on recent work by Thomassen, we show that Nash-Williams' orientation theorem, that every finite $2k$-edge-connected multigraph has a $k$-arc-connected orientation, also holds for all infinite multigraphs.