key: cord-0485922-7wyj18qq authors: Chandgotia, Nishant; Unger, Spencer title: Borel factors and embeddings of systems in subshifts date: 2022-03-17 journal: nan DOI: nan sha: 443e7ec48387bba2b7203e3da106bb4ab247a9a7 doc_id: 485922 cord_uid: 7wyj18qq In this paper we study the combinatorics of free Borel actions of the group $mathbb Z^d$ on Polish spaces. Building upon recent work by Chandgotia and Meyerovitch, we introduce property $F$ on $mathbb Z^d$-shift spaces $X$ under which there is an equivariant map from any free Borel action to the free part of $X$. Under further entropic assumptions, we prove that any subshift $Y$ (modulo the periodic points) can be Borel embedded into $X$. Several examples satisfy property $F$ including, but not limited to, the space of proper $3$-colourings, tilings by rectangles (under a natural arithmetic condition), proper $2d$-edge colourings of $mathbb Z^d$ and the space of bi-infinite Hamiltonian paths. This answers questions raised by Seward, and Gao-Jackson, and recovers a result by Weilacher and some results announced by Gao-Jackson-Krohne-Seward. In this paper we focus on the following question: Under what hypothesis can subshifts model all free Z dynamical systems? While there are numerous contexts in which this question can be placed, we will work with free Borel Z systems on Polish spaces. Our inspiration comes from two recent groundbreaking results by Hochman: In his first paper [Hoc13] , Hochman showed that barring a universally null set, that is, sets which have measure zero for all invariant probability measures, any Borel Z system (with small enough entropy) can be equivariantly embedded into mixing shifts of finite type. It remained open to extend the embedding to "dark matter", a term coined by Mike Boyle, referring to part of the space which does not have any invariant probability measures. For many interesting examples "dark matter" can constitute the entire space. This was addressed in a later paper by Hochman [Hoc19] where he showed that that such an embedding exists even without leaving out a universally null set. Recently, in a private communication, Seward and Hochman mentioned that they can construct an embedding of this "dark matter" into the full shift for countable group actions. Fix ≥ 2. Our study begins with a recent paper [CM21] where the authors defined a property called flexibility: If a dynamical system is flexible, the authors proved that free Z systems can be embedded in it barring a universally null set under natural entropic restrictions. Numerous dynamical systems like the space of proper 3-colourings and domino tilings (and many non symbolic examples) possess this property. In this paper we consider a similar condition on subshifts called property (Definition 7.1) which helps us prove similar results in the context of Borel dynamics. For systems with property we showed the following results. (1) All free Borel Z systems admit equivariant Borel maps to the free part of a system with property . (Theorem 7.2) (2) All subshifts (under suitable restrictions on the entropy) can be Borel embedded in a subshift with property . (Theorem 9.1) In this paper, we prove that many subshifts have property : (1) Hom-shifts: The space of graph homomorphisms from Z to a fixed undirected graph with an odd cycle. This covers many interesting examples like the space of proper 3-colourings. (Section 10). Gao and Jackson raised the following question in [GJ15] : What is the Borel chromatic number of the free part of the full shift? Recently it has been announced in [GJKS18] that Borel chromatic number is less than equal to 3. Our results confirm this announcement. In contrast it has been shown in [GJKS18] that the continuous chromatic number of the free part of the full shift is 4. (2) Rectangular tiling shifts: Tilings of Z by boxes which satisfy a natural necessary and sufficient coprimality condition. This covers examples like that of domino tilings (also known as perfect matchings). (Section 11) It was a question by Gao and Jackson in [GJ15] and through personal communication by Brandon Seward whether this condition was sufficient. The resolution of this question in the case of domino tilings for Z 2 actions was mentioned to us over personal communication by Brandon Seward and is going to be part of their upcoming publication [GJKS] . In contrast it has been shown that the free part of the full shift does not have any continuous perfect matching [GJKS18] . (3) The space of directed bi-infinite Hamiltonian paths on Z . (Section 12) This is an important example which does not precisely fall in the category of subshifts (since it is not compact). Yet our techniques extend to this with small modifications. It recovers, partially, a weak version of Dye's theorem [Dye59] which states that any free Z action is orbit equivalent to a Z-action (barring a null set of an invariant ergodic probability measure). Our result proves the existence of such an orbit equivalence where a null set need not be removed. In addition the orbit equivalence maps the generators of the Z action to generators of the Z action. This result for Z 2 actions was also mentioned to us by Brandon Seward over personal communication and that it will be part of their upcoming publication [GJKS] . A similar orbit equivalence was obtained in [DOWZ21] for Z 2 dynamical systems barring a set of measure zero for a given free ergodic probability measure. (4) The space of colourings of edges of Z for ≥ 2 by colours for ≥ 2 . (Section 13) It was asked in [GJKS18] to determine the Borel edge-chromatic number of Z 2 actions. Our theorem shows that the answer is 2 for Z actions. In contrast [GJKS18] shows that the continuous chromatic number of the free part of the full shift on Z 2 is 5. This recovers results by Weilacher in [Wei21, Theorem 2]. Our result on edge colorings is also a consequence of results in [BHT21] . 1.1. Selected literature and general context. To put our results in context, we describe several closely related areas. The 'original' context for such questions comes from Krieger's generator theorem [Kri75] . It states that under natural assumptions on the entropy any free ergodic probability preserving Z system ( , , ) can be embedded into mixing shifts of finite type. In other words mixing shifts of finite type are 'universal'. Naturally the question arose, which other systems are 'universal' ? It has been found time and again that at the heart of the matter are certain topological mixing properties: Quas and Soo proved universality under 'specification' and some technical conditions [QS16] . These technical conditions were loosened by Weiss and were finally gotten rid of by Burguet [Bur20] . 'Universality' under similar mixing conditions can also be found for Z symbolic systems where > 2, see Şahin and Robinson [RŞ01] and Pavlov [Pav14] . In [CM21] , Chandgotia and Meyerovitch considered very general conditions which imply "almost Borel universality" for various systems which don't satisfy these mixing conditions but still have sufficiently many orbit segments which can be 'glued' to one another. Further the embeddings there are modulo a universally null set, a set with measure zero with respect to all invariant probability measures, as opposed to modulo a set of measure zero with respect to a specific one. One is immediately led to the question: When can we embed a space which has no invariant probability measure [Wei89] ? In [Wei89] , Weiss had shown that such spaces have countable generators (later generalised to countable groups in [JKL02] ). Tserunyan showed that all such countable groups actions have a 32 set generator under the assumption of local compactness [Tse15] and for Z actions Hochman showed that these spaces can be embedded into any mixing shift of finite type [Hoc19] . This question is rather delicate and sets the context for our paper: In our results we do not remove sets which admit no invariant probability measures. While we do not prove the full universality of these systems we make considerable progress towards it. An important inspiration for our work also comes from the systematic study of Borel graphs begun by Kechris, Solecki and Todorčević [KST99] . Identify Z with its Cayley graph with standard generators. A free Z action on a Polish space induces a natural graph structure on which can be thought as a measurable collection of copies of Z . To understand what this graph is like, we can now try to understand its Borel chromatic number, how can it be tiled and other similar properties. We refer the reader to some comprehensive surveys by Kechris and Kechris-Marks for more references and details [Kec, KM] . Kechris, Solecki and Todorčević [KST99, Sections 4.8, 4 .9] proved that the Borel chromatic number and the Borel edge chromatic number of the Z full shift is 2 + 1 and 4 − 1 respectively and asked what is the Borel chromatic number is if periodic points were removed. This was taken up by Gao and Jackson in [GJ15] where they proved many results about the free part of the full shift on Z 2 in both the Borel and the continuous context. Modulo the periodic points, they proved that the continuous chromatic number is less than and equal to 4 and that it can be continuously tiled by rectangles of the type × , × ( + 1), ( + 1) × and ( + 1) × ( + 1). Moreover they showed that these results are sharp in the sense that if one were to remove one of the rectangles or reduce the number of colours, then such continuous maps no longer exist. Naturally we are lead to the question of the existence of a Borel colouring or tiling. In [GJKS18] , Gao, Jackson, Krohne and Seward studied these problems very deeply in the continuous context and announced that the free part of the full shift has Borel chromatic number 3, can be perfectly matched and asked about the edge chromatic number. Modulo a null set for a given ergodic measure some of these questions were answered by Şahin [Şah09] , Prikhod'ko [Pri99] , by Sahiņ and Robinson [Rc04] and by Chandgotia and Meyerovitch [CM21] . Our results characterise when a given free Borel action of Z can be Borel tiled by a given set of rectangles, prove that the Borel edge chromatic number is 2 and recovers that the Borel chromatic number is at most 3. The result regarding the edge chromatic number can be found in [Wei21, Theorem 2] and is also a consequence of [BHT21] . Proof sketches for some of these results can be found in [GR21] . The motivation for Gao and Jackson came from a well-known question by Weiss [Wei84] about hyperfiniteness for actions of countable amenable groups. A Borel action of a countable group on a Polish space gives rise to the orbit equivalence relation which is a countable Borel equivalence relation. Such a relation is called hyperfinite if it is an increasing union of finite Borel equivalence relations. By versions of Rokhlin's lemma [Roh48, Kak43, KW72, OW87] , it can be shown that the equivalence relations arising from the action of amenable groups on Polish spaces are hyperfinite modulo a universally null set. Weiss asked whether removing the universally null set is necessary. This was answered positively for Z actions by Weiss, for finitely-generated groups of polynomial growth by Jackson, Kechris, and Louveau [JKL02] , for abelian groups by Gao and Jackson [GJ15] and for locally Nilpotent groups by Schneider and Seward [SS13] . Recently this has been generalised to a large class of groups by Conley, Jackson, Marks, Seward and Tucker-Drob [CJM + 20] . Given that an action is hyperfinite, one can ask whether the witness to hyperfiniteness, that is, the finite Borel equivalence relations approximating them, are 'nice' and whether they 'respect' the geometry of the acting group. This can be seen as a generalisation of a marker lemma in the Borel context and can be found in [GJKS15] (look at [MU17, Theorem 5.5] for a proof). The questions about the Borel chromatic numbers of actions and Borel tilings makes use of these 'nice' witnesses to hyperfiniteness. We remark that the continuous version of our results are especially subtle and lot remains to be explored. For instance we know that modulo the periodic points the 2-full shift and the proper 3 colourings are Borel isomorphic to one another [Hoc19, Hoc13] but these maps can't be made continuous [Sal21] . Continuous embeddings for Z 2 subshifts is known under strong mixing conditions [Lig03, Lig04] and there are indications that it would fail otherwise [CM21, Section 12] . Results by Gao and Jackson [GJ15] and Gao-Jackson-Krohne-Seward [GJKS18] further illustrate the discrepancy between the Borel and the continuous results. Finally, in a recent paper Anton Bernshteyn in [Ber20] has pointed out interesting relations between distributed computing, local algorithms and questions in descriptive combinatorics. See also [BCG + 1.2. Organisation of the paper and a few words about the proofs. The paper is organized as follows. In Section 2 we state the main results of the paper. In Section 3, we give some definitions that will be used throughout. In Section 4, we give a proof of a theorem of Gao, Jackson, Krohne and Seward using the Baire category theorem and use this to show that typical constructions done in the context of invariant probability measures (some consequences of the Rokhlin's lemma) do not work in the Borel context. In Section 5, we modify a different theorem of Gao, Jackson, Krohne and Seward to suit our combinatorial constructions. This can be thought of as a weak version of Rokhlin's lemma where we prove some additional geometrical properties of the towers/hyperfiniteness witness. In Section 6, we prove several combinatorial results about tilings of the hyperfiniteness witness from Section 5 by nice rectangular boxes. In Section 7, we introduce an extension property (Property F) for patterns in Z as well as a version of this property with markers and apply them to produce Borel maps. In particular, we show that if a system ( , ) has property , then there is an equivariant Borel map from any free Borel Z system to ( , ). In Section 8, we introduce a marker lemma for subshifts with property . This is then used to show in Section 9 that if a shift space ( , ) satisfies the version of Property with markers, then every subshift with low enough entropy admits a Borel embedding into ( , ). In the remaining sections we prove that the spaces from Theorem 2.1 satisfy Property and give entropy bounds for the spaces in Theorem 2.2: Hom-shifts in Section 10, rectangular tiling shifts in Section 11, directed bi-infinite Hamiltonian paths in Section 12 and proper edge colourings in Section 13. This project began while the first author was attending a presentation by the second author in the descriptive set theory seminar at the Hebrew University of Jerusalem, where both the authors were postdocs. The vibrant academic culture at the Hebrew University was a great inspiration to us. While a lot of this work was disrupted by the COVID-19 pandemic, the first author would like to extend special gratitude towards Shahar Mozes, Benjamin Weiss, Zemer Kosloff and the Hebrew University of Jerusalem at large who ensured financial stability and mental peace in difficult circumstances. In addition, we were greatly encouraged and influenced by numerous questions and discussions with Benjamin Weiss, Tom Meyerovitch, Brandon Seward, Anton Bernshteyn, Andrew Marks, Omer Ben-Naria, Mike Boyle and Zemer Kosloff. The first author was funded by ISF grants 1702/17, 1570/17 and ISF-Moked grants 2095/15 and 2919/19. The second author was partially supported by NSF grant DMS-1700425 and an NSERC Discovery Grant. is a standard Borel space and is an action of Z by Borel automorphisms. Given a Borel Z system ( , ) we let Free( ) = { ∈ : for all ∈ Z , ( ) ̸ = }. The action is called free if Free( ) = . If is compact and is a Z action on by homeomorphisms, then the pair ( , ) is called a Z topological dynamical system. An important action that we will focus on will be the full-shift ( Z , ) where is a finite set, is the Z action on Z given by ( ( )) = + . We give the set the discrete topology making Z compact under the product topology and the action is by homeomorphisms. In this paper we will work with subsets ⊆ Z which are invariant under the shift-action; we will call them symbolic systems. If in addition they are compact as well they will be called subshifts. Given a set ⊆ Z we denote the language of on the set by ℒ( , ) = { | : ∈ } and the language of by ℒ( ) = ∪ ℒ( , ) where the union is over all finite sets . A pattern is an element of ℒ( Z ) while a configuration is an element of Z . Elements of Z will typically be written as , , , , . . . where for example = ( 1 , 2 , . . . , ). The standard generators of Z will be denoted by , that is, = 1 if = and 0 otherwise. The other unit vectors are denoted by ; < ≤ 2 where = − − . Examples. Throughout the paper we will work with the undirected Cayley graph of Z given by the standard generators, that is, the graph with vertex set Z and edges of the form { , ± } for ≤ . 2.2.1. Hom-shifts. Let be a finite undirected graph without multiple edges. We denote by Hom(Z , ) the collection of graph homomorphisms (adjacency preserving maps) from Z to . These are called hom-shifts. An important special case is proper -colorings of Z , which can be written as Hom(Z , ) where is the complete graph. 2.2.2. Rectangular tiling shifts. A box in Z is a product of intervals. Given a finite set of boxes , a tiling of a set ⊆ Z by is a function from to such that for all all ∈ , −1 ( ) is a disjoint union of translates of . The space of tilings ( ) is the set of tilings of Z by . We can assume that consists of boxes of the form ∏︀ ≤ [0, ). Our results will pertain to the so-called coprime rectangular shifts ( ) where for all 1 ≤ ≤ , gcd( ; ∈ ) = 1. An important rectangular shift is that domino tilings, ( ) where = {{0, } | ≤ } where we recall that is the ℎ standard generator of Z . Domino tilings are sometimes also referred to as perfect matchings and dimer tilings. Let be the set of all functions : Z → { 1 , . . . , 2 } such that the graph on Z with directed edges of the form ( , + ) is a directed bi-infinite path. 2.2.4. Proper edge colourings in Z : For ∈ N let be the set of injective functions from { 1 , . . . , 2 } to the set of colours {1, 2, . . . , }. We define the set of proper -edge colourings of Z as ( ) = { ∈ ( ) Z : if is a unit vector and ∈ Z then ( ) = + (− )}. Equivalently we can think of them as colouring on edges such that edges sharing a vertex are mapped to distinct colours. It is obvious that ( ) is non-empty if and only if ≥ 2 . 2.3. Main results. Our main results are the following: Theorem 2.1. Let ( , ) be any of the following systems. (1) Hom(Z , ) where is a graph which is not bipartite. For a Z topological dynamical system ( , ) let ℎ ( , ) denote the topological entropy of ( , ). Theorem 2.2. Let ( , ) be any of the following systems. (1) Hom(Z , ) where is a graph which is not bipartite. Remark 1. We note that for = 1, the space of proper -edge colourings is equivalent to the space of proper -vertex colourings (which is covered by the space of graph homomorphisms). Thus the same results for proper -edge colourings holds for ≥ 3 when = 1. In this section, we give some definitions which connect the dynamics of our systems to the finite combinatorics of their Cayley graphs. Let ( , ) be a system. We denote by its natural Cayley graph structure, meaning, that the vertex set of is the space and there is an edge between and in if there is a standard generator of Z such that ( ) = . We note that the connected components of are copies of the usual Cayley graph of Z given by the standard generators. On the other hand, we note that Borel subsets of often meet every connected component, so (for example) to define a Borel function on we must work simultaneously in every connected component. For a Borel set , we will refer to the connected components of the induced subgraph of with vertex set as the connected components of . Suppose that is a property of finite subsets of Z which is invariant under translation. Let ⊆ be contained in the orbit of a point ∈ . We will say that has property For a Borel set ⊆ , ∈ N and ⊆ Z , we write where the latter is the -external boundary of . We write for 1 . For ≤ , we define to be the inner boundary in the direction , that is, the set of ∈ such that either ∈ . All these sets are Borel. We will use similar definitions for ⊆ Z . Definition 3.1. A set ⊆ Z is a called a -grid union if there exists ⊆ Z and ∈ Z such that = + + [1, ] and both and Z ∖ are connected. We call the offset of . In this section, we give simple topological proofs of some theorems by Gao, Jackson, Krohne and Seward from [GJKS15] and use them to explain why the techniques of ergodic theory are not enough for the Borel context of our paper. We recall Rokhlin's lemma which is the cornerstone of many constructions in ergodic theory. Theorem 4.1 (Rokhlin's lemma [Roh48, Kak43] for Z actions and [KW72] for Z actions). Consider a free measure preserving action of Z on a probability space ( , ). For all ∈ N and > 0, there exists a Borel set ⊆ such that ( ) > 1 − and the connected components of are boxes with side length . Often in ergodic theory (for instance in many proofs of the Krieger's generator theorem [Kri75] ), given a topological space , a function : → is constructed in the following fashion. A sequence of constants are chosen such that → 0 and sets are chosen by Rokhlin's Lemma (the connected components of are boxes with side length large enough). Now for each , a function : → is constructed and the hope is that the sequence converges to a function . To achieve this, +1 is constructed using by modifying it on a small set and giving an appropriate definition to +1 on +1 ∖ . The connected components of contain boxes of larger and larger sizes but they satisfy a summability condition: This allows an application of the Borel-Cantelli lemma and ensures that -almost every ∈ lies in at most finitely many . In particular, there are major modifications only finitely many times in the definition of the value of function at -almost every point in . This implies the required convergence. Gao, Jackson, Krohne and Seward [GJKS15] have shown that under very mild conditions this is not possible in the Borel setting. We will give a simple proof for this result below. Let be an action of a countable group Γ on a compact space by homeomorphisms. We say that ( , ) is minimal if each orbit of the action is dense. Equivalently, for all open sets there is a finite set ⊆ Γ such that ( ) = . A complete section is a measurable set which meets all the orbits of the action. belongs to for infinitely many } is comeager. Remark 2. We make a few remarks: (1) Gao, Jackson, Krohne and Seward remark that such points can be found in the free part of the full shift (Free({0, 1} Γ ), ). This uses an addional theorem by Gao, Jackson and Seward [GJS09] that there are minimal subsystems contained in (Free({0, 1} Γ , ). We refer the reader to [ABT18] for an elementary proof of this fact using the Lovász local lemma. (2) In [Pri99] Prikhod´ko and in [Şah09] Şahin proved that if ⊆ Z ; ∈ N is an infinite sequence of rectangles which are coprime then for any ergodic measure preserving Z system ( , , ) there is a Borel partition of a set of measure one: ; ∈ N such that the shape of the connected components of the set are . In fact given a positive probability vector ; ∈ N they could ensure that the sets ( ) = as well. By ergodicity we have that the sets are complete sections for a set of measure 1. This is no longer true in the Borel setting due to Theorem 4.2 if the minimum side length of is unbounded. This shows that results in ergodic theory are not necessarily true in the Borel context. Also have a look at the discussion in Section 14.1. A key fact that we will use in the proof is that if ⊆ is a complete section of a comeager set, then it cannot be meager. If it were meager it would contradict Baire's theorem since it is a section of the set = ⋃︀ ∈Γ ( ) and the set ∖ is meager. In addition, we will use a couple of standard facts: Borel sets have the Baire property, that is, there is an open set such that its symmetric difference with is meager. Secondly if is a set with the Baire property and for all open sets , ∩ is not meager then is comeager. belongs to for infinitely many }. Given a finite set ⊆ Γ we write By assumption, we have that the set , is a complete section of a comeager set for large enough and hence cannot be meager. Let ⊆ be an open set. Choose a finite set ⊆ Γ such that ⋃︀ ∈ ( ) = . This implies that ) is comeager. This completes the proof. As an application, we have another theorem of Gao, Jackson, Krohne and Seward [GJKS15] which shows that if we have an action of Z where the action of each generator is minimal with a sequence of Borel complete sections whose connected components are rectangles with side lengths going to infinity, then there is a comeager set of points which lie on the boundary of infinitely many . In the setting of ergodic theory, this issue does not arise provided we restrict our attention to a conull set (many such statements can be found in [CM21, Section 7]). (1) is a complete section. (2) The connected components of are finite rectangles such that if is the minimum side length of a rectangle in , then lim →∞ = ∞. Then the set { ∈ : belongs to for infinitely many } is comeager. Remark 3. As with Theorem 4.2, this corollary was also proved for the free part of the full shift. This follows immediately from our result because there are many subshifts satisfying the hypothesis of this theorem which are contained in the free part of the full shift. Here is an easy way to construct such an example. Take irrational numbers 1 , 2 , . . . , ∈ R/Z which are rationally independent and consider the Z action on R/Z given by and equivariant map : The closure of (R/Z) gives an example of such a shift space. It is a simple exercise to check that the shift space is minimal for the Z × {0} −1 subaction. The orbit of each connected component of intersects ′ so we know that the sets ′ are complete sections for the entire Z action. Let Since the sets are Borel (hence have the Baire property), there exist open sets such that ∆ is a meager set. In addition since they are complete sections for the entire action, the sets are not meager and hence ∖ ( ∆ ) is also not meager. Because of the minimality of the subaction we have that is meager. Thus the sets are complete sections for the subaction for the comeager set This completes the proof. In this section, we formulate a witness to hyperfiniteness which reduces the constructions of the maps from our main theorems to finite combinatorics. Definition 5.1. A finite subset of Z is -almost cube if there are cubes and ′ of side lengths and respectively with the same center such that ⊆ ⊆ ′ . In this case, we say that has side length . We reformulate Theorem 5.5 of [MU17] (announced in Gao, Jackson, Krohne and Seward [GJKS15] ). Theorem 5.2. Let ( , ) be a free Borel Z system with > 1 and let 0 < < 1. If 1 < 1 < 2 . . . is a sequence of natural numbers satisfying 12 ∑︀ < < , then there is a sequence of Borel sets 1 , 2 , . . . such that (1) the connected components of are coconnected (1 + )-almost cubes of side length (2) for all ∈ , there is ∈ N such that ∈ and (3) if , are connected components of and respectively with ≤ , then ( , For all ∈ and for all in Z , there is such that , ( ) are in the same connected component of . Indeed if is a connected component of for some then by conditions (2) and (3), ∪ ⊆ for some > . By repeating this argument times, we get that there exists ′ such that The proof is a routine modification of the proof in [MU17] . We sketch it noting that our sets are essentially ⋃︀ from the proof there. Proof. It is immediate that the connected components of are (1 + )-almost cubes of side length with pairwise distance at least 4 . Next suppose that 0 < ≤ and consider a connected component of and of − . Then by our construction either [MU17] we make the connected components of the coconnected by adding the finite connected components of ∖ to . It is straightforward to see that this retains the essential properties of the . We make use of the following consequence of Theorem 5.2. Corollary 5.3. Let ( , ) be a free Borel Z system with > 1, 0 < < 1 and , ∈ N. If 1 < 2 . . . is a sequence of natural numbers satisfying 24 ∑︀ < < and 1 > 2 + 12 / , then there is sequence of Borel sets 1 , 2 , . . . such that (1) the connected components of are coconnected -grid unions which are (1 + )-almost cube of side length . (2) for all ∈ , there is ∈ N such that ∈ and (3) if , are connected components of and respectively, then We can choose a Borel set ⊆ ′ which meets every connected component of ′ exactly once. For all finite sets ⊆ Z let denote the minimal element of according to the lexicographic order. The lexicographic order induces a total order on orbits of elements of . The elements of ′ whose component has shape and are minimal in their connected component is given by The union over all such sets gives us a Borel subset of ⊆ ′ which meets every connected component of ′ exactly once. For ∈ Z let be the set of ∈ such that +[0, ) ( ) intersects the connected component of in ′ . Then let = ⋃︀ ∈ Z +[0, ) ( ). It is clear that the connected components of consist of -grid unions. Next, we have that ⊆ ℬ ( ′ ) and the connected components of ′ are contained in boxes of side length (1+ ′ ) , so the connected components of are contained in boxes with side length (1+ ′ ) +2 = (1 + ′ + 2 / ) < (1 + ) . Finally, it easy to see that if and connected components of and respectively with ≤ , then ( , ) > − 4 ≥ 1 − 4 > 2 . As in the proof of Theorem 5.2 we can enlarge each so that the connected components are coconnected while retaining their essential properties. Anticipating the definition of property F, we show that certain differences of -grid unions can be tiled by "nice" rectangles. To start we prove a lemma about tiling sets of the form ∖ where is an -grid union and is a slightly larger -grid union with a different offset. These tilings will be used to show that most of our spaces have property F. We will need some special properties for directed bi-infinite Hamiltonian paths in Section 12. These properties appear in Corollary 6.5. A -box is a box whose sides are of length . An almost -box is a box such that all its sides are of length between and 2 and at most one of its sides has length different from . For , ∈ N, let be the interval [0, ) in Z and be the interval [−3 , ( + 3) ) in Z. Lemma 6.1. Let , ≥ 10 and let ⊆ Z and ∈ Z with 0 ≤ < for all ≤ . If we set = ⋃︀ ∈ + ( ) and = ⋃︀ ∈ + + ( ) , then ∖ can be tiled by almost -boxes. We record a definition for use later. For ≤ , we define an operation (( , ), ∏︀ ≤ [ , ′ )) to be the set obtained by replacing [ , ′ ) by ( , ) in the given product. Further, if is a union of products of the form ∏︀ ≤ [ , ′ ), then we define (( , ), ) to be the union of the sets (( , ), ∏︀ ≤ [ , ′ )) over the products which make up . Proof. We define a sequence of sets for ≤ by It is straightforward to see that 0 = and = . For > 0, the definitions of −1 and only differ on coordinate and on this coordinate we see that + ⊆ + + since 0 ≤ < . It follows that −1 ⊆ and hence ⊆ . Now ∖ can be written as ⋃︀ 0< ≤ ∖ −1 where we note that the sets in the union are disjoint. So to prove the lemma it suffices to prove the following claim: Claim 6.2. For > 0, ∖ −1 can be tiled by almost -boxes. We note that it is enough to tile the connected components of ∖ −1 by appropriate boxes. We start by proving that for every , can be tiled with -boxes. Let be the vector given by the first elements of followed by − zeros. In particular 0 is the vector of all zeros. It is clear that can be written as the union of sets of the form This lemma will be an immediate consequence of the following non-Borel version. Proposition 6.4. Let , ≥ 10. Let be a finite collection of -grid unions such that the collection + [−10 , 10 ] ; ∈ are disjoint and contained in a larger -grid union . Then ∖ ∪ ∈ can be tiled by almost -boxes. Proof. We enlarge each ∈ to ′ such that ∖ ⋃︀ ∈ ′ can be tiled with -boxes. The regions ′ ∖ will be handled by Lemma 6.1. By shifting everything we can assume that for some * ⊆ Z we have that Each is of the form ⋃︀ ∈ + + [0, ) for some ∈ Z and ⊆ Z . Let be a vector of minimal length so that + + ⊆ Z . Note that ‖ ‖ < . Let ′ = ⋃︁ ∈ + + + [−3 , ( + 3) ) . By Lemma 6.1, ′ ∖ can be tiled by almost -boxes. We note also that ∖ ′ can also be tiled by -boxes since has such a tiling and ′ can be written as a union of (a subset of) these tiles. Clearly, any element of ′ is distance at most 4 from an element of . Hence if , ∈ , then ′ and ′ are disjoint. Finally, ∖ ⋃︀ ∈ ′ can be tiled by -boxes, since the tiling of which was used to tile ∖ ′ is independent of . To apply these results in Section 12 we will need some special properties of the tilings. To state these properties we need some more definitions. The faces of a box are the sets + ( ) and − ( ) for 1 ≤ ≤ . We say that two disjoint boxes and meet if are vectors ∈ and ∈ such that their difference is a standard generator of Z . Given two disjoint boxes we say that they meet face to face if one has a face which is a translate of a face of the other by a standard generator. A tiling of a set ⊆ Z is called face to face if all boxes in which meet, meet face to face. Given two disjoint boxes and we say that they meet almost face to face if they have faces ′ and ′ such that there is a standard generator for which ′ ∩ ( ′ + ) has cardinality at least 1/(12) fraction of the minimum of the volume of ′ and ′ . Given a tiling, we regard the boxes in the tiling as vertices of a graph which are connected by an edge if they meet almost face to face. We say that a tiling is almost face to face if the associated graph is connected. We call this graph the almost face to face graph. Corollary 6.5. Let and ; ∈ be as in Proposition 6.4 where ≥ 100 . There is a tiling of ∖ ⋃︀ ∈ by almost -boxes. The tiling of ∖ ⋃︀ ∈ has the following three properties: (1) For each ∈ , the tiling of ∖ ⋃︀ ∈ meets the tiling of by -boxes, face to face on 1 ( ). Proof. For this proof we will trace the proof of Proposition 6.4 making necessary observations as we go along. First the sets were expanded slightly to get sets ′ where the sets ∖ ⋃︀ ∈ ′ can be tiled with -boxes (which proves property (2)) while the regions ′ ∖ (which contain the boundary of ) were handled by Lemma 6.1. In the proof of Lemma 6.1 we wrote the set corresponding to ′ ∖ as a union of sets ∖ −1 each of which were tiled separately. In the construction the set 1 ∖ 0 contained 1 ( ) and we have that the tiling of 1 ∖ is obtained by taking the tiling of by -boxes and extending it perpendicular to 1 . It follows that the tiling of ′ ∖ that we constructed meets the natural tiling of by -boxes face to face on 1 ( ). This proves Property (1). Now we will prove Property (3). Let be a translate of [1, ] centered in [0, 1] . Consider the set ′ is a connected set (since it is just the set ∖ ⋃︀ ∈ with a small portion of its boundary removed). Given any two boxes 1 , 2 from the tiling, we can find a path in ′ with terminal vertices , ∈ ′ contained in 1 and 2 respectively. Now suppose that , + ∈ such that is in the tile ′ and + is in another tile ′′ . Now all the tiles˜which meet ′ on + ( ′ ) are connected in the almost face to face graph. In addition there has to be at least one tile among these tiles˜which meets ′ almost face to face. Consequently we have that ′ and ′′ are in the same component of the almost face to face graph. Thus by following the path we must have that 1 and 2 are also in the same component and that the tiling is almost face to face. We end the section with a lemma which is used to ensure points that we construct are aperiodic. Proof. Let and be as in the lemma. Since the sets 10 ( ) and 10 ( ) for ∈ are disjoint it follows that the set¯= is connected. Since¯is bounded, there is ∈¯such that ( ) / ∈¯. Let us now see why¯∩ − (¯) is non-empty. contains a cube of length − 4 where − 4 > | | which is at distance 4 away from the boundary of . Since it intersects its translate by − the same must occur for its inner 4 boundary as well. Thus we have that 4 (Z ∖ ) ∖ 3 (Z ∖ ) must also intersect its translate by − . But this set is disjoint from ∪ 3 for all ∈ . Thus we have that¯∩ − (¯) is non-empty. Let ∈¯∩ − (¯). Since¯is connected there is a path from to contained in¯. Let be the first vertex on the path for which ( ) ∈¯. Let be a cube of side length centered at . It is clear that satisfies the conditions of the lemma. Since there are only finitely many choices of given the shapes of various connected components involved it follows that there exists a Borel set with the required properties. In this section, we isolate a mixing condition called property and prove that any free Borel Z system admits a Borel factor map into the free part of a symbolic system with property F. A family of patterns is a collection ( ⊆ ℒ( , ); is a -grid union) such that = ( − ) for all ∈ Z . Definition 7.1. A family of patterns ( ; is a -grid union) has property with gap if the following two properties are satisfied. (1) For every such that | = for 1 ≤ ≤ . (2) If is a configuration such that there is an increasing sequence of -grid unions which cover Z and | ∈ for all then ∈ . We note that each -grid union , 1 , 2 , . . . may use a different offset . We also note that property (2) is satisfied by every subshift. We will need this to prove that the space of bi-infinite Hamilton paths has Property F. Theorem 7.2. If ( , ) is a free Borel Z system and ( , ) is a symbolic system satisfying Property F, then there is an equivariant Borel map from to the free part of . Proof. Suppose that ( , ) is a symbolic system contained in {1, 2, . . . , } Z which has property relative to -grid unions with gap . Let for -grid unions be the witnessing set of patterns. Let 1 , 2 . . . witness Corollary 5.3 for ( , ) with = = 10 , = 1/2 and any sequence 1 < 2 < . . . satisfying the hypothesis of the corollary. We define a function Φ using property as follows. Let for ∈ N be a sequence of vectors such that (1) for all ∈ N, /4 ≤ | | ≤ /2 and (2) for all ∈ Z , there is ∈ N such that = for some ∈ N. Such a sequence is easily constructed by induction. We define a function Φ which captures our applications of property F. The inputs are (1 + )-almost cube -grid unions of side length in Z and patterns 1 , . . . over (1 + )-almost cubes 1 , . . . of side lengths for various < such that ∈ and 10 1 , . . . 10 are disjoint subsets of . Given such an input, we can apply Lemma 6.6 with = , to find a cube of side length as in the lemma. We then choose ∈ and ′ ∈ + such that ′ ̸ = ( ). Finally we let = ∪ =1 ∪ ∪ ′ and Φ( , ) be a pattern obtained by applying property F to the patterns 1 , . . . , , ′ inside . We can assume that Φ commutes with the shift operation. We will now define a sequence of Borel functions : ∪ =1 → {1, . . . } by induction. To initialize the construction we let 0 = ∅ and 0 be the trivial function. Suppose that we have constructed for some . Let ∈ +1 ∖ ∪ =1 . We define the following: is the function with domain such that ( ) = ( ( )). Let +1 ( ) = (0) where = Φ( , ). For ∈ ∪ =1 we define +1 ( ) = ( ). Since , and are Borel functions on +1 ∖ ∪ =1 with finite range and Φ is a map between finite sets it follows that +1 is Borel. Moreover, since the assignments of , and are equivariant and the operation Φ commutes with the shift, we have that for a connected component of +1 , the pattern given by fixing ∈ and taking ↦ → (∪ +1 =1 )( ( )) for such that ( ) ∈ is in . Further by our choices of and ′ above we have that for all ∈ +1 there exists such that +1 ( ( )) ̸ = +1 ( + +1 ( )). Thus the mapˆ: → given bŷ ( )( ) = ( ( )) for ∈ N and all ∈ is equivariant and maps to the free part of . In Section 9 we will prove that if ( , ) is a symbolic space with appropriate entropy then we can actually find an embedding. The entropy of the collection = ( ; is a -grid union) is defined by The limit exists under the assumption of property (but we will not need this fact) and is non-zero (except in the trivial case of each being a singleton). The proof follows from the proof of [CM21, Lemma 5.3]. We say that patterns , ∈ ℒ( ) clash if there is a site such that ̸ = . A collection ℳ = ( ⊆ ℒ( , [1, ] ); ∈ N) is said to have the marker property with tolerance if for all , ∈ and | | < − , we have that ( ) clashes with unless =0 and = . We say that the collection ℳ has the marker property if it has the marker property witnessed by for ∈ N and there exists a collection = ( ; is a -grid union) with property such that ⊆ [1, ] for all ∈ N. Theorem 8.1. If is a shift space which has a collection with property then it is has a collection ℳ with marker property and ℎ( ) = ℎ(ℳ). We will follow the strategy as in [CM21] . The situation is much simpler here because we are dealing with shift spaces, property is much stronger than flexibility (being used in that context) and the dimension ≥ 2. Marker constructions have a long history in ergodic theory and similar ideas can be found throughout the literature improvised according to context. We will need the following lemma. This lemma is very similar to [Hoc10, Proposition 12] with essentially the same proof. However, we cannot use the statement directly, so we repeat the argument. Hence there is an injection from , to ℒ( , [1, ] ∖[3 , −3 ] ) and it follows that | , | < exp ′ −1 for some constants , ′ > 0 which only depend on . Thus the collection ′ = ( ′ ; ∈ N) given by satisfies the conclusion of the lemma. We are now prepared for the construction of the markers. Proof of Theorem 8.1. Let be a collection with property and gap . By Lemma 8.2 there exists ∈ N and ′ ∈ [1, ] such that ′ clashes with ( ′ ) for for all ∈ [−1, 1] ∖{0}. The collection ℳ = ( ; ∈ N) with the marker property will consist of patterns whose boundaries are densely packed by elements of ′ but with different phases. This is to ensure that given two patterns from for some if their boundaries intersect substantially then there must be a clash because of the various phases. First we divide the support of the elements of ⊆ [1, ] into thin annuli and a large central region. (1) For large enough we consider concentric annuli in [1, ] with width 100( + ) labelled for ∈ [0, + ] starting from the outside towards the inside and leaving gaps of width 3( + ) in-between. (2) The complement of (the union of) the annuli is a box of the form [1 + , ( − ) ] for some constant ∈ N which independent of . Having defined these regions, we also define some patterns that will be used in the definition of . Using Lemma 8.2, we find ′′ ∈ [1, ] for some such that for all in [−2 , 2 ], ( ′′ ) clashes with ′′ . Next we consider a configuration given by ( )| Secondly, if | | ∞ > 2 , then we work with Condition (i) find a clash between and ( ). For each ≤ , let be the remainder of when divided by + . Next find with | | ∞ < + such that | + − | ∞ = 1. We consider the restriction of to the annulus and note that by our assumption on | | ∞ , intersects ( ) in a rectangle of side length 100( + ). Moreover, on this rectangle ( ) is equal to ( ( )) = ( ( )) = + ( ). By the choice of and the size of the intersection of and ( ), there are copies of ′ in and ( ) which are shifts of each other by a vector of norm 1. So and ( ) clash our the choice of ′ . We will now strengthen Theorem 7.2 in the case of shift spaces. Theorem 9.1. Let ( , ) be a symbolic space with a collection with Property F and ( , ) is a shift space such that ℎ( , ) < ℎ( ). Then there is an equivariant Borel embedding from the free part of to . Suppose is a symbolic space with entropy ℎ( ) and is a shift space with a collection = ( ; ∈ N); ⊆ ℒ( , [1, ] ) with marker property , entropy ℎ, gap and tolerance /3 (for some ∈ 3N). We can assume that each satisfies Lemma 8.2 for shifts of norm at most . Since ℎ( , ) < ℎ( ), by a standard calculation involving the topological entropy, there are an ∈ N and an injective function . We define a function 0 on 0 by 0 ( ) = (0) where = Ψ( | ). Since the connected components of 0 are at least 2 apart and at least 2 /3 distance from for all , by using property we can extend 0 defined on 0 to defined on ∪ =0 for all as in the proof of Theorem 7.2. In fact it is simpler here because we do not need to use Lemma 6.6. At the end of the construction, we let = ⋃︀ ∈N andb e given byˆ( )( ) = ( ( )). We have as in Theorem 7.2 that the resulting maps andˆare Borel. We would like to prove thatˆis an embedding of into . Suppose that , ′ ∈ ( ). We associate to an infinite pattern = ↦ → 0 ( ( )) for such that ( ) ∈ 0 and similarly associate ′ to ′ . If dom( ) = dom( ′ ), thenˆ( ) =ˆ( ′ ) implies = ′ which implies = ′ , since the map Φ is injective. So we can assume that dom( ) ̸ = dom( ′ ). We fix a connected component of dom( ) which is not equal to any connected component of dom( ′ ). Since sets of the form ′ ∪ +1 ′ for connected components ′ of dom( ′ ) cover Z , there is some connected component ′ at distance at most + 1 from the center of . It follows that is a shift of ′ by some of norm at most + 1 + /2 < − . By the tolerance of the set of markers we have that | clashes with ′ | ′ and henceˆ( ) ̸ =ˆ( ′ ). In this section we will prove that hom-shifts have property . The argument we present is essentially contained in [CM21, Section 9] but needs some restatement because of our setting. Theorem 10.1. Let Hom(Z , ) be a hom-shift where is a connected graph which is not bipartite. Then it has property for a sequence of patterns with entropy equal to the topological entropy of the hom-shift. For this proof we denote the interior boundary of a set by int = { ∈ : is adjacent to a vertex in Z ∖ }. Further by parity of a coordinate ∈ Z we mean the parity of the sum of its coordinates, which we denote as parity( ). Proof. Choose vertices , ∈ which form an edge. For every connected set fix a site ∈ such that We proved in [CM21, Proposition 9.2] that the entropy of this collection of patterns is equal to the entropy of hom-shift. We are left to prove property for the collection. Since is connected and not bipartite, we can fix an even integer so that there is a path of length from to and some ′ > . Let 0 . . . be such a path with 0 = and = . Now let , 1 , 2 , . . . , be connected subsets such that 1 + [− ′ , ′ ] , 2 + [− ′ , ′ ] , . . . , + [− ′ , ′ ] are disjoint and contained in . Further let ∈ be given. We need to find ∈ such that | = . Consider connected subsets ′ = for all 1 ≤ ≤ . Given 1 ≤ ≤ , we define patterns ′ ∈ ℒ(Hom( ′ , )) extending depending on the parity of and . If and have the same parity, then for ∈ ′ ∖ we set ′ ( ) = if parity( ) = parity( ) and ′ ( ) = otherwise. If and have different parity, then to define ′ ( ) we let be such that ∈ ∖ −1 and let ′ ( ) = −1 if parity( ) = parity( ) and ′ ( ) = otherwise. It follows that for the patterns ′ we must have that for all ∈ int ( ′ ) a vertex adjacent to if parity( ) = parity( ) otherwise. and the pattern ∈ ℒ (Hom(Z , ) ) extending the ′ defined on ∈ ∖ ∪ 1≤ ≤ ′ by ( ) = if parity( ) = parity( ) and ( ) = otherwise is what we set out to obtain. In this section we will show that coprime rectangular shifts have property . The argument comes from [CM21, Section 10]. Theorem 11.1. Let ( ) be a coprime rectangular shift. Then it has property . If ( ) is the set of domino tilings of Z 2 then it has property for a sequence of patterns with entropy equal to the topological entropy of ( ). Proof. Let be the product of the side lengths of all the boxes in . For every 10 -grid union we let = {tilings of by elements of }. In the case of domino tilings of Z 2 in the proof of [CM21, Theorem 10.3] we showed by following [Kas61, CKP01] that the entropy of this collection of patterns is the topological entropy of the space of domino tilings. We are now left to prove property for this collection. Let , 1 , 2 , . . . , be 10 -grid unions such that 1 +[−10 , 10 ] , 2 +[−10 , 10 ] , . . . , +[−10 , 10 ] are disjoint and contained in with offsets , 1 , . . . , ∈ [0, 10 ) . Let ∈ for all 1 ≤ ≤ . We will now construct ∈ such that | = for all 1 ≤ ≤ . Choose ′ such that − ′ ∈ Z and ′ ∈ + [0, ) . We now consider the sets The sets ′ are disjoint (since the sets + [−10 , 10 ] are disjoint). By Lemma 6.1, ′ ∖ can be tiled by boxes each of whose side length is at least and at most one side different from . Further by our choice of ′ we have that ∖ ⋃︁ ′ can be tiled by boxes all of whose sides lengths are . Since each side length of a box in is a factor of it follows that can tile ∖ ⋃︀ ′ . Fix such a tiling ′ on ∖ ⋃︀ ′ . We are left to show that if is a box such that each of whose side length at least and at most one side different from then it can be tiled by elements of . This is an easy consequence of the solution to the well-known Diophantine Frobenius problem or the coin problem. Assume that = [0, ) and be the length of in the the 1 direction. Since the highest common factor of ; 1 ≤ ≤ is 1 it follows that can be written as a sum of multiples of and thus can be tiled by layers perpendicular to the direction 1 where each layer (of width a suitable multiple of ) is tiled by a single element of . From this we obtain a tiling of ′ ∖ by elements of which we call ′ . The tilings ′ ; 1 ≤ ≤ and ′ give us a tiling of Together with the tilings of , we get a tiling of which we were looking for. For Directed Bi-infinite Hamiltonian paths 12.1. The setup. In this section we prove that directed bi-infinite Hamiltonian paths have property . For the purpose of this section, we think of a Hamiltonianian cycle (path) as a function where the domain is the set of vertices of the cycle (path) and a directed edge is drawn from to if + ( ) = . Our basic method for connecting Hamiltonian cycles is given in the following proposition. The proof is obvious and left to the reader. Theorem 12.2. The space of bi-infinite directed Hamiltonian paths has property . Let > 1000 × 100 be an even integer and be a 100 -grid union. With any such grid union, there is a unique tiling of with -boxes. Choose a -box ′ from this tiling such that + 1 ( ′ ) ⊆ + 1 ( ). We let to be the set of directed Hamiltonian paths which start at a vertex and end at vertex + 2 such that , + 16 2 ∈ + 1 ( ′ ) but + 17 2 / ∈ + 1 ( ′ ). We will prove that this collection of patterns satisfy property . For this let , 1 , 2 , . . . , be 100grid unions and patterns ∈ such that 1 + [−10 , 10 ] , 2 + [−10 , 10 ] , . . . , + [−10 , 10 ] are disjoint and contained in . We will extend the to a path ∈ . To begin we will consider some very special directed Hamiltonian paths on two dimensional boxes. These paths are constructed especially so that they can be easily put together to form directed Hamiltonian paths on almost -boxes and that directed Hamiltonian paths on adjacent almost -boxes can be connected. These connections will be made using Proposition 12.1. Lemma 12.3. Let , > 90 such that is an even integer. There is a directed Hamiltonian cycle , on [1, ] × [1, ] with the following features. (1) The Hamiltonian cycle moves in the clockwise direction on all the edges of the boundary except one. (2) At distance greater than 4 from the boundary the edges of cycle are moving either in the 1 direction if they are at even distance from the top edge or the − 1 direction if they are at odd distance from the top edge. To aid the reader, various cases (according to the parity of and ) have been illustrated in Figure 1 . Notice that if we choose a vertex at distance greater than 4 from the boundary then the Hamiltonian cycle will just consist of lines in the 1 direction and on the boundary the cycle moves in the clockwise direction. We start by constructing a Hamiltonian path on ∖ ∪ . Recall the graph structure on almost -tilings. We regard the boxes in the tiling as vertices of a graph where we place an edge between two boxes if they meet in some face which is at least 1/12 of the minimum volume of over all faces of the two boxes. By using property (3) above, we fix an ordering on the almost -boxes in the tiling of ∖ ∪ such that each box (after the first) is almost face to face with some earlier box. We start the construction by placing a Hamiltonian cycle , for appropriate and on each tile in the almost -box tiling ∖ ∪ . Using the ordering above and Proposition 12.1, it is straightforward to iteratively connect the Hamiltonian cycles on each almost -box into one large Hamiltonian cycle. Note that we use that each , is essentially a clockwise cycle on the boundary. By property (1) above the tiling of ∖ ∪ meets the tiling of by boxes face to face on 1 ( ). Hence we can connect each to the Hamiltonian cycle on ∖ ∪ . Finally since the tiling of ∖ ∪ agrees with the -box tiling of on (property (2)), we can open an edge along + 1 ( ) to get the required Hamiltonian path with the prescribed entry and exit points. 12.3. Hamiltonian cycles in dimensions greater than two. For > 2, the situation is much more complicated. The main complication is an issue of parity. Any box can be divided into several two dimensional layers in the direction 1 × 2 . However we cannot place the Hamiltonian cycles , in each of these layers as it is; we have to alternate the orientation between clockwise and anticlockwise otherwise it will be difficult to connect them (using Proposition 12.1). Keeping this in mind we define Hamiltonian cycles , where the edges are reversed. Specifically ( , ) is a (directed) edge for , if and only if ( , ) is an edge for , . It is easy to see that the Hamiltonian cycles , have analogous properties to the ones in Lemma 12.3. In particular clockwise is replaced with counterclockwise in (1) and the roles of 1 and − 1 are reversed in (2). Let = ∏︀ [ , ] be a box such that ( 1 − 1 )( 2 − 2 ) is even. The box can be partitioned into two dimensional layers as follows. ⨆︁ If is an even vector we place a copy of 1− 1, 2− 2 on [ 1 , 1 ] × [ 2 , 2 ] × { } and a copy of which connects vectors differing by a unit vector. By finding a spanning tree for this graph and connecting Hamiltonian cycles on adjacent two dimensional layers we obtain a Hamiltonian cycle on the entire box . This Hamiltonian cycle will be called the even type Hamiltonian cycle on the box. The odd type Hamiltonian cycle will be the one obtained by reversing all the edges. The set ∖ ∪ can be tiled by almost -boxes such that they satisfy the conclusion of Corollary 6.5. As in the two dimensional case, the graph of almost -boxes (where two such boxes are considered adjacent if they meet almost face to face) is connected. As before we order them so that each almost -box in the tiling meets some earlier almost -box almost face to face. Now we would like to iteratively connect Hamiltonian cycles on each of the almost -boxes. This works as before with the change that at each step we need to choose either an even type or an odd type Hamiltonian cycle so that we can connect them in accordance with Proposition 12.1. Suppose that meets almost face to face with ′ using the faces ( ) and ( ′ ). For the moment, consider the unique undirected cycles on and ′ . If = 1, then the undirected cycles have parallel edges in the ± 2 direction on ( ) and ( ′ ). If ≥ 2, then the undirected cycles have parallel edges in the ± 1 direction on ( ) and ( ′ ). In either case, for each choice of even or odd type cycle on , there will be a choice of even or odd type cycle on ′ which satisfies the hypothesis of Proposition 12.1. As before we open an edge on + 1 as required by the definition of . The remaining issue is to connect the Hamiltonian path˜constructed on ∖ ∪ with the existing paths on each . By property (1) of Corollary 6.5, the tiling of ∖ ∪ is face to face with the tiling of on 1 ( ). Let be the starting vertex of and be the ending vertex. From the definition of and the definition of the Hamiltonian cycles on almost -boxes above,˜has an edge parallel to { , }, but the direction of the edge may not allow us to apply Proposition 12.1 to connect them. Suppose that is the almost -box in the tiling of ∖ ∪ which is adjacent to and . As stated in Corollary 6.5, is a translate of the box [1, ] × [1, ] −1 for some ≥ . We revise the definition of˜on to reverse the edge parallel to { , }. For simplicity we assume that the Hamiltonian cycle we used on is of even type. Partition into two pieces − 1 ( ) and ∖ − 1 ( ). Note that we can place a Hamiltonian cycle of even type on ∖ − 1 ( ). This ensures that all the previous connections made through in˜can still be made with the new cycle. Next we construct a Hamiltonian cycle on − 1 ( ) which can be connected to both and . Recall that − 1 ( ) is a translate of {1} × [1, ] −1 . We partition − 1 ( ) into layers parallel to 2 × 3 . Let be the layer adjacent to and . We will place a Hamiltonian cycle on which can be connected to both and . First rotate , and , to the 2 × 3 plane so that edges at distance more than 4 from the boundary are either in the 2 direction or in the − 2 direction. Choose one among these orientations so that it connects with and finally modify it (as in Figure 2 ) to be able to connect it with . To finish we need to extend to the rest of the layers of − 1 ( ). As in previous arguments, we order the layers starting with such that any layer has distance 1 to some previous layer (recall that − 1 ( ) is just a translate of {1} × [1, ] −1 ). Then we iteratively extend our Hamiltonian cycle on to the other layers using the rotated versions of , and , (given above) alternatively. This finishes the modification of the Hamiltonian cycle on and with it the proof that the space of Hamiltonian cycles satisfies extension portion of property F. 12.4. The compactness criterion. Suppose that is a configuration such that for an increasing union of 100 -grid unions we have that | ∈ for all . To complete the proof of Property we need to show that is bi-infinite directed Hamiltonian path. For this it is enough to prove that for all , ∈ Z there is a directed path along which goes from to or vice versa and that every ∈ Z has a successor and the predecessor. For this, take large enough such that , ∈ . Then immediately we have that there is a directed path along of length less than or equal to | | connecting the two. Finally take ′ large enough such that and its neighbours are in ′ . Then we have by construction that must have both a predecessor and a successor in ′ . This completes the proof. Recall that denotes the set of injective maps from the set of unit vectors to the set of colours {1, 2, . . . , } and ( ) denotes the space of proper -edge colourings of Z . We can think of the set of proper -colourings both as maps from edges of Z to the set of colours and as maps from Z to . We will use both these (equivalent) perspectives interchangeably. Theorem 13.1. Let ≥ 2 . The space of proper -colourings ( ) has property for a sequence of patterns with entropy equal to the topological entropy of the ( ) . Remark 4. This shows that Borel edge chromatic number of any free Borel Z action is 2 . Proof. Recall that given a set ⊆ Z we defined + ( ) as the set of ∈ such that + / ∈ while − ( ) was defined as the set of ∈ such that − / ∈ . Fix ≥ 2 . Let ⊆ Z be connected. For This boundary condition is amenable to certain natural reflections which we will describe next. Let be a proper -edge colouring of a box and let = + ( ). Then we can reflect along + 1/2 to get a proper -edge colouring of the union of the box and its reflection along . This symmetry is remarkably useful and very similar to the symmetry available to us from graph homomorphisms. In particular it allows, as in [CM21, Section 9], application of "reflection positivity" which gives us that the entropy of these patterns is equal to the entropy of the subshift. Since it is essentially the same argument, we do not repeat it here. We are left to prove property for these patterns. For this we will use Proposition 6.4 in a crucial manner. We fix , = 10. Let , 1 , 2 , . . . , be -grid unions with offsets0, 1 , 2 , . . . , ∈ [1, ] such that 1 + [−100, 100] , 2 + [−100, 100] , . . . , + [−100, 100] are disjoint and contained in . By Proposition 6.4, we know that ∖ ∪ =1 can be tiled by almost 100-boxes, that is, boxes all of whose side lengths are at least 100 and at most one of them is different from 100. Thus to complete the proof we need to show that is non-empty for all almost 100-boxes . If all the sides of are even then the construction is easy: The edges parallel to the direction are coloured and + alternatively. This would ensure that the outward edges normal to + ( ) and − ( ) are coloured . Now suppose (without the loss of generality) that the side in the direction 1 is odd and the rest are even. The edges in the directions are coloured and + alternately for ≥ 3. The edges in the direction 1 are coloured (from smaller to larger first coordinate value) 1, 2 + , 1 + followed by 1 and 1 + alternatively. Order the lines in the 2 direction according the value of the first coordinate on the line. The ones with the smallest value of the first coordinate are coloured 2 and 1 + alternatively. The lines with the next highest value of the first coordinate are coloured 2 and 1 alternatively. The rest of the lines are labelled 2 and 2 + alternatively. It completes the required colouring and hence the proof. 14.1. From results in ergodic theory to the Borel setting. We expand here on a comment and question by Anton Bernsthyn. It is a natural question to ask if results regarding embeddings and factorings that have been proved in the presence of an ergodic measure can be automatically upgraded to the Borel setting. In other words, in ergodic theory the following situation often arises. Given the action of the group Z on a standard probability space ( , ), there is a map from to a finite set {1, 2, . . . , } such that the image of the equivariant induced map to {1, 2, . . . , } Z satisfies certain local constraints almost everywhere. The question is whether a probability measure is really required in this context. If we take the alphabet to be infinite then the answer is no due to Theorem 4.2 (look at Remark 2). 14.2. From the Borel to the continuous setting. It will be exciting to know more about the continuous analogue of our results. We mentioned many related results in the introduction (Section 1) and direct the reader there for the references. Here we will focus on the main questions and subtleties in the subject. It is clear that our techniques do not automatically carry forward to the continuous settings. Theorem 2.10 of [GJKS18] showed that a continuous (clopen) version of Theorem 5.2 fails for the free part of the full shift 2 Z . Since Theorem 5.2 is the mechanism for constructing the Borel maps in our paper, Theorem 2.10 of [GJKS18] shows that there is no straightforward modification of our methods to give continuous maps. In the case of colorings, Corollary 4.4 of [GJKS18] is equivalent to the statement that there is no continuous factor map from the free part of 2 Z 2 to the space of proper 3-colorings. So our result that there is a Borel such map cannot be improved to a continuous one. Further interesting conditions were found in [GJKS18] (given by the twelve tiles theorem) which give equivalent formulations of whether the free part of 2 Z 2 can be mapped continuously and equivariantly to a given shift of finite type. These equivalent formulations may be difficult to check. For instance, it would be nice to have an answer to the following question: When can the free part of the full shift be tiled continuously by a given set of rectangles? From results by Gao-Jackson-Krohne-Seward we know that there is no continuous perfect matching (domino tiling) of the free part of the full shift. This and the fact that there is no continuous 3-colouring are related to the fact that perfect matchings have a non-trivial cohomology while the full shift doesn't [Sch95] ) On the other hand, for > 0 there are continuous tilings by rectangles of the form × , × ( + 1), ( + 1) × and ( + 1) × ( + 1). Problems about continuous embeddings appear to be subtle. Results by Lightwood [Lig03, Lig04] say that the strong mixing condition are enough when we talk about embeddings of subshifts without periodic points. On the other hand results by Salo [Sal21] indicate that embeddings of the free part of subshifts can be naturally extended to an embedding of the subshifts in certain cases. This is very problematic because little is known about continuous embeddings between Z -subshifts for ≥ 2. For = 1, a necessary and sufficient condition for finding embeddings into a shift of finite type is given by Krieger's embedding theorem [Kri82] . 14.3. Full universality. One of our main results says that if is a subshift with a collection which has property and entropy ℎ( ) then the free part of any subshift with entropy lower than ℎ( ) can be Borel embedded in it (Theorem 9.1). On the other hand, results in [CM21] give Borel embeddings of any system modulo a universally null set into systems with a property similar to property called flexibility. The Gurevic entropy of a Borel Z system ( , ) is given by the supremum of the Kolmogorov-Sinai entropy of the invariant probability measures on the space. We conjecture that if ( , ) is a subshift which has a collection with property and entropy ℎ( ) and ( , ) is any free Borel Z system whose Gurevic entropy is strictly smaller that ℎ( ) then ( , ) can be embedded into ( , ). For mixing shifts of finite type in one dimension (which are automatically strongly irreducible subshifts) this is known due to Hochman [Hoc13, Hoc19] . Along with some arguments by Tom Meyerovitch, this conjecture follows from an upcoming result by Mike Hochman and Brandon Seward. 14.4. Property for the non-symbolic setting. In [CM21] a property called flexibility was defined for Z topological dynamical systems and it was shown (modulo a universally null set) that under appropriate entropy constraints any Borel Z system can be embedded into it. We could not come with an analogue of flexibility for general Z topological dynamical systems. In particular we would like to know whether the following is true. Let ( , ) be a Z topological dynamical systems with a strong mixing property like non-uniform specification (look at [CM21] for the definition). Does there exist an equivariant map from the free part of any Borel Z system to the free part of ( , )? By [CM21] the answer is yes modulo sets of universal measure zero. Realization of aperiodic subshifts and uniform densities in groups. Groups, Geometry, and Dynamics Václav Rozhoň, and Zoltán Vidnyánszky. Local problems on trees from the perspectives of distributed algorithms, finitary factors, and descriptive combinatorics Distributed algorithms, the Lovász local lemma, and descriptive combinatorics Factor of IID Schreier decoration of transitive graphs Topological and almost Borel universality for systems with the weak specification property. Ergodic Theory and Dynamical Systems Borel asymptotic dimension and hyperfinite equivalence relations A variational principle for domino tilings Borel subsystems and ergodic universality for compact Z -systems via specification and beyond Multiorders in amenable group actions On groups of measure preserving transformations. i Countable abelian group actions and hyperfinite equivalence relations. Inventiones mathematicae Borel combinatorics of countable group actions Forcing constructions and countable Borel equivalence relations Continuous combinatorics of abelian group actions A coloring property for countable groups Local problems on grids from the perspective of distributed algorithms, finitary factors, and descriptive combinatorics On the automorphism groups of multidimensional shifts of finite type. Ergodic Theory and Dynamical Systems Isomorphism and embedding of Borel systems on full sets Every Borel automorphism without finite invariant measures admits a two-set generator Countable Borel equivalence relations Induced measure preserving transformations The statistics of dimers on a lattice: I. the number of dimer arrangements on a quadratic lattice The theory of countable Borel equivalence relations Descriptive graph combinatorics On generators in ergodic theory On the subsystems of topological Markov chains Borel chromatic numbers Commuting measure-preserving transformations Morphisms from non-periodic Z 2 -subshifts. I. Constructing embeddings from homomorphisms. Ergodic Theory Dynam Morphisms from non-periodic Z 2 subshifts. II. Constructing homomorphisms to square-filling mixing shifts of finite type. Ergodic Theory Dynam Borel circle squaring Entropy and isomorphism theorems for actions of amenable groups Shifts of finite type with nearly full entropy Partitions of the phase space of a measure-preserving Z -action into towers Ergodic universality of some topological dynamical systems On the existence of Markov partitions for Z actions A "general" measure-preserving transformation is not mixing Modeling ergodic, measure preserving actions on Z shifts of finite type The Z Alpern multi-tower theorem for rectangles: a tiling approach Conjugacy of transitive sfts minus periodics The cohomology of higher-dimensional shifts of finite type Locally nilpotent groups and hyperfinite equivalence relations Finite generators for countable group actions in the Borel and Baire category settings Measurable dynamics Countable generators in dynamics − universal minimal models Borel edge colorings for finite dimensional groups