arxiv: v1 [math.ds] 5 Nov 2017

Transcription

1 Real-analytic diffeomorphisms with homogeneous spectrum and disjointness of convolutions arxiv: v math.ds] 5 Nov 207 Shilpak Banerjee and Philipp Kunde Abstract On any torus T d, d 2, we prove the existence of a real-analytic diffeomorphism T with a good approximation of type h, h +, a maximal spectral type disjoint with its convolutions and a homogeneous spectrum of multiplicity two for the Cartesian square T T. The proof is based on a real-analytic version of the Approximation by Conjugation-method. Introduction One of the main problems in the spectral theory of dynamical systems at the interface of unitary operator theory and ergodic theory is the following question: Question. What are possible spectral properties for a Koopman operator associated with a measure-preserving transformation? More specifically, one can search for transformations possessing specific essential values M UT of the spectral multiplicities: Question 2. Given a subset E N { }, is there an ergodic transformation T such that M UT = E? These two problems are open and no restrictions except for the obvious ones are known. However, there is an impressive progress concerning Question 2 see Da3] for a survey on spectral multiplicities of ergodic actions and there exist two standard points of view: to consider the spectrum of T and in particular M UT either on L 2 X, µ or on the orthogonal complement L 2 0 X, µ of the constant functions. In KL95] it was proved that all possible subsets of N { } can be realized as M UT for some ergodic transformation T in the first case since is always an eigenvalue because of the constant functions, possible means any subset of N { } with as an element. In the second case the Cartesian powers of a generic transformation provide a good opportunity for the construction of examples with the infimum of essential spectral multiplicities larger than. Although, it seems very unlikely that these Cartesian powers have finite maximal spectral multiplicity, this is the generic case: Independently Ageev and Ryzhikov proved the celebrated result, that for a generic automorphism T the Cartesian square T T has homogeneous spectrum of multiplicity 2 see Ag99] resp. Ry99a]. Ageev was even able to show that for the n-th power T n = T... T of a generic transformation T it holds M T n = {n, n n,..., n!} cf. Ag99, Theorem 2]. He also proved for every n N the existence of an ergodic transformation with homogeneous spectrum of multiplicity n in the orthogonal complement of the constant functions Ag05, Theorem ] solving

2 Introduction 2 Rokhlin s problem on homogeneous spectrum in ergodic theory. Another important question in Ergodic Theory asks Question 3. Are there smooth versions to the objects and concepts of abstract ergodic theory? With regard to the spectral multiplicity problem in Question 2 there are only few results in this direction. Explicitly, Danilenko asks which subsets E {} admit a smooth ergodic transformation T with M UT = E Da3, section 0]. Blanchard and Lemanczyk showed that every set E containing as well as lcme, e 2 for e, e 2 E is realizable as the set of essential spectral multiplicities for a Lebesgue measure-preserving analytic diffeomorphism of a finite dimensional torus BL93]. Recently, the second author proved that on any smooth compact connected manifold M of dimension d 2 admitting a non-trivial circle action S = {φ t } t S the set of C -diffeomorphisms T, that have a homogeneous spectrum of multiplicity 2 for T T and a maximal spectral type disjoint with its convolutions, is residual i.e. it contains a dense G δ -set in A α M = {h φ α h : h Diff M, µ} C for every Liouvillean number α Ku6]. Hereby, Problem 7.. in FK04] was answered affirmatively. We are able to prove an analogous result in the real-analytic category, Theorem.. For any ρ > 0 and d 2, there exist real-analytic diffeomorphisms T Diff ω ρ T d, µ that have a maximal spectral type disjoint with its convolutions, a homogeneous spectrum of multiplicity 2 for T T and admit a good approximation of type h, h +. The first part of this Theorem is linked to a conjecture of Kolmogorov respectively Rokhlin and Fomin after verifying that the property held for all dynamical systems known at that time, especially large classes of systems of probabilistic origin like Gaussian ones, namely that every ergodic transformation possesses the so-called group property, i.e. the maximal spectral type σ is symmetric and dominates its square σ σ. This conjecture is an analogue of the well-known group property of the set of eigenvalues of an ergodic automorphism and was proven to be false. Indeed, in St66] A.M. Stepin gave the first example of a dynamical system without the group property. V.I. Oseledets constructed an analogous example with continuous spectrum Os69]. Later Stepin showed that for a generic transformation all convolutions σ k 0, k N, of the maximal spectral type σ 0 on L 2 0 X, µ are mutually singular see St87]. In general, one of the most powerful tools for finding answers to Question 3 and for constructing volume preserving C -diffeomorphisms with prescribed ergodic or topological properties on any compact connected manifold M of dimension d 2 admitting a non-trivial circle action S = {φ t } t S is the so called Approximation by Conjugation-method developed by D.V. Anosov and A. Katok in their fundamental paper AK70]. These diffeomorphisms are constructed as limits of conjugates T n = Hn Q, H n = h n H n and h n is a measure-preserving diffeomorphism satisfying φ αn h n = h n φ αn. In each step the conjugation φ αn+ H n, where α n+ = pn+ = α n + k n l n q 2 n map h n and the parameter l n are chosen such that the diffeomorphism T n imitates the desired property with a certain precision. Then the parameter k n is chosen large enough to guarantee closeness of T n to T n in the C -topology and so the convergence of the sequence T n n N to a limit diffeomorphism is provided. This method enables the construction of smooth diffeomorphisms with specific ergodic properties e. g. weak mixing ones in AK70, section 5] or non-standard smooth realizations of measure-preserving systems e. g. AK70, section 6] and FSW07]. See also the very interesting survey article FK04] for more details and other results of this method.

