Let be a finite graph with at least one edge, and let be a graphon. We show that if the density of rooted at each edge is almost everywhere constant, then either or is constant. For edge-transitive , one rooted equation suffices. This recovers the edge-rooted triangle theorem of Reiher and Schacht. In their terminology, our result also shows that every clique is -forcing, answering a question they posed. We give an explicit stability estimate when is bounded away from zero. Our proof has two steps: an entropy argument turns constant rooted densities into an additive identity for , and a Hoeffding decomposition determines all solutions of that identity. The same method gives exact classifications and quantitative stability estimates for symmetric uniform hyperkernels, dissociated Aldous–Hoover hypergraphons, directed kernels, and tournamentons.

生成讲解博客的中文版本

生成AI智能校验的中文版本