arXiv++ Combinatorics

We study the existence and cardinality of universal families for classes of rayless graphs. It is known, by a result of Diestel, Halin, and Vogler, that the class of countable rayless graphs does not admit a countable universal family, leaving open the precise complexity of this class. We prove that for every infinite cardinal $κ$, the class of rayless graphs of cardinality at most $κ$ admits a strongly universal family of size exactly $κ^+$, and that no smaller family can exist. This settles the problem for the countable case and extends uniformly to higher cardinalities. We further investigate subclasses defined by forbidding subgraphs. When finitely many finite graphs are forbidden, the strong complexity remains $κ^+$, except in degenerate cases where it collapses to countable. In contrast, the class of countable rayless graphs when forbidding certain infinite graphs has a complexity that reaches its maximum possible value, the continuum. Finally, we establish that natural subclasses -- including rayless trees, bipartite rayless graphs, graphs without even cycles, and graphs without infinite trails -- retain the minimal strong complexity $κ^+$. These results provide a comprehensive characterization of universality in rayless graphs and highlight both its stability under restrictions and its sensitivity to specific obstructions.

The Unfriendly Partition Problem asks whether it is possible to split the vertex set of an infinite graph $G$ into two parts so that every vertex has at least as many neighbors in the other part than on its own. Despite the uncountable counterexamples provided by Milner and Shelah in 1990, this question still has no solution for graphs on countably many vertices. Under this hypothesis, our main result claims that such a bipartition exists if the rays of $G$ do not pass through infinitely many vertices of finite degree and infinitely many vertices of infinite degree simultaneously. In particular, for the class of countable graphs, we generalize previous results due to Aharoni, Milner and Prikry and due to Bruhn, Diestel, Georgakopolous and Sprüssel.

In infinite graph theory, the notion of ends, first introduced by Freudenthal and Jung for locally finite graphs, plays an important role when generalizing statements from finite graphs to infinite ones. Nash-Willian's Tree-Packing Theorem and MacLane's Planarity Criteria are examples of results that allow a topological approach, in which ends might be considered as endpoints of rays. In fact, there are extensive works in the literature showing that classical theorems of (vertex-)connectivity for finite graphs can be discussed regarding ends, in a more general context. However, aiming to generalize results of edge-connectivity, this paper recalls the definition of edge-ends in infinite graphs due to Hahn, Laviolette and Širáň. In terms of that object, we state an edge version of Menger's Theorem (following a previous work of Polat) and generalize the Lovász-Cherkassky Theorem for infinite graphs with edge-ends (inspired by a paper of Jacobs, Joó, Knappe, Kurkofka and Melcher).

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}\}$.

An unfriendly partition of a graph $G = (V,E)$ is a function $c: V \to 2$ such that $|\{x\in N(v): c(x)\neq c(v)\}|\geq |\{x\in N(v): c(x)=c(v)\}|$ for every vertex $v\in V$, where $N(v)$ denotes its neighborhood. It was conjectured by Cowen and Emerson that every graph has an unfriendly partition, but Milner and Shelah found counterexamples for that statement by analyzing graphs with uncountably many vertices. Curiously, none of their graphs have vertices with finite degree. Therefore, as a natural direction to approach, in this paper we search for the least cardinality of a graph with that property that admits no unfriendly partitions. Actually, among some other independence results, we conclude that this size cannot be determined from the usual axioms of set theory.