The independent neighborhoods process

Tom Bohman, Dhruv Mubayi, Michael Picollelli

A triangle $T^{(r)}$ in an $r$-uniform hypergraph is a set of $r+1$ edges such that $r$ of them share a common $(r-1)$-set of vertices and the last edge contains the remaining vert…