3 Preliminaries 3 Unfortunately, there are great challenging differences in the real-analytic category as discussed in FK04, section 7.]: Since maps with very large derivatives in the real domain or its inverses are expected to have singularities in a small complex neighbourhood, for a real analytic family S t, 0 t t 0, S 0 = id, the family h S t h is expected to have singularities very close to the real domain for any t > 0. So, the domain of analycity for maps of our form f n = Hn φ αn+ H n will shrink at any step of the construction and the limit diffeomorphism will not be analytic. Thus, it is necessary to find conjugation maps of a special form which may be inverted more or less explicitly in such a way that one can guarantee analycity of the map and its inverse in a large complex domain. Recently, some progress has been made in applying the AbC short for approximation by conjugation-method in the real-analytic category on particular manifolds. Fayad and Katok constructed volume-preserving uniquely ergodic real-analytic diffeomorphisms on odd-dimensional spheres in FK4]. In case of the torus T d, d 2, the authors were able to reproduce several examples of smooth dynamical systems obtained by the AbC-scheme in the category of real-analytic diffeomorphisms in a series of papers Ba5], Ku5], BK], Ba]. In particular, we construct minimal but not uniquely ergodic diffeomorphisms and nonstandard real-analytic realizations of toral translations. All these constructions base on the concept of block-slide type maps on the torus and their sufficiently precise approximation by measure preserving real-analytic diffeomorphisms. This approach is the important mechanism in the constructions of this paper as well. We emphasize that all constructions in this article are done on the torus and that real-analytic AbC constructions on arbitrary real-analytic manifolds continue to remain an intractable problem. Outline of the paper For a start we present several important definitions and concepts that will be used in this paper. In particular, we introduce the topology of real-analytic diffeomorphisms on the torus, the general AbC-scheme as well as block-slide type maps and their analytic approximations. In section 3 we give an overview of periodic approximation in ergodic theory. We have also included a survey section about spectral theory in Dynamical Systems. With the aid of this theoretical background we get a criterion for the proof of the main theorem in Proposition 5.. In fact, this Proposition reduces the proof to the construction of a diffeomorphism admitting a good cyclic approximation and a good linked approximation of type h, h +. At this point, we will also sketch how to construct such a map. In particular, we describe the underlying combinatorics. In the rest of the paper, we present its construction via the concept of block-slide type maps and with explicitly defined tower elements in detail. 2 Preliminaries Here we introduce the basic concepts and establish notations that we will use for the rest of this article. For a natural number d, we will denote the d dimensional torus by T d := R d /Z d. The standard Lebesgue measure on T d will be denoted by µ. We define φ, a measure preserving T action on the torus T d as follows: φ t x,..., x d = x + t, x 2,..., x d. 2.

4 2. The topology of real-analytic diffeomorphisms on the torus 4 2. The topology of real-analytic diffeomorphisms on the torus We give a description of the space of diffeomorphisms that are interesting to us. Any real-analytic diffeomorphism on T d homotopic to the identity admits a lift to a map from R d to R d and has the following form F x,..., x d = x + f x,..., x d,..., x d + f d x,..., x d, 2.2 where f i : R d R are Z d -periodic real-analytic functions. Any real-analytic Z d -periodic function defined on R d can be extended to some complex neighbourhood of R d as a holomorphic complex analytic function. For a fixed ρ > 0, let Ω ρ := {z,..., z d C d : Imz < ρ,..., Imz d < ρ} 2.3 and for a function f defined on this set, put f ρ := sup fz,..., z d. 2.4 z,...,z d Ω ρ We define C ω ρ T d to be the space of all Z d -periodic real-analytic functions on R d that extends to a holomorphic function on Ω ρ and f ρ <. We define, Diff ω ρ T d, µ to be the set of all measure-preserving real-analytic diffeomorphisms of T d homotopic to the identity, whose lift F x = x + f x,..., x d + f d x to R d satisfies f i C ω ρ T d and we also require the lift F x = x + f x,..., x d + f d x of its inverse to R d to satisfies f i C ω ρ T d. The metric d in Diff ω ρ T d, µ is defined by d ρ f, g = max{ d ρ f, g, d ρ f, g }, where dρ f, g = max i=,...,d { inf n Z f i g i + n ρ }. Let F = F,..., F d be the lift of a diffeomorphism in Diff ω ρ T d, µ, we define the norm of the total derivative DF ρ := max F i ρ. x j i=,...,d j=,...,d Next, with some abuse of notation, we define the following two spaces C ω T d := n= C ω n T d, 2.5 Diff ω T d, µ := n= Diff ω nt d, µ. 2.6 Note that the functions in 2.5 can be extended to C d as entire functions. We also note that Diff ω T d, µ is closed under composition. To see this, let f, g Diff ω T d, µ and F and G be their corresponding lifts. Then note that F G is the lift of f g with π : R 2 T 2 as the natural projection, π F G = f π G = f g π. Now for the complexification of F and G note that the composition F Gz = z + g z + f Gz,..., z d + g d z + f d Gz. Since g i C T ω d, we have for any ρ, sup z Ωρ ImGz max i sup z Ωρ Imz i + Img i z max i sup z Ωρ Imz i + sup z Ωρ Img i z ρ + max i sup z Ωρ g i z < ρ + const < ρ < for we identify R d inside C d via the natural inclusion x,..., x d x + i0,..., x d + i0.

