Directed graphs prove to be very hard to tame in contrast to undirected graphs. In particular, they are not well-quasi-ordered by any known relevant inclusion relation, and are lacking fruitful structure theorems. This motivates the search for structurally rich subclasses of directed graphs that are well behaved. Eulerian directed graphs are a particularly prominent example, sharing many similarities with undirected graphs. In fact, it is conjectured that Eulerian directed graphs are well-quasi-ordered by weak immersion, and even well-quasi-ordered by strong immersion when restricting to classes of bounded degree. We believe that we have a proof of both conjectures, and I will report on the current status, progress, and steps towards said proof and its implications. This is joint work with Ken-ichi Kawarabayashi and Stephan Kreutzer.
기초과학연구원 이산수학그룹