Abstract
We study the receptive metric entropy for semigroup actions on probability spaces, inspired by a similar notion of topological entropy introduced by Hofmann and Stoyanov (Adv Math 115:54–98, 1995). We analyze its basic properties and its relation with the classical metric entropy. In the case of semigroup actions on compact metric spaces we compare the receptive metric entropy with the receptive topological entropy looking for a Variational Principle. With this aim we propose several characterizations of the receptive topological entropy. Finally we introduce a receptive local metric entropy inspired by a notion by Bowen generalized in the classical setting of amenable group actions by Zheng and Chen, and we prove partial versions of the Brin–Katok Formula and the local Variational Principle.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [29] a general notion of receptive topological entropy (the term “receptive” was coined later on) was introduced and studied for a uniformly continous action \(T:G\times X \rightarrow X\) of a locally compact semigroup G on a metric space (X, d). The concept defined there depends on a system \(\Gamma = (N_0, N_{1},\ldots ,N_{n},\ldots )\) of compact subsets of the acting semigroup G satisfying \(N_{k} N_{m} \subseteq N_{k+m}\) for every \(k,m\in \mathbb {Z}_+\); such \(\Gamma \) is called a regular system in G. The receptive topological entropy of T with respect to \(\Gamma \) is defined by
where \(s_n(\epsilon ,K,T)\) is the maximum size of an \((n,\epsilon )\)-separated set of K (i.e., a set \(E \subseteq K\) such that for any distinct \(x,y \in E\) there exists \(g \in N_n\) with \(d(gx,gy) > \epsilon \)).
In case \(G=\mathbb {Z}_+\), the action T is generated by the uniformly continuous selfmap \(f=T(1,-):X\rightarrow X\), and taking \(N_n=[0,n]\) for every \(n\in \mathbb {Z}_+\), the receptive topological entropy \(\tilde{h}(T,\Gamma )\) coincides with the classical Bowen–Dinaburg’s topological entropy h(f). As in that situation, in (1.1) one can use the so called \((n,\epsilon )\)-spanning sets and \(r_n(\epsilon ,K,T)\) (see Sect. 4.1).
A topological entropy similar to (1.1) was studied, albeit in a different context, by Ghys, Langevin and Walczak [26], and later by Biś [2].
In the present paper we study a natural similar definition of a receptive metric entropy \(\tilde{h}_\mu (T,\Gamma )\) of a measure-preserving action \(T:G\times X\rightarrow X\) of a discrete semigroup G on a probability space \((X,\mu )\) with respect to a regular system \((N_n)_{n\in \mathbb {N}}\) in G. Also in this case, for \(G=\mathbb {Z}_+\), \(f=T(1,-)\) and \(\Gamma =([0,n])_{n\in \mathbb {N}_+}\), the receptive metric entropy \(\tilde{h}_\mu (T,\Gamma )\) coincides with the classical metric entropy \(h_\mu (f)\) by Kolmogorov and Sinai.
The dependence of the receptive entropies on the regular system \(\Gamma \) is present starting from the classical case of actions of \({\mathbb {Z}}_{+}\). Indeed the regular system \(\Gamma =([0,n])_{n\in \mathbb {Z}_+}\) is accepted as natural and is very rarely mentioned explicitly, however, in general \(\tilde{h}(T,\Gamma )\) varies with \(\Gamma \). Kushnirenko [32] pointed this out for the case of the metric entropy of measure-preserving selfmaps f. He defined the concept of a metric A-entropy of f, where \(A=(t_{n})_{n\in \mathbb {Z}_+}\) is a sequence of positive integers. In particular, he proved that for \(A=(2^{n})_{n\in \mathbb {Z}_+}\), the metric A-entropy is different from the classical metric entropy, which corresponds to the choice \(A=(n)_{n\in \mathbb {Z}_+}\). A similar topological concept, called topological sequence entropy, was introduced and studied several years later by Goodman [25], who also investigated the relationship between his concept and the measure-theoretic analogue defined by Kushnirenko. After that there has been a significant activity in studying both kinds of sequence entropies – see for example [9, 11, 22, 33].
On the other hand, there exist well-known definitions of metric entropy \(h_\mu \) and topological entropy h for amenable group and semigroup actions (see for example [10, 18, 20, 36, 38, 42, 43] for these notions and their main properties) and in this case the value of the entropy does not depend on the choice of the Følner sequence used in the definition. However, with these classical definitions, both the metric and the topological entropy are frequently zero (see Sects. 2.3 and 4.2 below). For example this is the case for smooth actions T of \({\mathbb {Z}}_{+}^{k}\), with \(k > 1\), on manifolds: as mentioned in [29], while \(h(T)=0\), the receptive topological entropy \(\tilde{h}(T)\) is not trivially zero. Other examples are given below where \(\tilde{h}_\mu (T)\) and \(\tilde{h}(T)\) are non-zero, while the classical entropies \(h_\mu (T)\) and h(T) are both zero. Conversely, as one can see from the definitions, when \(h_\mu (T)\) or h(T) is non-zero our definitions produce \(\infty \).
In this paper first of all, in Sect. 2 we study the basic properties of the receptive metric entropy \(\tilde{h}_\mu (T,\Gamma )\) of a measure-preserving action \(T:G\times X\rightarrow X\) on a probability space \((X,\mu )\), where \(\Gamma \) is a regular system in G. We compare \(\tilde{h}_\mu (T,\Gamma )\) with the classical metric entropy \(h_\mu (T)\) in case \(\Gamma \) is also a Følner sequence (see Sect. 2.3), and we point out that the receptive metric entropy does not vanish in many of the cases when the classical one does (see Proposition 2.11 and Example 2.12). Further properties concerning restriction actions and products of actions are discussed in Sect. 3.
The receptive topological entropy \(\tilde{h}(T,\Gamma )\) is recalled in Sect. 4, together with some results from [29]. Also in this case we recall that several natural actions where the receptive topological entropy does not vanish while the classical one does (see [29] and also [44]).
In Sect. 5 we propose several different versions of the receptive topological entropy. We start considering a version using open covers for continuous actions on compact topological spaces, following the classical idea of Adler, Konhein and McAndrew [1].
We generalize a well-known notion by Bowen [7] defining a receptive-like entropy \(b(T,\Gamma )\) for a continuous action \(T:G\times X\rightarrow X\) of a semigroup G on a compact metric space X, where \(\Gamma \) is a regular system in G. Then \(b(T,\Gamma )\le \tilde{h}(T,\Gamma )\), and the equality \(b(T,\Gamma )=\tilde{h}(T,\Gamma )\) holds when G is commutative and finitely generated and \(\Gamma \) is standard (i.e., \(N_1\) generates G and \(N_n=N_1^n\) for every \(n\in \mathbb {Z}_+\)). This is proved in Theorem 5.5, which very roughly follows the line of [7], but its proof is more subtle and requires much more effort and computations.
It turns out that this receptive entropy \(b(T,\Gamma )\) coincides with another entropy-like quantity \(c(T,\Gamma )\) defined by using some ideas of Pesin [40] (see Theorem 5.8).
In Sect. 6, we discuss the relation of the receptive topological entropy with the receptive metric entropy, looking for some Variational Principle. Following [49, Chapter 6], for a compact metric space X we consider Borel probability measures on X having as \(\sigma \)-algebra of measurable sets precisely the \(\sigma \)-algebra of Borel sets; any such measure is necessarily inner and outer regular [49, Theorem 6.1]. The classical Variational Principle due to Goodwyn [27] and Goodman [24] states that, in case \(G=\mathbb {Z}_+\) and \(f=T(1,-):X\rightarrow X\) is a continuous selfmap of the compact metric space X, then
It is well-known that the Variational Principle holds also for continuous actions of amenable groups or of countable cancellative semigroups on compact metric spaces, for the classical topological and metric entropy defined by means of a Følner sequence (see [38, 39] and [36, 46] respectively).
We conjecture that the Variational Principle holds for the receptive topological entropy and the receptive metric entropy (see Conjecture 6.3): if G is a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G and \(T:G\times X\rightarrow X\) a continuous action on a compact metric space X, denote by M(X, T) the family of all T-invariant Borel probability measure on X and assume that M(X, T) is non-empty; then
This remains an open problem, nevertheless we prove some partial results. We give also a brief comment on the algebraic entropy and its connection to the topological entropy both in the classical and in the “receptive” cases.
To further clarify the relationships between the concepts considered in this paper, for a semigroup action \(T:G\times X\rightarrow X\) on a compact metric space X and \(\Gamma \) a regular system in G, in Sect. 7 we introduce a receptive local metric entropy \(\underline{h}_\mu ^{loc}(T,\Gamma )\), where \(\mu \) is a Borel probability measure on X; this is defined by
where \(h_\mu ^{loc}(x)\) is the receptive local metric entropy at \(x \in X\). The latter entropy was defined in [3] in the case when the acting semigroup is a finitely generated group and the regular system is standard, while an analogous local metric entropy was defined in [51] for actions of amenable groups. All these authors were inspired by a similar notion by Brin and Katok [8].
We prove that, when \(\mu \) is a T-invariant Borel probability measure on X,
(see Theorem 7.4) in the spirit of the Brin–Katok Formula. It remains an open problem to verify whether equality holds (see Question 7.5), under suitable hypotheses, as it is known for the classical case of countable amenable group actions studied by Zheng and Chen [51]. A positive response to this problem would ensure one of the inequalities in the Variational Principle (1.2) in view of the following argument.
In the classical setting of countable amenable group actions a local version of the Variational Principle was established by Zheng and Chen [51], by using a version of topological entropy inspired by the one by Bowen [7]. So, we conjecture that also in our setting, possibly under suitable hypotheses, a “local Variational Principle” holds (see Conjecture 7.7): if G is a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G, \(T:G\times X\rightarrow X\) a continuous action on a compact metric space X, then
This was proved for \(\mathbb {Z}_+\)-actions by Feng and Huang [21, Theorem 1.2]. On the other hand, the inequality \(\ge \) in (1.4) can be proved by applying Theorem 5.5 and Theorem 5.8, as follows. In Theorem 7.8 we show the intermediate inequality \(\tilde{h}(T,\Gamma )\ge \underline{S}_{\mu }(T,\Gamma )\), where \(\underline{S}_\mu (T,\Gamma )\) denotes the essential supremum of the measurable function \(h_{\mu }^{loc}:X\rightarrow \mathbb {R}_{\ge 0}\). As \(\underline{S}_{\mu }(T,\Gamma ) \ge \underline{h}_\mu ^{loc}(T,\Gamma )\), we get half of the local Variational Principle, namely, the inequality \(\ge \) in (1.4). Nevertheless, also in this case the problem of the validity of the local Variational Principle (1.4) remains open.
The conjecture on the validity of the local Variational Principle in (1.4) is supported also by a similar result obtained in [31] for the so-called slow entropy. Indeed, starting from the above-mentioned problem that the classical metric and topological entropy vanish very often, Katok and Thouvenot [30] proposed a notion of slow metric entropy for \(\mathbb {Z}^d\)-actions (see also Hochman [28]. A slow topological entropy inspired by Bowen’s topological entropy from [7] was introduced by Kong and Chen [31] for \(\mathbb {Z}^d\)-actions on compact metric spaces (note that the slow topological entropy does not coincide with the classical one even in the case \(d=1\)). In the same setting, Kong and Chen introduced also a notion of slow lower local metric entropy (which does not coincide with that in [30]) and proved that the counterpart of the local Variational Principle for the slow entropies holds.
We warmly thank the referees for their careful reading and useful comments and suggestions.
1.1 Notation and Terminology
For a set X we denote by \(\mathrm {cov}(X)\) the set of covers of X and by \(\mathrm {par}(X)\) the set of partitions of X. For \(\mathcal {E}_1,\mathcal {E}_2, \ldots , \mathcal {E}_k\in \mathrm {cov}(X)\) let
If \(\mathcal {E}_1,\mathcal {E}_2, \ldots ,\mathcal {E}_k\in \mathrm {par}(X)\), then \(\bigvee _{i=1}^k \mathcal {E}_i\in \mathrm {par}(X)\) as well. For a topological space X we denote by \(\mathfrak {cov}(X)\) the subfamily of \(\mathrm {cov}(X)\) consisting of open covers of X. If X is a measure space with a probability measure we denote by \(\underline{\mathfrak {par}}(X)\) the subfamily of \(\mathrm {par}(X)\) consisting of finite partitions of X by means of measurable subsets.
The set \(\mathrm {cov}(X)\) carries a natural preorder: if \(\mathcal {E}\) and \(\mathcal {A}\) are families of subsets of a set X we write \(\AA \prec \mathcal {E}\) if \(\mathcal {E}\) refines \(\mathcal {A}\), i.e., every \(E \in \mathcal {E}\) is contained in some element of \(\mathcal {A}\). If \(\mathcal {E}\) and \(\mathcal {A}\) are partitions of X, then \(\AA \prec \mathcal {E}\) implies that every \(A \in \mathcal {A}\) is a union of elements of \(\mathcal {E}\).
If \(T:G \times X\rightarrow X,\ T(g,x) = g\, x ,\) is an action of a semigroup G on a set X, for \(g\in G\) we use the notation g also for the selfmap \(g:x\mapsto gx\) of X and in such a sense we write \(g^{-1}A\) to denote the inverse image of a subset A of X under this selfmap. For \(g\in G \) and \(\mathcal {A}\in \mathrm {cov}(X)\) we let \(g^{-1} \AA = \{g^{-1}A :A \in \mathcal {A}\}\).
Remark 1.1
In this sense, when G acts on a topological space X by continuous self-maps, this action induces also an action of G on the lattice of open sets of X by \(U\mapsto g^{-1}U\) and consequently also on \(\mathfrak {cov}(X)\).
Furthermore, when G acts on a probability space X by measure-preserving self-maps, then G acts also on the Boolean \(\sigma \)-algebra of measurable sets of X, by \(B\mapsto g^{-1}B\), and consequently also on \(\underline{\mathfrak {par}}(X)\).
We consider only semigroups G with identity e and actions \(T:G\times X\rightarrow X\) such that \(T(e,-)=id_X\).
1.2 Regular Systems
Definition 1.2
A regular system in a semigroup G is by definition a sequence of subsets of G of the form \(\Gamma = (N_0, N_{1}, \ldots ,N_{n}, \ldots )\) such that
Throughout this paper we assume that all sets \(N_n\) are finite in a regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\).
Example 1.3
A prominent example of regular system is obtained by taking in (1.5) a finite set \(N_1\) of generators of a finitely generated semigroup G with \(N_0 \subseteq N_1\) (and so \(e\in N_1\)) and \(N_m=N_1^m\) for all \(m\ge 1\). Following [29], we call such regular systems standard. Clearly, only finitely generated semigroups may have standard regular systems, in case \(G = \bigcup _{i=0}^\infty N_i\) is imposed.
Our main example is \(G = {\mathbb {Z}}^{k}\) (or \(G = \mathbb {Z}^k_+\)) with a standard regular system given, for \(n\in \mathbb {Z}_+\), by \(N_n = [-n,n]^k\) (respectively, \(N_n = [0,n]^k\)).
When \(T:G\times X\rightarrow X\) is an action of a semigroup G on a set X, given a regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) in G and a cover \(\mathcal {A}\) of X, define for every \(n\ge 1\) a cover of X by
Clearly, \(\mathcal {A}^n_\Gamma \) is a partition whenever \(\mathcal {A}\) is a partition. If the regular system is fixed we briefly write \(\mathcal {A}^n\) instead of \(\mathcal {A}^n_\Gamma .\)
2 Metric Entropy
2.1 Definition of the Receptive Metric Entropy
Assume that \((X, \mathcal {M}, \mu )\) is a probability space with a probability measure \(\mu \) defined on the \(\sigma \)-algebra \(\mathcal {M}\) of subsets of X, and let
be a measure-preserving action of G on X, i.e., the map \(g:X\rightarrow X\), \(x\mapsto gx\), is measure-preserving for all \(g \in G\). For a fixed regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) in G, we define the metric entropy \(\tilde{h}_\mu (T) = \tilde{h}_\mu (T,\Gamma )\) of T with respect to \(\Gamma \) essentially using the approach in [29]. Such definition in the case \(G = \mathbb {Z}^2\) was given in the honours thesis (diploma work) [47] of Leon Todorovich, however without much follow up.
Recall (see e.g. [49, Chapter 4]) that if \(\AA = \{A_1, A_2, \ldots , A_k\}\in \underline{\mathfrak {par}}(X)\), then the entropy of \(\mathcal {A}\) is defined by
with the usual agreement that \(0\, \log 0 = 0\). Since the measure \(\mu \) is T-invariant, it follows that \(H_\mu (g^{-1} \mathcal {A}) = H_\mu (\mathcal {A})\) for all \(g \in G\).
Definition 2.1
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G, and \((X,\mathcal M,\mu )\) a probability space. The receptive metric entropy of the measure-preserving action \(T:G\times X\rightarrow X\) with respect to \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\) and \(\Gamma \) is
The receptive metric entropy of T with respect to \(\Gamma \) is \(\tilde{h}_\mu (T,\Gamma ) = \sup \{\tilde{h}_{\mu } (T,\mathcal {A},\Gamma ): \mathcal {A}\in \underline{\mathfrak {par}}(X) \}.\)
When the system \(\Gamma \) is clear from the context and no confusion is possible, we shall omit \(\Gamma \).
Remark 2.2
In the classical case \(G = \mathbb {Z}_+\), consider the measure-preserving action \(T:G\times X\rightarrow X\) on the probability space \((X,\mathcal M,\mu )\) as a single measure-preserving transformation \(T :X\rightarrow X\) (i.e., \(T(1,-)=T\)). With respect to the standard regular system \(\Gamma =([0,n])_{n\in \mathbb {Z}_+}\),
so \(\tilde{h}_\mu (T)\) coincides with the Kolmogorov–Sinai metric entropy \( h_\mu (T)\) of T.
Example 2.3
The trivial action \(T:G\times X\rightarrow X\) of a semigroup G on a probability space \((X,\mathcal M,\mu )\) has always \(\tilde{h}_\mu (T) = 0\) with respect to any regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) in G. Indeed, for every \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\) one has \(\mathcal {A}_\Gamma ^n = \mathcal {A}\), so the limit in (2.2) is 0, hence \(\tilde{h}_\mu (T,\mathcal {A})=0\) regardless of \(\Gamma \). This gives \(\tilde{h}_\mu (T) = 0\). Similarly, \(\tilde{h}_\mu (T) = 0\) when G is finite.
Remark 2.4
The computation of the receptive measure entropy can be reduced to the case of faithful actions. Indeed, the measure-preserving action \(T:G\times X \rightarrow X\) of a semigroup G on a measure probability space \((X,\mathcal M,\mu )\) can be factorized in an obvious way through an action \(T':G' \times X \rightarrow X\) of a quotient \(G'\) of G that faithfully acts on X (i.e., if \(g x = x\) for all \(x\in X\), then \(g = e_{G'}\)). Since, given a regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) in G, for every \(n\ge 1\), \(\mathcal {A}^n_\Gamma \) coincides for both actions and for every \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\), we deduce that \(\tilde{h}_\mu (T,\mathcal {A})= \tilde{h}_\mu (T',\mathcal {A})\).
It follows immediately from the definition that the receptive metric entropy is a conjugacy invariant. This comes also from the following more general property of monotonicity (obtained with \(H=G\) and \(\eta = id_G\)):
Proposition 2.5
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G and \((X,\mathcal M,\mu )\) a probability space. Let \((Y,\mathcal {N}, \nu )\) be another probability space, let \(S:H \times Y\rightarrow Y\) be a measure-preserving action and let there exist a measure-preserving surjective map \(\varphi :X\rightarrow Y\) and a homomorphism \(\eta :G\rightarrow H\) with \(S(\eta (g), \varphi (x)) = \varphi (T(g,x))\) for all \(g \in G\) and \(x \in X\) (briefly, \(\eta (g)\circ \varphi =\varphi \circ g\) for every \(g\in G\)).
Then \(\tilde{h}_\nu (S,\eta (\Gamma )) \le \tilde{h}_\mu (T,\Gamma )\) with respect to a fixed regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) in G. If \(\eta \) is an isomorphism and \(\varphi \) is an isomorphism (i.e., \(\varphi \) is a bijection), then \(\tilde{h}_\nu (S,\eta (\Gamma )) = \tilde{h}_\mu (T,\Gamma )\).
Proof
Given \(\mathcal {B}= \{ B_1,B_2, \ldots , B_k\}\in \underline{\mathfrak {par}}(Y)\), \(\varphi ^{-1}(\mathcal {B}) = \{\varphi ^{-1}(B_1),\varphi ^{-1}(B_2), \ldots ,\varphi ^{-1}(B_k)\}\in \underline{\mathfrak {par}}(X)\) with \(\mu (\varphi ^{-1}(B_i)) = \nu (B_i)\) for all \(i\in \{1,2,\ldots ,k\}\), as \(\varphi \) is measure-preserving. Fixed \(n \ge 1\), we verify that
To this end, take \(B\in \varphi ^{-1}\left( \mathcal {B}^n_{\eta (\Gamma )}\right) \), i.e., \(B:=\varphi ^{-1}\left( \bigcap _{h\in \eta (N_n)}h^{-1}B_h\right) \) with \(B_h\in \mathcal {B}\) for every \(h\in \eta (N_n)\). Then
where for each \(h\in \eta (N_n)\) an element \(g\in N_n\) is chosen with \(\eta (g) = h\). This proves the inclusion \(\varphi ^{-1}\left( \mathcal {B}^n_{\eta (\Gamma )}\right) \subseteq (\varphi ^{-1}( \mathcal {B}))_\Gamma ^n\). Since these are partitions, we conclude that (2.3) holds. Since \(\varphi \) is measure-preserving, this implies
so \(\tilde{h}_\nu (S, \mathcal {B},\eta (\Gamma )) \le \tilde{h}_\mu (T, \varphi ^{-1}(\mathcal {B}),\Gamma )\le \tilde{h}_\mu (T,\Gamma )\). Therefore \(\tilde{h}_\nu (S, \eta (\Gamma )) \le \tilde{h}_\mu (T,\Gamma )\).
If \(\eta \) is an isomorphism and \(\varphi \) is an isomorphism too, taking \(\varphi ^{-1}\) and \(\eta ^{-1}\) in place of \(\varphi \) and \(\eta \), and \(\eta (\Gamma )\) in place of \(\Gamma \) (now \(\eta ^{-1}(\eta (\Gamma ))=\Gamma \)), the above argument gives \(\tilde{h}_\mu (T,\Gamma ) \le \tilde{h}_\nu (S,\eta (\Gamma ))\). So \(\tilde{h}_\mu (T,\Gamma ) = \tilde{h}_\nu (S,\eta (\Gamma ))\). \(\square \)
2.2 First Properties of the Receptive Metric Entropy
Proposition 2.6
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G, \((X,\mathcal M,\mu )\) a probability space and \(T:G\times X\rightarrow X\) be a measure-preserving action. Let \(p\ge 1\) be an integer and \(\Gamma ' =(N_{pn})_{n\in \mathbb {Z}_+}\). Then \(\tilde{h}_\mu (T,\mathcal {A},\Gamma ') = p \cdot \tilde{h}_\mu (T,\mathcal {A},\Gamma )\) for every \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\), and thus \(\tilde{h}_\mu (T,\Gamma ') = p\cdot \tilde{h}_\mu (T,\Gamma ).\)
Proof
Given \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\), it is enough to prove that
Since \(\frac{1}{np} H_\mu (\bigvee _{g\in N_{np}}g^{-1}A)\) is a subsequence of \(\frac{1}{n} H_\mu (\bigvee _{g\in N_n}g^{-1}A)\), we immediately get the inequality
To prove the converse inequality, note that there exists an increasing sequence of integers \((n_r)_{r\in \mathbb {Z}_+}\) with \(n_r\rightarrow \infty \) and such that
For every \(r \ge p\) put \(m_r := \lfloor \frac{n_r}{p}\rfloor \ge 1\), so that
Then
which, together with (2.5), implies
Hence (2.4) holds. \(\square \)
For a slight generalization of this property see [4, Remark 2.3(b)].
For \(G =\mathbb {Z}_+\) the equality \(\tilde{h}_\mu (T,\Gamma ') = p\cdot \tilde{h}_\mu (T,\Gamma )\) is known as “logarithmic law”, since it becomes \(h_\mu (T^p)=p\cdot h_\mu (T)\), where T is the measure-preserving transformation \(T(1,-)\) and \(\Gamma =([0,n])_{n\in \mathbb {Z}_+}\).
It is natural to compare the metric entropy of each individual map \(g\in G\) with \(\tilde{h}_\mu (T)\). It turns out that for elements \(g \in N_1\) the metric entropy of g is bounded above by \(\tilde{h}_\mu (T)\).
Proposition 2.7
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G, \((X,\mathcal M,\mu )\) a probability space and \(T:G\times X\rightarrow X\) a measure-preserving action. If \(g \in N_m\) for some integer \(m\ge 1\), then \(h_\mu (g) \le m\cdot \tilde{h}_\mu (T)\). Thus,
Proof
Let \(g \in N_m\). Given \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\), Remark 2.2 yields
Since \(g^i \in N_{n m}\) for all \(i\in \{0,1, \ldots , n\}\), it follows that
By well-known properties of partitions (see e.g. [49, Theorem 4.3]), \(\mathcal {B}\prec \mathcal {C}\) in \(\underline{\mathfrak {par}}(X)\) entails \(H_\mu (\mathcal {B}) \le H_\mu (\mathcal {C})\). Thus, letting \(\Gamma '=(N_{mn})_{n\in \mathbb {Z}_+}\) and applying Proposition 2.6 in the last equality, we deduce that
Therefore \(h_\mu (g) \le m\cdot \tilde{h}_\mu (T)\). \(\square \)
Remark 2.8
The receptive metric entropy of a measure-preserving action \(T:G\times X\rightarrow X\) as above depends on the choice of the regular system \(\Gamma \). One can be tempted to get rid of this dependence by taking
Proposition 2.6 shows that (2.7) cannot be a good remedy, as it can take only the values 0 and \(\infty \).
2.3 Classical Metric Entropy
Recall that a discrete countably infinite cancellative semigroup G is called left amenable if it admits a Følner sequence, i.e., a sequence \((F_n)_{n\in \mathbb {Z}_+}\) of finite subsets of G such that
For countably infinite groups left and right amenability coincide. Finite semigroups are obviously amenable.
The classical definition of metric entropy of a measure-preserving amenable semigroup action \(T:G \times X\rightarrow X\) on a probability space \((X,\mathcal M,\mu )\), such that \((N_n)_{n\in \mathbb {Z}_+}\) is a Følner sequence, is
where
See [10, 18, 42, 43]. In this case the limit is known to exist (see e.g. [10, Theorem 2.1]).
Example 2.9
When G is a finite semigroup, for a measure-preserving action \(T:G\times X\rightarrow X\) of G on the probability space \((X,\mathcal M,\mu )\), \(h_\mu (T,\mathcal {A})>0\) for every \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\) and one may even get \(h_\mu (T)= \infty \) if X has partitions \(\mathcal {A}\) with arbitrarily large \(H_\mu (\mathcal {A})\). This should be compared with the value 0 of \(\tilde{h}_\mu (T)\) when G is finite (see Example 2.3).
For \(G =\mathbb {Z}_+^k\) every standard regular system gives rise to a Følner sequence (see [4]), while in \(G = \mathbb {Z}_+\), \((N_n)_{n\in \mathbb {Z}_+}\) with \(N_n =\{0,2,4,\ldots ,2n\}\) for every \(n\in \mathbb {Z}_+\), is a regular system which is not a Følner sequence.
Remark 2.10
Let G be a semigroup and suppose that the regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) in G is a Følner sequence and satisfies
Let \(T:G\times X\rightarrow X\) be a measure-preserving action on a probability space \((X,\mathcal M,\mu )\). It then follows from the definitions that if for some \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\) we have \(\tilde{h}_\mu (T,\mathcal {A}) < \infty \), then \(h_\mu (T,\mathcal {A}) = 0\). Thus, \(\tilde{h}_\mu (T) < \infty \) implies \(h_\mu (T) = 0\). Equivalently, if \(h_\mu (T) > 0\), then \(\tilde{h}_\mu (T) = \infty \).
The condition (2.8) is available whenever G is a finitely generated group that is not commensurable with a cyclic group (e.g., \(G= \mathbb {Z}^k\) for some \(k \ge 2\), see [4] for more detail). Recall that two subgroups \(H_1\) and \(H_2\) of a group G are said to be commensurable if the subgroup \(H_1\cap H_2\) has finite index both in \(H_1\) and \(H_2\).
In contrast with Proposition 2.7, in the classical case, as mentioned for example in [10], \(h_\mu (T) \le h_\mu (g)\) for any \(g \in G\). More importantly, we have the following fact proved by Conze [10, Theorem 2.3] (where the case \(k =2\) is dealt with, the general case is proved in a similar way).
Proposition 2.11
Let \(G = \mathbb {Z}^k\), \(k >1\), let \(g_1,g_2, \ldots ,g_k\) be generators of G, and let \(T:G\times X\rightarrow X\) be a measure-preserving action of G on a probability space \((X,\mathcal M,\mu )\). If \(h_\mu (g_i) < \infty \) for some \(i\in \{1,2, \ldots , k\}\), then \(h_\mu (T) = 0\).
The next example shows that unlike the classical metric entropy the receptive one does not vanish in this situation.
Example 2.12
Let \(f:X\rightarrow X\) be a measure-preserving transformation of the probability space \((X,\mathcal {M}, \mu )\), and let \(G = \mathbb {Z}^k_+\) with \(k > 1\) and the standard regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) with \(N_n = [0,n]^k\). Define the action \(T:G \times X\rightarrow X\) by
Assume \(h_\mu (f) < \infty \). It then follows from Proposition 2.11 that \(h_\mu (T) = 0\). On the other hand, we compute that \(\tilde{h}_\mu (T) = k\cdot h_\mu (f)\). Indeed, given \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\), for every \(n\ge 1\),
so
and taking limits as \(n \rightarrow \infty \) (the limit exists in the right-hand side by Remark 2.2, so it exists in the left-hand side as well), we get \(\tilde{h}_\mu (T, \mathcal {A}) = k\cdot h_\mu (f, \mathcal {A})\). Hence \(\tilde{h}_\mu (T) = k\cdot h_\mu (f) < \infty \).
To get a particular example, let \(X = \prod _{-\infty }^\infty \{ 1,2,\ldots ,r\}\), let \(f=\sigma :X\rightarrow X\) be the Bernoulli shift on r symbols with probabilities \(p_1,p_2, \ldots , p_r > 0\) and \(\sum _{i=1}^r p_i = 1\), and let \(\mu \) be the corresponding invariant (product) measure on X. Then \(h_\mu (f) = - \sum _{i=1}^r p_i\, \log p_i < \infty \) (see e.g. [49, Theorem 4.26]). Then for the action T defined above it follows that \(\tilde{h}_\mu (T) = - k\, \sum _{i=1}^r p_i\, \log p_i < \infty \).
3 Further Properties of the Receptive Metric Entropy
We begin with some facts about subactions. For \(T:G\times X\rightarrow X\) a measure-preserving action of the semigroup G on the probability space \((X,\mathcal {M}, \mu )\), and H a subsemigroup of G, let \(T\restriction _H:H \times X\rightarrow X\) be the action of H on X induced by T.
Proposition 3.1
Let G be a semigroup, let \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) be a regular system in G, and let \(T:G\times X\rightarrow X\) be a measure-preserving action of G on the probability space \((X,\mathcal {M}, \mu )\). Let H be a subsemigroup of G, and let \(S=T\restriction _H\). Define the regular system \(\Gamma _H= (M_n)_{n\in \mathbb {Z}_+}\) in H, by \(M_n = N_n \cap H\) for all \(n \ge 0\). Then:
-
(a)
\(\tilde{h}_\mu (S,\Gamma _H) \le \tilde{h}_\mu (T,\Gamma )\);
-
(b)
for \(G = \mathbb {Z}^k_+\) with the standard regular system given by \(N_n = [0,n]^k\) and its subsemigroup \(H = p_1\mathbb {Z}_+ \times p_2\mathbb {Z}_+ \times \ldots \times p_k \mathbb {Z}_+\), where \(p_1,p_2, \ldots , p_k \ge 1\) are given integers, \(\tilde{h}_\mu (S,\Gamma _H) \le \tilde{h}_\mu (T,\Gamma ) \le (p_1 p_2 \ldots p_k)\cdot \tilde{h}_\mu (S,\Gamma _H).\)
Proof
(a) Clearly, for \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\) and for all \(n \ge 1\), \( \frac{1}{n} H_\mu \left( \bigvee _{u \in M_n} u^{-1}\mathcal {A}\right) \le \frac{1}{n} H_\mu \left( \bigvee _{g \in N_{n}} g^{-1}\AA \right) \), and so \(\tilde{h}_\mu (S, \mathcal {A}) \le \tilde{h}_\mu (T, \mathcal {A})\).
(b) The first inequality is item (a). Without loss of generality we may assume that \(1\le p_1 \le p_2 \le \ldots \le p_k\). Let \(F = \prod _{i=1}^k \{0,1, \ldots , p_i-1 \},\) with \(|F| = p_1 p_2 \ldots p_k\). Let \(n \ge p_k\). Then \(N_n = M_n + F\). Indeed, for any \(g = (m_1,m_2, \ldots , m_k) \in N_n\) and for every \(i\in \{1, 2,\ldots , k\}\) we can write \(m_i = t_i p_i + s_i\) for some integers \(t_i \ge 1\) and \(s_i\in \{0,1,\ldots , p_i -1\}\). Thus, \(g = u + s\), where \(u = (t_1p_1,t_2p_2, \ldots , t_k p_k) \in M_n\) and \(s = (s_1,s_2, \ldots , s_k) \in F\). The above argument implies that, for \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\) and an integer \(n\ge 1\),
and therefore
the last equality due to the fact that each \(s\in F\) is measure-preserving. Thus, for all \(n \ge 1\),
which gives \(\tilde{h}_\mu (T, \mathcal {A},\Gamma ) \le |F|\cdot \tilde{h}_\mu (S, \mathcal {A},\Gamma _H)\). Hence \(\tilde{h}_\mu (T,\Gamma )\le |F|\cdot \tilde{h}_\mu (S,\Gamma _H)\). \(\square \)
Now we make a different choice of the regular system in a specific case.
Lemma 3.2
Let G be a commutative semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G, and let \(T:G\times X\rightarrow X\) be a measure-preserving action of G on the probability measure space \((X,\mathcal {M}, \mu )\). Let \(p \ge 1\), \(H=pG\), and let \(S=T\restriction _H\). Consider G with the regular system \(p\Gamma =(pN_n)_{n\in \mathbb {Z}_+}\) and H with the regular system \(\Gamma _H=(N_{n} \cap H)_{n\in \mathbb {Z}_+}\). Then \(\tilde{h}_\mu (T, p\Gamma )=\tilde{h}_\mu (S, p\Gamma )\le p\, \tilde{h}_\mu (S, \Gamma _H)\).
Proof
Let \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\). For every \(n \ge 1\) and every \(g \in N_n\) we have \(pg \in p N_n \subseteq N_{pn} \cap H\), so
Thus, for all \(n \ge 1\),
Obviously,
Combining this with the above gives
\(\square \)
Example 3.3
Let G, \(p\ge 1\), H, X, T, S and \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) be as in Lemma 3.2. Then, \(\tilde{h}_\mu (T,p\Gamma )=\tilde{h}_\mu (S,p\Gamma )\le \tilde{h}_\mu (T,\Gamma )\) according to Proposition 2.5 with \(Y=X\), \(\varphi = id_X\) and with \(\eta \) the homomorphism \(\eta :G \rightarrow H\) defined by \(\eta (g)=pg\) for \(g\in G\). By the final assertion of that proposition, \(\tilde{h}_\mu (S, p\Gamma )= \tilde{h}_\mu (T,\Gamma )\), provided \(\eta \) is an isomorphism (equivalently, injective).
Let us apply this observation to the monoid \(G=\mathbb {Z}_+^k\) with \(k\ge 1\) and standard regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\), with \(N_n=[0,n]^k\) for every \(n\in \mathbb {Z}_+\). Now for every \(p \ge 1\) the homomorphism \(\eta :G \rightarrow H\), defined above, is injective. So for the subsemigroup \(H = pG\) of G and for every measure-preserving action \(T:G\times X\rightarrow X\) on a probability measure space \((X,\mathcal {M}, \mu )\), the above argument gives \(\tilde{h}_\mu (S, p\Gamma )= \tilde{h}_\mu (T,\Gamma )\) for the restriction S of T on H. Since, obviously \(p\Gamma =\Gamma _H=(pN_n)_{n\in \mathbb {Z}_+}\) in this case, we can add to the above equality also \(\tilde{h}_\mu (T, p\Gamma )=\tilde{h}_\mu (S, p\Gamma )= \tilde{h}_\mu (S,\Gamma _H) =\tilde{h}_\mu (T,\Gamma )\). This should be compared with the much less sharp inequalities from Proposition 3.1(b) and from Lemma 3.2.
Next we deal with products of measure-preserving actions. The proof of the following proposition is similar to that of the corresponding result about the case \(G = \mathbb {Z}_+\) (see e.g. the proof of [49, Theorem 4.23]). To prove Proposition 3.5 we need the following lemma.
Lemma 3.4
For finite partitions \(\mathcal {A}=\{A_1,A_2,\ldots ,A_k\}\) of a probability space \((X_1, \mathcal M_1,\mu _1)\) and \(\mathcal {B}=\{B_1,B_2,\ldots , B_l\}\) of a probability space \((X_2, \mathcal M_2,\mu _2)\) let \(a_i=\mu _1(A_i)\) and \(b_j=\mu _2(B_j),\) for any \(i\in \{1,2,\ldots ,k\}\) and \(j\in \{1,2,\ldots ,l\}\). Then
Proposition 3.5
For \(i=1,2\), let \(G_i\) be a commutative finitely generated semigroup with a regular system \(\Gamma ^{(i)}= (N_{n}^{(i)})_{n\in \mathbb {Z}_+}\), let \((X_i, \mathcal {M}_i, \mu _i)\) be a probability space and let \(T_{i}:G_{i} \times X_{i}\rightarrow X_{i}\) be a measure-preserving action. Consider \(X = X_1 \times X_2\) with the product measure \(\mu = \mu _1 \times \mu _2\) defined on the \(\sigma \)-algebra \(\mathcal {M}\) in X generated by \(\mathcal {M}_1 \times \mathcal {M}_2\), and the semigroup \(G = G_{1}\times G_{2}\) with the regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) given by \(N_{n} = N_{n}^{(1)}\times N_{n}^{(2)}\) for all \(n\in \mathbb {Z}_+\). Let \(T:G \times X \rightarrow X\) be the action defined by
Then
Proof
It is enough to consider partitions of X of the form \(\mathcal {C}= \mathcal {A}\times \mathcal {B}= \{A\times B:A\in \mathcal {A}, B\in \mathcal {B}\},\) where \(\mathcal {A}\in \underline{\mathfrak {par}}(X_1)\) and \(\mathcal {B}\in \underline{\mathfrak {par}}(X_2)\). For every \(n \ge 1\),
By Lemma 3.4,
Let \(\tilde{h}_\mu (T,\mathcal {C}) = \lim _{k\rightarrow \infty }\frac{1}{n_k}\; H_{\mu } (\mathcal {C}^{n_k})\) for some increasing sequence of integers \((n_k)_{k\in \mathbb {Z}_+}\) with \(n_k\rightarrow \infty \). Then the above equalities show that
This implies the second inequality in (3.1). The first inequality in (3.1) follows immediately from (3.2). \(\square \)
The above is easily generalised to arbitrary finite products, so that it can be applied in the next example.
Example 3.6
For \(i\in \{1,2, \ldots , k\}\), let \((X_i, \mathcal {M}_i, \mu _i)\) be a probability space and \(f_{i} : X_{i}\rightarrow X_{i}\) a measure-preserving transformation. Endow the product space \(X = X_{1} \times X_2\times \ldots \times X_{k}\) with the product measure \(\mu = \mu _1 \times \mu _2\times \ldots \times \mu _k\). Consider the standard regular system \(\Gamma =([0,n]^k)_{n\in \mathbb {Z}_+}\) in \(\mathbb {Z}^k_+\) and define the action
Then Proposition 3.5 gives
Hence \(\tilde{h}_{\mu }(T) > 0\) if \(h(f_{i}) > 0\) for at least one \(i\in \{1,2,\ldots ,k\}\).
As mentioned in [29], if the components \(f_{i}\) in Example 3.6 are smooth maps on smooth compact manifolds with topological entropy \(h(f_{i}) > 0\), then the smooth action T of \({\mathbb {Z}}_{+}^{k}\) has positive receptive topological entropy (to be defined in the next section). The above shows that the same kind of examples exist with respect to the receptive metric entropy \(\tilde{h}_\mu \).
4 Topological Entropy
4.1 Receptive Topological Entropy
Let (X, d) be a metric space, let \(T:G\times X\rightarrow X\) be an action of the semigroup G on X such that each of the maps \(g:x \mapsto gx\) is uniformly continuous (briefly, T is a uniformly continuous action).
Let \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) be a regular system in G. The topological entropy that we will consider here was defined and studied in [29] under more general assumptions (in [29] G is a locally compact group and each \(N_n\) is just a compact subset of G), using spanning and separated sets, following R. Bowen’s definition [6] in the classical case of actions of \({\mathbb {Z}}_{+}\).
Definition 4.1
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G and \(T:G\times X\rightarrow X\) a uniformly continuous action on a metric space X. Let K be a compact subset of X, let \(\epsilon > 0\) and let \(n \ge 1\).
A subset F of K is called an \((n,\epsilon )\)-spanning set for K (with respect to \(\Gamma \)) if for every \(x \in K\) there exists \(y \in F\) such that \(d(gx,gy) \le \epsilon \) for all \(g \in N_n\).
A subset E of K is called \((n,\epsilon )\)-separated (with respect to \(\Gamma \)) if for any \(x,y \in E\), \(x \ne y\), there exists \(g \in N_n\) such that \(d(gx,gy) > \epsilon \).
These definitions can be easily understood by using the dynamic balls, for \(x\in X\), \(\epsilon >0\), \(n\in \mathbb {Z}_+\),
When it is clear from the context we shall omit the regular system \(\Gamma \).
Namely, F is an \((n,\epsilon )\)-spanning set for the compact subset K of X if \(K \subseteq \bigcup _{x\in F} D_n(x, \epsilon )\), and E is \((n,\epsilon )\)-separated if for any \(x,y \in E\) with \(x \ne y\), \(D_n(x,\epsilon ) \cap D_n(y, \epsilon )=\emptyset \).
By the compactness of K, the minimal \((n,\epsilon )\)-spanning sets and the maximal \((n,\epsilon )\)-separated sets are finite, so we can define
Then set
These functions are non-increasing in \(\epsilon \) and moreover, following arguments similar to those in [49, p. 169], we obtain
so the following monotone limits exist and coincide:
Definition 4.2
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G and \(T:G\times X\rightarrow X\) a uniformly continuous action on a metric space X. Let K be a compact subset of X. We call \(\tilde{h}(T,K,\Gamma )\) the receptive topological entropy of T with respect to K and the given regular system \(\Gamma \) in G. The receptive topological entropy of T with respect to \(\Gamma \) is
When the system \(\Gamma \) is clear from the context and no confusion is possible, we shall omit \(\Gamma \) and write simply \(\tilde{h}(T,K)\) and \(\tilde{h}(T)\).
When X is compact, it is easy to see that \(\tilde{h}(T) = \tilde{h}(T, X)\). In this case we will also use the shorter notation \(r_n(\epsilon ,T) = r_n(\epsilon , T, X)\), \(\tilde{r}(\epsilon ,T) = \tilde{r}(\epsilon , T, X)\), etc.
Remark 4.3
When \(G = {\mathbb {Z}}_{+}\) and \(\Gamma =([0,n])_{n\in \mathbb {Z}_+}\), the uniformly continuous action \(T:G\times X\rightarrow X\) on a metric space X is given by a uniformly continuous map \(f=T(1,-):X \rightarrow X\). Then \(\tilde{h}(T) = h(f)\) is the topological entropy of the map f, as defined by Bowen in [6].
It follows from [29, Proposition 2.6] that for the uniform continuous action \(T:G\times X\rightarrow X\) of the semigroup G on the metric space X and the regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\)
where h(g) is the topological entropy of the map \(g:x \mapsto gx\) (a proof can be given in the line of Proposition 2.7 above).
For the sake of completeness we mention the following special case of [29, Proposition 2.7], which is an analog of Bowen–Kushnirenko Theorem in the classical case (e.g., see [49, Theorem 7.15]).
Proposition 4.4
Let X be a Riemannian manifold and let the continuous action \(T:G\times X\rightarrow X\) of the semigroup G be such that each of the maps \(g:x \mapsto gx\) is smooth. Consider the standard regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) in G where \(N_1\) is a finite generating subset of G. Consider X with the metric generated by the Riemannian metric of X, and let \(k=\dim X\). Then
where \(a = \sup _{x \in X} \max _{g \in N_1} \Vert d_{x}\, g \Vert \) and \(d_xg\) is the differential of g at \(x \in X\).
4.2 Classical Topological Entropy
Let G be a semigroup and \(T:G\times X\rightarrow X\) a uniformly continuous action on a metric space X. Assume in addition that G is amenable and let \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) be a Følner sequence in G. For a compact subset K of the metric space X, define \(r_n(\epsilon ,T,K)\) and \(s_n(\epsilon ,T, K)\) as in (4.1) and set
The topological entropy of T with respect to K is then
while the topological entropy is
This is the definition of the classical topological entropy using spanning and separated sets (see e.g. [42]).
An equivalent definition for actions on compact spaces using open covers was introduced in [18, 38]. In fact, a more general concept, the so-called topological pressure, has been defined similarly and studied extensively (see [20, 36, 38, 39, 42, 43]).
As in the case of metric entropy (see Proposition 2.11), the classical topological entropy is zero for some actions of \(\mathbb {Z}^k_+\), with \(k > 1\)):
Proposition 4.5
(See [18, Corollary 2.3]) Let \(G = \mathbb {Z}^k_+\), \(k >1\), let \(g_1,g_2, \ldots g_k\) be generators of G, and let \(T:G\times X\rightarrow X\) a uniformly continuous action of G on a metric space X. If \(h(g_i) < \infty \) for some \(i\in \{1,2,\ldots , k\}\), then \(h(T)=0\).
5 Equivalent Definitions of the Receptive Topological Entropy
5.1 Receptive Topological Entropy via Open Covers
First we define the receptive topological entropy adapting the initial approach of Adler, Konheim and McAndrew [1]. Let X be a compact topological space and for any \(\mathcal {A}\in \mathfrak {cov}(X)\) we let \(N(\mathcal {A})\) be the number of elements of a subcover of \(\mathcal {A}\) of the smallest possible cardinality.
Let \(T:G\times X\rightarrow X\) be an action of the semigroup G on X such that each of the maps \(g:x \mapsto gx\) is continuous (briefly, T is a continuous action), and let \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) be a regular system in G.
Given an integer \(n \ge 1\) and \(\mathcal {A}\in \mathfrak {cov}(X)\), set
Then define
When the system \(\Gamma \) is clear from the context and no confusion is possible, we shall omit \(\Gamma \).
The proof of Theorem 5.3 is very similar to the one presented in [49, Section 7.2] in the case \(G = \mathbb {Z}\).
Lemma 5.1
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G, and \(T:G\times X\rightarrow X\) a continuous action of G on a compact metric space X.
-
(a)
For all \(\epsilon > 0\) and all integers \(n \ge 1\), \(r_n(\epsilon ,T) \le s_n(\epsilon ,T) \le r_n(\epsilon /2,T).\)
-
(b)
Let \(\mathcal {A}\in \mathfrak {cov}(X)\) and let \(\delta > 0\) be a Lebesgue number for \(\mathcal {A}\). For all integers \(n \ge 1\), \(N(\mathcal {A}^n_\Gamma ) \le r_n\left( \frac{\delta }{2},T\right) \).
-
(c)
For any \(\epsilon >0\) and any \(\gamma \in \mathfrak {cov}(X)\) with \(\mathrm{diam}(V) \le \epsilon \) for all \(V \in \gamma \), for all integers \(n\ge 1\), \(s_n(\epsilon , T) \le N(\gamma ^n_\Gamma ).\)
Proof
(a) corresponds to [49, Chapter 7, Remark (5)], (b) and (c) to [49, Theorem 7.7(i) and (ii)]. \(\square \)
The following result corresponds to [49, Theorem 7.6].
Lemma 5.2
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G, and \(T:G\times X\rightarrow X\) a continuous action of G on a compact metric space X. Let \((\mathcal {A}_n)_{n\in \mathbb {Z}_+}\) be a sequence in \(\mathfrak {cov}(X)\) with \(\mathrm{diam}(\mathcal {A}_n)\rightarrow 0\). Then \(\widehat{h}(T)=\lim _{n\rightarrow \infty }\widehat{h}(T,\mathcal {A}_n)\).
Proof
Suppose that \(\widehat{h}(T)\) is finite, let \(\epsilon >0\) and let \(\gamma \in \mathfrak {cov}(X)\) with \(\widehat{h}(T,\gamma )>\widehat{h}(T)-\epsilon \). If \(\delta >0\) is a Lebesgue number for \(\gamma \), there exists \(N\in \mathbb {Z}_+\) such that \(\mathrm{diam}(\mathcal {A}_N)<\delta \), and so \(\gamma \prec \mathcal {A}_N\). Therefore, \(\widehat{h}(T,\gamma )\le \widehat{h}(T,\mathcal {A}_N)\), and hence \(\widehat{h}(T)-\epsilon <\widehat{h}(T,\mathcal {A}_n)\le \widehat{h}(T)\) for every integer \(n\ge N\). This shows that \(\widehat{h}(T)=\lim _{n\rightarrow \infty }\widehat{h}(T,\mathcal {A}_n)\).
In case \(\widehat{h}(T)=\infty \), let \(a>0\) and let \(\gamma \in \mathfrak {cov}(X)\) with \(\widehat{h}(T,\gamma )>a\). Then proceed as in the preceding case. \(\square \)
Theorem 5.3
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G, and \(T:G\times X\rightarrow X\) a continuous action of G on a compact metric space X. Then \(\widehat{h}(T) = \tilde{h}(T)\).
Proof
For any integer \(m \ge 1\) fix \(\mathcal {A}_m\in \mathfrak {cov}(X)\) consisting of open balls of radius 2/m and \(\gamma _m\in \mathfrak {cov}(X)\) consisting of open balls of radius 1/ (2m). By Lemma 5.1 we obtain, for all integers \(n \ge 1\),
Taking \(\limsup _{n \rightarrow \infty }\), gives
By Lemma 5.2 this implies \(\widehat{h}(T) \le \tilde{h}(T) \le \widehat{h}(T)\), so \(\widehat{h}(T) = \tilde{h}(T)\). \(\square \)
5.2 Receptive Topological Entropy Following Bowen’s Definition
Next, we give another equivalent definition of the receptive topological entropy similar to the one by Bowen in [7]. Although this definition works for non-compact spaces as well, here we concentrate on the case of a compact metric space X. Denote by \(\mathcal B(X)\) the family of Borel subsets of X and by \([X]^{\le \omega }\) the family of all non-empty finite or countable subsets of X.
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G and \(T:G\times X\rightarrow X\) a continuous action. Let also \(\AA = \{ A_1, A_2, \ldots , A_k\}\in \mathfrak {cov}(X)\). Modifying a definition in [7], for every non-empty subset E of X we denote
We set \(n_{\mathcal {A}}(E) = 0\) if E is not contained in any element of \(\mathcal {A}\). Then set
in [37] the notation \(\mathrm{diam}_{\mathcal {A},T}(E) = \mathcal {D}_{\mathcal {A}} (E)\) was used. If \(\mathcal E\) is a family of subsets of X, let
Next, given a subset Y of X, \(\epsilon > 0\) and any \(\lambda \in \mathbb {R}\), consider the family \(\mathcal F_\epsilon (Y)\) of all finite or countable covers \(\mathcal E\) of Y with \(\mathrm{diam}_{\mathcal {A},T}(\mathcal {E}) < \epsilon \). Clearly,
For a family \(\mathcal {E}\subseteq [X]^{\le \omega }\) and any real \(\lambda >0\) define
Therefore, the function
increases when \(\epsilon > 0\) decreases. This allows us to define an outer measure \(\mathsf{m}_{\mathcal {A}, \lambda }\) on X by setting
The function \(\mathsf{m}_{\mathcal {A}, \lambda }(Y)\) is non-increasing in \(\lambda \) and if \(0<\mathsf{m}_{\mathcal {A}, \lambda }(Y)< \infty \) for some \(\lambda >0\), then \(\mathsf{m}_{\mathcal {A},\lambda '}(Y) = 0\) for \(\lambda ' > \lambda \) and \(\mathsf{m}_{\mathcal {A},\lambda '}(Y) = \infty \) for \(\lambda ' < \lambda \). Set
and
Finally, set \(b(T,\Gamma ) = b(T,X,\Gamma ) .\) When the system \(\Gamma \) is clear from the context and no confusion is possible, we shall omit \(\Gamma \).
Remark 5.4
Only real numbers \(\lambda \ge 0\) were considered above, as the negative values of \(\lambda \) are irrelevant for the definition of \(b(T,Y,\Gamma )\). Indeed, \(\mathsf{m}_{\mathcal {A}, \lambda }(Y)\) is non-increasing in \(\lambda \) and then we take an \(\inf \) in the definition of \(b_\mathcal {A}(T,Y,\Gamma )\). Actually,
Clearly, \(\mathsf{m}_{\mathcal {A},0}(Y)=1\) if Y is a singleton. So it is enough to verify that \(\mathsf{m}_{\mathcal {A},0}(Y)=\infty \) if Y is not a singleton. Obviously \(\mathcal {D}_{\mathcal {A}} (\mathcal {E}, 0) = |\mathcal {E}|\), so \(R_{0,Y}(\epsilon )=\inf \{ \mathcal {D}_{\mathcal {A}}(\mathcal {E}, 0):\mathcal {E}\in \mathcal F_\epsilon (Y)\}= \inf \{|\mathcal {E}|:\mathcal {E}\in \mathcal F_\epsilon (Y)\} \). This implies \(\mathsf{m}_{\mathcal {A},0}(Y)=\infty \), since Y is not a singleton.
Here is an alterative direct proof of (5.2) that works also for singleton Y when \(\lambda <0\). Let \(\epsilon >0\) and \(\mathcal E\in \mathcal F_\varepsilon (Y)\). Then for every \(E\in \mathcal E\), \(e^{-n_\mathcal {A}(E)}<\epsilon \), so \(e^{-\lambda n_\mathcal {A}(E)}\ge {\epsilon ^{\lambda }},\) so \(\mathcal D_\mathcal {A}(\mathcal E,\lambda )=\sum _{E\in \mathcal E}e^{-\lambda n_\mathcal {A}(E)}\ge \epsilon ^{\lambda }\) and \(R_{\lambda ,Y}(\epsilon )\ge \epsilon ^{\lambda }\). Therefore, \(\mathsf{m}_{\mathcal {A},\lambda }(Y) = \lim _{\epsilon \rightarrow 0}R_{\lambda ,Y}(\epsilon )\ge \lim _{\epsilon \rightarrow 0} \epsilon ^{\lambda }=\infty \).
In the next theorem the inequality \(b(T)\le \tilde{h}(T)\) holds for any regular system and also when the semigroup is not commutative. We follow the line of [7], however some significant modifications will be necessary.
Theorem 5.5
Let G be a commutative finitely generated semigroup with a standard regular system \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) and let \(T:G\times X\rightarrow X\) be a continuous action of G on a compact metric space X. Then \(b(T)=\tilde{h}(T)\).
Proof
In view of Theorem 5.3 we show that \(b(T)=\widehat{h}(T)\). First, we show that \(b(T) \le \widehat{h}(T)\). Let \(\AA = \{ A_1, A_2, \ldots , A_k\}\in \mathfrak {cov}(X)\), let \(n \ge 1\) be an integer, and let \(\mathcal {E}_n = \{ E_1, E_2 \ldots , E_m\}\) be a subcover of \(\mathcal {A}_\Gamma ^n\) with \(m = |\mathcal {E}_n| = N(\mathcal {A}_\Gamma ^n)\). By the definition of \(\mathcal {A}_\Gamma ^n\), any \(E_i\) can be written in the form \(E_i =\bigcap _{g \in N_n}g^{-1}A_g\) for some \(A_g \in \mathcal {A}\). So, for any \(g \in N_n\) we get \(g E_i \subseteq A_g\). Hence for every \(E_i\) we have \(n_{\mathcal {A}}(E_i) \ge n\). Therefore, given \(\lambda \in \mathbb {R}_{\ge 0}\),
If \(\lambda > \widehat{h}(T, \mathcal {A}) = \limsup _{n\rightarrow \infty } \frac{1}{n} \log N(\mathcal {A}^n_\Gamma )\), then taking \(\delta > 0\) so that \(\lambda > \widehat{h}(T, \mathcal {A}) + \delta \), we get \(\mathcal {D}_{\mathcal {A}} (\mathcal {E}_n, \lambda ) < e^{-n \delta }\) for all sufficiently large \(n\ge 1\), so we must have \(\mathsf{m}_{\mathcal {A}, \lambda }(X) = 0\). This demonstrates that \(b_{\mathcal {A}}(T,X) \le \widehat{h}(T, \mathcal {A})\le \widehat{h}(T)\). Hence \(b(T)=b (T,X) \le \widehat{h}(T)\).
Next, we show that \(\widehat{h}(T) \le b(T)\). The proof is articulated in four claims.
Assume that \(b(T) < \infty \); otherwise there is nothing to prove. Fix a small constant \(\epsilon > 0\) and an arbitrary \(\lambda \in \mathbb {R}_{\ge 0}\) with
The definition of b(T) now implies \(b_{\mathcal {B}} (T,X) < \lambda \) and so \(\mathsf{m}_{\mathcal {B}, \lambda }(X) = 0\) for any finite \(\mathcal {B}\in \mathfrak {cov}(X)\). Our aim will be to deduce from this that \(\widehat{h}(T) \le b(T) + 2 \epsilon \). Since \(\epsilon \) was chosen arbitrarily small, this will imply that \(\widehat{h}(T) \le b(T)\).
Let us fix a finite set of generators \(f_1,f_2,\ldots , f_\ell \) of G, so that \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) is the standard regular system defined by \(N_1=\{0,f_1,f_2,\ldots ,f_\ell \}\). Our next step is to fix \(\AA = \{ A_1, A_2, \ldots , A_k\}\in \mathfrak {cov}(X)\) with
Let \(\delta > 0\) be a Lebesgue number for \(\mathcal {A}\). Since \(N_1\) is finite and \(f_i:X \rightarrow X\) is uniformly continuous for every \(i\in \{1,\ldots ,\ell \}\), there exists \(\delta _1 \in (0, \delta /2)\) such that \(g B_{\delta _1}(x) \subseteq B_\delta (g x)\) for every \(g \in N_1\) and every \(x\in X\). That is, for any \(g\in N_1\) and any \(x, y \in X\), \(d(x,y) < \delta _1\) implies \(d(gx, gy) < \delta \), so \(\AA \prec \{gB_{\delta _1}(x):g\in N_1, x\in X\}\). There exists a finite cover \(\mathcal {B}= \{ B_1,B_2, \ldots , B_p\}\) of X consisting of open balls of radius \(\delta _1\). By what we said above,
Let \(\delta _2 \in (0, \delta _1)\) be a Lebesgue number for \(\mathcal {B}\). Hence, \(\mathcal {B}\prec \{E\}\) for every subset E of X with \(\mathrm{diam}(E) < \delta _2\).
As mentioned above, the choice of \(\lambda \) implies \(\mathsf{m}_{\mathcal {B}, \lambda } (X) = 0\), so in particular there exists a finite or countable cover \(\mathcal {E}' = \{E_i' : i\in I\}\) of X with \(\mathrm{diam}(E_i') < \delta _2\) for all \(i\in I\) and \(\mathcal {D}_{\mathcal {B}}(\mathcal {E}', \lambda ) < 1\). Next, for every \(i\in I\) let \(n_i:= n_\mathcal {B}(E_i')\) and for every \(g \in N_{n_i}\) fix a member \(B_g \in \mathcal {B}\), such that \(gE_i' \subseteq B_g\) (we noted above that \(\mathcal {B}\prec \{gE_i'\}\)). Now put, for every \(i\in I\),
(by definition \(B_\gamma (M) = \bigcup _{z\in M} B_\gamma (z)\) for every \(\gamma > 0\) and every subset M of X). For each \(i\in I\), this open set \(E_i\) is “slightly enlarging” the set \(E_i'\) to an open set with diameter \(< 2\delta _2\); then \(n_\mathcal {B}(E_i) \le n_\mathcal {B}(E'_i) = n_i\). The definition of \(E_i\) implies \(n_\mathcal {B}(E_i) = n_i = n_\mathcal {B}(E'_i)\): indeed, for every \(g\in N_{n_i}\) we have \(E_i \subseteq g^{-1}B_g\), so \(gE_i \subseteq B_g\), and hence \(\mathcal {D}_{\mathcal {B}}(\mathcal {E}_1, \lambda )=\mathcal {D}_{\mathcal {B}}(\mathcal {E}', \lambda )<1\), where \(\mathcal {E}_1 = \{E_i:i\in I\}\in \mathfrak {cov}(X)\).
By choosing a finite subcover \(\mathcal {E}= \{V_1,V_2, \ldots , V_m\}\) of \(\mathcal {E}_1\) we get a finite open cover of X with \(\mathcal {D}_{\mathcal {B}}(\mathcal {E}, \lambda ) \le \mathcal {D}_{\mathcal {B}}(\mathcal {E}_1, \lambda ) < 1\). Let
Note that \(a_j \ge 1\) for all \(j \in J\). This implies
(the last series converges as \(\mathcal {D}_{\mathcal {B}}(\mathcal {E}, \lambda ) < 1\)).
For the sake of brevity set \(f = f_\ell \) and let \(C(V_{j}):= V_{j}\) for every \(j\in J\). For \(s>1\) and \(j_1,\ldots ,j_s\in J\), let
clearly \(C(V_{j_1}, \ldots , V_{j_s})\) is an open subset of X.
For any pair of integers \(s\ge 1\) and \(n \ge 1\) let
As \(a_j\ge 1\) for all \(j\in J\), it is clear that \(\mathcal J_{1,1} = J\), while \(\mathcal J_{n,s}\ne \emptyset \) implies \(s \le n + M\), hence \(\sum _{s\ge 2}\sum _{\bar{\jmath }\in \mathcal J_{n,s} }1 <\infty \) for all \(n\ge 1\).
Claim 1
For any integer \(n \ge 2M\), the family
is an open cover of X.
Proof
Fix \(n \ge 1\), and pick \(x \in X\). Define recursively indices \(j_1, j_2, \ldots \) such that:
-
(1)
\(x \in V_{j_1}\);
-
(2)
if \(s>1\) and \(j_1, j_2, \ldots , j_{s-1}\) are already defined, pick \(j_s\) such that \(f^{ a_{j_1}+\ldots + a_{ j_{s-1} }} (x) \in V_{j_s}\).
Obviously, \(x\in C(V_{j_1}, \ldots , V_{j_s})\) for every integer \(s\ge 1\). Moreover, since \(a_j\ge 1\) for all \(j\in I\), the sequence
is strictly increasing and the gaps between two adjacent members are \(\le M\). As \(n \ge 2M>a_{j_1} \), there exists an \(s\ge 2\) such that
then obviously, \(a_{j_1}+ \ldots + a_{ j_{s-1} } + a_{ j_{s} }\le n + M\), as \(a_{ j_{s} }\le M\). Hence, \(C(V_{j_1}, \ldots , V_{j_r}) \in \mathcal {C}_n\). This ends up the proof, since \(x\in C(V_{j_1}, \ldots , V_{j_s})\), as mentioned above. \(\square \)
Recalling that \(f = f_\ell \), for any integer \(n \ge 1\) set
Claim 2
For all \(n \ge 2M\), \(\mathcal {A}^{n,\ell } \prec \mathcal {C}_n\).
Proof
It is enough to prove the following statement for all integers \(s\ge 1\):
P(s) : If a set of the form \(C = C(V_{j_1}, \ldots , V_{j_s}) \) belongs to \(\mathcal {C}_n\) for an integer \(n \ge 2M\), then \(\mathcal {A}^{n,\ell }\prec \{C\}\).
We argue by induction on \(s\ge 1\). To prove P(1), let \(C = C(V_{j}) = V_j\in \mathcal {C}_n\) for some integer \(n \ge 1\). Then \(n\le a_{j}\). So \(\mathcal {A}^{n,\ell } \prec \mathcal {A}^{a_{j}, \ell }\), hence it suffices to check that \(\mathcal {A}^{a_{j}, \ell } \prec \{C\}\), or equivalently, gC is contained in some element of \(\mathcal {A}\) for every \(g = f_\ell ^p\), with \(0 \le p < a_{j}\). To this end note that \(C = V_{j}\) and \(\mathrm{diam}(V_{j}) < \delta _2\) implies that C is contained in some element \(B_i\) of \(\mathcal {B}\). Now \(a_{j} = n_{\mathcal {B}}(V_{j})\) means that gC is contained in some element of \(\mathcal {B}\), and therefore in some element of \(\mathcal {A}\) (since \(\AA \prec \mathcal {B}\)) for all \(g \in N_{a_{j}}\). Thus, \(f_\ell ^p C\) is contained in some element of \(\mathcal {A}\).
Assume that \(s > 1\) and the statement P(r) is true for all \(1\le r \le s-1\). We will prove P(s). Let \(C = C(V_{j_1}, \ldots , V_{j_s})\) be such that \(C \in \mathcal {C}_n\) for some \(n \ge 1\). Then \(n\le a_{j_1} + \ldots + a_{j_{s}} \le n +M\). Set \(u = a_{j_1}\), \(n' = n-u\) and \(C' = C(V_{j_2}, \ldots , V_{j_s})\). It is easy to see that
Since \(n \le u + (a_{j_2} + \ldots + a_{j_s}) \le n+M\) implies that \(n' \le a_{j_2} + \ldots + a_{j_s} \le n'+M\) and consequently \(C' \in \mathcal {C}_{n'}\), our inductive assumption gives \(\mathcal {A}^{n', \ell } \prec \{C'\}\). Now we show that \(\mathcal {A}^{n,\ell } \prec \{ C\}\), i.e., gC is contained in some \(A_i\) for every \(g = f_\ell ^p\) with \(0\le p < n\). The case \(p < u\) follows from the argument proving P(1) above, so assume that \(g = f_\ell ^p \) for some integer p with \(u \le p < n-1\). Then \(q = p-u < (n-1) - u = n'-1\), so \(\mathcal {A}^{n', \ell } \prec \{ C'\}\) implies that \(f_\ell ^{q} C' \subseteq A_i\) for some \(i\in \{1,\ldots ,k\}\). From (5.4) we deduce that \(f_\ell ^pC = f_\ell ^q f_\ell ^u C \subseteq f_\ell ^q C' \subseteq A_i\). This proves the claim. \(\square \)
Now we estimate \(N(\mathcal {A}^n_\Gamma )\). To this end, for \(n,s\ge 1\) define the set
As \(a_i \ge 1\) for all \(i \in J\), it is clear that \(\Xi _{n,s}\ne \emptyset \) implies \(s \le n + M\), hence \(\sum _{s=1}^\infty |\Xi _{n,s}| <\infty \) for all \(n\ge 1\).
Claim 3
For all \(n \ge 2M\), \(N(\mathcal {A}^n_\Gamma )\le \sum _{s=1}^\infty \; |\Xi _{n,s}|\).
Proof
By definition
Using Claim 2, the above gives
Therefore
Notice that the inequalities \(r_1 + \ldots + r_{\ell -1} + q \le n\), \(q > 0\) and \(a_{j_1} + \ldots + a_{j_s} \le q + M\) imply
Thus,
This proves Claim 3. \(\square \)
Claim 4
For all \(n \ge 2M\) and \(C = \frac{1}{(1- e^{-\lambda })^{\ell -1}}\),
Proof
Since \(\lambda \ge 0\), and \(\xi \in \Xi _{n,s}\) for some integer \(s\ge 1\) implies \(r_1+ \ldots + r_{\ell -1} + a_{j_1} + \ldots + a_{j_s} \le n+M\), it follows that
Therefore
Using the fact that \(0 \le r_i <n\) for all \(i\in \{1,\ldots ,\ell -1\}\), we deduce
Combining this with (5.5) proves the required inequality. \(\square \)
Now we can conclude the proof of the theorem by using Claim 4 and Claim 3. For every \(n\ge 2M\),
for some constant \(K < \infty \) independent of n. This yields, for every \(n\ge 2M\),
Therefore
Combining this with (5.3) gives \(\widehat{h}(T) < b(T) + 2\epsilon \). Letting \(\epsilon \rightarrow 0\) implies \(\widehat{h}(T) \le b(T)\). This proves the theorem. \(\square \)
Remark 5.6
Notice that the first part of the proof of Theorem 5.5 works without assuming that the semigroup is commutative and finitely generated, and moreover without any specific assumptions about the regular system. Thus, \(b(T) \le \tilde{h}(T)\) holds for any continuous action of a semigroup G on a metric space and with respect to any regular system in G.
5.3 An Alternative Definition Following Pesin
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G, and \(T:G\times X\rightarrow X\) a continuous action of G on a compact metric space X. In what follows we will give an equivalent definition of Bowen’s entropy b(T, Y) following some ideas of Pesin (see [40, Section 4.11]).
Let Y be a non-empty subset of X and let \(\lambda \ge 0\). Given \(\epsilon > 0\) and an integer \(N \ge 1\) set
Then define
The limits exist due to the monotonicity of \(\overline{\mathsf{m}}_{N, \epsilon ,\lambda }(Y)\) with respect to both N and \(\epsilon \). Just as in the case of \(\mathsf{m}_{\mathcal {A},\lambda }(Y)\), it is easy to see that there exists a critical point \(s \in \mathbb {R}\) such that \(\overline{\mathsf{m}}_{\lambda }(Y) = 0\) for \(\lambda > s\) and \(\overline{\mathsf{m}}_{\lambda }(Y) = \infty \) for \(\lambda < s\). Set \(c (T,Y,\Gamma ) = s\). Thus, we define a new entropy-like quantity
For \(Y=X\) set \(c(T,\Gamma ) = c(T,X,\Gamma )\). When the system \(\Gamma \) is clear from the context and no confusion is possible, we shall omit \(\Gamma \).
Remark 5.7
In [5], following the line of [40, Sections 10 and 11], we defined the upper capacity for Pesin–Carathéodory structures, and we described the receptive topological entropy \(\tilde{h}(T,Y,\Gamma )\) as a limit of upper capacities for suitable Pesin–Carathéodory structures. The entropy \(c(T,Y,\Gamma )\) can be analogously obtained as a limit of upper capacities.
Theorem 5.8
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G, and let \(T:G \times X \rightarrow X\) be a continuous action of G on a compact metric space X. If Y is a non-empty subset of X, then \(b(T, Y,\Gamma ) = c(T,Y,\Gamma )\).
Proof
Let \(\AA = \{ A_1, \ldots , A_k\}\in \mathfrak {cov}(X)\) and let \(\epsilon > 0\) be a Lebesgue number for \(\mathcal {A}\). Given an integer \(N \ge 1\) and a real number \(\lambda >0\), set
The map \(N \rightarrow \mathsf{m}_{N,\mathcal {A},\lambda }(Y)\) is monotone, and it can be seen as above that \(\mathsf{m}_{N,\mathcal {A},\lambda }(Y)\) has similar properties to \(\overline{\mathsf{m}}_{N, \epsilon , \lambda }(Y).\)
Notice that if \(E = D_n^\Gamma (x, \epsilon )\) for some \(x\in X\) and \(n \ge 1\), then \(n_{\mathcal {A}}(E) \ge n\). Indeed, given \(g \in N_n\), there exists \(j\in \{1,\ldots ,k\}\) with \(B_{\epsilon }(gx) \subseteq A_j\). For any \(y\in E\) we have \(d(gx,gy) < \epsilon \), so \(gy \in B_{\epsilon }(gx) \subseteq A_j\). Thus, \(gE \subseteq A_j\). This proves that \(n_{\mathcal {A}}(E) \ge n\).
Hence, taking \(N \ge 1\) sufficiently large so that \(e^{-N} < \epsilon \), the set in the right-hand side of (5.7) is contained in the set in the right-hand side of (5.1). Therefore \(\mathsf{m}_{N,\mathcal {A},\lambda }(Y) \le \overline{\mathsf{m}}_{N, \epsilon , \lambda }(Y)\). Moreover, the set in the right-hand side of (5.6) is contained in the set in the right-hand side of (5.7). Taking limits \(N \rightarrow \infty \), \(\epsilon \rightarrow 0\), gives \(\mathsf{m}_{\mathcal {A}, \lambda }(Y) \le \overline{\mathsf{m}}_{\lambda }(Y)\). Thus, whenever \(\overline{\mathsf{m}}_{\lambda }(Y)= 0\) we have \(\mathsf{m}_{\mathcal {A}, \lambda }(Y) = 0\) as well. Hence \(c(T,Y) \ge b_{\mathcal {A}}(T,Y)\) which implies \(c(T,Y) \ge b(T,Y)\).
To prove the opposite inequality, take small constants \(\delta > 0\) and \(\epsilon > 0\), and let \(\AA = \{ A_1, , \ldots , A_k\}\in \mathfrak {cov}(X)\) with \(\mathrm{diam}(A_i) < \epsilon \) for all \(i\in \{1,\ldots , k\}\) and such that \(\lambda _0 = b_{\mathcal {A}}(T,Y) > b(T,Y) - \delta \). Then \(\mathsf{m}_{\mathcal {A},\lambda }(Y) = 0\) for all \(\lambda > \lambda _0\). Let \(\lambda > \lambda _0\) and take a large \(N \ge 1\) so that \(e^{-N} < \epsilon \) and \(\mathsf{m}_{N,\mathcal {A},\lambda }(Y) < \delta \). Then there exists a cover \(\mathcal {E}= \{E_i:i\in I\}\) of Y as in the right-hand side of (5.7) with
For each \(i\in I\), fix an arbitrary \(x_i \in E_i\) and set \(n_i = n_{\mathcal {A}}(E_i)\). Notice that \(E_i \subseteq D_{n_i}^\Gamma (x_i,\epsilon )\): indeed, for every \(g \in N_{n_i}\) there exists \(j\in \{1,\ldots ,k\}\) with \(gE_i \subseteq A_j\); since \(\mathrm{diam}(A_j) < \epsilon \), we get \(d(gx_i,gy) < \epsilon \) for all \(y \in E_i\). This yields \(Y \subseteq \bigcup _{i\in I} D_{n_i}^\Gamma (x_i,\epsilon )\), which in turn shows that \(\overline{\mathsf{m}}_{N, \epsilon , \lambda }(Y) < \delta \). Taking limits \(N\rightarrow \infty \), \(\epsilon \rightarrow 0\), gives \(\overline{\mathsf{m}}_{\lambda }(Y) < \delta \). Letting \(\delta \rightarrow 0\), it now follows that \(\overline{\mathsf{m}}_{\lambda }(Y) = 0\) for all \(\lambda > b(T,Y)\). Hence \(c(T,Y) \le b(T,Y)\).
The following is a direct consequence of Theorem 5.5 and Theorem 5.8.
Corollary 5.9
Let G be a finitely generated commutative semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a standard regular system in G, and \(T:G\times X\rightarrow X\) a continuous action of G on a compact metric space X. Then \(\tilde{h}(T,\Gamma ) = b(T,\Gamma ) = c(T,\Gamma )\).
6 Comparisons Between Metric and Topological Entropy
Let again \(T:G\times X\rightarrow X\) be a continuous action of the semigroup G on a compact metric space X, and let \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) be a regular system in G.
Denote by M(X) the space of all Borel probability measures on X considered with the weak\(^*\) topology (see e.g. [49, Chapter 6]). Let M(X, T) be the closed subspace of M(X) consisting of all T -invariant measures \(\mu \in M(X)\).
Remark 6.1
In general, even when the semigroup G is finitely generated, M(X, T) could be empty (e.g., see [48, Example 4.1.1]). Nevertheless, it is known (see [48, pages 97-98]) that for two commuting homeomorphisms \(f,g:X \rightarrow X\) there exists a Borel probability measure on X which is both f-invariant and g-invariant. The argument can easily be extended to the case of two, and so finitely many, pairwise commuting continuous selfmaps. Therefore, M(X, T) is non-empty in case G is a finitely generated commutative semigroup.
The existence of a T-invariant Borel probability measure on X is ensured also when G is an amenable (not necessarily finitely generated) group (see [19, Theorem 8.10]).
The classical Variational Principle due to Goodwyn [27] and Goodman [24] states that, in case \(G=\mathbb {Z}_+\) and \(T=T(1,-):X\rightarrow X\) is a continuous selfmap,
In fact there is a more general Variational Principle concerning the topological pressure. Proofs of the Variational Principle have been given by various authors in a variety of specific situations – see [42] (for \(G = \mathbb {Z}^k\) and topological pressure, under some conditions), [20, 36, 38, 39, 43] and others.
Remark 6.2
In particular, it is well-known (see [38, 39]) that the Variational Principle (6.1) holds for continuous actions of amenable groups, where h(T) and \(h_{\mu }(T)\) are the classical topological and metric entropy defined by means of a Følner sequence \((N_n)_{n\in \mathbb {Z}_+}\) (see Sects. 2.3 and 4.2). Moreover, the same result was proved by Misiurewicz [36] for actions of \(\mathbb {Z}_+^n\), and for actions of countable cancellative semigroups in [46].
For the receptive topological entropy \(\tilde{h}(T)\) considered here a few remarks follow (the general case is not done yet). What we aim to prove is the following Receptive Variational Principle.
Conjecture 6.3
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G and let \(T:G\times X\rightarrow X\) be a continuous action on a compact metric space X with \(M(X,T)\ne \emptyset \). Then:
The main problem in all existing proofs of similar claims, including the one by Misiurewicz in [36], is that in doing some estimates the “error term” is multiplied by \(|N_n|\). Then using the classical definition of entropy, a division by \(|N_n|\) follows which solves the problem. In our case we only divide by n and this cannot kill the extra factor.
Proposition 6.4
Let G be a (necessarily countable) amenable cancellative semigroup with a regular system \((N_n)_{n\in \mathbb {Z}_+}\) which is a Følner sequence in G with \(\lim _{n\rightarrow \infty } \frac{n}{|N_n|} = 0\). Let \(T:G\times X\rightarrow X\) be a continuous action of G on a compact metric space X. If \(h(T) > 0\), then (6.2) holds.
Proof
In this case we must have \(\tilde{h}(T) = \infty \), so clearly \(\tilde{h}_\mu (T) \le \tilde{h}(T)\) for all \(\mu \in M(X,T)\). Let us prove that \(\sup \{ \tilde{h}_\mu (T):\mu \in M(X,T)\} = \infty \). Fix an arbitrary \(\epsilon > 0\) such that \(0< \epsilon < h(T)\). By Remark 6.2 there exists \(\mu \in M(X,T)\) such that \(\epsilon < h_\mu (T) \le h(T)\). By the definition of \(h_\mu (T)\), there exists a finite \(\mathcal {A}\in \underline{\mathfrak {par}}(X)\) with
Since \(|N_n|/n\rightarrow \infty \) as \(n \rightarrow \infty \), this implies \(\tilde{h}_\mu (T, \mathcal {A}) = \limsup _{n\rightarrow \infty } \frac{1}{n} H_\mu (\mathcal {A}^n_\Gamma ) = \infty .\) Thus, \(\tilde{h}_\mu (T) = \infty \), so (6.2) holds. \(\square \)
Conjecture 6.5
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G and let \(T:G\times X\rightarrow X\) be a continuous action on a compact metric space X with \(M(X,T)\ne \emptyset \). Then
Question 6.6
For which compact metric spaces does (6.3) hold? More specifically, does it hold for the Cantor cube \(\{0,1\}^n\)? What about an arbitrary totally disconnected compact metric space X? What about the tori \(\mathbb {T}^n\), or, more generally, metric continua?
We conclude with a special case, namely when X is a compact topological group with Haar measure \(\mu \) and G acts on X by continuous surjective endomorphisms. By a well known Halmos paradigm, this ensures that the actions T is measure preserving. In case \(G=\mathbb {Z}_+\), \(\tilde{h}(T) = h(T)=h_\mu (T)=\tilde{h}_\mu (T)\), as established in [45]. The equality \(h(T)=h_\mu (T)\) is true also for \(\mathbb {Z}^d\) actions on compact groups for the classical entropy (see [34]). Clearly, this can be seen as a (strongly) positive answer to Conjecture 6.3. In this vein one can ask:
Question 6.7
Under which conditions on the semigroup G the equality \(\tilde{h}(T)=\tilde{h}_\mu (T)\) is true in the above situation?
The notion of algebraic entropy \(h_{alg}(f)\) for an endomorphism \(f:A \rightarrow A\) of an abelian group A was briefly introduced in [1] and further studied in [14, 16]. A nice connection, named Bridge Theorem, was found between this entropy and the topological entropy \(h(\widehat{f})\) of the dual (continuous) endomorphism \(\widehat{f}\) of the (compact) Pontryagin dual \(\widehat{A}\), namely \(h_{alg}(f)= h(\widehat{f})\) (see [13]). This result extends earlier previous ones of M. Weiss [50] (for A torsion) and Peters [41] (for A countable and f an automorphism).
Extending the definition of \(h_{alg}\) to the case of an action T of an amenable cancellative semigroup G on an abelian group A via endomorphisms, the algebraic entropy \(h_{alg}(T)\) was defined in [12]. Moreover, the Bridge Theorem was extended in this setting as well, in case the group A is torsion. Namely, if T is an action of an amenable cancellative semigroup G on a torsion abelian group A via endomorphisms, then the topological entropy \(h(\widehat{T})\) of the dual action \(\widehat{T}\) of G on the (compact and totally disconnected) Pontryagin dual \(\widehat{A}\) coincides with \(h_{alg}(T)\).
Recently, the authors [4] defined the receptive algebraic entropy \(\tilde{h}_{alg}(T)\) of an action T of a semigroup G, provided with a regular system \(\Gamma = (N_n)_{n\in \mathbb {Z}_+}\), on an abelian group A by endomorphisms. In case the abelian group A is torsion, a Bridge Theorem between this entropy \(\tilde{h}_{alg}(T)\) and the receptive topological entropy \(\tilde{h}(\widehat{T})\) of the dual action \(\widehat{T}\) was established in [23].
There is an obvious analogy between the Variational Principle, connecting (receptive) topological entropy and (receptive) metric entropy of the same action T, and the Bridge Theorem, connecting the (receptive) topological entropy of an action T and the (receptive) algebraic entropy of the dual action \(\widehat{T}\) (for example see [15]). This motivated our choice to formulate Conjecture 6.3 in view of the positive evidence, in this sense, provided by the Bridge Theorem available in all these cases, as well as the results of Sect. 7 that are in the spirit of the Variational Principle.
7 Receptive Local Metric Entropy
For a continuous selfmap \(f:X\rightarrow X\) of a metric space X and a Borel probability measure \(\mu \) on X, Bowen [7] introduced a topological entropy \(h^B\) of subsets inspired by Hausdorff dimension. Then Brin and Katok [8] introduced a notion \(\underline{h}^{loc}_\mu \) and \(\overline{h}^{loc}_\mu \) of lower and upper local metric entropy. By the so-called Brin–Katok Formula \(h_\mu (f)=\underline{h}^{loc}_\mu (f)=\overline{h}^{loc}_\mu (f)\) they gave a description of the metric entropy in terms of the local metric entropy for every f-invariant probability measure \(\mu \) on X.
Later on, Ma and Wen [35] showed that the lower local metric entropy \(\underline{h}^{loc}_\mu \) with respect to any Borel probability measure \(\mu \) on X is always smaller than Bowen topological entropy. This result was taken to a local Variational Principle by Feng and Huang [21], who proved in particular that, in case X is a compact metric space,
More recently, Bowen’s topological entropy inspired by Hausdorff dimension was extended to continuous actions of amenable groups on compact metric spaces by Zheng and Chen [51], and under suitable hypotheses they proved that this Bowen topological entropy coincides with the classical topological entropy. Moreover, they introduced upper and lower local metric entropy, extended the Brin–Katok Formula and prove a “local Variational Principle” between Bowen topological entropy and lower local metric entropy in the case of actions of countable amenable groups on compact metric spaces.
The definition of upper and lower receptive local metric entropy that we use here is the analogue of the one in [51] adapted to our definition of receptive topological entropy. The pointwise concepts \(\underline{h}^{loc}_{\mu }(x)\) and \(\underline{h}^{loc}_{\mu }(x,{\epsilon })\) below are as in [3], where they were introduced in the particular case of actions of finitely generated groups on compact metric spaces with respect to the finite generating set of the group.
Definition 7.1
Let \(T:G\times X\rightarrow X\) be a continuous action of the semigroup G on a compact metric space X, and let \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) be a regular system in G. Let \(\mu \) be a Borel probability measure on X. The lower and the upper receptive local metric entropy of T at \(x\in X\) are defined by
where, for \(\epsilon >0\),
The lower and the upper receptive local metric entropy of T with respect to \(\mu \) are defined by
Clearly, \(\underline{h}^{loc}_{\mu } (x,\epsilon )\) and \(\overline{h}^{loc}_{\mu }(x)\) measure the decay of the dynamic ball \(D^\Gamma _n(x,\epsilon )\) with respect to \(\mu \). We shall omit to write \(\Gamma \) in \(\underline{h}^{loc}_{\mu }(T,\Gamma )\) when it is clear from the context.
The argument in the proof of the following folklore fact was kindly proposed to us by Hans Weber in the case of the trivial action. It is used in the above definition to apply the integral to the function \(\underline{h}^{loc}_{\mu }:X\rightarrow \mathbb {R}_{\ge 0}\).
Lemma 7.2
Let \(T:G\times X\rightarrow X\) be a continuous action of the semigroup G on a compact metric space X, let \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) be a regular system in G and \(\mu \) a Borel probability measure on X. The functions \(\underline{h}^{loc}_{\mu }(-,\epsilon ):X\rightarrow \mathbb {R}_{\ge 0}\) for \(\epsilon >0\) and \(\underline{h}^{loc}_{\mu }:X\rightarrow \mathbb {R}_{\ge 0}\) are measurable.
Proof
We prove that, fixed \(n\in \mathbb {Z}_+\) and \(\epsilon >0\), the function \(f_n:X\rightarrow [0,1]\), \(x\mapsto \mu (D_n^\Gamma (x, \epsilon ))\) is measurable. So also the function \(x\mapsto \frac{1}{n}\log \mu (D_n^\Gamma (x, \epsilon ))\) is measurable. Then \(\underline{h}^{loc}_{\mu } (-,\epsilon )\) and \(\underline{h}^{loc}_{\mu }\) result to be measurable as limits of measurable functions.
Let \(f=f_n\). First we verify that f is lower semicontinuous. To this end, fix \(x_0\in X\) and \(a\in [0,1]\) with \(f(x_0)>a\). Since \(\{D_n^\Gamma (x_0,\epsilon -\frac{1}{k})\}_{k>0}\) is an increasing chain and \(\bigcup _{k>0}D_n^\Gamma (x_0,\epsilon -\frac{1}{k})=D_n^\Gamma (x_0,\epsilon )\), the sequence of real numbers \(\{\mu (D_n^\Gamma (x_0,\epsilon -\frac{1}{k}))\}_{k>0}\) converges to \(f(x_0)=\mu (D_n^\Gamma (x_0,\epsilon ))\). Thus, there exists \(0<\epsilon ' <\epsilon \) such that
Let \(\bar{\epsilon }=\epsilon -\epsilon '\). For every \(g\in N_n\), \(g:X\rightarrow X\) is (uniformly) continuous, so there exists \(\delta _g>0\) such that \(x\in B(x_0,\delta _g)\) implies \(gx\in B(gx_0,\bar{\epsilon })\). Let \(\delta =\min _{g\in N_n} \delta _g\) and \(U=B(x_0,\delta )\). If \(x\in U\), then
Indeed, \(y\in D_n^\Gamma (x_0,\epsilon ')\), then for every \(g\in N_n\), \(d(gy,gx)\le d(gy,gx_0)+d(gx_0,gx)\le \epsilon '+\bar{\epsilon }=\epsilon .\) By (7.1), if \(x\in U\), then \(f(x)=\mu (D_n^\Gamma (x,\epsilon ))\ge \mu (D_n^\Gamma (x_0,\epsilon '))>a\). This shows that f is lower semicontinuous.
The fact that f is lower semicontinuous implies that \(f^{-1}((\gamma ,1])\) is open in X for every \(\gamma \in (0,1)\), and this last property entails that f is measurable. \(\square \)
For reader’s convenience, we give an auxiliary result based on the classical theorems of Lusin and Egorov adapted to our more specific situation.
Lemma 7.3
Let X be a compact metric space and \(\mu \) a Borel probability measure on X.
-
(a)
A real valued function f on X is measurable if and only if for every \(\epsilon >0\) there exists a compact subset K of X with \(\mu (X{\setminus } K)<\epsilon \) and such that \(f\restriction _K\) is continuous.
-
(b)
If a sequence of measurable real valued functions \(f_n\) on X converges to a real valued measurable function f on X at each \(x\in X\), then for each \(\epsilon >0\) there exists a compact subset K of X such that \(\mu (X{\setminus } K)<\epsilon \) and \(f_n\) converges to f uniformly on K.
We see that the lower receptive local metric entropy is always smaller than the receptive metric entropy. This can be seen as one half of the receptive version of the Brin–Katok Formula.
Theorem 7.4
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G and \(T:G\times X\rightarrow X\) a continuous action of G on a compact metric space X. Then, for a T-invariant Borel probability measure \(\mu \) on X, \(\underline{h}^{loc}_{\mu }(T) \le \tilde{h}_\mu (T)\).
Proof
Case 1: \(\underline{h}^{loc}_{\mu }(T) < \infty \). Let \(\delta > 0\), \(g= \underline{h}^{loc}_{\mu }\) and \(g_m= \underline{h}^{loc}_{\mu }(-,1/m)\) for every integer \(m>0\). Pick \(\epsilon > 0\) such that
whenever K is a compact subset of X with \(\mu (X{\setminus } K) < \epsilon \).
Clearly, \(g(x) = \lim _{m\rightarrow \infty } g_m(x)\) for all \(x \in X\). Since each \(g_m\) is measurable by Lemma 7.2, by iterated applications of Lemma 7.3, one can find a compact subset K of X such that all functions \(g_m\) and g are continuous on K, \(g_m\) converges uniformly to g on K and \(\mu (X{\setminus } K) < \epsilon \). Consequently,
Take \(m_0 \ge 1\) so large that \(g(y) - g_m(y) < \delta \) for all \(y \in K\) and all \(m \ge m_0\). Then, for all \(m \ge m_0\),
Next, fix an arbitrary integer \(m \ge m_0\). Let \(\AA = \{A_1,A_2, \ldots , A_k\}\) be a \(\mu \)-measurable partition of X such that \(\mathrm{diam}(A_i) < 1/m\) for all \(i\in \{1,2,\ldots ,k\}\) (this is straightforward, otherwise see for example [49, Lemma 8.5] for an even stronger statement). For any integer \(N \ge 1\) set
This defines an increasing sequence \((K_N)_{N\ge 1}\) of subsets of K with \(\bigcup _{N\ge 1} K_N = K\). So there exists an integer \(N\ge 1\) such that
Let \(n \ge N\). Then
If \(Y \in \mathcal {A}^n_\Gamma \) is such that \(Y \cap K_{N} \ne \emptyset \), then for any \(y \in Y\cap K_{N}\) we have \(Y \subseteq D_n^\Gamma (y,1/m)\), so \(\mu (Y) \le \mu (D_n^\Gamma (y,1/m)\). Combining the above inequalities we obtain
Letting \(n \rightarrow \infty \) we obtain that \(\underline{h}^{loc}_{\mu }(T) \le \tilde{h}_{\mu }(T, \mathcal {A}) + 4 \delta \), therefore \(\underline{h}^{loc}_{\mu }(T) \le \tilde{h}_{\mu }(T) + 4\delta \). This is true for any \(\delta > 0,\) so \(\underline{h}^{loc}_{\mu }(T) \le \tilde{h}_{\mu }(T)\).
Case 2: \(\underline{h}^{loc}_{\mu }(T) = \infty \). Now \(\displaystyle \int _X g(x) d\mu = \infty \), where \(g=\underline{h}^{loc}_{\mu }\). Let \(M > 0\) be an arbitrary (large) number. Using Lemmas 7.2 and 7.3 as above, there exists a compact subset K of X such that all functions \(g_m\) are continuous on K, \(g_m\) converges uniformly to g on K, and
Fix an integer \(m_0 \ge 1\) so large that \(g_m(x) \ge g(x) -1\) for all \(x\in K\) and all \(m \ge m_0\). Define the sets \(K_N\) as above with \(\delta = 1\). Then again \((K_N)_{N\ge 1}\) is an increasing sequence of subsets of K with \(\bigcup _{N\ge 1} K_N = K\), so for a sufficiently large integer \(N\ge 1\),
Now for \(n \ge N\) and \(m \ge m_0\), using estimates similar to those above, we get
As before, if \(Y \cap K_{N} \ne \emptyset \) for some \(Y \in \mathcal {A}^n_\Gamma \), then \(Y \subseteq D_n^\Gamma (y,1/m)\) and so \(\mu (Y) \le \mu (D_n^\Gamma (y,1/m)\) for any \(y \in Y\cap K_{N}\). Thus, the above inequalities imply
Letting \(n \rightarrow \infty \) we obtain that \(M \le \tilde{h}_{\mu }(T, \mathcal {A}) + 3 \le \tilde{h}_{\mu }(T) + 3\), and therefore \(\tilde{h}_\mu (T) \ge M-3\). Letting \(M \rightarrow \infty \) gives \(\tilde{h}_\mu (T) = \infty = \underline{h}^{loc}_{\mu }(T)\). \(\square \)
The following question arises in a natural way in view of the Brin–Katok Formula and Theorem 7.4.
Question 7.5
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in \({ G}\), \(T:G\times X\rightarrow X\) a continuous action of G on a compact metric space X and \(\mu \in M(X,T)\). Does \(\underline{h}^{loc}_{\mu }(T)= \tilde{h}_\mu (T)\) hold under suitable conditions?
Let \(T:G\times X\rightarrow X\) be a continuous action of the semigroup G on a compact metric space X, let \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) be a regular system in G and \(\mu \) a T-invariant Borel probability measure on X. We denote by \(\underline{S}_\mu (T,\Gamma )\) the essential supremum of \(\underline{h}^{loc}_{\mu }\), that is,
When there is no possibility of confusion we omit \(\Gamma \) and write simply \(\underline{S}_\mu (T)\).
Remark 7.6
Let \(T:G\times X\rightarrow X\) be a continuous action of the semigroup G on a compact metric space X, and let \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) be a regular system in G. Let \(\mu \) be a Borel probability measure on X. Put \(s(Y):= \inf \{\underline{h}^{loc}_{\mu }(x): x\in Y\}\) for \(Y \subseteq X\). Since \(\underline{S}_\mu (T)> s(Y)\) for every measurable subset Y of X with \(\mu (Y) >0\) and \(\underline{S}_\mu (T)\) is the smallest number with this property, an alternative description of \(\underline{S}_\mu (T)\) can be
We conjecture that a local Variational Principle in the spirit of the one mentioned above by Zheng and Chen holds:
Conjecture 7.7
If G is a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G, \(T:G\times X\rightarrow X\) a continuous action on a compact metric space X, then
As mentioned above, the validity of the conjecture for \(\mathbb {Z}_+\)-actions was established by Feng and Huang [21]. The following result can be seen as one half of the local Variational Principle (7.3), namely, \(\underline{h}^{loc}_{\mu }(T) \le \tilde{h}(T)\) for every Borel probability measure \(\mu \). Therefore, in case Question 7.5 has a positive answer, this would provide also one half of the Variational Principle (6.2), namely, \( \tilde{h}_\mu (T) \le \tilde{h}(T)\) for every \(\mu \in M(X,T)\).
Theorem 7.8
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G and \(T:G\times X\rightarrow X\) a continuous action of G on a compact metric space X. Then, for a Borel probability measure \(\mu \) on X, \(\underline{S}_{\mu }(T) \le c(T),\) and therefore \(\underline{S}_{\mu }(T) \le \tilde{h}(T)\). In particular, \(\underline{h}^{loc}_{\mu }(T) \le \tilde{h}(T)\).
Proof
Set \(S = \underline{S}_{\mu }(T)\) and take a small constant \(\delta > 0\). Then \(\mu (Y_0)> 0,\) where \(Y_0= \{ x \in X : \underline{h}^{loc}_{\mu }(x) > S - \delta \}\). Since the measure is inner regular, there exists a compact subset K of \(Y_0\) such that \(\mu (K)>0\) and
For every integer \(m \ge 1\) set
The sequence \((K_m)_{m\ge 1}\) is increasing and \(\bigcup _{m\ge 1}K_m = K\), so there exists \(m_{0} \ge 1\) with \(\mu (K_{m_{0}})> \frac{1}{2} \mu (K) > 0\).
Similarly, for every \(N\ge 1\) let
the sequence of sets \((K_{m_0,N})_{N\ge 1}\) is increasing and \(\bigcup _{N\ge 1}K_{m_0,N}=K_{m_0}\), so there exists \(N_0 \ge 1\) such that
Set \(F=K_{m_0,N_0}\) and assume for a contradiction that \(c(T,F) < S- \delta \). Fix an arbitrary \(\lambda \in \mathbb {R}\) with \(c(T,F)< \lambda < S-\delta \). Then \(\overline{\mathsf{m}}_{\lambda }(F) = 0\) by the definition of c(T, F). This implies that there exist \(\epsilon \in (0,1/m_0)\), an integer \(N \ge N_0\) and a finite or countable cover \(\{D_{n_i}^\Gamma (x_i, \epsilon ):i\in I\}\) of F with \(x_i \in F\) and \(n_i \ge N_0\) for all \(i\in I\), such that
Then by the choice of F, for all \(i\in I\) we have \(- \log \mu (D_{n_i}^\Gamma (x_i, \epsilon )) > n_i (S - \delta )\), so \(\mu (D_{n_i}^\Gamma (x_i,\epsilon )) < e ^{-n_i (S - \delta )}.\) Since \(F \subseteq \bigcup _{i\in I} D_{n_i}^\Gamma (x_i,\epsilon )\), it now follows that
and this is a contradiction with (7.4).
In this way we have proved that \(c(T,F) \ge S-\delta \). Letting \(\delta \rightarrow 0\) we obtain that \(c(T,F) \ge S\) which in turn implies \(c(T) \ge S\). By Theorem 5.8 and Remark 5.6, we conclude also that \(S \le c(T) = b(T) \le \tilde{h}(T)\).
The last assertion follows from the inequality \(\underline{h}^{loc}_{\mu }(T) \le \underline{S}_{\mu }(T)\) since by definition \(\underline{h}^{loc}_{\mu }(T)\) and \(\underline{S}_\mu (T)\) are respectively the integral and the essential supremum of the function \(\underline{h}^{loc}_\mu :X\rightarrow \mathbb {R}_{\ge 0}\). \(\square \)
Remark 7.9
Theorem 7.8 is closely related to [3, Corollary 5.4], where G is a finitely generated group acting on a compact metric space X and the regular system \(\Gamma \) is standard. In the notation of Theorem 7.8 and Remark 7.6, it is proved in [3, Corollary 5.4] that if E is a Borel subset of X with \(\mu (E)>0\), then \(s(E)\le \tilde{h}(T,E)\). Therefore, in view of Remark 7.6, \(\underline{S}_{\mu }(T) \le \tilde{h}(T).\)
The following question arises as very natural in view of Theorem 7.8.
Question 7.10
Let G be a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G and \(T:G\times X\rightarrow X\) a continuous action of G on a compact metric space X. Does \(c(T)=\sup \{\underline{S}_{\mu }(T):\mu \ \text {Borel probability measure on X}\}\) hold? Does \(\tilde{h}(T)=\sup \{\underline{S}_{\mu }(T):\mu \ \text {Borel probability measure on X}\}\) hold at least when G is commutative and finitely generated and \(\Gamma \) is standard?
In view of the Variational Principle and of Conjecture 7.7 it makes sense to ask whether also the following version of the local Variational Principle holds.
Question 7.11
If G is a semigroup, \(\Gamma =(N_n)_{n\in \mathbb {Z}_+}\) a regular system in G, \(T:G\times X\rightarrow X\) a continuous action on a compact metric space X admitting some T-invariant Borel probability measure, does
In view of Theorem 7.4, this version (7.5) of the local Variational Principle would imply the “hard half” (i.e., the inequality \(\le \)) of the Variational Principle (6.2), as (7.5) and Theorem 7.4 would give \(\tilde{h}(T)\le \sup \{ \tilde{h}_\mu (T):\mu \in M(X,T) \}\). So only the inequality \(\ge \) in (6.2) (sometimes referred to as “easy half”) of the Variational Principle would be missing, now stated as (6.3) in Conjecture 6.5.
References
Adler, R.L., Konheim, A.G., McAndrew, M.H.: Topological entropy. Trans. Am. Math. Soc. 114, 309–319 (1965)
Biś, A.: Entropies of a semigroup of maps. Discrete Cont. Dyn. Syst. 11, 639–648 (2004)
Biś, A.: An analogue of the variational principle for group and semigroup actions. Ann. de L’Inst. Fourier 63, 839–863 (2013)
Biś, A., Dikranjan, D., Giordano Bruno, A., Stoyanov, L.: Algebraic entropies of commuting endomorphisms of torsion abelian groups. Rend. Sem. Mat. Univ. Padova 144, 45–60 (2020)
Biś, A., Dikranjan, D., Giordano Bruno, A., Stoyanov, L.: Topological entropy, upper capacity and fractal dimensions of finitely generated semigroup actions. Colloq. Math. 163, 131–151 (2021)
Bowen, R.: Entropy for group endomorphisms and homogeneous spaces. Trans. Am. Math. Soc. 153, 401–414 (1971)
Bowen, R.: Topological entropy for noncompact sets. Trans. Am. Math. Soc. 154, 125–136 (1973)
Brin, M., Katok, A.: On local entropy. In: Geometric Dynamics. Lecture Notes in Mathematics, vol. 1007, pp. 30–38. Springer, Berlin (1983)
Cánovas, J.S.: Topological sequence entropy of interval maps. Nonlinearity 17, 49–56 (2004)
Conze, J.P.: Entropie d’un groupe abélien de transformations. Z. Wahrscheinlichkeitstheorie 25, 11–30 (1972)
Dekking, F.M.: Some examples of sequence entropy as an isomorphism invariant. Trans. Am. Mat. Soc. 259, 167–183 (1980)
Dikranjan, D., Fornasiero, A., Giordano Bruno, A.: Algebraic entropy for amenable semigroup actions. J. Algebra 556, 467–546 (2020)
Dikranjan, D., Giordano Bruno, A.: The connection between topological and algebraic entropy. Topol. Appl. 159, 2980–2989 (2012)
Dikranjan, D., Giordano Bruno, A.: Entropy on abelian groups. Adv. Math. 298, 612–653 (2016)
Dikranjan, D., Giordano Bruno, A.: Entropy on normed semigroups (towards a unifying approach to entropy). Diss. Math. 542, 1–90 (2019)
Dikranjan, D., Goldsmith, B., Salce, L., Zanardo, P.: Algebraic entropy of endomorphisms of abelian groups. Trans. Am. Math. Soc. 361, 3401–3434 (2009)
Dinaburg, E.I.: The relation between topological entropy and metric entropy. Soviet. Math. Dokl. 11, 13–16 (1970)
Eberlein, E.: On topological entropy of semigroups of commuting transformations. Astérisque 40, 1–46 (1977)
Einsiedler, M., Ward, T.: Ergodic Theory with a View Towards Number Theory, Graduate Texts in Mathematics 259. Springer, London (2011)
Elsanousi, S.A.: A variational principle for the pressure of a continuous \(\mathbb{Z}^2\) action. Am. J. Math. 99, 77–100 (1977)
Feng, D., Huang, W.: Variational principles for topological entropies of subsets. J. Funct. Anal. 263, 2228–2254 (2012)
Franzová, N., Smital, J.: Positive sequence topological entropy characterizes chaotic maps. Proc. Am. Math. Soc. 112, 1083–1086 (1991)
Giordano Bruno, A.: A bridge theorem for the entropy of semigroup actions. Topol. Algebra Appl. 8(1), 46–57 (2020)
Goodman, T.N.T.: Relating topological and measure entropy. Bull. Lond. Math. Soc. 3, 176–180 (1971)
Goodman, T.N.T.: Topological sequence entropy. Proc. Lond. Math. Soc. 29, 331–350 (1974)
Ghys, E., Langevin, R., Walczak, P.: Entropie geometrique des feuilletages. Acta Math. 160, 105–142 (1988)
Goodwyn, L.W.: Topological entropy bounds measure-theoretic entropy. Proc. Am. Math. Soc. 23, 679–688 (1969)
Hochman, M.: Slow entropy and differentiable models for infinite-measure preserving \(\mathbb{Z}^k\)-actions. Ergod. Theory Dyn. Syst 32, 653–674 (2012)
Hofmann, K.-H., Stoyanov, L.N.: Topological entropy of group and semigroup actions. Adv. Math. 115, 54–98 (1995)
Katok, A., Thouvenot, J.P.: Slow entropy type invariants and smooth realization of commuting measure-preserving transformations. Ann. Inst. Henri Poincare Probab. Stat. 33, 323–338 (1997)
Kong, D., Chen, E.: Slow entropy for noncompact sets and variational principle. J. Dyn. Differ. Equ. 26(3), 477–492 (2014)
Kushnirenko, A.: On metric invariants of entropy type. Uspehi Mat. Nauk 22, 57–66 (1967)
Lemańczyk, M.: The sequence entropy for Morse shifts and some counterexamples. Studia Math. 82, 221–241 (1985)
Lind, D., Schmidt, K., Ward, T.: Mahler measure and entropy for commuting automorphisms of compact groups. Invent. Math. 101, 593–629 (1990)
Ma, J., Wen, Z.: A Billingsley type theorem for Bowen entropy. C. R. Acad. Sci. Paris 346, 503–507 (2008)
Misiurewicz, M.: A short proof of the variational principle for a \({\mathbb{Z}}_{+}^{n}\) action. Astérisque 40, 147–158 (1977)
Misiurewicz, M.: On Bowen’s definition of topological entropy. Discrete Contin. Dyn. Syst. 10, 827–833 (2004)
Ollagnier, J.M.: Ergodic Theory and Statistical Mechanics. Lecture Notes in Mathematics, vol. 1115. Springer, Berlin (1985)
Ollagnier, J.M., Pinchon, D.: The variational principle. Studia Math. 72, 151–159 (1982)
Pesin, Y.: Dimension Theory in Dynamical Systems: Contemporary Views and Applications. The University of Chicago Press, Chicago (1997)
Peters, J.: Entropy on discrete abelian groups. Adv. Math. 33, 1–13 (1979)
Ruelle, D.: Statistical mechanics on a compact set with \(\mathbb{Z}^n\) action. Trans. Am. Math. Soc. 185, 237–252 (1973)
Ruelle, D.: Thermodynamic Formalism. Addison-Wesley, London (1978)
Schmidt, K.: Dynamical Systems of Algebraic Origin, Progress in Mathematics 128. Birkhäuser Zentralblatt Verlag, Basel (1995)
Stojanov, L.: Uniqueness of topological entropy for endomorphisms on compact groups. Boll. Un. Mat. Ital. B (7) 1(3), 82–847 (1987)
Stepin, A.M., Tagi-Zade, A.T.: Variational characterization of topological pressure for amenable groups of transformations. Dokl. Akad. Nauk SSSR 254, 545–549 (1980)
Todorovich, L.: Entropy of \(\mathbb{Z}^N\) actions. Honours Thesis supervised by L. Stoyanov, University of Western Australia (2009)
Walczak, P.: Dynamics of Foliations. Groups and Pseudogroups. Birkhäuser, Basel (2004)
Walters, P.: Ergodic Theory. Springer, Berlin (1980)
Weiss, M.D.: Algebraic and other entropies of group endomorphisms. Math. Syst. Theory 8(3), 243–248 (1974/75)
Zheng, D., Chen, E.: Bowen entropy for actions of amenable groups. Isr. J. Math. 212, 895–911 (2016)
Funding
Open access funding provided by Università degli Studi di Udine within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Biś, A., Dikranjan, D., Giordano Bruno, A. et al. Metric Versus Topological Receptive Entropy of Semigroup Actions. Qual. Theory Dyn. Syst. 20, 50 (2021). https://doi.org/10.1007/s12346-021-00485-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12346-021-00485-7
Keywords
- Topological entropy
- Metric entropy
- Receptive entropy
- Slow entropy
- Local metric entropy
- Semigroup action
- Regular system
- Variational principle
- Local variational principle