5 2.2 Some partitions of the torus 5 some ρ. So, sup z Ωρ z i +g i z+f i Gz z i + g i z + f i Gz < since z Ω ρ, g i C ω T d and Gz Ω ρ. An identical treatment gives the result for the inverse. All intermediate diffeomorphisms constructed during the AbC method in this paper will belong to this category. 2 This completes the description of the real-analytic topology necessary for our construction. Also throughout this paper, the word diffeomorphism will refer to a real-analytic diffeomorphism. Also, the word real-analytic topology will refer to the topology of Diff ω ρ T d, µ described above. See Sa03] for a more extensive treatment of these spaces. 2.2 Some partitions of the torus First of all, we introduce the notion of a partial partition of a measure space X, µ, which is a pairwise disjoint countable collection of measurable subsets of X. Definition 2.7. A sequence of partial partitions ν n converges to the decomposition into points if and only if for a given measurable set A and for every n N there exists a measurable set A n, which is a union of elements of ν n, such that lim n µ A A n = 0. We often denote this by ν n ε. A partial partition ν is a refinement of a partial partition η if and only if for every C ν there exists a set D η such that C D. We write this as η ν. Using the notion of a partition we can introduce the weak topology in the space of measurepreserving transformations on a Lebesgue space: Definition For two measure-preserving transformations T, S and for a finite partition ξ the weak distance with respect to ξ is defined by d ξ, T, S := c ξ µ T c S c. 2. The base of neighbourhoods of T in the weak topology consists of the sets W T, ξ, ε = {S : d ξ, T, S < ε}, where ξ is a finite partition and ε is a positive number. There are some partitions of T d that are of special interest to us. They appear repeatedly in this article and we summarize them here. Assume that we are given three natural numbers l, k, q and a function a : {0,,..., k } {0,,..., q }. We define the following three partitions of T d : T q := G l,q := G j,l,q := { i,q := i { i lq, i + lq q, i + q T d : i = 0,,..., q }, 2.9 i 2 l, i 2 + l { i l d+ j q, i + l d+ j q i d... l, i d + : i = 0,,..., lq, l i 2 l, i 2 + l i 2,..., i d {0,,..., l } d }, 2.0 i j... l, i j + T d j : i = 0,,..., l d+ j q, l 2 We note that the existence of such real-analytic functions whose complexification is entire or as in this case, the complexification of their lift is entire is central to a real-analytic AbC method. As of now we only know how to construct such functions on the torus, odd dimensional spheres and certain homogeneous spaces.

6 2.3 Block-slide type maps and their real-analytic approximations 6 R a,k,q := {R j,q := φ j/q k i=0 i 2,..., i d j+ {0,,..., l } j }, 2. } aik+i,kq, j = 0,..., q. 2.2 We note φ α acts on the partitions 2.9, 2.0, 2. and 2.2 as a permutation for any choice of p when α = p/q. 2.3 Block-slide type maps and their real-analytic approximations We recall that a step function on the unit interval is a finite linear combination of indicator functions on intervals. We define for i, j d and i j, the following piecewise continuous map on the d dimensional torus, h : T d T d defined by hx,..., x d := x,..., x i, x i + sx j mod, x i+,..., x d, 2.3 where s is a step function on the unit interval. We refer to any finite composition of maps of the above kind as a block-slide type of map on the torus. Inspired by Ka73] the purpose of the section is to demonstrate that a block-slide type of map can be approximated extremely well by measure-preserving real-analytic diffeomorphisms outside a set of arbitrarily small measure. This can be achieved because step function can be approximated well by real-analytic functions whose complexification is entire. Lemma 2.4. Let k and N be two positive integer and β = β 0,..., β k 0, k. Consider a step function of the form s β,n : 0, R defined by s β,n x = kn i=0 β i χ i kn, i+ kn x. Here β i := β j where j := i mod k. Then, given any ε > 0 and δ > 0, there exists a periodic real-analytic function s β,n : R R satisfying the following properties:. Entirety: The complexification of s β,n extends holomorphically to C. 2. Proximity criterion: s β,n is L -close to s β,n. We can say more, sup s β,n x s β,n x < ε. 2.5 x 0,\F 3. Periodicity: s β,n is /N-periodic. More precisely, the complexification will satisfy, s β,n z + n/n = s β,n z z C and n Z. 2.6 Where F = kn i=0 I i 0, is a union of intervals centred around i kn, i =,..., kn and δ I 0 = 0, 2kN ] δ 2kN, and λi i = δ kn i. Proof. See Ba5, Lemma 4.7] and Ku5, Lemma 3.6].

7 2.4 Real-analytic AbC-method 7 Note that the condition 2.6 in particular implies sup s β,n z < ρ > 0. z:imz<ρ Indeed, for any ρ > 0, put Ω ρ = {z = x + iy : x 0, ], y < ρ} and note that entirety of s β,n combined with compactness of Ω ρ implies sup z Ω ρ s β,n z < C for some constant C. Periodicity of s α,n in the real variable and the observation Ω ρ = n Z Ω ρ + n implies that sup z Ωρ s β,n z < C. We have essentially concluded that s β,n C ω T. Finally we piece together everything and demonstrate how a block-slide type of map on the torus can be approximated by a measure-preserving real-analytic diffeomorphism. Proposition 2.7. Let h : T d T d be a block-slide type of map which commutes with φ /q for some natural number q. Then for any ε > 0 and δ > 0, there exists a real-analytic diffeomorphism h Diff ω T d, µ satisfying the following conditions:. Proximity property: There exists a set E T d such that µe < δ and sup x T d \E hx hx < ε. 2. Commuting property: h φ /q = φ /q h. In this case we say the the diffeomorphism h is ε, δ-close to the block-slide type map h. Proof. See BK, Proposition 2.22] 2.4 Real-analytic AbC-method Our objective now is to recall the approximation by conjugation scheme developed by Anosov and Katok in AK70]. Though we modify this scheme slightly to be more suitable for our purpose and fit the notations of our article we insist that the method presented here is almost identical to the original construction. The AbC-method is an inductive process where a sequence of diffeomorphisms T n Diff ω T d, µ is constructed inductively. The diffeomorphisms T n converge to some diffeomorphism T Diff ω ρ T d, µ. Additionally T n s are chosen carefully so that they satisfy some finite version of the desired property of T. We now give an explicit description. At the beginning of the construction we fix a constant ρ > 0 and note that all parameters chosen will depend on this ρ. Assume that the construction has been carried out up to the n th stage and we have the following information available to us:. We have sequences of natural numbers {p m } n m=, {q m } n m=, {k m } n m=, {l m} n m=, a sequence of functions {a m : {0,..., l m } {0,..., q m }} n m= and sequences of numbers {α m} n m=, {ε m } n m=. They satisfy the following conditions: p m = k m l m q m p m +, q m = k m l m q 2 m, α m = p m q m, ε m < 2 qm. 2.8

8 2.4 Real-analytic AbC-method 8 2. The sequence of diffeomorphisms {T m } n m= is constructed as conjugates of a periodic translation. More precisely, T m := H m φ αm+ H m, H m := h m H m, h m Diff ω T d, µ. 2.9 The diffeomorphisms {h m } n m= satisfy the following commuting condition: h m φ αm = φ αm h m For m =,..., n, the diffeomorphism T m preserves and permutes two sequences of partitions, namely, Hm R am+,l m+,q m+ and F qm+ := Hm T qm+. 4. For m =,..., n, µh m R i,qm i,qm < ε m for any R i,qm R am,l m,q m and i,qm T qm with the same i. 5. For m =,..., n, diamf qm+ E m < ε 3 m for some measurable set E m satisfying µe m > ε m. Note that this means F qm+ is a generating but not necessarily monotonic sequence of partitions. 6. For m =,..., n : d ρ T m, T m < ε m. Now we show how to do the construction at the n th stage of this induction process. We proceed in the following order:. The number l n has to be a large enough integer so that the following conditions are satisfied: l n > d n 2 DH n 0, l n divides l n We choose l n and our function a n : {0,..., l n } {0,..., }. This choice will depend on the construction we are doing and the specific properties we are targeting to prove. 3. Find a block-slide type map h an,l n, which commutes with φ αn, maps the partition G ln, to T l d n and it maps the partition T qn to the partition R an,l n,. 4. Use Proposition 2.7 to construct h n which is ε n, δ n close to h an,l n,. Put E n to be the error set in Proposition 2.7. In our constructions we will choose δ n = n, ε n = δ n 4 ln d qn By choosing k n sufficiently large we ensure that α n+ α n is small enough to guarantee d ρ T n, T n < ε m. This completes the construction at the n th stage. Note that this way convergence of T n to some T Diff ω ρ T d, µ is guaranteed. 3 This means that the diameter of the intersection of any atom of F qm and E m is less that ε m.

