A proof of the bounded graph conjecture

From MaRDI portal
Publication:1207424





Given a ray \(R: v_ 1 v_ 2\dots\) in the graph \(G\) and a function \(f: V(G)\to\mathbb{N}\), the sequence \(\sigma: V(G)\to\mathbb{N}\) is said to dominate \(f\) on \(R\), if \(\sigma(n)\geq f(v_ n)\) for all but finitely many \(n\in\mathbb{N}\). The graph \(G\) is called bounded if for each \(f: V(G)\to\mathbb{N}\) some sequence \(\sigma\) dominates \(f\) on every ray in \(G\). The authors characterize the bounded countable graphs as those not containing a subdivision of any of three particular countable graphs as subgraphs. This characterization was conjectured by Halin in 1964. General bounded graphs \(G\) are characterized by the additional property that \(G\) must not contain \(\kappa\) disjoint rays, where \(\kappa\) is a certain cardinal such that \(\omega<\kappa\leq 2^ \omega\) (\(\kappa= \omega_ 1\) if \(2^ \omega= \omega_ 1\)). Also the exclusion of the three (four) basic graphs as minors characterizes the countable (general) bounded graphs.











This page was built for publication: A proof of the bounded graph conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1207424)