Strong regularity for three-uniform hypergraphs (source code)

= Strong regularity for three-uniform hypergraphs

= Strong hypergraph regularity
{synonym}

Strong regularity refines both the vertex classes and the pair graphs supporting triple hyperedges. The resulting <triads in a hypergraph regularity partition> have nearly constant relative triple density outside a small exceptional weight. Pair and triple errors must be chosen in a hierarchy strong enough for a relative <tetrahedron counting lemma>; ordinary graph regularity on the vertex partition alone is insufficient. Refinement raises bounded conditional-density energies.