arxiv: v3 [math.ds] 10 Aug 2017

Transcription

1 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS ERCAI CHEN DOU DOU AND DONGMEI ZHENG arxiv: v3 [mathds] 0 Aug 207 Abstract In this paper we prove variational principles between metric mean dimension and rate distortion function for countable discrete amenable group actions which extend recently results by Lindenstrauss and Tsukamoto Introduction Entropy is the most successful invariant in dynamical systems which measures the complexity or uncertainty of systems and it has close relationship with information theory dimension theory fractal geometry and many other aspects in mathematics Due to the value of the entropy dynamical systems can be divided into three classes: systems with zero entropy; 2 systems with finite and positive entropy; 3 systems with infinite entropy For zero entropy case to give the quantitative measure of randomness or disorder various of entropy type invariants were introduced: sequence entropy Kushnirenko [2] and Goodman [0] scaled entropy Vershik [ ] entropy dimension Carvalho [2] Ferenczi-Park [9] and Dou-Huang-Park [6 7] and so on The studies on these invariants rely on the detailed analysis to the entropy-related quantities or functions For infinite entropy case the Gromov-Lindenstrauss-Weiss mean dimension is proved to be a meaningful quantity The concept of mean dimension was first introduced by Gromov [] in 999 and then Lindenstrauss and Weiss [29] defined a metric version which is called metric mean dimension These definitions of mean dimension can be viewed as analogies of the concepts of dimension in dynamical systems Mean dimension can be applied to solve imbedding problems in dynamical systems see for example [ ] and also supplies interesting quantities when characterizing large dynamics [ ] In fact from the definition one may see easily that metric mean dimension is also an entropy-related quantity In the study of dynamical system and ergodic theory people are always interested with the relationships between topological concepts and measure-theoretic ones For entropy there exists a variational principle which says that topological entropy is the supreme of measure-theoretic entropy over all invariant Borel probability measures A natural question follows is that whether there exist variational principles for other entropy-related invariants? 200 Mathematics Subject Classification Primary: 37A5 37B99 94A34 Key words and phrases amenable group action mean dimension mutual information rate distortion function variational principle

2 2 ERCAI CHEN DOU DOU AND DONGMEI ZHENG For zero entropy case it is shown that the traditional variational principle does not hold for both sequence entropy [0] and entropy dimension [] For infinite entropy case people have been seeking variational principle of mean dimension for almost twenty years since Gromov-Lindenstrauss-Weiss s mean dimension theory was established In [7] Kawabata and Dembo applied the rate-distortion function in information theory to investigate the dimension of fractal sets and established connections between dimensions and rate-distortion functions Motivated by their work recently Lindemstrauss and Tsukamoto [28] proved variational principles for metric mean dimensions In the following let us give a brief review of their results Let X d T be a TDS where X is a compact metric space with metric d and T a continuous onto map from X to itself Denote by MX T the collection of T -invariant Borel probability measure on X Let mdim M X d and mdim M X d be the upper and the lower metric mean dimension of TDS X d T respectively Let R µ R µp and R µ be the L L p p > and L rate-distortion function of X d T with respect to µ MX T respectively For the definitions one may refer to [28] and we will also give the detailed definitions for amenable group actions in section 3 Recall that the compact metric space X d is said to have tame growth of covering numbers if for every δ > 0 it holds that lim εδ log #X d ε = 0 Lindemstrauss and Tsukamoto s variational principles are the following: Theorem L and L p p > variational principles Theorem 5 and Corollary 0 of [28] Let X d T be a TDS and X d has tame growth of covering numbers then mdim M X d = lim sup mdim M X d = lim inf sup µ MX T R µ ε sup µ MX T R µ ε = lim sup = lim inf sup µ MX T R µp ε sup µ MX T R µp ε Theorem 2 L variational principles Theorem 9 of [28] Let X d T be a TDS then sup µ MX T R µ ε mdim M X d = lim sup mdim M X d = lim inf sup µ MX T R µ ε Since many classic results include SMB theorem and variational principle for entropy have been generalized to actions by more larger class of groups beyond Z or Z d it is natural to ask whether the above variational principles still hold for such groups In this paper we will work in the frame of countable discrete amenable group actions and establish the corresponding variational principles for amenable metric mean dimension For the proofs we will follow Lindenstrauss and Tsukamoto s steps But there are

3 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 3 additional difficulties for amenable group actions: when we construct the related invariant measures we need some further tiling or quasi-tiling result for amenable groups Lemma 24 to produce some specific Følner sequence Lemma 26 To avoid complicated technical details we employ the recent finite tiling result on amenable groups Downarowicz et [8] We would like to mention here that after Gromov-Lindenstrauss-Weiss s foundation works on mean dimension there are sequences of articles on the theme for amenable mean dimensions See for example [ ] There are also works for sofic group actions beyond amenable group actions [ ] We are also interested that whether there exist variational principles for sofic mean dimensions The paper is organized as follows In section 2 we will briefly recall the preliminaries for countable discrete amenable group including its tiling or quasi-tiling theory And then prove our Lemma 24 and 26 In section 3 we will introduce concepts and some properties for amenable metric mean dimensions mutual information and amenable L rate-distortion function Especially we will show the definition of rate-distortion function is independent of the choice of the Følner sequences as well Then in section 4 we will prove our L variational principles for amenable metric mean dimensions Theorem 4 In section 5 we will consider L and L p p > rate distortion functions and formulate the corresponding L and L p p > variational principles Since the proof is parallel to the L variational principles we leave it to Appendix A 2 Amenable groups and preliminary tiling lemmas Recall that a group G is said to be amenable if there always exists an invariant Borel probability measure when it acts to any compact metric space In the case G is a countable discrete group amenablility is equivalent to the existence of a Følner sequence: a sequence of finite subsets {F n } of G such that F n gf n lim n + F n = 0 for all g G From now on we always assume the group G to be a countable discrete amenable group Denote by F G the collection of nonempty finite subsets of G Let A K F G and δ > 0 The set A is said to be K δ-invariant if KA A A Another equivalent condition for the sequence of finite subsets {F n } of G to be a Følner sequence is that {F n } becomes more and more invariant ie for any δ > 0 and any finite subset K of G F n is K δ-invariant for sufficiently large n One may refer to Ornstein and Weiss [30] for more details on amenable groups or Kerr and Li [8] for reference When considering amenable group actions in ergodic theory and dynamical systems some kinds of tiling properties are strongly involved in most of situations Not as good as the groups Z or Z d in general it is still not known whether there always exist < δ