9 Periodic approximation in Ergodic Theory 9 3 Periodic approximation in Ergodic Theory In this section we provide a short introduction to the concept of periodic approximation in Ergodic Theory. A more comprehensive presentation can be found in Ka03]. Let X, µ be a Lebesgue space. A tower t of height ht = h is an ordered sequence of disjoint measurable sets t = {c,..., c h } of X having equal measure, which is denoted by m t. The sets c i are called the levels of the tower, especially c is the base. Associated with a tower there is a cyclic permutation σ sending c to c 2, c 2 to c 3,... and c h to c. Using the notion of a tower we can give the next definition: Definition 3.. A periodic process is a collection of disjoint towers covering the space X and the associated cyclic permutations together with an equivalence relation among these towers identifying their bases. There are two partial partitions associated with a periodic process: The partition ξ into all levels of all towers and the partition η consisting of the union of bases of towers in each equivalence class and their images under the iterates of σ, where when we go beyond the height of a certain tower in the class we drop this tower and continue until the highest tower in the equivalence class has been exhausted. Obviously, we have η ξ. A sequence ξ n, η n, σ n of periodic processes is called exhaustive if η n ε. Such an exhaustive sequence of periodic processes is consistent if for every measurable subset A X and each union of sets in η n approximating A i. e. µ A n A 0 as n the sequence σ n A n converges to a set B, i. e. µ σ n A n B 0 as n. Moreover, we will call a sequence of towers t n from the periodic process ξ n, η n, σ n substantial if there exists r > 0 such that h t n m t n > r for every n N. Definition 3.2. Let T : X, µ X, µ be a measure-preserving transformation. An exhaustive sequence of periodic processes ξ n, η n, σ n forms a periodic approximation of T if d ξ n, T, σ n = c ξ n µ T c σ n c 0 as n. Given a sequence g n of positive numbers we will say that the transformation T admits a periodic approximation with speed g n if for a certain subsequence n k k N there exists an exhaustive sequence of periodic processes ξ k, η k, σ k such that d ξ k, T, σ k < g n k. In order to define the type of the periodic approximation we need the notion of equivalence for sequences of periodic processes: Definition 3.3. Two sequences of periodic processes P n = ξ n, η n, σ n and P n = ξ n, η n, σ n are called equivalent if for every n N there is a bijective correspondence θ n between subsets S n and S n of the sets of towers of P n respectively P n such that For t S n : h θ n t = h t. t S n h t m t as n. t S n h t m t m θ n t 0 as n. If two towers from S n are equivalent in P n, then their images under θ n are equivalent in P n.

10 Spectral theory of dynamical systems 0 There are various types of approximation. We introduce the most important ones: Definition A cyclic process is a periodic process which consists of a single tower of height h. An approximation by an exhaustive sequence of cyclic processes is called a cyclic approximation. More specifically we will refer to a cyclic approximation with speed o h as a good cyclic approximation. 2. An approximation generated by periodic processes equivalent to periodic processes consisting of two substantial towers whose heights differ by one is said to be of type h, h +. Equivalently the heights of the two towers t and t 2 with base B resp. B 2 are equal to h and h + and for some r > 0 we have µ B > r h as well as µ B 2 > r. We will call the approximation of type h, h + with speed o h h+ good and with speed o h h+ excellent. 3. An approximation of type h, h + will be called a linked approximation of type h, h + if the two towers involved in the approximation are equivalent. This insures that the sequence of partitions η n generated by the union of the bases of the two towers and the iterates of this set converges to the decomposition into points. Remark 3.5. As noted in Ry06] a good linked approximation of type h, h + implies the convergence w r UT k + r Id U k h+ T in the weak operator topology for every k N and some r 0,, where U T is the Koopmanoperator of T see section 4.. From the different types of approximations various ergodic properties can be derived. example in KS67, Corollary 2..] the subsequent Lemma is proven. Lemma 3.6. Let T : X, µ X, µ be a measure-preserving transformation. If T admits a good cyclic approximation, then T is ergodic. In KS70] Katok and Stepin proved the genericity of automorphisms having a continuous spectrum in the set of measure-preserving homeomorphisms recall that a transformation has a continuous spectrum, i.e. the corresponding operator U T in the space L 2 M, µ has no eigenfunctions other than constants, if and only if it is weakly mixing. For this purpose, they deduced the following result: Lemma 3.7 KS70], Theorem 5... Let T : X, µ X, µ be a measure preserving transformation. If T is ergodic and admits a good approximation of type h, h +, then T has continuous spectrum. 4 Spectral theory of dynamical systems Besides the concept of periodic approximation we will need further mathematical tools. We refer to Na98] and Go99] for more details. For

11 4. Spectral types 4. Spectral types Let X, µ be a Lebesgue space and T : X, µ X, µ be an automorphism. Then we define the induced Koopman-operator U T : L 2 X, µ L 2 X, µ by U T f = f T. Since U T f, U T g = f T g T dµ = f g dµ = f, g for every f, g L 2 X; µ X X and U T = U T this is an unitary operator on the Hilbert space L 2 X, µ. Remark 4.. If two measure-preserving dynamical systems X, µ, T and X 2, µ 2, T 2 are metrically isomorphic, their isomorphism h : X X 2 induces an isomorphism of Hilbert spaces V h : L 2 X 2, µ 2 L 2 X, µ by V h f = f h. Then we have U T = V h U T2 V h and this relation is called unitary equivalence of operators. Hence, any invariant of unitary equivalence defines an invariant of isomorphisms. Such invariants are said to be spectral invariants or spectral properties. Moreover, we note that is always an eigenvalue of U T because of the constant functions. So when we discuss the spectral properties of U T we refer to its spectral properties that are restricted to the orthogonal complement of the constants. Hence, we consider the properties of U T in the space L 2 0 X, µ of all L 2 -functions with zero integral. One of the important spectral invariants are the so-called spectral measures: Let f L 2 0 X, µ and Z f := span {UT nf : n 0 X,µ Z}L2. Using Bochner s theorem one can prove the existence of a finite Borel measure σ f defined on the unit circle S in the complex plane satisfying UT n f, f = z n dσ f z for every n Z. S Then σ f is called the spectral measure of f with respect to U T. Moreover, by the Hahn-Hellinger Theorem, there is a sequence of functions f n L 2 0 X, µ, n N, for which L 2 0 X, µ = n N Z f n and σ f σ f2... These measures are unique in the sense that for any other family of functions g n L 2 0 X, µ, n N, for which L 2 0 X, µ = n N Z g n and σ g σ g2... we have σ fn σ gn for every n N. Definition 4.2. The spectral type of σ f is called the maximal spectral type σ of U T. According to this we say that U T has a continuous spectrum if σ f is a continuous measure and U T has a discrete spectrum if σ f is a discrete measure. 4.2 Spectral multiplicities Besides the maximal spectral type an important characterization of U T is the multiplicity function M UT : S N { }, which is σ f - almost everywhere defined by M UT z = χ Ai z, where A i = i= { z S : } dσ fi z > 0. dσ f Here dσ f i dσ f is the Radon-Nikodym derivative of σ fi with respect to σ f. Using this multiplicity function we establish the set M UT of essential spectral multiplicities, which

