-
Limits of Mappings
Authors:
L. Hosseini,
J. Nesetril,
P. Ossona de Mendez
Abstract:
In this paper we consider a simple algebraic structure --- sets with a single endofunction. We shall see that from the point of view of limits, even this simplest case is both interesting and difficult. Nevertheless we obtain the shape of limit objects in the full generality, and we prove the inverse theorem in the easiest case of quantifier-free limits.
In this paper we consider a simple algebraic structure --- sets with a single endofunction. We shall see that from the point of view of limits, even this simplest case is both interesting and difficult. Nevertheless we obtain the shape of limit objects in the full generality, and we prove the inverse theorem in the easiest case of quantifier-free limits.
△ Less
Submitted 5 May, 2017; v1 submitted 23 February, 2016;
originally announced February 2016.
-
Treeable Graphings Are Local Limits of Finite Graphs
Authors:
Lucas Hosseini,
Patrice Ossona de Mendez
Abstract:
Let $\mathbf G$ be a graphing, that is a Borel graph defined by $d$ measure preserving involutions. We prove that if $\mathbf G$ is {\em treeable} then it arises as the local limit of some sequence $(G_n)_{n\in\mathbb{N}}$ of graphs with maximum degree at most $d$. This extends a result by Elek [G. Elek, Note on limits of finite graphs, Combinatorica 27 (2007)] (for $\mathbf G$ a treeing) and cons…
▽ More
Let $\mathbf G$ be a graphing, that is a Borel graph defined by $d$ measure preserving involutions. We prove that if $\mathbf G$ is {\em treeable} then it arises as the local limit of some sequence $(G_n)_{n\in\mathbb{N}}$ of graphs with maximum degree at most $d$. This extends a result by Elek [G. Elek, Note on limits of finite graphs, Combinatorica 27 (2007)] (for $\mathbf G$ a treeing) and consequently extends the domain of the graphings for which Aldous-Lyons conjecture is known to be true.
△ Less
Submitted 21 January, 2016;
originally announced January 2016.
-
Limits of Structures and the Example of Tree-Semilattices
Authors:
Pierre Charbit,
Lucas Hosseini,
Patrice Ossona de Mendez
Abstract:
The notion of left convergent sequences of graphs introduced by Lov\' asz et al. (in relation with homomorphism densities for fixed patterns and Szemerédi's regularity lemma) got increasingly studied over the past $10$ years. Recently, Ne\v set\v ril and Ossona de Mendez introduced a general framework for convergence of sequences of structures. In particular, the authors introduced the notion of…
▽ More
The notion of left convergent sequences of graphs introduced by Lov\' asz et al. (in relation with homomorphism densities for fixed patterns and Szemerédi's regularity lemma) got increasingly studied over the past $10$ years. Recently, Ne\v set\v ril and Ossona de Mendez introduced a general framework for convergence of sequences of structures. In particular, the authors introduced the notion of $QF$-convergence, which is a natural generalization of left-convergence. In this paper, we initiate study of $QF$-convergence for structures with functional symbols by focusing on the particular case of tree semi-lattices. We fully characterize the limit objects and give an application to the study of left convergence of $m$-partite cographs, a generalization of cographs.
△ Less
Submitted 17 September, 2015; v1 submitted 12 May, 2015;
originally announced May 2015.