1. Introduction
In this paper, we study generic probability measure-preserving (p.m.p.) actions of amenable groups. The main object we focus on is the scaling entropy of an action, which is the invariant of slow entropy type proposed by Vershik in [Reference Vershik25–Reference Vershik27]. This invariant is based on the dynamics of measurable metrics on the underlying measure space and reflects the asymptotic behavior of the minimal epsilon-net of the averaged metric. The scaling entropy invariant was studied in [Reference Petrov, Vershik and Zatitskiy14, Reference Petrov and Zatitskiy15, Reference Veprev23, Reference Vershik27, Reference Zatitskiy32, Reference Zatitskiy33]. We will give all the necessary definitions in §2.2.
It turns out that some properties of the scaling entropy of a generic action can be established. In particular, we show that its asymptotic behavior cannot be bounded from above by any non-trivial bound. For the case of a single transformation, similar results were obtained in [Reference Adams1, Reference Veprev23]. Together with the results from [Reference Veprev24], this gives the negative answer to Weiss’s question about the existence of a universal zero-entropy system (see [Reference Serafin20, Reference Veprev24]) for all amenable groups.
Also, we study lower bounds for the generic growth rate of scaling entropy. In the case of a residually finite group, a similar result holds true: there exists no non-constant lower bound for the scaling entropy of a generic action. However, this is not true in general. It turns out that there exist discrete amenable groups that have a scaling entropy growth gap, which means that the scaling entropy of any free p.m.p. action of such a group has to grow faster than some fixed unbounded function. We show an example of such a group in §5.2. Our example is based on the theory of growth in finite groups, in particular, the growth theorem by Helfgott (see [Reference Helfgott5]) and its generalizations from [Reference Pyber and Szabó16].
1.1. Generic properties of group actions
Descriptive set theory applied to group actions is a well-studied concept in ergodic theory. We will give several definitions in order to set up notation. For more details, follow the survey [Reference Kechris9] by Kechris. Let
$\Gamma $
be a discrete countable group and let
$(X,\mu )$
be a Lebesgue space. Let
$\operatorname {\mathrm {Aut}} (X,\mu )$
be the group of all invertible measure-preserving transformations of
$(X,\mu )$
endowed with the weak topology w with respect to which
$\operatorname {\mathrm {Aut}} (X,\mu )$
is a Polish space. The set of all p.m.p. actions of
$\Gamma $
on
$(X,\mu )$
can be naturally identified with the space
$A(\Gamma , X, \mu )$
of all homomorphisms from
$\Gamma $
to
$\operatorname {\mathrm {Aut}} (X,\mu )$
. Clearly,
$A(\Gamma , X, \mu )$
is a closed subset of the space
$\operatorname {\mathrm {Aut}} (X,\mu )^\Gamma $
endowed with the product topology and, therefore, is Polish. Let us note that this topology is generated by the family
$\{U_{\gamma , a, \varepsilon }(\alpha )\}_{\gamma \in \Gamma , a \subset X, \varepsilon> 0}$
of open neighborhoods as prebase, where
$\alpha $
is a p.m.p. action of
$\Gamma $
. Each
$U_{\gamma , a, \varepsilon }(\alpha )$
consists of those
$\beta \in A(\Gamma , X, \mu )$
that satisfy
$\mu (\beta (\gamma ) a \triangle \alpha (\gamma ) a) < \varepsilon $
.
Every automorphism
$T \in \operatorname {\mathrm {Aut}} (X,\mu )$
acts on
$A(\Gamma , X, \mu )$
by conjugation:
$a \mapsto T a T^{-1}, \ a\in A(\Gamma , X, \mu )$
. It is shown in [Reference Foreman and Weiss4] that the conjugacy class of every free ergodic action of an amenable group is dense in the weak topology of
$A(\Gamma , X, \mu )$
.
We say that a set P of
$\Gamma $
-actions is meager if its complement contains a dense
$G_\delta $
subset in
$A(\Gamma , X, \mu )$
. We call P generic (or comeager) if it contains a dense
$G_\delta $
subset. It is well known that, for example, the set of all ergodic free actions of a discrete amenable group
$\Gamma $
is generic, as well as the set of all actions with zero measure entropy (see [Reference Foreman and Weiss4, Reference Kechris9]).
1.2. Universal systems
Universal dynamical systems appear in various contexts in many papers (see, e.g., [Reference Downarowicz and Serafin2, Reference Serafin20, Reference Shilon and Weiss21, Reference Veprev24, Reference Vershik and Zatitskiy29, Reference Weiss30]). The exact definition of universality varies from paper to paper. We will mainly follow the one given in [Reference Downarowicz and Serafin2] by Downarowicz and Serafin. Let G be an amenable group and let X be a metric compact space on which G acts by homeomorphisms. A topological system
$(X, G)$
is called universal for some class
$\mathcal {S}$
of ergodic p.m.p. actions of G if the following two conditions are satisfied. For any ergodic G-invariant measure
$\mu $
on X, the system
$(X, \mu , G)$
belongs to
$\mathcal {S}$
, and for any
$(Y,\nu , G) \in \mathcal {S}$
, there exists a G-invariant measure
$\mu $
on X such that
$(X, \mu , G)$
is measure-theoretically isomorphic to
$(Y,\nu , G)$
.
In view of the variational principle, it is natural to consider classes
$\mathcal {S}$
defined by a condition on the entropy of an action. From this point of view, one may interpret Krieger’s finite generator theorem (see [Reference Krieger11]) as the universality of the full topological shift on n letters for the class
$\mathcal {S}$
consisting of all systems with entropy strictly less than
$\log n$
and the Bernoulli shift of entropy exactly
$\log n$
. It is then possible to construct a universal system for the class
$\mathcal {S}$
of automorphisms with entropy strictly (or not strictly) less than a given positive constant and, moreover, for the class defined by entropy belonging to a given non-degenerate interval (see [Reference Downarowicz and Serafin2]). A special case of a class of such a type is the class of all zero-entropy actions. Notably, this is the smallest class defined by the condition on the entropy of an action that corresponds to a comeager set in
$A(G, X, \mu )$
. The question about the existence of a universal system for the class of all zero-entropy systems was communicated to the author by V. Ryzhikov, who attributed it to J.-P. Thouvenot. It turned out, however, that it was earlier asked by B. Weiss, and it first appears in [Reference Serafin20].
This question for the case of a single transformation, as it was originally formulated, was answered in negative by Serafin in his paper [Reference Serafin20]. His proof uses the notions of symbolic and measure-theoretic complexity of a dynamical system (see also [Reference Ferenczi3]) and constructions of systems with rapidly growing measure-theoretic complexity. This approach, as mentioned by J. Serafin, does not extend to the realm of actions of amenable groups owing to insufficient development of the theory of symbolic extensions. In [Reference Veprev24], the author extends Serafin’s result to non-periodic amenable groups using the scaling entropy invariant, constructions of Vershik’s automorphisms (see [Reference Vershik and Zatitskiy28]) and coinduced actions. The main difficulty of that proof lies in producing explicitly a special series of actions of a group with certain conditions on the growth of the scaling entropy. Let us note that an explicit construction of such actions for a general amenable group is still unknown to the author.
In the present paper, we overcome these difficulties by proving that the actions with the desired properties are generic in
$A(G, X, \mu )$
and, therefore, exist. As an immediate corollary of our results, we give the answer to Weiss’s question for all amenable groups.
Theorem 1.1. Every infinite countable discrete amenable group does not admit a universal zero-entropy system.
2. Slow entropy type invariants
2.1. Kushnirenko’s sequential entropy
As an intermediate step in our arguments, we use the following sequential entropy invariant introduced in [Reference Kushnirenko12], or rather its generalized version from [Reference Ryzhikov18]. Let
$P = \{P_n\}$
be a sequence of finite subsets in G and let
$G \stackrel {{{{\alpha }}}}{{\curvearrowright }} (X, \mu )$
be a p.m.p. action of G. For a measurable partition
$\xi $
, define its sequential entropy as
$$ \begin{align} h_P(G,\xi) = \limsup_{n} \frac{1}{|P_n|} H{\bigg( \bigvee_{g\in P_n} g^{-1}\xi\bigg)}. \end{align} $$
The sequential entropy along P of the action is the supremum
$$ \begin{align} h_P(X, \mu, G) = \sup_{\xi \colon H(\xi) < \infty} h_P(G, \xi). \end{align} $$
2.2. Scaling entropy
In this section, we give a brief introduction to the theory of scaling entropy. This invariant was introduced by Vershik in his papers [Reference Vershik25–Reference Vershik27] and was further developed by Petrov and Zatitskiy in [Reference Petrov, Vershik and Zatitskiy14, Reference Petrov and Zatitskiy15, Reference Zatitskiy32, Reference Zatitskiy33]. The main idea of Vershik is to consider dynamical properties of functions of several variables, namely, measurable metrics and semimetrics (quasimetrics).
Let us mention that the closely related notions appear in several papers by S. Ferenczi (measure-theoretic complexity; see, e.g., [Reference Ferenczi3]) and Katok and Thouvenot (slow entropy; see [Reference Katok and Thouvenot8]). We refer the reader to the survey [Reference Kanigowski, Katok and Wei7] for details of these invariants.
Throughout this paper, we use the following notation. For two sequences
$\phi {=\{\phi (n)\}_n}$
and
$\psi {=\{\psi (n)\}_n}$
of positive numbers, we write
$\phi \precsim \psi $
if the asymptotic relationship
$\phi (n) = O (\psi (n))$
is satisfied. We write
$\phi \asymp \psi $
if both inequalities
$\phi \precsim \psi $
and
$\psi \precsim \phi $
hold and write
$\phi \prec \psi $
if
$\phi (n) = o(\psi (n))$
.
2.2.1. Epsilon-entropy and measurable semimetrics
Consider a measurable function
$\rho \colon (X^2, \mu ^2) \to [0, +\infty )$
. We call
$\rho $
a measurable semimetric if it is non-negative, symmetric and satisfies the triangle inequality. For a positive
$\varepsilon $
, the
$\varepsilon $
-entropy of the semimetric
$\rho $
is defined in the following way. Let k be the minimal positive integer such that the space X decomposes into a union of measurable subsets
$X_0, X_1, \ldots , X_k$
with
$\mu (X_0) < \varepsilon $
and
$\operatorname {\mathrm {diam}}_\rho (X_i) < \varepsilon $
for all
$i>0$
. Put
$$ \begin{align} \mathbb{H}_\varepsilon(X, \mu, \rho) = \log_2 k. \end{align} $$
If there is no such finite k, we define
$\mathbb {H}_\varepsilon (X, \mu , \rho ) = + \infty $
.
We call a semimetric admissible if it is separable on some subset of full measure. It turns out (see [Reference Petrov, Vershik and Zatitskiy14]) that a semimetric is admissible if and only if its
$\varepsilon $
-entropy is finite for any
$\varepsilon> 0$
. In this paper, we consider only admissible semimetrics. A simple example of such a semimetric is the so-called cut semimetric
$\rho _\xi $
corresponding to a measurable partition
$\xi $
with finite Shannon entropy. That is,
$\rho (x, y) = 0$
if both points
$x,y \in X$
lie in the same cell of
$\xi $
, and
$\rho (x, y) = 1$
otherwise.
The space
$\mathcal {A}dm(X,\mu )$
of all summable admissible semimetrics is a convex cone in
$L^1(X^2,\mu ^2)$
. We define the m-norm on a linear subspace of
$L^1(X^2,\mu ^2)$
containing
$\mathcal {A}dm$
as
$$ \begin{align} {\| f \|}_m = \inf \{{\| \rho \|}_{L^1(X^2,\mu^2)} : \rho(x,y) \geqslant {| f(x,y)|}, \mu^2\text{-almost surely}\}, \end{align} $$
where the infimum is computed over all measurable semimetrics
$\rho $
(see [Reference Petrov, Vershik and Zatitskiy14, Reference Zatitskiy32] for details).
2.2.2. Scaling entropy of a group action
Let G be a countable amenable group with some given Følner sequence
$\unicode{x3bb} = \{F_n\}$
, which we will call the equipment of the group G. We will refer to the pair
$(G, \unicode{x3bb} )$
as an equipped group. Let us remark right away that the scaling entropy invariant is well defined beyond amenable groups and Følner sequences. The only assumption one needs to make is the requirement of the equipment to be suitable (see [Reference Zatitskiy33] for details); a sequence of increasing balls in a finitely generating group may be viewed as an example. However, we restrict our considerations to the case of amenable groups since we will deal only with them in this paper.
Suppose that
$G \stackrel {{{{\alpha }}}}{{\curvearrowright }} {( X,\mu )}$
is a p.m.p. action of G on a Lebesgue space
${( X,\mu )}$
. For a measurable semimetric
$\rho $
and an element
$g \in G$
, let
$g^{-1}\rho $
denote a translation of
$\rho $
:
$g^{-1}\rho (x,y) = \rho (gx, gy)$
, where
$x,y \in X$
. Note that if
$\rho $
is admissible, then
$g^{-1}\rho $
is admissible as well. A semimetric is said to be generating if all its translations together separate points of the measure space up to a null set.
Consider the average of
$\rho $
over
$F_n$
$$ \begin{align} G^n_{av} \rho (x,y) = \frac{1}{{| F_n |}}\sum \limits_{g\in F_n} \rho(gx, gy),\quad x,y \in X. \end{align} $$
We will also denote the same semimetric (2.5) by the symbol
$G^{F_n}_{av} \rho $
to emphasize the set of elements used to compute the average and
$\alpha ^{n}_{av} \rho $
to emphasize the action. Consider the function
$$ \begin{align} \Phi_\rho(n, \varepsilon) = \mathbb{H}_\varepsilon{( X, \mu, G^n_{av}\rho)}. \end{align} $$
By definition,
$\Phi _\rho (n,\varepsilon )$
depends on n,
$\varepsilon $
and the semimetric
$\rho $
. However, its asymptotic behavior in n is supposed to be independent of
$\rho $
and
$\varepsilon $
in some sense (see [Reference Vershik26, Reference Vershik27]). The strongest form of such independence corresponds to the following notion from [Reference Petrov, Vershik and Zatitskiy14, Reference Zatitskiy32]. A sequence
$\{h_n\}$
is called a scaling entropy sequence for
$\rho $
if
$\Phi _\rho (n,\varepsilon ) \asymp h_n$
for all sufficiently small
$\varepsilon> 0$
. Zatitskiy showed in [Reference Zatitskiy32, Reference Zatitskiy33] that if a sequence
$\{h_n\}$
is a scaling entropy sequence for some generating
$\rho \in \mathcal {A}dm$
, then it is also a scaling entropy sequence for any other such semimetric. Hence, the class of all scaling entropy sequences forms an invariant of the action. This invariant was studied in [Reference Petrov, Vershik and Zatitskiy14, Reference Petrov and Zatitskiy15, Reference Veprev22, Reference Vershik27, Reference Zatitskiy32, Reference Zatitskiy33].
Although there are a lot of nice non-trivial cases where the scaling entropy sequence can be computed (see, e.g., [Reference Zatitskiy33]), it does not always exist in this strong form, as shown in [Reference Veprev22]. In order to cover all of the cases, we use a more general approach. We consider the set of functions mapping
$\mathbb {N} \times \mathbb {R}_+$
to
$\mathbb {R}_+$
that decrease in their second arguments. Then we extend the relationship
$\precsim $
to this set by setting, for two functions
$\Phi $
and
$\Psi $
,
$$ \begin{align} \Phi \precsim \Psi \iff \text{ for all } \varepsilon> 0 \text{ there exists } \delta > 0 \ \Phi(n, \varepsilon) \precsim \Psi(n, \delta). \end{align} $$
We call
$\Phi $
and
$\Psi $
equivalent (and write
$\Phi \asymp \Psi $
) if both relationships
$\Phi \precsim \Psi $
and
$\Psi \precsim \Phi $
are satisfied. The Zatitskiy invariance theorem from [Reference Zatitskiy32, Reference Zatitskiy33] states that, for any two generating semimetrics
$\rho $
and
$\omega $
in
$\mathcal {A}dm$
, the following equivalence takes place:
$\Phi _\rho \asymp \Phi _\omega $
. Therefore, the equivalence class
$\mathcal {H}(X,\mu , G, \unicode{x3bb} ) = {[ \Phi _\rho ]}$
is an invariant of a p.m.p. action of an equipped group. We call this class the scaling entropy of the action. We will also write
$\mathcal {H}(\alpha , \unicode{x3bb} )$
, which refers to the scaling entropy of a p.m.p. action
$\alpha $
.
Also, we write
$\Phi \prec \Psi $
if there exists
$\delta>0$
such that, for any
$\varepsilon> 0$
, we have
$\Phi (n, \varepsilon ) \prec \Psi (n, \delta )$
. Clearly, relations
$\prec $
and
$\precsim $
agree with the equivalence relation
$\asymp $
and induce partial orders on the set of equivalence classes.
3. Main results
In this paper, we study the scaling entropy of a generic action. In §4, we look for p.m.p. actions whose scaling entropy cannot be bounded by a given function. In [Reference Veprev24], such actions are called actions of almost complete growth and constructed explicitly for any non-periodic amenable group G. Such explicit constructions for general amenable groups are unknown. We prove that actions of almost complete growth are generic in the following sense.
Theorem 3.1. Let G be a countable amenable group and let
$\unicode{x3bb} = \{F_n\}$
be a Følner sequence in G. Let
$\phi (n) = o({| F_n |})$
be a sequence of positive real numbers. Then the set of all zero-entropy ergodic p.m.p. actions of G that satisfy
$$ \begin{align} \Phi(n, \varepsilon) \not \precsim \phi(n)\quad \text{for sufficiently small } \varepsilon>0, \end{align} $$
where
$\Phi \in \mathcal {H}(\alpha , \unicode{x3bb} )$
, contains a dense
$G_\delta $
-subset in
$A(G, X, \mu )$
.
We also study lower bounds for the scaling entropy of a generic action. For any residually finite group, a similar result holds true.
Theorem 3.2. Let G be an infinite countable residually finite amenable group with a Følner sequence
$\unicode{x3bb} $
and let
$\phi (n)$
be a function with
$\lim _n \phi (n) = \infty $
. Then the set of all p.m.p. G-actions satisfying
$\mathcal {H}(\alpha , \unicode{x3bb} ) \succ \phi $
is meager.
However, there exist groups with the property that the scaling entropy of any free p.m.p. action has to grow faster than a given function. We call this property a scaling entropy growth gap. In §5.2, we give an example of such a group (Theorem 5.5) and prove that this property does not depend on the choice of Følner sequence.
4. Generic actions of almost complete growth
4.1. Sequential entropy of generic actions
In [Reference Ryzhikov18], Ryzhikov proves that the set of all automorphisms
$T \in \operatorname {\mathrm {Aut}}(X,\mu )$
such that
$h_P(T) = +\infty $
contains a dense
$G_\delta $
subset of
$ \operatorname {\mathrm {Aut}}(X,\mu )$
provided
$\min \{|x - y| \colon x, y \in P_n,\ x\not = y\} $
goes to infinity. Moreover, the same is proved there for any amenable group provided
$\{gh^{-1} \colon g, h \in P_n,\ g\not = h\}$
does not intersect any fixed finite set eventually. We use this approach to obtain the following proposition.
Proposition 4.1. Let G be a countable amenable group and let
$\{P_n^l\}_{n = 1, \ldots , \infty }^{l = 1, \ldots , k_n}$
be a family of finite subsets of G such that, for any finite
$K \subset G$
, any sufficiently large n and
$g, h \in P_n^l$
, we have
$gh^{-1} \not \in K$
for all
$l = 1, \ldots , k_n$
. Then the set of all actions of G on
$(X, \mu )$
satisfying
$$ \begin{align} \sup \limits_\xi \limsup\limits_n \min\limits_{l = 1, \ldots, k_n} \frac{1}{{| P_n^l |}} H{\bigg( \bigvee_{g \in P_n^l} g^{-1}\xi\bigg)} = +\infty, \end{align} $$
where supremum is computed over all finite measurable partitions, is comeager.
Proof. Let
$\{\xi _i\}_{i = 1}^{\infty }$
be a dense (in Rokhlin metric [Reference Rokhlin17]) family of finite measurable partitions of
$(X,\mu )$
. Consider a countable dense family
$\{\alpha _q\}_{q\in I}$
of Bernoulli G-actions. Such a family exists in the conjugacy class of any Bernoulli action. For any
$q \in I$
and any
$k> 0$
, there exists some
$j_{k,q}> k$
such that, for any
$j \geqslant j_{k,q}$
,
$$ \begin{align} R(\alpha_q, \xi_i, j) = \min\limits_{l = 1, \ldots, k_j} \frac{1}{{| P_j^l |}} H{\bigg( \bigvee_{g \in P_j^l} \alpha_q(g)^{-1}\xi_i\bigg)}> H(\xi_i) - \frac{1}{k},\quad i = 1, \ldots, k. \end{align} $$
Indeed, since
$\alpha _q$
is Bernoulli, every partition
$\xi _i$
can be approximated by a cylindrical partition whose translations over
$P_j^l$
are independent for sufficiently large j and
$l = 1, \ldots , k_j$
owing to our assumptions on family
$\{P_j^l\}$
. Since the function
$R(\alpha , \xi _i, j_{k,q})$
is weakly continuous in
$\alpha $
, the set
$U_{k,q}$
of all p.m.p. actions
${\alpha \in }A(G, X, \mu )$
satisfying
$R(\alpha , \xi _i, j_{k,q})> H(\xi _i) - ({1}/{k})$
for every
$i = 1, \ldots , k$
is weakly open. Consider the set
$$ \begin{align} W = \bigcap\limits_k\bigcup\limits_q U_{k,q}. \end{align} $$
Clearly, W is
$G_\delta $
, contains every
$\alpha _q$
and, therefore, is dense. Every action in W satisfies the desired condition (4.1). Indeed, for
$\alpha \in W$
, for every
$i> 0$
and for every
$k> i$
, there is some
$q(k)$
such that
$R(\alpha , \xi _i, j_{k, q(k)})> H(\xi _i) - ({1}/{k})$
. Hence,
$\limsup _n R(\alpha , \xi _i, n) \geqslant H(\xi _i)$
and, since
$\{\xi _i\}$
is dense,
$\sup _\xi \limsup _n R(\alpha , \xi , n) = +\infty $
.
4.2. Proof of Theorem 3.1 and non-existence of a universal zero-entropy system
In this section, we prove Theorem 3.1 and obtain Theorem 1.1 as its corollary. We find it easier to verify the desired generic properties for sequential entropy first and then transfer them to scaling entropy when we have certain relationships between these two invariants in hand. The non-existence of a universal zero-entropy system follows from a natural connection between the topological entropy and the scaling entropy. A direct proof without sequential entropy also seems possible. It would, however, involve some technical details that we would like to avoid.
We proceed with the following proposition that connects sequential entropy in the sense of Proposition 4.1 to the scaling entropy of the action.
Proposition 4.2. Consider, for every integer n, a family
$\{P_n^l\}^{l = 1, \ldots , k_n}$
of finite disjoint subsets of a countable group G such that
$F_n = \bigcup _{l=1}^{k_n} P_n^l$
is a Følner sequence. Assume that, for some p.m.p. action
$\alpha $
of G,
$$ \begin{align} \sup \limits_\xi \limsup\limits_n \min\limits_{l = 1, \ldots, k_n} \frac{1}{{| P_n^l |}} H{\bigg( \bigvee_{g \in P_n^l} g^{-1}\xi\bigg)}> 0. \end{align} $$
Then, for any
$\Phi \in \mathcal {H}(\alpha , \unicode{x3bb} )$
, where
$\unicode{x3bb} = \{F_n\}$
,
$$ \begin{align} \Phi(n, \varepsilon) \not \prec \frac{{| F_n |}}{k_n} \end{align} $$
for any sufficiently small
$\varepsilon> 0$
.
Proof. Consider a finite partition
$\xi $
satisfying relationship (4.4), and let c be the corresponding value of the left-hand side. Let
$\rho _\xi $
be the corresponding cut semimetric. Let
$\tilde F_n \subset F_n$
be the union of those
$P_n^l$
that satisfy
$$ \begin{align} {| P_n^l |}> \frac{|F_n|}{2k_n}. \end{align} $$
Let
$L_n$
be the set of corresponding indices l. One may easily see that
$|{\tilde F_n}| \geqslant \tfrac 12{| F_n |}$
. Hence,
$G_{av}^{\tilde F_n}\rho _\xi (x,y) \leqslant 2 G_{av}^{F_n}\rho _\xi (x,y)$
for any
$x, y \in X$
. Therefore,
$$ \begin{align} \mathbb{H}_\varepsilon(X, \mu, G_{av}^{F_n}\rho_\xi) \geqslant \mathbb{H}_{2\varepsilon}(X, \mu, G_{av}^{\tilde F_n}\rho_\xi). \end{align} $$
Then we use the following lemma, which is proved in [Reference Petrov and Zatitskiy15], to estimate
$\mathbb {H}_{2\varepsilon }(X, \mu , G_{av}^{\tilde F_n}\rho _\xi )$
from below.
Lemma 4.3. Let
$\rho _1, \ldots , \rho _k$
be admissible semimetrics on
${( X,\mu )}$
such that
$\rho _i(x,y) \leqslant 1$
for all
$i \leqslant k,\ x, y \in X$
. Let
$\tilde \rho = ({1}/{k}) (\rho _1+ \cdots + \rho _k)$
. Then there exists some
$m \leqslant k$
such that
$$ \begin{align} \mathbb{H}_{2\sqrt{\varepsilon}}{( X,\mu, \rho_m)} \leqslant \mathbb{H}_{\varepsilon}{( X,\mu, \tilde \rho)}. \end{align} $$
It is easy to see that the same result holds for a convex combination
$\tilde \rho = \sum _{i} \alpha _i \rho _i$
, where
$\alpha _i> 0$
,
$\alpha _1 + \cdots + \alpha _k =1$
. In our case,
$$ \begin{align} G_{av}^{\tilde F_n}\rho_\xi = \sum \limits_{l\in L_n} \frac{{| P_n^l|}}{|{\tilde F_n}|} G_{av}^{P_n^l}\rho_\xi. \end{align} $$
Thus, there exists some
$l \in L_n$
such that
$\mathbb {H}_{2\varepsilon }(X, \mu , G_{av}^{\tilde F_n}\rho _\xi ) \geqslant \mathbb {H}_{2\sqrt {2\varepsilon }}(X, \mu , G_{av}^{P_n^{l}}\rho _\xi )$
. Suppose that n is such that
$$ \begin{align} \min\limits_{l = 1, \ldots, k_n} \frac{1}{{| P_n^l |}} H{\bigg( \bigvee_{g \in P_n^l} g^{-1}\xi\bigg)}> \frac{c}{2}. \end{align} $$
We use the following lemma from [Reference Zatitskiy32] that connects
$\varepsilon $
-entropy to the classical Shannon entropy.
Lemma 4.4. Let
$m,k \in \mathbb {N}$
and let
$\{\xi _i\}_{i=1}^k$
be a family of finite measurable partitions each having no more than m cells. Let
$\xi = \bigvee _{i=1}^k\xi _i$
be the common refinement of these partitions and let
$\rho = ({1}/{k}) \sum _{i=1}^k\rho _{\xi _i}$
be the average of corresponding semimetrics. Then, for any
$\varepsilon \in (0, \tfrac 12)$
, the following estimate holds.
$$ \begin{align} \frac{H(\xi)}{k} \leqslant \frac{\mathbb{H}_\varepsilon(X, \mu, \rho)}{k} + 2\varepsilon \log m - \varepsilon \log \varepsilon - (1 - \varepsilon)\log(1 - \varepsilon) + \frac{1}{k}. \end{align} $$
Let
$m = {| \xi |}$
,
$\xi _g = g^{-1}\xi $
, where
$g\in P_n^l$
. According to Lemma 4.4,
$$ \begin{align} \mathbb{H}_{2\sqrt{2\varepsilon}}(X, \mu, G_{av}^{P_n^l}\rho_\xi) \geqslant \mathbb{H}_{4\sqrt{\varepsilon}}(X, \mu, G_{av}^{P_n^l}\rho_\xi)> {| P_n^l|}\bigg(\frac{c}{2} -8\sqrt{\varepsilon} \log m - \delta(4\sqrt{\varepsilon})\bigg) - 1, \end{align} $$
where
$\delta (\varepsilon ) = -2\varepsilon \log \varepsilon - 2(1 - \varepsilon )\log (1 - \varepsilon )$
, which tends to zero when
$\varepsilon $
goes to zero. Then, choosing
$\varepsilon $
sufficiently small depending only on c and
$m = {| \xi |}$
, we obtain
$\mathbb {H}_{4\sqrt {\varepsilon }}(X, \mu , G_{av}^{P_n^l}\rho _\xi )> ({c}/{4}) {| P_n^l |}$
. Since
${| P_n^l |}> {|F_n|}/{2k_n}$
by assumption (4.6), we obtain
$$ \begin{align} \mathbb{H}_\varepsilon(X, \mu, G_{av}^{F_n}\rho_\xi) \geqslant \mathbb{H}_{4\sqrt{\varepsilon}}(X, \mu, G_{av}^{P_n^l}\rho_\xi)> \frac{c}{4} {| P_n^l |} > \frac{c}{8} \cdot \frac{|F_n|}{k_n}. \end{align} $$
Thus, at least along some subsequence,
$\mathbb {H}_\varepsilon (X, \mu , G_{av}^{F_n}\rho _\xi ) \gtrsim {|F_n|}/{k_n}$
, and that completes the proof.
Proof of Theorem 3.1
It suffices to construct a family
$\{P_n^l\}_{n = 1, \ldots , \infty }^{l = 1, \ldots , k_n}$
of finite subsets of G satisfying assumptions of Proposition 4.1 and such that
${{| F_n |}}/{k_n} \succ \phi (n)$
. Then the desired result follows from Proposition 4.2.
Let K be a finite subset of G. Consider a locally finite graph
$\Gamma _K = (G, E_K)$
, where
$(g, h)$
belongs to
$E_K$
if and only if either
$gh^{-1} \in K$
or
$hg^{-1} \in K$
. Clearly, the degree of each vertex in
$\Gamma _K$
does not exceed
$2{| K |}$
. Therefore, there exists a proper vertex coloring of
$\Gamma _K$
into
$r_K = 2{| K |} + 1$
colors: that is, a partition of all vertices into
$r_K$
parts such that any two adjacent vertices belong to different parts. Indeed, one may color vertices one by one; each time there is at least one color available since no more than
$2|K|$
colors can appear in the
$\Gamma _K$
-neighborhood of any vertex. Hence, we obtain a decomposition
$G = \bigcup _{l =1}^{r_K} C_K^l$
, where
$C_K^l$
are mutually disjoint and
$gh^{-1} \not \in K$
for any
$l\leqslant r_k$
and any
$g, h \in C_K^l$
.
Take a sequence of increasing finite subsets exhausting the entire group:
$K_1 \subset K_2 \subset \cdots \subset \bigcup K_i = G$
. Now let
$i(n)$
be a non-decreasing sequence of positive integer parameters with
$\lim i(n) = +\infty $
, which we will define later. Put
$$ \begin{align} P_n^l = F_n \cap C_{K_{i(n)}}^l, \quad l = 1, \ldots, r_{K_{i(n)}}. \end{align} $$
Clearly, the family
$\{P_n^l\}$
satisfies the assumptions of Proposition 4.1. Since, by the assumptions of Theorem 3.1, the sequence
${|{F_n}|}/{\phi (n)}$
goes to infinity, we can chose a piecewise constant sequence
$i(n)$
, also tending to infinity, such that
$k_n = r_{K_{i(n)}} \prec {|F_n|}/{\phi (n)}$
. Therefore,
${|F_n|}/{k_n} \succ \phi (n)$
, as desired.
Of course, the genericity implies existence, and we obtain the following corollary.
Corollary 4.5. Any countable amenable group admits actions of almost complete growth with respect to any Følner sequence.
To finish the proof of Theorem 1.1, it only remains to recall the following theorem proved in [Reference Veprev24].
Theorem 4.6. Suppose that an amenable group G admits ergodic actions of almost complete growth for some Følner equipment. Then G does not have a universal zero-entropy system.
As a consequence, we obtain that there does not exist a universal zero-entropy system for any countable amenable group: that is, Weiss’s question is solved in full generality.
5. Generic lower bounds and scaling entropy growth gap
Let us recall that a unitary representation of a discrete group is called compact if every vector has a precompact orbit. A p.m.p. action is called compact if the corresponding Koopman representation is compact. It is shown in [Reference Petrov, Vershik and Zatitskiy14] that, for the group
$\mathbb {Z}$
, this property is equivalent to the boundedness of the scaling entropy. In fact, the same proof works for the case of an amenable group with Følner equipment (see, e.g., [Reference Yu, Zhang and Zhang31]).
5.1. Absence of a generic lower bound for residually finite groups
Any countable residually finite amenable group admits a compact free p.m.p. action and, therefore, has an action with bounded scaling entropy, that is, the scaling entropy with the slowest growth possible. Indeed, one may consider an infinite product of finite approximations endowed with the natural product measure. The reverse implication is not true in general: the group of all dyadic rotations of a unit circle, for example, is not residually finite and, nevertheless, has a compact free action. However, the converse implication is true for finitely generated groups.
Claim 5.1. A finitely generated group admits a compact free action if and only if it is residually finite.
Proof. Let
$\alpha $
be a compact p.m.p. action of a group G and let
$\pi $
be its Koopman representation. Any compact action of a discrete group decomposes into a direct sum of finite-dimensional representations (see, e.g., [Reference Kerr and Li10]). Therefore,
$\pi = \bigoplus \tau _i$
and
$\dim \tau _i = n_i < \infty $
. The full image of
$\tau _i$
is a finitely generated subgroup in
$GL_{n_i}(\mathbb {C})$
. Hence,
$ \tau _i (G)$
is residually finite owing to Malcev’s theorem [Reference Malcev13]. Since the action
$\alpha $
is free, the group G is residually finite as well.
Theorem 5.2. Let
$G \stackrel {{{{\alpha }}}}{{\curvearrowright }} (X, \mu )$
be a free ergodic p.m.p. action of an amenable group G and let
$\unicode{x3bb} = \{F_n\}$
be a Følner sequence in G. Let
$\phi (n)$
be a non-negative function satisfying
$\phi \succ \mathcal {H}(\alpha , \unicode{x3bb} )$
. Then the set of all free p.m.p. actions
$\beta $
of G with
$\mathcal {H}(\beta , \unicode{x3bb} ) \succ \phi $
is meager.
Applying Theorem 5.2 to a compact action of a residually finite amenable group, we obtain Theorem 3.2.
Proof. Consider a dense sequence of finite measurable partitions
$\{\xi _i\}_{i = 1}^{\infty }$
of
$(X,\mu )$
and a measurable metric
$\rho = \sum _{i=1}^\infty ({1}/{2^i})\rho _{\xi _i}$
. Let
$\{\alpha _q\}$
be a countable dense family of G-actions from the conjugacy class of
$\alpha $
. Also, fix a monotone sequence
$\{\varepsilon _r\}$
of positive numbers tending to zero. For any q and k, there exists a
$j_{k,q}$
such that
$$ \begin{align} \mathbb{H}_{{\varepsilon_k}/{4}}(X, \mu, (\alpha_q)_{av}^{j_{k,q}} \rho) < \frac{1}{k}\phi(j_{k,q}). \end{align} $$
Consider a neighborhood
$U_{k,q}$
of
$\alpha _q$
such that, for every
$\beta \in U_{k,q}$
, the following holds true.
$$ \begin{align} \mathbb{H}_{\varepsilon_k}(X, \mu, \beta_{av}^{j_{k,q}} \rho) < \frac{1}{k}\phi(j_{k,q}). \end{align} $$
Such
$U_{k,q}$
does indeed exist owing to the following lemma from [Reference Zatitskiy32].
Lemma 5.3. Assume that
${\| \rho _1 - \rho _2 \|}_m < \varepsilon ^2/32$
, where
$\rho _1, \rho _2 \in \mathcal {A}dm(X,\mu )$
and
$\varepsilon> 0$
. Then the inequality
$\mathbb {H}_\varepsilon (X,\mu , \rho _1) < \mathbb {H}_{\varepsilon /4}(X,\mu , \rho _2)$
holds true.
Indeed, having Lemma 5.3 in hand, we can uniformly approximate
$\rho $
by a partial sum
$\sum _{i=1}^r ({1}/{2^i})\rho _{\xi _i}$
. Then the desired inequality (5.2) is achieved provided
$\mu (\beta (g^{-1})C \triangle \alpha _q(g^{-1})C)$
is sufficiently small for every set C to be a cell of
$\xi _i$
, where
$i \leqslant r$
,
$g \in F_{j_{k,q}}$
.
Now consider the
$G_\delta $
-set
$$ \begin{align} W = \bigcap\limits_k\bigcup\limits_q U_{k,q}. \end{align} $$
Consider any
$\beta \in W$
and any integer number r. Then, for any
$k> r$
, there exists
$q_k$
such that
$$ \begin{align} \mathbb{H}_{\varepsilon_r}(X, \mu, \beta_{av}^{j_{k,q_k}} \rho) \leqslant \mathbb{H}_{\varepsilon_k}(X, \mu, \beta_{av}^{j_{k,q_k}} \rho)< \frac{1}{k}\phi(j_{k,q_k}). \end{align} $$
Since
$\rho $
is an admissible metric, the function
$\Phi (n, \varepsilon ) = \mathbb {H}_{\varepsilon }(X, \mu , \beta _{av}^n \rho )$
belongs to the scaling entropy class
$\mathcal {H}(\beta , \unicode{x3bb} )$
. Therefore, any
$\beta \in W$
satisfies
$\mathcal {H}(\beta , \unicode{x3bb} ) \not \succ \phi (n)$
owing to inequality (5.4).
Remark. We did not really use the Følner property of equipment
$\unicode{x3bb} $
while proving Theorems 3.1 and 5.2. The same results are also valid if we assume
$\unicode{x3bb} $
to be only suitable (see [Reference Zatitskiy33]). It is important, however, that the group is amenable. This allows us to conclude that the conjugacy class of every essentially free p.m.p. action is dense. It is unknown to the author whether or not similar results hold for non-amenable groups.
5.2. Example of a group with a scaling entropy growth gap
In view of §5.1 and Theorem 3.2, one may wonder if it is always the case that the scaling entropy of a generic action grows arbitrarily slowly (along a subsequence, of course). We already know that it is true provided the group possesses a compact free action, but it is unclear for groups without such actions. We say that a group G has a scaling entropy growth gap with respect to equipment
$\unicode{x3bb} $
if there exists a function
$\phi (n)$
tending to infinity such that
$\mathcal {H}(\alpha , \unicode{x3bb} ) \succsim \phi $
for every free p.m.p. action
$\alpha $
of the group G. In this section, we show that there exists a group with a scaling entropy growth gap.
Let
$G = SL(2, \overline {\mathbb {F}}_p)$
be the group of all
$2 \times 2$
matrices with determinant
$1$
over the algebraic closure of a finite field
$\mathbb {F}_p$
, where
$p> 2$
is a prime number. Clearly, G is countable, and it can be presented as a union of increasing finite subgroups
$ G = \bigcup _{n = 1}^\infty G_n $
, where each
$G_n = SL(2, {\mathbb {F}_{q_n}})$
and
$\mathbb {F}_{q_n}$
is a finite extension of
$\mathbb {F}_{q_{n-1}}$
.
We will use the following growth theorem, which was initially proved in [Reference Helfgott5] by H. Helfgott for
$SL(2, {\mathbb {F}}_p)$
and then generalized to the following result (see [Reference Pyber and Szabó16]).
Theorem 5.4. Let L be a finite simple group of Lie type of rank r and let A be a generating set of L. Then either
$A^3 = L$
or
$|A^3|> c |A|^{1+\delta }$
, where c and
$\delta $
depend only on r.
Theorem 5.5. The group
$G = SL(2, \overline {\mathbb {F}}_p)$
with equipment
$\unicode{x3bb} = \{G_n\}$
admits scaling entropy growth gap. The function
$\phi (n) = \log (q_n)$
is the desired lower bound.
Proof. Consider a free
$p.m.p.$
action
$G \stackrel {{{{}}}}{{\curvearrowright }} (X, \mu )$
. Take some non-trivial element
$g_0$
from
$G_1 = SL(2, {\mathbb {F}_{p}})$
; let us take
$g_0 = (\begin {smallmatrix} 1 & 1\\ 0 & 1 \end {smallmatrix})$
, for instance. Since
$g_0$
has order p and the action is free, there exists a measurable partition
$\xi $
of
$(X,\mu )$
into p cells such that
$\xi (x) \not = \xi ((g_0)^i x)$
for every
$i = 1, \ldots , p-1$
: that is, each cell of
$\xi $
contains exactly one point from each
$g_0$
-orbit. Let
$\rho _\xi $
be the cut semimetric corresponding to
$\xi $
.
Suppose that
$\mathbb {H}_{\varepsilon ^2}(X,\mu , G^n_{av}\rho _\xi ) < \log k$
and let
$X_0, X_1, \ldots , X_k$
be the corresponding decomposition. Since
$G_n$
is finite, the measure space decomposes as
$(G_n, \nu ) \times (Y, \eta )$
, where the action of
$G_n$
preserves the second component. Since the exceptional set
$X_0$
has measure less than
$\varepsilon ^2$
, the
$\eta $
-measure of those y that satisfy
$|G_n \times \{y\} \cap X_0|> \varepsilon |G_n|$
is less than
$\varepsilon $
. The restriction of
$G^n_{av}\rho _\xi $
to each
$G_n$
-orbit is
$G_n$
-invariant and can be obtained by averaging the restriction of
$\rho _\xi $
. The restriction of
$\rho _\xi $
to a
$G_n$
-orbit corresponds to its partition into p parts of equal size. Hence, the restriction of
$\rho _\xi $
has mean value at least
$\tfrac 12$
as well as its average, since averaging preserves
$L^1$
-norm. All of the above implies that there exits at least one
$G_n$
-orbit with an invariant metric that has
$\varepsilon $
-entropy (with respect to uniform measure) less than
$\log k$
and
$L^1$
-norm of at least
$\tfrac 12$
. It suffices to prove the following claim.
Claim 5.6. Let
$\rho $
be a left-invariant semimetric on
$SL(2, {\mathbb {F}_{q}})$
with diameter greater than
$3\varepsilon $
, where
$\varepsilon \in (0,\tfrac 12)$
. Then
$\mathbb {H}_\varepsilon (SL(2, {\mathbb {F}_{q}}), \nu , \rho ) \geqslant c\log q $
, where
$\nu $
is the uniform probability measure and c is an absolute constant.
Indeed, we can identify the orbit that we found above with the group
$SL(2, {\mathbb {F}_{q_n}})$
with the left-invariant semimetric that has diameter at least
$\tfrac 12$
. Applying Claim 5.6, we obtain
$\log k \geqslant c\log q_n$
and complete the proof.
Now let us prove Claim 5.6.
Proof of Claim 5.6
We can assume that q is sufficiently large depending only on
$\delta $
, which is an absolute constant since the rank
$r = 2$
. Also, assume that
$\mathbb {H}_\varepsilon (SL(2, {\mathbb {F}_{q}}), \nu , \rho ) < c\log q $
. Then at most
$q^c$
balls of radius
$\varepsilon $
cover the entire group except a part of size
$\varepsilon |SL(2, \mathbb {F}_{q})|$
. Since the semimetric
$\rho $
is left-invariant, all balls with the same radius have the same size. Therefore, the size of each ball is at least
$({1}/{2 q^c}) |SL(2, \mathbb {F}_{q})|$
. Let
$B = B(\varepsilon )$
be the ball of radius
$\varepsilon $
with center at identity. Since the diameter of the group is greater than
$3\varepsilon $
, the product
$B(\varepsilon )\cdot B(\varepsilon ) \cdot B(\varepsilon ) \subset B(3\varepsilon )$
does not cover the whole group. Therefore, due to the growth theorem 5.4, we have two options: either
$|BBB| \geqslant |B|^{1 + \delta }$
or the ball B does not generate
$SL(2, {\mathbb {F}_{q}})$
. In the first case,
$$ \begin{align} |SL(2, \mathbb{F}_{q})| \geqslant |BBB| \geqslant \frac{1}{2^{1+\delta} q^{c(1+\delta)}} |SL(2, \mathbb{F}_{q})|^{1 + \delta}. \end{align} $$
Hence,
$$ \begin{align} q^{c(1 + \delta)} \geqslant \frac{1}{2^{1 + \delta}} |SL(2, \mathbb{F}_{q})|^\delta \geqslant \frac{1}{2^{1 + \delta}} q^{\delta} \end{align} $$
and, therefore,
$c> {\delta }/({2 + 2\delta })$
provided q is sufficiently large.
In the second case, the subgroup H generated by B contains at least
$({1}/{2 q^c}) |SL(2, \mathbb {F}_{q})|$
elements and, hence, has index smaller than
$2q^c$
. Note that all non-trivial irreducible representations of
$SL(2, {\mathbb {F}_{q}})$
over
$\mathbb {C}$
have dimension of at least
$({q-1})/{2}$
(see [Reference Jordan6, Reference Schur19]). However, the unitary representation corresponding to the permutation action of
$SL(2, {\mathbb {F}_{q}})$
on
$SL(2, {\mathbb {F}_{q}}) / H$
has dimension less than
$2q^c$
, which implies that
$c> \tfrac 12$
.
In both cases, we have
$c> {\delta }/({2 + 2\delta })$
; therefore,
$$ \begin{align*} \mathbb {H}_\varepsilon (SL(2, {\mathbb {F}_{q}}), \nu , \rho ) \geqslant \dfrac{\delta }{2 + 2\delta } \log q \end{align*} $$
and hence the claim.
Therefore Theorem 5.5 is proved.
Notably, the logarithmic bound from Theorem 5.5 is sharp. For any group G that can be presented as an increasing union of finite groups
$G_n$
, one can define the following p.m.p. action. Let
$C_n = \{g_n^j\}_{j = 1}^{k_n}$
be the set of right coset representatives of
$G_{n-1} \backslash G_n$
endowed with uniform measure
$\mu _n$
. Each finite product space
$\prod _{i=1}^n (C_i, \mu _i)$
can be identified with the group
$G_n$
with the uniform measure and, therefore, carries a p.m.p. action of
$G_n$
. Since these actions of
$G_n$
-s agree, we obtain a p.m.p. action of G on the whole product space
$(X, \mu ) = \prod _{i=1}^\infty (C_i, \mu _i)$
, where each subgroup
$G_n$
preserves all the components starting from
$n+1$
.
Take
$\rho = \sum _i 2^{-i} \rho _i$
, where each
$\rho _i$
is the cut semimetric distinguishing first i components. Clearly,
$\rho $
is an admissible metric, and for any
$n> r$
, the average
$G_{av}^n \sum _{i < r} 2^{-i} \rho _i$
does not depend on coordinates starting from
$n+1$
. Therefore, there exists a partition into
$|G_n|$
cells, each of which has diameter zero with respect to
$G_{av}^n \sum _{i < r} 2^{-i} \rho _i$
. Hence, for any positive
$\varepsilon $
, the
$\varepsilon $
-entropy of
$G_{av}^n \rho $
is bounded from above by
$\log |G_n|$
for sufficiently large n. For the case when
$G = SL(2, \overline {\mathbb {F}}_p)$
, we have
$q< SL(2, {\mathbb {F}_q}) < q^4$
. Hence,
$\log |G_n| \asymp \log q_n$
, and the bound is sharp.
Also, looking through the proof of Theorem 5.5, one may see a stronger alternative. For every (not necessarily free) p.m.p. action of
$SL(2, \overline {\mathbb {F}}_p)$
, its scaling entropy is either bounded or grows at least as fast as
$\phi (n) = \log (q_n)$
.
Let us also mention that the scaling entropy growth gap property does not depend on which Følner sequence we choose.
Proposition 5.7. The property of having scaling entropy growth gap does not depend on the choice of Følner equipment.
Proof. Assume that a group G has a scaling entropy growth gap with respect to a Følner sequence
$\{F_n\}$
. Let
$\phi (n)$
be a corresponding bound and let
$\{W_n\}$
be another Følner sequence in G.
For any integer n, there exists some
$k_n$
such that, for any
$r> k_n$
, the inequality
$|F_n W_{r} \triangle W_{r}| < 2^{-n} | W_{r}|$
is satisfied. Let
$(X, \mu , G)$
be a free p.m.p. action of G and let
$\rho $
be a measurable metric bounded from above by one almost everywhere. Then
$$ \begin{align} \frac{1}{|W_{r}|}\sum \limits_{g \in W_{r}} g^{-1} \frac{1}{|F_n|}\sum \limits_{h \in F_n} h^{-1} \rho \leqslant \frac{1}{|W_r|} \sum \limits_{f \in F_n W_r} f^{-1} \rho = G_{av}^{W_r} \rho + l_1, \end{align} $$
where the term
$l_1$
is bounded in absolute value by
$2^{-n}$
. The last equality holds true due to the
$F_n$
-almost invariance of
$W_{r}$
. Take
$\varepsilon> 0$
satisfying
$\mathbb {H}_{4\sqrt {\varepsilon }}(G_{av}^{F_n}\rho ) \succsim \phi (n)$
. For sufficiently large n, the term
$l_1$
is negligible when computing
$\varepsilon $
-entropy of
$G_{av}^{W_{r}} \rho $
. Lemma 4.3 gives
$$ \begin{align} \mathbb{H}_\varepsilon(G_{av}^{W_{r}}\rho) \geqslant \mathbb{H}_{4\varepsilon}(G_{av}^{W_r} \rho + l_1) \geqslant \mathbb{H}_{4\sqrt{\varepsilon}}(G_{av}^{F_n}\rho) \succsim \phi(n). \end{align} $$
Therefore, G has a scaling entropy growth gap with respect to
$\{W_r\}$
and bound function
$\psi (r) = \phi (n(r))$
, where
$n(r)$
is the maximal n such that
$k_n < r$
.
The fact that every compact representation decomposes into a direct sum of finite-dimensional representations implies the absence of a free compact action of the infinite symmetric group
$S_\infty $
. Indeed, the only finite-dimensional irreducible representations of
$S_\infty $
are the trivial and sign representations, which do not distinguish permutations with the same sign. This observation suggests the conjecture that
$S_\infty $
should have a scaling entropy growth gap. It is unknown to the author whether or not this conjecture is true.
Acknowledgements
The author is sincerely grateful to his advisor Pavel Zatitskiy for his support and attention during this work and to Andrei Alpeev, Ivan Mitrofanov, Valery Ryzhikov and Markus Steenbock for fruitful discussions and communications. The author is grateful to the anonymous referee for the valuable comments and suggestions. The work is supported by the Ministry of Science and Higher Education of the Russian Federation, agreement No 075-15-2022-287. The author acknowledges support of the Institut Henri Poincaré (UAR 839 CNRS-Sorbonne Université) and LabEx CARMIN (ANR-10-LABX-59-01).