12 4.3 Disjointness of convolutions 2 is the essential range of M UT with respect to σ f. Then we define the maximal spectral multiplicity m UT as the essential supremum with respect to σ f of M UT. Definition 4.3. U T is said to have homogeneous spectrum of multiplicity m if M UT = {m}. In particular, U T has a simple spectrum if M UT = {}. In all other cases U T has a non-simple spectrum. In connection with the previous chapter 3 we state the following result KS67, Theorem 3..]: Lemma 4.4. Let T be an automorphism of a Lebesgue space. If T admits a cyclic approximation of speed θ h, where θ < 2, then the spectrum of U T is simple. For automorphisms with simple spectrum we have the subsequent theorem of Ryzhikov Ry99b, Theorem 2..]: Lemma 4.5. Let X, µ be a Lebesgue probability space and T : X, µ X, µ be an automorphism with simple spectrum. Suppose that the weak convergence U kn T w a U T + a Id holds for some a 0, and some strictly increasing sequence k n n N of natural numbers. Then the Cartesian square T T has a homogeneous spectrum of multiplicity Disjointness of convolutions In this section we study the convolutions of the maximal spectral type σ. Therefore, we state the definition of a convolution of measures: Definition 4.6. Let G be a topological group and µ, ν finite Borel measures on G. Then their convolution µ ν is defined by µ ν A = A x y dµx dνy for each measurable set A of G. If all the convolutions σ k = σ... σ for k N are pairwise mutually singular, one speaks about disjointness of convolutions. To guarantee this pairwise singularity of convolutions of the maximal spectral type of a measure-preserving transformation the following property is useful: Definition 4.7. An automorphism T of a Lebesgue space X, µ is said to be κ-weakly mixing, κ 0, ], if there exists a strictly increasing sequence k n n N of natural numbers such that the weak convergence U kn T w κ P c + κ Id holds, where P c is the projection on the subspace of constants. Remark 4.8. By St87, Proposition 3..] we can characterise this property in geometric language: A transformation T is κ-weakly mixing if and only if there is an increasing sequence k n n N of natural numbers such that for all measurable sets A and B lim µ A T kn B = κ µ A µ B + κ µ A B. n We recognize that 0-weak mixing corresponds to rigidity and -weak mixing to the usual notion of weak mixing.

13 Criterion for the proof of Theorem. 3 As announced this property has connections with certain properties of the maximal spectral type see St87, Theorem ]: Lemma 4.9. If the transformation T is κ-weakly mixing for some 0 < κ < and σ is the maximal spectral type for U T L 2 0 X,µ, then σ and all its convolutions σ k = σ... σ are pairwise mutually singular. 5 Criterion for the proof of Theorem. 5. Statement of the criterion As discussed in Ku6, section 9] we can reduce the proof of the Theorem to Proposition 5.. Proposition 5.. Let f Diff ω ρ T d, µ admit a good linked approximation of type h, h + and a good cyclic approximation. Then f has a maximal spectral type disjoint with its convolutions and homogeneous spectrum of multiplicity 2 for its ergodic Cartesian square f f Proof. Indeed, such a constructed diffeomorphism has the following properties: Since f allows a good cylic approximation, it has simple spectrum by Lemma 4.4. Furthermore, f admits a good linked approximation of type h, h + and so we can use Remark 3.5 to obtain the weak convergence U h+ f w r U f + r Id for some r 0,. Hence, we can apply Lemma 4.5 and conclude that f f has homogeneous spectrum of multiplicity 2. With the aid of Lemma 3.6 and the good cyclic approximation of f we have that f is ergodic. Then we can exploit the good approximation of type h, h + and Lemma 3.7 to see that f is even weakly mixing hence, f f is ergodic. Due to Remark 4.8 there exists a strictly increasing sequence k n n N of natural numbers such that the convergence U kn f w P c holds in the weak operator topology as n. Along this sequence we have using Remark 3.5 U kn h+ f w r P c + r Id for some r 0,. Thus, f is κ-weakly mixing with κ = r 0,. Then the maximal spectral type σ of f is disjoint with its convolutions by Lemma Sketch of the construction As announced we would like to sketch the construction of T n = Hn φ αn+ H n with α n+ = α n + k n l n q and its combinatorics satisfying the requirements of Proposition 5.. n 2 First of all, we define m n := qn+ 2 q. Additionally, we introduce two sets c n n 2 0,j, j =, 2, in section 7.. With the aid of these we define the bases c n 0,j = H n c n 0,j as well as levels Tn i c n 0,j = Hn φ i αn+ c n 0,j of the two towers of heights m n and m n + respectively. These towers will be used to prove that T = lim n T n admits a good linked approximation of type h, h +. In particular, c n 0,j is built as a union of sets due to different reasons which we will explain in the following. First of all, the union over i 2,..., i d is taken such that c n 0,j has almost full length in the

