Relative Topological Entropy for Actions of Non-discrete Groups on Compact Spaces in the Context of Cut and Project Schemes

In the study of aperiodic order via dynamical methods, topological entropy is an important concept. In this paper, parts of the theory, like Bowen’s formula for fibre wise entropy or the independence of the definition from the choice of a Van Hove sequence, are extended to actions of several non-discrete groups. To establish these results, we will show that the Ornstein–Weiss lemma is valid for all considered groups which appear in the study of cut and project schemes.


Introduction
Aperiodic order, an intermediate concept between order and disorder, has attracted a lot of attention over the last three decades in the fields of physics, geometry, number theory and harmonic analysis [1,2,4,[7][8][9]44,49]. The construction of aperiodic point sets via cut and project schemes was pioneered by Yves Meyer in his famous monograph on "Algebraic numbers and harmonic analysis". For details see [39,Chapter II.5]. A cut and project scheme (CPS) is a triple (G, H , ), where G and H are locally compact amenable groups, 1 is a 1 A topological group G is called locally compact whenever every neighbourhood of some element contains a compact neighbourhood of this element. For the notion of amenability see Sect. 2.4. B T. Hauser till.hauser@uni-jena.de uniform lattice 2 in G × H and the projections π G and π H satisfy the following properties. The restriction π G is injective and π H ( ) is dense in H . Then G is called the physical space and H is referred to as the internal space of (G, H , ). Given a relatively compact subset W ⊆ H with nonempty interior, usually called a window in this context, such a CPS produces a subset of G via ω := π G ( ∩ (G × W )). Subsets of G that arise by this construction are called model sets. These sets are aperiodic, but have a longe range order, due to their algebraic origin. For further details and references on these notions see [3,Chapter 7]. CPS are usually studied under the assumption of commutativity. Nevertheless recent interest in the non commutative case, for example in [6] motivated us to omit the assumption of commutativity in our definition of CPS.
Model sets can be studied by methods of dynamical systems. One first introduces a compact Hausdorff topology on the set of all closed subsets of G and shows that the set of all translations {ωg; g ∈ G} is a pre-compact subset. Denote by X the closure of {ωg; g ∈ G}.
One then shows that G × X (g, M) → Mg := {mg; m ∈ M} is a dynamical system, referred to as the Delone dynamical system of ω. For details on this construction see [7] in combination with [3]. In the study of model sets it is natural to study the topological entropy of this dynamical system as a measure of "complexity" of ω [4,9].
It is thus natural to ask for the validity of analogues of statements from the theory of entropy of Z-actions. In [33,43,58,60,61] such analogues are proven for actions of countable discrete amenable groups G. Nevertheless in the context of Delone dynamical systems G is typically not discrete and we will see in Example 3.4 that there can be choices of G that do not contain uniform lattices. In fact the absence of the possibility to restrict to discrete subgroups was one of the motivations of Meyer to construct CPS [39,Chapter II]. The references known to us for a systematic treatment of entropy theory of actions of non discrete groups are [51,55]. Both notions are not equivalent for actions of R d with d ≥ 2 and we will focus on the notion of Tagi-Zade, which is used in the context of aperiodic order [9]. Tagi-Zade presents entropy theory of R d actions, but parts like fibre wise entropy, relative topological entropy, the freedom in the averaging in the definition of entropy are not addressed. Furthermore Bowen's formula, which states that the topological entropy of an action is less than the sum of the topological entropy of a factor and the relative topological entropy of the factor map [10], are not considered. These parts of the theory are addressed in the study of aperiodic order in [9,32,34] and the importance of Bowen's formula for R d actions comes up in [23,Remark 2.9.] and [23,Lemma 4.1.(ii)].
In order to define topological entropy of discrete amenable groups one uses a technique referred to as "Ornstein-Weiss lemma" [37,43,57,58]. In order to explain this in more detail we need the following notions. Let G be an amenable group G. Denote by K(G) the set of all compact subsets of G. A function f : exists, is finite and does not depend on the choice of the Van Hove net (A i ) i∈I in G .
The ideas behind this technique go back to [29,33,37,43,57]. In M. Gromovs extremly influential work [29] a sketch of a proof is presented for very general groups, but a rigorous proof is given only in the context of discrete amenable groups. For details see [13,36,58] and Remark 3.1(ii). We thus give a rigorous proof of the Ornstein-Weiss lemma for groups arising in our context. The next theorem shows that all compactly generated abelian groups satisfy the Ornstein-Weiss lemma. Naturally the question arises how restrictive the existence of such a CPS is. In fact in the commutative case it is shown by Y. Meyer, that G is the physical space of a CPS, iff it is the physical space of a CPS with an euclidean internal space [39,Chapter II.5.10], and this holds iff there exists a Meyer set in G [39, Chapter II.14]. A Meyer set 3 is a discrete subset ω ⊆ G such that there are a finite set F ⊆ G and a compact set K ⊆ G that satisfy K ω = G and ωω −1 ⊆ Fω. Examples of Meyer sets are all model sets.
A Meyer set ω that is symmetric (ω = ω −1 ) and that contains the neutral element is called an approximate uniform lattice and the arguments from [39] also show that a locally compact abelian group G is a physical space of a CPS iff G contains a uniform approximate lattice [5]. This equivalence remains valid also in the context of connected nilpotent Lie groups [38], but the existence of a CPS under the assumption of the existence of a Meyer set seems open for general locally compact groups. An example of a metrizable and separable locally compact abelian group G that contains no Meyer set and therefore is not a physical space of a CPS is given in [39,Chapter II.11].
Nevertheless we are interested in groups G that contain Meyer sets and for those we can now define (relative) topological entropy for some action ϕ of G on a compact metric space (X , d). For a compact subset A ⊆ G define the Bowen metric for x, y ∈ X as follows Furthermore for M ⊆ X and ε > 0 we denote the minimum cardinality of an open cover of M consisting of sets of d A -diameter 4 strictly less than ε by cov M [d A < ε]. One then shows that K(G) A → log(cov X [d A < ε]) is a monotone, right invariant and subadditive mapping and thus the Ornstein Weiss lemma can be applied to yield the existence of the 3 Note that these sets are the "harmonious and relatively dense" sets in [39]. 4 The d-diameter of a set M ⊆ X is defined by sup (x,y)∈M 2 d(x, y).
following limit, as well as the independence from the choice of a Van Hove net. For some Van Hove net (A i ) i∈I one defines the topological entropy of ϕ as Furthermore if p : X → Y is a factor map onto some action ψ : G × Y → Y one defines with a similar argument the relative topological entropy (of p) as In particular there holds E(ϕ p → ψ) = E(ϕ), whenever Y is a single point. It is standard to define the topological entropy of an action of R as the restriction to the action of Z. We present next that in a similar way one obtains the relative topological entropy of an action as the scaled entropy of the restricted action to certain model sets and in particular any uniform lattice. This allows to transfer several Theorems proven for discrete amenable groups to our context.
To formulate the exact statement we need the following notions. We denote by |F| the cardinality of a set F and by μ the Haar measure on G. Furthermore we say, that a discrete subset ⊆ G has a well defined uniform density, if dens( ) := lim i∈I exists, is finite and is independent from the choice of the Van Hove net (A i ) i∈I . We refer to dens( ) as the uniform density of . Note that every uniform lattice has a well defined uniform density, which is given by dens( If is a uniform lattice, then there holds We extend Bowens formula beyond Z actions in the next result to actions of compactly generated locally compact abelian groups such as R d and Z d , which are the most common choices in the study of cut and project schemes. Theorem 1.5 Let ϕ, ψ and ρ be actions of an amenable group containing a countable uniform lattice on compact Hausdorff spaces X , Y and Z respectively. Let ψ be a factor of ϕ via factor map p and ρ be a factor of ψ via factor map q. Then there holds The article is structured as follows. In Sect. 2 we fix some notion. Section 3 is devoted to the proof of the Theorems 1.1 and 1.2. In Sect. 4 we present basic results from the theory of relative topological entropy. As the mentioned topology in the construction of Delone dynamical systems is naturally defined via the notion of a uniformity [7,50] and the corresponding arguments are well known [33,41,43,[56][57][58]60,61], we took the freedom to follow an idea from [19,30,41,59] and use the language of uniformities in order to prove the results for actions on compact Hausdorff spaces. The approach via uniformities also yields tools to provide the equivalence of the definitions given in [55], our and the classical definitions. In particular we show that the implicit dependencies on Van Hove nets in [9,32,34] can be dropped. Theorem 1.4 is proven in Sect. 5. In Sect. 6 we present a proof of Theorem 1.5 and properties of the factor map p under which we obtain E(ϕ) = E(ψ).

Preliminaries
In this section we provide notion and background on topological groups, uniformities, topological dynamical systems, amenable groups, Van Hove nets and uniform lattices.

Topological Groups
Consider a group G. We write e G for the neutral element in G. For subsets A, B ⊆ G the Minkowski product is defined as AB := {ab; (a, b) ∈ A × B}. For A ⊆ G and g ∈ G we denote Ag := A{g}, g A := {g}A, A c := G\A and the Minkowski inverse A −1 := {a −1 ; a ∈ A}. We call A ⊆ G symmetric, if A = A −1 . In order to omit brackets, we will use the convention, that the inverse and the complement are stronger binding than the Minkowski product, which is stronger binding than the remaining set theoretic operations. Note that the complement and the inverse commute, i.e.
A topological group is a group G equipped with a T 1 -topology 6 τ , such that the multiplication ·: G × G → G and the inverse function (·) −1 : G → G are continuous. With our definition every topological group is regular, hence Hausdorff, as shown in [31,Theorem 4.8].
An isomorphism of topological groups is a homeomorphism that is a group homomorphism as well. We write A for the closure and int(A) for the interior of a subset A ⊆ G. By K(G) we denote the set of all non-empty compact subsets of G.
If G is a locally compact group, a Haar measure on G is a non zero regular Borel measure μ on G, which satisfies μ(g A) = μ(A) = μ(Ag) for all g ∈ G and all Borel sets A ⊆ G. G is called unimodular, if it admits a Haar measure. There holds μ(U ) > 0 for all non empty open U ⊆ G and μ(K ) < ∞ for all compact K ⊆ G. A Haar measure is unique up to scaling, i.e. if μ and ν are Haar measures on G, then there is c > 0 such that μ(A) = cν(A) for all Borel measurable sets A ⊆ G. If nothing else is mentioned, we denote a Haar measure of a topological group G by μ. If G is discrete we equip G with the counting measure A → |A|, which is a Haar measure. Other examples of unimodular groups are all locally compact abelian groups or the Heisenberg group, as presented in Sect. 2.5 below. For reference see [15,24].

Compact Hausdorff Uniform Spaces
Let X be a set. A binary relation on X is a subset of X × X . For binary relations η and κ on X we denote the inverse η −1 : For a compact Hausdorff space X , we denote the diagonal X := {(x, x); x ∈ X } and call a neighbourhood of X in X 2 an entourage (of X ). The set of all entourages of X is referred to as the uniformity of X and usually denoted by U X . In this context we refer to (X , U X ) as a compact Hausdorff uniform space. Note that one can define general "uniform spaces", but as we are only interested in compact Hausdorff spaces, this definition works for us. For details and the general definition we recommend [35]. Note that we obtain our definition to be a restriction of the general definition from [35,Theorem 6.22] and [40,Theorem 32.3]. To obtain some geometric intuition for η ∈ U X we say that x is η-close to y, whenever (x, y) ∈ η. This notion is symmetric iff η is symmetric. We think of two elements to be "very close", whenever the pair is η-close for "many" entourages η. Note that if x is η-close to y and y is κ-close to z, then x is ηκ-close to z.
A subfamily B X ⊆ U X is called a base for U X , if every entourage contains a member of B X . An entourage η ∈ U X is called open (or closed), whenever it is open (or closed) as a subset of X × X . Note that the family of all open and symmetric entourages of X forms a base of the uniformity of X .

Actions of a Group on a Topological Space
Let G be a topological group and X be a topological space. A continuous map ϕ : G × X → X is called an action of G on X (also dynamical system or flow), whenever ϕ(e G , ·) is the identity on X and for all g, g ∈ G there holds ϕ(g, ϕ(g , ·)) = ϕ(gg , ·). We write ϕ g := ϕ(g, ·) : X → X for all g ∈ G. In this context X is called the phase space of the action. If ϕ and ψ are actions of a topological group G on topological spaces X and Y respectively, we call a surjective continuous map p : We then refer to ψ as a factor of ϕ and write ϕ p → ψ. If p is in addition a homeomorphism, then p is called a topological conjugacy and we call ϕ and ψ topologically conjugate.

Amenable Groups and Van Hove Nets
A partially ordered set (I , ≥) is said to be directed, if I is not empty and if every finite subset of I has an upper bound. A map f from a directed set I to a set X is called a net in X . We also write x i for f (i) and (x i ) i∈I for f . A net (x i ) i∈I in a topological space X is said to converge to x ∈ X , if for every open neighbourhood U of x, there exists j ∈ I such that x i ∈ U for all i ≥ j. In this case we also write lim i∈I x i = x. For a net (x i ) i∈I in R ∪ {−∞, ∞}, we define lim sup i∈I x i := inf i∈I sup j≥i x j and similarly lim inf i∈I x i . Note that (x i ) i∈I converges to x ∈ R ∪ {−∞, ∞}, iff there holds lim sup i∈I x i = x = lim inf i∈I x i . For more details, see [18,35].
Let G be a unimodular group. For K , A ⊆ G we define the K -boundary of A as We use the convention, that the Minkowski operations and the complement are stronger binding than the operation of taking the K -boundary and that the set theoretic operations (except from forming the complement) are weaker binding. From the definition we obtain that K → ∂ K A is monotone. Note that ∂ K A is the set of all elements g ∈ G such that K −1 g intersects both A and A c .
Proof Straight forward arguments show (ii) and the first statement in (i). To see A unimodular group is called amenable whenever it contains a Van Hove net.

Remark 2.2 (i)
A finally somewhere dense net (A i ) i∈I of compact sets is a Van Hove net iff for all symmetric compact sets K the Van Hove condition (2) is satisfied. Indeed, if K is an arbitrary non empty but compact set we can choose k ∈ K and obtain holds and K −1 K is symmetric and contains e G we obtain the claim. (ii) A straight forward computation shows ∂ K A = K A\ int k∈K k A for K ⊆ G compact and A ⊆ G. If we assume in addition e G ∈ K = K −1 , then another computation Thus the definitions of the Kboundary given above; in [54]; 8 in [50] and in [23], coincide, whenever e G ∈ K = K −1 . As the discussed terms are monotone in K , we can adapt the arguments given in (i) to see that all definitions of K -boundary yield equivalent definitions of Van Hove nets. (iii) We call a finally somewhere dense net Proof It clearly suffices to consider the case To show lim i∈I

Uniform Lattices in Locally Compact Topological Groups
Let G be a locally compact topological group. A discrete subgroup ⊆ G is called a uniform lattice, whenever it is co-compact, i.e. whenever G is compact. A fundamental domain of is a subset C ⊆ G such that each element of G can be written in a unique way as g = cz with c ∈ C and z ∈ . Remark 2.4 (i) Every uniform lattice allows the choice of a pre-compact 9 and Borel measurable fundamental domain C such that e G ∈ C and such that 0 < μ(C) ≤ μ(C) < ∞. Whenever we consider a fundamental domain we will assume such a choice. To see that such a choice is possible consider a pre-compact and open neighbourhood of e G such that U −1 U ∩ = {e G } and a compact set K ⊆ G such that K = G. Without lost of generality we assume e G ∈ K . Let furthermore (k n ) N n=1 be a finite sequence in K such that k 1 = e G and such that N n=1 (k n U ) ⊇ K . Then satisfies the considered properties. (ii) By [15, Theorem 9.1.6] every locally compact group that contains a uniform lattice is unimodular. If F ⊆ is finite, then the finite union z∈F Cz is disjoint and measurable. Thus by the right invariance of the Haar measure there holds μ(C F) = z∈F μ(Cz) = μ(C)|F|. 9 A subset A of a topological space X is called pre-compact, whenever the closure A is compact in X . H is a compact abelian group and a, b ∈ N

Remark 3.1
For the origins of the ideas of a proof of the Ornstein-Weiss lemma in countable amenable groups see [43,57] and in particular [29, 1.3.1]. These ideas are furthermore considered in [16,33,37]. The corresponding arguments are worked out in detail for discrete amenable groups and even for discrete amenable semigroups in [13,36,58]. In the last part of the arguments presented in [29] one uses that sup D∈K(G) f (D)/μ(D) < ∞ and in particular that this boundedness holds for D ∈ K(G) with small Haar measure, which are "spread out" a lot over G. See [36] for detail. In the discrete case f (M) ≤ |M| f ({e G }) follows easily from the right invariance and the subadditivity. Note that adding this relative boundedness to the assumptions on f it is shown in [47] that a modified version of the Ornstein-Weiss lemma remains valid also for the groups considered in our context. However this boundedness assumption is not satisfied for the functions which are considered in the definition of topological entropy as we discuss in Remark 4.6(iv) below.

Extrapolation from a Uniform Lattice
We will first construct Van Hove nets in a uniform lattice ⊆ G from Van Hove nets in G with properties that allow to extract the validity of the Ornstein-Weiss lemma from the lattice.

Lemma 3.2 Let G be an amenable group and be a uniform lattice in G with fundamental domain C. Then for every Van Hove net (A i ) i∈I in G there exist Van Hove nets (F i ) i∈I and (F i ) i∈I in that satisfy
Proof For i ∈ I let (A i ) i∈I be a Van Hove net in G. SetF i := {z ∈ ; Cz ⊆ A i } and F i := {z ∈ ; Cz ∩ A i = ∅}. Then (i) follows directly from these definitions. In order to simplify the notation letǍ i := CF i andÂ i := CF i for i ∈ I . Let furthermore K := CC −1 and note that e G ∈ K = K −1 . The complements and boundaries in this proof are taken with respect to G unless otherwise mentioned. For z ∈ we know that z / ∈ C −1 A c i is equivalent to Cz ∩ A c i = ∅ and thus obtainF i = \ C −1 A c i . A similar argument yieldŝ Before we show that (F i ) i∈I and (F i ) i∈I are Van Hove nets in we will show that the ratio of their cardinalities tends to 1, i.e. (ii). We We will need both inclusions later in this proof, but for now obtain from the first one that We will finish the proof by showing that (F i ) i∈I and (F i ) i∈I are Van Hove nets. To do this consider a finite set F ∈ and set L := C F. From (ii) we know the existence of j ∈ I such that for all i ≥ j there holds We thus obtain for all i ≥ j that Denoting the F-boundary taken of a subset E with respect to or G by ∂ F E or ∂ G F E, respectively, we use that C is a fundamental domain to get As L K is compact and (A i ) i∈I is a Van Hove net in G we obtain (F i ) i∈I to be a Van Hove net in . Similarly one shows (F i ) i∈I to be a Van Hove net.
From the next theorem we obtain that every amenable group that contains a uniform lattice satisfies the Ornstein-Weiss lemma, i.e. the statement of Theorem 1.1.

holds for any Van Hove net (F j ) j∈J in a uniform lattice ⊆ G with fundamental domain C.
Proof Let C be a fundamental domain of in G and note that K( ) is the set of finite subsets of . In order to use that every discrete amenable group satisfies the Ornstein-Weiss lemma, we define It is straight forward to see, that f is right invariant and monotone. In order to show, that f is subadditive let F, F ∈ K( ). As C(F ∪ F ) ⊆ C F ∪ C F we obtain from the monotonicity and the subadditivity of f that Let now (A i ) i∈I be a Van Hove net in G and (F j ) j∈J be a Van Hove net in . By Lemma 3.2 there are Van Hove nets (F i ) i∈I and (F i ) i∈I such that CF i ⊆ A i ⊆ CF i for all i ∈ I and lim i∈I |F i ||F i | −1 = 1. As A i is closed, we get furthermore CF i ⊆ A i ⊆ CF i and hence Note that is a discrete amenable group by Lemma 3.2 and thus satisfies the Ornstein-Weiss lemma. This implies the existence of the following limits and Let ε > 0. As lim i∈I |F i ||F i | −1 = 1 and |F i | ≤ |F i | for all i ∈ I there is j ∈ I , such that for all i ≥ j there holds |F i | ≤ (1 + ε)|F i | and hence Thus for j ≥ i there holds We obtain for every ε > 0 that This shows that the limit μ(C) lim i∈I μ(A i ) exists and that it equals the limits in (5). In particular it does not depend on the choice of (A i ) i∈I .
If (G, H , ) is a CPS we know that G × H contains a uniform lattice and in order to show that G satisfies the Ornstein-Weiss lemma one could hope that the properties of a CPS also imply that G contains a uniform lattice. The next example was already studied in [39] and shows that there are CPS with a physical space that contains no uniform lattices. Nevertheless we can obtain all physical spaces of CPS to satisfy the Ornstein-Weiss lemma from the following result, which we already stated in Theorem 1.2.

Theorem 3.5 If G and H are amenable groups such that G × H satisfies the Ornstein-Weiss lemma, then G and H satisfy the Ornstein-Weiss lemma.
To prove this theorem we need the following.

Lemma 3.6 Let G and H be unimodular groups and assume that (A i ) i∈I and (B j ) j∈J are Van Hove nets in G and H respectively. Then (A i × B j ) (i× j)∈I ×J is a Van Hove net in G × H, where I × J is ordered component wise.
Proof Consider a compact subset M ⊆ G × H and let K := π G (M) and C := π H (M) the projections. A straight forward computation shows for all i ∈ I and j ∈ J . Thus Proposition 2.3 yields

This shows h(A× B) = f (A)μ H (B) for compact subsets A ⊆ G and B ⊆ H . By Lemma 3.6 we obtain that (A i × B j ) (i, j)∈I ×J is a Van Hove net in G × H . As G × H satisfies the Ornstein-Weiss lemma this implies that
converges to a limit independent from (A i ) i∈I and we obtain that G satisfies the Ornstein Weiss lemma.

Basics of Entropy Theory
During this section let G be an amenable group that satisfies the Ornstein-Weiss lemma.

Bowen Entourage
For an action ϕ : G × X → X on a compact Hausdorff space, an entourage η ∈ U X and a compact subset A ⊆ G we define the Bowen entourage as We will show in Lemma 4.2 below that the Bowen entourage are indeed entourages of X . In order to omit brackets we will use the convention, that the operation of taking a Bowen entourage is a stronger operation than the product of entourages.

Remark 4.1 It is straight forward to show, that d A is a metric and that [d A < ε] = [d < ε]
A for all compact A ⊆ G and ε > 0. Proof Note that ϕ : A × X → X is a continuous mapping from a compact Hausdorff space. Thus by [35,Theorem 6.31] (ϕ × ϕ) −1 (η) is contained in the uniformity of A × X . For κ ∈ U A and ϑ ∈ U X we set κ×ϑ := {(g, x, g , x ) ∈ (A × X ) × (A × X ); (g, g ) ∈ κ and (x, x ) ∈ ϑ}. As {κ×ϑ; κ ∈ U A and ϑ ∈ U X } is a base for the product uniformity on A × X there are κ ∈ U A and ϑ ∈ U X with For (x, x ) ∈ ϑ and g ∈ A there holds (g, x, g, x ) ∈ κ×ϑ and we obtain (ϕ g (x), ϕ g (y)) ∈ η. This proves ϑ ⊆ η A and hence η A ∈ U X .
The following is straight forward to prove and justifies to write η AB for η (AB) = (η A ) B .

Relative Topological Entropy
The following approach to relative topological entropy is inspired by the approach to topological entropy of Z-actions on compact metric spaces via sets of small diameter, given in [11,Sect. 2.5]. Consider first a compact Hausdorff space X and η ∈ U X . A well known argument shows that K(G) A → log(cov p (η A )) is monotone, right invariant and subadditive for every η ∈ U X . Thus the limit in the following definition of relative topological entropy exists and is independent from the choice of a Van Hove net.

Definition 4.5
Let ϕ be an action of G on a compact Hausdorff space X and ψ be a factor of ϕ via factor map p. For some Van Hove net (A i ) i∈I and η ∈ U X , we define We furthermore define the relative topological entropy of ϕ relative to ψ as The topological entropy of ϕ is defined as the relative topological entropy relative to the one point flow. Note that in this case cov p (η) = cov X (η) is the minimal cardinality of an open covering of X of scale η.  to obtain the definition given in the introduction. (iii) If X is a compact Hausdorff space, then { U ∈U U 2 ; U finite open cover of X } is a base of the uniformity of X . Using this base one obtains the definitions used in [55]. (iv) Consider the continuous rotation R × T → T : (g, x) → g + x mod 1 with for all ε, δ > 0, where B ε denotes the centred closed ball of radius ε. We thus obtain that A → log(cov T ([d < δ] A ))μ(A) −1 is not bounded, whenever δ is chosen small enough. This observation is the reason why we can not assume the boundedness of [47]. Compare with Remark 3.1.

Relative Topological Entropy via Spanning and Separating Sets
It is well known that one can also define topological entropy of Z-actions on compact metric spaces in terms of separated and of spanning sets [10,11]. In [30] this approach is generalized to Z-actions of compact Hausdorff spaces. As this approach is important in the context of aperiodic order [9,23,34] we give a brief recap. Consider a compact Hausdorff space X .

Definition 4.7
For η ∈ U X a subset S ⊆ X is called η-separated, if for every s ∈ S there is no further element in S that is η-close to s. Furthermore we say that S ⊆ X is η-spanning for M ⊆ X , if for all m ∈ M there is s ∈ S such that s is η-close to m or m is η-close to s.
With similar arguments as used in metric spaces we obtain the following lemma. Unfortunately the Ornstein-Weiss lemma can not be applied directly to these notions. Nevertheless we use cov p to show that spa p and sep p can be used to define entropy independently from the choice of a Van Hove net. A straight forward argument shows the following.

Lemma 4.11
Let η ∈ U X and p : X → Y be a map to a set Y . Then there exists an entourage ϑ ∈ U X with ϑ ⊆ η such that for every compact A ⊆ G there holds Theorem 4.12 Let ϕ : G × X → X be an action of G, on a compact Hausdorff space X . Let furthermore ψ be a factor of ϕ with factor map p. There holds for any Van Hove net (A i ) i∈I in G and any base B X of U X . Furthermore the statement remains valid after replacing the limit superior by a limit inferior.
Proof As lim sup i∈I log(spa p (η A i ))/μ(A i ) and the other similar terms are increasing, whenever η is decreasing with respect to set inclusion, it suffices to show the statement for B X = U X . By Lemma 4.11 it is immediate that for any η ∈ U X there holds Taking the supremum over η yields the first equality. Similar arguments show the statements about sep and the limit inferior.

Relative Topological Entropy via Lattices
In this section we provide a proof for Theorem Proof Let K be a compact and symmetric subset of G that contains e G and such that K = G. Let furthermore M be a compact and symmetric neighbourhood of K . Then there holds Furthermore a straight forward argument shows and we obtain (A i \∂ M A i ) i∈I to be a Van Hove net in G. As M is a compact neighbourhood we obtain A i \∂ M A i ⊆ A i \∂ K A i and one easily shows Thus the statement follows from dens( ) = lim i∈I Proof The second equality in (i) follows from the first as in the proof of Theorem 4.12. To show the first equality consider a compact subset K ⊆ G with K = G. From Proposition 5.1 we obtain This shows (i). To show (ii) note first that every uniform lattice has a well defined uniform density which is given by dens( ) = μ(C) −1 for any fundamental domain C ⊆ G of . We use Theorem 3.3 to obtain that for any Van Hove net (E i ) i∈I in there holds follows similarly as in (i) we obtain the statement.

Remark 5.3
Note that for n ∈ N the set {0, . . . , n−1} is a fundamental domain for the uniform lattice nZ in Z. We thus obtain from Theorem 5.2 for every homeomorphism f : X → X the well known formula n E( f ) = E( f n ). Here E(g) abbreviates the topological entropy of the flow ϕ : Z × X → X with ϕ(n, x) = g n (x) for a homeomorphism g : X → X . Thus E( f n ) is the entropy of the flow (m, x) → f m (x) restricted to nZ × X → X .

Remark 6.1
If we take ρ as the action on a one point space, we obtain the classical formulation of Bowen's formula for the entropy of factors from the second inequality. Furthermore we obtain E(ϕ) = E(ϕ p → ψ), whenever E(ψ) = 0; and E(ϕ) = E(ψ), whenever E(ϕ p → ψ) = 0. If we assume G to be non-compact and X and Y to be compact metrizable spaces the latter assumption E(ϕ p → ψ) = 0 is satisfied under each of the following conditions.
(i) p is a distal factor map, i.e. for y ∈ Y all pairs of distinct points in p −1 (y) are distal. 10 (ii) p is a countable to one factor map, i.e. for y ∈ Y the fiber p −1 (y) is countable.

Proof
The statement in (i) implies p to be a distal factor map from the action ϕ ×X to ψ ×Y for every countable uniform lattice ⊆ G. We thus obtain the statement from [58, Corollary 6.7] and Theorem 5.2. We get (ii) directly from [58, Theorem 5.7] and Theorem 5.2. Note that we restrict to metric spaces, as the statements in [58] are presented for compact metric spaces.

Measure Theoretic Relative Entropy for Actions of Countable Discrete Amenable Groups
We give a brief introduction into the theory of measure theoretical relative entropy of actions of discrete amenable groups, presented in various texts, such as [14,21,41,[56][57][58], in order to state the variational principle and the Rohlin-Abramov theorem. Let X be a compact Hausdorff space. By B X we denote the Borel σ -algebra. Furthermore we denote the set of all regular Borel probability measures by M(X ). By the Riesz-Markov theorem we can identify M(X ) with the convex cone base of all positive functionals in C(X ) that map the unit (X → R; x → 1) to 1. We equip M(X ) with the restricted weak*-topology and obtain a compact topological space from the Banach-Alaoglu theorem. For a reference see [22,Theorem E.11].
A family α of pairwise disjoint Borel-measurable non empty subsets of X with union X is called a measurable partition of X . We denote the set of all finite partitions of X by P X . The refinement of two partitions α, β ∈ P X is the partition α ∨ β := {A ∩ B; A ∈ α and B ∈ β}\{∅}. Similarly the refinement of a finite number of partitions is defined. Let ϕ : × X → X be an action of a countable discrete amenable group on a compact Hausdorff space. For a finite subset F ⊆ we denote by α F the refinement of the partitions {(ϕ g ) −1 (A); A ∈ α}, where g ranges over F. A measure ν ∈ M(X ) is called ϕinvariant, if ν(A) = ν(ϕ g (A)) for every g ∈ G. We denote by M ϕ the set of all ϕ-invariant ν ∈ M(X ). Every continuous map p : X → Y to some compact Hausdorff space is measurable with respect to the Borel σ -algebras and p −1 (B Y ) is a sub-σ -algebra of B X . For A ∈ B X and ν ∈ M ϕ let E ν, p (χ A ) be the conditional expectation of the characteristic function χ A of A with respect to p −1 (B X ). For α ∈ P X we define As presented in [58] the Ornstein-Weiss lemma can be applied to F ( ) F → H ν, p (α F ) for every α ∈ P X to obtain that E ν (α|ϕ p → ψ) := lim i∈I H ν, p (α F i )|F i | −1 exists and is independent of the choice of the Van Hove net (F i ) i∈I in . The relative measure theoretical entropy of ϕ under the condition ψ is given by The Rohlin-Abramov theorem for actions of countable amenable groups appeared firstly in [57] and can be also found in [14,20,25,58]. For a continuous surjective mapping p : X → Y between compact Hausdorff spaces and a ν ∈ M(X ) the push forward measure is defined by p * ν ∈ M(Y ) by p * ν(M) := ν( p −1 (M)) for M ∈ B Y . Proposition 6.2 (Rohlin-Abramov Theorem) Let ϕ, ψ and ρ be actions of a countable discrete amenable group on compact Hausdorff spaces X , Y and Z respectively. Let ψ be a factor of ϕ via the factor map p and ρ be a factor of ψ via the factor map q, i.e. ϕ p → ψ q → ρ. Then for (ν X , ν Y , ν Z ) ∈ M ϕ (X )×M ψ (Y )×M ρ (Z ) that satisfy p * ν X = ν Y and q * ν Y = ν Z there holds The following version of a variational principle is valid in our context. Theorem 6.3 Let ϕ be an action of an amenable group G, containing a countable uniform lattice , on a compact Hausdorff space X and let ψ be a factor of ϕ via p : X → Y . Then Proof By Theorem 5.2 it remains to show that A proof can be found in [42,53] and goes back to [17,26,27].
For the proof of Theorem 1.5 we need a further ingredient. By a standard Krylov-Bogolyubov procedure one obtains the following. Lemma 6.4 Let ϕ be an action of a discrete amenable group on a compact topological space X and ψ be a factor of ϕ via factor map p. Then the restricted push forward operation p * : M ϕ → M ψ is surjective.

Proof of Theorem 1.5
Proof of Theorem 1.5 Let ϕ, ψ and ρ be actions of an amenable group containing a countable uniform lattice on compact Hausdorff spaces X , Y and Z respectively. Assume ϕ p → ψ q → ρ. Let C be a fundamental domain of . We abbreviate ϕ := ϕ ×X , ψ and ρ for the restrictions of the actions to the lattice. From Theorem 6.3 and Proposition 6.2 we obtain By Lemma 6.4 we observe and argue similarly to obtain E(ψ q → ρ) ≤ E(ϕ q• p → ρ). To finish the proof we compute