arXiv++ Combinatorics

The linear arboricity $\la(G)$ of a graph $G$ is the least cardinality of linear forests, that is, forests of maximum degree at most $2$, into which its edge set $E(G)$ can be decomposed. The Linear Arboricity Conjecture asserts that $\la(G)\leq\lceil(Δ(G)+1)/2\rceil$ for every finite graph $G$, where $Δ(G)$ denotes the maximum degree of $G$. We extend this conjecture to infinite graphs of finite maximum degree and prove that its finite and infinite versions are equivalent. We introduce topological linear arboricity $\latop (G)$ by requiring the linear forests to contain no topological circle, and show that it differs from linear arboricity by at most one. Finally, we prove that every $2k$-regular graph of girth at least $2k$ has topological linear arboricity at most $k+1$.

Let $G$ be a graph and $S\subseteq V(G)$ be a subset of vertices. An $S$-Steiner tree $T$ of $G$ is a tree of $G$ which contains $S$ in its vertex set $V(T)$. Kriesell conjectured that for every $2k$-edge-connected subset $S\subseteq V(G)$ in a finite connected graph $G$, there exist $k$ pairwise edge-disjoint $S$-Steiner trees. This conjecture is false for infinite graphs. We present a version of Kriesell's conjecture with topological $S$-Steiner trees for countable finitely edge-separable graphs and a version with $F$-limits of trees for rayless graphs. We show that if Kriesell's conjecture holds for finite graphs, then it holds for every connected, rayless and finitely edge-separable graph. We also show that every $2k$-edge-connected rayless and finitely edge-separable graph contains $k$ pairwise edge-disjoint spanning trees.

It is well known that a graph admits a natural closure operator defined on its vertex set, which also corresponds to a pretopology. In this paper, we describe the classical pretopology on a graph in terms of nets, with the aim of relating combinatorial properties to convergence properties.