dynamical Diophantine approximation
|
|
- Nicholas Gibson
- 5 years ago
- Views:
Transcription
1 Dioph. Appro. Dynamical Dioph. Appro. in dynamical Diophantine approximation WANG Bao-Wei Huazhong University of Science and Technology Joint with Zhang Guo-Hua Central China Normal University July 2017
2 Outline Dioph. Appro. Dynamical Dioph. Appro. 1 Diophantine approximation Introduction Mass transference principle 2 Dynamical Diophantine approximation Introduction
3 Dioph. Appro. Dynamical Dioph. Appro. Introduction Mass transference principle I. Diophantine approximation
4 Dioph. Appro. Dynamical Dioph. Appro. Introduction Mass transference principle Introduction
5 Dioph. Appro. Dynamical Dioph. Appro. Introduction Mass transference principle Classic Diophantine Approximation Main concerns : Distribution of rational numbers. Motivation : Density of rational numbers. Theorem Rational numbers are dense in R. Or equivalently, for any x R and ɛ > 0, x p/q < ɛ, for infinitely many rationals p/q. Remark : This is a qualitative result in nature with no quantitative information.
6 Dioph. Appro. Dynamical Dioph. Appro. Introduction Mass transference principle Quantitative results in classic Dioph. Appro. Theorem (Dirichlet s Thm) For any x R, x p/q < q 2, for infinitely many rationals p/q. Remark : q 2 can only improved to 1/ 5q 2 (Hurwitz s theorem). Main reason : bad points (eg = [1, 1,, ]).
7 Dioph. Appro. Dynamical Dioph. Appro. Introduction Mass transference principle Metric Diophantine approximation Main concerns. Instead of considering all points, consider the properties of generic points (in a sense of measure). Let ψ : N R +. The set of ψ-well approximable points : W (ψ) := { x [0, 1] : x p/q < ψ(q), i.o. (p, q) N 2, 0 p q }. How about the size of W (ψ) in the sense of a measure and fractal dimensions?
8 Dioph. Appro. Dynamical Dioph. Appro. Introduction Mass transference principle Size in measure Theorem (Khintchine s Thm) Let ψ : N R + be decreasing. Then L(W (ψ)) = 0 or 1 qψ(q) = or <. q 1 Multiplicative case : P. Gallagher {x R d : qx 1 qx d < ψ(q), i.o. q N} Linear forms : A. Groshev {x = (x 1,, x n ) R mn : qx 1 < ψ 1 (q),, qx n < ψ n (q), i.o. q N m }.
9 Dioph. Appro. Dynamical Dioph. Appro. Introduction Mass transference principle Size in Hausdorff measure Theorem (Jarnik-Bescotivch s Thm) Let ψ : N R + be decreasing and f a dimension function with f(r)/r being decease. Then H f (W (ψ)) = 0 or ( ) qf ψ(q) = or <. q 1 Linear forms : Bernik, Dickinson, Dodson, Levesley, Velani, Beresnevich, Bugeaud, et. al.
10 Dioph. Appro. Dynamical Dioph. Appro. Introduction Mass transference principle Mass transference principle
11 Dioph. Appro. Dynamical Dioph. Appro. Introduction Mass transference principle General results on dimensional theory : Mass transference principle Lebesgue measure statement = Hausdorff measure statement. Theorem (Beresnevich & Velani, Ann. Math. 06 ) Let x n R and ψ > 0 (n N). Let f be dimension function with f(r)/r decreasing. If { } x R : x B(x n, f(ψ(n))), i.o. n N is of full Lebesgue measure, then for any ball B, H f ( { x B : x B(xn, ψ(n)), i.o. n N }) = H f (B).
12 Direct consequence : Dioph. Appro. Dynamical Dioph. Appro. Introduction Mass transference principle Proof : (i). Khintchine s thm : Khintchine Thm = Jarnik Thm. ( ψ(q) ) qf = q n 1 { ( p = x [0, 1] : x B q, f( ψ(q) ) ), i.o. p/q} full Lebesgue. q (ii). Jarnik set : W (ψ) := { ( p x [0, 1] : x B q, ψ(q) ) }, i.o. p/q. q (iii) So, mass transference principle gives that H f (W (ψ)) =.
13 Dioph. Appro. Dynamical Dioph. Appro. Introduction Mass transference principle More words about Mass transference principle : as natural as it should be! Recall the definition of Hausdorff measure : { H f (E) = lim inf f( U i ) : E } U i, U i < δ, i 1. δ 0 i 1 i 1 Roughly speaking, the measure of B(x, r) in sense of H f the measure of B(x, f(r)) in sense of Lebesgue.
14 Dioph. Appro. Dynamical Dioph. Appro. Introduction Mass transference principle MTP : Mass transference principle. Roughly speaking : If L(lim sup A f n) full, then H f (lim sup A n ) full. Powerfulness : Most known results = MTP, since Lebesgue measure statements are already known.
15 II. Dynamical Diophantine approximation
16 Introduction
17 Dynamical Diophantine approximation Main concerns : Distribution of the orbits. Motivation : Density of orbits (in some sense). Let (X, d) be a separate complete metric space, T : X X, µ : a T -invariant finite Borel measure.
18 Density of orbits Theorem (Poincaré Recurrence Thm) For almost all x supp(µ) and ɛ > 0, T n x B(x, ɛ), i.o.. Theorem (Corollary of ergodic Thm) Assume that T is ergodic w. r. t. µ, for any y 0 supp µ and ɛ > 0, for µ a.s. x X, T n x B(y 0, ɛ), i.o.. for a µ-typical point x 0, for any y supp µ, lim inf n d(t n x 0, y) = 0. Qualitative properties Quantitative properties?
19 Quantitative studies How about the size of the set {x X : T n x B n, i.o. n N} where B n is decreasing in measure. We call the study on this dynamically defined limsup set as dynamical Diophantine approximation.
20 Dynamical Diophantine approximation What are sizes of the following dynamically defined limsup sets in the sense of measure (if µ is a measure on X)? Hausdorff dimension? Covering problem : C(T, x 0, ϕ) := { y : d(t n x 0, y) < ϕ(n), i.o. n N } Shrinking target problem : S(T, y 0, ϕ) := { x : d(t n x, y 0 ) < ϕ(n), i.o. n N } Quantitative recurrence : R(T, ϕ) := { x : d(t n x, x) < ϕ(n), i.o. n N }
21 Size in measure Covering problems Fan, Schmeling, Troubetzkoy, 13. T x = 2x(mod 1). µ φ, ν ψ : Gibbs measure. κ > ( φdν ψ ) 1, T n x t < n κ, i.o. n N, µ φ -a.e. x, ν ψ - a.e. t. L. Liao & S. Seuret, 13. General finite Markov maps. D. Kim & M. Fuchs, 15. Irrational rotation. a.e. x B(nα, ϕ(n)) i.o. iff n 1 ( qk+1 1 n=q k { min ϕ(n), q k α } ) =.
22 Shrinking target problems Chernov & Kleibock, 98. Under the condition that n,m N µ(t m A T n A n ) µ(a n ) µ(a m ) C n N = T n x A n infinitely often almost surely. Fayad, 05. µ(a n ). lim inf n n1/α d(t n x, y 0 ) <, µ-a.s. for any α > d µ (y 0 ).
23 Quantitative recurrence Boshernitzan, 93. If H α (X) is finite or σ-finte, then lim inf n n1/α d(t n x, x) <, µ-a.s. Barreira & Saussol, 01. lim inf n n1/α d(t n x, x) <, µ-a.s. for any α > d µ (x).
24 Size in dimension Covering problems Given an orbit {T n x 0 } n 1, how many points can be well approximated? { y : d(t n x 0, y) < ϕ(n), i.o. n N } Bugeaud 03, Schmeling & Troubetzkoy 03, Fan & Wu, 05, Liao & Rams 13, Kim-Rams-W, 16 : Irrational rotation : {y : nα y < ϕ(n), i.o. n N} Fan, Schmeling & Troubetzkoy 13, Liao & Seuret 13 : Expanding Markov systems. Järvenpää 2, Li, et al. 16 : random covering. W-Wu-Xu, 16. Triadic Cantor set.
25 Shrinking target problems : Given a point y 0, how many points x whose orbit can approximate y 0 with given speed? { } x X : T n x y < ϕ(n, x), i.o. n N. Hill & Velani 95, 97. T an expanding rational map on Riemann sphere and J its Julia sets. dim H { x J : T n x y 0 e Snf(x), i. o. } is given by the solution of the pressure function ( ) P T, s(log T + f) = 0.
26 Hill & Velani 99. Linear operator action on torus. Uranbski, 02. Infinite iterated function systems Levesley 98, Bugeaud, 04. Irrational rotation Stratmann & Uranbski, 02. Parabolic rational maps Fernàndez, Meliàn & Pestana 07. Finite expanding Markov systems Li-W-Wu-Xu, 13. Continued fraction systems Reeve, 11. General conformal iterated function systems. Shen-W, 13. beta expansions (Haudorff dimension). Coons-Hussain-W, 16. beta expansions (Hausdorff measure).
27 Quantitative recurrence How many points can return back to the initial one with given speed? { } x J : T n x x < e Snf(x), i. o.. Tan-W, 11. β-dynamical system : T x = βx(mod 1) dim H { x J : T n x x < e Snf(x), i. o. } is given by the solution of the pressure function P(T, s(f + log β)) = 0. Seuret-W, 15. Conformal iterated function systems. The dimension is { } inf s 0 : P(T, s(f + log T )) 0.
28
29 In the most known expanding systems, the dimension of the following set { } W := x X : T n (x) x or (y o ) < e Snf(x), i.o. n N is always given by the solution of a pressure function : P( t(log T + f)) = 0. It is high likely that there should be a general principle for the dimension of W. So we make the following conjecture : Conjecture : In expanding systems with some regular conditions, there should be dim H W = inf{t 0 : P( t(f + log T )) 0}.
30 Reason 1 In fact, the set W concerns the distributions of the periodic points or the inverse images of y o. So, we let χ n = {z n X : T n z n = z n } or χ n = {z n X : T n y = y o }. Then W is closely related to the following set { } W (f) : = x : x B(z n, e Sn(f+g)(zn) ), z n χ n, i.o. n N = N=1 n=n z n χ n B(z n, e Sn(f+log T While, in ergodic system, almost surely, one has X = N=1 n=n z n χ n B(z n, e Sn log T )(z n) ). (z n) ).
31 So, from X to W (f), it seems one shrinks balls to small balls in a dynamical way. B(z n, e Sn log T (z n) ) B(z n, e Sn(f+log T )(z n) )
32 Reason 2 Recall that the mass transference principle says that : If B(x n, f(r n )) is full in Lebesgue N=1 n=n then the shrunk limsup set B(x n, r n ) is full in Hausdorff. N=1 n=n full Lebesgue measure statement = full Hausdorff measure statement.
33 Reason 3 In many cases, the dimension of the phase space X can be given by the solution : P( t log T ) = 0. In many cases, the dimension of the set W (f) is given by the solution : P( t(f + log T )) = 0.
34 A general framework (X, T ) : be a topological dynamical system, X a compact metric space, T : X X continuous. Hypothesis : g C(X) with g 0 s.t. the following two are satisfied : (A). Dynamical Ubiquity. c 1 > 1 > c 2 > 0 such that for any y Y and n 1 (A1) Covering property. { B (z, c 1 e Sng(z)) } : z χ n covers X. (A2) Separation property. The balls are disjoint {B(z, c 2 e Sng(z) ) : z χ n }.
35 (B). Weak conformality. For any λ > 1, there exists 0 < b λ < 1 such that for any 0 < b b λ, (B1). Upper semi-conformality. ( ) T B(z, e g(z) b) B(T z, λb); (B2). Lower semi-conformality. B(T z, λ 1 b) T ( ) B(z, e g(z) b). Remark : More or less, g = log T.
36 Theorem (W-Zhang, 2016) Let (X, T ) be an exact topological dynamical system. Assume g satisfying the hypothesis (A-B). Then for any positive continuous function f, one has dim H X = inf{s : P( sg) 0}, dim H W (f) = inf{s : P( s(f + g)) 0} where P is the pressure function defined by 1 P(ϕ) := lim lim sup ɛ 0 n n log inf F :(n,ɛ)-spanning z F e Snϕ(z)
37 Applications 1. T x = 2x (mod 1). View it as a system on circle. Then clearly, it is an exact C 1 expanding topological dynamical system. χ n (y) = { ɛ ɛ n + y } 2 n : ɛ k {0, 1}, 1 k n (A). χ n is sufficiently well distributed and separated. χ n = 2 n, gap = 2 n = e Sng(x). (B). Conformality : λ = 1, b = 1/2. For any r < 1, T B(z, rb) = B(T z, 2rb).
38 Applications 2. T x = βx (mod 1) for β > 1. Expanding rational map acting on its Julia set. Conformal finitely expanding dynamical systems. Dynamical Diophantine approximation on triadic Cantor set. { } x C : T n x y < e Snf(x), i.o. n N.
39 Proof : I. Observations Under the hypothesis (A-B), one can observe that If x B(z, e Sng(z) ), then d(t i x, T i z) < c, for 1 i n(1 o(1)). So, T n y is a (n(1 o(1)), c)-spanning set. For any y X, T n y is (n(1 o(1)), c)-separated. Let N be the smallest integer s.t. T N B(z, e Sng(z) ) = X, then N = n(1 + o(1)), independent of y. So, one has for any y X, 1 P(ϕ) = lim n n log z T n y e Snϕ(z).
40 Proof : II. Cantor subset construction First level. Shrink the basic balls {B(z, c 2 e Sn 1 g(z) ) : z T n1 y 0 } to the desired ones {B(z, c 2 e Sn 1 (f+g)(z) ) : z T n1 y 0 }. Second level. For each B 1 = B(z, c 2 e Sn 1 (f+g)(z) ) in the first level, we will construct a local sub-level.
41 Assume that B(z, e Sn 1 (f+g)(z) ) B(z, e S N 1 g(z) ). Then T N1(1+o(1)) B(z, 1/2e Sn 1 (f+g)(z) ) = X. Lemma For each z 2 T n2 y 0, there exist z 2 T N1(1+o(1)) z, such that z 2 B(z, 1/2e Sn 1 (f+g)(z) ). Furthermore, by asking n 2 1, we can also have B(z 2, e S N 1 (1+o(1))+n 2 g(z) ) B(z, e Sn 1 (f+g)(z) ). Then shrink it to the desired ball consisting the second local level : {B(z 2, e S N 1 (1+o(1))+n 2 (f+g)(z) ) : z 2 T n2 y 0 }.
42 Mass distribution (1). Let B 1 = B(z 1, e Sn 1 (f+g)(z1) ) µ(b 1 ) = e tsn 1 (f+g)(z 1 ) z 1 T n 1 y o e tsn 1 (f+g)(z 1 ). (2). Let B 2 = B(z 2, e S N 1 (1+o(1))+n 2 (f+g)(z 2) ) be a ball in the second level and contained in B 1, where z 2 T N1(1+o(1)) z 2 for some z 2 T n2 y 0. µ(b 2 ) = µ(b 1 ) e tsn 2 (f+g)(z 2 ) z 2 T n 2 y o e tsn 2 (f+g)(z 2 ).
43 Thanks for your attention!
The dimensional theory of continued fractions
Jun Wu Huazhong University of Science and Technology Advances on Fractals and Related Topics, Hong Kong, Dec. 10-14, 2012 Continued fraction : x [0, 1), 1 x = 1 a 1 (x) + 1 a 2 (x) + a 3 (x) + = [a 1 (x),
More informationDiophantine approximation of beta expansion in parameter space
Diophantine approximation of beta expansion in parameter space Jun Wu Huazhong University of Science and Technology Advances on Fractals and Related Fields, France 19-25, September 2015 Outline 1 Background
More informationDirichlet uniformly well-approximated numbers
Dirichlet uniformly well-approximated numbers Lingmin LIAO (joint work with Dong Han Kim) Université Paris-Est Créteil (University Paris 12) Approximation and numeration Université Paris Diderot-Paris
More informationDirichlet uniformly well-approximated numbers
Dirichlet uniformly well-approximated numbers Lingmin LIAO (joint work with Dong Han Kim) Université Paris-Est Créteil (University Paris 12) Hyperbolicity and Dimension CIRM, Luminy December 3rd 2013 Lingmin
More informationUniform Diophantine approximation related to b-ary and β-expansions
Uniform Diophantine approximation related to b-ary and β-expansions Lingmin LIAO (joint work with Yann Bugeaud) Université Paris-Est Créteil (University Paris 12) Universidade Federal de Bahia April 8th
More informationQuantitative recurrence for beta expansion. Wang BaoWei
Introduction Further study Quantitative recurrence for beta expansion Huazhong University of Science and Technology July 8 2010 Introduction Further study Contents 1 Introduction Background Beta expansion
More informationHausdorff dimension of weighted singular vectors in R 2
Hausdorff dimension of weighted singular vectors in R 2 Lingmin LIAO (joint with Ronggang Shi, Omri N. Solan, and Nattalie Tamam) Université Paris-Est NCTS Workshop on Dynamical Systems August 15th 2016
More informationDiophantine approximation of fractional parts of powers of real numbers
Diophantine approximation of fractional parts of powers of real numbers Lingmin LIAO (joint work with Yann Bugeaud, and Micha l Rams) Université Paris-Est Créteil Huazhong University of Science and Technology,
More informationOn the classification of irrational numbers
arxiv:506.0044v [math.nt] 5 Nov 07 On the classification of irrational numbers José de Jesús Hernández Serda May 05 Abstract In this note we make a comparison between the arithmetic properties of irrational
More informationFURTHER NUMBER THEORY
FURTHER NUMBER THEORY SANJU VELANI. Dirichlet s Theorem and Continued Fractions Recall a fundamental theorem in the theory of Diophantine approximation. Theorem. (Dirichlet 842). For any real number x
More informationDiophantine approximation of fractional parts of powers of real numbers
Diophantine approximation of fractional parts of powers of real numbers Lingmin LIAO (joint work with Yann Bugeaud, and Micha l Rams) Université Paris-Est Numeration 2015, Nancy May 20th 2015 Lingmin LIAO,
More informationUniversity of York. Extremality and dynamically defined measures. David Simmons. Diophantine preliminaries. First results. Main results.
University of York 1 2 3 4 Quasi-decaying References T. Das, L. Fishman, D. S., M. Urbański,, I: properties of quasi-decaying, http://arxiv.org/abs/1504.04778, preprint 2015.,, II: Measures from conformal
More informationDYNAMICAL SYSTEMS PROBLEMS. asgor/ (1) Which of the following maps are topologically transitive (minimal,
DYNAMICAL SYSTEMS PROBLEMS http://www.math.uci.edu/ asgor/ (1) Which of the following maps are topologically transitive (minimal, topologically mixing)? identity map on a circle; irrational rotation of
More informationMETRICAL RESULTS ON THE DISTRIBUTION OF FRACTIONAL PARTS OF POWERS OF REAL NUMBERS
METRICAL RESULTS ON THE DISTRIBUTION OF FRACTIONAL PARTS OF POWERS OF REAL NUMBERS YANN BUGEAUD, LINGMIN LIAO, AND MICHA L RAMS Abstract Denote by { } the fractional part We establish several new metrical
More informationMASS TRANSFERENCE PRINCIPLE: FROM BALLS TO ARBITRARY SHAPES. 1. Introduction. limsupa i = A i.
MASS TRANSFERENCE PRINCIPLE: FROM BALLS TO ARBITRARY SHAPES HENNA KOIVUSALO AND MICHA L RAMS arxiv:1812.08557v1 [math.ca] 20 Dec 2018 Abstract. The mass transference principle, proved by Beresnevich and
More informationRudiments of Ergodic Theory
Rudiments of Ergodic Theory Zefeng Chen September 24, 203 Abstract In this note we intend to present basic ergodic theory. We begin with the notion of a measure preserving transformation. We then define
More informationuniform distribution theory
Uniform Distribution Theory 3 (2008), no.2, 9 20 uniform distribution theory SETS OF EXACT APPROXIMATION ORDER BY RATIONAL NUMBERS II Yann Bugeaud ABSTRACT. For a non-increasing function Ψ, let Exact(Ψ)
More informationfunctions as above. There is a unique non-empty compact set, i=1
1 Iterated function systems Many of the well known examples of fractals, including the middle third Cantor sets, the Siepiński gasket and certain Julia sets, can be defined as attractors of iterated function
More informationUNIVERSITY OF BRISTOL. Mock exam paper for examination for the Degrees of B.Sc. and M.Sci. (Level 3)
UNIVERSITY OF BRISTOL Mock exam paper for examination for the Degrees of B.Sc. and M.Sci. (Level 3) DYNAMICAL SYSTEMS and ERGODIC THEORY MATH 36206 (Paper Code MATH-36206) 2 hours and 30 minutes This paper
More informationMETRIC DIOPHANTINE APPROXIMATION ON THE MIDDLE-THIRD CANTOR SET
METRIC DIOPHANTINE APPROXIMATION ON THE MIDDLE-THIRD CANTOR SET YANN BUGEAUD AND ARNAUD DURAND Abstract. Let µ 2 be a real number and let M(µ) denote the set of real numbers approximable at order at least
More informationThree hours THE UNIVERSITY OF MANCHESTER. 31st May :00 17:00
Three hours MATH41112 THE UNIVERSITY OF MANCHESTER ERGODIC THEORY 31st May 2016 14:00 17:00 Answer FOUR of the FIVE questions. If more than four questions are attempted, then credit will be given for the
More informationWaiting times, recurrence times, ergodicity and quasiperiodic dynamics
Waiting times, recurrence times, ergodicity and quasiperiodic dynamics Dong Han Kim Department of Mathematics, The University of Suwon, Korea Scuola Normale Superiore, 22 Jan. 2009 Outline Dynamical Systems
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationDynamical Borel-Cantelli lemmas for Gibbs measures
Dynamical Borel-Cantelli lemmas for Gibbs measures N. Chernov and D. Kleinbock To appear in Israel J. Math. Abstract Let T : X X be a deterministic dynamical system preserving a probability measure µ.
More informationKolmogorov Complexity and Diophantine Approximation
Kolmogorov Complexity and Diophantine Approximation Jan Reimann Institut für Informatik Universität Heidelberg Kolmogorov Complexity and Diophantine Approximation p. 1/24 Algorithmic Information Theory
More informationIntroduction to Hausdorff Measure and Dimension
Introduction to Hausdorff Measure and Dimension Dynamics Learning Seminar, Liverpool) Poj Lertchoosakul 28 September 2012 1 Definition of Hausdorff Measure and Dimension Let X, d) be a metric space, let
More information18.175: Lecture 2 Extension theorems, random variables, distributions
18.175: Lecture 2 Extension theorems, random variables, distributions Scott Sheffield MIT Outline Extension theorems Characterizing measures on R d Random variables Outline Extension theorems Characterizing
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More information25.1 Ergodicity and Metric Transitivity
Chapter 25 Ergodicity This lecture explains what it means for a process to be ergodic or metrically transitive, gives a few characterizes of these properties (especially for AMS processes), and deduces
More informationVARIATIONAL PRINCIPLE FOR THE ENTROPY
VARIATIONAL PRINCIPLE FOR THE ENTROPY LUCIAN RADU. Metric entropy Let (X, B, µ a measure space and I a countable family of indices. Definition. We say that ξ = {C i : i I} B is a measurable partition if:
More informationProof: The coding of T (x) is the left shift of the coding of x. φ(t x) n = L if T n+1 (x) L
Lecture 24: Defn: Topological conjugacy: Given Z + d (resp, Zd ), actions T, S a topological conjugacy from T to S is a homeomorphism φ : M N s.t. φ T = S φ i.e., φ T n = S n φ for all n Z + d (resp, Zd
More informationErgodic Theory and Topological Groups
Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume
More informationLecture Notes Introduction to Ergodic Theory
Lecture Notes Introduction to Ergodic Theory Tiago Pereira Department of Mathematics Imperial College London Our course consists of five introductory lectures on probabilistic aspects of dynamical systems,
More informationDYADIC DIOPHANTINE APPROXIMATION AND KATOK S HORSESHOE APPROXIMATION
DYADIC DIOPHANTINE APPROXIMATION AND KATOK S HORSESHOE APPROXIMATION TOMAS PERSSON AND JÖRG SCHMELING Preprints in Mathematical Sciences 2006:3 Centre for Mathematical Sciences Mathematics CENTRUM SCIENTIARUM
More informationA Short Introduction to Ergodic Theory of Numbers. Karma Dajani
A Short Introduction to Ergodic Theory of Numbers Karma Dajani June 3, 203 2 Contents Motivation and Examples 5 What is Ergodic Theory? 5 2 Number Theoretic Examples 6 2 Measure Preserving, Ergodicity
More informationarxiv: v2 [math.ds] 14 Apr 2011
arxiv:1101.0833v2 [math.ds] 14 Apr 2011 Dynamical systems, simulation, abstract computation. Stefano Galatolo Mathieu Hoyrup Cristóbal Rojas November 2, 2018 Abstract We survey an area of recent development,
More informationReport on some recent advances in Diophantine approximation
Report on some recent advances in Diophantine approximation Michel Waldschmidt Université Pierre et Marie Curie Paris 6, UMR 7586 IMJ Institut de Mathématiques de Jussieu, 4, Place Jussieu, Paris, F 75005
More informationMetric Diophantine Approximation for Formal Laurent Series over Finite Fields
Metric Diophantine Approximation for Formal Laurent Series over Finite Fields Michael Fuchs Department of Applied Mathematics National Chiao Tung University Hsinchu, Taiwan Fq9, July 16th, 2009 Michael
More informationA non-uniform Bowen s equation and connections to multifractal analysis
A non-uniform Bowen s equation and connections to multifractal analysis Vaughn Climenhaga Penn State November 1, 2009 1 Introduction and classical results Hausdorff dimension via local dimensional characteristics
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE
ASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE MARTIN WIDMER ABSTRACT Let α and β be irrational real numbers and 0 < ε < 1/30 We prove a precise estimate for the number of positive integers
More information4. Ergodicity and mixing
4. Ergodicity and mixing 4. Introduction In the previous lecture we defined what is meant by an invariant measure. In this lecture, we define what is meant by an ergodic measure. The primary motivation
More informationErgodic Theorems. Samy Tindel. Purdue University. Probability Theory 2 - MA 539. Taken from Probability: Theory and examples by R.
Ergodic Theorems Samy Tindel Purdue University Probability Theory 2 - MA 539 Taken from Probability: Theory and examples by R. Durrett Samy T. Ergodic theorems Probability Theory 1 / 92 Outline 1 Definitions
More informationInvariant measures for iterated function systems
ANNALES POLONICI MATHEMATICI LXXV.1(2000) Invariant measures for iterated function systems by Tomasz Szarek (Katowice and Rzeszów) Abstract. A new criterion for the existence of an invariant distribution
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationAn introduction to Geometric Measure Theory Part 2: Hausdorff measure
An introduction to Geometric Measure Theory Part 2: Hausdorff measure Toby O Neil, 10 October 2016 TCON (Open University) An introduction to GMT, part 2 10 October 2016 1 / 40 Last week... Discussed several
More informationS-adic sequences A bridge between dynamics, arithmetic, and geometry
S-adic sequences A bridge between dynamics, arithmetic, and geometry J. M. Thuswaldner (joint work with P. Arnoux, V. Berthé, M. Minervino, and W. Steiner) Marseille, November 2017 REVIEW OF PART 1 Sturmian
More information13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map
3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given
More informationBADLY APPROXIMABLE SYSTEMS OF AFFINE FORMS, FRACTALS, AND SCHMIDT GAMES
BADLY APPROXIMABLE SYSTEMS OF AFFINE FORMS, FRACTALS, AND SCHMIDT GAMES MANFRED EINSIEDLER AND JIMMY TSENG Abstract. A badly approximable system of affine forms is determined by a matrix and a vector.
More informationDisintegration into conditional measures: Rokhlin s theorem
Disintegration into conditional measures: Rokhlin s theorem Let Z be a compact metric space, µ be a Borel probability measure on Z, and P be a partition of Z into measurable subsets. Let π : Z P be the
More informationNotes on Diophantine approximation and aperiodic order
Notes on Diophantine approximation and aperiodic order Alan Haynes June 24, 2016 1 Contents Contents 2 0.1 Summary of notation...................... 4 1 Diophantine approximation 7 1.1 One dimensional
More informationQuasiconformal Folding (or dessins d adolescents) Christopher J. Bishop Stony Brook
Quasiconformal Folding (or dessins d adolescents) Christopher J. Bishop Stony Brook Workshop on Dynamics of Groups and Rational Maps IPAM, UCLA April 8-12, 2013 lecture slides available at www.math.sunysb.edu/~bishop/lectures
More informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
More informationn=1 f(t n x)µ(n) = o(m), where µ is the Möbius function. We do this by showing that enough of the powers of T are pairwise disjoint.
Möbius disjointness for interval exchange transformations on three intervals (with A. Eskin) We show that 3-IETs that satisfy a mild diophantine condition satisfy Sarnak s Möbius disjointness conjecture.
More informationHAUSDORFF DIMENSION OF MEASURES VIA POINCARÉ RECURRENCE
HAUSDORFF DIMENSION OF MEASURES VIA POINCARÉ RECURRENCE L. BARREIRA AND B. SAUSSOL Abstract. We study the quantitative behavior of Poincaré recurrence. In particular, for an equilibrium measure on a locally
More informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationCones of measures. Tatiana Toro. University of Washington. Quantitative and Computational Aspects of Metric Geometry
Cones of measures Tatiana Toro University of Washington Quantitative and Computational Aspects of Metric Geometry Based on joint work with C. Kenig and D. Preiss Tatiana Toro (University of Washington)
More informationOn Khintchine exponents and Lyapunov exponents of continued fractions
On Khintchine exponents and Lyapunov exponents of continued fractions Ai-Hua Fan, Ling-Min Liao, Bao-Wei Wang, Jun Wu To cite this version: Ai-Hua Fan, Ling-Min Liao, Bao-Wei Wang, Jun Wu. On Khintchine
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationMoreover, µ is monotone, that is for any A B which are both elements of A we have
FRACTALS Contents. Algebras, sigma algebras, and measures 2.. Carathéodory s outer measures 5.2. Completeness 6.3. Homework: Measure theory basics 7 2. Completion of a measure, creating a measure from
More informationBernoulli decompositions and applications
Bernoulli decompositions and applications Han Yu University of St Andrews A day in October Outline Equidistributed sequences Bernoulli systems Sinai s factor theorem A reminder Let {x n } n 1 be a sequence
More informationProblem Set 5. 2 n k. Then a nk (x) = 1+( 1)k
Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the
More informationPolygonal Numbers, Primes and Ternary Quadratic Forms
Polygonal Numbers, Primes and Ternary Quadratic Forms Zhi-Wei Sun Nanjing University Nanjing 210093, P. R. China zwsun@nju.edu.cn http://math.nju.edu.cn/ zwsun August 26, 2009 Modern number theory has
More informationMAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.
MAS3706 Topology Revision Lectures, May 208 Z.A.Lykova It is essential that you read and try to understand the lecture notes from the beginning to the end. Many questions from the exam paper will be similar
More informationREAL ANALYTICITY OF HAUSDORFF DIMENSION OF DISCONNECTED JULIA SETS OF CUBIC PARABOLIC POLYNOMIALS. Hasina Akter
REAL ANALYTICITY OF HAUSDORFF DIMENSION OF DISCONNECTED JULIA SETS OF CUBIC PARABOLIC POLYNOMIALS Hasina Akter Dissertation Prepared for the Degree of DOCTOR OF PHILOSOPHY UNIVERSITY OF NORTH TEXAS August
More informationOn fuzzy entropy and topological entropy of fuzzy extensions of dynamical systems
On fuzzy entropy and topological entropy of fuzzy extensions of dynamical systems Jose Cánovas, Jiří Kupka* *) Institute for Research and Applications of Fuzzy Modeling University of Ostrava Ostrava, Czech
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationIntroduction to the theory of currents. Tien-Cuong Dinh and Nessim Sibony
Introduction to the theory of currents Tien-Cuong Dinh and Nessim Sibony September 21, 2005 2 3 This course is an introduction to the theory of currents. We give here the main notions with examples, exercises
More information3 hours UNIVERSITY OF MANCHESTER. 22nd May and. Electronic calculators may be used, provided that they cannot store text.
3 hours MATH40512 UNIVERSITY OF MANCHESTER DYNAMICAL SYSTEMS AND ERGODIC THEORY 22nd May 2007 9.45 12.45 Answer ALL four questions in SECTION A (40 marks in total) and THREE of the four questions in SECTION
More informationLecture 4. Entropy and Markov Chains
preliminary version : Not for diffusion Lecture 4. Entropy and Markov Chains The most important numerical invariant related to the orbit growth in topological dynamical systems is topological entropy.
More informationSolutions: Problem Set 4 Math 201B, Winter 2007
Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < x
More informationarxiv: v1 [math.ds] 31 Jul 2018
arxiv:1807.11801v1 [math.ds] 31 Jul 2018 On the interior of projections of planar self-similar sets YUKI TAKAHASHI Abstract. We consider projections of planar self-similar sets, and show that one can create
More informationUsing Spectral Analysis in the Study of Sarnak s Conjecture
Using Spectral Analysis in the Study of Sarnak s Conjecture Thierry de la Rue based on joint works with E.H. El Abdalaoui (Rouen) and Mariusz Lemańczyk (Toruń) Laboratoire de Mathématiques Raphaël Salem
More informationCombinatorial Variants of Lebesgue s Density Theorem
Combinatorial Variants of Lebesgue s Density Theorem Philipp Schlicht joint with David Schrittesser, Sandra Uhlenbrock and Thilo Weinert September 6, 2017 Philipp Schlicht Variants of Lebesgue s Density
More informationarxiv: v1 [math.ds] 1 Oct 2014
A NOTE ON THE POINTS WITH DENSE ORBIT UNDER AND MAPS arxiv:1410.019v1 [math.ds] 1 Oct 014 AUTHOR ONE, AUTHOR TWO, AND AUTHOR THREE Abstract. It was conjectured by Furstenberg that for any x [0,1]\Q, dim
More informationCorrelation dimension for self-similar Cantor sets with overlaps
F U N D A M E N T A MATHEMATICAE 155 (1998) Correlation dimension for self-similar Cantor sets with overlaps by Károly S i m o n (Miskolc) and Boris S o l o m y a k (Seattle, Wash.) Abstract. We consider
More information#A5 INTEGERS 18A (2018) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT
#A5 INTEGERS 8A (208) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT Yann Bugeaud IRMA, UMR 750, Université de Strasbourg et CNRS, Strasbourg, France bugeaud@math.unistra.fr
More informationContinued fractions for complex numbers and values of binary quadratic forms
arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties
More informationDimension of stablesets and scrambled sets in positive finite entropy systems
University of Massachusetts Amherst From the SelectedWorks of Pengfei Zhang 202 Dimension of stablesets and scrambled sets in positive finite entropy systems Pengfei Zhang Available at: https://works.bepress.com/pengfei_zhang/5/
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationDynamical Systems 2, MA 761
Dynamical Systems 2, MA 761 Topological Dynamics This material is based upon work supported by the National Science Foundation under Grant No. 9970363 1 Periodic Points 1 The main objects studied in the
More informationEquidistribution for groups of toral automorphisms
1/17 Equidistribution for groups of toral automorphisms J. Bourgain A. Furman E. Lindenstrauss S. Mozes 1 Institute for Advanced Study 2 University of Illinois at Chicago 3 Princeton and Hebrew University
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationTHE MULTIPLICATIVE ERGODIC THEOREM OF OSELEDETS
THE MULTIPLICATIVE ERGODIC THEOREM OF OSELEDETS. STATEMENT Let (X, µ, A) be a probability space, and let T : X X be an ergodic measure-preserving transformation. Given a measurable map A : X GL(d, R),
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationSegment Description of Turbulence
Dynamics of PDE, Vol.4, No.3, 283-291, 2007 Segment Description of Turbulence Y. Charles Li Communicated by Y. Charles Li, received August 25, 2007. Abstract. We propose a segment description for turbulent
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationOn Normal Numbers. Theodore A. Slaman. University of California Berkeley
1/24 On Normal Numbers Theodore A. Slaman University of California Berkeley Joint work with Verónica Becher, and in part with Pablo Heiber, Yann Bugeaud and Jan Reimann CApril 29, 2015 2/24 Émile Borel
More information18.175: Lecture 3 Integration
18.175: Lecture 3 Scott Sheffield MIT Outline Outline Recall definitions Probability space is triple (Ω, F, P) where Ω is sample space, F is set of events (the σ-algebra) and P : F [0, 1] is the probability
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationFURSTENBERG S ERGODIC THEORY PROOF OF SZEMERÉDI S THEOREM
FURSTEBERG S ERGODIC THEORY PROOF OF SZEMERÉDI S THEOREM ZIJIA WAG Abstract. We introduce the basis of ergodic theory and illustrate Furstenberg s proof of Szemerédi s theorem. Contents. Introduction 2.
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationErgodic Theory of Interval Exchange Transformations
Ergodic Theory of Interval Exchange Transformations October 29, 2017 An interval exchange transformation on d intervals is a bijection T : [0, 1) [0, 1) given by cutting up [0, 1) into d subintervals and
More informationNew rotation sets in a family of toral homeomorphisms
New rotation sets in a family of toral homeomorphisms Philip Boyland, André de Carvalho & Toby Hall Surfaces in São Paulo April, 2014 SP, 2014 p.1 Outline The rotation sets of torus homeomorphisms: general
More informationEntropy dimensions and a class of constructive examples
Entropy dimensions and a class of constructive examples Sébastien Ferenczi Institut de Mathématiques de Luminy CNRS - UMR 6206 Case 907, 63 av. de Luminy F3288 Marseille Cedex 9 (France) and Fédération
More informationNORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY
ORMAL UMBERS AD UIFORM DISTRIBUTIO WEEKS -3 OPE PROBLEMS I UMBER THEORY SPRIG 28, TEL AVIV UIVERSITY Contents.. ormal numbers.2. Un-natural examples 2.3. ormality and uniform distribution 2.4. Weyl s criterion
More informationPATTERSON MEASURE AND UBIQUITY
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 20, 1995, 37 60 PATTERSON MEASURE AND UBIQUITY M.M. Dodson, M.V. Melián, D. Pestana, and S.L. Velani University of York, Department
More information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
More informationReal Variables: Solutions to Homework 3
Real Variables: Solutions to Homework 3 September 3, 011 Exercise 0.1. Chapter 3, # : Show that the cantor set C consists of all x such that x has some triadic expansion for which every is either 0 or.
More information