14 Explicit constructions 4 x 2,..., x d -coordinates and at the same time is positioned in domains, where we can approximate our block slide type of map with a real-analytic volume-preserving diffeomorphism very well. This will be very useful in the calculations of the speed of approximation, especially in the proof of Lemma 7.8. In order to see that T admits an approximation of type h, h + the so-called i -stripes, i. e. sets obtained by the union over i 2,..., i d, are very important. These stripes are depicted in the schematic visualisation of the tower bases in Figure 2. In this connection we note that the number m n is defined such that m n α n+ = rn + 2q 2 n is mapped into another -sector and is shifted by 2q 2 n with some r n N. Hence, under φ mn αn+ a i -stripe. In order to get recurrence in the base we need another stripe to be positioned there, which will be fulfilled by our choice of the term i rn and the union over i in the definition of c n 0,. Similarly, we proceed to define cn. So the sets cn will be defined in such a way that a great portion of φ mn αn+ is mapped back into c n 0, c n 0, 0,2 0,j resp. φ mn+ αn+ c n 0,2 resp. cn 0,2 for the prescribed height m n resp. m n + of the particular tower. Since both towers have to be substantial, the measure of each base element has to be about 2m n. Additionally, the tower levels have to be disjoint sets. We ensure this by taking a x -width q of n note that under φ αn+ we return to the same -section after steps and then we have a x -deviation of α n+ α n = qn. Moreover, the conjugation map h n will be defined such that each image h n c n 0,j is contained in a cube of edge length l n. Hereby, the diameter of c n 0,j is small due to condition 2.2. In Figure we sketch this action of the conjugation map h n. The proof that T admits a good cyclic approximation is considerably easier. Since Tn qn+ can use a subset with measure about of our tower base in the h, h + -approximation. 6 Explicit constructions = id we In this section, we present the construction of the conjugation map h n. We start by describing the combinatorial picture in subsection 6.. In order to find a real-analytic conjugation map in subsection 6.2, we recall the result from BK, section 5.] that a permutation Π of the partition S kq,l := {S kq,l i,j := i/kq, i + /kq j/l, j + /l, 0 i < kq, 0 j < l} 6. which commutes with φ /q is a block slide type of map. 6. Description of the required combinatorics We describe the underlying combinatorics of our construction. For this purpose, we recall our choice of the rotation number α n+ = α n + l n k n qn Additionally, we define the number m n = 2q 2 n = l n k n By equations 6.2 and 2.22 we have m n N. In fact, m n will be the height of the first tower and m n + the height of the second one. We put r n := m n p n mod.

15 6. Description of the required combinatorics 5 Figure : Illustration of the action of h l,p,q,r taking A to A2. It is drawn with p =, q = 3, l = 6, k = 2. Here T 2 is partitioned into rectangles of horizontal length /2l 2 q 2 and vertical length /l and is colored with a shade of a certain color. For example the one on the left of A is colored with a light shade of red, and it progressively gets darker as we move to the right. Note that in A, all the rectangles are colored by the same shade and color as we move vertically. As we move 6 blocks horizontally to the right, one for each f, 0 f < 6, the color changes from red to a shade of blue and the same pattern repeats. Under the action of h l,p,q,r, A gets mapped to A2 and, where the rectangles gets rearranged so the horizontal progression to the right becomes a vertical progression to top, and hence the shade changes likewise. Pattern repeats for blue. Note that the green and and the yellow rectangles corresponds to e q and hence the behaviour changes, in fact they do not get mapped to the rectangle corresponding to the same a, rather to the rectangle corresponding to a + er + p. However the pattern remains the same. Because of the larger size, we show this phenomenon with a break in the torus.

16 6. Description of the required combinatorics 6 Altogether we calculate m n α n+ = r n + 2qn 2, n n m n + α n+ = r n + p n + q 2q In the following, we consider the integers 0 a < q, 0 b < 2q, 0 c < l 2q we recall from equation 2.22 that l 2q N in case of our constructions, 0 e < 2q, 0 f < l and 0 t i < l for i =,..., d 2. Under the map h l,p,q,r see figure the set A a,b,c,t,...,t d 2,e,f,j := a q + b 2q 2 + c lq + t l 2 q + + t d 2 l d q + a q + j l, j + l b 2q 2 + c lq + t ] is mapped to a + e r + e q 2q 2 + c lq + t l 2 q + + t d 2 l d q + a + e r q in case of 0 e < q and to a + e r + p q a + e r + p q l 2 q + + t d 2 l d q + b 2l d q 2 + j 2l d q 2, + e 2q 2 + c lq + t l 2 q + + t d 2 l d q + b 2l d q 2 + j + 2l d q 2 + e 2q 2 + c lq + t l 2 q + + t d 2 l d q + b 2l d q 2 + e 2l d q 2 + f 2l d q 2, e 2l d q 2 + f + 2l d q 2 ] j 2l d q 2, + e 2q 2 + c lq + t l 2 q + + t d 2 l d q + b 2l d q 2 + j + 2l d q 2 in case of q e < 2q. Remark 6.6. We note several important properties of the map h l,p,q,r :. h l,p,q,r φ q = φ q hl,p,q,r. 2. In case of 0 e < q we have l = h l,p,q,r a + e r q a + e r q f=0 A a,b,c,t,...,t d 2,e,f,j + e 2q 2 + c lq + t l 2 q + + t d 2 l d q + b 2l d q 2 + ] f l, f + ] l ] j 2l d q 2, + e 2q 2 + c lq + t l 2 q + + t d 2 l d q + b 2l d q 2 + j + 2l d q 2 f l, f + ] l ] 0, ]

17 6.2 Construction of the conjugation maps 7 and in case of q e < 2q we have l = h l,p,q,r f=0 a + e r + p q a + e r + p q A a,b,c,t,...,t d 2,e,f,j + e 2q 2 + c lq + t l 2 q + + t d 2 l d q + b 2l d q 2 + j 2l d q 2, + e 2q 2 + c lq + t l 2 q + + t d 2 l d q + b 2l d q 2 + j + 2l d q 2 ] 0, ] 3. For all integers 0 a < q,, 0 c < l 2q, 0 e < 2q, 0 f < l and 0 t i < l for i =,..., d 2 we have in case of 0 b < q and 0 e < q φ mn αn+ h ln,p n,,r n Aa,b,c,t,...,t d 2,e,f,j = φ m n α n+ Aa+e rn,e,c,t,...,t d 2,b,j,f and in case of q b < 2q and q e < 2q φ mn+ αn+ =φ mn+ αn+ = A a+e+ rn,e+,c,t,...,t d 2,b,j,f = h ln,p n,,r n Aa,b,c,t,...,t d 2,e+,f,j hln,p n,,r n Aa,b,c,t,...,t d 2,e,f,j Aa+e rn+p n,e,c,t,...,t d 2,b,j,f =A a+e+ rn+p n,e+,c,t,...,t d 2,b,j,f =h ln,p n,,r n Aa,b,c,t,...,t d 2,e+,f,j. 6.2 Construction of the conjugation maps In BK, section 5.] we proved the subsequent statement on the approximation of arbitrary permutations. Proposition 6.7 BK], Theorem E. Let k, q, l N and Π be any permutation of kql elements. We can naturally consider Π to be a permutation of the partition S kq,l of the torus T 2. Assume that Π commutes with φ /q. Then Π is a block-slide type of map. We point out that the result is proven by going to a finer partition S kq,2l. This will play a role in the definition of good domains of our conjugation map in Definition 6.4. Since we know how to find real-analytic approximations of block-slide type of maps due to Proposition 2.7, this result will be very useful in order to find a conjugation map providing the combinatorics from the previous subsection. In fact, we find a real-analytic diffeomorphism h 2,n ε n, δ n -close to h ln,p n,,r n involving the x x 2 -coordinates for our choices of δ n = and ε n = δn. 4d 2ln d q2 n n

