KAMAK tree conjecture for grounded forests
Let a digraph have a height function be a mapping such that for every arc . An oriented forest is grounded if it admits a height function constant on the set of vertices of in-degree at least . A digraph is -enforcible if there exists such that every digraph with minimum out-degree at least contains a subdigraph isomorphic to .
KAMAK tree conjecture. Every grounded forest is -enforcible.
Hons et al. proved the necessary condition that every -enforcible digraph is a grounded forest. The conjecture asserts sufficiency and is the main result proved in the paper, although the supplied status metadata marks it as open.
References
Primary source
Micha Christoph and Raphael Steiner, “Proof of the KAMAK tree conjecture”, arXiv:2505.21367 (2025).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.