4 4 ERCAI CHEN DOU DOU AND DONGMEI ZHENG tiling Følner sets for all general amenable groups Ornstein and Weiss developed their quasi-tiling theory allowing some errors for the needed tiling properties and then many results can be extended to all general amenable groups Recently Downarowicz etc [8] proved a finite tiling result for general amenable groups With the help of their result some of the proofs obtained from the quasi-tiling techniques can be simplified In the next let us recall the finite tiling result of Downarowicz etc [8] We call T F G a tiling if T forms a partition of G An element in a tiling T is called a T -tile or tile A tiling T is said to be finite if there exists a finite collection S = ST = {S S 2 S k } of F G which is called the shapes of T such that each element in T is a translation of some set in S For convenience we always assume that the shapes S has minimal cardinality ie any set in S cannot be a translation of others Moreover through some suitable translation we can assume each set in S contain e G Let S be a shape of a finite tiling T the center of shape S is the set CS = {c G : Sc T } For convenience we need CS to be nonempty for each shape S We also require the centers CS s satisfy that Sc s are disjoint for c CS and S S For a tiling T with shapes S we can define a subshift X T of S {0} G by X T = g G{gx} where x = x g g G is defined by x g = { S if g CS 0 otherwise ie x is a transitive point of the subshift X T We recall here that the shift action is defined by hx g = x gh for g h G Let T be a finite tiling of a countable discrete amenable group G Denote by ht = h top X T G the topological entropy of the associated subshift X T G The following is Theorem 52 of [8] by Downarowicz etc Recall that a sequence of tiles T k k is said to be congruent if for each k every tile of T k+ equals a union of tiles of T k Theorem 2 Let G be a countable discrete amenable group Fix a converging to zero sequence ε k > 0 and a sequence K k of finite subsets of G There exists a congruent sequence of finite tilings T k of G such that the shapes of T k are K k ε k -invariant and ht k = 0 for each k In the present paper we just need to use the following extract which is taken from Theorem 43 of Downarowicz etc [8] a weaker version of the above theorem Theorem 22 For any ε > 0 and K F G There exists a finite tiling T of G such that every shape of T is K ε-invariant

5 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 5 Recall that a Følner sequence {F n } in G is said to be tempered if there exists a constant C which is independent of n such that 2 k<n F k F n C F n for any n Note that every Følner sequence F n has a tempered subsequence and in particular every amenable group has a tempered Følner sequence see Proposition 4 of Lindenstrauss [26] The following is the pointwise ergodic theorem for amenable group actions Theorem 2 of Lindenstrauss [26] see also Weiss [37] Theorem 23 Pointwise Ergodic Theorem Let X G µ be an ergodic G system {F n } be a tempered Følner sequence in G and f L X B µ Then lim fgx = fxdµ n + F n g F X n almost everywhere and in L Let T be a tiling of G with shapes S = {T T l } For F F G j l denote by ρ T T j F = F #{c G : T jc T and T j c F } T j the density or the portion of tiles of T with shape T j that completely contained in F It is easy to note that l j= ρ T T j F Lemma 24 Let {F n } be any tempered Følner sequence in G For any K F G and 0 < ε < there exists a finite tiling T = T K ε of G such that 2 T has shapes T T 2 T l and each shape is K ε-invariant; 2 for sufficiently n N for j l there exists F n F n with F n > ε F n such that Cj g F n F n h ρ T T j F n T j < ερ T T j F n T j g F n for all h F n where C j = ST j is the center of the shape T j Proof Let T be a finite tiling with shapes T T 2 T l and each shape T j is K ε- invariant due to Theorem 22 Let X T G be the associated subshift Let µ be a G-invariant ergodic measure of X T G For each j = 2 l set { if x eg = T j f j x = for x = x g g G X T 0 otherwise By the pointwise ergodic theorem for µ-ae x X T lim f j gx = f j xdµ n F n g F n

6 6 ERCAI CHEN DOU DOU AND DONGMEI ZHENG Denote the above limit by t j Note that when t j 0 for sufficiently invariant F F G ρ T T j F n T j 0 Then for sufficiently large N 0 N {x µ XT : for any n > N 0 f j gx t j F n g F n < ε 3 ρ T T j F n } > ε T j Denote by X 0 the set in the left-hand side of the above inequality Applying the pointwise ergodic theorem again there exists an N N which is greater than N 0 such that for any n > N it holds for µ-ae x X T that {x µ XT : for any n > N X0 gx > ε } > ε F n g F n Denote by X the set in the left-hand side of the above inequality Now we choose an x from the intersection of the sets X 0 and X and then let T be the finite tiling generated by x We assume that T still has shapes T T 2 T l if t j = 0 for some j we can delete the corresponding T j from the shape set Since the tiling T is generated by x there exists N 2 > N N such that whenever n > N 2 it holds that f j gx ρ T T j F n F n T j < ε ρ T T j F n 22 3 T j g F n Since x X 0 X when n is larger than N we have that f j gx t j F n < ε ρ T T j F n 23 3 T j g F n and 24 F n g F n X0 gx > ε Joint 22 and 23 together for every n > N 2 it holds that ρ T T j F n t j < 2ε ρ T T j F n 25 T j 3 T j ie Let F n = {h F n : hx X 0 } Then by 24 F n > ε F n For each h F n since hx X 0 and n > N it holds that f j ghx t j F n < ε ρ T T j F n 3 T j g F n F n #{g F n : hx g = x gh = T j } t j < ε 3 ρ T T j F n T j

7 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 7 Note that x gh = T j if and only if gh C j ie h C j g Hence Cj g F n F n h t j < ε ρ T T j F n 3 T j g F n for all h F n Then whenever n > N 2 we have Cj g F n F n h ρ T T j F n T j < ερ T T j F n T j g F n for all h F n Remark 25 From the proof of Lemma 24 we can see that the shapes T T 2 T l do not depend on the given Følner sequence {F n } although the tiling T itself does depend on {F n } With the help of Lemma 24 we can construct a specific Følner sequence of G which plays a crucial role for proving the variational principles Lemma 26 Let {H n } be any tempered Følner sequence of G There exists a Følner sequence of G independent of {H n } denoted by {F n } such that for any K F G that contains e G and 0 < ε < there is a finite tiling T of G satisfying the following: 2 T has shapes {F m F ml } consisted with Følner sets in {F n } and each Følner set is K ε-invariant; 2 let C j be the center of the shape F mj for each j l then the family of sets {C j g } g Hn covers a subset Hn H n with H n > ε H n at most + ερ T F mj H n Hn F mj -many times whenever n is sufficiently invariant Proof Let ε n be a sequence of real numbers decreasing to 0 and let {K n } be a sequence of finite subsets of G such that {e G } K K 2 and lim n K n = G; 2 K n becomes more and more invariant as n in fact {K n } is also a Følner sequence Then we collect the shapes of tiling T K n ε n associated with each pair K n ε n due to Theorem 22 to form a sequence of finite subsets of G and denote this sequence by {F n } Since the shapes become more and more invariant as n {F n } is a Følner sequence of G Then for any K F G and ɛ > 0 let K n K and ε n < ε We then take the finite tiling T to be T = T K n ε n as in Lemma 24 Then every shape of T is taken from the Følner sequence {F n } and K n ε n -invariant hence K ε-invariant since e G K Moreover by Lemma 24 we can use the tiling T to form the required tiling T Then for any sufficiently large n N for j l there exists H n H n with

8 8 ERCAI CHEN DOU DOU AND DONGMEI ZHENG H n > ε H n such that Cj g H n H n h ρ T F H mj n F mj < ερ T F mj H n for any h F mj H n g H n Hence for any h H n H n Cj g H n h < + ε ρ T F H mj n F mj g H n This shows that the set H n is covered by the family of sets {C j g } g Hn at most + ερ T F mj H n Hn F mj -many times Remark 27 Since the construction of the Følner sequence {F n } is independent on the given tempered Følner sequence {H n } we can make {H n } to be a tempered subsequence of {F n } It would be more convenient if we can choose {H n } just to be the whole {F n } but we don t know whether we can make the whole Følner sequence {F n } tempered 3 Mean dimension mutual information and rate distortion function 3 Topological mean dimension and metric mean dimension Let X be a compact metrizable space and α = {U U 2 U k } be a finite open cover of X The order of α is defined by ordα = max x X k Ui x Denote by Dα = min ordβ β where β is taken over all finite open covers of X with β α i= The topological dimension of X is then defined by dim X = sup Dα α where α runs over all finite open covers of X Let X G be a G-system where G is a countable discrete amenable group For F F G and a finite open cover α of X denote by α F = g F g α Then we can define Dα Fn Dα G = lim n F n where {F n } is a Følner sequence of G It is shown that this limit exists and is independent on the choice of the Følner sequence The mean topological dimension mdimx G of X G is defined by mdimx G = sup Dα G α where α runs over all finite open covers of X

9 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 9 Let X G be a G-system with metric d For F F G define metrics d F and d F on X by d F x y = max dgx gy g F and d F x y = dgx gy x y X F We note here that we also use d F to denote the metric on X F defined by 3 d F xg g F y g g F = dx g y g F for x g g F y g g F X F g F For any ε > 0 let #X d ε be the minimal cardinality of open cover U of X with diamu d < ε Then we define SX G d ε = lim n F n log #X d F n ε This limit always exists and does not depend on the choice of the Følner sequence {F n } Note that h top X G the topological entropy of the system X G equals lim SX G d ε for any metric d which is compatible with the topology of X The upper and lower metric mean dimension is then defined by mdim M X G d = lim sup g F SX G d ε SX G d ε mdim M X G d = lim inf When the limits agree the common value is denoted by mdim M X G d Replacing d F by d F in the definition of SX G d ε define SX G d ε = lim n F n log #X d Fn ε This limit also exists and does not depend on the choice of the Følner sequence {F n } It is easy to see that SX G d ε SX G d ε Recall that the compact metric space X d is said to have tame growth of covering numbers if for every δ > 0 it holds that lim εδ log #X d ε = 0 Proposition 3 If X d has tame growth of covering numbers then mdim M X G d = lim sup mdim M X G d = lim inf SX G d ε SX G d ε

10 0 ERCAI CHEN DOU DOU AND DONGMEI ZHENG Proof We first prove the case of mdim M X G d Since SX G d ε SX G d ε it obviously holds that mdim M X G d = lim sup SX G d ε lim sup SX G d ε Let M = #X d ε and choose an open cover W = {W W M } of X with diamw m d < ε for every m M Respectively for F F G let N = #X d F ε and choose an open cover U = {U U N } of X with diamu i d F < ε for every i N Now for each i N choose a point p i U i Then d F x p i < ε for every x U i Hence for L {g F : dgx gp i Lε} < F L which follows that U i B Lε p i d F \A A F with A < F L For A F since g A g W is a cover of X it holds that B Lε p i d F \A = g W mg B Lε p i d F \A Noticing that we have g A m g M diamg W mg B Lε p i d F \A d F < 2Lε #B Lε p i d F \A d F 2Lε M A M F L Since there are N choices of U i and totally 2 F choices of A F it holds that Thus #X d F 2Lε 2 F M F L N F log #X d F 2Lε log 2 + log #X d ε + L F log #X d F ε Now take 0 < δ < and let L = /ε δ in the above inequality We have F log #X d F 2ε δ log 2 + ε δ log #X d ε + F log #X d F ε Letting F = F n with n in any Følner sequence {F n } SX G d 2ε δ log 2 + ε δ log #X d ε + SX G d ε Applying the condition of the tame growth of covering numbers and then letting δ 0 it follows that SX G d ε mdim M X G d lim sup The case of mdim M X G d is similar

11 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 32 Mutual information Mutual information is an important concept in information theory via entropy In the following we will introduce its definition and collect some of its basic properties from [28] Now let Ω P be a probability space Let X Y be two measurable spaces and let X : Ω X and Y : Ω Y be two measurable maps IX; Y the mutual information of X and Y is defined by the following: IX; Y := sup PQ P PQ Q PX Y P Q log PX Y P Q PX P PY Q where P and Q run over all finite measurable partitions of X and Y respectively and with the convention we set that 0 log 0 = 0 for all a 0 a It is easy to see that IX; Y = IY ; X 0 for any measurable maps X and Y The mutual information has the following properties Proposition 32 Let X Y Z be measurable spaces X Y Z be measurable maps from Ω to X Y Z respectively and f : Y Z be a measurable map Data-processing inequality IX; fy IX; Y If in addition X Y and Z are finite sets then the following 2-6 holds 2 IX; Y = HX HX Y = HX + HY HX Y 3 Let X n Y n : Ω X Y be a sequence of measurable maps converging to X Y in law then IX n ; Y n converges to IX; Y 4 Fano s inequality Let P e = PX fy then HX Y HP e + P e log X 5 Subadditivity If X and Z are conditionally independent given Y ie for every y Y with PY = y 0 and for every x X and y Y then PX = x Z = z Y = y = PX = x Y = ypz = z Y = y IY ; X Z IY ; X + IY ; Z 6 Superadditivity If X and Z are independent then IY ; X Z IY ; X + IY ; Z Let X d be a compact metric space and ε > 0 A subset S X is said to be ε-separated if dx y ε for any two distinct points x y S The following lemma is Corollary 25 of [28] which is a corollary of Fano s inequality Lemma 33 Let X d be a compact metric space Let ε > 0 and D > 2 Suppose S X is a 2Dε-separated set Let X and Y be measurable maps from Ω to X such that X is uniformly distributed over S and E dx Y < ε Then IX; Y D log S H D

12 2 ERCAI CHEN DOU DOU AND DONGMEI ZHENG Let X Y be finite and let X and Y be measurable maps form Ω to X and Y respectively Let µx = PX = x νy x = PY = y X = x then µxνy x determines the distribution of X Y and hence the mutual information IX; Y So sometimes we use Iµ ν to instead IX; Y The following proposition shows the concavity and convexity of mutual information Proposition 34 Suppose for each x X we are given a probability mass function ν x on Y Let µ and µ 2 be two probability mass function on X Then I tµ + tµ 2 ν tiµ ν + tiµ 2 ν 0 t 2 Suppose for each x X we are given two probability mass functions ν x and ν x on Y Let µ be a probability mass function on X Then Iµ tν + tν 2 tiµ ν + tiµ ν 2 0 t 33 Rate distortion functions Now we introduce rate distortion functions for dynamical systems Let X G be a G-system with metric d G-invariant probability measures of X Denote by MX G the collection of Let ε > 0 and µ MX G For F F G let X : Ω X and Y g : Ω X g F be random variables defined on some probability space Ω P Assume the law of X is given by µ We say X and Y = Y g g F are F ε-close or F L ε-close if 32 E dgx Y g < ε F g F 32 is also called the L distortion condition Denote by R µ ε F = inf IX; Y XY are Fε-close The L rate distortion function R µ ε is then defined by R µ ε F n R µ ε = lim n F n where {F n } is a Følner sequence in G Using quai-tiling technique it is not hard to show that the above limit does exist and is independent of the specific Følner sequence {F n } In section 5 we will consider L and L p p rate distortion functions Remark 35 Similar to Remark 23 of Lindenstrauss and Tsukamoto [28] in the definition of R µ ε the random variable Y can be assumed to take only finitely many values

13 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 3 4 L variational principle In this section we will prove the following L variational principle between metric mean dimension and the L rate distortion function Theorem 4 If X d has tame growth of covering numbers then mdim M X G d = lim sup sup µ MX G R µ ε mdim M X G d = lim inf sup µ MX G R µ ε 4 The lower bound Lemma 42 For ε > 0 and µ MX G we have R µ ε SX G d ε Proof Let {F n } be a the Følner sequence in G For n > 0 denote by M = #X d Fn ε and let {U U M } be an open cover of X with diamu m d Fn < ε for each m M Choose a point p m U m for each m For any x X let m be the smallest number satisfying x U m Then by setting fx = p m we can define a map f : X {p p M } and hence d Fn x fx < ε Let X be a random variable obeying µ and let Y = gx g Fn Then E dgx gfx = E F n d Fn X fx < ε g F n Hence IX; Y HY log M = log #X d Fn ε Dividing by F n and letting n we have R µ ε SX G d ε Since SX G d ε SX G d ε we have Proposition 43 mdim M X G d lim sup sup µ MX G R µ ε mdim M X G d lim inf sup µ MX G R µ ε

14 4 ERCAI CHEN DOU DOU AND DONGMEI ZHENG 42 The upper bound Proposition 44 For any ε > 0 and D > 2 there exists µ MX G such that 4 R µ ε D S X G d 6D + 4ε Proof Let {F n } be the Følner sequence in G constructed as in Lemma 26 For each F n we choose S n to be a maximal 8D +2ε-separated set of X with respect to the metric d Fn Then 42 S n # X d Fn 6D + 4ε and Define ν n = S n µ n = F n x S n δ x g F n ν n g Let {F ni } be a tempered subsequence of {F n } Then choose a convergence subsequence of {µ ni } i= in the weak topology and assume it converges to µ For simplicity we still denote this subsequence by {µ ni } i= Then µ MX G and we will show that it satisfies the inequality 4 Let P = {P P M } be a measurable partition of X with diamp m d < ε and µ P m = 0 for each m M Assign each P m a point p m P m and set A = {p p M } Denote by Px = p m for x P m Then 43 d x Px < ε for any x X Let P F x = Pgx g F for F F G Recall that we also use d F to denote the metric on X F for F F G see 3 for the definition By 43 we have d Fn gxg Fn P Fn x < ε for any x X For any two distinct points x y S n we have d Fn P F n x P Fn y d Fn x y d Fn gxg Fn P Fn x d Fn gyg Fn P Fn y Hence the set > 8D + 2ε 2ε = 8Dε P Fn S n = {P Fn x x S n } is a 8Dε-separated set of X Fn with respect to the metric d Fn Moreover since ν Fn is the uniform distribution over S n the push-forward measure P Fn ν n is also the uniform distribution measure over P Fn S n Note that P Fn S n = S n Let X : Ω X be a random variable defined on some probability space Ω P such that the law of X is given by µ For F F G let Y Fg : Ω X g F be random

15 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 5 variables defined on the same probability space Ω P such that Y F = Y Fg g F and X are F L ε-close ie 44 E dgx Y Fg < ε F g F We can assume the distribution of Y F is supported on a finite set Y F X F by 2 of Remark 35 By of Proposition 32 the Data-processing inequality IX; Y F I P F X; Y F Let τ F be the law of P F X Y F which is a probability measure on A F Y F It follows that df x ydτ F x y = E d PgX Y Fg A F Y F F g F E dpgx gx + E d gx Y Fg F F 45 g F < 2ε by 43 and 44 For each n we consider the couplings of P F µ n P F µ ie a probability measure on A F A F whose first and second marginals are P F µ n and P F µ respectively We choose a probability measure π Fn that minimizes the following integral df x ydπx y A F A F among all such couplings π Similar to Claim 36 of [28] the sequence π Fni converges to P F P F µ in the weak topology Since both the second marginal of π Fn and the first marginal of τ F are equal to the measure P F µ we can compose them to produce a coupling τ Fn of P F µ n LawY by the following way: τ Fn x y = π Fn x x PY = y P F X = x x A F y Y F x A F We note here that the sequence τ Fni converges to τ F in the weak topology and hence by 45 E τfni df x y 46 := df x ydτ Fni x y < 2ε for all sufficiently large n i A F Y F For x g F n P F gs n and y X F define a conditional probability mass function τ Fn y x by τ Fn y x = τ Fnx y P F µ n x Recall that our Følner sequence {F n } is constructed as in Lemma 26 Then for any K F G with e G K and 0 < ε < min{ } by Lemma 26 here we choose 2 ε diamx d g F

16 6 ERCAI CHEN DOU DOU AND DONGMEI ZHENG {H n } to be the tempered Følner sequence {F ni } there exists T a finite tiling of G satisfying the following two conditions: C T has shapes {F m F ml } consisted with Følner sets in {F n } and each F mj is K ε -invariant; C2 for sufficiently large i for each j l the family of sets {C j g } g Fni covers a subset F ni F ni with F ni > ε at most + ε ρ T F mj F ni Fn i - F mj many times where C j is the center of the shape F mj Note that T = {F mj c : c C j j l} and For g F ni denote by l R g = F ni \ j= G = l j= c C j F mj c c C j F mj c F ni gcg F ni F mj cg Fix a point a X For x = x g g Fni P Fn is ni and g F ni we define probability mass functions σ Fni g x on X Fn i as the following: for y = y g g Fni X Fn i 47 l σ Fni gy x = τ Fmj n i y Fmj cg x Fmj cg δ a y h j= c C j F mj c F ni gcg F ni h R g Here we note that and Then we set 48 y Fmj cg = y h h Fmj cg X Fm j cg x Fmj cg = x h h Fmj cg PFm j cg S n X Fm j cg σ Fni y x = g F ni σ Fni gy x Claim 45 For sufficiently large n i there exists some j l such that ε IPFni ν n σ Fni F mj I P Fmj µ ni τ Fmj n i Proof of Claim 45 By 2 of Proposition 34 the convexity of mutual information IP Fn i ν ni σ Fni 49 IP Fni ν ni σ Fni g g F ni

17 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 7 By 5 of Proposition 32 the subadditivity of mutual information together with 47 we have l IP Fn i ν ni σ Fni g P Fm j 40 cg ν ni τfmj n i Joint 49 and 40 together IP Fn i ν ni σ Fni = I j= c C j F mj c F ni gcg F ni l I g F ni j= c C j F mj c F ni gcg F ni l I j= g F ni c C j F mj c F ni gcg F ni For convenience denote by t j = ρ T F mj F ni then we have IP Fn i ν n σ Fni ie j= P Fm j P Fm j l + ε t j F h F mj I P Fmj h ν ni τ Fmj n i ni by condition C2 l + ε t j I P Fmj h ν ni τ Fmj n F mj i h F ni l + ε t j F mj I P Fmj h ν ni τ Fmj n i h F ni j= j= cg ν ni τfmj n i cg ν ni τfmj n i by of Proposition 34 the concavity of mutual information l = + ε t j F mj I P Fmj µ ni τ Fmj n i j= ε IPFni ν n σ Fni l j= t j F mj I P Fmj µ ni τ Fmj n i Noticing that l j= t j there must exists some j l such that ε IPFni ν n σ Fni F mj IPFmj µ n τ Fmj n This finishes the proof of Claim 45 Denote by E Fn P i dfni x y the expected value of d ν ni σ Fni x y x y X Fn i with Fni respect to the probability measure P Fn i ν ni xσ Fni y x

18 8 ERCAI CHEN DOU DOU AND DONGMEI ZHENG Claim 46 For sufficiently large n i and E P Fn i ν ni σ Fni dfni x y < 4ε IP Fn i ν ni σ Fni D log S n i H D Proof of Claim 46 By 47 and 48 the definitions of probability mass functions σ Fni g x g F ni and σ Fni x we have and E P Fn i ν ni σ Fni dfni x y = E Fn P i dfni x y ν ni σ Fni g l F mj E P j= c C j F mj c F ni gcg F ni + ε diamx d g F ni E P Fn i ν ni σ Fni g Fm j dfni x y cg ν ni τ Fmj n i dfmj x y where x y are random points in X Fn i and x y appear in d Fmj x y are in X Fm j When F ni is sufficiently invariant R g < ε Hence E Fn P i dfni x y ν ni σ Fni l F mj E P Fm j dfmj x y cg ν ni τ Fmj n i = = j= g F ni c C j F mj c F ni gcg F ni + ε diamx d l j= + ε t j E Fm P j dfmj x y + ε diamx d h F h ν ni τ Fmj n i ni by condition C2 and recall here t j = ρ T F mj F ni l + ε t j E Fm P j dfmj x y + ε diamx d h h Fn ν ni τ Fmj n i i j= l j= Fn i + ε t j E P Fm j µ ni τ Fmj n i dfmj x y + ε diamx d l + ε t j dfmj x A y dτ Fmj n Fmj i x y + ε diamx d Y Fmj j=

19 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 9 Recall that 0 < ε < min{ ε } and l 2 diamx d j= t j By 46 for sufficiently large n i we have E Fn P i dfni x y < + 2ε + ε = 4ε ν ni σ Fni 2 Since P Fn i ν ni is uniformly distributed over P Fn is ni and P Fn is ni is a 8Dε- separated set of cardinality S ni by Lemma 33 for sufficiently large n i IP Fn i ν ni σ Fni D log S n i H D This finishes the proof of Claim 46 Now we proceed with the proof of Lemma 44 For any K F G with e G K and 0 < ε < min{ ε } for sufficiently large 2 diamx d n i there exists a j l here j depends on n i whereas l depends on K and ε but does not depend on n i F mj IPFmj µ ni τ Fmj n i ε IPFni ν ni σ Fni by Claim 45 ε D log S n i H D by Claim 46 ε D log # X d Fni 6D + 4ε H D by 42 By choosing some subsequence of {n i } we still denote it by {n i } for some j l the probability measures τ Fmj n i converge to τ Fmj = Law P Fm j X YFmj in the weak topology Let n i By 3 of Proposition 32 F mj I P Fm j X; YFmj ε D S X G d 6D + 4ε By of Proposition 32 the data-processing inequality F mj IX; Y F mj ε D S X G d 20D + 4ε Let K = K n F G be chosen from some Følner sequence {K n } in G for example we can let {K n } be constructed as in the proof of Lemma 26 a Følner sequence with {e G } K K 2 and lim n K n = G Then let n for K n to make K sufficiently invariant and ε 0 Hence m j Noticing that R µ ε is independent of the selection of the Følner sequence {F n } it follows that R µ ε D S X G d 6D + 4ε This completes the proof of Proposition 44

20 20 ERCAI CHEN DOU DOU AND DONGMEI ZHENG Proof of Theorem 4 For D > 2 lim sup sup µ MX G R µ ε lim sup S X G d 6D + 4ε D by Proposition 44 = lim sup D S X G d 6D + 4ε log6d + 4ε = D mdim MX G d by Proposition 3 Let D we have And similarly mdim M X G d lim sup mdim M X G d lim inf Joint with Proposition 43 we obtain mdim M X G d = lim sup mdim M X G d = lim inf sup µ MX G R µ ε sup µ MX G R µ ε sup µ MX G R µ ε sup µ MX G R µ ε 5 L and L p p variational principles Modifying the distortion condition 32 we can also define L and L p p rate distortion functions Similarly we have L and L p p variational principles between metric mean dimensions and the corresponding rate distortion functions Let X G be a G-system with metric d We define the L rate distortion function of X G in the following way Let ε > 0 and µ MX G For F F G let X : Ω X and Y g : Ω X g F be random variables defined on some probability space Ω P Assume µ = LawX We say X and Y = Y g g F are F L ε α-close for α > 0 if E F #{g F : dgx Y g ε} < α Denote by R µ ε α F = inf IX; Y XY are FL εα-close

21 and VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 2 R µ ε α F n R µ ε α = lim n F n where {F n } is a Følner sequence in G It is not hard to show that the above limit does exist and is independent of the choice of the Følner sequence {F n } The L rate distortion function R µ ε is then defined by R µ ε = lim α 0 R µ ε α Fix p < Let F F G X : Ω X and Y g : Ω X g F be given as previous We say X and Y = Y g g F are F L p ε-close if E dgx Y g p < ε p F Denote by R µp ε F = inf IX; Y XY are FL p ε-close The L p rate distortion function R µp ε is then defined by g F R µp ε F n R µp ε = lim n F n where {F n } is a Følner sequence in G It is not hard to show that the above limit also exists and is independent of the choice of the Følner sequence {F n } When p = the L rate distortion function R µ ε coincide with the rate distortion function R µ ε defined in Section 3 Remark 5 Also similar to Remark 23 of Lindenstrauss and Tsukamoto [28]in the definitions of R µp ε and R µ ε α the random variable Y can be also assumed to take only finitely many values The following theorem is the L variational principles for metric mean dimension The proof is similar with that of the L variational principle Theorem 4 Since the d F metric and SX G d ε are not involved the proof is simpler than that of Theorem 4 but it is still complicated We will put the proof in Appendix A Theorem 52 Proof See Appendix A mdim M X G d = lim sup mdim M X G d = lim inf sup µ MX G R µ ε sup µ MX G R µ ε We also note that the space X d need not have tame growth of covering numbers in the L variational principles Applying the L and L variational principles we can obtain the following L p p variational principles under the condition that X d has tame growth of covering numbers

22 22 ERCAI CHEN DOU DOU AND DONGMEI ZHENG Theorem 53 If X d has tame growth of covering numbers then for any p mdim M X G d = lim sup mdim M X G d = lim inf sup µ MX G R µp ε sup µ MX G R µp ε Proof Let p α > 0 ε > 0 and µ MX G For F F G let X : Ω X and Y g : Ω X g F be random variables as in the definition of the rate distortion functions If X and Y = Y g g F are F L p ε-close then by the Hölder inequality it holds that E dgx Y g < E dgx Y g p p < ε F F g F ie X and Y = Y g g F are F ε-close And hence by the definition of the rate distortion functions R µ ε R µp ε If X and Y = Y g g F are F L ε α-close for α > 0 ie E F #{g F : dgx Y g ε} < α then F And hence g F dgx Y g p ε p + F E F g FdgXY g ε g F dgx Y g p ε p + F #{g F : dgx Y g ε} diamx d p dgx Y g p < ε p + α diamx d p g F Then it follows that for any ε > ε when α is sufficiently small E dgx Y g p p < ε F Hence g F R µ ε R µ ε for any ε > ε The conclusion then follows by Theorem 4 and Theorem 52 Acknowledgements This work was supported by National Basic Research Program of China Grant No 203CB83400 and National Natural Science Foundation of China Grant No 4302

23 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 23 Appendix A Proof of Theorem 52 The following Lemma is a small modification of Lemma 26 of [28] and we omit the proof Lemma A Let X d be a compact metric space with a finite subset A Let F F G ε > 0 and α Suppose S AF is a 2ε-separated set with respect to the 2 metric d F xg g F y g g F Let X = Xg g F and y = Y g g F be measurable maps from Ω to X F such that X is uniformly distributed over S and Then E #{g F : dx g Y g ε} < α F IX; Y log S F Hα α F log A Lemma A2 For ε > 0 and µ MX G we have R µ ε SX G d ε Proof Let {F n } be a Følner sequence in G For n > 0 denote by M = #X d Fn ε and let {U U M } be an open cover of X with diamu m d Fn < ε for each m M Choose a point p m U m for each m For any x X let m be the smallest number satisfying x U m Then by setting fx = p m we can define a map f : X {p p M } and hence d Fn x fx < ε Let X be a random variable with LawX = µ Then d Fn X fx < ε almost surely Hence E F #{g F : d gx gfx ε} = 0 Let Y = gfx g F n Obviously X and Y are F L ε α-close for any α > 0 Hence IX; Y HY log M = log #X d Fn ε Dividing by F n and letting n we have R µ ε SX G d ε Proposition A3 For any ε > 0 there exists µ MX G such that A R µ ε SX G d 2ε Proof Let {F n } be the Følner sequence in G constructed as in Lemma 26 For each F n we choose S n to be a maximal 6ε-separated set of X with respect to the metric d Fn Then A2 S n #X d Fn 2ε Define ν n = S n x S n δ x

24 24 ERCAI CHEN DOU DOU AND DONGMEI ZHENG and µ n = F n g F n ν n g As in the proof of Proposition 44 we first choose a tempered subsequence {F ni } of {F n } then choose a convergence subsequence of {µ ni } i= in the weak topology and assume it converges to µ Hence µ MX G and we will show it satisfies the inequality A For simplicity we still denote this subsequence by {µ ni } i= Let P = {P P M } be a measurable partition of X with diamp m d < ε and µ P m = 0 for each m M Assign each P m a point p m P m and set A = {p p M } Denote by Px = p m for x P m Then A3 d x Px < ε Let P F x = Pgx g F for F F G Recall that we also use d F to denote the metric on X F for F F G see 3 for the definition By A3 we have d Fn gxg Fn P Fn x < ε for any x X For any two distinct points x y S n we have d Fn P F n x P Fn y d Fn x y d Fn gxg Fn P Fn x d Fn gyg Fn P Fn y Hence the set > 6ε 2ε = 4ε P Fn S n = {P Fn x x S n } A Fn is a 4ε-separated set of X Fn with respect to the metric d Fn Moreover since ν Fn is the uniform distribution over S n the push-forward measure P Fn ν n is also the uniform distribution measure over P Fn S n Note that P Fn S n = S n Let 0 < α < let X : Ω X be a random variable defined on some probability 4 space Ω P such that the law of X is given by µ For F F G let Y Fg : Ω X g F be random variables defined on the same probability space Ω P such that Y F = Y Fg g F and X are F L ε α-close ie A4 E F #{g F : dgx Y g ε} < α We can assume the distribution of Y F is supported on a finite set Y F X F by 2 of Remark 5 By the Data-processing inequality IX; Y F I P F X; Y F Let τ F = Law P F X Y F be the law of P F X Y F which is supported on A F Y F Since d gx PgX < ε it follows that { g F : d PgX YFg 2ε } {g F : dgx YFg ε}

25 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 25 Thus E τf f F x y := f F x ydτ F x y A F Y F = E # { g F : d } PgX Y Fg 2ε A5 < α F where we denote by f F x y = #{g F : dx g y g 2ε} for x = x g g F A F and y = y g g F Y F For each n we consider the couplings of P F µ n P F µ Choose a probability measure π Fn that minimizes the following integral df x ydπx y A F A F among all such couplings π Also similar to Claim 36 of [28] the sequence π Fni converges to P F P F µ in the weak topology Compose π Fn and τ F to produce a coupling τ Fn of P F µ n LawY by the following way: τ Fn x y = π Fn x x P Y = y P F X = x x A F y Y F x A F We note here that the sequence τ Fni converges to τ F in the weak topology and hence by A5 A6 E τfni f F x y = f F x ydτ Fni x y < α F A F Y F for all sufficiently large n i Similar to the proof of Proposition 44 for x g F n P F gs n and y X F we define a conditional probability mass function τ Fn y x by τ Fn y x = τ Fnx y P F µ n x For any K F G with e G K and 0 < ε < α as in Proposition 44 by Lemma 26 there exists T a finite tiling of G satisfying conditions C and C2 in Proposition 44: C T has shapes {F m F ml } consisted with Følner sets in {F n } and each F mj is K ε -invariant; C2 for sufficiently large i hence F ni F G is sufficiently invariant for each j l the family of sets {C j g } g Fni covers a subset F ni F ni with F ni > ε at most + ε ρ T F mj F ni F mj -many times where C j is the center of the shape F mj For x = x g g Fni P Fn is ni and g F ni we define probability mass functions σ Fni g x and σ Fni x on X Fn i as exactly as 47 and 48 respectively For y =

26 26 ERCAI CHEN DOU DOU AND DONGMEI ZHENG y g g Fni X Fn i and g F ni A7 and A8 σ Fni gy x = Here we recall that and l j= c C j F mj c F ni gcg F ni τ Fmj n i y Fmj cg x Fmj cg σ Fni y x = g F ni σ Fni gy x y Fmj cg = y h h Fmj cg X Fm j cg x Fmj cg = x h h Fmj cg PFm j cg S ni m R g = F ni \ i= c C j F mj c F ni gcg F ni F mj cg h R g δ a y h Then as exactly as Claim 45 when n i is large enough there exists some j l such that ε IPFni ν ni σ Fni F mj I A9 P Fmj µ ni τ Fmj n i Denote by E Fn P i f ν ni σ Fni x y the expected value of the function f Fni x y with Fni respect to the probability measure P Fn i ν ni xσ Fni y x Claim A4 For sufficiently large n i E P Fn i ν ni σ Fni f Fni x y < 3α Proof of Claim A4 By A7 and A8 the definitions of probability mass functions σ Fni g x g F ni and σ Fni x we have and E P Fn i ν ni σ Fni f Fni x y = g F ni E P Fn i ν ni σ Fni g f Fni x y E Fn P i f ν ni σ Fni x y Fni g l E Fm P j f j= c C j F mj c F ni gcg F cg Fmj x y + R g ν ni τ Fmj n i ni where x y are random points in X Fn i and x y appear in f Fmj x y are in X Fm j

27 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 27 When F ni is sufficiently invariant R g < ε Hence E P Fn i = = = f ν ni σ Fni x y Fni l l j= l j= l j= l j= j= g F ni j= E Fm P j f c C j F mj c F ni gcg F cg Fmj x y + ε ν ni τ Fmj n i ni l + ε t j F h F mj E P Fm j f Fmj x y + ε h ν ni τ Fmj n i ni by condition C2 and recall here t j = ρ T F mj F ni + ε t j F mj E P Fm j Fn i h Fn i h ν ni τ Fmj n i f Fmj x y + ε + ε t j F mj E P Fm j µ ni τ Fmj n i f Fmj x y + ε + ε t j F mj A Fmj Y Fmj f Fmj x y dτ Fmj n i x y + ε + ε t j F mj E τ Fmj n i f Fmj x y + ε Recall that 0 < ε < α < 4 and l j= t j By A6 for sufficiently large n i we have Hence for sufficiently large n i E τfmj n i f Fmj x y < α F mj for each j l E P Fn i ν ni σ Fni f Fni x y < + ε α + ε Fni < 3α This finishes the proof of Claim A4 Note that the set P Fn is ni = {P Fn ix x S ni } A Fn i P Fn is ni = S ni is a 4ε-separated set of X Fn i with respect to the metric d Fni and the push-forward measure P Fn i ν ni is the uniform distribution measure over P Fn is ni By Claim A4 and Lemma A for sufficiently large n i A0 IPFni ν ni σ Fni log S n i 3α log M H3α

28 28 ERCAI CHEN DOU DOU AND DONGMEI ZHENG It follows from A2 A9 and Claim A4 that for sufficiently large n i there exists j l j depends on n i and l is independent on n i such that F mj I P Fmj µ ni τ Fmj n i ε log #X d F ni 2ε 3α log M H3α By choosing some subsequence of {n i } we still denote it by {n i } for some j l the probability measures τ Fmj n i converge to τ Fmj = Law P Fm j X YFmj in the weak topology Let n i By 3 of Proposition 32 F mj I P Fm j X; YFmj ε SX G d 2ε 3α log M H3α By of Proposition 32 the data-processing inequality F mj IX; Y F mj ε SX G d 2ε 3α log M H3α Choose K F G to be more and more invariant as in the proof of Proposition 44 and let ε tend to 0 to force m j Noticing that R µ ε α is independent of the selection of the Følner sequence it follows that Letting α 0 we have R µ ε α SX G d 2ε 3α log M H3α R µ ε SX G d 2ε This completes the proof of Proposition A3 Theorem 52 then follows from Lemma A2 and Proposition A3 References [] Y Ahn D Dou and K K Park Entropy dimension and its variational principle Studia Math no [2] M De Carvalho Entropy dimension of dynamical systems Portugal Math no 9-40 [3] M Coornaert Topological dimension and dynamical systems Universitext Springer 205 Translation from the French language edition: Dimension topologique et systèmes dynamiques by M Coornaert Cours spécialisés 4 Société Mathématique de France Paris 2005 [4] M Coornaert and F Krieger Mean topological dimension for actions of discrete amenable groups Discrete Contin Dyn Syst [5] Dou D Minimal subshifts of arbitrary mean topological dimension Discrete Contin Dyn Syst no [6] D Dou W Huang and K K Park Entropy dimension of topological dynamics Trans Amer Math Soc [7] D Dou W Huang and K K Park Entropy dimension of measure preserving systems arxiv: [8] Tomasz Downarowicz Dawid Huczek and Guohua Zhang Tilings of amenable groups J Reine Angew Math to appear

29 VARIATIONAL PRINCIPLES FOR AMENABLE METRIC MEAN DIMENSIONS 29 [9] S Ferenczi and K K Park Entropy dimensions and a class of constructive examples Discrete Cont Dyn Syst no 33-4 [0] Goodman T N T Topological sequence entropy Proceedings of the London Mathematical Society : [] M Gromov Topological invariants of dynamical systems and spaces of holomorphic maps Part I Math Phys Anal Geom [2] Gutman Y Embedding topological dynamical systems with periodic points in cubical shifts Ergodic Theory and Dynamical Systems 205: -27 [3] Gutman Y Mean dimension and Jaworski-type theorems Proceedings of the London Mathematical Society 205 4: [4] Y Gutman E Lindenstrauss and M Tsukamoto Mean dimension of Z k -actions Geometric and Functional Analysis : [5] Gutman Y Tsukamoto M Mean dimension and a sharp embedding theorem: extensions of aperiodic subshifts Ergodic Theory and Dynamical Systems : [6] Hayes B Metric mean dimension for algebraic actions of sofic groups Transactions of the American Mathematical Society 207 [7] Kawabata T Dembo A The rate-distortion dimension of sets and measures IEEE transactions on information theory : [8] Kerr D Li H Ergodic theory: independence and dichotomies Springer 207 [9] F Krieger Groupes moyennables dimension topologique moyenne et sous-décalages Geom Dedicata [20] F Krieger Minimal systems of arbitrary large mean topological dimension Israel J Math [2] A G Kushnirenko On metric invariants of entropy type Russian Mathematical Surveys no [22] Li H Sofic mean dimension Advances in Mathematics : [23] Li H Liang B Mean dimension mean rank and von NeumannCLck rank Journal fr die reine und angewandte Mathematik Crelles Journal 203 [24] Li H Liang B Sofic mean length arxiv: [25] E Lindenstrauss Mean dimension small entropy factors and an embedding theorem Inst Hautes Études Sci Publ Math [26] E Lindenstrauss Pointwise theorems for amenable groups Invent Math [27] E Lindenstrauss and M Tsukamoto Mean dimension and an embedding problem: an example Israel J Math no [28] Lindenstrauss E Tsukamoto M From rate distortion theory to metric mean dimension: variational principle arxiv: [29] E Lindenstrauss and B Weiss Mean topological dimension Israel J Math [30] DS Ornstein B Weiss Entropy and isomorphism theorems for actions of amenable groups J Anal Math [3] Tsukamoto M A packing problem for holomorphic curves Nagoya Mathematical Journal : [32] Tsukamoto M Gauge theory on infinite connected sum and mean dimension Mathematical Physics Analysis and Geometry : [33] Tsukamoto M Large dynamics of Yang Mills theory: mean dimension formula arxiv: [34] Vershik A M Four definitions of the scale of an automorphism Functional Analysis and Its Applications : 69-8 [35] A M Vershik Dynamic theory of growth in groups: entropy boundaries examples Uspekhi Mat Nauk no translation in Russian Math Surveys no [36] Vershik A M Gorbulsky A D Scaled entropy of filtrations of -fields Theory of Probability and Its Applications :

30 30 ERCAI CHEN DOU DOU AND DONGMEI ZHENG [37] B Weiss Actions of amenable groups Topics in Dynamics and Ergodic Theory London Math Soc Lecture Note Ser 30 Cambridge Univ Press Cambridge 2003 School of Mathematical Sciences and Institute of Mathematics Nanjing Normal University Nanjing Jiangsu PRChina address: ecchen@njnueducn Department of Mathematics Nanjing University Nanjing Jiangsu PR China address: doumath@63com School of Physical and Mathematical Sciences Nanjing Tech University Nanjing 286 Jiangsu PR China address: dongmzheng@63com