Graph minors XXIII. Nash-Williams' immersion conjecture

Neil Robertson, Paul Seymour

Research output: Contribution to journalArticlepeer-review

83 Scopus citations


We define a quasi-order of the class of all finite hypergraphs, and prove it is a well-quasi-order. This has two corollaries of interest:•Wagner's conjecture, proved in a previous paper, states that for every infinite set of finite graphs, one of its members is a minor of another. The present result implies the same conclusion even if the vertices or edges of the graphs are labelled from a well-quasi-order and we require the minor relation to respect the labels.•Nash-Williams' "immersion" conjecture states that in any infinite set of finite graphs, one can be "immersed" in another; roughly, embedded such that the edges of the first graph are represented by edge-disjoint paths of the second. The present result implies this, in a strengthened form where we permit vertices to be labelled from a well-quasi-order and require the immersion to respect the labels.

Original languageEnglish (US)
Pages (from-to)181-205
Number of pages25
JournalJournal of Combinatorial Theory. Series B
Issue number2
StatePublished - Mar 2010

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Discrete Mathematics and Combinatorics
  • Computational Theory and Mathematics


  • Graph minors
  • Immersion
  • Well-quasi-order


Dive into the research topics of 'Graph minors XXIII. Nash-Williams' immersion conjecture'. Together they form a unique fingerprint.

Cite this