18 6.2 Construction of the conjugation maps 8 The higher dimensional case In order to deal with higher dimensions, we consider the following step functions: l ψ i,l,q : 0, R defined by ψ i,l,q x = l ψ 2 i,l,q : 0, R defined by ψ2 i,l,q x = ψ 3 i,l,q : 0, R defined by ψ3 j= l i,l,q x = l j l d+2 i q χ j l, j+ l d+2 i q j=0 j=0 ] x, j j l χ l j l d+2 i, j+ ]x, q l d+2 i q j l d+2 i q χ j l, j+ l ]x. 6.8 Then we define the following three types of block slide map: g i,l,q : Td T d defined by g i,l,q x,..., x d = x + ψ i,l,q x i, x 2,..., x d, g 2 i,l,q : Td T d defined by g 2 i,l,q x,..., x d = x,..., x i, x i + ψ 2 i,l,q x, x i+,..., x d, g 3 i,l,q : Td T d defined by g 3 i,l,q x,..., x d = x ψ 3 i,l,q x i, x 2,..., x d. Note that the composition g i,l,q : T d T d defined by g i,l,q = g 3 i,l,q g2 i,l,q g i,l,q 6.9 maps the partition G i,l,q to G i,l,q, where { i G j,l,q := l d+ j q, i + i 2 l d+ j q l, i 2 + i j... l l, i j + T d j : i = 0,,..., l d+ j q, l So the composition i 2,..., i j {0,,..., l } j }. 6.0 g l,q : T d T d defined by g l,q = g 2,l,q... g d,l,q 6. maps the partition G l,q to T ld q. In order to have conjugation maps that shift blocks of the same form, we modify the constructions slightly and define the block slide map g 2 i,l,q : Td T d for i = 3,..., d using the step function ψ 2 i,l,q : 0, R defined by ψ2 d q 2 2l i,l,q x = j=0 j 2l i 2 q j 2l i q l l χ j 2l d q 2, j+ ]x. 2l d q δ Let ε n = n and δ 2d l n q2 d n = n n. With the aid of Proposition 2.7 we construct the real-analytic diffeomorphism h j i,l n, ε n, δ n -approximating the maps g j i,l n, from above. Finally, we put for i = 3,..., d. h i,n = h 3 i,l n, h 2 i,l n, h i,l n,

19 Proof of the h, h + -property 9 Piecing everything together With the aid of the previous constructions we define our conjugation map h n = h 2,n h 3,n h d,n. 6.3 We point out that φ αn h n = h n φ αn. Definition 6.4. The good domain G n of h n and h n i + δ n 2l d nq 2 n where i t Z for t =,..., d., i ] + δ n i2 + δ n 2lnq d n 2, i ] 2 + δ n 2l n 2l n respectively consists of all sets of the form d ij + δ n, i ] j + δ n, l n l n Remark 6.5. On the good domain the deviation of the composition h n from the underlying block slide type of map is at most by our choice of ε n in the construction of each map h i,n. δ n 4l d n q2 n 7 Proof of the h, h + -property 7. Construction of the towers Let c n 0, be the set i rn + i i2 + δ n 2l n 2q 2 n + δ n 2lnq d n 2, i r n d, i 2 + δ n 2l n ] + i j=3 2q 2 n j=3 ij + δ n l n + δ n 2lnq d n 2 +, i j + δ n l n where the union is taken over i Z, 0 i <, i 2 Z, 0 i 2 < 2l n, and i j Z, 0 i j < l n, for j = 3,..., d see figure 2. With this we define c n 0, := H n c n 0,. By Remark 6.6 we have Altogether, we have h 2,n h n c n 0, c n 0, 0, 0, Analogously we define the set c n 0,2 by i r n + p n i i2 + δ n, i 2 + δ n 2l n 2l n 2q 2 n ] 2ln d l n + δ n 2lnq d n 2 d ij + δ n j=3 l n ] 0, ] l n d 0, ]. j=3 ] 0, ] 0, ]. l n l n, i r n + p n i, i j + δ n l n ] 2q 2 n ] ], + δ n 2lnq d n 2 + q ] n

20 7. Construction of the towers 20 Figure 2: Sketch on T 2 depicting the bases c n 0, = A0 A A2 A3 and cn 0,2 = B0 B B2 B3 of the two towers used in the approximation. This sketch is drawn with p n = 3, = 5, m n = 3. So r n = m n p n = 4 mod. Our sketch is not fine enough to depict the δ n /2l 2 nq 2 n offset and the thickness of /. Note that the scale at the base is at a separation of /2q 2 n.

21 7. Construction of the towers 2 where the union is taken over i Z, 0 i <, i 2 Z, 0 i 2 < 2l n, and i j Z, 0 i j < l n, for j = 3,..., d. With this we define c n 0, := H n c n 0,. Remark 7.. We note µ c n 0,i = µ c n 0,i With our number m n = qn+ 2q 2 n = ln d c n 2δn l n we define the following sets: i, := T n i c n i,2 := T n i c n 0, c n 0,2 d = 2δ n d qn 2. for i = 0,,..., m n, for i = 0,,..., m n. It should be noted that these sets are disjoint by construction. Hence, we are able to define these two towers: Definition 7.2. The first tower B n with base c n 0, and height m n consists of the sets c n i, for i = 0,,..., m n. The second tower B n 2 with base c n 0,2 and height m n + consists of the sets c n i,2 for i = 0,,..., m n. In the rest of this subsection we check that these towers satisfy the requirements of the definition of a h, h + -approximation. First of all, we notice that both towers are substantial because we get by Remark 7.: µ µ B n B n 2 = m n µ c n 0, = m n + µ = c n 0,2 2q 2 n = + 2q2 n 2δ n d 2δ n d 2. qn 2 = 2δ n d 2, Using the notation from section 3 we consider the partial partition { } ξ n := c n i,, cn k,2 : i = 0,,..., m n ; k = 0,,..., m n and σ n the associated permutation satisfying σ n c n i, = c n i+, for i = 0,,..., m n 2, σ n c n m n, = c n 0, as well as σ n c n k,2 = c n k+,2 for k = 0,,..., m n, σ n c n m n,2 = c n 0,2. We have to show: ξ n ε as n. This property is fulfilled by the next lemma. Lemma 7.3. We have ξ n ε as n. Proof. The lemma is proven if we show that the partial partitions ξ n := { } c ξ n : diam c < n satisfy µ c as n. For this purpose, we examine which tower elements satisfy the c ξn condition on their diameter. For this purpose, we note that = T n i = Hn h n φ i αn+ H n Hn = Hn h n φ i αn+ c n c n i,j c n 0,j c n 0,j 0,j

