arXiv++ Combinatorics

The Berge-Fulkerson Conjecture states that every bridgeless cubic graph has six perfect matchings such that each edge belongs to exactly two of them. This conjecture has remained open since 1971, and several of its weakenings have been proposed over the years. Two of the most prominent are the Fan-Raspaud Conjecture and the Máčajová-Škoviera Conjecture. It is well known that the Berge-Fulkerson Conjecture implies the Fan-Raspaud Conjecture, which in turn implies the Máčajová-Škoviera Conjecture. These problems have been studied for years in the context of finite graphs, and many equivalences between them and other results have been established. However, little to nothing is known about them in the context of infinite graphs. In this paper, we investigate whether these conjectures remain valid in the infinite setting, establish their implications in analogy to the finite case, and prove that their finite versions are equivalent to their respective infinite versions.

We provide a combinatorial characterization for pairs of order-theoretic trees with homeomorphic ray spaces, answering an open problem proposed by Kurkofka ad Pitz. This solution is inspired by the introduction of a transfinite topological game, which allows us to characterize not only ray spaces through the existence of winning strategies for one of the players, but also their homeomorphic classes. As applications of these results, we obtain a new topological characterization for graph-theoretic end spaces (thus obtaining yet another solution to a recently solved problem of Diestel), as well as for edge-end spaces and completely ultrametrizable spaces. We also introduce a generalization of the class of ray spaces (which is strict, as witnessed by the Sorgenfrey line). Furthermore, we establish that, for subspaces with cardinality less than continuum of end spaces, the scattered property is equivalent to the property of being, itself, an end space. At last, we determine that ray spaces in a couple of classes fail to have their product with any non-discrete space as a ray space.

In 1992, Diestel asked which topological spaces could be represented as the end space of some graph. In 2023, Pitz provided a solution to this question by giving a topological characterization of end spaces using a hereditarily complete special subbase. In this paper, we present an alternative topological characterization of end spaces, in which we employ a special subbase and a topological game. Furthermore, we provide several applications of this characterization: we show that every end space is hereditarily Baire, that $G_δ$ subspaces of end spaces are also end spaces, and that the product of end spaces is not always an end space.

Diestel and Kühn proved that the topological ends of an infinite graph are precisely its undominated graph ends, yielding a canonical embedding of the space of topological ends into the space of graph ends. For edge-ends, introduced by Hahn, Laviolette and Širáň, such an embedding does not exist in general. In this note, we characterize the class of infinite graphs for which the topological ends admit a natural injective map into the space of edge-ends that is compatible with the canonical maps between end spaces. Our characterization is purely combinatorial and is expressed in terms of edge-equivalence classes of vertices. Moreover, when such an embedding exists, we identify precisely which edge-ends arise from topological ends, showing that they are exactly the edge-ends containing a non-dominated ray. This establishes a parallel result to the theorem of Diestel and Kühn for edge-end spaces.

We prove that every 2k-edge-connected graph with countably many edge-ends admits a k-arc-connected orientation, extending the previous result by Assem, Koloschin and Pitz that also assumed the hypothesis of the graph being locally finite. We prove that, if every locally finite graph has a well-balanced orientation, so does every graph. Lastly, we explore an alternative to the Nash-Williams Orientation Conjecture via topological paths, and prove that it is true for every finitely separated graph.

Given a graph $G$ and a subset $X$ of vertices of $G$ with size at least two, we denote by $N^2_G(X)$ the set of vertices of $G$ that have at least two neighbors in $X$. We say that a bipartite graph $G$ with sides $A$ and $B$ satisfies the double Hall property if for every subset $X$ of vertices of $A$ with size at least 2, $\vert N^2_G(X)\vert \geq \vert X\vert$. Salia conjectured that if $G$ is a bipartite graph that satisfies the double Hall property, then there exists a cycle in $G$ that covers all vertices of $A$. In this work, we study this conjecture restricted to infinite graphs. For this, we use the definition of ends and infinite cycles. It is simple to see that Salia's conjecture is false for infinite graphs in general. Consequently, all our results are partial. Under certain hypothesis it is possible to obtain a collection of pairwise disjoint 2-regular subgraphs that covers $A$. We show that if side $B$ is locally finite and side $A$ is countable, then the conjecture is true. Furthermore, assuming the conjecture holds for finite graphs, we show that it holds for infinite graphs with a restriction on the degree of the vertices of $B$. This result is inspired by the result obtained by Barát, Grzesik, Jung, Nagy and Pálvölgyi for finite graphs. Finally, we also show that if Salia's conjecture holds for some cases of infinite graphs, then the conjecture about finite graphs presented by Lavrov and Vandenbussche is true.

Directions of graphs were originally introduced in the study of a cops-and-robbers kind of game, while the study of end spaces has been used to generalize classical graph-theoretical results to infinite graphs, such as Halin's generalization of Menger's theorem. An edge-analogue of end spaces, where finite sets of edges are used instead of vertices as separator agents to form the so-called edge-end space, has been recently used to obtain an edge-analogue of this later result. Inspired by Diestel's correspondence between directions and ends of a graph, we tackle in this paper an edge-analogue of directions, its relation with line graphs, and an edge-analogue of Diestel's correspondence. The results of this study had some implications over edge-end space compactness, which then became a target of inquiry: we thus show an edge-analogue of Diestel's combinatorial characterization for compact end spaces. Non-edge-dominating vertices play an important role in our characterization, which motivated the study of ends and directions using now finite sets of these vertices as separator agents, as done previously for edges, giving rise to other topological spaces associated with graphs. These new direction and end spaces once again motivate an analogue of Diestel's correspondence result, and further generalizations are obtained. All of these constructions define topological space-classes associated with graphs such as edge-end spaces and edge-direction spaces of graphs. The paper organizes these topological space-classes appearing throughout the text with representation results, as it was done by Pitz and Kurkofka, as well as Aurichi, Real and Magalhães Júnior. Most notably, we show that every compact edge-end space can be represented as the edge-direction space of a connected graph.

We prove that if $ T $ is a semi-special tree that is not special, then there exists a graph $ G $, formed as an inflation of a sparse $ T $-graph, such that for any special tree $ S $, $ G $ is not a subdivision of an inflation of an sparse $ S $-graph. Furthermore $G$ has an end of uncountable degree that has no ray graph. This result provides a consistent negative answer to a problem posed by Stefan Geschke et al. in 2023. Additionally, we introduce and explore a property that generalizes Halin's grid theorem, extending it to ends of degree $ \aleph_1 $, which was originally established for ends of countable degree.

The notion of ends in an infinite graph $G$ might be modified if we consider them as equivalence classes of infinitely edge-connected rays, rather than equivalence classes of infinitely (vertex-)connected ones. This alternative definition yields to the edge-end space $Ω_E(G)$ of $G$, in which we can endow a natural (edge-)end topology. For every graph $G$, this paper proves that $Ω_E(G)$ is homeomorphic to $Ω(H)$ for some possibly another graph $H$, where $Ω(H)$ denotes its usual end space. However, we also show that the converse statement does not hold: there is a graph $H$ such that $Ω(H)$ is not homeomorphic to $Ω_E(G)$ for any other graph $G$. In other words, as a main result, we conclude that the class of topological spaces $Ω_E = \{Ω_E(G) : G \text{ graph}\}$ is strictly contained in $Ω= \{Ω(H) : H \text{ graph}\}$.