Title:Hypergraph limits via martingales

Abstract:A sequence of $k$-uniform hypergraphs $H_1, H_2, \dots$ is said to converge if the homomorphism densities $t(F, H_1), t(F, H_2), \dots$ converge for every $k$-uniform hypergraph $F$. Lovász and Szegedy showed that every convergent sequence of graphs has a limit in the form of a symmetric measurable function $W \colon [0,1]^2 \to [0,1]$ that determines all limits of subgraph densities. For hypergraphs, analogous limits $W \colon [0,1]^{2^k-2} \to [0,1]$ were constructed by Elek and Szegedy using ultraproducts.
We give a new ultraproduct-free construction of hypergraph limits as well as a colored generalization. Our proof follows the original approach of Lovász and Szegedy, with the key ingredients being a weak Frieze-Kannan type regularity lemma and the Martingale Convergence Theorem.