22 7.2 Speed of approximation 22 for j =, 2 and the set c n i,j is contained in one cuboid of x -length l n and length l n in the x 2,..., x d -coordinates, if φ i αn+ c n 0,j belongs to the good domain of h n as introduced in Definition 6.4 and the deviation i α n+ α n is less than 2q. By requirement 2.2 on the n 2 number l n the diameter of the image of such a cuboid under Hn is less than n. So we have to 2 check for how many iterates i the set φ i αn+ c n 0,j is contained in the good domain of h n. Note that the bases of both towers are positioned in this good domain. By the -equivariance of the map h n and i α n+ = i pn + i i we consider the displacement, which is at most 2q because n 2 of i m n qn+ 2q. Since the projection on the x n 2 -coordinate of the good domain from Definition ] 6.4 consists of all intervals of the form, we can estimate the number of allowed i +δ n 2l d n q2 n, i+ δn 2l d n q2 n iterates i {0,,..., m n } by 2δ n m n. We conclude that there are at least 2 2δ n m n partition elements c n i,j in ξ n and this corresponds to a measure µ 2 2δ n m n µ c n i,j = 2δ n d, c ξ n c which converges to as n. Actually we have a linked approximation of type h, h + : Once again using the notation of section 3 we consider the partial partition η n := { c n i, cn i,2, cn m n,2 } : 0 i m n and prove η n ε as n. Lemma 7.4. We have η n ε as n. Proof. To see this we examine the partition { η n := c i := c n i, cn i,2 : 0 i m n, diam c i < } n and show lim n µ c ηn c =. For this purpose, we note that c n i, cn i,2 is contained in one cuboid of x -length l n and length l n in the x 2,..., x d -coordinates, if φ i αn+ c n 0, cn 0,2 belongs to the good domain of h n and the deviation i α n+ α n is less than 2q. Hence, the n 2 calculations from the previous lemma apply. 7.2 Speed of approximation In this section we want we prove that T admits a good linked approximation of type h, h + : Proposition 7.5. The constructed diffeomorphism T Diff ω ρ T d, µ admits a good linked approximation of type h.h +.

23 7.2 Speed of approximation 23 Since T admits a linked approximation by Lemma 7.4, we have to compute the speed of the approximation in order to prove this statement. First of all, we observe µ T c σ n c µ T c T n c + µ T n c σ n c 7.6 c ξ n c ξ n recalling that σ n is the associated permutation satisfying σ n c n i, = c n i+, for i = 0,,..., m n 2, σ n c n m n, = c n 0, as well as σ n c n k,2 = c n k+,2 for k = 0,,..., m n, σ n c n m n,2 = c n 0,2. In the subsequent lemmas we examine each summand. Lemma 7.7. We have c ξ n µ T n c σ n c 3. Proof. We note σ n n c = f n n i, c for i = 0,..., m n 2 and σ n c n m i, n, T n n c for i = 0,..., m n, σ n c n m i,2 n,2 = c n 0,2. To estimate the expression c ξ n µ T n c σ n c we recall equation 6.4 and Remark 6.6, 3. Hereby, we observe that T n c n m n, and c n 0, = H n = Hn φ αn+ H n Hn φ mn αn+ H n c n 0, mapped back to c n mn 0, under Tn Analogously we recall equation 6.5 stating Hn c n 0, = c n 0, as well as σ n n c = i,2 = H n φ mn αn+ c n 0, differ in that part of c n 0, corresponding to the value i = 2 which is not. This discrepancy yields a measure difference of 2δ n d. m n + α n+ = r n + p n + 2qn 2 + and observe that T n c n m n,2 and c n 0,2 differ in the part of cn 0,2 corresponding to i = 2 which is not mapped back to c n of m n + α n+ α n from 2q 2 n This yields 0,2. Additionally, for each other allowed value of i there is the discrepancy with value. Thus, we get µ T mn+ n c n 0,2 c n 0,2 2. c ξ n µ T n c σ n c 3. In the next step we consider c ξ n µ T c T n c: Lemma 7.8. We have c ξ n µ T c T n c 40d δ n+.

24 7.2 Speed of approximation 24 Proof. First of all we examine c ξ n µ T n+ c T n c. We compute for every c ξ n using the notation c := H n c = φ i αn+ c n : 0,j µ T n+ c T n c = µ H n+ φαn+2 h n+ c H n φ αn+ c = µ Hn+ φαn+2 h n+ c Hn h n+ φαn+ h n+ c = µ φ αn+2 h n+ c φ αn+ h n+ c. Since we have no control on h n+ c for these areas of c that do not belong to the good domain of the map h n+, they will be part of the measure difference in our estimates. On the other hand, for the part of c belonging to the good domain of the map h n+ the difference is caused by the deviation α n+2 α n+ and by the approximation error between the block slide type of map and its real-analytic approximation. By Definition 6.4 the good domain of the map h n+ on a block of the form ] i i + i2 i,...,i d =,, i ] 2 + i3, i ] 3 + id, i ] d + 2l n+ 2l n+ l n+ l n+ l n+ l n+ 2l d n+ q2 n+ 2l d n+ q2 n+ is i + δ n+ 2ln+ d, i ] + δ n+ i2 + δ n+ q2 n+ 2ln+ d, i ] 2 + δ n+ q2 n+ 2l n+ 2l n+ d j=3 ij + δ n+, i ] j + δ n+. l n+ l n+ So its measure is 2δ n+ d 4 l 2d n+ q2 n+ 2d δ n+ 4 ln+ 2d. q2 n+ By our choice of ε n+ the approximation error is at most δ n+ 4l n+ q2 d n+ in each coordinate x 2,..., x d. It follows that the measure difference of φ αn+2 h n+ c and φ αn+ h n+ c on a set of the form i,...,i d is at most 2d δ n+ 2 4 ln+ 2d + α n+2 α n+ 2d δ n+ q2 n+ 4 ln+ 2d + d δ n+ q2 n+ 4ln+ 3d 2 3d δ n+ q4 n+ ln+ 2d. q2 n+ Moreover, we recall that c n 0,j consists of at most 4 q2 n ln+ 2d such blocks i,...,i d. Then we conclude µ T n+ c T n c 4 q 2 n l 2d n+ Each of the 2m n + elements c ξ n contributes and so we obtain c ξ n µ f n+2 c f n+ c 20d δ n+. Analogously estimating the other summands we observe c ξ n µ T c T n c 3d δ n+ ln+ 2d = q q2 n 2 2d δ n+ q n+ n+