2022/08/22 by Im, Seonghyuk, Kim, Jaehoon, Lee, Joonkyung +1
#Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.2208.10370
Hypertrees are linear hypergraphs where every two vertices are connected by a unique path. Elliott and Rödl conjectured that for any given μ>0, there exists n0 such that the following holds. Every n-vertex Steiner triple system contains all hypertrees with at most (1-μ)n vertices whenever n≥ n0. We prove this conjecture.