arXiv++ Combinatorics

Suppose we are given graphs $B$ and $G$. In the classical Maker-Breaker game $\text{MB}(B,G)$ two players, Maker and Breaker, alternately claim edges of $B$ and it is Maker's goal to claim a copy of $G$ in $B$, while it is Breaker's goal to prevent that. In this paper, $B$ is the countably infinite complete graph $K_{\aleph_0}$ and we are given finitely many infinite subgraphs $G_1, \dots, G_k \subseteq B$. In the color preserving game, it will be Maker's goal to claim a $K_{\aleph_0} \subseteq B$, which contains infinitely many edges of each $G_i$. We present sufficient winning conditions for both Maker and Breaker, if $k > 1$ and a full characterization of the game, if $k =1$. This partly answers a question of Bowler, Emde and Gut. In the (partially) pattern preserving game, it is Maker's goal to claim a copy $K$ of $K_{\aleph_0}$, such that $G_i \cap K$ is isomorphic to (a subgraph of) $G_i$ for all $i \in [k]$. In those games, we investigate some patterns for which Maker has a winning strategy.

We prove that for every set $S$ of vertices of a directed graph $D$, the maximum number of vertices in $S$ contained in a collection of vertex-disjoint cycles in $D$ is at least the minimum size of a set of vertices that hits all cycles containing a vertex of $S$. As a consequence, the directed tree-width of a directed graph is linearly bounded in its cycle-width, which improves the previously known quadratic upper bound. We further show that the corresponding statement in bidirected graphs is true and that its edge-variant holds in both undirected and directed graphs, but fails in bidirected graphs. The vertex-version in undirected graphs remains an open problem.

A digraph $H$ is called ubiquitous if every digraph that contains arbitrarily many vertex-disjoint copies of $H$ also contains infinitely many vertex-disjoint copies of $H$. We study oriented double rays, that is, digraphs $H$ whose underlying undirected graphs are double rays. Calling a vertex of an oriented double ray a turn if it has in-degree or out-degree 2, we prove that an oriented double ray with at least one turn is ubiquitous if and only if it has a (finite) odd number of turns. It remains an open problem to determine whether the consistently oriented double ray is ubiquitous.

We investigate a game played between two players, Maker and Breaker, on a countably infinite complete graph where the vertices are the rational numbers. The players alternately claim unclaimed edges. It is Maker's goal to have after countably many turns a complete infinite graph contained in her coloured edges where the vertex set of the subgraph is order-isomorphic to the rationals. It is Breaker's goal to prevent Maker from achieving this. We prove that there is a winning strategy for Maker in this game. We also prove that there is a winning strategy for Breaker in the game where Maker must additionally make the vertex set of her complete graph dense in the rational numbers.

We investigate a two player game called the $K^4$-building game: two players alternately claim edges of an infinite complete graph. Each player's aim is to claim all six edges on some vertex set of size four for themself. The first player to accomplish this goal is declared the winner of the game. We present a winning strategy which guarantees a win for the first player.

Bidirected graphs are a generalisation of directed graphs that arises in the study of undirected graphs with perfect matchings. Menger's famous theorem - the minimum size of a set separating two vertex sets $X$ and $Y$ is the same as the maximum number of disjoint paths connecting them - is generally not true in bidirected graphs. We introduce a sufficient condition for $X$ and $Y$ which yields a version of Menger's Theorem in bidirected graphs that in particular implies its directed counterpart.

We introduce torsoids, a canonical structure in matching covered graphs, corresponding to the bricks and braces of the graph. This allows a more fine-grained understanding of the structure of finite and infinite directed graphs with respect to their 1-separations.

Call a digraph $H$ \emph{ubiquitous} if every digraph $D$ that contains $k$ vertex-disjoint copies of $H$ for every $k \in \mathbb{N}$ also contains infinitely many vertex-disjoint copies of $H$. We characterise which digraphs whose underlying undirected graph is a ray are ubiquitous.

We investigate Maker-Breaker games on graphs of size $\aleph_1$ in which Maker's goal is to build a copy of the host graph. We establish a firm dependence of the outcome of the game on the axiomatic framework. Relating to this, we prove that there is a winning strategy for Maker in the $K_{ω,ω_1}$-game under ZFC+MA+$\neg$CH and a winning strategy for Breaker under ZFC+CH. We prove a similar result for the $K_{ω_1}$-game. Here, Maker has a winning strategy under ZF+DC+AD, while Breaker has one under ZFC+CH again.

The study of minimal subgraphs witnessing a connectivity property is an important field in graph theory. The foundation for large flames has been laid by Lovász: Let $ D=(V,E) $ be a finite digraph and let $ r\in V $. The local connectivity $ κ_D(r,v) $ from $ r $ to $ v $ is defined to be the maximal number of internally disjoint $ r\rightarrow v $ paths in $ D $. A spanning subdigraph $ L $ of $ D $ with $ κ_L(r,v)=κ_D(r,v) $ for every $ v\in V-r $ must have at least $\sum_{v\in V-r}κ_D(r,v) $ edges. Lovász proved that, maybe surprisingly, this lower bound is sharp for every finite digraph. The optimality of an $ L $ sufficing the min-max criteria from Lovász' theorem may instead also be captured by the following structural characterization: For every $ v\in V-r $ there is a system $ \mathcal{P}_v $ of internally disjoint $ r\rightarrow v $ paths in $ L $ covering all the ingoing edges of $ v $ in $ L $ such that one can choose from each $ P\in \mathcal{P}_v $ either an edge or an internal vertex in such a way that the resulting set meets every $ r\rightarrow v $ path of $ D $. The positive result for countably infinite digraphs based on this structural infinite generalisation were obtained by the second author. In this paper we extend this to digraphs of size $ \aleph_1 $ which requires significantly more complex techniques. Despite solving yet the smallest uncountable case, the complete understanding of the concept and potentially a proof for arbitrary cardinality still seems to be far.

We investigate games played between Maker and Breaker on an infinite complete graph whose vertices are coloured with colours from a given set, each colour appearing infinitely often. The players alternately claim edges, Makers aim being to claim all edges of a sufficiently colourful infinite complete subgraph and Breakers aim being to prevent this. We show that if there are only finitely many colours then Maker can obtain a complete subgraph in which all colours appear infinitely often, but that Breaker can prevent this if there are infinitely many colours. Even when there are infinitely many colours, we show that Maker can obtain a complete subgraph in which infinitely many of the colours each appear infinitely often.