This paper proves a comprehensive and elementary extension property for partial automorphisms (EPPA) for classes of structures with relations, unary functions, and permutation groups, unifying and strengthening several key theorems.
Contribution
It provides a unified, combinatorial proof of EPPA for diverse classes, extending previous theorems and establishing a common framework for EPPA and Ramsey properties.
Findings
01
Unified proof of EPPA for classes with relations and unary functions
02
Extension of EPPA results to classes with forbidden homomorphisms
03
Application to a problem from Hrushovski's construction
Abstract
In this paper we prove a general theorem showing the extension property for partial automorphisms (EPPA, also called the Hrushovski property) for classes of structures containing relations and unary functions, optionally equipped with a permutation group of the language. The proof is elementary, combinatorial and fully self-contained. Our result is a common strengthening of the Herwig-Lascar theorem on EPPA for relational classes with forbidden homomorphisms, the Hodkinson-Otto theorem on EPPA for relational free amalgamation classes, its strengthening for unary functions by Evans, Hubi\v{c}ka and Ne\v{s}et\v{r}il and their coherent variants by Siniora and Solecki. We also prove an EPPA analogue of the main results of J. Hubi\v{c}ka and J. Ne\v{s}et\v{r}il: All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms), thereby establishing a common framework forâŚ
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Full text
All those EPPA classes
(Strengthenings of the HerwigâLascar theorem)
Abstract.
Let A be a finite structure. We say that a finite structure B is an EPPA-witness for A if it contains A as a substructure and every isomorphism of substructures of A extends to an automorphism of B. Class C of finite structures has the extension property for partial automorphisms (EPPA, also called the Hrushovski property) if it contains an EPPA-witness for every structure in C.
We develop a systematic framework for combinatorial constructions of EPPA-witnesses satisfying additional local properties and thus for proving EPPA for a given class C.
Our constructions are elementary, self-contained and lead to
a common strengthening of the HerwigâLascar theorem on EPPA for relational classes defined by forbidden homomorphisms, the HodkinsonâOtto theorem on EPPA for relational free amalgamation classes, its strengthening for unary functions by Evans, HubiÄka and NeĹĄetĹil and their coherent variants by Siniora and Solecki.
We also prove an EPPA analogue of the main results of J. HubiÄka and J. NeĹĄetĹil: All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms), thereby establishing a common framework for proving EPPA and the Ramsey property.
There are numerous applications of our results, we include a solution of a problem related to
a class constructed by the Hrushovski predimension construction. We also characterize free amalgamation classes of finite ÎLâ-structures with relations and unary functions which have EPPA.
Let A and B be finite structures (e.g. graphs, hypergraphs or metric spaces) such that A is a substructure of B. We say that B is an EPPA-witness for A if every isomorphism of substructures of A (a partial automorphism of A) extends to an automorphism of B. We say that a class C of finite structures has the extension property for partial automorphisms (EPPA, also called the Hrushovski property) if for every AâC there is BâC which is an EPPA-witness for A.
In 1992, Hrushovski [Hru92] established that the class of all finite graphs has EPPA. This result was used by Hodges, Hodkinson, Lascar, and Shelah to show the small index property for the random graph [HHLS93]. After this, the quest of identifying new classes of structures with EPPA continued with a series of papers including [Her95, Her98, HL00, HO03, Sol05, Ver08, Con19, Ott17, ABWH*+*17c, HKN19, Kon19, HKN18, EHKN20].
In particular, Herwig and Lascar [HL00] proved EPPA for certain relational classes with forbidden homomorphisms. Solecki [Sol05] used this result to prove EPPA for the class of all
finite metric spaces. This was independently obtained by
Vershik [Ver08], see also [Pes08, Ros11b, Ros11a, Sab17, HKN19] for other proofs. Some of these proofs are combinatorial [HKN19], others are using the profinite topology on free groups and the RibesâZalesskii [RZ93] and Marshall Hall [Hal49] theorems. Soleckiâs argument was refined by Conant [Con19] for
certain classes of generalised metric spaces and metric spaces with
(some) forbidden subspaces. In [ABWH*+*17c], these techniques were carried
further and a layer was added on top of the HerwigâLascar theorem to show EPPA for many classes of metrically homogeneous graphs from
Cherlinâs catalogue [Che17] (see also exposition in [Kon18]).
There are known EPPA classes for which the HerwigâLascar theorem is not well suited. In particular, EPPA for free amalgamation classes of relational structures was shown by Siniora and Solecki [SS19] using results of Hodkinson and Otto [HO03].
It was noticed by Ivanov [Iva15] that a lemma on permomorphisms from Herwigâs paper [Her98, Lemma 1] can be used to show EPPA for structures with
definable equivalences on n-tuples with infinitely many equivalence classes. Evans, HubiÄka, and NeĹĄetĹil [EHN17] strengthened the aforementioned construction of Hodkinson and Otto and established EPPA for free
amalgamation classes in languages with relations and unary functions (e.g. the class of k-orientations arising from a Hrushovski construction [EHN19] or the class of all finite bowtie-free graphs [EHN19]).
We give a combinatorial, elementary, and fully self-contained proof of a strengthening of all the aforementioned results [Her98, HL00, HO03, EHN17] and their coherent variants by Siniora and Solecki [SS19, Sin17].
This has a number of applications which we list in Section 1.3. In particular, in Section 12.5 we present a solution of a
problem related to a class constructed by the Hrushovski predimension construction.
1.1. ÎLâ-structures
Before presenting the summary of our results, let us introduce the structures we are dealing with.
With applications in mind, we generalise the standard notion of model-theoretic L-structures in two directions. We consider functions which go to subsets of the vertex set and we also equip the languages with a permutation group ÎLâ. Our morphisms will consist of a map between vertices together with a permutation of the language: The standard notions of homomorphism, embedding etc. are generalised naturally, see Section 2 for formal definitions.
If ÎLâ consists of the identity only and the ranges of all functions consist of singletons, one gets back the standard model-theoretic L-structures together with the standard mappings, the standard definition of EPPA etc.
1.2. The main results
We now state the principal results of this paper together with a short discussion.
A structure is irreducible if it is not a free amalgamation of its proper substructures. If B is an EPPA-witness for A, we say that it is irreducible structure faithful if whenever C is an irreducible substructure of B, then there is an automorphism gâAut(B) such that g(C)âA. A class has irreducible structure faithful EPPA if it has EPPA and all EPPA-witnesses can be chosen to be irreducible structure faithful. (This is a natural generalization of the clique faithful EPPA introduced by Hodkinson and Otto [HO03] to structures with functions.)
Coherent EPPA is a âfunctorialâ strengthening of EPPA introduced by Siniora and Solecki [SS19, Sin17] and is defined in Section 2.6.
In this paper we prove two main theorems. The âbaseâ unrestricted theorem, formulated as Theorem 1.1, gives irreducible structure faithful coherent EPPA for the class of all finite ÎLâ-structures, strengthening results of Herwig [Her98, Lemma 1], Hodkinson and Otto [HO03], its coherent variant of Siniora and Solecki [SS19], and Evans, HubiÄka, and NeĹĄetĹil [EHN17].
Theorem 1.1** (Construction of an unrestricted EPPA-witness).**
Let L be a language consisting of relations and unary functions equipped with a permutation group ÎLâ and let A be a finite ÎLâ-structure. If A lies in a finite orbit of the action of ÎLâ by relabelling, then there is a finite ÎLâ-structure B, which is an irreducible structure faithful coherent EPPA-witness for A.
Consequently, the class of all finite ÎLâ-structures has irreducible structure faithful coherent EPPA if every finite ÎLâ-structure lies in a finite orbit of the action of ÎLâ by relabelling.
Here, the action of ÎLâ by relabelling is defined such that gâÎLâ sends a ÎLâ-structure A to a ÎLâ-structure AⲠon the same vertex set where the relations and functions are relabelled according to g (see Definition 2.1). Note that in particular if ÎLâ is finite (e.g. ÎLâ={idLâ} or L is finite), then every ÎLâ-structure lies in a finite orbit of the action of ÎLâ by relabelling.
After that, we provide a theorem which, given a finite irreducible structure faithful (coherent) EPPA-witness B0â for A, produces a finite irreducible structure faithful (coherent) EPPA-witness B for A while providing extra control over the local structure of B:
Theorem 1.2** (Construction of a restricted EPPA-witness).**
Let L be a language consisting of relations and unary functions equipped with a permutation group ÎLâ, let A be a finite irreducible ÎLâ-structure, let B0â be a finite EPPA-witness for A and let nâĽ1 be an integer. There is
a finite ÎLâ-structure B satisfying the following.
(1)
B* is an irreducible structure faithful EPPA-witness for A.*
2. (2)
There is a homomorphism-embedding BâB0â.
3. (3)
For every substructure C of B on at most
n vertices there is a tree amalgamation D of copies of A and a homomorphism-embedding f:CâD.
4. (4)
If B0â is coherent then so is B.
Here, a tree amalgamation of copies of A is any structure which can be created by a series of free amalgamations of copies of A over its substructures (see Definition 9.1).
Theorem 1.1 contains the condition that A needs to lie in a finite orbit of the action of ÎLâ by relabelling. We prove that this is in fact necessary:
Theorem 1.3**.**
Let L be a language equipped with a permutation group ÎLâ and let A be a finite ÎLâ-structure. If A lies in an infinite orbit of the action of ÎLâ by relabelling then there is no finite ÎLâ-structure B which is an EPPA-witness for A.
We can combine Theorems 1.1 and 1.3 with an easy observation used earlier [HO03, EHN17, Sin17] and characterize free amalgamation classes of finite ÎLâ-structures which have (irreducible structure faithful coherent) EPPA, provided that all functions in the language are unary. The following theorem strengthens results of Hodkinson and Otto [HO03], Evans, HubiÄka, and NeĹĄetĹil [EHN17], and Siniora [Sin17], and in particular implies irreducible structure faithful coherent EPPA for the class of all graphs, Knâ-free graphs or k-regular hypergraphs.
Corollary 1.4**.**
Let L be a language consisting of relations and unary functions equipped with a permutation group ÎLâ and let K be a free amalgamation class of finite ÎLâ-structures. Then K has EPPA if and only if
every AâK lies in a finite orbit of the action of ÎLâ on ÎLâ-structures by relabelling.
Moreover, if K has EPPA, then it has irreducible structure faithful coherent EPPA.
We also provide two corollaries of Theorem 1.2, which might be easier to apply in some cases. The first corollary is a direct strengthening of the HerwigâLascar theorem [HL00, Theorem 3.2] and its coherent variant of Solecki and Siniora [SS19, Theorem 1.10].
For a set F of ÎLâ-structures, we denote by Forbheâ(F) the set of all finite and countable ÎLâ structures A such that there is no FâF with a homomorphism-embedding FâA.
Theorem 1.5**.**
Let L be a language consisting of relations and unary functions equipped with a permutation group ÎLâ.
Let F be a finite family of finite ÎLâ-structures and let AâForbheâ(F) be a finite ÎLâ-structure which lies in a finite orbit of the action of ÎLâ by relabelling. If there exists a (not necessarily finite) structure MâForbheâ(F) containing A as a substructure such that each partial automorphism of A extends to an automorphism of M, then there exists a finite structure BâForbheâ(F) which is an irreducible structure faithful coherent EPPA-witness for A.
HubiÄka and NeĹĄetĹil [HN19] gave a structural condition for a class to be Ramsey. It turns out that, in papers studying Ramsey expansions of various classes using their theorem, EPPA is sometimes an easy corollary of one of the intermediate steps, see e.g. [ABWH*+*17c, ABWH*+*17a, ABWH*+*17b, Kon19]. In this paper, we make this link explicit by proving a theorem on EPPA whose statement is very similar to [HN19, Theorem 2.18]. For the definition of a locally finite automorphism-preserving subclass, see Section 11.
Theorem 1.6**.**
Let L be a language consisting of relations and unary functions equipped with a permutation group ÎLâ and let E be a class of finite ÎLâ-structures which has EPPA.
Let K be a hereditary
locally finite automorphism-preserving subclass of E with the strong amalgamation property which consists of irreducible structures. Then K has EPPA.
Moreover, if EPPA-witnesses in E can be chosen to be coherent then EPPA-witnesses in K can be chosen to be coherent, too.
1.3. Applications of our results
When proving EPPA for (some of) the antipodal classes of metrically homogeneous graphs in [ABWH*+*17c], an additional ad hoc layer was added on top of an application of the HerwigâLascar theorem to ensure that edges of length δ form a matching [ABWH*+*17c, Theorem 7.7]. Another ad hoc layer was needed in the same paper for the bipartite classes [ABWH*+*17c, Theorem 6.13]. These ad hoc constructions can be avoided using the main theorem of this paper, adding unary functions to represent edges of length δ for the antipodal classes, or adding two unary predicates which can be swapped by ÎLâ to describe the partition for the bipartite classes.
When proving EPPA for the antipodal classes of odd diameter and the bipartite antipodal classes of even diameter of metrically homogeneous graphs in [Kon20], the full strength of Theorem 1.6 (from an early draft of this paper) was used: One needed unary functions to represent that edges of length δ form a matching, control over substructures to ensure that no non-metric cycles are created, and language permutations to generalise a construction from [EHKN20].
Section 12 of this paper is devoted to applications. In particular, we outline how to further strengthen our results to languages with constants or certain non-unary functions (see Theorems 12.6 and 12.7), and we prove that a class connected to Hrushovskiâs predimension construction has EPPA (see Theorem 12.12). The two latter proofs use a general method for dealing with higher-arity functions by chaining several applications of Theorem 1.2 on top of each other using language permutations.
We are confident that there are many more applications of the main theorems of this paper to be discovered.
1.4. EPPA and Ramsey
The results and techniques of this paper are motivated by recent developments
of the structural Ramsey theory, particularly the efforts to characterise Ramsey classes
of finite structures. As this paper demonstrates, many techniques and proof strategies from structural Ramsey theory may serve
as a motivation for results about EPPA classes.
We were inspired by the scheme of proofs of corresponding Ramsey results in [HN19],
by the construction of clique faithful EPPA-witnesses for relational structures given by Hodkinson and Otto [HO03], by the treatment of unary function in [EHN17], and by the recent proofs of EPPA for metric spaces [HKN19] and for two-graphs [EHKN20].
In each section, we fix a ÎLâ-structure A and give an explicit construction of a ÎLâ-structure B and an embedding AâB. Then, given a partial automorphism of A, we show how to construct an automorphism of B extending it, that is, we prove that B is an EPPA-witness for A. Finally, we prove that B has the given special properties (e.g. irreducible structure faithfulness, or control over small substructures) and that the extension is coherent. Usually, the constructions are the interesting part and the proofs are just verification that a function is an automorphism and that it composes correctly.
While all this may be surprising on the first glance
and it is one of the novelties of this paper, we want to stress at this point some of the main differences between EPPA and Ramsey.
(Further open problems will be in Section 13.)
Both EPPA and the Ramsey property imply the amalgamation property (see Observation 2.6
and [Neť05]) and have strong consequences for the FraïssÊ limits. Nonetheless,
not every amalgamation class has EPPA or the Ramsey property. While there is a meaningful
conjecture motivating the classification program of Ramsey classes (see [HN19, BPT11]),
for the classification of EPPA classes this is not yet the case.
The classification programme for EPPA classes was initiated in [EHN19, EHN17] by giving examples of classes with a non-trivial EPPA expansion. (See also the survey by the first author [Hub20].)
There exist many classes which have a non-trivial Ramsey expansion but fail to have a non-trivial EPPA expansion. Examples include the class of all finite linear orders or the class of all finite finite partially ordered sets. On the other hand, to the authorâs best knowledge, whenever a Ramsey expansion of an EPPA class is known, the expansion only adds a âsmall amount of informationâ (compared to what is promised for Ď-categorical structures by [Kec12, Theorem 4.5]).
The correspondence between the structural conditions for EPPA and Ramsey classes then motivates the following conjecture.
Conjecture 1.7**.**
Every strong amalgamation class with EPPA has a precompact Ramsey expansion.
(See Section 2.3 for a definition of strong amalgamation and for example [NVT15] for a definition of a precompact expansion.) Note that this conjecture implies every Ď-categorical structure with EPPA having a precompact Ramsey expansion.
Classes known to have EPPA where it is not known if they have a precompact Ramsey expansion
include the class of all finite groups [Sin17, PS18] and the class of all finite skew-symmetric bilinear forms111David M. Evans, personal communication. See also [CH03].. More open problems are listed in Section 13.
It is worth to mention a result of Jahel and Tsankov [JT20] who prove that
for a large number of classes, EPPA implies the ordering property (which is closely related to the Ramsey property, see [KPT05]). In particular, this implies that while for Ramsey classes, there exists an ordering of FraïssÊ limit which is compatible with the group of automorphisms, for EPPA classes satisfying the conditions of [JT20] such a global
ordering cannot be definable. This in fact may be one of the main dividing lines.
Based on all this information and an analogous scheme in the Ramsey context [HN19], this may be schematically depicted as follows.
Ramsey
classes
amalgamation classes
EPPA
classes
more
special structures
ultrahomogeneous
structures
special
structures
This paper is organised as follows:
In Section 2, we give all the necessary notions and definitions. In Section 3, which is supposed to serve as a warm-up, we give a new proof of (a coherent strengthening of) Hrushovskiâs theorem [Hru92]. Then, in Sections 4 and 5, we show that this new construction generalises naturally to relational ÎLâ-structures. In Section 6, we add a new layer which allows the language to also contain unary functions. In Section 7, we combine this with techniques introduced earlier [HO03, EHN17] to obtain irreducible structure faithfulness, and in Section 8, we once again use a similar construction to deal with forbidden homomorphic images, which allows us to prove the main theorems of this paper in Sections 9, 10 and 11. Finally, in Section 12, we apply our results and prove EPPA for the class of k-orientations with d-closures, thereby confirming the first part of [EHN19, Conjecture 7.5]. We also prove Corollary 1.4, illustrate the usage of Theorems 1.1 and 1.6 on the example of integer-valued metric spaces with no large subspaces, where all vertices are in distance 1 from each other and prove EPPA for languages with constants or certain classes with non-unary functions.
2. Background and notation
We find it convenient to work with model-theoretic structures generalised in two ways: We equip the language with a permutation group (giving a more systematic treatment to the concept of permomorphisms introduced by Herwig [Her98]) and consider functions to the powerset (a further generalisation of [EHN17]). This is motivated by applications, see Section 12.5.
Let L=LRââŞLFâ be a language consisting of relation symbols RâLRâ and function symbols FâLFâ each having its arity denoted by a(R)âĽ1 for relations and a(F)âĽ0 for functions.
Let ÎLâ be a permutation group on L which preserves types and arities of all symbols. We say that L is a language equipped with a permutation group ÎLâ.
Observe that when ÎLâ is trivial and the ranges of all functions consist of singletons, one obtains the usual notion of model-theoretic language (and structures). All results and
constructions in this paper presented on ÎLâ-structures thus hold also for standard L-structures. By this we mean that given a class of standard L-structures, one can treat them as ÎLâ-structures with ÎLâ trivial, use the results of this paper and then, perhaps after some straightforward adjustments, obtain the same results for the original class (see Observations 2.2 and 2.7).
Denote by P(A) the set of all subsets of A. A ÎLâ-structureA is a structure with vertex setA, functions FAâ:Aa(F)âP(A) for every FâLFâ and relations RAââAa(R) for every RâLRâ.
Notice that the domain of a function is a tuple while the range is a set, the reason for this is that it allows to explicitly represent algebraic closures by functions. If the set A is finite, we call A a finite structure. We consider only structures with finitely or countably infinitely many vertices.
If LFâ=â , we call L a relational language and say that a ÎLâ-structure is a relational ÎLâ-structure.
A function F such that a(F)=1 is a unary function.
In this paper, the language and its permutation group are often fixed and understood from the context (and they are in most cases denoted by L and ÎLâ respectively), we also only consider unary functions.
2.1. Maps between ÎLâ-structures
A homomorphismf:AâB is a pair f=(fLâ,fAâ) where fLââÎLâ and fAâ is a mapping AâB
such that for every RâLRâ and FâLFâ we have:
(a)
(x1â,âŚ,xa(R)â)âRAââš(fAâ(x1â),âŚ,fAâ(xa(R)â))âfLâ(R)Bâ, and
2. (b)
If f=(fLâ,fAâ):AâB and g=(gLâ,gBâ):BâC are homomorphisms, we denote by gf=gâf=(gLââfLâ,gBââfAâ) the homomorphism AâC obtained by their composition. (It is straightforward to check that the composition is indeed a homomorphism AâC.)
If fAâ is injective then f is called a monomorphism. A monomorphism f=(fLâ,fAâ) is an embedding if for every RâLRâ and FâLFâ:
(a)
(x1â,âŚ,xa(R)â)âRAââş(fAâ(x1â),âŚ,fAâ(xa(R)â))âfLâ(R)Bâ, and
2. (b)
If f is an embedding where fAâ is one-to-one then f is an isomorphism. An isomorphism from a structure to itself is called an automorphism. If fAâ is an inclusion and fLâ is the identity then A is a substructure of B and we may write AâB to denote this fact.
Given a ÎLâ-structure B and AâB, the closure of A in B, denoted by ClBâ(A), is the smallest substructure of B containing A.
For xâB, we will also write ClBâ(x) for ClBâ({x}) and for a tuple xË=(x1â,âŚ,xnâ)âBn we will write ClBâ(xË) for ClBâ({x1â,âŚ,xnâ}).
Let A, B, C and CⲠbe ÎLâ-structures such that CâA and Câ˛âB. If f:CâCⲠis an isomorphism, we may also call it a partial isomorphism between A and B (note that f also includes a permutation fLââÎLâ).
Let f=(fLâ,fAâ):AâB be a homomorphism. For brevity, we may write f(x) for fAâ(x) in the context where xâA, and f(S) for fLâ(S) where SâL. By Dom(f) and Range(f) we will always mean Dom(fAâ) and Range(fAâ) respectively. If xË=(x1â,âŚ,xnâ)âAn then by f(xË)=fAâ(xË) we mean the tuple (fAâ(x1â),âŚ,fAâ(xnâ)), and if XâAn then we put f(X)=fAâ(X)={f(xË):xËâX}.
Note that f(RAâ)=fAâ(RAâ) is the image of a set of tuples, while f(R)Bâ=fLâ(R)Bâ is the realisation of the relation fLâ(R) in B. These sets need not be equal in general (they will, however, be equal whenever f is an embedding).
If fLââÎLâ and fAâ is a function from A to some set X, we denote by f(A) the homomorphic image of structure A, that is, the ÎLâ-structure with vertex set fAâ(A) such that for every RâLRâ and FâLFâ we have:
(a)
Rf(A)â=fAâ(fLâ1â(R)Aâ), and
2. (b)
for every xËâfAâ(A)a(F) it holds that
[TABLE]
Note that f is a homomorphism Aâf(A) and moreover all relations and functions of f(A) are minimal possible for f to be a homomorphism. Also observe that if fAâ is injective, then f is an isomorphism Aâf(A).
Definition 2.1**.**
Let L be a language equipped with a permutation group ÎLâ. We define the action of ÎLâ on ÎLâ-structures by relabelling, such that for a ÎLâ-structure A and gâÎLâ, we define gA as (g,idAâ)(A).
Observation 2.2**.**
Let L be a language equipped with a permutation group ÎLâ. If L is finite or ÎLâ={idLâ} then every finite ÎLâ-structure lies in a finite orbit of the action of ÎLâ by relabelling.
Proof.
If L is finite, then there are only finitely many ÎLâ-structures on any given finite set A and the action of ÎLâ by relabelling preserves the vertex set. If ÎLâ={idLâ}, then the action is trivial and every orbit is a singleton.
â
2.2. ÎLâ-structures as standard model-theoretic structures
Whenever there exists a structure L such that Aut(L)=ÎLâ (e.g. when L is finite or more generally when ÎLâ is a closed subgroup of Sym(N)), there is a functorial correspondence between ÎLâ-structures and structures in a bigger language with no permutation group. This makes it possible to extend many theorems about classical structures to (certain) ÎLâ-structures without having to re-prove them.
Definition 2.3**.**
Let L be a language equipped with a permutation group ÎLâ. Let X be the set of all symbols of L which are not fixed by ÎLâ and assume that there is a language L0â disjoint from L and an L0â-structure X such that Aut(X) is precisely the action of ÎLâ on X. Let Lâ be the language defined as follows:
(1)
For every symbol from LâX, we put the same symbol with the same arity into Lâ.
2. (2)
For every symbol from L0â, we put the same symbol with the same arity into Lâ.
3. (3)
For every n such that X contains a relation symbol of arity n, we put an (n+1)-ary relation symbol Rn into Lâ (without loss of generality Rnâ/LâŞL0â).
4. (4)
For every n such that X contains a function symbol of arity n, we put an (n+1)-ary function symbol Fn into Lâ (without loss of generality Fnâ/LâŞL0â).
5. (5)
There is a constant symbol câLâ (without loss of generality câ/LâŞL0â).
Given a ÎLâ-structure A, we define an Lâ-structure Aâ as follows:
(1)
The vertex set of Aâ is the disjoint union AâŞX (without loss of generality we can assume that AâŠX=â ).
2. (2)
cAââ=X.
3. (3)
The substructure of Aâ induced on X is isomorphic to X (in particular, there are no relations or functions from L).
4. (4)
For every symbol SâLâX we have that SAââ=SAâ.
5. (5)
For every n-ary relation symbol SâX and every tuple (x1â,âŚ,xnâ)âAn it holds that (x1â,âŚ,xnâ,S)âRAânâ if and only if (x1â,âŚ,xnâ)âSAâ.
6. (6)
For every n-ary function symbol SâX and every tuple (x1â,âŚ,xnâ)âAn it holds that (x1â,âŚ,xnâ,S)âDom(FAânâ) if and only if (x1â,âŚ,xnâ)âDom(SAâ), and in that case FAânâ(x1â,âŚ,xnâ,S)=SAâ(x1â,âŚ,xnâ).
Fact 2.4**.**
In the setting of Definition 2.3, f=(fLâ,fAâ) is an embedding of ÎLâ-structures AâB if and only if fLââžXââŞfAâ is an embedding of Lâ structures AââBâ.
This implies that the map AâŚAâ is an isomorphism of categories. Note that whenever ÎLâ is finite, we have that A is finite if and only if Aâ is. This construction still gives structures where the images of functions need not consist of singletons. In order to deal with this, one can replace functions by relations and consider only algebraically closed substructures as is standard in the area, see for example [Eva].
2.3. Amalgamation classes
Let A, B1â, and B2â be ÎLâ-structures, and let Îą1â:AâB1â, Îą2â:AâB2â be embeddings. A structure C
with embeddings β1â:B1ââC and
β2â:B2ââC such that β1ââÎą1â=β2ââÎą2â (remember that this must also hold for the language part of Îąiââs and βiââs) is called an amalgamation of B1â and B2â over A with respect to Îą1â and Îą2â, see Figure 1.
We will often call C simply an amalgamation of B1â and B2â over A
(in most cases Îą1â and Îą2â can be chosen to be inclusion embeddings).
We say that the amalgamation is strong if it holds that β1â(x1â)=β2â(x2â) if and only if x1ââÎą1â(A) and x2ââÎą2â(A).
Strong amalgamation is free if C=β1â(B1â)âŞÎ˛2â(B2â), and whenever a tuple xË of vertices of C contains vertices of both
β1â(B1ââÎą1â(A)) and β2â(B2ââÎą2â(A)), then xË is in no relation of C
and also for every function FâL with a(F)=âŁxË⣠it holds that FCâ(xË)=â .
Definition 2.5**.**
An amalgamation class is a class K of finite ÎLâ-structures which is closed for isomorphisms and satisfies the following three conditions:
(1)
Hereditary property: For every BâK and every structure A with an embedding f:AâB we have AâK;
2. (2)
Joint embedding property: For every A,BâK there exists CâK with an embeddings f:AâC and g:BâC;
3. (3)
Amalgamation property:
For A,B1â,B2ââK and embeddings Îą1â:AâB1â, Îą2â:AâB2â, there is CâK which is an amalgamation of B1â and B2â over A with respect to Îą1â and Îą2â.
If the C in the amalgamation property can always be chosen to be a strong amalgamation then K is a strong amalgamation class, if it can always be chosen to be the free amalgamation then K is a free amalgamation class.
By the FraĂŻssĂŠ theorem [Fra53], relational amalgamation classes in a countable language with trivial ÎLâ containing only countably many members up to isomorphism correspond to countable homogeneous structures. By Section 2.2, one can extend this to various languages equipped with a permutation group using a variant of the FraĂŻssĂŠ theorem for languages with functions or for strong substructures, see for example [Eva].
Generalising the notion of a graph clique, we say that a structure is
irreducible if it is not a free amalgamation of its proper
substructures. A homomorphism f:AâB is
a homomorphism-embedding if the restriction fâžCâ is an embedding whenever C is an irreducible
substructure of A. Given a family F of ÎLâ-structures, we denote by
Forbheâ(F) the class of all finite or countably infinite ÎLâ-structures A
such that there is no FâF with a homomorphism-embedding FâA.
2.4. EPPA for ÎLâ-structures
A partial automorphism of a ÎLâ-structure A is a partial isomorphism between A and A.
Let A and B be finite ÎLâ-structures. We say that B
is an EPPA-witness for A if there is an embedding Ď:AâB
and every partial automorphism of Ď(A)extends to an automorphism of B, that is, for every partial automorphism Ď of Ď(A) there is an automorphism Ďâ:BâB such that ĎâĎâ.
We say that a class of finite ÎLâ-structures K has the extension property for partial automorphisms (shortly EPPA, sometimes called
the Hrushovski property) if for every AâK
there is BâK which is an EPPA-witness for A.
Such a structure B is irreducible structure faithful (with respect to Ď(A)) if it has the property
that for every irreducible substructure C of B there exists an
automorphism g of B such that g(C)âĎ(A).
Note that the classes which we are interested in are closed under taking isomorphisms, and hence if there is an EPPA-witness
B for A in K, then there is also an EPPA-witness Bâ˛âK such that Ď is just the inclusion AâBâ˛. To simplify the arguments, we will often ignore this subtle technicality.
Homomorphism-embeddings were introduced in [HN19] and irreducible structure faithfulness was introduced in [EHN17] as a generalisation of clique faithfulness of Hodkinson and Otto [HO03].
The following observation provides a link to the study of homogeneous structures.
Every hereditary isomorphism-closed class of finite ÎLâ-structures which has EPPA and the joint embedding property (see Definition 2.5) is an amalgamation class.
Proof.
Let K be such a class and let A,B1â,B2ââK, Îą1â:AâB1â, Îą2â:AâB2â be as in Definition 2.5. Let B be the joint embedding of B1â and B2â (that is, we have embeddings β1â˛â:B1ââB and β2â˛â:B2ââB) and let C be an EPPA-witness for B. Without loss of generality, we can assume that BâC.
Let Ď be a partial automorphism of B sending β1â˛â(Îą1â(A)) to β2â˛â(Îą2â(A)) and let θ be its extension to an automorphism of C. Finally, put β1â=θâβ1â˛â and β2â=β2â˛â. It is easy to check that β1â and β2â certify that C is an amalgamation of B1â and B2â over A with respect to Îą1â and Îą2â.
â
We believe that the results of this paper may often be used in a more specialised setting such as for standard model-theoretic L-structures etc. In order to facilitate that, we state the following simple observation which allows translating the main theorems into this more specialised setting.
Observation 2.7**.**
Let A and B be finite ÎLâ-structures such that B is an irreducible structure faithful EPPA-witness for A. If, in A, the range of every function consists of singletons then this also holds in B.
Proof.
Suppose for a contradiction that there is a function FâL and a tuple xËâBa(F) such that FBâ(xË)=X and âŁXâŁ>1. Since ClBâ(xË) is irreducible, by irreducible structure faithfulness there is an automorphism f:BâB sending ClBâ(xË) to A. In particular, f(xË)âA and f(X)âA. As f is an automorphism, we know that fLâ(F)Aâ(fBâ(xË))=fBâ(X) implying that âŁfBâ(X)âŁâ¤1 which is a contradiction.
â
2.5. EPPA and automorphism groups
As was mentioned in the introduction, the significance of EPPA comes from the fact that, while being a property of a class of finite structures, it is closely connected with topological properties of the automorphism group of an infinite structure, namely the FraĂŻssĂŠ limit of the class. We do not aim for this section to be self-contained nor complete (and refer the reader for example to [Sin17]), we only outline some of these connections and discuss how they extend to ÎLâ-structures. In contrast to the rest of this paper, in this section we are mostly going to be interested in (countably) infinite structures. For simplicity, we will assume that ÎLâ is finite (so that Section 2.2 can be fully applied), the case of infinite ÎLâ can be more complicated and deserves a study on its own.
Let M be a countably infinite ÎLâ-structure. Assume without loss of generality that the vertex set of M are the natural numbers and put G=Aut(M). Remember that members of G are pairs f=(fLâ,fMâ) with fLââÎLâ. This means that G can be understood as a subgroup of ÎLâĂSym(N) and as such inherits the topology of this product, where Sym(N) is equipped with the pointwise-convergence topology and ÎLâ, being finite, is equipped with the discrete topology. Note that this precisely corresponds to what one gets by using Section 2.2 and recalling the standard definitions.
Let M be a homogeneous ÎLâ-structure. We say that M is locally finite if for every finite XâM it holds that ClMâ(X) is also finite. By Age(M) we denote the class of all finite ÎLâ-structures which embed into M. The following theorem has been proved by Kechris and Rosendal [KR07] for classical structures and by Section 2.2 extends naturally to ÎLâ-structures:
Let L be a language equipped with a finite permutation group ÎLâ and let M be a countable locally finite homogeneous ÎLâ-structure. Then Age(M) has EPPA if and only if Aut(M) can be written as the closure of a chain of compact subgroups. Moreover, if Age(M) has EPPA, then Aut(M) is amenable.
Let L be a language equipped with a finite permutation group ÎLâ, let M be a countable locally finite homogeneous ÎLâ-structure and let nâĽ1 be an integer. We say that M has n-generic automorphisms if G has a comeagre orbit on Gn in its action by diagonal conjugation. We say that M has ample generics if it has n-generic automorphisms for every nâĽ1.
Here, the action by diagonal conjugation is defined by
[TABLE]
The existence of ample generics has many consequences for the automorphism group such as the small index property. From the point of view of this paper, ample generics are relevant, because EPPA is very often a key ingredient in proving them. We will outline this connection in the rest of this section.
Definition 2.10**.**
Let L be a language equipped with a permutation group ÎLâ, let C be a class of finite ÎLâ-structures and let nâĽ1 be an integer. An n-system over C is a tuple (A,p1â,âŚ,pnâ), where AâC and p1â,âŚ,pnâ are partial automorphisms of A. We denote by Cn the class of all n-systems over C.
If P=(A,p1â,âŚ,pnâ) and Q=(B,q1â,âŚ,qnâ) are both n-systems over C and f:AâB is an embedding of ÎLâ-structures, we say that f is an embedding of n-systems PâQ if for every 1â¤iâ¤n it holds that fâpiââqiââf (in particular, f(Dom(piâ))âDom(qiâ) and f(Range(piâ))âRange(qiâ)).
Definition 2.11**.**
Let L be a language equipped with a permutation group ÎLâ, let C be a class of finite ÎLâ-structures and let nâĽ1 be an integer. We say that Cn has the joint embedding property if for every P,QâCn there exists SâCn with embeddings of n-systems f:PâS and g:QâS. We say that Cn has the weak amalgamation property if for every TâCn there exists T^âCn and an embedding of n-systems Κ:TâT^ such that for every pair of n-systems P,QâCn and embeddings of n-systems Îą1â:T^âP and Îą2â:T^âQ there exists SâCn with embeddings on n-systems β1â:PâS and β2â:QâS such that β1âÎą1âΚ=β2âÎą2âΚ.
We only state the following theorem for ÎLâ={id}, as Cn does not have the joint embedding property for any n if C is a class of finite ÎLâ-structures with 2â¤âŁÎLââŁ<â (see Example 2.16).
Let L be a language, let M be a countable locally finite homogeneous L-structure, put C=Age(M) and fix nâĽ1. Then M has n-generic automorphisms if and only if Cn has the joint embedding property and the weak amalgamation property.
In order to explain the connection between EPPA and ample generics, we need one more definition
Definition 2.13**.**
Let L be a language equipped with a permutation group ÎLâ and let C be a class of finite ÎLâ-structures. We say that C has the amalgamation property with automorphisms (abbreviated as APA) if for every A,B1â,B2ââC and embeddings Îą1â:AâB1â, Îą2â:AâB2â there exists CâC with embeddings β1â:B1ââC and β2â:B2ââC such that β1ââÎą1â=β2ââÎą2â (i.e. C is an amalgamation of B1â and B2â over A with respect to Îą1â and Îą2â) and moreover whenever we have fâAut(B1â) and gâAut(B2â) such that f(Îą1â(A))=Îą1â(A), g(Îą2â(A))=Îą2â(A) and for every aâA it holds that Îą1â1â(f(Îą1â(a)))=Îą2â1â(g(Îą2â(a))) (that is, f and g agree on the copy of A we are amalgamating over), then there is hâAut(C) which extends β1âfβ1â1ââŞÎ˛2âgβ2â1â. We call such C with embeddings β1â and β2â an APA-witness for B1â and B2â over A with respect to Îą1â and Îą2â
Let L be a language equipped with a permutation group ÎLâ and let C be a class of finite ÎLâ-structures. If C has EPPA and APA then Cn has the weak amalgamation property for every nâĽ1.
Proof.
Fix nâĽ1. If S=(S,s1â,âŚ,snâ)âCn is an n-system, we denote by S^=(S^,s^1â,âŚ,s^nâ)âCn the n-system where S^ is an EPPA-witness for S (with respect to the inclusion embedding) and for every 1â¤iâ¤n it holds that s^iâ is an automorphism of S^ extending siâ.
We now prove that Cn has the weak amalgamation property. Towards that, fix some T=(T,t1â,âŚ,tnâ)âCn. Let P=(P,p1â,âŚ,pnâ),Q=(Q,q1â,âŚ,qnâ)âCn be arbitrary n-systems with embeddings Îą1â:T^âP and Îą2â:T^âQ.
Use APA for C to get SâC and embeddings β1â:P^âS and β2â:Q^ââS such that S with β1â and β2â form an APA-witness for P^ and Q^â over T^ with respect to Îą1â and Îą2â. Let S=(S,s1â,âŚ,snâ)âCn be some n-system such that for every 1â¤iâ¤n we have that siâ extends β1âp^âiâβ1â1ââŞÎ˛2âq^âiâβ2â1â. It is straightforward to verify that S is the desired n-system witnessing the weak amalgamation property for P, Q and T.
â
Example 2.15**.**
Consider the class C of all finite graphs. By a theorem of Hrushovski [Hru92] (or by Section 3) we know that C has EPPA. APA for C is an easy exercise (in general, APA for free amalgamation classes is always true). Hence, by Proposition 2.14, Cn has the weak amalgamation property for every nâĽ1. To prove ample generics for the countable random graph it thus remains to prove the joint embedding property for Cn. However, it is again an easy exercise (simply take the disjoint union of the graphs and the partial automorphisms).
Example 2.16**.**
Let L be a language consisting of two unary relations U and V, put ÎLâ=Sym(L) and let C be the class of all finite ÎLâ-structures where every vertex is in precisely one of the two unary relations. Clearly, C can equivalently be seen as the class of all finite structures with one equivalence relation with two equivalence classes. Since C is a free amalgamation class, Corollary 1.4 gives us EPPA for C, APA for C is straightforward. Hence, by Proposition 2.14, Cn has the weak amalgamation property for every nâĽ1.
However, Cn fails to have the joint embedding property for any nâĽ1 and this is already visible on n-systems with the empty structure. Let E be the ÎLâ-structure with no vertices and assume that ÎLâ is enumerated as {id,t} where id is the identity and t is the transposition UâV. Put P=(E,(id,â )) and Q=(E,(t,â )). Clearly, there is no 1-system which embeds both P and Q.
However, this kind of obstacle is the only reason why Cn does not have the joint embedding property (in general for free amalgamation classes): One can define an equivalence relation âźnâ on Cn for every n and for every pair of n-systems P=(P,(pL1â,pP1â),âŚ,(pLnâ,pPnâ))âCn and Q=(Q,(qL1â,qQ1â),âŚ,(qLnâ,qQnâ))âCn by putting PâźnâQ if and only if there is fâÎLâ such that for every 1â¤iâ¤n we have that fâpLiâ=qLiââf. Then P,QâCn have a joint embedding if and only if PâźnâQ. In fact, it is then possible to prove a relativised version of Theorem 2.12 and obtain generic automorphisms for every equivalence class of âźnâ. For example, if C is the class from this example, n=1 and the language part is the identity, then the generic automorphism is just a pair of permutations of vertices of each unary such that both of them have no infinite cycles and infinitely many k-cycles for every finite kâĽ1.
2.6. Coherence of EPPA-witnesses
Siniora and Solecki [Sol09, SS19] strengthened the notion of EPPA in order to get a dense locally finite subgroup of the automorphism group of the corresponding FraïssÊ limit.
In order to state their definitions, we need to define how partial maps compose. Let L be a language equipped with a permutation group ÎLâ, let A, B and C be ÎLâ-structures, let f be a partial isomorphism between A and B and let g be a partial isomorphism between B and C such that Dom(gBâ)=Range(fAâ). We define their composition gf (also denoted by gâf) to be the partial isomorphism between A and C such that (gf)Lâ=gLâfLâ, (gf)Aâ(x) is defined if and only if xâDom(fAâ) and fAâ(x)âDom(gBâ), and in this case we put (gf)Aâ(x)=gAâ(fBâ(x)).
Definition 2.17** (Coherent maps).**
Let L be a language equipped with a permutation group ÎLâ, let A be a ÎLâ-structure and let P be a family of partial automorphisms of A. A triple f,g,hâP is called a coherent triple if Range(fAâ)=Dom(gAâ) and h=gf. A pair f,gâP is called a coherent pair if there is hâP such that f,g,h is a coherent triple.
Let A and B be ÎLâ-structures, and let P and Q be families of partial automorphisms of A and B, respectively. A function Ď:PâQ is said to be a
coherent map if for each coherent triple (f,g,h) from P, its image (Ď(f),Ď(g),Ď(h)) in Q is also coherent.
Definition 2.18** (Coherent EPPA).**
A class K of finite ÎLâ-structures is said to have coherent EPPA if K has EPPA and moreover the extension of partial automorphisms
is coherent. That is, for every AâK, there exists BâK and an embedding Ď:AâB such that every
partial automorphism f of Ď(A) extends to some f^ââAut(B) with the property that the map fâŚf^â from partial automorphisms of Ď(A) to Aut(B) is coherent. We say that B is a coherent EPPA-witness for A.
The following easy proposition will be used several times. We include its proof to make this paper self-contained.
Every finite set is a coherent EPPA-witness for itself. Consequently, the class of all finite sets has coherent EPPA.
Explicitly, for every finite set A there is a map assigning to every partial injective function Ď:AâA a permutation Ďâ of A such that ĎâĎâ and moreover for every coherent pair Ď1â,Ď2â:AâA it holds that Ď2ââĎ1ââ=Ď2âĎ1ââ.
Proof.
Fix a set A. Without loss of generality we can assume that A={1,âŚ,n}. Let Ď be a partial automorphism of A, in other words, a partial injective function AâA. We construct a permutation Ďâ:AâA extending Ď in the following way:
Put X=AâDom(Ď) and Y=AâRange(Ď) and enumerate X={x1â,âŚ,xkâ} and Y={y1â,âŚ,ykâ} such that x1â<âŻ<xkâ and y1â<âŻ<ykâ. Define Ďâ by
[TABLE]
It is obvious that Ďâ is a permutation of A which extends Ď. Thus it only remains to prove coherence.
Consider xâA. If xâDom(Ď1â), then we have Ď1â(x)âDom(Ď2â) and hence Ď2âĎ1ââ(x)=Ď2ââ(Ď1ââ(x)). Put X=AâDom(Ď1â), Y=AâRange(Ď1â) (=AâDom(Ď2â)) and Z=AâRange(Ď2â) and again enumerate them in an ascending order. If x=xiâ, we have Ď1ââ(xiâ)=yiâ, Ď2ââ(yiâ)=ziâ and Ď2âĎ1ââ(xiâ)=ziâ, therefore indeed Ď2âĎ1ââ(xiâ)=Ď2ââ(Ď1ââ(xiâ)).
â
When using this result, we will often simply say that we extend a partial permutation in an order-preserving way or coherently.
3. Warm-up: new proof of EPPA for graphs
We start with a simple proof of the theorem of Hrushovski [Hru92]. (Our proof is different from another simple proof given
by Herwig and Lascar [HL00, Section 4.1].)
This is the simplest case where the construction of coherent EPPA-witnesses is non-trivial and we encourage the reader to spend enough time on this section, as it can provide a very useful intuition for the subsequent sections.
We consider graphs to be (relational) structures in a language with a single
binary relation E which is symmetric and irreflexive.
Fix a graph A with vertex set A={1,âŚ,n}.
Witness construction
We give a construction of a coherent EPPA-witness B. It will be constructed as follows:
(1)
The vertices of B are all pairs (x,Ď) where xâA and
Ď is a function from Aâ{x} to {0,1} (called a
valuation function for x).
2. (2)
Vertices (x,Ď) and (xâ˛,Ďâ˛) form an edge of B if and only if
xî =xⲠand Ď(xâ˛)î =Ďâ˛(x).
We now introduce
a generic copyAⲠof A in B using an embedding Ď:AâB defined by Ď(x)=(x,Ďxâ), where Ďxâ(y)=1 if x>y and {x,y}âEAâ and Ďxâ(y)=0 otherwise (remember that we enumerated A={1,âŚ,n}).
We put AⲠto be the graph induced by B on Ď(A).
It follows directly that Ď is indeed an embedding of A into B.
Remark 3.1*.*
Note that the functions Ďxâ from the definition of Ď are in fact the rows of an asymmetric variant of the adjacency matrix of A.
Let Ď:BâA be the projection mapping (x,Ď)âŚx. Note that Ď(Ď(x))=x for every xâA. This means that AⲠis transversal, that is, Ď is injective on Aâ˛.
Constructing the extension
The construction from the following paragraphs is schematically depicted in Figure 2.
Let Ď be a partial automorphism of Aâ˛. Using Ď we get a partial permutation of (the set) A and we denote by Ď^â its order-preserving extension to a permutation of A (cf. Proposition 2.19).
We now construct a set Fâ(2Aâ) of flipped pairs by putting {x,y}âF if xî =y, (x,Ďxâ)âDom(Ď) and Ďxâ(y)î =Ďâ˛(Ď^â(y)), where Ď((x,Ďxâ))=(Ď^â(x),Ďâ˛). Note that if we also have that (y,Ďyâ)âDom(Ď), then {x,y}âF if and only if Ďyâ(x)î =Ďâ˛â˛(Ď^â(x)), where Ď((y,Ďyâ))=(Ď^â(y),Ďâ˛â˛). This follows from the fact that Ď is a partial automorphism.
For every xâA we define a function fxâ on valuation functions for x putting
[TABLE]
Finally, we define a function Ďâ:BâB by putting Ďâ((x,Ď))=(Ď^â(x),fxâ(Ď)). This function will be the coherent extension of Ď.
Proofs
Both proofs in this section are only an explicit verification that our constructions work as expected.
Lemma 3.2**.**
Ďâ* is an automorphism of B extending Ď. In other words, B is an EPPA-witness for A.*
Proof.
Clearly, Ď^â has an inverse Ď^ââ1. Observe also that the function fxâ1â defined as
[TABLE]
is an inverse of fxâ. It follows that Ďâ is a bijection BâB.
Let (x,Ď) and (y,Ξ) be vertices of B.
If x=y, then by the definition of B neither of (x,Ď),(y,Ξ) and Ďâ((x,Ď)),Ďâ((y,Ξ))
form an edge. If xî =y, then we have fxâ(Ď)(Ď^â(y))î =fyâ(Ξ)(Ď^â(x)) if and only if Ď(y)î =Ξ(x) (by the definition of fxâ and fyâ), hence Ďâ preserves both edges and non-edges, that is, it is an automorphism of B.
Let (x,Ďxâ)âDom(Ď) with Ď((x,Ďxâ))=(z,Ďzâ). We have for every yâA that {x,y}âF if and only if Ďxâ(y)î =Ďzâ(Ď^â(y)). By the definition of fxâ, it follows that Ďxâ(y)î =fxâ(Ď)(Ď^â(y)) if and only if {x,y}âF, therefore Ďzâ=fxâ(Ď). This means that Ďâ indeed extends Ď.
â
Lemma 3.3**.**
Let Ď1â, Ď2â and Ď be partial automorphisms of A such that Ď=Ď2ââĎ1â and Ď1ââ, Ď2ââ and Ďâ their corresponding extensions as above. Then Ďâ=Ď2âââĎ1ââ.
Proof.
Denote by Ď^â1â, Ď^â2â and Ď^â the
corresponding permutations of A constructed above, and by F1â, F2â and F the corresponding sets of flipped pairs.
By Proposition 2.19 we get that Ď^â=Ď^â2ââĎ^â1â. To see
that Ďâ is a composition of Ď1ââ and Ď2ââ it remains to
verify that pairs flipped by Ďâ are precisely
those pairs that are flipped by the composition of Ď1ââ and Ď2ââ.
This follows from the construction of F.
Only pairs with at least one vertex in the domain of Ď1â are put into sets F and F1â
and again only pairs with at least one vertex in the domain of Ď2â (which is the same
as the value range of Ď1â) are put into F2â.
Consider {x,y}âF. This means that at least one of them (without loss of generality x) is in Ď(Dom(Ď))=Ď(Dom(Ď1â)). Furthermore we know that fxâ(Ďxâ)(Ď^â(y))î =Ďxâ(y). Because Ď=Ď2ââĎ1â, we get that either {x,y}âF1â, or {Ď^â1â(x),Ď^â1â(y)}âF2â (and precisely one of these happens). And this means that both Ďâ and Ď2âââĎ1ââ flip {x,y}.
On the other hand, if {x,y}â/F, then either {x,y} is in both F1â and F2â or in neither of them and then, again, neither Ďâ nor Ď2âââĎ1ââ flip {x,y}. This implies that indeed Ďâ=Ď2âââĎ1ââ.
â
The previous lemmas immediately imply the following proposition.
Proposition 3.4**.**
The graph B is a coherent EPPA-witness for Aâ˛.
Remark 3.5*.*
Note that B only depends on the number of vertices of A and, as such, is a coherent EPPA-witness for all graphs with at most âŁA⣠vertices.
Remark 3.6*.*
There is a simple generalisation of the ideas of this section which gives coherent EPPA for (not only) k-uniform hypergraphs directly, producing EPPA-witnesses on fewer vertices than Corollary 1.4 (see the next paragraph). For example, when k=3, vertices of B are pairs (x,Ď), where Ď is a function from (2Aâ{x}â) (the set of all (unordered) pairs of vertices of A different from x) to {0,1} and we say that (x,Ď),(xâ˛,Ďâ˛),(xâ˛â˛,Ďâ˛â˛) form a hyperedge of B if and only if x, xⲠand xâ˛â˛ are distinct and Ď({xâ˛,xâ˛â˛})+Ďâ˛({x,xâ˛â˛})+Ďâ˛â˛({x,xâ˛}) is odd. The rest of the construction is generalised in the same way, see also Section 4
Corollary 1.4 also implies coherent EPPA for the class of all k-uniform hypergraphs and other such classes. However, its proof takes a detour by first constructing EPPA-witnesses where the k-ary relation is not symmetric and contains tuples with repeated occurrences of the same vertices (a generalisation of loops), and then relying on a construction of irreducible structure faithful EPPA-witnesses to get a k-uniform hypergraph.
Remark 3.7*.*
A minor change to the construction makes it possible to prove the extension property for partial switching automorphisms (which is a strengthening of standard EPPA), and hence also EPPA for two-graphs and antipodal metric spaces. This was done by Evans and the authors in [EHKN20].
Remark 3.8*.*
Hrushovskiâs construction gives EPPA-witnesses on at most (2n2n)! vertices (where âŁAâŁ=n) and he asks if this can be improved [Hru92, Section 3].222We would like to thank H. AndrĂŠka and I. NĂŠmeti for bringing this question to our attention. The combinatorial construction of Herwig and Lascar [HL00] provides EPPA-witnesses on roughly (kn)k vertices, where âŁAâŁ=n and k is the maximum degree of a vertex of A. Our construction gives EPPA-witnesses on n2nâ1 vertices, thereby providing the best uniform bound over all graphs on n vertices. The same construction was found independently by AndrĂŠka and NĂŠmeti [AN19].
Hrushovski also proves a lower bound âŁBâŁâĽ2m+m for âŁAâŁ=2m. It remains open to improve either of the bounds. Some partial progress on obtaining EPPA-witnesses of small size for some special classes of graphs has been made by Bradley-Williams and Cameron [BWC20]. We believe that studying bounds on the number of vertices of EPPA-witnesses is an interesting and meaningful project which can deepen our understanding of symmetries of graphs.
What now follows is a series of strengthenings of the main ideas from this section.
Each of the constructions will proceed in several steps:
(1)
Define a structure B using a suitable variant of valuations.
2. (2)
Give a construction of a generic copy AⲠof A in B.
3. (3)
For a partial automorphism Ď of Aâ˛, give a construction of its coherent extension Ďâ:BâB.
4. (4)
Prove that Ďâ is indeed a coherent extension of Ď and that B and Ďâ have the extra properties required in the respective section.
We believe that the constructions are what is interesting. However, the proofs often contain some steps which are conceptually straightforward but slightly technical due to the nature of the constructions. We decided to state these technicalities as Claims and prove them at the very end of each section. We believe that this helps separate the key parts of the arguments from technical verifications.
4. Coherent EPPA for relational structures
In this section we generalise the construction from the previous section to prove the following proposition:
Proposition 4.1**.**
Let L be a finite relational language equipped with a permutation group ÎLâ and let A be a finite ÎLâ-structure. There exists a finite ÎLâ-structure B which is a coherent EPPA-witness for A.
Fix a finite relational language L equipped with a permutation group ÎLâ and a finite ÎLâ-structure A
with A={1,âŚ,k}. We will construct a ÎLâ-structure B and give an embedding Ď:AâB such that B is a coherent EPPA-witness for A (with respect to Ď). Proposition 4.1 then immediately follows.
Witness construction
Given a vertex xâA and an integer n, we denote by UnAâ(x) the set of all n-tuples (i.e. n-element sequences) of elements of A containing x. Note that UnAâ(x) also includes n-tuples with repeated occurrences of vertices.
Given a relation RâL of arity n and a vertex xâA, we say that a function Ξ:UnAâ(x)â{0,1} is an R-valuation function for x. An L-valuation function for a vertex xâA is a function Ď
assigning to every RâL an R-valuation function Ď(R) for x.
Now we are ready to give the definition of B:
(1)
The vertices of B are all pairs (x,Ď), where xâA and
Ď is an L-valuation function for x.
2. (2)
For every relation symbol R of arity n we put
[TABLE]
if and only if for every 1â¤i<jâ¤n such that xiâ=xjâ it also holds that Ďiâ=Ďjâ and furthermore
[TABLE]
(summing over Ďâ{Ďiâ:1â¤iâ¤n} ensures that possible multiple occurrences of (xiâ,Ďiâ) are only counted once).
Next we give an embedding Ď:AâB by putting ĎLâ to be the identity, and
[TABLE]
where Ďxâ is an L-valuation function for x such that for every RâL we have
[TABLE]
The following claim follows from the construction:
Claim 4.2**.**
Ď is an embedding AâB.
Proof.
Fix an n-ary relation RâL. Recall that for xâA, we have Ď(x)=(x,Ďxâ) with Ďxâ(R)(yËâ)=1 if and only if yËâ1â=x and yËââRAâ. In particular, if yËââ/RAâ, then Ď(yËâ)â/RBâ, as for every i we have that ĎyËâiââ(R)(yËâ)=0.
Suppose now that yËââRAâ. For every i we have ĎyËâiââ(R)(yËâ)=1 if and only if yËâiâ=yËâ1â. Hence
[TABLE]
so it is odd and thus Ď(yËâ)âRBâ.
â
Put Aâ˛=Ď(A). This is the copy whose partial automorphisms we will later extend. Let Ď:BâA defined as Ď((x,Ď))=x be the projection.
Constructing the extension
As in Section 3, we fix a partial automorphism Ď:Aâ˛âAⲠand extend the projection of Ď to a permutation Ď^â of A in an order-preserving way. Note that Ď already contains a permutation of the language, therefore we will focus on extending the structural part.
For every relation symbol RâL of arity n, we construct a function FRâ:Anâ{0,1}n.
These functions will play a similar role as the set F in Section 3
(i.e., they will control the flips) and are constructed as follows:
For an n-tuple xË=(x1â,âŚ,xnâ) and 1â¤iâ¤n, we put FRâ(xË)iâ=1 if and only if one of the following two cases is true:
(1)
xiââĎ(Dom(Ď)) and Ďxiââ(R)(xË)î =Ďxjââ(Ď(R))(Ď^â(xË)), where Ď((xiâ,Ďxiââ))=(xjâ,Ďxjââ).
2. (2)
âŁ{xjâ:xjââĎ(Dom(Ď)) and FRâ(xË)jâ=1}⣠is odd and xiâ=xmâ, where 1â¤mâ¤n is the smallest index such that xmââ/Ď(Dom(Ď)) (note that m might not exist, but then all entries are covered by case 1).
All the other entries of FRâ(xË) are equal to 0. Note that case 2 ensures that the there is an even number of distinct vertices of xË whose corresponding entry in FRâ(xË) is equal to 1.
For every xâA we define a function fxâ on L-valuation functions for x, putting
[TABLE]
Finally, we define Ďâ:BâB by putting ĎâLâ=ĎLâ and ĎâBâ((x,Ď))=(Ď^â(x),fxâ(Ď)).
In the same way as in Lemma 3.2 one can see that Ďâ is a bijection. Observe that by the construction we get that for every RâL of arity n and every n-tuple xË=(x1â,âŚ,xnâ)âAn we have that FRâ(xË)iâ=FRâ(xË)jâ whenever xiâ=xjâ and that
[TABLE]
(where taking the size of the set means that each distinct vertex is counted only once even if it has repeated occurrences in xË): Indeed, if xË contains vertices from AâĎ(Dom(Ď)), this follows directly. Otherwise all vertices of xË are from Ď(Dom(Ď)), but then (as Ď is a partial automorphism), we get that
[TABLE]
and using the definition of relations in B we see that an even number of distinct vertices from Ď(xË) changed how they valuate xË with respect to R and Ď^â(xË) with respect to Ď(R)â respectively.
Pick x=((x1â,Ď1â),âŚ,(xnâ,Ďnâ))âBn and put xË=(x1â,âŚ,xnâ). Recall that xâRBâ if and only if for every 1â¤i<jâ¤n such that xiâ=xjâ it also holds that Ďiâ=Ďjâ and furthermore
[TABLE]
Note that if xiâ=xjâ then fxiââ(Ďiâ)=fxjââ(Ďjâ) if and only if Ďiâ=Ďjâ.
To get that Ďâ is an automorphism, it remains to show that
[TABLE]
if and only if
[TABLE]
By the construction of fxâ, we have for every i that
[TABLE]
if and only if FRâ(xË)iâ=0. This means that
[TABLE]
is equal to âŁ{xiâ:FRâ(xË)iâ=1}âŁ, which is an even number. This concludes the proof that Ďâ is an automorphism of B.
To see that Ďâ extends Ď, pick a tuple xË=(x1â,âŚ,xnâ)âAn, an index 1â¤iâ¤n such that (xiâ,Ďxiââ)âDom(Ď), and an arbitrary RâL. Recall that FRâ(xË)iâ=1 if and only if Ďxiââ(R)(xË)î =Ďxjââ(Ď(R))(Ď^â(xË)), where Ď((xiâ,Ďxiââ))=(xjâ,Ďxjââ). Since fxiââ(Ďxiââ)(Ď(R))(Ď^â(xË))î =Ďxiââ(R)(xË) if and only if FRâ(xË)iâ=1, we get that Ďxjââ=fxiââ(Ďxiââ) and hence ĎâĎâ.
â
Lemma 4.4**.**
Let Ď1â, Ď2â and Ď be partial automorphisms of A such that Ď=Ď2ââĎ1â and let Ď1ââ, Ď2ââ and Ďâ be their corresponding extensions as above. Then Ďâ=Ď2âââĎ1ââ.
Proof.
Let Ď^â1â, Ď^â2â and Ď^â be the permutations of A constructed in the previous section for Ď1â, Ď2â and Ď respectively, similarly define FR1â, FR2â and FRâ for every RâL. Since Ď^â1â, Ď^â2â and Ď^â were chosen in an order-preserving way, by Proposition 2.19 we get that Ď^â=Ď^â2ââĎ^â1â.
Hence, by an argument analogous to the proof of Lemma 3.3, we can see that it suffices to show that for every RâL, for every xËâAa(R) and for every 1â¤iâ¤a(R), it holds that FRâ(xË)iâ=FR1â(xË)iâ+FĎ1â(R)2â(Ď^â1â(xË))iâmod2.
Fix such R, xË and i. Put y=xËiâ and (y,Ď)=Ď(y). First suppose that (y,Ď)âDom(Ď)=Dom(Ď1â) and denote (yâ˛,Ďâ˛)=Ď1â((y,Ď)) and (yâ˛â˛,Ďâ˛â˛)=Ď((y,Ď))=Ď2â((yâ˛,Ďâ˛)). By the construction, we have the following:
[TABLE]
It immediately follows that FRâ(xË)iâ=1 if and only if exactly one of FR1â(xË)iâ and FĎ1â(R)2â(Ď^â1â(xË))iâ is equal to one and we are done.
Otherwise (y,Ď)â/Dom(Ď). Let m, m1â and m2â be the indices from case 2 of the definition of FRâ for xË, FR1â for xË, and FĎ1â(R)2â for Ď^â1â(xË), respectively. Since (Ď1â,Ď2â,Ď) is a coherent triple, we get that m=m1â=m2â.
If y=xËiâî =xËmâ is not in Ď(Dom(Ď)), it follows that FR1â(xË)iâ=FĎ1â(R)2â(Ď^â1â(xË))iâ=FRâ(xË)iâ=0. Now we will assume that xËiâ=xËmâ. Define
[TABLE]
Observe that by the previous paragraphs we have that I is the symmetric difference of I1â and I2â, so in particular
[TABLE]
Also note that xËjâ=xËkâ if and only if Ď^â1â(xË)jâ=Ď^â1â(xË)kâ. It follows that
[TABLE]
where âŁ{xjâ:jâI}⣠is the number of distinct vertices of A such that their corresponding entry in FRâ(xË) is equal to one. Looking at this equation modulo 2, we get that âŁ{xjâ:jâI}⣠is odd if and only if precisely one of âŁ{xjâ:jâI1â}⣠and âŁ{xjâ:jâI2â} is odd.
This implies (comparing with case 2 of the definitions of FRâ, FR1â and FĎ1â(R)2â) that even for xËiâ=xËmâ, we have that FRâ(xË)iâ=FR1â(xË)iâ+FĎ1â(R)2â(Ď^â1â(xË))iâmod2, which finishes the proof.
â
The EPPA-witness B constructed in this section has at most
[TABLE]
vertices, where m is the largest arity of a relation in L. Consequently, the size of a coherent EPPA-witness for A only depends on the language and on the number of vertices of A.
5. Infinite languages
When a non-trivial permutation group is present it is not true that for every finite structure there is a finite EPPA-witness. Consider, for example, the language L consisting of infinitely many unary relations, where ÎLâ is the symmetric group. Let A be a structure with a single vertex which is in exactly one relation. Then every EPPA-witness for A needs to, in particular, extend all partial automorphisms of A of type (g,â ), where gâÎLâ and â is the empty map. This implies that every EPPA-witness for A must contain a vertex in precisely one unary relation U for every UâL, hence infinitely many vertices.
First, we generalise this argument and prove Theorem 1.3:
A being in an infinite orbit means that there is an infinite sequence g1â,g2â,âŚâÎLâ such that the sequence (g1â,idAâ)(A),(g2â,idAâ)(A),⌠consists of pairwise distinct structures. For a contradiction, assume that there is a (finite) EPPA-witness B for A.
In particular, B needs to extend all partial automorphisms (giâ,â ), iâĽ1, which means that for every iâĽ1, there is an embedding of (giâ,idAâ)(A) into B. In other words, for every iâĽ1 we get a tuple xËiââBâŁAâŁ, and by the assumption, all these tuples are pairwise distinct. This implies that the set BâŁA⣠is infinite, and since âŁA⣠is finite, it follows that B is infinite, a contradiction.
â
On the positive side, we prove the following proposition, thereby characterising relational languages L equipped with a permutation group ÎLâ for which the class of all finite ÎLâ-structures has EPPA.
Proposition 5.1**.**
Let L be a relational language equipped with a permutation group ÎLâ and let A be a finite ÎLâ-structure such that A lies in a finite orbit of the action of ÎLâ by relabelling. There is a finite ÎLâ-structure B which is a coherent EPPA-witness for A.
In order to prove Proposition 5.1, we will need the following lemma.
Lemma 5.2**.**
Let M be a relational language equipped with a permutation group ÎMâ and let C be a class of finite ÎMâ-structures. Suppose that there is a set NâM such that for every AâC and every RâMâN, it holds that RAâ=â and for every ĎâÎMâ we have Ď(N)=N (i.e. Ď fixes N setwise). Put
[TABLE]
where for a permutation Ď:MâM, ĎâžNâ is its restriction to N.
Then ÎNâ is a permutation group on N and C has coherent EPPA if and only if D does, where D is the class consisting of the same structures as C, but understood as ÎNâ-structures.
Proof.
Since every ĎâÎMâ fixes N setwise, we immediately get that ÎNâ is a permutation group on N. If C has coherent EPPA, then clearly D does, too, because for each Ďâ˛âÎNâ, we can simply pick an arbitrary ĎâÎMâ such that Ďâ˛=ĎâžNâ and use coherent EPPA for C. It thus remains to prove the other direction.
In the following, for AâC, we denote by AN its corresponding ÎNâ-structure from D.
Fix AâC. By the assumption that D has coherent EPPA, we get BâC such that BN is a coherent EPPA-witness for AN. Let f=(fLâ,fAâ) be a partial automorphism of A. Then (fLââžNâ,fAâ) is a partial automorphism of AN and it extends to an automorphism (fLââžNâ,θ) of BN. It is straightforward to check that (fLâ,θ) is an automorphism of B extending f (it clearly extends f, and it is an automorphism of B, because B contains no relations from MâN and fLâ(N)=N). Coherence follows by coherence in D.
â
First we will define some auxiliary notions. Given an n-tuple xË=(x1â,âŚ,xnâ) and a function Ď:{1,âŚ,m}â{1,âŚ,n}, we define an m-tuple
[TABLE]
For a ÎLâ-structure B and an n-tuple xËâB containing no repeated vertices (i.e. if xËiâ=xËjâ, then i=j), we define
Ď(xË,B) to be the set of all pairs (R,Ď), where RâL is an m-ary relation and Ď:{1,âŚ,m}â{1,âŚ,n} is a surjective function, such that xËâĎâRBâ.
Next, we define sets M1â,M2â,âŚ, such that Mnâ consists of all pairs (R,Ď), where RâL is an m-ary relation and Ď is a surjection {1,âŚ,m}â{1,âŚ,n}. For every n and for every XâMnâ we assume that L does not contain the symbol RX and we let RX be an n-ary relation. We define a language MⲠto consist of all these relations RX.
We put M=Mâ˛âŞL (remember that Mâ˛âŠL=â by our assumption). For every gâÎLâ, we define a permutation Ďgâ on M such that
[TABLE]
where Y={(g(S),Ď):(S,Ď)âX}.
Finally, we put ÎMâ={Ďgâ:gâÎLâ}. It is easy to verify that the map gâŚĎgâ is a group isomorphism ÎLââÎMâ (this is the only place in the proof where we use that LâM).
Given a ÎLâ-structure B, we define a ÎMâ-structure T(B) such that the vertex set of T(B) is B and for every xËâBn containing no repeated vertices, we put xËâRT(B)Ď(xË,B)â. There are no other tuples in any relations of T(B).
In the other direction, given a ÎMâ-structure B such that RBâ=â for every RâL, we define a ÎLâ-structure U(B) such that the vertex set of U(B) is B, and whenever xËâRBXâ, we put xËâĎâRU(B)Sâ for every (S,Ď)âX. There are no other tuples in any relations of U(B). It is easy to verify that T and U are mutually inverse, that is UT(B)=B for every ÎLâ-structure B, and TU(B)=B for every ÎMâ-structure B such that RBâ=â for every RâL.
In fact, these maps are functorial in the sense of the following lemma.
Lemma 5.3**.**
Let B,C be ÎLâ-structures. Let (g,f) be an embedding BâC (gâÎLâ, f:BâC). Then (Ďgâ,f) is an embedding T(B)âT(C).
Let B,C be ÎMâ-structures such that RBâ=RCâ=â for every RâL. Let (Ďgâ,f) be an embedding BâC (ĎgââÎMâ, f:BâC). Then (g,f) is an embedding U(B)âU(C).
Proof.
We only need to verify the definition of an embedding. For the first part, we know that for every SâL, every n-tuple xËâB containing no repeated vertices and for every surjection Ď:{1,âŚ,m}â{1,âŚ,n}, we have xËâĎâSBâ if and only if f(xË)âĎâg(S)Bâ, which implies that
[TABLE]
from which the claim follows. The second part can be proved in a complete analogy.
â
Continuing with the proof of Proposition 5.1 we define N to be the subset of MⲠconsisting of all Ďgâ(RĎ(xË,A)), where ĎgââÎMâ and xË is a tuple of vertices of A containing no repeated ones (remember that A is the ÎLâ-structure fixed in the statement of Proposition 5.1).
We claim that N is finite: Whenever RXâN, then there is xËâA and ĎgââÎMâ such that RX=Ďgâ(RĎ(xË,A)), however, this is equivalent to saying that X=Ď(xË,(g,idAâ)(A)). In other words, every n-ary relation RXâN corresponds to at least one pair (xË,(g,idAâ)(A)), where xË is an n-tuple of vertices of A with no repeated occurrences and gâÎLâ. Since A lies in a finite orbit of the action of ÎLâ by relabelling, it follows that there are only finitely many different choices for (g,idaâ)(A). By definition, all relations in N have arity at most âŁAâŁ, hence there are finitely many choices for xË and thus N is indeed finite. Observe also that for every ĎgââÎMâ we have Ďgâ(N)=N.
Let C be the class consisting of all ÎMâ-structures B such that whenever RâMâN, then RBâ=â . Observe that T(A)âC and U(B) is defined for every BâC.
We have verified that C satisfies the conditions of Lemma 5.2. Hence, we get a permutation group ÎNâ on N and a class D, which in this case is simply the class of all finite ÎNâ-structures and hence has coherent EPPA by Proposition 4.1. By Lemma 5.2 we then get that C also has coherent EPPA.
In particular, we get CâC which is a coherent EPPA-witness for T(A). Putting B=U(C), we have a ÎLâ-structure B such that T(B) is a coherent EPPA-witness for T(A). In the last paragraph, we shall prove that B is a coherent EPPA-witness for A.
Let (g,f) be a partial automorphism of A. From the construction it follows that (Ďgâ,f) is a partial automorphism of T(A) (equivalently, it follows from Lemma 5.3 and the observation that a partial automorphism of A can be understood as a pair of embeddings of the same structure into A), which extends to an automorphism (Ďgâ,fâ) of T(B) (that is, fâfâ). By Lemma 5.3 again, we get that (g,fâ) is an automorphism of B, and since fâfâ, it extends (g,f). Coherence follows from coherence of T(B), because Ďgfâ=ĎgâĎfâ. This finishes the proof of Proposition 5.1.
6. EPPA for structures with unary functions
We are now ready to introduce unary functions into the language. In order to do so, we will use valuation structures instead of valuation functions, which was first done in [EHN17]. Otherwise we follow the general scheme as above and prove the following proposition.
Proposition 6.1**.**
Let L be a language consisting of relation and unary function symbols equipped with a permutation group ÎLâ and let A be a finite ÎLâ-structure which lies in a finite orbit of the action of ÎLâ by relabelling. Then there is a coherent EPPA-witness for A.
Fix a language L consisting of relation and unary function symbols equipped with a permutation group ÎLâ, and a finite ÎLâ-structure A which lies in a finite orbit of the action of ÎLâ by relabelling.
Denote by LRââL the language consisting of all relation
symbols of L and let ÎLRââ be the group obtained by restricting permutations from ÎLâ to LRâ.
For a ÎLâ-structure D, we will denote by Dâ the ÎLRââ-reduct
of D (that is, the ÎLRââ-structure on the same vertex set as D with
RDââ=RDâ for every RâLRâ)
Witness construction
Let B0â be a finite ÎLRââ-structure which is a coherent EPPA-witness for Aâ (B0â exists by
Proposition 5.1). We furthermore, for convenience, assume that AââB0â. Let xâB0â be a vertex of B0â and let V be a ÎLâ-structure. We say that V is
a valuation structure for x if the following hold:
(1)
xâV,
2. (2)
there exists yâA and an isomorphism Κ:VâClAâ(y) satisfying Κ(x)=y (note that Κ can permute the language),
3. (3)
Vâ is a substructure of B0â.
Note that if L contains no functions, then there is exactly one valuation structure for every xâB0â, namely the substructure of B0â induced on {x}. In this case, the rest of this construction simply describes the identity.
We construct B as follows:
(1)
The vertices of B are all pairs (x,V) where xâB0â and V is a valuation structure for x,
2. (2)
for every relation symbol RâL of arity n, we put ((x1â,V1â),âŚ,(xnâ,Vnâ))âRBâ if and only if (x1â,âŚ,xnâ)âRB0âââ,
3. (3)
for every (unary) function symbol FâL we put
[TABLE]
Since V is a valuation structure for x, it follows that ClVâ(y) is a valuation structure for y.
Next we define an embedding Ď:AâB, putting ĎAâ(x)=(x,ClAâ(x)) and ĎLâ=idLâ. Note that ClAâ(x) (a substructure of A) is indeed a valuation structure for Κ being the identity, because we assumed that AââB0â. We put Aâ˛=Ď(A) to be the copy of A in B whose partial automorphisms we will extend.
Claim 6.2**.**
Ď is an embedding AâB.
Proof.
It follows directly from the construction that Ď is injective and that for every relation RâL we have xËâRAâ if and only if Ď(xË)âRBâ. It remains to verify that for every xâA and for every function FâL we have Ď(FAâ(x))=FBâ(Ď(x)).
By the construction of B we have
[TABLE]
Since ClClAâ(x)â(y)=ClAâ(y) and FClAâ(x)â(x)=FAâ(x), we have
[TABLE]
which is exactly Ď(FAâ(x)).
â
Observe that the vertex set of B is finite: Assume for a contradiction that it is infinite. Since there are finitely many vertices in B0â, this implies that there is xâB0â for which there are infinitely many valuation structures. Moreover, by the definition of a valuation structure, this implies that in fact there is a vertex yâA, a structure WâB0â, an injection ΚWâ:WâClAâ(y), a sequence of permutations g1â,g2â,⌠and a sequence of structures V1â,V2â,âŚ, such that the following hold:
(1)
Viââ=W for every iâĽ1 (so, in particular, they have the same vertex set),
2. (2)
the structures V1â,V2â,⌠are pairwise distinct, and
3. (3)
(giâ,ΚWâ) is an embedding ViââClAâ(y) for every iâĽ1.
Taking the inverse, we get that there is a substructure (g1â,ΚWâ)(V1â)=XâClAâ(y) such that the structures (giâ1â,ΚWâ1â)(X)=Viâ, iâĽ1 are pairwise distinct, which gives a contradiction with A lying in a finite orbit of the action of ÎLâ by relabelling.
Constructing the extension
Let Ď:BâB0â, defined by Ď((x,V))=x, be the projection. Note that Ď(Aâ˛)=Aâ. Fix a partial automorphism Ď of Aâ˛. It induces (by Ď and restriction to ÎLRââ) a partial automorphism Ď0â of Aâ. Denote by Ď^â the
extension of Ď0â to an automorphism of B0â. Put ĎâLâ=ĎLâ and
Since Ď^â is a bijection B0ââB0â, it follows that for every xâB0â the function (ĎLâ,Ď^â) is a bijection of valuation structures for x. Hence ĎâBâ is a bijection BâB. The relations on B only depend on the projection, and since Ď^â is an automorphism, we get that Ďâ respects the relations. It remains to prove that for every FâÎLâ and every (x,V)âB we have that Ďâ(FBâ((x,V)))=Ďâ(F)Bâ(Ďâ((x,V))). To make the notation more readable, define function h mapping every valuation structure V to (ĎLâ,Ď^â)(V).
By the definition of B we know that
[TABLE]
hence
[TABLE]
Denote X=Ďâ(F)Bâ(Ďâ((x,V))). By the definition of B, we have
[TABLE]
Since Ď^â is a bijection BâB, we can write
[TABLE]
Note that Ďâ(F)h(V)â(Ď^â(x))=Ď^â(FVâ(x)), hence
Ď^â(y)âĎâ(F)h(V)â(Ď^â(x)) if and only if yâFVâ(x), and so we can write
Assume that B0â is a coherent EPPA-witness for Aâ and thus Ď^â can be chosen to be coherent. Let Ď1â, Ď2â and Ď be partial automorphisms of A such that Ď=Ď2ââĎ1â, and let Ď1ââ, Ď2ââ and Ďâ be their corresponding extensions as above. Then Ďâ=Ď2âââĎ1ââ.
Proof.
Pick an arbitrary (x,V)âB. We know that
[TABLE]
Similarly,
[TABLE]
(as by the assumption, the language parts of Ď1â and Ď2â compose to ĎLâ and moreover the language permutation commutes with applying Ď^âiâ on the vertex set of V). By coherence of B0â we know that Ď^â2â(Ď^â1â(x))=Ď^â(x), and so
The number of vertices of the EPPA-witness B constructed in this section can be bounded from above by a function which depends only on the number of vertices of B0â, the number of vertices of A and the size of the orbit of the action of ÎLâ by relabelling in which A lies.
Proof.
We know that the vertex set of B consists of pairs (x,V), where xâB0â and V is a valuation structure for x. Thus, it is enough to bound the number of valuation structures for any vertex of B0â. The vertex set of any valuation structure is a subset of B0â, hence there are at most 2âŁB0â⣠different vertex sets of valuation structures. Hence it remains to bound the number of different valuation structures on a given subset VâB0â.
Let A1â,âŚ,Aoâ be an enumeration of the orbit of the action of ÎLâ by relabeling in which A lies and let g1â,âŚ,goââÎLâ such that Aiâ=(giâ,idAâ)(A). Note that for every ÎLâ-structure U and every embedding (fLâ,fUâ):UâA, there is i such that (fLâ,fUâ)(U)=(giâ1â,fUâ)(U). Indeed, by the way embeddings compose, we have that (fLâ,fUâ)=(fLâ,idAâ)â(idLâ,fUâ). Composing with (fLâ1â,idAâ) on the left, we get that (idLâ,fUâ) is an embedding Uâ(fLâ1â,idAâ)(A). This means that there is i such that (fLâ1â,idAâ)(A)=Aiâ=(giâ,idAâ)(A) and hence indeed (fLâ,fUâ)(U)=(giâ1â,fUâ)(U).
Fix VâB0â. For every valuation structure V on this vertex set, there is an isomorphism Κ=(ΚLâ,ΚVâ):VâClAâ(y), where yâA. Since Κ is in particular an embedding VâA, by the previous paragraph we get 1â¤iâ¤o such that (ΚLâ,ΚVâ)(V)=(giâ1â,ΚVâ)(V). Hence there are at most as many different structures V as there are pairs (giâ1â,ΚVâ). Since there are at most o choices for giâ1â and at most âŁAâŁâŁVâŁâ¤âŁAâŁâŁA⣠choices for ΚVâ, the claim is proved.
â
From now on, our structures may contain unary functions. To some extent, the unary functions do not interfere too much with the properties which we are going to ensure and thus it is possible to treat them âseparatelyâ. Namely, we will always first introduce a notion of a valuation function (in order to get the desired property) and then wrap the valuation functions in a variant of the valuation structures.
7. Irreducible structure faithful EPPA
In this section we prove the following proposition, which is a strengthening of [EHN17, Theorem
1.7], which in turn extends [HO03, Theorem 9].
Proposition 7.1**.**
Let L be a language consisting of relation and unary function symbols equipped with a permutation group ÎLâ and let A be a finite ÎLâ-structure. Let B0â be a finite ÎLâ-structure which is an EPPA-witness for A. Then there is a finite ÎLâ-structure B which is an irreducible structure faithful EPPA-witness for A, and a homomorphism-embedding BâB0â.
Moreover, if B0â is coherent then B is coherent, too.
Remark 7.2*.*
Note that up to this point, the permutation group ÎLâ was not very relevant. In Section 4, the constructed EPPA-witnesses worked for ÎLâ being the symmetric group, and in Section 6, it didnât play an important role either.
However, in this section ÎLâ plays a central role because it restricts which irreducible substructures can be sent to A by an automorphism. For example, let L be the language consisting of n unary relation R1,âŚ,Rn and let A be an L-structure consisting of one vertex which is in RA1â and in no other relations.
For this A, Section 4 will produce an EPPA-witness B0â, where B0â={vSâ:Sâ{1,âŚ,n}} such that vSââRB0âiâ if and only if iâS. Fix now a permutation group ÎLâ on the language L and consider A as a ÎLâ-structure. An irreducible structure faithful EPPA-witness B for A will contain only vertices, which are in precisely one unary relation RBiâ such that moreover R1 and Ri are in the same orbit of ÎLâ. In particular, if ÎLâ={idLâ}, then A is an irreducible structure faithful EPPA-witness for itself. If ÎLâ=Sym(L), then a possible irreducible structure faithful EPPA-witness for A has n vertices v1â,âŚ,vnâ such that viâ has precisely one unary mark Ri.
Fix a language L consisting of relation symbols and unary function symbols equipped with a permutation group ÎLâ. Fix also a finite ÎLâ-structure A
and its EPPA-witness B0â. Without loss of generality, assume that AâB0â.
We now present a construction of an irreducible structure faithful EPPA-witness B with
a homomorphism-embedding (projection) to B0â, such that every
extension of a partial automorphism in B is induced by the extension of its projection to B0â.
Witness construction
Let I be an irreducible substructure of B0â. We say that I is bad if there is no
automorphism f:B0ââB0â such that f(I)âA.
Given a vertex xâB0â,
we denote by U(x) the set of all bad irreducible substructures of B0â
containing x.
For a vertex xâB0â, we say that a function assigning to every IâU(x) a value from {1,âŚ,âŁIâŁâ1} is a valuation function for x.
Given vertices x,yâB0â and their valuation functions Ď and ĎⲠrespectively, we say
that the pairs (x,Ď) and (y,Ďâ˛) are generic, if either
(x,Ď)=(y,Ďâ˛), or xî =y and for every IâU(x)âŠU(y) it holds that Ď(I)î =Ďâ˛(I). We say that a set S is generic if it consists of pairs (x,Ď) where xâB0â and Ď is a valuation function for x, and every pair (x,Ď),(y,Ďâ˛)âS is generic. In particular, the projection to the first coordinate is injective on every generic set.
A valuation structure for a vertex xâB0â is a ÎLâ-structure V
such that:
(1)
The vertex set of V is a generic set of pairs (y,Ď) with yâClB0ââ(x) and Ď being a valuation function for y, and
2. (2)
the pair Κ=(idLâ,ΚVâ), where ΚVâ((y,Ď))=y, is an isomorphism of V and ClB0ââ(x).
For a pair (x,V), where xâB0â and V is a valuation structure for x,
we denote by Ď(x,V) the (unique) valuation function for x such that (x,Ď(x,V))âV and
we put Ď(x,V)=x (Ď is again the projection from B to B0â). We say that a set S of pairs (x,V), such that xâB0â and V is a valuation structure for x, is generic, if the union â(x,V)âSâV is generic. Note that this implies that in particular {(x,Ď(x,V)):(x,V)âS} is generic and thus Ď is injective on every generic set.
Observe that if L contains no functions then every valuation structure V for xâB0â contains exactly one vertex (x,Ď(x,V)), and conversely, for every valuation function Ď for x there is exactly one valuation structure V for x such that Ď(x,V)=Ď.
Now we construct a ÎLâ-structure B:
(1)
The vertices of B are all pairs (x,V), where xâB0â and V is a valuation structure for x.
2. (2)
For every relation symbol RâLRâ, we put
[TABLE]
if and only if (x1â,âŚ,xa(R)â)âRB0ââ, and {(x1â,V1â),âŚ,(xa(R)â,Va(R)â)} is generic.
3. (3)
For every (unary) function symbol FâLFâ, we put
[TABLE]
Note that in the definition of FBâ((x,V)) it holds that ClVâ((y,Ď)) is isomorphic to ClB0ââ(y), so it is indeed a valuation structure for y. Also observe that B is finite, because B0â is finite, U(x) is finite for every xâB0â (hence there are only finitely many candidate vertex sets for valuations structures), and there is at most one valuation structure on any candidate vertex set.
The following claim (whose proof is quite technical and will be given at the end of this section) justifies our definition of genericity and the construction of B.
Claim 7.3**.**
Let DâB be irreducible. Then D is generic.
We also have this complementary fact to Claim 7.3, which will be useful several times in this section.
Claim 7.4**.**
Let DâB be such that D is a generic set. Then the restriction of (idLâ,Ď) to D is an embedding DâB0â.
Next we define an embedding Ď:AâB with ĎLâ=id. For every bad irreducible IâB0â, we fix an arbitrary injective function uIâ:IâŠAâ{1,2,âŚ,âŁIâŁâ1}. Such a function exists, because AâŠI is a proper subset of I (otherwise I would not be bad). For every xâA we define a valuation function Ďxâ for x such that Ďxâ(I)=uIâ(x).
Given xâA, we also define a valuation structure Vxâ for x such that Vxâ={(y,Ďyâ):yâClAâ(x)}, and the structure on Vxâ is chosen such that the pair (idLâ,(y,Ďyâ)âŚy) is an isomorphism VxââClAâ(x). We put Ď(x)=(x,Vxâ).
Claim 7.5**.**
Ď is an embedding AâB and Aâ˛=Ď(A) is generic.
Constructing the extension
At some point, we will also need to prove irreducible structure faithfulness. And in that proof, we are going to need to construct some automorphisms of B based on some automorphisms of B0â and partial automorphisms of B. Because of it, we will prove a more general statement
Lemma 7.6**.**
Let Ď be a partial automorphism of B satisfying the following conditions:
(1)
Both the domain and the range of Ď are generic, and
2. (2)
there is an automorphism Ď^â of B0â which extends the projection of Ď via Ď.
Then there is an automorphism Ďâ of B extending Ď.
Note that if Ď is a partial automorphism of Aâ˛, then it satisfies both conditions (as AⲠis generic) and therefore it can be extended to an automorphism of B. Note also that in condition 2, the projection of Ď via Ď is a partial automorphism of B0â by Claim 7.4.
Because both Dom(Ď) and Range(Ď) are generic, we get that âŁDâŁ=âŁRâŁ=âŁĎ(D)âŁ=âŁĎ(R)âŁ, so in particular no xâB0â appears in D or R with more than one valuation structure. Therefore, Ď defines a bijection q:DâR.
For a bad irreducible substructure IâB0â, we can define a partial permutation ĎIĎâ of {1,âŚ,âŁIâŁâ1}, such that for every (y,Ď)âD with yâI and for q((y,Ď))=(Ď^â(y),Ďâ˛), we put
[TABLE]
This is indeed a partial permutation of {1,âŚ,âŁIâŁâ1}, because both D and R are generic. Let Ď^IĎâ be the order-preserving extension of ĎIĎâ.
Put
[TABLE]
Having Ď^IĎâ for every bad I, we can define q^â:VâV as
[TABLE]
where Ďâ˛(Ď^â(I))=Ď^IĎâ(Ď(I)). Since Ď^â is an automorphism of B0â and each Ď^IĎâ is a permutation of {1,âŚ,âŁIâŁâ1}, it follows that q^â is a permutation of V. It is easy to check that q^â extends q.
Finally, we define Ďâ:BâB by putting ĎâLâ=ĎLâ and
[TABLE]
The proof of the following claim, which will be given at the end of this section, is simply a mechanical verification that our constructions are well-defined.
B* is an EPPA-witness for A. Moreover, if B0â is coherent then so is B.
If B0â is a coherent EPPA-witness for A, then B is a coherent EPPA-witness for Aâ˛.*
Proof.
Lemma 7.6 implies that B is indeed an EPPA-witness for A, because AⲠis generic. We thus focus on proving coherence. Let Ď1â, Ď2â and Ď be a coherent triple of partial automorphisms of AⲠand let Ď^â1â, Ď^â2â, Ď^â be automorphisms of B0â which are the coherent extensions of the projections of Ď1â, Ď2â and Ď by Ď.
Denote by q^â1â, q^â2â, q^â and ĎIĎâ, ĎIĎ1ââ and ĎIĎ2ââ for every I the corresponding functions from proof of Lemma 7.6. Coherence on the first coordinate follows from coherence of Ď^â1â, Ď^â2â, Ď^â, to get coherence on the second coordinate, we need to prove that q^â=q^â2ââq^â1â. To see that, one only needs to prove that ĎIĎâ=ĎIĎ2âââĎIĎ1ââ, which is true as all of them are extended in an order-preserving way.
â
First we prove that (idLâ,Ď) is a homomorphism-embedding from B to B0â. From the construction it directly follows that it is a homomorphism which preserves functions. Let I be an irreducible substructure of B. By Claim 7.3 we get that I is generic and hence by Claim 7.4 we get that (idLâ,Ď) is an embedding on I.
It only remains to prove irreducible structure faithfulness of B. Let D be an irreducible substructure of B. By Claim 7.3 we get that D is generic and hence Ď(D) is not a bad substructure of B0â. It is, however, irreducible, because Ď is a homomorphism-embedding, and thus
there is Ď^ââAut(B0â) such that Ď^â(Ď(D))âA.
Define Ď:DâAⲠby ĎDâ((x,V))=Ď(Ď^â(x)) and ĎLâ=Ď^âLâ. This is a partial automorphism of B with generic domain and range, whose projection extends to Ď^â. Lemma 7.6 then gives an automorphism of B sending D to Aâ˛, which is what we wanted.
â
Section 6 gives a finite coherent EPPA-witness B0â for A, Proposition 7.1 ensures irreducible structure faithfulness and preserves coherence. The âconsequentlyâ part is immediate.
â
Remark 7.9*.*
Note that Theorem 1.1 can be used to prove EPPA for classes where the relations are, for example, symmetric (because a non-symmetric relation is witnessed on a tuple which is irreducible), and similarly it implies EPPA for classes with unary functions whose range has a given size (for example, size 1, which means that we can prove EPPA for the standard model-theoretic unary functions).
Remark 7.10*.*
Note that our partial automorphism extension actually has some functorial properties. Taking isomorphic copies, we can assume that AâB0â and AâB (then in particular ĎâžAâ=idAâ). Given a partial automorphism Ď of A let Ď^â be its (coherent) extension to an automorphism of B0â and let Ďâ be the constructed extension to an automorphism of B using Ď^â. Let âź be an equivalence relation on B given by xâźyâşĎ(x)=Ď(y). Then âź is a congruence with respect to Ďâ and the natural actions of Ď^â and Ďâ on the equivalence classes of âź coincide.
Observation 7.11**.**
The number of vertices of the EPPA-witness B constructed in this section can be bounded from above by a function which depends only on the number of vertices of B0â and the number of vertices of A.
Proof.
Put m=âŁB0â⣠and n=âŁAâŁ. There are at most 2m bad substructures of B0â and hence at most (mâ1)2m valuation functions for a given xâB0â (this is a very rough estimate). Let P be the set of all pairs (x,Ď), where xâB0â and Ď is a valuation function for x. We get that âŁPâŁâ¤m(mâ1)2m.
The vertices of B are pairs (x,V), where xâB0â and V is a valuation structure for x. The vertex set of every valuation structure is a subset of P (and hence there are at most 2âŁP⣠of them) and the structure on V is determined by an embedding (idLâ,ΚVâ):VâB0â. There are at most mâŁVâŁâ¤mm such embeddings. This finishes the proof.
â
For a contradiction, suppose that it is not the case, that is, there are (u,Ď),(uâ˛,Ďâ˛)ââ(x,V)âDâV which form a non-generic pair. This implies that there are
(x,X),(y,Y)âD such that (u,Ď)âX and (uâ˛,Ďâ˛)âY (they cannot both lie in the same valuation structure, because the vertex sets of valuation structures are generic), and hence the set {(x,X),(y,Y)} is non-generic. Put Exâ={(a,U)âD:(x,X)î âClDâ((a,U))} and similarly define Eyâ. Since closures are unary, these are substructures of D. Note that as closures in B are generic, we also know that (y,Y)âExâ and (x,X)âEyâ. This means that Exâ,Eyâ are both non-empty and neither is a substructure of the other.
We first prove ExââŞEyâ=D. Suppose for a contradiction that there is (z,Z)âD with {(x,X),(y,Y)}âClDâ((z,Z)). Then (by the construction of B) we have X,YâZ, which is a contradiction with (x,X),(y,Y) forming a non-generic pair.
Fix (a,U)âExââEyâ and (b,W)âEyââExâ. Because we know that YâU and XâW, we get that (a,U), (b,W) is not a generic pair and therefore no relation of D contains both (a,U) and (b,W). Thus D is a free amalgam of Exâ and Eyâ over their intersection, which is a contradiction with its irreducibility. Therefore D is indeed generic.
â
We have already observed that Ď is injective. The fact that Ď preserves relations and non-relations follows directly from the construction of B. Let FâL be a function and fix (x,V)âD. We need to prove that FB0ââ(x) is equal to Ď(FBâ((x,V))).
By definition,
[TABLE]
Moreover, we know that the pair Κ=(idLâ,ΚVâ), where ΚVâ((y,Ď))=y, is an isomorphism of V and ClB0ââ(x). Hence if (y,Ď)âFVâ((x,Ď(x,V))) then yâFB0ââ(x) and conversely, whenever yâFB0ââ(x) then there is Ď such that (y,Ď)âFVâ((x,Ď(x,V))) (and since V is generic, such Ď is uniquely determined). So
First we will prove that AⲠis a generic set. By definition this happens if V=â(x,Vxâ)âAâ˛âVxâ=âxâAâVxâ is a generic set. Note that V={(x,Ďxâ):xâA}. Let xî =yâA be arbitrary and pick IâU(x)âŠU(y). By the construction we have Ďxâ(I)=uIâ(x)î =uIâ(y)=Ďyâ(I), hence (x,Ďxâ) and (y,Ďyâ) form a generic pair which implies that V is indeed a generic set. From this it follows that in particular every Vxâ is a generic set and hence Ď is a function AâB.
Next fix a relation RâL and a tuple xËâAn. We will prove that Ď(xË)âRBâ if and only if xËâRAâ. By the definition of B the âonly ifâ part is immediate, to prove the other implication, we need to prove that Ď(xË) (understood as a set) is generic, but clearly Ď(xË) is a subset of a generic set V, which concludes the proof.
Finally we prove that for every (unary) function FâL and every vertex xâA we have Ď(FAâ(x))=FBâ(Ď(x)) (remember that ĎLâ=idLâ). Clearly
[TABLE]
Put X=FBâ(Ď(x)). By the construction we have
[TABLE]
Note that Ď(x,Vxâ))=Ďxâ and that if (y,Ď)âFVxââ((x,Ď(x,Vxâ))), then Ď=Ďyâ. Hence, in particular, Ď is injective on FVxââ((x,Ďxâ)). So we can write
[TABLE]
Since (idLâ,(y,Ďyâ)âŚy) is an isomorphism VxââClAâ(x), we get that (y,Ďyâ)âFVxââ((x,Ďxâ)) if and only if yâFClAâ(x)â(x)=FAâ(x). For the same reason, ClVxââ((y,Ďyâ)) is isomorphic to ClAâ(y) by projecting to the first coordinate and hence in fact ClVxââ((y,Ďyâ))=Vyâ.
Putting this together, we get that
It is easy to see that Ďâ is a bijection which maps generic sets to generic sets. Fix a relation RâL and a tuple ((x1â,V1â),âŚ,(xnâ,Vnâ))âBn. Note that
[TABLE]
because Ď^â is an automorphism of B0â. Together with the fact that Ďâ maps generic sets to generic sets it follows that ((x1â,V1â),âŚ,(xnâ,Vnâ))âRBâ if and only if (Ďâ((x1â,V1â)),âŚ,Ďâ((xnâ,Vnâ)))âĎâ(R)Bâ.
It remains to prove that for every function FâL and every (x,V)âB we have Ďâ(FBâ((x,V)))=ĎLâ(F)Bâ(Ďâ((x,V))). To simplify the notation we put h(V)=(ĎLâ,q^â)(V) for every valuation structure V. Fix an arbitrary (x,V)âB and put Ď0â=Ď(x,V).
By the definition of B we know that
[TABLE]
Denote X=Ďâ(F)Bâ(Ďâ((x,V))). By the definition of B, we have
[TABLE]
Since q^â is a bijection VâV which agrees with Ď^â on the first coordinate, we can write
[TABLE]
Note that
[TABLE]
hence
q^â((y,Ď))âĎâ(F)h(V)â(q^â((x,Ď0â))) if and only if (y,Ď)âFVâ((x,Ď0â)), and so we have
In this section we give a key ingredient for proving Theorem 1.2:
Lemma 8.1**.**
Let L be a language consisting of relations and unary functions equipped with a permutation group ÎLâ. Let A be a finite irreducible ÎLâ-structure and let B0â be its (finite) irreducible structure faithful EPPA-witness. Assume that L contains a binary relation E which is fixed by every permutation in ÎLâ and assume that EAâ is a complete graph. (Note that by irreducible structure faithfulness EB0ââ is an undirected graph without loops.)
There is a finite ÎLâ-structure B which
is an irreducible structure faithful EPPA-witness for A satisfying the following:
(1)
There is a homomorphism-embedding f:BâB0â.
2. (2)
Let C be a subset of B. Then at least one of the following holds:
(a)
EBââŠC2* contains no (induced) cycle of length âĽ4,*
2. (b)
âŁf(C)âŁ<âŁCâŁ, or
3. (c)
âŁEB0âââŠf(C)2âŁ>âŁEBââŠC2âŁ.
Moreover, if B0â is a coherent EPPA-witness for A, then B is also coherent.
Note that since f is a homomorphism-embedding, we get that if âŁf(C)âŁ=âŁCâŁ, then âŁEB0âââŠf(C)2âŁâĽâŁEBââŠC2⣠and f induces an injective mapping from EBââŠC2 to EB0âââŠf(C)2.
In the rest of the section, we will prove Lemma 8.1. The construction is inspired by a similar construction for EPPA for metric spaces by the authors [HKN19].
For the rest of the section, fix L, ÎLâ, A and B0â as in the statement of Lemma 8.1. Assume without loss of generality that AâB0â.
Valuations
A sequence (c1â,âŚ,ckâ) of distinct vertices of B0â is a bad cycle
sequence if kâĽ4 and the structure induced by EB0ââ on
{c1â,âŚ,ckâ} is a graph cycle containing precisely the edges connecting ciâ and
ci+1â for every 1â¤iâ¤k (where we identify ck+1â=c1â).
Given a vertex xâB0â, we denote by U(x) the set of all bad cycle sequences
containing x. We call functions U(x)â{0,1}valuation functions for x.
Given vertices x,yâB0â and their valuation functions Ď and Ďâ˛, we say
that the pairs (x,Ď) and (y,Ďâ˛) are generic, if either
(x,Ď)=(y,Ďâ˛), or xî =y and for every bad cycle sequence
c=(c1â,âŚ,ckâ)âU(x)âŠU(y), one of the following holds:
(1)
There is 1â¤i<k such that {ciâ,ci+1â}={x,y} and Ď(c)=Ďâ˛(c), or
2. (2)
{c1â,ckâ}={x,y} and Ď(c)î =Ďâ˛(c).
A set S of pairs (x,Ď) is generic if every pair (x,Ď),(y,Ďâ˛)âS is generic.
Let xâB0â be a vertex of B0â. A valuation structure for x is a ÎLâ-structure V
such that:
(1)
The vertex set V is a generic set of pairs (y,Ď) where yâClB0ââ(x) and Ď is a valuation function for y.
2. (2)
The pair (idLâ,(y,Ď)âŚy) is an isomorphism of V and ClB0ââ(x).
Let V be a valuation structure for x. We denote by Ď(x,V) the valuation function for x such that (x,Ď(x,V))âV. Similarly as in Section 7, if L contains no functions then every valuation structure V for xâB0â contains exactly one vertex (x,Ď(x,V)) and conversely, for every valuation function Ď for x there is exactly one valuation structure V for x such that Ď(x,V)=Ď.
A set S of pairs (x,V), where V is a valuation structure for x, is generic, if the union â(x,V)âSâV is generic.
Witness construction
Now we construct a ÎLâ-structure B:
(1)
The vertices of B are all pairs (x,V) where xâB0â and V is a valuation structure for x.
2. (2)
For every relation symbol RâLRâ, we put
[TABLE]
if and only if (x1â,âŚ,xa(R)â)âRB0ââ, and {(x1â,V1â),âŚ,(xa(R)â,Va(R)â)} is generic.
3. (3)
for every (unary) function symbol FâLFâ and every vertex (x,V)âB, we put
[TABLE]
Claim 8.2**.**
If D is an irreducible substructure of B, then D is generic.
Define ĎBâ(x,V)=x and ĎLâ=idLâ. We then have the following:
Claim 8.3**.**
B is a finite ÎLâ-structure and Ď is a homomorphism-embedding from B to B0â which is an embedding on every generic DâB.
Observe that since every pair of distinct vertices x,yâA is in RAEâ,
it follows that every bad cycle sequence contains at most two vertices of A, and if it contains precisely two, then they are adjacent in EB0ââ.
For every bad cycle sequence c=(c1â,âŚ,ckâ) containing at least one
vertex of A, we define a function Ďcâ:AâŠ{c1â,âŚ,ckâ}â{0,1} as follows.
[TABLE]
Next we give an embedding Ď:AâB.
Given a vertex xâA, we define a valuation function Ďxâ for x, putting Ďxâ(c)=Ďcâ(x) for every câU(x), and we define a valuation structure Vxâ for x with Vxâ={(y,Ďyâ):yâClAâ(x)} such that Ď restricted to Vxâ is an isomorphism VxââClAâ(x) (which is a substructure of A). We put ĎAâ(x)=(x,Vxâ) and ĎLâ=id.
Claim 8.4**.**
Ď is an embedding AâB and Aâ˛=Ď(A) is generic.
Constructing the extension
Similarly as in the last section, we will need to prove irreducible structure faithfulness and the following slightly more general extension lemma will be useful in proving that.
Lemma 8.5**.**
Let Ď be a partial automorphism of B satisfying the following conditions:
(1)
Both the domain and the range of Ď are generic, and
2. (2)
there is an automorphism Ď^â of B0â which extends the projection of Ď via Ď.
Then there is an automorphism Ďâ of B extending Ď.
Note that by Claim 8.3, Ď is an embedding on generic sets, hence the projection of Ď via Ď is a partial automorphism of B0â.
Proof.
Let F be the set consisting of all bad cycle sequences c for which there is a vertex (x,V)âDom(Ď) such that that Ď(x,V)(c)î =Ď(Ď((x,V)))(Ď^â(c)).
We define a function f such that if Ď is a valuation function for x then f(Ď) is a valuation for x satisfying
[TABLE]
Put V=â(x,V)âBâV. Next we define a function q^â:VâV putting
[TABLE]
and using it we construct the extension Ďâ such that ĎâLâ=ĎLâ and Ďâ((x,V))=(Ď^â(x),(ĎLâ,q^â)(V)).
The proof of the following claim, which will be given at the end of this section, is simply a mechanical verification that our constructions are well-defined.
Claim 8.6**.**
Ďâ is an automorphism of B extending Ď.
â
Proofs
Lemma 8.7**.**
The following statements about B are true:
(1)
B* is irreducible structure faithful.*
2. (2)
If B0â is a coherent EPPA-witness for A, then B is a coherent EPPA-witness for Aâ˛.
Proof.
To prove irreducible structure faithfulness, let I be an irreducible substructure of B. By Claim 8.2, I is generic and hence Ď is an embedding on I (Claim 8.3). This means that Ď(I) is an irreducible substructure of B0â and thus there is an automorphism Ď^â of B0â sending Ď(I) to A. Put Ď to be the partial automorphism of B sending I to Ď(Ď^â(Ď(I))) with ĎLâ=Ď^âLâ. This is a partial automorphism of B with generic domain and range (using Claim 8.4) and Ď^â extends Ď. By Lemma 8.5 we get an automorphism Ďâ of B extending Ď, that is, Ďâ(I)âAâ˛. Therefore B is indeed irreducible structure faithful.
To prove coherence, let Ď1â, Ď2â and Ď be a coherent triple of partial automorphisms of AⲠand let Ď^â1â, Ď^â2â, Ď^â be automorphisms of B0â which are the coherent extensions of their projections by Ď.
Denote by q^â1â, q^â2â, q^â and F, F1â and F2â the corresponding functions and sets from proof of Lemma 7.6. Coherence on the first coordinate follows from coherence of Ď^â1â, Ď^â2â, Ď^â. To get coherence on the second coordinate, we need to prove that F is the symmetric difference of F1â and F2â. This follows by the same argument as in the proof of Lemma 4.4: Since Ď=Ď2ââĎ1â and Ď^â=Ď^â2ââĎ^â1â, we have that
[TABLE]
if and only if exactly one of
[TABLE]
and
[TABLE]
happens.
â
To finish the proof of Lemma 8.1, we now prove that for every CâB such that EBââŠC2 is a cycle of length âĽ4, it holds that ĎâŁCâ is not an embedding (of the reducts to relation E). This would imply that whenever CâB contains an induced graph cycle of length âĽ4, one of (2b) and (2c) holds.
Fix a set CâB such that EBââŁCâ is an induced graph cycle of length âĽ4 and, for a contradiction,
assume that its projection Ď(C) is again an induced graph cycle of the same length in the relation EB0ââ.
This means that we can enumerate C as (x1â,V1â),âŚ,(xkâ,Vkâ) such that c=(x1â,âŚ,xkâ) is bad cycle sequence.
For every 1â¤iâ¤k, we have {(xiâ,Viâ),(xi+1â,Vi+1â)}âEBâ (identifying (xk+1â,Vk+1â)=(x1â,V1â)), so in particular the set {(xiâ,Viâ),(xi+1â,Vi+1â)} is generic. By definition, this implies that for every 1â¤i<k, we have
[TABLE]
but
[TABLE]
which is a contradiction.
Remark 8.8*.*
Exactly as in the previous section, our partial automorphism extension has some functorial properties. Taking isomorphic copies, we can assume that AâB0â and AâB (then in particular ĎâžAâ=idAâ). Given a partial automorphism Ď of A let Ď^â be its (coherent) extension to an automorphism of B0â and let Ďâ be the constructed extension to an automorphism of B using Ď^â. Let âź be an equivalence relation on B given by xâźyâşĎ(x)=Ď(y). Then âź is a congruence with respect to Ďâ and the natural actions of Ď^â and Ďâ on the equivalence classes of âź coincide.
Observation 8.9**.**
The number of vertices of the EPPA-witness B constructed in this section can be bounded from above by a function which depends only on the number of vertices of B0â.
Proof.
Let m be the number of vertices of B0â. There are at most (m+1)m (rough estimate) bad cycle sequences and hence at most 2(m+1)m valuation functions for any given vertex xâB0â. This means that there are at most m2(m+1)m different pairs (x,Ď), where xâB0â and Ď is a valuation function for x, and thus at most 2m2(m+1)m different generic sets. Given a generic set V and a vertex xâB0â, there is at most one valuation structure for x with vertex set V. Since the vertex set of B consists of all pairs (x,V), where xâB0â and V is a valuation structure for x, the claim then follows.
â
This is a word-to-word copy of the proof of Claim 7.3.
For a contradiction, suppose that it is not the case, that is, there are (u,Ď),(uâ˛,Ďâ˛)ââ(x,V)âDâV which form a non-generic pair. This implies that there are
(x,X),(y,Y)âD such that (u,Ď)âX and (uâ˛,Ďâ˛)âY (they cannot both lie in the same valuation structure, because the vertex sets of valuation structures are generic), and hence the set {(x,X),(y,Y)} is non-generic. Put Exâ={(a,U)âD:(x,X)î âClDâ((a,U))} and similarly define Eyâ. Since closures are unary, these are substructures of D. Note that as closures in B are generic, we also know that (y,Y)âExâ and (x,X)âEyâ. This means that Exâ,Eyâ are both non-empty and neither is a substructure of the other.
We first prove ExââŞEyâ=D. Suppose for a contradiction that there is (z,Z)âD with {(x,X),(y,Y)}âClDâ((z,Z)). Then (by the construction of B) we have X,YâZ, which is a contradiction with (x,X),(y,Y) forming a non-generic pair.
Fix (a,U)âExââEyâ and (b,W)âEyââExâ. Because we know that YâU and XâW, we get that (a,U), (b,W) is not a generic pair and therefore no relation of D contains both (a,U) and (b,W). Thus D is a free amalgam of Exâ and Eyâ over their intersection, which is a contradiction with its irreducibility. Therefore D is indeed generic.
Finiteness of B follows from Observation 8.9. Given (x,V)âB, we have that Ď(V)=ClB0ââ(x) (since V is a valuation structure). By definition of B,
[TABLE]
As V is generic, we have that for every y there is at most one Ď such that (y,Ď)âV. Moreover, since Ď is an isomorphism VâClB0ââ(x), we can write
[TABLE]
and because FClB0âââ(x)=FB0ââ(x), we indeed have
[TABLE]
that is, Ď preserves functions.
Let RâL be a relation and let ((x1â,V1â),âŚ,(xnâ,Vnâ)) be a tuple of vertices of B. Clearly, if ((x1â,V1â),âŚ,(xnâ,Vnâ))âRBâ then Ď(((x1â,V1â),âŚ,(xnâ,Vnâ)))=(x1â,âŚ,xnâ)âRB0ââ, hence Ď is a homomorphism. If {(x1â,V1â),âŚ,(xnâ,Vnâ)} is generic, the definition of B gives us that ((x1â,V1â),âŚ,(xnâ,Vnâ))âB if and only if Ď(((x1â,V1â),âŚ,(xnâ,Vnâ)))=(x1â,âŚ,xnâ)âRB0ââ, hence Ď is an embedding on every generic set.
The fact that Ď is a homomorphism-embedding now follows from Claim 8.2.
â
First we will prove that AⲠis a generic set. By definition this happens if V=â(x,Vxâ)âAâ˛âVxâ=âxâAâVxâ is a generic set. Note that V={(x,Ďxâ):xâA}. Let xî =yâA be arbitrary and pick câU(x)âŠU(y). Remember that since EAâ is a complete graph, there are at most two vertices of A in every bad cycle sequence, and if there are two, then they are connected by an edge of the cycle. Hence we have Ďxâ(c)=Ďcâ(x) and Ďcâ(y)=Ďyâ(c). By the choice of Ďcâ we get that (x,Ďxâ) and (y,Ďyâ) form a generic pair which implies that V is indeed a generic set. From this it follows that in particular every Vxâ is a generic set and hence Ď is a function AâB. What follows is a word-to-word copy of the proof of Claim 7.5.
Next fix a relation RâL and a tuple xËâAn. We will prove that Ď(xË)âRBâ if and only if xËâRAâ. By the definition of B the âonly ifâ part is immediate, to prove the other implication, we need to prove that Ď(xË) (understood as a set) is generic, but clearly Ď(xË) is a subset of a generic set V, which concludes the proof.
Finally we prove that for every (unary) function FâL and every vertex xâA we have Ď(FAâ(x))=FBâ(Ď(x)) (remember that ĎLâ=idLâ). Clearly
[TABLE]
Put X=FBâ(Ď(x)). By the construction we have
[TABLE]
Note that Ď(x,Vxâ))=Ďxâ and that if (y,Ď)âFVxââ((x,Ď(x,Vxâ))), then Ď=Ďyâ. Hence, in particular, Ď is injective on FVxââ((x,Ďxâ)). So we can write
[TABLE]
Since (idLâ,(y,Ďyâ)âŚy) is an isomorphism VxââClAâ(x), we get that (y,Ďyâ)âFVxââ((x,Ďxâ)) if and only if yâFClAâ(x)â(x)=FAâ(x). For the same reason, ClVxââ((y,Ďyâ)) is isomorphic to ClAâ(y) by projecting to the first coordinate and hence in fact ClVxââ((y,Ďyâ))=Vyâ.
Putting this together, we get that
It is easy to see that Ďâ is a bijection which maps generic sets to generic sets. Since the domain of Ď is generic, it follows that for every bad cycle sequence c there are at most two vertices from c in Ď(Dom(Ď)), and if there are two of them, they are connected by an edge of the cycle. The same holds for Range(Ď).
Fix a bad cycle sequence c of length k and suppose that there are distinct vertices x,yâc and valuation structures U, V such that (x,U),(y,V)âDom(Ď) and denote Ď((x,U))=(Ď^â(x),Uâ˛) and Ď((y,V))=(Ď^â(y),Vâ˛). We know that there is i such that (without loss of generality) x=ciâ and y=ci+1â (with ck+1â=c1â). By genericity of Dom(Ď) we know that Ď(x,U)(c)=Ď(y,V)(c) if and only if iî =k. Because Ď^â is a bijection B0ââB0â we have that Ď^â(x)=Ď^â(c)iâ and Ď^â(x)=Ď^â(c)i+1â. And as Range(Ď) is also generic, we get that Ď(Ď^â(x),Uâ˛)(Ď^â(c))=Ď(Ď^â(y),Vâ˛)(Ď^â(c)) if and only if iî =k. Hence
[TABLE]
Moreover, this happens if and only if câF, and thus Ďâ extends Ď. In the remaining paragraphs we prove that Ďâ is an automorphism of B. The proof is in fact a word-to-word copy of the analogous argument from Claim 7.7.
Fix a relation RâL and a tuple ((x1â,V1â),âŚ,(xnâ,Vnâ))âBn. Note that
[TABLE]
because Ď^â is an automorphism of B0â. Together with the fact that Ďâ maps generic sets to generic sets it follows that ((x1â,V1â),âŚ,(xnâ,Vnâ))âRBâ if and only if (Ďâ((x1â,V1â)),âŚ,Ďâ((xnâ,Vnâ)))âĎâ(R)Bâ.
It remains to prove that for every function FâL and every (x,V)âB we have Ďâ(FBâ((x,V)))=ĎLâ(F)Bâ(Ďâ((x,V))). To simplify the notation we put h(V)=(ĎLâ,q^â)(V) for every valuation structure V. Fix an arbitrary (x,V)âB and put Ď0â=Ď(x,V).
By the definition of B we know that
[TABLE]
Denote X=Ďâ(F)Bâ(Ďâ((x,V))). By the definition of B, we have
[TABLE]
Since q^â is a bijection VâV which agrees with Ď^â on the first coordinate, we can write
[TABLE]
Note that
[TABLE]
hence
q^â((y,Ď))âĎâ(F)h(V)â(q^â((x,Ď0â))) if and only if (y,Ď)âFVâ((x,Ď0â)), and so we have
9. Locally tree-like EPPA-witnesses: Proof of Theorem 1.2
The goal of this section is to prove Theorem 1.2 using Lemma 8.1.
Definition 9.1**.**
Let L be a language equipped with a permutation group ÎLâ and let A be a finite ÎLâ-structure. We recursively define what a tree amalgamation of copies of A is.
(1)
If D is isomorphic to A then D is a tree amalgamation of copies of A.
2. (2)
If B1â and B2â are tree amalgamations of copies of A, D is a ÎLâ-structure and Îą1â:AâB1â, Îą2â:AâB2â and δ1â,δ2â:DâA are embeddings then the free amalgamation of B1â and B2â over D with respect to Îą1ââδ1â and Îą2ââδ2â is also a tree amalgamation of copies of A.
The following proposition gives an alternative way of viewing tree amalgamations.
Proposition 9.2**.**
Let L be a language equipped with a permutation group ÎLâ, let A be a finite ÎLâ-structure and let C be a finite ÎLâ-structure. The following statements are equivalent:
(1)
C* is a tree amalgamation of copies of A.*
2. (2)
There exists a sequence A=C1â,âŚ,Cnâ=C of finite ÎLâ-structures such that for every 1â¤i<n there is a ÎLâ-structure D, embeddings δ1â,δ2â:DâA and an embedding Îą:AâDiâ such that Di+1â is a free amalgamation of A and Diâ with respect to δ1â and Îąâδ2â.
Note that if A is irreducible (which will always be the case in this paper), the process in point 2 can be understood as having a graph tree T whose vertices precisely correspond to copies of A in C and each edge determines, how the neighbouring copies of A overlap.
The direction (2)â(1) is trivial, as (2) is just a special case of the recursive definition of tree amalgamation of copies of A.
To obtain the other direction, we will use induction on the recursive construction of C to prove an even stronger statement, namely that for every copy of AâC, we can pick C1â to correspond to the given copy. Clearly, this holds if C is isomorphic to A. Suppose now that C is the free amalgamation of B1â and B2â with respect to Îą1ââδ1â and Îą2ââδ2â as in Definition 9.1 and without loss of generality assume that the chosen copy of A lies in B1â.
By the induction hypothesis, we get A=C1â,âŚ,Cnâ=B1â such that C1â corresponds to the chosen copy. Also by the induction hypothesis, we get A=C1â˛â,âŚ,Cmâ˛â=B2â such that C1â˛â corresponds to the copy of A given by Îą2â. It is easy to see that if, for 1â¤iâ¤m, we put Cn+1â to be the free amalgamation of Cnâ and Ciâ˛â with respect to Îą1ââδ1â and Îą2ââδ2â, then C1â,âŚ,Cm+nâ witnesses that C satisfies point 2.
â
Note that in both equivalent definitions, we require that we only amalgamate over copies of D which lie in a copy of A. The reason for it is that when A is irreducible, it allows us to prove the following two observations about tree amalgamations of copies of A.
Observation 9.3**.**
Let A be a finite irreducible ÎLâ-structure, let C be a tree amalgamation of copies of A witnessed by the sequence A=C1â,âŚ,Cnâ=C of ÎLâ-structures and let IâC be an irreducible structure. Then either IâC1â, or there is 1<iâ¤n such that Iî âCiâ1â and I lies fully in the copy of A which together with Ciâ1â forms Ciâ. Consequently, every embedding of an irreducible structure to C extends to an embedding of A to C
Proof.
This follows from the fact that if U is a free amalgamation of U1â and U2â (without loss of generality we can assume that all the embeddings are inclusions and U=U1ââŞU2â) and V is an irreducible substructure of U, then VâU1â or VâU2â. The âconsequentlyâ part is immediate.
â
Note that this in particular implies that the only copies of A in C are those which we added in some step of the construction of C.
Observation 9.4**.**
Let C be a hereditary amalgamation class of finite ÎLâ-structures and let AâC be an irreducible structure. Suppose that C is a tree amalgamation of copies of A. Then there is EâC and a homomorphism-embedding e:CâE.
Proof.
We will proceed by induction on the recursive definition of C. If C is isomorphic to A, then the statement clearly holds with e being the identity. Otherwise we get B1â, B2â, D, δ1â, δ2â, Îą1â and Îą2â as in Definition 9.1. By the induction hypothesis, we get E1â,E2ââC and homomorphism-embeddings e1â:B1ââE1â and e2â:B2ââE2â. Since A is irreducible, we get that eiââÎąiâ is an embedding AâEiâ for iâ{1,2}, hence in particular the structure induced by Eiâ on eiâ(Îąiâ(δiâ(D))) is isomorphic to D for iâ{1,2}. Therefore, we can put E to be the amalgamation of E1â and E2â with respect to e1ââÎą1ââδ1â and e2ââÎą2ââδ2â.
â
Note that the fact that we are only amalgamating over structures which lie in a copy of A was crucial, because âbeing irreducibleâ is not a hereditary property (for example, if L is a language containing one ternary relation R and X is an L-structure such that X={a,b,c} and RXâ={(a,b,c)}, then X is irreducible, but the substructure of X induced on {a,b} is not irreducible).
We will make use of the following lemma which has a graph-theoretic proof:
Lemma 9.5**.**
Let L be a language equipped with a permutation group ÎLâ, assume that L contains a binary symmetric relation E, and let A be a finite irreducible ÎLâ-structure such that EAâ is a complete graph.
Let B be a ÎLâ-structure satisfying the following:
(1)
Every irreducible substructure of B is isomorphic to a substructure of A, and
2. (2)
B* contains no induced graph cycles (of length âĽ4) in the relation EBâ.*
Then B is a substructure of a tree amalgamation of copies of A.
Proof.
We proceed by induction on âŁBâŁ. If B is irreducible then the statement follows trivially, hence we can assume that B is reducible.
Note that condition 1 implies that if C is an irreducible substructure of B, then ECâ is a clique. And conversely, whenever EBâ induces a clique on CâB then ClBâ(C) is irreducible: Indeed, suppose for a contradiction that ClBâ(C) is the free amalgamation of some U1â and U2â over V such that U1â,U2âî =ClBâ(C). If CâU1â, then we would get that ClBâ(C)âU1â (because U1â is a substructure of ClBâ(C)) which is a contradiction, similarly for U2â. Hence there are x1â,x2ââC such that x1ââU1ââV and x2ââU2ââV. But this implies that (x1â,x2â)â/EBâ, which is a contradiction.
For the following paragraphs, we will mainly consider the graph relation EBâ and we will treat subsets of B as (induced) subgraphs of the graph (B,EBâ). We will use the standard terminology of graph theory.
Let C be an inclusion minimal substructure of B such that C forms a vertex cut of B (i.e. BâC is not connected in EBâ) and let Câ˛âC be an inclusion minimal vertex cut of B. Such a C exists, because B is reducible. Note that from the minimality of C it follows that C=ClBâ(Câ˛).
First observe that from the minimality of CⲠit follows that for every pair of distinct vertices x,yâCⲠthere are be two distinct nonempty connected components B1â,B2ââBâCⲠsuch that both B1â,B2â contain a vertex adjacent to x as well as a vertex adjacent to y. Now observe that CⲠis a clique: If there was a pair of vertices xî =yâCⲠsuch that (x,y)â/EBâ, we could construct an induced cycle of length âĽ4 using x and y and vertices of B1â, B2â from the previous paragraph. This implies that C is irreducible, because it is the closure of a clique.
From the condition on C we get that BâC is not connected, that is, it can be split into two non-empty disjoint parts B1ââŞB2â=BâC such that there are no edges between B1â and B2â (and therefore no relations or functions at all thanks to condition 1). This means that B is the free amalgamation of (its substructures induced on) B1ââŞC and B2ââŞC over C.
Using the induction hypothesis, we get ÎLâ-structures D1â and D2â which are tree amalgamations of copies of A such that the substructures induced by B on BiââŞC are substructures of Diâ for iâ{1,2}. Since C is irreducible, it follows that there are embeddings Îą1â:AâD1â, Îą2â:AâD2â and δ1â,δ2â:CâA (by Observation 9.3) and hence we can put D to be the free amalgamation of B1â and B2â over C with respect to Îą1ââδ1â and Îą2ââδ2â. Clearly BâD (up to an isomorphism) and D is a tree amalgamation of copies of A.
â
We intend to use Lemma 8.1 as the main ingredient to this proof. However, Lemma 8.1 expects that there is a graph edge relation E in the language and that EAâ is a complete graph, which is not guaranteed by the assumptions of Theorem 1.2. For this reason, we extend the language L to L+, adding a binary symmetric relation E fixed by every permutation of the language (assuming without loss of generality that Eâ/L), put AⲠto be the ÎL+â-structure obtained from A by putting EAâ˛â to be the complete graph on A, and put B0â˛â to be the ÎL+â-structure obtained from B0â by putting EB0â˛ââ to be the complete graph on B0â˛â.
Observe that partial automorphisms of AⲠare precisely the partial automorphisms of A (barring the new relation E fixed by every permutation of the language) and Aut(B0â)=Aut(B0â˛â). Therefore, B0â˛â is an EPPA-witness for AⲠand it is coherent if B0â is.
Put N=(nâ1)(2nâ)+1. Use Proposition 7.1 on AⲠand B0â˛â to get B1â˛â, an irreducible structure faithful (coherent) EPPA-witness for AⲠwith a homomorphism-embedding f1â:B1â˛ââB0â˛â. Next, by applying Lemma 8.1 iteratively N times, we construct a sequence of
ÎL+â-structures B2â˛â,âŚ,BN+1â˛â and a sequence
of maps f2â,âŚ,fN+1â, such that for every 1â¤iâ¤N+1 it holds that
Biâ˛â is an irreducible structure faithful EPPA-witness for Aâ˛, fiâ is a homomorphism-embedding Biâ˛ââBiâ1â˛â, and if Biâ1â˛â is coherent then so is Biâ˛â.
Put Bâ˛=BN+1â˛â and put B to be the ÎLâ-reduct of BⲠforgetting the relation E. Since every automorphism of BⲠis also an automorphism of B, we get that B is an EPPA-witness for A, and if B0â was coherent, then so is B. To see that B is irreducible structure faithful, note that an irreducible substructure of B is also an irreducible substructure of Bâ˛.
Let CN+1â be a substructure of B on
at most n vertices and let CN+1â˛â be a substructure of BⲠon the same vertices as CN+1â. Denote by C1â˛â,âŚ,CNâ˛â the
structures such that for every 1â¤iâ¤N it holds that
Ciâ˛â=fi+1â(Ci+1â˛â).
Since we used Lemma 8.1N times, let us count how many times one of (2b) and (2c) from Lemma 8.1 has happened. Clearly, possibility (2b) could have happened at most nâ1 times, because âŁCN+1â˛ââŁâ¤n and âŁC1â˛ââŁâĽ1. And for every fixed m=âŁCiâ˛ââŁ, possibility (2c) could have happened at most (2mâ)â¤(2nâ) times. Therefore, (2b) or (2c) have together happened at most Nâ1 times, which means that there is 2â¤iâ¤N+1 such that possibility (2a) happened in the i-th step. This then means that Ciâ˛â contains no induced cycles of length âĽ4.
Because Biâ˛â is an irreducible structure faithful EPPA-witness for Aâ˛, we get that every irreducible substructure of Biâ˛â is isomorphic to a substructure of Aâ˛, so in particular, this holds for irreducible substructures of Ciâ˛â. Hence, we can apply Lemma 9.5 on Ciâ˛â to obtain a tree amalgamation DⲠof copies of AⲠand a homomorphism-embedding f:CN+1â˛ââDⲠ(obtained by composing the output of Lemma 9.5 with some of the fiââs).
Let D be the ÎLâ-reduct obtained from DⲠby forgetting the relation E. It is easy to check that f is a homomorphism-embedding CN+1ââD and that D is a tree amalgamation of copies of A, which concludes the proof.
â
Observation 9.6**.**
The number of vertices of the EPPA-witness B provided by Theorem 1.2 can be bounded from above by a function which depends only on the number of vertices of B0â and on n.
Proof.
B was obtained from B0â by iteratively applying Lemma 8.1N=(nâ1)(2nâ)+1 times. We know that in each step, the number of vertices of the constructed structure can be bounded by a function of the number of vertices of the original structure (by Observation 8.9). The claim then follows.
â
10. A generalisation of the HerwigâLascar theorem: Proof of Theorem 1.5
Next, we show how Theorem 1.2 implies Theorem 1.5. Note that unlike Theorem 1.5, Theorem 1.2 assumes that A is irreducible, because otherwise one can not define what tree amalgamation is. In order to deal with it, we extend the language L to L+, adding a binary symmetric relation E fixed by every permutation of the language (assuming without loss of generality that Eâ/L), and consider the class consisting of finite ÎL+â-structures A where EAâ is a complete graph. Moreover, for such A, we will denote by Aâ its ÎLâ-reduct forgetting the relation E.
We will need the following technical lemma.
Lemma 10.1**.**
Let L be a language consisting of relations and unary functions equipped with a permutation group ÎLâ and fix a finite ÎL+â-structure A such that EAâ is a complete graph. Assume that there is a (not necessary finite) ÎLâ-structure M containing Aâ as a substructure such that every partial automorphism of Aâ extends to an automorphism of M. Then, for every tree amalgamation D of copies of A, there is a homomorphism-embedding h:DââM. Moreover, for every embedding Îą:AâD there is an automorphism f of M such that f(h(Îą(A)))=A.
Proof.
We proceed by induction on the tree construction of D (cf. Definition 9.1). The claim clearly holds if D is isomorphic to A. Suppose now that B1â and B2â are tree amalgamations of copies of A and E is a substructure of A with embeddings δ1â,δ2â:EâA, Îą1â:AâB1â and Îą2â:AâB2â such that D is the free amalgamation of B1â and B2â over E with respect to Îą1ââδ1â and Îą2ââδ2â.
By the induction hypothesis, we have homomorphism-embeddings h1â:B1âââM and h2â:B2âââM and automorphisms f1â,f2â of M such that fiâ(hiâ(Îąiâ(A)))=A for iâ{1,2}. Let Ď be a partial automorphism of Aâ sending f1â(h1â(Îą1â(δ1â(Eâ))))âŚf2â(h2â(Îą2â(δ2â(Eâ)))) and let Ď^â be its extension to a partial automorphism of M. It is easy to check that the function h:DâM defined by
[TABLE]
is a homomorphism embedding DââM. The moreover part follows straightforwardly as A is irreducible and therefore every copy of A in D is either in B1â or in B2â.
â
Let A+ be the ÎL+â-expansion of A adding a clique in the relation E. Clearly, A+ is in a finite orbit of the action of ÎL+â by relabelling, hence we can use Theorem 1.1 to get a ÎL+â-structure B0â which is an irreducible structure faithful coherent EPPA-witness for A+. Let n be the number of vertices of the largest structure in F and let B be given by Theorem 1.2. We will show that Bâ satisfies the statement. Clearly, it is a coherent EPPA-witness for A. Since every irreducible substructure of Bâ is all the more so an irreducible substructure of B, we get that Bâ is irreducible structure faithful. To finish the proof, it remains to show that BââForbheâ(F).
For a contradiction, suppose that there is FâF with a homomorphism-embedding g:FâBâ. We have that âŁg(F)âŁâ¤âŁFâŁâ¤n. Let C be the substructure of B induced on g(F). From Theorem 1.2, we get a tree amalgamation D of copies of A+ and a homomorphism-embedding f:CâD. Composing fâg, we get that F has a homomorphism-embedding to Dâ. However, Lemma 10.1 gives a homomorphism-embedding DââM, hence we get a homomorphism-embedding FâM, which is a contradiction with MâForbheâ(F).
â
11. Connections to the structural Ramsey theory: Proof of Theorem 1.6
Most of the applications of the HerwigâLascar theorem proceed similarly to
applications of a theorem developed independently in the context of the structural Ramsey
theory [HN19]. Both EPPA and the Ramsey property imply the amalgamation property (cf. Observation 2.6 and [Neť05]), however, the amalgamation property is not enough to imply either of them. This motivates the following strengthening of (strong) amalgamation introduced in [HN19]:
Definition 11.1**.**
Let C be a structure. An irreducible structure CⲠis a completion
of C if there is a homomorphism-embedding CâCâ˛. It is a strong completion if the homomorphism-embedding is injective. A completion is automorphism-preserving if it is strong and for every ÎąâAut(C) there is Îąâ˛âAut(Câ˛) such that ÎąâιⲠand moreover the map ÎąâŚÎąâ˛ is a group homomorphism Aut(C)âAut(Câ˛).
To see that completion is a strengthening of amalgamation, let
K be a class of irreducible structures. The amalgamation property for K
can be equivalently formulated as follows: For A, B1â,
B2ââK embeddings Îą1â:AâB1â and
Îą2â:AâB2â, there is CâK
which is a completion of the free amalgamation of B1â and B2â over A with respect
to Îą1â and Îą2â (which itself need not be in K). In the same way, strong completion strengthens strong amalgamation and automorphism-preserving completion strengthens the so-called amalgamation property with automorphisms.
Definition 11.2**.**
Let L be a language equipped with a permutation group ÎLâ.
Let E be a class of finite ÎLâ-structures and let K be a subclass of E consisting of irreducible structures. We say
that K is a locally finite subclass of E if for every AâK and every B0ââE there is a finite integer n=n(A,B0â) such that
every ÎLâ-structure B has a completion Bâ˛âK, provided that it satisfies the following:
(1)
Every irreducible substructure of B has an embedding to A,
2. (2)
there is a homomorphism-embedding from B to B0â, and
3. (3)
every substructure of B on at most n vertices has a completion in K.
We say that K is a locally finite automorphism-preserving subclass of E if BⲠcan always be chosen to be automorphism-preserving.
Note that if K is hereditary, point 1 implies that every irreducible substructure of B is in K. Note also that we are only promised that every substructure on at most n vertices has a completion in K, even though we are asking for an automorphism-preserving (hence, in particular, strong) completion.
Luckily, for languages where all functions are unary, one can prove that if a structure has a completion in a strong amalgamation class then it has in fact a strong completion, which makes verifying local finiteness much easier. This was first proved in [HN19] as Proposition 2.6, we include a proof for completeness.
Proposition 11.3**.**
Let L be a language equipped with a permutation group ÎLâ such that all function symbols of L are unary and let K be a hereditary class of finite irreducible ÎLâ-structures with the strong amalgamation property.
For every finite ÎLâ-structure A, it holds that it has a completion in K if and only if it has a strong completion in K.
Proof.
One implication is trivial. To prove the other, assume to the contrary that there is a ÎLâ-structure A with no strong
completion in K, a ÎLâ-structure BâK and a
homomorphism-embedding f:AâB (that is, B is a completion of A). Among
all such examples, choose one with âŁ{{u,v}âA:f(u)=f(v)}⣠minimal. Note that this implies that whenever there is a ÎLâ-structure AⲠand homomorphism-embeddings g1â:AâAⲠand g2â:Aâ˛âB such that f=g2ââg1â and g1â is surjective, we have that either g1â is injective, or g2â is injective (as otherwise g2â:Aâ˛âB contradicts the minimality).
We decompose the vertex set of A into five parts denoted by L1â, L2â, R1â, R2â, and C as depicted in Figure 3 by the following procedure.
Because f is not a strong completion in K, we know that there is a pair
of vertices lî =râA such that f(l)=f(r). Now observe that, by
the non-existence of Aâ˛, for every other pair of vertices v1âî =v2ââA satisfying f(v1â)=f(v2â) it holds that one vertex is in ClAâ(l)
and the other is in ClAâ(r): Indeed, otherwise we could first identify only vertices from ClAâ(l) with vertices from ClAâ(r), yielding such a structure Aâ˛.
Because vertex closures are irreducible
substructures, we know that f identifies two irreducible substructures
U=ClAâ(l) and V=ClAâ(r) of A to one and is injective otherwise.
Put L1â=UâV and R1â=VâU. Observe that because l and r can be chosen arbitrarily, if a substructure
of A contains a vertex of L1â then it contains all vertices of L1â (otherwise we would again get a contradiction with the non-existence of Aâ˛). By symmetry, the same holds for
R1â. Denote by L2â the set of all vertices vâAâL1â such that L1ââClAâ(v). Analogously denote by R2â the set of
all vertices vâAâR1â such that R1ââClAâ(v). L2â
and R2â are disjoint, because f is an embedding on irreducible substructures,
and thus no vertex closure (which is an irreducible substructure) can contain
both L1â and R1â (as f(L1â)=f(R1â)). By a similar irreducibility argument, we get that there is no tuple tËâRAâ, RâL, containing both a vertex from L1ââŞL2â and a vertex from R1ââŞR2â.
Let C be the set of all vertices
whose vertex closure does not contain L1â nor R1â, that is, C=Aâ(L1ââŞL2ââŞR1ââŞR2â).
Because all functions are unary, A induces a substructure C on C.
Similarly, denote by Alâ the substructure induced by A on CâŞL1ââŞL2â,
and by Arâ the substructure induced by A on CâŞR1ââŞR2â.
Because K is hereditary and f is injective on Aâ(L1ââŞR1â), we know that BâK is a strong completion of all of Alâ, Arâ and C.
Applying the strong amalgamation property of K,
there is DâK which is a strong amalgamation of f(Alâ) and f(Arâ)
over f(C), hence a strong completion of A, which is a contradiction.
â
Note that in [HN19] it is also observed that the unarity assumption of Proposition 11.3 cannot be omitted. We now prove Theorem 1.6.
Given AâK, use the fact that E has (coherent) EPPA to obtain a (coherent) EPPA-witness B0ââE. Let n=n(A,B0â) be as in the definition of a locally finite subclass and let B1â and a homomorphism-embedding f:B1ââB0â be given by Theorem 1.2 for A, B0â and n.
Because B1â is irreducible structure faithful, it follows that every irreducible structure of B1â can be sent by an automorphism to A. We also get that every substructure DâB1â on at most n vertices has a homomorphism-embedding to a tree amalgamation of copies of A. Using Observation 9.4, we obtain EâK and a homomorphism-embedding DâE, by composing these two homomorphism-embedding, we get that every substructure of B1â on at most n vertices has a (not necessarily strong) completion in K, and Proposition 11.3 gives us that it has a strong completion in K.
Now we can use the fact that K is a locally finite automorphism-preserving subclass of E to get an automorphism-preserving completion B of B1â. Finally, if B0â was coherent, then B1â and consequently B are coherent, too, thanks to the moreover part of Definition 11.1.
â
12. Applications
In this section we present three applications of our general results.
12.1. Free amalgamation classes
We characterize free amalgamation classes of finite ÎLâ-structures with relations and unary functions which have EPPA. We start with an easy observation.
Let K be a free amalgamation class, let AâK be a finite structure and let B
be an irreducible structure faithful EPPA-witness for A. Then BâK.
Proof.
Assume for a contradiction that Bâ/K. Let B0â be an
inclusion minimal substructure of B such that B0ââ/K.
Because K is a free amalgamation class it follows that B0â is
irreducible. However, this is a contradiction with the existence of an automorphism Ď of B
such that Ď(B0â)âA.
â
Now we can prove Corollary 1.4 which characterises free amalgamation classes with EPPA.
Proof.
If there is AâK which lies in an infinite orbit of the action of ÎLâ by relabelling then by Theorem 1.3 there is no finite EPPA-witness for A, hence K does not have EPPA.
If AâK lies in a finite orbit of the action of ÎLâ by relabelling then by Theorem 1.1 there is a finite irreducible structure faithful coherent EPPA-witness B for A. By Observation 12.1B lies in K.
â
12.2. Metric spaces without large cliques
We continue with an example of an application of Theorem 1.6, which was first proved by Conant [Con19, Theorem 3.9] (see also [ABWH*+*17c]).
Proposition 12.2**.**
Let Knâ denote the metric space on n vertices where all distances are 1. The class Mnâ of all finite integer-valued metric spaces which do not contain a copy of Knâ has coherent EPPA for every nâĽ2.
Proof.
We will consider integer-valued metric spaces to be relational structures in the language L={R1,R2,âŚ} (with trivial ÎLâ), where (x,y)âRa if and only if d(x,y)=a. We do not explicitly represent d(x,x)=0. Let Enâ be the class of all L-structures A such that RAiâ is symmetric and irreflexive for every RiâL, for every pair of vertices x,yâA it holds that {x,y} is in at most one of RAiâ and Knâî âA.
Clearly, Enâ is a free amalgamation class, and since ÎLâ is trivial, we get that every orbit of the action of ÎLâ by relabelling has size 1. Therefore, by Corollary 1.4, Enâ has irreducible structure faithful coherent EPPA. Mnâ is a hereditary subclass of Enâ and consists of irreducible substructures. We need to verify that Mnâ is a locally finite automorphism-preserving subclass of Enâ and that it has the strong amalgamation property in order to use Theorem 1.6 and thus finish the proof.
Note that if we have B0ââEnâ and a finite ÎLâ-structure B with a homomorphism-embedding f:BâB0â, the following holds for B:
(1)
Knâî âB,
2. (2)
the relation RBiâ is symmetric and irreflexive for every iâĽ1,
3. (3)
every pair of vertices x,yâB is in at most one RBiâ relation, and
4. (4)
there is a finite set Sâ{1,2,âŚ} such that for every iâ{1,2,âŚ}âS we have RBiâ=â (i.e. B uses only distances from S).
Note also that whenever we have a structure B satisfying conditions 1â4, we can equivalently view it as an S-edge-labelled graph, that is, a triple (B,E,d) such that {x,y}âE if and only if there is iâS such that {x,y}âRBiâ and d:EâS is such that d(x,y)=i if and only if {x,y}âRBiâ (note that we write d(x,y) instead of d({x,y})).
Let C=(C,E,d) be an N+-edge-labelled cycle (that is, (C,E) is a graph cycle) and enumerate the vertices as C={c1â,âŚ,cnâ} such that ciâ and ci+1â are adjacent for every 1â¤iâ¤n (we identify cn+1â with c1â) and d(c1â,cnâ) is maximal. We say that C is a non-metric cycle if
[TABLE]
The following claim is standard and was used many times (e.g. [Sol05, Neť07, Con19, HN19]). For a proof, see for example Observation 2.1 of [HKN19].
Claim 12.3**.**
Let SâN+ be a finite set of distances and let B=(B,E,d) be a finite S-edge-labelled graph. There is a metric space M on the same vertex set B such that the identity is a homomorphism-embedding BâM if and only if there is no non-metric cycle C with a homomorphism-embedding CâB. Moreover, Aut(M)=Aut(B), and if Knâî âB, then Knâî âM.
In other words, we have a characterization of edge-labelled graphs with a completion to a metric space. Letâs first see how this claim implies both strong amalgamation and local finiteness. For strong amalgamation, it is enough to observe that free amalgamations of metric spaces contain no non-metric cycles (indeed, if there was one, then we could find one in B1â or B2â, which would be a contradiction). For local finiteness observe that there are only finitely many non-metric cycles with distances from a finite set S, hence there is an upper bound n on the number of their vertices (which only depends on S) and we are done.
To conclude, we give a sketch of proof of the claim. Put m=max(2,maxS) and define function dâ˛:B2âN as
[TABLE]
where by âĽP⼠we mean the sum of distances of P. It is easy to check that (B,dâ˛) is a metric space, that it preserves automorphisms and that dâ˛âŁEâ=d if and only if B contains no (homomorphism-embedding of a) non-metric cycle. We remark that (B,dâ˛) is called the shortest path completion of B in [HN19].
â
Remark 12.4*.*
The fact that we used Enâ as the base class in the proof of Proposition 12.2 was a matter of choice. We could also, for example, start with the class of all L-structures; the condition that every small enough substructure of B has a completion in Mnâ would also ensure that RBiâ are symmetric and irreflexive, that every pair of vertices is in at most one relation and that B does not contain Knâ.
12.3. Structures with constants
We show how languages equipped with a permutation group can help us reduce EPPA for languages with constants (nulary functions) to languages without constants. Since the goal of this section is to illustrate applications of our main theorems, we will only construct EPPA-witnesses for structures where the constants behave in a special way.
To simplify the notation, if A is a ÎLâ-structure and c is a constant symbol of ÎLâ, we will write cAâ instead of cAâ(). Moreover, if the image of cAâ is a singleton x (recall that, in general, functions go to the powerset of A), we will write cAâ=x instead of cAâ={x}.
We first give a definition.
Definition 12.5**.**
Let L be a language equipped with a permutation group ÎLâ and let A be a ÎLâ-structure. We define the constant trace of A, denoted by ctr(A), as
[TABLE]
In particular, ctr(A) is a (possibly empty) ÎLâ-structure.
For example, if ÎLâ contains no constants, then the constant traces of all ÎLâ-structures are empty. If ÎLâ contains, say, two constants a and b and a binary relation E and A is a ÎLâ structure such that aAâ and bAâ are singletons, aAâî =bAâ, and moreover (aAâ,bAâ)âEAâ, then ctr(A) is the two-vertex ÎLâ-structure with the corresponding relation E.
If ÎLâ contains one constant symbol c and one unary function symbol F and A is a ÎLâ-structure containing a vertex x such that cAâ is a singleton, cAâî =x and xâFAâ(cAâ), then ctr(A) also contains x.
Theorem 12.6**.**
Let L be a language equipped with a permutation group ÎLâ where the arity of every function is at most 1 and let A be a finite ÎLâ-structure. Let LF0â be the set of all constant symbols of L. Assume the following:
(1)
For every gâÎLâ and every câLF0â it holds that g(c)=c.
2. (2)
LF0â* is finite.*
3. (3)
For every câLF0â it holds that cAâ is a singleton.
4. (4)
For every cî =câ˛âLF0â it holds that cAâî =cAâ˛â.
5. (5)
For every câLF0â and for every unary function FâL it holds that FAâ(cAâ)=â .
6. (6)
A* lies in a finite orbit of the action of ÎLâ by relabelling.*
Then there is a finite ÎLâ-structure B which is an irreducible structure faithful coherent EPPA-witness for A.
We again remark that our goal here was to keep the proof as simple as possible, a similar theorem can be proved with much weaker assumptions. In fact, one can obtain a category theory-like theorem which then makes it possible to lift the main theorems of this paper to work for languages with constants. These results will appear elsewhere.
The structure of the proof will be similar to that of Proposition 5.1. That is, we will define a new language without constants and we will reduce the question to the question of EPPA in that language.
Without loss of generality we will assume that L does not contain the symbol â. Given a function f:{1,âŚ,n}âLF0ââŞ{â}, we put âŁfâŁ=âŁ{iân:f(i)=â}âŁ. Observe that from assumptions 3 and 5 it follows that the vertex set of ctr(A) is precisely {cAâ:câLF0â}.
Now, we define a language M without constant symbols. Let RâL be an n-ary relation symbol. For every function f:{1,âŚ,n}âLF0ââŞ{â} such that âŁfâŁ>0, we put an âŁfâŁ-ary relation symbol RR,f in M. Let FâL be a unary function symbol. For every câS, we put a unary relation symbol RF,c in M. We also put all unary function symbols of L into M.
Given gâÎLâ, we define Ďgâ:MâM as
[TABLE]
We put ÎMâ={Ďgâ:gâÎLâ}. Observe that ÎMâ is a permutation group on M (Ďghâ=ĎgâĎhâ). We claim that gâŚĎgâ is a group isomorphism: Clearly it is a surjective homomorphism, injectivity follows from the fact that M contains all unary function symbols of L, for every relation symbol RâL we have RR,ââM (where by â we mean the constant â function), and every gâÎLâ fixes LF0â pointwise.
Given an m-tuple (x1â,âŚ,xmâ)=xËâAm and a function f:{1,âŚ,n}âLF0ââŞ{â} such that âŁfâŁ=m, we define xËf to be the n-tuple (y1â,âŚ,ynâ), where
[TABLE]
Put D=Aâctr(A) (that is, the members of D are precisely the non-constant vertices of A). We claim that for every n-tuple (y1â,âŚ,ynâ)=yËââAn, there is precisely one triple (m,xË,f), where mâN, xËâDm and f is a function {1,âŚ,n}âLF0ââŞ{â} with âŁfâŁ=m, such that yËâ=xËf. Indeed, put
[TABLE]
m=âŁf⣠and xiâ=yjâ, where j is chosen such that f(j)=â and âŁ{k<j:f(k)=â}âŁ=iâ1.
Let C be a ÎMâ-structure such that C is disjoint from K=ctr(A). We define a ÎLâ-structure T(C) as follows:
(1)
The vertex set of T(C) is CâŞK.
2. (2)
The identity on K is an isomorphism between ctr(A) and the structure induced by T(C) on K (in particular, the constants are defined on K in T(C) in the same way as in A).
3. (3)
For every unary function FâL and every xâC, we put
[TABLE]
4. (4)
For every relation RR,fâM and every xËâRCR,fâ, we put xËfâRT(C)â.
Note that (Ďgâ,Îą) is an embedding of ÎMâ-structures EâF, if and only if (g,ÎąâŞidKâ) is an embedding T(E)âT(F). This follows directly from the construction. It also implies that E lies in a finite orbit of the action of ÎMâ by relabelling if and only if T(E) lies in a finite orbit of the action of ÎLâ by relabelling.
Next, we define a ÎMâ-structure D such that T(D)=A. We put the vertex set of D to be D, the relations and functions are defined as follows:
(1)
For every unary function FâL and every vertex xâD, we put FDâ(x)=FAâ(x)âctr(A).
2. (2)
For every unary function FâL, every vertex xâD and every constant câLF0â, we put xâRDF,câ if and only if cAââFAâ(x).
3. (3)
For every n-ary relation RâL and every yËââRAâ such that yËâ=xËf, where xËâDm, f:{1,âŚ,n}âLF0ââŞ{â} and mâĽ1, we put xËâRDR,fâ.
It is straightforward to verify that indeed T(D)=A.
Since ÎMâ is a language where all functions are unary, by Theorem 1.1 we get an irreducible structure faithful coherent EPPA-witness C for D. Without loss of generality we can assume that C is disjoint from K. We claim that B=T(C) is an irreducible structure faithful coherent EPPA-witness for A.
Let (g,Îą) be a partial automorphism of A. This implies that (Ďgâ,ÎąâžDâ) is a partial automorphism of D, which by the assumption extends to an automorphism (Ďgâ,θ) of C. This implies that (g,θâŞidKâ) is an automorphism of B extending (g,Îą). Since the extensions in C can be chosen to be coherent, by the construction we get coherence also for B.
To get irreducible structure faithfulness of B, observe that if PâC is the free amalgamation of P1â and P2â over Q, then T(P) is the free amalgamation of T(P1â) and T(P2â) over T(Q). This follows from the fact that functions in a ÎMâ-structure X are subsets of the corresponding functions in T(X) and if, for nâĽ2, an n-tuple is in a relation in X, then is is a sub-tuple of a tuple in a relation of T(X).
Taking the contrapositive, this means that if I is an irreducible substructure of B, then C induces an irreducible substructure on IâK. Hence, there is an automorphism (Ďgâ,Îą):CâC sending IâK to A and thus (g,ÎąâŞidKâ) is an automorphism of B such that (g,ÎąâŞidKâ)(I)âA.
â
12.4. EPPA for special non-unary functions
One of our motivations for introducing languages equipped with a permutation group was that it gives a nice formalism to stack several EPPA constructions on top of each other, thereby allowing to prove coherent EPPA for certain classes with non-unary functions. We conclude this paper with two examples of this. This section can be seen as an introduction to Section 12.5.
The following theorem is a variant of Ivanovâs observation that permomorphisms of Herwig [Her98, Lemma 1] can be used to prove EPPA of equivalence relations on n-tuples [Iva15]:
Theorem 12.7**.**
Let L be a finite language consisting of two unary relations U, V and functions F1,âŚ,Fn, each of arity at least 1. Let C be the class of all finite L-structures A satisfying the following:
(1)
UAââŠVAâ=â * and UAââŞVAâ=A,*
2. (2)
for every 1â¤iâ¤n it holds that Dom(FAiâ)â(UAâ)a(Fi) and Range(FAiâ)âVAâ.
(Equivalently, structures in C can be viewed as 2-sorted structures where all the functions go from the first sort to the other.) Then C has irreducible structure faithful coherent EPPA.
Proof.
Fix AâC. We will construct BâC such that B is the desired EPPA-witness. Towards that, we define a language Lâ consisting of an a(Fi)-ary relation Ri,v for every 1â¤iâ¤n and every vâVAâ. Let ÎLââ be the permutation group obtained by the natural action of Sym(VAâ) on Lâ. Next we define an ÎLââ-structure A0â such that the vertex set of A0â is precisely UAâ and for every tuple xË of vertices of A0â and every relation Ri,vâLâ we put xËâRA0âi,vâ if and only if vâFAiâ(xË). Let B0â be an irreducible structure faithful coherent EPPA-witness for A0â (obtained for example using Theorem 1.1). Without loss of generality we can assume that A0ââB0â.
Next we reconstruct an L-structure B using B0â as a template as follows:
(1)
The vertex set of B is the disjoint union B0ââŞVAâ.
2. (2)
UBâ=B0â and VBâ=VAâ.
3. (3)
For every 1â¤iâ¤n, every vâVAâ and every tuple xË from B0â we put vâFBiâ(xË) if and only if xËâRB0âi,vâ.
Clearly, BâC. Since A0ââB0â, we get that AâB. To see that A is in fact a substructure of B, observe that UAâ=UBââŠA, VAâ=VBâ and whenever xË is a tuple of vertices from UAâ, vâVAâ and 1â¤iâ¤n, then vâFAiâ(xË) if and only if xËâRA0âi,vâ (by the construction of A), which happens if and only if xËâRB0âi,vâ (since A0ââB0â) and this is true if and only if vâFBiâ(xË) (by the construction of B). Hence indeed AâB.
Now we show how to construct an automorphism of B from an automorphism of B0â and a permutation of VAâ. Let fⲠbe a permutation of VAâ and let f=(fLââ,fB0ââ) be an automorphism of B such that fLââ is induced by fâ˛. Put θ=fB0âââŞfâ˛. We claim that θ is an automorphism of B. Clearly, θ is a bijection BâB which preserves the unary relations. Given an arbitrary 1â¤iâ¤n, an arbitrary tuple xË of vertices from B0â and an arbitrary vâVAâ, we know that vâFBiâ(xË) if and only if xËâRB0âi,vâ (by the construction of B), which happens if and only if fB0ââ(xË)âfLââ(Ri,v)B0ââ=RB0âi,fâ˛(v)â (as f is an automorphism and fLââ is induced by fâ˛), and by the construction of B it is equivalent to fâ˛(v)âFBiâ(fB0ââ˛â(xË)). Hence θ is an automorphism of B.
To see that B is irreducible structure faithful, it is enough to observe that if CâB is irreducible, then either C consists of a single vertex of VAâ, or C=ClBâ(CâŠUBâ) and for every pair xî =yâCâŠUBâ there is a tuple xË of vertices of C containing both x and y, and 1â¤iâ¤n such that FCiâ(xË)î =â . Consequently, B0â induces an irreducible substructure on CâŠUBâ. By irreducible structure faithfulness there is an automorphism f=(fLââ,fB0ââ) of B0â such that f(CâŠUBâ)âA0â. Let fⲠbe an arbitrary permutation of VAâ inducing fLââ and let θ be the automorphism of B constructed from f and fⲠin the previous paragraph. Clearly, θ(CâŠUBâ)âA0â, and therefore θ(C)=θ(ClBâ(CâŠUBâ))âA. This finishes the proof of irreducible structure faithfulness.
Next we prove that B is an EPPA-witness for A. Let Ď be a partial automorphism of A. Remember that Ď preserves the unary relations. Let fⲠbe the coherent extension of ĎâžVAââ to a permutation of VAâ obtained using Proposition 2.19. Let fLâââÎLââ be induced by fⲠand put Ď0â=(fLââ,ĎâžA0ââ). Observe that Ď0â is a partial automorphism of A0â and extend it to an automorphism f=(fLââ,fB0ââ) of B0â (in a coherent way). Put Ďâ=fB0âââŞfâ˛. By the previous paragraphs, Ďâ is an automorphism of B0â. Moreover, since ĎâžVAâââfⲠand ĎâžA0âââfB0ââ, we get that Ďâ extends Ď.
To finish the proof, note that since both f and fⲠwere chosen to be coherent, Ďâ is coherent as well.
â
Remark 12.8*.*
This construction can be carried out more generally for infinitely many functions, more than 2 unary marks (as long as all functions go in one direction) and more complicated structures living on each unary mark (as long as the whole multi-sorted structure still lies in a finite orbit of the relabelling action). This will appear elsewhere. In the next section, we adapt this construction for a class which does not a priori look multi-sorted.
12.5. EPPA for k-orientations with d-closures
In this section we extend the construction from Section 12.4 and prove EPPA for the class of all k-orientations with d-closures, thereby confirming a conjecture from [EHN19]. We only define the relevant classes and prove EPPA for them here, to get more context (for example the connection with Hrushovskiâs predimension constructions and the importance for the structural Ramsey theory), see [EHN19].
Let G be an oriented graph (that is, if there is an edge from vertex u to vertex v then there is no edge from v to u). We say that it is a k-orientation if the out-degree of every vertex is at most k. We say that a vertex xâG is a root if its out-degree is strictly smaller than k. Let Dk be the class of all finite k-orientations. While Dk is not an amalgamation class, there are two natural expansions which do have the free amalgamation property:
Definition 12.9**.**
Let L be the graph language with a single binary relation E and let Lsâ be its expansion by a unary function symbol F.
Let G be a k-orientation. By s(G) we denote the Lsâ-expansion of G putting
[TABLE]
Here, an oriented path from x to y is a sequence x=v1â,v2â,âŚ,vmâ=y with mâĽ1 such that for every 1â¤i<m it holds that (viâ,vi+1â)âEGâ. Put Dskâ={s(G):GâDk}.
Recall that ClAâ(x) denotes the smallest substructure of A containing x and is called the closure of x in A. For GâDskâ and yâG, we denote by roots(y) the set of all roots of G which are in ClGâ(y). Define Ds+kâ to be the subclass of Dskâ such that GâDs+kâ if and only if for every yâG it holds that roots(y)î =â .
Definition 12.10**.**
Let Ldâ be an expansion of Lsâ adding an n-ary function symbol Fn for every nâĽ1.
Given GâDskâ, we denote by d(G) the Ldâ-expansion of G putting Fd(G)nâ(x1â,âŚ,xnâ)=â if (x1â,âŚ,xnâ) is not a tuple of distinct roots and
[TABLE]
if (x1â,âŚ,xnâ) is a tuple of distinct roots.
Put Ddkâ={d(G):GâDs+kâ}.
Note that in the definition of Ddkâ we are only considering members of Ds+kâ. The reason is that if there was a vertex with roots(y)=â , it would be in the closure of the empty set, i.e. we would need to add constants. It is possible to do so, but it would make the construction a bit complicated and for the applications we have in mind it does not make any difference.
It is easy to see that Dskâ is a free amalgamation class. Combining with Corollary 1.4, we get the following theorem proved by Evans, HubiÄka and NeĹĄetĹil [EHN19, EHN17].
Theorem 12.11**.**
Dskâ* has irreducible structure faithful coherent EPPA for every kâĽ1.*
It is again straightforward to verify (and it was done in [EHN19]) that Ddkâ is a free amalgamation class. Since it contains non-unary functions, the results of this paper cannot be applied directly to prove that Ddkâ has irreducible structure faithful coherent EPPA. However, we can use the fact that the non-unary functions go from root vertices to non-root vertices and show the following theorem, which was conjectured to hold in [EHN19, Conjecture 7.5].
Theorem 12.12**.**
Ddkâ* has irreducible structure faithful coherent EPPA for every kâĽ1.*
In the rest of this section, we will prove this theorem. The proof is based on the following observation: Let S be a set consisting of root vertices only, let S1â be the Lsâ-closure of S (i.e. we ignore the Fn functions) and let S2â be the Ldâ-closure of S (i.e. we also consider the Fn functions). Then the root vertices in S1â are precisely the root vertices in S2â. Consequently, if one is interested in root vertices only, all closures are unary, even in the presence of higher-arity functions. Thus, we can view structures from Ddkâ as two-sorted structures (one sort being the roots and the other being the non-roots) in which all non-unary functions go from one sort to the other, which allows us to use a similar structure of arguments as in Section 12.4.
Fix AâDdkâ and denote by A0â its Lsâ-reduct (so A0ââDskâ). Let B0ââDskâ be an irreducible structure faithful coherent EPPA-witness for A0â given by Theorem 12.11.
Let P be the set of all pairs (x,(x1â,âŚ,xnâ)) such
that x is a non-root vertex of B0â, (x1â,âŚ,xnâ) is a tuple of distinct root vertices of B0â and rootsB0ââ(x)={x1â,âŚ,xnâ}. Note that we have such a pair for each possible permutation of {x1â,âŚ,xnâ}. Given P=(x,(x1â,âŚ,xnâ))âP, we define Ď(P)=x to be the projection and put âŁPâŁ=n.
Denote by L+ the expansion of Lsâ adding a âŁPâŁ-ary relation symbol
RP for every PâP and a (âŁPâŁ+1)-ary relation symbol EP for every PâP.
Let ÎL+â be the permutation group on L+ consisting of all permutations of the RP and EP symbols induced by the natural action of Aut(B0â) on P. In particular, E and F are fixed by ÎL+â.
Denote by A1â the ÎL+â-structure created from A0â by removing all non-root vertices, keeping the edges between root vertices, putting FA1ââ(v)=FA0ââ(v)âŠA1â, adding (x1â,âŚ,xnâ)âRA1â(x,(x1â,âŚ,xnâ))â if and only if
x is a non-root vertex of A0â and rootsA0ââ(x)={x1â,âŚ,xnâ}, and adding (a,x1â,âŚ,xnâ)âEA1â(x,(x1â,âŚ,xnâ))â if and only if (x1â,âŚ,xnâ)âRA1â(x,(x1â,âŚ,xnâ))â, a is a root vertex of A0â and (a,x)âEA0ââ. Let B1â be an irreducible structure faithful coherent EPPA-witness for A1â given by Theorem 1.1.
We will now reconstruct an Ldâ-structure BâDdkâ from B1â such that B will be an irreducible structure faithful coherent EPPA-witness for A. The general idea is to put back the non-root vertices according to the RP and EP relations using B0â as a template.
Let T0â be the set consisting of all pairs (P,xË) such that PâP, xË is a tuple of vertices of B1â and xËâRB1âPâ. We say that (P,xË)âź(Pâ˛,xËâ˛) if Ď(P)=Ď(Pâ˛) and xË and xËⲠare different permutations of the same set. Let T consist of exactly one (arbitrary) member of each equivalence class of âź on T0â.
Put B=B1ââŞT. For u,vâB, we put (u,v)âEBâ if and only if one of the following holds:
C1
u,vâB1â and (u,v)âEB1ââ,
2. C2
uâB1â, v=((x,(x1â,âŚ,xnâ)),(w1â,âŚ,wnâ))âT and (u,w1â,âŚ,wnâ)âEB1â(x,(x1â,âŚ,xnâ))â,
3. C3
u=((x,(x1â,âŚ,xnâ)),(w1â,âŚ,wnâ))âT, vâB1â, there is 1â¤iâ¤n such that v=wiâ and (x,xiâ)âEB0ââ, or
4. C4
u=((x,(x1â,âŚ,xnâ)),(w1â,âŚ,wnâ))âT, v=((y,(y1â,âŚ,ymâ)),(t1â,âŚ,tmâ))âT, {t1â,âŚ,tmâ}â{w1â,âŚ,wnâ} and (x,y)âEB0ââ.
For every xâB we put
[TABLE]
Finally, we put FBnâ(x1â,âŚ,xnâ)=â if (x1â,âŚ,xnâ) is not a tuple of distinct vertices of B1â and FBnâ(x1â,âŚ,xnâ)={yâB:support(y)={x1â,âŚ,xnâ}} if (x1â,âŚ,xnâ) is a tuple of distinct vertices of B1â.
Here, support(v) is defined as follows:
(1)
If vâB1â, we put support(v)=ClB1ââ(v).
2. (2)
Otherwise vâT and thus v=(P,xË) for some choice of P and xË.
In this case we put support(v)=ClB1ââ(xË) (where by ClB1ââ(xË) we mean the smallest substructure of B1â containing all vertices from xË).
Depending on the context, we may consider support(v) to be a substructure of B1â or just a subset of B1â.
Lemma 12.13**.**
Let (w1â,âŚ,wnâ)âRB1â(x,(x1â,âŚ,xnâ))â. There is automorphism f of B1â such that f({w1â,âŚ,wnâ})âA1â. If there is also uâB1â such that (u,w1â,âŚ,wnâ)âEB1â(x,(x1â,âŚ,xnâ))â then f can be chosen so that also f(u)âA1â.
Moreover, whenever f is an automorphism of B1â such that f({w1â,âŚ,wnâ})âA1â and fⲠis an automorphism of B0â such that fLâ is induced by fⲠthen the following hold:
for every 1â¤iâ¤n it holds that f(wiâ)=fâ˛(xiâ), and
3. (3)
fâ˛({x,x1â,âŚ,xnâ})âA0â,
4. (4)
rootsB0ââ(fâ˛(x))=fâ˛({x1â,âŚ,xnâ}).
If there is also uâB1â such that f(u)âA1â, then (u,w1â,âŚ,wnâ)âEB1â(x,(x1â,âŚ,xnâ))â if and only if (f(u),fâ˛(x))âEA0ââ.
Proof.
The first part is straightforward: Since (w1â,âŚ,wnâ) (or (u,w1â,âŚ,wnâ) respectively) is in a relation of B1â, we get that ClB1ââ({w1â,âŚ,wnâ}) (or ClB1ââ({u,w1â,âŚ,wnâ}) respectively) is an irreducible substructure of B1â, and so there is an automorphism f of B1â with the desired properties by irreducible structure faithfulness of B1â.
Suppose now that we have such automorphisms f and fâ˛. The first statement is just rephrasing that f is an automorphism with fLâ induced by fâ˛. From the construction of A1â it follows that whenever (t1â,âŚ,tnâ)âRA1â(y,(y1â,âŚ,ynâ))â, then tiâ=yiâ for every 1â¤iâ¤n, which implies the second point. The third point is a direct consequence of the second point and the construction of A1â. To see the fourth point, note that A0â is a substructure of B0â, hence rootsB0ââ(fâ˛(x))=rootsA0ââ(fâ˛(x))=fâ˛({x1â,âŚ,xnâ}).
If there is also uâB1â such that f(u)âA1â, then directly from the definition of the relations on A1â it follows that (u,w1â,âŚ,wnâ)âEB1â(x,(x1â,âŚ,xnâ))â if and only if (f(u),fâ˛(x))âEA0ââ.
â
Observation 12.14**.**
If v=((x,(x1â,âŚ,xnâ)),(w1â,âŚ,wnâ))âT then support(v)={w1â,âŚ,wnâ}.
Proof.
From the definition of T, we know that (w1â,âŚ,wnâ)âRB1â(x,(x1â,âŚ,xnâ))â. So, by Lemma 12.13, we get automorphisms f and fⲠsuch that f(wiâ)=fâ˛(xiâ)âA1â for every i and fâ˛({x1â,âŚ,xnâ}) are the only roots reachable from fâ˛(x) in B0â. Consequently, they are all the more so the only roots reachable from fâ˛({x1â,âŚ,xnâ})=f({w1â,âŚ,wnâ}) in A0â and hence ClB1ââ(f({w1â,âŚ,wnâ}))=f({w1â,âŚ,wnâ}). Sending it back by fâ1 then gives
[TABLE]
â
The following observation follows directly from the construction of B.
Observation 12.15**.**
Whenever (u,v)âEBâ, we have that support(v)âsupport(u).
Proof.
We have to distinguish four cases:
(1)
If u,vâB1â, by C1 we know that (u,v)âEB1ââ. This implies that vâClB1ââ(u), so ClB1ââ(v)âClB1ââ(u) and hence support(v)âsupport(u).
2. (2)
If uâB1â, v=((x,(x1â,âŚ,xnâ)),(w1â,âŚ,wnâ))âT, by C2 we know that (u,w1â,âŚ,wnâ)âEB1â(x,(x1â,âŚ,xnâ))â. By definition, support(u)=ClB1ââ(u) and support(v)={w1â,âŚ,wnâ}. Using Lemma 12.13 we get automorphisms f and fⲠsuch that rootsA0ââ(fâ˛(x))=fâ˛({x1â,âŚ,xnâ}) and (f(u),fâ˛(x))âEA0ââ. So
[TABLE]
Consequently, {w1â,âŚ,wnâ}âFA1ââ(u), and hence
[TABLE]
3. (3)
If u=((x,(x1â,âŚ,xnâ)),(w1â,âŚ,wnâ))âT and vâB1â, by C3 we have 1â¤iâ¤n such that v=wiâ. Then
[TABLE]
4. (4)
If u=((x,(x1â,âŚ,xnâ)),(w1â,âŚ,wnâ))âT and v=((y,(y1â,âŚ,ymâ)),(t1â,âŚ,tmâ))âT, by C4 we get immediately that support(v)={t1â,âŚ,tmâ}â{w1â,âŚ,wnâ}=support(u).
â
Our next goal is to show that BâDdkâ. Towards that direction we define the following procedure to map portions of B to substructures of A.
Given a vertex vâB and an automorphism f=(fLâ,fB1ââ) of B1â such that f(support(v)) is a substructure of A1â we define f-correspondencecfâ(v)âA as follows:
(1)
If vâB1â, we put cfâ(v)=fB1ââ(v).
2. (2)
Otherwise vâT. Then v=(P,xË) (for some choice of P and xË) and we put cfâ(v)=Ď(fLâ(P)). (Here, by fLâ(P) we mean the PⲠsuch that fLâ(RP)=RPâ˛.)
Claim 12.16** (on correspondence).**
Let f=(fLâ,fB1ââ) be an automorphism of B1â and vî =vâ˛âB such that both f(support(v)) and f(support(vâ˛)) are substructures of A1â. Then
P1
cfâ(v)î =cfâ(vâ˛).
2. P2
(v,vâ˛)âEBâ if and only if (cfâ(v),cfâ(vâ˛))âEAâ.
Proof.
Let fⲠbe an automorphism of B0â inducing fLâ. If v,vâ˛âB1â then we know that cfâ(v)=f(v)î =f(vâ˛)=cfâ(vâ˛) and P1 follows. If precisely one of v, vⲠis
in vâB1â then it follows that precisely one of cfâ(v),cfâ(vâ˛) is a root of
A and P1 follows as well.
So v=(P,xË)âT and vâ˛=(Pâ˛,xËâ˛)âT. We will show that Ď(P)î =Ď(Pâ˛), which would imply that cfâ(v)=fâ˛(Ď(P))î =fâ˛(Ď(Pâ˛))=cfâ(vâ˛), hence P1 holds. For a contradiction, suppose that Ď(P)=Ď(Pâ˛). By the construction we have that xËâRB1âPâ and xËâ˛âRB1âPâ˛â and Lemma 12.13 then implies that f(xË)=rootsB0ââ(fâ˛(Ď(P)))=rootsB0ââ(fâ˛(Ď(Pâ˛)))=f(xËâ˛) (where we consider xË and xËⲠas sets), hence xË and xËⲠare different permutations of the same set. This is, however, in a contradiction with the definition of T and the fact that vî =vâ˛, which finishes the proof of P1.
If v,vâ˛âB1â, P2 immediately follows from C1. If vâB1â and vâ˛=((x,(x1â,âŚ,xnâ)),(w1â,âŚ,wnâ))âT, we know by C2 that (v,vâ˛)âEBâ if and only if (v,w1â,âŚ,wnâ)âEB1â(x,(x1â,âŚ,xnâ))â. By Lemma 12.13 we know that this happens if and only if (cfâ(v),cfâ(vâ˛))=(f(v),fâ˛(x))âEA0ââ=EAâ.
Now suppose that v=((x,(x1â,âŚ,xnâ)),(w1â,âŚ,wnâ))âT and vâ˛âB1â. If there is 1â¤iâ¤n such that vâ˛=wiâ, we know that (v,vâ˛)âEBâ if and only if (x,xiâ)âEB0ââ by C3. Lemma 12.13 tells us that fâ˛(xiâ)=f(wiâ)=f(vâ˛), and since fⲠis an automorphism of B0â, we get that (x,xiâ)âEB0ââ if and only if (cfâ(v),cfâ(vâ˛))=(fâ˛(x),fâ˛(xiâ))âEA0ââ=EAâ. So vâ˛î =wiâ for any i. In that case (v,vâ˛)â/EBâ by C3. But, again using Lemma 12.13, we know that rootsB0ââ(fâ˛(x))=f({w1â,âŚ,wnâ}), and as f(vâ˛) is a root of B0â, we know that f(vâ˛)â/rootsB0ââ(fâ˛(x)), so in particular (cfâ(v),cfâ(vâ˛))=(fâ˛(x),f(vâ˛))â/EAâ.
Finally, suppose that v=((x,xË),wË)âT and vâ˛=((y,yËâ),tË)âT. If (cfâ(v),cfâ(vâ˛))=(fâ˛(x),fâ˛(y))âEAâ, then we know that (as sets)
[TABLE]
so tËâwË (as sets) and hence (v,vâ˛)âEBâ by C4. So (cfâ(v),cfâ(vâ˛))=(fâ˛(x),fâ˛(y))â/EAâ. But then, as fⲠis an automorphism, we get that (x,y)â/EAâ and thus (v,vâ˛)â/EBâ by C4.
â
Corollary 12.17**.**
Let v1â,âŚ,vmâ be a sequence of vertices of B such that (viâ,vi+1â)âEBâ for every 1â¤i<m and let f be an automorphism of B1â such that support(v1â)âA1â. Then cfâ(viâ)âA for every 1â¤iâ¤m and (cfâ(viâ),cfâ(vi+1â))âEAâ for every 1â¤i<m. Moreover, such an automorphism always exists.
Proof.
Put S=support(v1â). First note that S is an irreducible substructure of B1â (it is either the closure of a vertex, or a tuple in a relation), so irreducible structure faithfulness of B1â gives the moreover part. By Observation 12.15 we know that support(viâ)âS for every 1â¤iâ¤m. Hence cfâ(viâ) is defined for every 1â¤iâ¤m and an application of Claim 12.16 finishes the proof.
â
Claim 12.18**.**
Let vâB and let f be an automorphism of B1â with f(support(v))âA1â. Then cfâ restricts to a bijection between the out-neighbours of v in B and the out-neighbours of cfâ(v) in A.
Proof.
Pick an arbitrary vâ˛âB such that (v,vâ˛)âEBâ. By Corollary 12.17 we get that (cfâ(v),cfâ(vâ˛))âEAâ and moreover if vâ˛â˛âB is a different out-neighbour of v then by Claim 12.16 we know that cfâ(vâ˛)î =cfâ(vâ˛â˛). So cfâ restricts to an injective function from the out-neighbours of v in B to the out-neighbours of cfâ(v) in A.
To prove that it is surjective, pick an arbitrary yâA such that (cfâ(v),y)âEAâ. We will find yâ˛âB such that (v,yâ˛)âEBâ and cfâ(yâ˛)=y. If vâB1â, we know that cfâ(v)=f(v) and hence cfâ(v) is a root of A. If y is also a root of A, it follows that (v,fâ1(y))âEB1ââ and so (v,fâ1(y))âEBâ by C1, hence we can put yâ˛=fâ1(y). If y is a non-root of A then, by the construction of A1â, there is a tuple yËâ=(y1â,âŚ,ynâ) of vertices of A1â such that yËââRA1â(y,yËâ)â and (f(v),y1â,âŚ,ynâ)âEA1â(y,yËâ)â (without loss of generality the enumeration of yËâ is chosen so that ((y,yËâ),yËâ)âT). Let fⲠbe an automorphism of B0â which induces fLâ. Putting yâ˛â˛=(((fâ˛)â1(y),fâ1(yËâ)),fâ1(yËâ))âT0â and picking yâ˛âT such that yâ˛âźyâ˛â˛, we can see that indeed cfâ(yâ˛)=y and (v,yâ˛)âEBâ (by C2).
So suppose v=((x,(x1â,âŚ,xnâ)),(w1â,âŚ,wnâ))âT. Let fⲠbe an automorphism of B0â which induces fLâ. We know that cfâ(v)=fâ˛(x) and that fâ˛(x) is a non-root of A. If y is a root of A, we get that yârootsAâ(fâ˛(x)), and hence, by the construction of A1â, there is 1â¤iâ¤n such that fâ˛(xiâ)=y. By Lemma 12.13 we know that f(wiâ)=fâ˛(xiâ)=y, hence wiâ=fâ1(y)âB1â. If we put yâ˛=fâ1(y), we get that cfâ(yâ˛)=y and, by C3, (v,yâ˛)âEBâ.
The last case is that y is a non-root of A. Since (fâ˛(x),y)âEAâ, we get that
[TABLE]
Let yËâ be an enumeration of rootsAâ(y). By the construction of A1â we get that yËââRA1â(y,yËâ)â and so fâ1(yËâ)âRB1â(fâ˛â1(y),fâ˛â1(yËâ))â. Put yâ˛=((fâ˛â1(y),fâ˛â1(yËâ)),fâ1(yËâ)) and assume that enumeration of yËâ was chosen so that yâ˛âT. Then cfâ(yâ˛)=y and, by C4, (v,yâ˛)âEBâ, which concludes the proof.
â
Corollary 12.19**.**
B* is a k-orientation and the roots of B are precisely members of B1â.*
Proof.
Pick an arbitrary vâB. Since support(v) is an irreducible substructure of B1â, there is an automorphism f of B1â sending support(v) to A1â. Hence, by Claim 12.18, the out-degree of v in B is the same as the out-degree of cfâ(v) in A. Consequently, the out-degree of v in B is at most k (hence B is a k-orientation) and it is less than k if and only if cfâ(v) is a root of A which happens if and only if cfâ(v)=f(v), i.e. if vâB1â.
â
Corollary 12.20**.**
Given uâB, an automorphism f:B1ââB1â sending support(u) into A1â and a sequence cfâ(u)=v1â,âŚ,vmâ of vertices of A such that (viâ,vi+1â)âEAâ for every 1â¤i<m, there is a sequence u=v1â˛â,âŚ,vmâ˛â of vertices of B such that (viâ˛â,vi+1â˛â)âEBâ for every 1â¤i<m and cfâ(viâ˛â)=viâ for every 1â¤iâ¤m.
Proof.
We will prove this by induction on m. For m=1 the statement is trivial. For the induction step, suppose that the statement is true for mâ1. By the induction hypothesis we have a sequence v1â˛â,âŚ,vmâ1â˛â of vertices of B such that (viâ˛â,vi+1â˛â)âEBâ for every 1â¤i<mâ1 and cfâ(viâ˛â)=viâ for every 1â¤iâ¤mâ1. By Observation 12.15 we know that support(viâ˛â)âsupport(u) for every 1â¤iâ¤mâ1, hence Claim 12.18 for vmâ1â˛â tells us that cfâ is a bijection between the out-neighbours of vmâ1â˛â and cfâ(vmâ1â˛â)=vmâ1â. Therefore in particular, there is some vmâ˛ââB such that cfâ(vmâ˛â)=vmâ and (vmâ1â˛â,vmâ˛â)âEBâ which concludes the proof.
â
Claim 12.21**.**
For every uâB it holds that rootsBâ(u)=support(u).
Proof.
First we prove that rootsBâ(u)âsupport(u). Pick an arbitrary vârootsBâ(u). This means that vâB1â (by Corollary 12.19) and that there is a sequence u=v1â,âŚ,vmâ=v of vertices of B such that (viâ,vi+1â)âEBâ for every 1â¤i<m. By Corollary 12.17 we get an automorphism f of B1â such that cfâ(viâ)âA for every 1â¤iâ¤m and (cfâ(viâ),cfâ(vi+1â))âEAâ for every 1â¤i<m. Consequently, cfâ(v)=f(v)ârootsAâ(cfâ(u)) and so, by the construction of B1â and B, vâsupport(u).
To see that rootsBâ(u)âsupport(u), pick an arbitrary vâsupport(u) and let f be an automorphism of B sending support(u) to A1â. By the definition of B1â and support(u) this means that that f(v)ârootsAâ(cfâ(u)), so in particular cfâ(v)=f(v)âB1â and there is a sequence cfâ(u)=v1â,âŚ,vmâ=cfâ(v) of vertices of A such that (viâ,vi+1â)âEAâ for every 1â¤i<m. Using Corollary 12.20 we get a sequence v1â˛â,âŚ,vmâ˛â of vertices of B such that (viâ˛â,vi+1â˛â)âEBâ for every 1â¤i<m and cfâ(viâ˛â)=viâ for every 1â¤iâ¤m. In particular, v1â˛â=u and vmâ˛â=vâB1â, hence vârootsBâ(u) (by Corollary 12.19).
â
Claim 12.22**.**
Let D1â be a substructure of B1â and f an automorphism
of B1â such that f(D1â) is a substructure of A1â. Put
[TABLE]
Then B induces a substructure D on D and cfâ is an isomorphism from D to a substructure induced by A on ClAâ(f(D1â)).
Proof.
Since D1â is a substructure of B1â, it follows that D1ââD. Let uâD and vâB be vertices such that (u,v)âEBâ. From Observation 12.15 if follows that support(v)âsupport(u)âD1â and so vâD. This means that there are no outgoing edges from D in B and thus D is closed on the function FBâ. By Claim 12.21, D is also closed on all functions FBnâ, hence indeed B induces a substructure D on D.
Next we will prove that cfâ is a bijection DâClAâ(f(D1â)). Clearly, Dom(cfâ)âD. Fix vâD. If vâD1â then cfâ(v)=f(v)âf(D1â). Conversely, all roots in ClAâ(f(D1â)) are from f(D1â), because f(D1â)âA1â.
So suppose v=((x,(x1â,âŚ,xnâ)),(w1â,âŚ,wnâ))âT with {w1â,âŚ,wnâ}âD1â. Let fⲠbe an automorphism of B0â which induces fLâ. By Lemma 12.13 we get that f(wiâ)=fâ˛(xiâ) for every 1â¤iâ¤n and rootsAâ(fâ˛(x))=fâ˛({x1â,âŚ,xnâ}). Since cfâ(v)=fâ˛(x), it follows that rootsAâ(cfâ(v))=f({w1â,âŚ,wnâ})âf(D1â), hence indeed cfâ(v)âClAâ(f(D1â)). Conversely, let v be a non-root vertex of ClAâ(f(D1â)) and let yËâ=rootsAâ(v) be an arbitrary enumeration. We know that yËââf(D1â) and by the construction we also get that yËââRA1â(v,yËâ)â. Hence we can reconstruct vâ˛â˛=(((fâ˛)â1(v),fâ1(yËâ)),fâ1(yËâ))âT0â and vâ˛âT with vâ˛âźvâ˛â˛ such that cfâ(vâ˛)=v. So indeed Range(cfâ)=ClAâ(f(D1â)). From P1 of Claim 12.16 we get that cfâ is a bijection DâClAâ(f(D1â)).
Finally, from P2 of Claim 12.16 it follows that for every u,vâD we have (u,v)âEDâ if and only if (cfâ(u),cfâ(v))âEAâ. Since all functions in B and A are defined from the graph structure, it follows that cfâ indeed is an isomorphism DâClAâ(f(D1â)).
â
Lemma 12.23**.**
Let DâB be irreducible. Then B1â induces an irreducible substructure on DâŠB1â.
Proof.
First note that if D is a substructure of B, then B1â induces a substructure on DâŠB1â. Indeed, by Corollary 12.19 we know that DâŠB1â are precisely the root vertices of D. If there is vâClB1ââ(DâŠB1â)âD then by Corollary 12.19 it is a root vertex of B. This means that there is uâDâŠB1â such that vâClB1ââ(u)=support(u)=rootsBâ(u) (by Claim 12.21). But this implies that vâClBâ(u), hence vâD, a contradiction.
Put D1â=DâŠB1â and let D1â be the substructure induced by B1â on D1â. We know that D1â are precisely the root vertices of D. From the definition of B and Claim 12.21 it follows that
[TABLE]
We will now prove that if D1â is reducible then D is also reducible. Taking the contrapositive then proves the statement of this claim. Suppose that there are substructures D1bâ,D1lâ,D1rââD1â such that D1â is the free amalgamation of D1lâ and D1râ over D1bâ (in particular, D1bââD1lâ and D1bââD1râ). Put
[TABLE]
and let Dl, Dr and Db be the substructures of B induced on Dl, Dr and Db respectively. Clearly, Dl,Dr,DbâD, DbâDl and DbâDr. We will prove that D is the free amalgamation of Dl and Dr over Db.
Since both Dl and Dr are substructures of B, they are in particular closed on functions F and Fn. If there were vertices uâDl, vâDr such that (u,v)âEDâ, then vâFDâ(u), which is a contradiction. Hence there are no edges spanning vertices of both Dl and Dr at the same time.
If vâDb then, as Db is a substructure, it follows that rootsBâ(v)âDb, similarly for Dl and Dr. It follows that whenever xË contains vertices from both DlâDb and DrâDb then FDâŁxËâŁâ(xË)=â . Consequently, D is the free amalgamation of Dl and Dr over Db.
â
Corollary 12.24**.**
BâDdkâ.
Proof.
Let D be an irreducible substructure of B. Since Ddkâ is a free amalgamation class, it suffices to prove that DâDdkâ. By Lemma 12.23 we know that B1â induces an irreducible substructure on DâŠB1â and by Claim 12.21 this substructure is non-empty. Now we can use irreducible structure faithfulness of B1â and Claim 12.22 to get an embedding cfâ:DâA. As AâDdkâ, we get that DâDdkâ, hence indeed BâDdkâ.
â
Lemma 12.25**.**
Let f=(fLâ,fB1ââ) be an automorphism of B1â and let fⲠbe an automorphism of B0â which induces fLâ. Let Κ0â be the map on T0â given by Κ0â((x,xË),wË)=((fâ˛(x),fâ˛(xË)),fB1ââ(wË)) and let Κ bet the map induced by Κ0â on T (it is easy to see that âź is a congruence with respect to Κ0â). Define θ=fB1âââŞÎš. Then θ is an automorphism of B.
Proof.
Since fⲠis an automorphism of B0â, it follows that Κ0â is a bijection T0ââT0â. Consequently, Κ is a bijection TâT. As fB1ââ is a bijection B1ââB1â and B is the disjoint union of B1â and T, it follows that θ is a bijection BâB. By Corollary 12.24 we know that the functions FBâ and FBnâ are defined in B from the graph structure. To see that θ is an automorphism of B, it remains to prove that for every u,vâB we have (u,v)âEBâ if and only if (θ(u),θ(v))âEBâ. We will distinguish four cases.
(1)
First suppose that u,vâB1â. By C1 we know that (u,v)âEBâ if and only if (u,v)âEB1ââ. Since f is an automorphism of B1â, we know that (u,v)âEB1ââ if and only if (θ(u),θ(v))=(fB1ââ(u),fB1ââ(v))âEB1ââ, so indeed (u,v)âEBâ if and only if (θ(u),θ(v))âEBâ.
2. (2)
If uâB1â and v=((x,xË),(w1â,âŚ,wnâ))âT, we know by C2 that (u,v)âEBâ if and only if (u,w1â,âŚ,wnâ)âEB1â(x,xË)â. Again, since f is an automorphism of B1â, we get that
[TABLE]
if and only if
[TABLE]
As θ(u)=fB1ââ(u) and θ(v)=((fâ˛(x),fâ˛(xË)),fB1ââ((w1â,âŚ,wnâ))), we get from C2 that this happens if and only if (θ(u),θ(v))âEBâ.
3. (3)
If u=((x,(x1â,âŚ,xnâ)),(w1â,âŚ,wnâ))âT and vâB1â, we know by C3 that (u,v)âEBâ if and only if there is 1â¤iâ¤n such that v=wiâ and (x,xiâ)âEB0ââ. This is equivalent to fB1ââ(v)=fB1ââ(wiâ) and (fâ˛(x),fâ˛(xiâ))âEB0ââ which is in turn once again equivalent to (θ(u),θ(v))âEBâ.
4. (4)
Finally, if u=((x,xË),wË)âT, v=((y,yËâ),tË)âT then (by C4) (u,v)âEBâ if and only if tËâwË (as sets) and (x,y)âEB0ââ. This is equivalent to fB1ââ(tË)âfB1ââ(wË) (as sets) and (fâ˛(x),fâ˛(y))âEB0ââ, or in other words, (θ(u),θ(v))âEBâ.
â
Note that ClAâ(A1â)=A. Therefore, Claim 12.22 for D1â=A1â and the identity automorphism gives us an isomorphism cidâ. Put Ď=cidâ1â:AâB and denote Aâ˛=Ď(A). This will be the copy of A in B whose automorphisms we are going to extend. Note that for every vâA1â we have that Ď(v)=v and for every vâAâA1â we have that Ď(Ď(v))=v. It follows that A1ââAⲠand
[TABLE]
Proposition 12.26**.**
B* is an irreducible structure faithful coherent EPPA-witness for Aâ˛.*
Proof.
First we refine the proof of Corollary 12.24 to prove that B is irreducible structure faithful. Let D be an irreducible substructure of B. By Lemma 12.23 we know that B1â induces an irreducible substructure D1â on DâŠB1â. Now we can use irreducible structure faithfulness of B1â to get an automorphism f=(fLâ,fB1ââ) of B1â such that f(D1â)âA1â. Let fⲠbe an automorphism of B0â inducing fLâ.
Use Lemma 12.25 to construct an automorphism θ of B. Clearly, θ(D1â)âA1ââAâ˛. Hence it remains to prove that θ(DâD1â)âAⲠ(where DâD1â are precisely the non-root vertices of D). Pick an arbitrary vâDâD1â. We know that support(v)âD1â. By definition of θ we also know that support(θ(v))=fB1ââ(support(v))âA1â, and so θ(v)âAⲠand thus indeed θ(D)âAâ˛.
To see that B is an EPPA-witness for Aâ˛, let Ď be a partial automorphism
of Aâ˛. Consider Ď0â=Ďâ1âĎâĎ as a partial automorphism of A0â (note that Ď0â(v)=Ď(v) for every vâA1â) and extend
it to an automorphism Ď0ââ of B0â. Let ĎLââÎL+â be the permutation of L+ given by Ď0ââ and put ĎA1ââ=Ď0ââžA1ââ=ĎâžA1ââ. Note that ĎA1ââ is a bijection A1ââA1â, because Ď0â preserves whether a vertex is a root or not. Put Ď=(ĎLâ,ĎA1ââ). It is easy to verify that Ď is a partial automorphism of A1â: It preserves the Lsâ relations and functions, because Ď0â does. Suppose that wËâDom(Ď) and wËâRA1â(x,wË)â, then this means that, in A, there is a vertex x such that rootsAâ(x)=wË. This implies that xâFAnâ(wË) and hence xâDom(Ď). Consequently, ĎLâ(R(x,wË))=R(Ď(x),Ď(wË)) and so indeed ĎA1ââ(wË)âĎLâ(R(x,wË))A1ââ.
Let Ďâ:B1ââB1â be the extension of Ď and use Lemma 12.25 for Ď0ââ (as fâ˛) and Ďâ (as f) to get an automorphism Ďâ of B (called θ in the statement of Lemma 12.25). By the construction, we know that ĎâžA1âââĎâ. In order to prove that Ďâ extends Ď it thus remains to argue that Ďâ(v)=Ď(v) for every vâDom(Ď)âŠT.
Pick an arbitrary v=((x,xË),wË)âDom(Ď)âŠT. Since vâDom(Ď), we know that vâAâ˛, hence wË=support(v)âA1â, and consequently xË=wË (as tuples). By the construction we know that (up to applying the same permutation on xË and wË to pick the correct member of the âź-equivalence class),
[TABLE]
which is equal to
[TABLE]
In particular, Ď(Ďâ(v))=Ď0â(x). By the construction we know that v=Ď(x) and consequently Ď(v)=x. By the definition of Ď0â we know that ĎâĎ0â=ĎâĎ, so in particular Ď0â(x)=Ď(Ď(Ď0â(x)))=Ď(Ď(Ď(x))). So indeed, Ď(Ďâ(v))=Ď(Ď(v)).
We know that rootsBâ(v)=wË (as sets), hence wËâDom(Ď). Since Ď is a partial automorphism, Ď(rootsBâ(v))=rootsBâ(Ď(v)). But rootsBâ(Ď(v))=support(Ď(v)) (by Claim 12.21) and we know that support(Ď(v))=Ď(wË). It follows that Ďâ(v)=Ď(v) and hence Ďâ indeed extends Ď, which concludes the argument.
Since both Ď0ââ and Ďâ can be chosen coherently, it follows that Ďâ is also coherent and hence B is a coherent EPPA-witness for Aâ˛.
â
In this section we constructed, for an arbitrary AâDdkâ a structure B. By Corollary 12.24, BâDdkâ and by Proposition 12.26B is an irreducible structure faithful coherent EPPA-witness for an isomorphic copy of A. Hence indeed Ddkâ has irreducible structure faithful coherent EPPA.
â
13. Conclusion
Comparing known EPPA classes and known Ramsey classes one can easily identify two main weaknesses of the state-of-the-art EPPA constructions.
(1)
The need for automorphism-preserving completion procedure is not necessary in the Ramsey context. The example of two-graphs [EHKN20] shows that there are classes with EPPA which do not admit automorphism-preserving completions (see [Kon20] for a more systematic treatment of certain classes of this kind). Understanding the situation better might lead to solutions of some of the long standing open problems in this area including the question whether the class of all finite tournaments has EPPA (see [HPSW18], [HJKS19a] and [HJKS19b] for recent progress on this problem).
2. (2)
There is a lack of general EPPA constructions for classes with non-unary function symbols. Again, there are known classes with non-unary function symbols that have EPPA (e.g. finite groups or classes from Section 12.4).
It is however not known whether, for example, the class of all finite partial Steiner systems or the class of all finite equivalences on unordered pairs with two equivalence classes have EPPA.
On the other hand, in this paper we consider ÎLâ-structures which, in the finite language case, reduce to the usual model-theoretic
structures in the Ramsey context, because the action of ÎLâ must be trivial in order for the class to be rigid. This has some additional applications including:
(1)
Elimination of imaginaries for classes having definable equivalence classes (see [Iva15, HN19]),
2. (2)
representation of special non-unary functions which map vertices of one type to vertices of different type (see Section 12.4 or Theorem 12.12), or
3. (3)
representation of antipodal structures and switching classes ([EHKN20, Kon20]).
We refer the reader to [HN19, ABWH*+*17c, Kon18, Kon19, HKN18] for various examples of (automorphism-preserving) locally finite subclasses.
One of the main weaknesses of Theorems 1.1, 1.5 and 1.6 is that they only allow unary functions. It would be interesting to know whether they hold without this restriction.
Question 13.1**.**
Do Theorems 1.1, 1.5 and 1.6 hold for languages with non-unary functions?
A positive answer to Question 13.1 would have some applications which are interesting on their own and have been asked before. We present two of them as separate questions.
Question 13.2**.**
Let L be the language consisting of a single binary function and let C be the class of all finite L-structures (say, such that the image of every pair of vertices has cardinality at most one). Does C have EPPA?
Question 13.3**.**
Does the class of all finite partial Steiner triple systems have EPPA, where one only wants to extend partial automorphism between closed substructures? (A sub-hypergraph H of a Steiner triple system S is closed if whenever {x,y,z} is a triple of S and x,yâH, then zâH.)
Acknowledgment
We would like to thank Andy Zucker, the anonymous referee, and David M. Evans for their helpful comments which significantly improved the quality of this paper.
Bibliography51
The reference list from the paper itself. Each links out to its DOI / PubMed record.
1[ABWH + 17a] Andres Aranda, David Bradley-Williams, Eng Keat Hng, Jan HubiÄka, Miltiadis Karamanlis, Michael Kompatscher, MatÄj KoneÄnĂ˝, and Micheal Pawliuk. Completing graphs to metric spaces. Electronic Notes in Discrete Mathematics , 61:53â60, 2017. The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMBâ17).
2[ABWH + 17b] Andres Aranda, David Bradley-Williams, Eng Keat Hng, Jan HubiÄka, Miltiadis Karamanlis, Michael Kompatscher, MatÄj KoneÄnĂ˝, and Micheal Pawliuk. Completing graphs to metric spaces. ar Xiv:1706.00295, accepted to Contributions to Discrete Mathematics, 2017.
3[ABWH + 17c] Andres Aranda, David Bradley-Williams, Jan HubiÄka, Miltiadis Karamanlis, Michael Kompatscher, MatÄj KoneÄnĂ˝, and Micheal Pawliuk. Ramsey expansions of metrically homogeneous graphs. Submitted, ar Xiv:1707.02612, 2017.
4[AN 19] H. AndrĂŠka and I. NĂŠmeti. Extending partial isomorphisms, a small construction. private communication, 2019.
5[BPT 11] Manuel Bodirsky, Michael Pinsker, and Todor Tsankov. Decidability of definability. In Proceedings of the 2011 IEEE 26th Annual Symposium on Logic in Computer Science , LICS â11, pages 321â328, Washington, DC, USA, 2011. IEEE Computer Society.
6[BWC 20] David Bradley-Williams and Peter J. Cameron. Notes on eppa witnesses. In preparation, 2020.
7[CH 03] Gregory Cherlin and Ehud Hrushovski. Finite Structures with Few Types . Princeton University Press, 2003.
8[Che 17] Gregory Cherlin. Homogeneous ordered graphs and metrically homogeneous graphs. Submitted, December 2017.