Relating the cut distance and the weak* topology for graphons

Abstract

The theory of graphons is ultimately connected with the so-called cut norm. In this paper, we approach the cut norm topology via the weak* topology (when considering a predual of L1-functions). We prove that a sequence W1,W2,W3,… of graphons converges in the cut distance if and only if we have equality of the sets of weak* accumulation points and of weak* limit points of all sequences of graphons W1′,W2′,W3′,… that are weakly isomorphic to W1,W2,W3,…. We further give a short descriptive set theoretic argument that each sequence of graphons contains a subsequence with the property above. This in particular provides an alternative proof of the theorem of Lovász and Szegedy about compactness of the space of graphons. We connect these results to “multiway cut” characterization of cut distance convergence from Borgs et al. (2012) [5].These results are more naturally phrased in the Vietoris hyperspace K(W0) over graphons with the weak* topology. We show that graphons with the cut distance topology are homeomorphic to a closed subset of K(W0), and deduce several consequences of this fact.From these concepts a new order on the space of graphons emerges. This order allows to compare how structured two graphons are. We establish basic properties of this “structuredness order”.