Abstract
An end of a graph G is an equivalence class of rays, where two rays are equivalent if there are infinitely many vertex-disjoint paths between them in G. The degree of an end is the maximum cardinality of a collection of pairwise disjoint rays in this equivalence class.
Halin conjectured that the end degree can be characterised in terms of certain typical ray configurations, which would generalise his famous grid theorem. In particular, every end of regular uncountable degree κ would contain a star of rays, i.e., a configuration consisting of a central ray R and κ neighbouring rays (Ri: i < κ) all disjoint from each other and each Ri sending a family of infinitely many disjoint paths to R so that paths from distinct families only meet in R.
We show that Halin’s conjecture fails for end degree 1א, holds for ℵ2,ℵ3,…,ℵω fails for אω+1, and is undecidable (in ZFC) for the next אω+n with n ∈ ℕ, n ≽ 2. Further results include a complete solution for all cardinals under GCH, complemented by a number of consistency results.
Halin conjectured that the end degree can be characterised in terms of certain typical ray configurations, which would generalise his famous grid theorem. In particular, every end of regular uncountable degree κ would contain a star of rays, i.e., a configuration consisting of a central ray R and κ neighbouring rays (Ri: i < κ) all disjoint from each other and each Ri sending a family of infinitely many disjoint paths to R so that paths from distinct families only meet in R.
We show that Halin’s conjecture fails for end degree 1א, holds for ℵ2,ℵ3,…,ℵω fails for אω+1, and is undecidable (in ZFC) for the next אω+n with n ∈ ℕ, n ≽ 2. Further results include a complete solution for all cardinals under GCH, complemented by a number of consistency results.
Original language | English |
---|---|
Pages (from-to) | 617–645 |
Number of pages | 29 |
Journal | Israel Journal of Mathematics |
Volume | 253 |
Issue number | 2 |
Early online date | 20 Oct 2022 |
DOIs | |
Publication status | Published - Mar 2023 |