Structural convergence and algebraic roots

Abstrakt

Structural convergence is a framework for the convergence of graphs by Nešetřil and Ossona de Mendez that unifies the dense (left) graph convergence and Benjamini-Schramm convergence. They posed a problem asking whether for a given sequence of graphs (Gn) converging to a limit L and a vertex r of L, it is possible to find a sequence of vertices (rn), such that L rooted at r is the limit of the graphs Gn rooted at rn. A counterexample was found by Christofides and Král’, but they showed that the statement holds for almost all vertices r of L. We offer another perspective on the original problem by considering the size of definable sets to which the root r belongs. We prove that if r is an algebraic vertex (i.e. belongs to a finite definable set), the sequence of roots (rn) always exists.