an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org
Author
63 papers · 2013–2026
showing 1–25 of 63 RSS
Nathan Bowler, Joshua Erde, Florian Lehner +1 more
It is known that the cop number $c(G)$ of a connected graph $G$ can be bounded as a function of the genus of the graph $g(G)$. The best known bound, that $c(G) \leq \left\lfloor \frac{3 g(G)}{2}\right\rfloor + 3$, was given by Schröder, who conjectured that in fact $c(G) \leq g(G) + 3$. We give the first improvement to Schröder's bound, showing that $c(G) \leq \frac{4g(G)}{3} + \frac{10}{3}$.
Jan Kurkofka, Ruben Melcher, Max Pitz
We show that every connected graph can be approximated by a normal tree, up to some arbitrarily small error phrased in terms of neighbourhoods around its ends. The existence of such approximate normal trees has consequences of both combinatorial and topological nature. On the combinatorial side, we show that a graph has a normal spanning tree as soon as it has normal spanning trees locally at each end; i.e., the only obstruction for a graph to having a normal spanning tree is an end for which none of its neighbourhoods has a normal spanning tree. On the topological side, we show that the end space $Ω(G)$, as well as the spaces $|G| = G \cup Ω(G)$ naturally associated with a graph $G$, are always paracompact. This gives unified and short proofs for a number of results by Diestel, Sprüssel and Polat, and answers an open question about metrizability of end spaces by Polat.
Nathan Bowler, Christian Elbracht, Joshua Erde +4 more
Abstract A graph is said to be ‐ ubiquitous , where is the minor relation between graphs, if whenever is a graph with for all , then one also has , where is the disjoint union of many copies of . A well‐known conjecture of Andreae is that every locally finite connected graph is ‐ubiquitous. In this paper we give a sufficient condition on the structure of the ends of a graph which implies that is ‐ubiquitous. In particular this implies that the full‐grid is ‐ubiquitous.
Nathan Bowler, Christian Elbracht, Joshua Erde +4 more
Let ⊲ be a relation between graphs. We say a graph G is ⊲-ubiquitous if whenever Γ is a graph with nG⊲Γ for all n∈N, then one also has ℵ0G⊲Γ, where αG is the disjoint union of α many copies of G. The Ubiquity Conjecture of Andreae, a well-known open problem in the theory of infinite graphs, asserts that every locally finite connected graph is ubiquitous with respect to the minor relation. In this paper we show that all trees are ubiquitous with respect to the topological minor relation, irrespective of their cardinality. This answers a question of Andreae from 1979.
Joshua Erde, Pascal Gollin, Attila Joó +2 more
Let ${\mathcal{M} = (M_i \colon i\in K)}$ be a finite or infinite family consisting of matroids on a common ground set $E$ each of which may be finitary or cofinitary. We prove the following Cantor-Bernstein-type result: If there is a collection of bases, one for each $M_i$, which covers the set $E$, and also a collection of bases which is pairwise disjoint, then there is a collection of bases which partitions $E$. We also show that the failure of this Cantor-Bernstein-type statement for arbitrary matroid families is consistent relative to the axioms of set theory ZFC.
Nathan Bowler, Joshua Erde, Peter Heinig +2 more
Two graphs $G$ and $H$ are hypomorphic if there exists a bijection $φ\colon V(G) \rightarrow V(H)$ such that $G - v \cong H - φ(v)$ for each $v \in V(G)$. A graph $G$ is reconstructible if $H \cong G$ for all $H$ hypomorphic to $G$. It is well known that not all infinite graphs are reconstructible. However, the Harary-Schwenk-Scott Conjecture from 1972 suggests that all locally finite trees are reconstructible. In this paper, we construct a counterexample to the Harary-Schwenk-Scott Conjecture. Our example also answers four other questions of Nash-Williams, Halin and Andreae on the reconstruction of infinite graphs.
This paper investigates topological reconstruction, related to the reconstruction conjecture in graph theory. We ask whether the homeomorphism types of subspaces of a space $X$ which are obtained by deleting singletons determine $X$ uniquely up to homeomorphism. If the question can be answered affirmatively, such a space is called reconstructible. We prove that in various cases topological properties can be reconstructed. As main result we find that familiar spaces such as the reals $\mathbb{R}$, the rationals $\mathbb{Q}$ and the irrationals $P$ are reconstructible, as well as spaces occurring as Stone-Cech compactifications. Moreover, some non-reconstructible spaces are discovered, amongst them the Cantor set $C$.
In a paper from 2001 (Journal of the LMS), Diestel and Leader offered a proof that a connected graph has a normal spanning tree if and only if it does not contain a minor from two specific forbidden classes of graphs, all of cardinality $\aleph_1$. Unfortunately, their proof contains a gap, and their result is incorrect. In this paper, we construct a third type of obstruction: an $\aleph_1$-sized graph without a normal spanning tree that contains neither of the two types described by Diestel and Leader as a minor. Further, we show that any list of forbidden minors characterising the graphs with normal spanning trees must contain graphs of arbitrarily large cardinality.
Joshua Erde, Pascal Gollin, Atilla Joó +2 more
We show that if a graph admits a packing and a covering both consisting of $λ$ many spanning trees, where $λ$ is some infinite cardinal, then the graph also admits a decomposition into $λ$ many spanning trees. For finite $λ$ the analogous question remains open, however, a slightly weaker statement is proved.
Nathan Bowler, Christian Elbracht, Joshua Erde +4 more
A graph $G$ is said to be $\preceq$-ubiquitous, where $\preceq$ is the minor relation between graphs, if whenever $Γ$ is a graph with $nG \preceq Γ$ for all $n \in \mathbb{N}$, then one also has $\aleph_0 G \preceq Γ$, where $αG$ is the disjoint union of $α$ many copies of $G$. A well-known conjecture of Andreae is that every locally finite connected graph is $\preceq$-ubiquitous. In this paper we give a sufficient condition on the structure of the ends of a graph~$G$ which implies that $G$ is $\preceq$-ubiquitous. In particular this implies that the full grid is $\preceq$-ubiquitous.
Nathan Bowler, Christian Elbracht, Joshua Erde +4 more
A graph \(G\) is said to be ubiquitous, if every graph \(\Gamma\) that contains arbitrarily many disjoint \(G\)-minors automatically contains infinitely many disjoint \(G\)-minors. The well-known Ubiquity conjecture of Andreae says that every locally finite graph is ubiquitous. In this paper we show that locally finite graphs admitting a certain type of tree-decomposition, which we call an extensive tree-decomposition, are ubiquitous. In particular this includes all locally finite graphs of finite tree-width, and also all locally finite graphs with finitely many ends, all of which have finite degree. It remains an open question whether every locally finite graph admits an extensive tree-decomposition.Mathematics Subject Classifications: 05C83, 05C63Keywords: Graph minors, infinite graphs, ubiquity
Amena Assem, Marcel Koloschin, Max Pitz
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.
Nathan Bowler, Joshua Erde, Peter Heinig +2 more
Two graphs $G$ and $H$ are \emph{hypomorphic} if there exists a bijection $φ\colon V(G) \rightarrow V(H)$ such that $G - v \cong H - φ(v)$ for each $v \in V(G)$. A graph $G$ is \emph{reconstructible} if $H \cong G$ for all $H$ hypomorphic to $G$. Nash-Williams proved that all locally finite graphs with a finite number $\geq 2$ of ends are reconstructible, and asked whether locally finite graphs with one end or countably many ends are also reconstructible. In this paper we construct non-reconstructible graphs of bounded maximum degree with one and countably many ends respectively, answering the two questions of Nash-Williams about the reconstruction of locally finite graphs in the negative.
Benjamin Espinoza, Paul Gartside, Max Pitz
A compact graph-like space is a triple $(X,V,E)$ where $X$ is a compact, metrizable space, $V \subseteq X$ is a closed zero-dimensional subset, and $E$ is an index set such that $X \setminus V \cong E \times (0,1)$. New characterizations of compact graph-like spaces are given, connecting them to certain classes of continua, and to standard subspaces of Freudenthal compactifications of locally finite graphs. These are applied to characterize Eulerian graph-like compacta.
Sandra Albrechtsen, Raphael W. Jacobs, Paul Knappe +1 more
We prove that every graph which admits a tree-decomposition into finite parts has a rooted tree-decomposition into finite parts that is linked, tight and componental. As an application, we obtain that every graph without half-grid minor has a lean tree-decomposition into finite parts, strengthening the corresponding result by Kriz and Thomas for graphs of finitely bounded tree-width. In particular, it follows that every graph without half-grid minor has a tree-decomposition which efficiently distinguishes all ends and critical vertex sets, strengthening results by Carmesin and by Elm and Kurkofka for this graph class. As a second application of our main result, it follows that every graph which admits a tree-decomposition into finite parts has a tree-decomposition into finite parts that displays all the ends of $G$ and their combined degrees, resolving a question of Halin from 1977.…
We investigate path-, ray- and branch spaces of trees, certain topological spaces naturally associated with order theoretic trees, and provide topological characterisations for these spaces in terms of the existence of certain kinds of (sub-)bases. Our results yield a solution to a problem due to Diestel from 1992, by establishing the following equivalences for any Hausdorff space $X$: (1) $X$ is homeomorphic to the end space of a graph, (2) $X$ is homeomorphic to the ray space of a special order tree, (3) $X$ admits a nested clopen subbase that is noetherian, hereditarily complete and $σ$-disjoint.
Abstract Traditionally, the trees studied in infinite graphs are trees of height at most ω , with each node adjacent to its parent and its children (and every branch of the tree inducing a path or a ray). However, there is also a method, systematically introduced by Brochet and Diestel, of turning arbitrary well-founded order trees T into graphs, in a way such that every T -branch induces a generalised path in the sense of Rado. This article contains an introduction to this method and then surveys four recent applications of order trees to infinite graphs, with relevance for well-quasi orderings, Hadwiger’s conjecture, normal spanning trees and end-structure, the last two addressing long-standing open problems by Halin.
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.
Jan Kurkofka, Ruben Melcher, Max Pitz
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.
We develop a unified theory of Eulerian spaces by combining the combinatorial theory of infinite, locally finite Eulerian graphs as introduced by Diestel and Kühn with the topological theory of Eulerian continua defined as irreducible images of the circle, as proposed by Bula, Nikiel and Tymchatyn. First, we clarify the notion of an Eulerian space and establish that all competing definitions in the literature are in fact equivalent. Next, responding to an unsolved problem of Treybig and Ward from 1981, we formulate a combinatorial conjecture for characterising the Eulerian spaces, in a manner that naturally extends the characterisation for finite Eulerian graphs. Finally, we present far-reaching results in support of our conjecture which together subsume and extend all known results about the Eulerianity of infinite graphs and continua to date. In particular, we characterise all…
Nathan Bowler, Christian Elbracht, Joshua Erde +4 more
Let $\triangleleft$ be a relation between graphs. We say a graph $G$ is \emph{$\triangleleft$-ubiquitous} if whenever $Γ$ is a graph with $nG \triangleleft Γ$ for all $n \in \mathbb{N}$, then one also has $\aleph_0 G \triangleleft Γ$, where $αG$ is the disjoint union of $α$ many copies of $G$. The \emph{Ubiquity Conjecture} of Andreae, a well-known open problem in the theory of infinite graphs, asserts that every locally finite connected graph is ubiquitous with respect to the minor relation. In this paper, which is the first of a series of papers making progress towards the Ubiquity Conjecture, we show that all trees are ubiquitous with respect to the topological minor relation, irrespective of their cardinality. This answers a question of Andreae from 1979.
The space $S_κ$ is the Stone space of the $κ$-saturated Boolean algebra of cardinality $κ$. It exists provided that $κ= κ^{<κ}$, and is characterised topologically as the unique $κ$-Parovichenko space of weight $κ$. Under the Continuum Hypothesis, $S_{ω_1}$ coincides with $ω^*$. This paper investigates questions related to the Stone-Cech compactification of spaces $S_κ\setminus \{x\}$, extending corresponding results obtained by Fine & Gillman and Comfort & Negrepontis for the space $ω^*$. We show that for every point $x$ of $S_κ$, the Stone-Cech remainder of $S_κ\setminus \{x\}$ is a $κ^+$-Parovichenko space of cardinality $2^{2^κ}$ which admits a family of $2^κ$ disjoint clopen sets. As a corollary we get that it is consistent with CH that the Stone-Cech remainders of $ω^* \setminus \{x\}$ are all homeomorphic.
Max Pitz, Lucas Real, Roman Schaut
For any given uncountable cardinal $κ$, we show that every $κ$-edge-connected graph admits a minor embedding of the graph $T_κ\star1$ (the $κ$-regular tree with a new apex vertex adjacent to all its nodes), which is itself $κ$-edge-connected. This extends a previous result of Kurkofka regarding unavoidable minors of $\aleph_0$-edge-connected graphs to all uncountable cardinalities $κ$.
Halin conjectured in 1964 that every connected graph has an end-faithful spanning tree. He proved this for countable graphs, but in the early 1990s Seymour and Thomas and, independently, Thomassen found uncountable counterexamples. Both are infinitely connected and hence one-ended, and their unique end has uncountable degree (i.e.\ contains uncountably many pairwise disjoint rays). Several authors have since asked how much of the conjecture survives. Diestel asked in 1992 whether a graph has an end-faithful spanning tree as soon as all its one-ended connected subgraphs have one; by a theorem of Polat, this would give end-faithful spanning trees in all connected graphs whose ends have countable degree. Diestel and Kühn introduced topological spanning trees, a topological variant of end-faithful spanning trees that exists in every one-ended connected graph, and asked in 2004 whether every…
Halin conjectured that a graph has a normal spanning tree if and only if every minor of it has countable colouring number. This has recently been proven by the second author. In this paper, we strengthen this result by establishing the following local version of it: Given a prescribed set of vertices $U$ in a connected graph $G$, there is a normal tree in $G$ that includes $U$ if and only if every $U$-rooted minor of $G$ (i.e. a minor every branch set of which meets $U$) has countable colouring number. Our proof relies on a novel approach that combines normal partition trees as introduced by Brochet and Diestel with a suitable closure argument developed by Robertson, Seymour and Thomas in their discussion of infinite graphs of finite tree width.