Entropy for zero-temperature limits of Gibbs-equilibrium states for countable-alphabet subshifts of finite type
|
|
- Agatha Greer
- 6 years ago
- Views:
Transcription
1 Entropy for zero-temperature limits of Gibbs-equilibrium states for countable-alphabet subshifts of finite type I. D. Morris August 22, 2006 Abstract Let Σ A be a finitely primitive subshift of finite type over a countable alphabet. For suitable potentials f : Σ A R we can associate an invariant Gibbs equilibrium state µ tf to the potential tf for each t 1. In this note, we show that the entropy hµ tf converges in the limit t to the maximum entropy of those invariant measures which maximize R f dµ. We further show that every weak-* accumulation point of the family of measures µ tf has entropy equal to this value. This answers a pair of questions posed by O. Jenkinson, R. D. Mauldin and M. Urbański. Key words: Gibbs state; equilibrium state; ground state; maximizing measure; countable alphabet subshift of finite type; entropy. 1 Introduction Let σ : Σ A Σ A be a subshift of finite type on a countable alphabet I N, and let f : Σ A R be uniformly continuous. Under suitable conditions to be made precise below it may be shown that f admits a unique σ-invariant Gibbs state µ f. In this note we study the behaviour of families of invariant Gibbs states µ tf t 1 in the limit t. Our result provides a complete characterisation of the limiting behaviour of the entropy hµ tf, and extends previous results known in the case where the alphabet I is finite. In particular, we answer two questions posed by O. Jenkinson, R. D. Mauldin and M. Urbański in a previous investigation of this topic [6]. School of Mathematics, University of Manchester, Sackville Street, Manchester M60 1QD, U.K. 1
2 In the thermodynamic interpretation, our parameter t corresponds to an inverse temperature of a system, and the measure µ tf corresponds to the equilibrium of the system at temperature 1/t. The limit t is therefore a zero temperature limit, and accumulation points of the measures µ tf constitute ground states. The aim of the present note is to show that the entropy µ tf is continuous in the zero temperature limit, in the sense that hµ = lim t hµ tf whenever µ is an accumulation point at infinity of the measures µ tf. The history of results of this type in the finite-alphabet case is somewhat convoluted; results analogous to those in the present paper and in [6] were proved independently on a number of occasions, e.g. [1, 2, 3, 5]. The history of these and related results is discussed briefly in [4, 5]. 2 Definitions and statement of theorem In this section we review some necessary background from the thermodynamic formalism of countable-alphabet subshifts of finite type. Our reference for this section is the work of R.D. Mauldin and M. Urbański [7, 2] but see also [8, 11, 12]. We then give a formal statement of our results. Let I N be a countably infinite set, and let A: I I {0, 1} be a square matrix. We define the shift space Σ A associated to A to be the set { } Σ A := x = x n n 1 : x n I and Ax n, x n+1 = 1 for all n 1, and define the shift map σ : Σ A Σ A by ] σ [x n n 1 = x n+1 n 1. When i 1,..., i m I m we define the corresponding cylinder set by [i 1,..., i m ] := {x = x n n 1 Σ A : x j = i j for all 1 j m}. We then define a topology on Σ A by declaring every cylinder set to be open. Given f : Σ A R and n > 0, define var n f := fx fy. i 1,...,i n I n x,y [i 1,...,i n] We say that f has summable variations if the quantity f var = n=1 var n f is finite. Note that if f var < then f is continuous, but need not be bounded. For n > 0 and x Σ A, we use the abbreviation S n fx to denote the ergodic sum n 1 j=0 fσj x. We denote the set of σ-invariant Borel probability measures on Σ A by M σ. We equip M σ with the following weak-* topology: we say that 2
3 µ n n 1 converges weakly-* to µ if and only if f dµ n f dµ for every bounded continuous f : Σ A R. In our case, an equivalent condition is that µ n B µb for all cylinder sets B. Given f : Σ A R, we define the maximum ergodic average of f to be the quantity { βf = f dν : ν M σ }. When f dµ = βf for µ M σ, we say that µ is a maximising measure for f. We denote the set of all maximising measures for f by M max f. The study of maximising measures is a topic of substantial recent research interest: for further information on this topic we direct the reader to the survey article of O. Jenkinson [4]. For the purposes of this article, we will define the pressure of a continuous function f : Σ A R to be the quantity P f = { hν + f dν : ν M σ and } f dν, 1 where hν denotes the entropy of the measure ν see e.g. [13]. Some alternative formulations of the pressure may be found in [7, 2]. We say that a measure µ M σ is an equilibrium state for f if P f = hµ+ f dµ, and say that µ is an invariant Gibbs measure for f if µ M σ and there is a real constant Q > 1 such that Q 1 µ [x 1,..., x n ] esnfx np f Q for every n > 0 and x Σ A. When I is finite and σ is topologically mixing, it is well known that every Hölder continuous f possesses a unique invariant Gibbs measure, and that this measure is also the unique equilibrium state for f [9, 10]. When I is infinite, it may be the case that certain Hölder continuous functions fail to have invariant Gibbs states. To ensure the existence of invariant Gibbs states we impose the following additional condition on f. Definition 2.1. We call a continuous function f : Σ A R summable if it satisfies the condition exp fx <. x [i] i I We write S A for the set of all summable functions f : Σ A R which satisfy the additional condition f var <. 3
4 In the case where I is infinite, the existence of invariant Gibbs states requires a further condition on A. We say that the matrix A is finitely primitive if there exist an integer N and a finite set J I such that for each a, b I we can find i 1,..., i n J N such that the cylinder set [a, i 1,..., i n, b] Σ A is nonempty. R. D. Mauldin and M. Urbański proved the following theorem see [7, 8]: Theorem Mauldin-Urbański. If g S A and A is finitely primitive, then P g is finite and g has a unique invariant Gibbs measure µ g. This measure satisfies for every x Σ A and n > 0. e 4 g var µ g [x 1,..., x n ] e Sngx np g e 4 g var 2 In fact, the above theorem was proved under the stronger assumption that var n g = Oθ n for some 0 < θ < 1, but as remarked in [6] the proof generalises without difficulty. The requirement of finite primitivity was later shown by O. Sarig to be necessary as well as sufficient [12]. It should be noted that while every g S A has finite pressure and possesses an invariant Gibbs state, in some cases this invariant Gibbs state may have infinite entropy, and hence is not an equilibrium state in the sense defined above. However, Mauldin and Urbański were able to show the following: Proposition 1. Let g S A and pose that the additional condition gx exp gx < 3 x [i] x [i] i holds. Then the invariant measure µ g satisfies hµ g < and g dµ g <, and µ g is an equilibrium state for g in the sense that hµ g + g dµ g = P g. We will see in the following section that if f S A, then for each t > 1 the function tf satisfies condition 3 above automatically. Hence the map t µ tf which will be studied in this article is well-defined, and for every t > 1 the measure µ tf has finite entropy and is both an equilibrium state and a Gibbs state. O. Jenkinson, R.D. Mauldin and M. Urbański showed in [6] that the family of measures µ tf t 1 has at least one accumulation point in M σ, and showed that every accumulation point must be a maximising measure for f. They then asked whether the entropy of these accumulation points could be characterised either as the remum of the entropies of the maximising measures, or as the limit of the entropies hµ tf. In this note we prove the following: 4
5 Theorem 1. Let σ : Σ A Σ A be a finitely primitive subshift of finite type, and let f S A. For each t > 1, let µ tf be the unique Gibbs equilibrium state associated to the potential tf, and let µ be any accumulation point at infinity of µ tf t 1. Then, hµ = lim P tf tβf = lim hµ tf = hν. t t ν M maxf This theorem constitutes a positive answer to Questions 1 and 2 in [6]. 3 Proof of Theorem 1 It is convenient to break up the proof of Theorem 1 into several separate statements. In particular, the theorem is obtained by combining Lemmata 3.2 and 3.5 below. We include some observations from [6]. Throughout this section we assume that the matrix A is finitely primitive and that f S A. Lemma 3.1. For each t > 1 we have tfx exp i x [i] tfx x [i] so that the conclusions of Proposition 1 apply to µ tf. <, Proof. Let t > 1. Since f S A it is clear that there exists C t > 0 such that tfx e t 1 x [i] fx C t. i Hence, i x [i] tfx exp x [i] tfx x [i] C t exp i fx x [i] <. Lemma 3.2. The maps t hµ tf and t P tf tβf are decreasing and bounded below on the interval 1,, and satisfy lim hµ tf = lim P tf tβf hν. t t ν M maxf Proof. Recall from [7, 2] that the map t P tf is analytic, and that its first and second derivatives admit the characterisations P tf = f dµ tf βf 5
6 and [ P 1 tf = lim S n f n n f dµ tf ] 2 dµ tf 0. Note also that P tf tβf = P tf tβf as a consequence of 1. We have P tf tβf = P tf βf = f dµ tf βf 0 for every t > 1, and so P tf tβf is decreasing. To see that t hµ tf is decreasing we note that for every t > 1, so that hµ tf = P tf tp tf h µ tf = tp tf 0. Clearly hµ tf 0 for all t > 1, and P tf tβf 0 by the variational principle 1. Since both maps are decreasing, we conclude that lim t hµ tf and lim t P tf tβf both exist. It follows that the limit lim tp tf tβf = lim P tf tβf hµ tf t t exists also. Since P tf tβf is convergent and monotone, the integral t=2 P tf βf dt must be finite; it follows that lim t tp tf tβf cannot be nonzero, and so lim hµ tf = lim P tf tβf t t as required. To complete the proof, we observe that P tf tβf ν Mmaxf hν for all t > 1 as a consequence of the variational principle 1. Lemma 3.3. Let f S A. Then, lim t t 1 P tf = βf. Proof. This follows from Lemma 3.2 and the relation P tf = P tf tβf + tβf. Lemma 3.4. Let µ be an accumulation point at infinity of µ tf t>1 in the weak-* topology. Then µ is a probability measure and is maximising for f. Proof. See [6, Theorem 1]. Lemma 3.5. Let µ = lim k µ tk f be an accumulation point at infinity of µ tf t>1 in the weak-* topology. Then, hµ = lim hµ tf = hν. t ν M maxf 6
7 Proof. By Lemmata 3.2 and 3.4 we have hµ and so it suffices to establish hν lim hµ tf, ν M t maxf lim hµ tf hµ. t For K I and n > 0, we use the symbol ˆKn to denote set of all n-tuples i 1,..., i n K n such that the cylinder [i 1,..., i n ] Σ A is nonempty. For each n > 0 we define A n = {[i 1,..., i n ] Σ A : i 1,..., i n În }. Clearly each A n is a countable measurable partition of Σ A. For x [0, 1] define φx = x log x when x 0, and φ0 = 0; note that φ is continuous. Given ν M σ and n > 0, we let H ν A n = φ ν [i 1,..., i n ]. i 1,...,i n I n Using standard facts from entropy theory, the entropy hν of an invariant 1 measure ν M σ is equal to hν = inf n 1 n H ν An. We claim that for each n > 0, lim H µ t k f A n = H µ A n. 4 k Since x [i] fx as i, we may choose a finite set J I such that 4 f var nβf n 1 f + fx < 0 5 i I\J x [i] and and 4 f var + nβf + 1 i 1,...,i n În \Ĵ n S n fx 6 i 1,...,i n În \Ĵ n x [i 1,...,i n] S n fx e x [i 1,...,in] Snfx 1. 7 x [i 1,...,i n] It is then easily seen that as t, te 4t f var ntβf+t e t 1 x [i] fx i I\J i I n 1 e t 1 x [i] fx 0, 7
8 as a consequence of 5 above. By Lemma 3.3, we may choose T > 2 such that t > T implies tnβf t np tf tnβf + t. 8 Let t > T and i 1,..., i n În \ J ˆn. Applying inequalities 2, 6 and 8, we obtain log µ tf [i 1,.., i n ] t 4t f var + np tf t 2t 4 f var + nβf x [i 1,...,i n] S n fx. x [i 1,...,i n] x [i 1,...,i n] S n fx S n fx Combining this with inequalities 2, 7 and 8, we deduce that for every t > T, φ µ tf [i 1,..., i n ] i 1,...,i n În \Ĵ n = log µ tf [i 1,..., i n ] µ tf [i 1,..., i n ] i 1,...,i n În \ J ˆn 2t S n fx µ tf [i 1,..., i n ] i 1,...,i n În \Ĵ n x [i 1,...,i n] so that 4t f var np tf 2te 2te 4t f var tnβf+t i 1,...,i n În \ J ˆ x [i 1,..,i n] n S n fx e t x [i 1,.,in] Snfx i 1,...,i n În \Ĵ n e t 1 x [i1,...,in] Snfx 2nt e n 1 4t f var tnβf+t e t 1 x [i] fx e t 1 x [i] fx i I\J lim φ µ tf [i 1,..., i n ] = 0. 9 t i 1,...,i n În \Ĵ n A similar, simpler argument using inequalities 2, 5 and 8 shows that when i 1,..., i n În \ J ˆn, one has µ [i 1,..., i n ] = 0, i I 8
9 from which it follows that Hµ A n = i 1,...,i n Ĵ n φ µ [i 1,..., i n ]. Combining this with 9 above, we deduce that to prove 4 we need only show that lim φµ tk f [i 1,..., i n ] = φµ [i 1,..., i n ]. k i 1,...,i n Ĵ n i 1,...,i n Ĵ n By weak-* convergence one has lim k µ tk f [i 1,..., i n ] = µ [i 1,..., i n ] for all cylinder sets; since φ is continuous and the sum is finite, the required convergence follows. The claim 4 is proved. To complete the proof of the Lemma, we pose for a contradiction that hµ < lim t hµ tf. Choose ε > 0 such that hµ lim t hµ tf 3ε, and choose N > 0 such that 1 N H µ A N h µ + ε. Using 4, we deduce that for all sufficiently large k > 0, hµ tk f 1 N H µ tk f A N 1 N H µ A N + ε hµ + 2ε lim t hµ tf ε. Taking the limit as k yields the required contradiction. Acknowledgments. The author gratefully acknowledges the hospitality and financial port of the Erwin Schrödinger Institute for Mathematical Physics, at which this research was conducted. The author would also like to thank O. Jenkinson for his careful reading of an earlier version of this article. References [1] Z. Coelho, Entropy and ergodicity of skew-products over subshifts of finite type and central limit asymptotics, PhD thesis, Warwick University [2] J.-P. Conze and Y. Guivarc h, Croissance des sommes ergodiques, unpublished manuscript c [3] G. Contreras, A. Lopes and P. Thieullen, Lyapunov minimizing measures for expanding maps of the circle, Ergod. Theory Dynam. Systems 5:
10 [4] O. Jenkinson, Ergodic optimization, Discrete Contin. Dyn. Syst. 15: [5] O. Jenkinson, Geometric barycentres of invariant measures for circle maps, Ergod. Theory Dynam. Systems 21: [6] O. Jenkinson, R.D. Mauldin and M. Urbański, Zero temperature limits of Gibbs-equilibrium states for countable alphabet subshifts of finite type, J. Stat. Phys. 119: [7] R.D. Mauldin and M. Urbański, Graph directed Markov systems: geometry and dynamics of limit sets, Cambridge Tracts in Mathematics 148, Cambridge University Press [8] R.D. Mauldin and M. Urbański, Gibbs states on the symbolic space over an infinite alphabet, Israel J. Math. 125: [9] W. Parry and M. Pollicott, Zeta functions and the periodic orbit structure of hyperbolic dynamics, Astérisque No [10] D. Ruelle, Thermodynamic formalism: the mathematical structures of equilibrium statistical mechanics, 2nd edition, Cambridge University Press, [11] O. Sarig, Thermodynamic formalism for countable Markov shifts, Ergod. Theory Dynam. Systems 19: [12] O. Sarig, Characterization of existence of Gibbs measures for countable Markov shifts, Proc. Amer. Math. Soc. 131: [13] P. Walters, An introduction to ergodic theory Springer, Berlin,
Zero Temperature Limits of Gibbs-Equilibrium States for Countable Alphabet Subshifts of Finite Type
Journal of Statistical Physics, Vol. 119, Nos. 3/4, May 2005 ( 2005) DOI: 10.1007/s10955-005-3035-z Zero Temperature Limits of Gibbs-Equilibrium States for Countable Alphabet Subshifts of Finite Type O.
More informationLyapunov optimizing measures for C 1 expanding maps of the circle
Lyapunov optimizing measures for C 1 expanding maps of the circle Oliver Jenkinson and Ian D. Morris Abstract. For a generic C 1 expanding map of the circle, the Lyapunov maximizing measure is unique,
More informationERGODIC OPTIMIZATION FOR NON-COMPACT DYNAMICAL SYSTEMS
ERGODIC OPTIMIZATION FOR NON-COMPACT DYNAMICAL SYSTEMS O. JENKINSON, R. D. MAULDIN, AND M. URBAŃSKI Abstract. We consider maximizing orbits and maximizing measures for continuous maps T : X X and functions
More informationFACTORS OF GIBBS MEASURES FOR FULL SHIFTS
FACTORS OF GIBBS MEASURES FOR FULL SHIFTS M. POLLICOTT AND T. KEMPTON Abstract. We study the images of Gibbs measures under one block factor maps on full shifts, and the changes in the variations of the
More informationA Nonlinear Transfer Operator Theorem
J Stat Phys 207) 66:56 524 DOI 0.007/s0955-06-646- A Nonlinear Transfer Operator Theorem Mark Pollicott Received: 22 June 206 / Accepted: 8 October 206 / Published online: 9 November 206 The Authors) 206.
More informationON THE DEFINITION OF RELATIVE PRESSURE FOR FACTOR MAPS ON SHIFTS OF FINITE TYPE. 1. Introduction
ON THE DEFINITION OF RELATIVE PRESSURE FOR FACTOR MAPS ON SHIFTS OF FINITE TYPE KARL PETERSEN AND SUJIN SHIN Abstract. We show that two natural definitions of the relative pressure function for a locally
More informationC.7. Numerical series. Pag. 147 Proof of the converging criteria for series. Theorem 5.29 (Comparison test) Let a k and b k be positive-term series
C.7 Numerical series Pag. 147 Proof of the converging criteria for series Theorem 5.29 (Comparison test) Let and be positive-term series such that 0, for any k 0. i) If the series converges, then also
More informationSYMBOLIC DYNAMICS FOR HYPERBOLIC SYSTEMS. 1. Introduction (30min) We want to find simple models for uniformly hyperbolic systems, such as for:
SYMBOLIC DYNAMICS FOR HYPERBOLIC SYSTEMS YURI LIMA 1. Introduction (30min) We want to find simple models for uniformly hyperbolic systems, such as for: [ ] 2 1 Hyperbolic toral automorphisms, e.g. f A
More informationRATE OF APPROXIMATION OF MINIMIZING MEASURES
RATE OF APPROXIMATION OF MINIMIZING MEASURES XAVIER BRESSAUD AND ANTHONY QUAS Abstract. For T a continuous map from a compact metric space to itself and f a continuous function, we study the minimum of
More informationSmooth Livšic regularity for piecewise expanding maps
Smooth Livšic regularity for piecewise expanding maps Matthew Nicol Tomas Persson July 22 2010 Abstract We consider the regularity of measurable solutions χ to the cohomological equation φ = χ T χ where
More informationCounting geodesic arcs in a fixed conjugacy class on negatively curved surfaces with boundary
Counting geodesic arcs in a fixed conjugacy class on negatively curved surfaces with boundary Mark Pollicott Abstract We show how to derive an asymptotic estimates for the number of closed arcs γ on a
More informationBERNOULLI ACTIONS AND INFINITE ENTROPY
BERNOULLI ACTIONS AND INFINITE ENTROPY DAVID KERR AND HANFENG LI Abstract. We show that, for countable sofic groups, a Bernoulli action with infinite entropy base has infinite entropy with respect to every
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationON THE WORK OF SARIG ON COUNTABLE MARKOV CHAINS AND THERMODYNAMIC FORMALISM
ON THE WORK OF SARIG ON COUNTABLE MARKOV CHAINS AND THERMODYNAMIC FORMALISM YAKOV PESIN Abstract. The paper is a non-technical survey and is aimed to illustrate Sarig s profound contributions to statistical
More informationSUSPENSION FLOWS OVER COUNTABLE MARKOV SHIFTS
SUSPENSION FLOWS OVE COUNTABLE MAKOV SHIFTS LUIS BAEIA AND GODOFEDO IOMMI Abstract. We introduce the notion of topological pressure for suspension ows over countable Markov shifts, and we develop the associated
More informationEXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS VIA SUSPENSIONS
Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 172, pp. 1 11. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS
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 informationTHE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS
J. Appl. Math. & Computing Vol. 4(2004), No. - 2, pp. 277-288 THE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS LIDONG WANG, GONGFU LIAO, ZHENYAN CHU AND XIAODONG DUAN
More informationEntropy production for a class of inverse SRB measures
Entropy production for a class of inverse SRB measures Eugen Mihailescu and Mariusz Urbański Keywords: Inverse SRB measures, folded repellers, Anosov endomorphisms, entropy production. Abstract We study
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 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 informationOverview of Markovian maps
Overview of Markovian maps Mike Boyle University of Maryland BIRS October 2007 *these slides are online, via Google: Mike Boyle Outline of the talk I. Subshift background 1. Subshifts 2. (Sliding) block
More informationUNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES
MATH. SCAND. 90 (2002), 152 160 UNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES BERND KIRCHHEIM and DAVID PREISS For every complete metric space X there is, up to a constant multiple, at most one Borel
More informationSymbolic dynamics and non-uniform hyperbolicity
Symbolic dynamics and non-uniform hyperbolicity Yuri Lima UFC and Orsay June, 2017 Yuri Lima (UFC and Orsay) June, 2017 1 / 83 Lecture 1 Yuri Lima (UFC and Orsay) June, 2017 2 / 83 Part 1: Introduction
More informationNon convergence of a 1D Gibbs model at zero temperature
Non convergence of a 1D Gibbs model at zero temperature Philippe Thieullen (Université de Bordeaux) Joint work with R. Bissacot (USP, Saõ Paulo) and E. Garibaldi (UNICAMP, Campinas) Topics in Mathematical
More informationSURVEY Ergodic optimization in dynamical systems
Ergod. Th. & Dynam. Sys. (First published online 2018), page 1 of 26 This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/),
More informationAn Introduction to Entropy and Subshifts of. Finite Type
An Introduction to Entropy and Subshifts of Finite Type Abby Pekoske Department of Mathematics Oregon State University pekoskea@math.oregonstate.edu August 4, 2015 Abstract This work gives an overview
More informationFINITE CONNECTED H-SPACES ARE CONTRACTIBLE
FINITE CONNECTED H-SPACES ARE CONTRACTIBLE ISAAC FRIEND Abstract. The non-hausdorff suspension of the one-sphere S 1 of complex numbers fails to model the group s continuous multiplication. Moreover, finite
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
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 informationEquilibrium States for Partially Hyperbolic Horseshoes
Equilibrium States for Partially Hyperbolic Horseshoes R. Leplaideur, K. Oliveira, and I. Rios August 25, 2009 Abstract We study ergodic properties of invariant measures for the partially hyperbolic horseshoes,
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 informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationThermodynamics for discontinuous maps and potentials
Thermodynamics for discontinuous maps and potentials Vaughn Climenhaga University of Houston July 11, 2013 Plan of talk Dynamical system { X a complete separable metric space f : X X a measurable map Potential
More informationON THE ZERO-ONE LAW AND THE LAW OF LARGE NUMBERS FOR RANDOM WALK IN MIXING RAN- DOM ENVIRONMENT
Elect. Comm. in Probab. 10 (2005), 36 44 ELECTRONIC COMMUNICATIONS in PROBABILITY ON THE ZERO-ONE LAW AND THE LAW OF LARGE NUMBERS FOR RANDOM WALK IN MIXING RAN- DOM ENVIRONMENT FIRAS RASSOUL AGHA Department
More informationOn non-convergence of equilibrium measures at zero temperature limit
On non-convergence of equilibrium measures at zero temperature limit Mao Shinoda Keio University June 21, 2018 Joint work with J.-R. Chazottes Mao Shinoda (Keio Univ.) Boston Keio Workshop 2018 June 21,
More informationAccumulation constants of iterated function systems with Bloch target domains
Accumulation constants of iterated function systems with Bloch target domains September 29, 2005 1 Introduction Linda Keen and Nikola Lakic 1 Suppose that we are given a random sequence of holomorphic
More informationhere, this space is in fact infinite-dimensional, so t σ ess. Exercise Let T B(H) be a self-adjoint operator on an infinitedimensional
15. Perturbations by compact operators In this chapter, we study the stability (or lack thereof) of various spectral properties under small perturbations. Here s the type of situation we have in mind:
More informationA SHORT PROOF OF THE CONNES-FELDMAN-WEISS THEOREM
A SHORT PROOF OF THE CONNES-FELDMAN-WEISS THEOREM ANDREW MARKS Abstract. In this note, we give a short proof of the theorem due to Connes, Feldman, and Weiss that a countable orel equivalence relation
More informationPCMI LECTURE NOTES ON PROPERTY (T ), EXPANDER GRAPHS AND APPROXIMATE GROUPS (PRELIMINARY VERSION)
PCMI LECTURE NOTES ON PROPERTY (T ), EXPANDER GRAPHS AND APPROXIMATE GROUPS (PRELIMINARY VERSION) EMMANUEL BREUILLARD 1. Lecture 1, Spectral gaps for infinite groups and non-amenability The final aim of
More informationEstimates for probabilities of independent events and infinite series
Estimates for probabilities of independent events and infinite series Jürgen Grahl and Shahar evo September 9, 06 arxiv:609.0894v [math.pr] 8 Sep 06 Abstract This paper deals with finite or infinite sequences
More informationTHREE ZUTOT ELI GLASNER AND BENJAMIN WEISS
THREE ZUTOT ELI GLASNER AND BENJAMIN WEISS Abstract. Three topics in dynamical systems are discussed. In the first two sections we solve some open problems concerning, respectively, Furstenberg entropy
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 informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationHence, (f(x) f(x 0 )) 2 + (g(x) g(x 0 )) 2 < ɛ
Matthew Straughn Math 402 Homework 5 Homework 5 (p. 429) 13.3.5, 13.3.6 (p. 432) 13.4.1, 13.4.2, 13.4.7*, 13.4.9 (p. 448-449) 14.2.1, 14.2.2 Exercise 13.3.5. Let (X, d X ) be a metric space, and let f
More informationREVERSALS ON SFT S. 1. Introduction and preliminaries
Trends in Mathematics Information Center for Mathematical Sciences Volume 7, Number 2, December, 2004, Pages 119 125 REVERSALS ON SFT S JUNGSEOB LEE Abstract. Reversals of topological dynamical systems
More informationA BOREL SOLUTION TO THE HORN-TARSKI PROBLEM. MSC 2000: 03E05, 03E20, 06A10 Keywords: Chain Conditions, Boolean Algebras.
A BOREL SOLUTION TO THE HORN-TARSKI PROBLEM STEVO TODORCEVIC Abstract. We describe a Borel poset satisfying the σ-finite chain condition but failing to satisfy the σ-bounded chain condition. MSC 2000:
More informationERGODIC THEORY OF PARABOLIC HORSESHOES
ERGODIC THEORY OF PARABOLIC HORSESHOES MARIUSZ URBAŃSKI AND CHRISTIAN WOLF Abstract. In this paper we develop the ergodic theory for a horseshoe map f which is uniformly hyperbolic, except at one parabolic
More information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More informationarxiv: v2 [math.ds] 5 Jun 2013
livreutf8v5arxiv 2018/1/16 10:37 page 1 #1 arxiv:1305.2396v2 [math.ds] 5 Jun 2013 Ergodic optimization, zero temperature limits and the Max-Plus algebra 29 o Coloquio Brasileiro de Matematica, IMPA, 2013
More informationARTICLE IN PRESS. J. Math. Anal. Appl. ( ) Note. On pairwise sensitivity. Benoît Cadre, Pierre Jacob
S0022-27X0500087-9/SCO AID:9973 Vol. [DTD5] P.1 1-8 YJMAA:m1 v 1.35 Prn:15/02/2005; 16:33 yjmaa9973 by:jk p. 1 J. Math. Anal. Appl. www.elsevier.com/locate/jmaa Note On pairwise sensitivity Benoît Cadre,
More informationDynamical Systems and Ergodic Theory PhD Exam Spring Topics: Topological Dynamics Definitions and basic results about the following for maps and
Dynamical Systems and Ergodic Theory PhD Exam Spring 2012 Introduction: This is the first year for the Dynamical Systems and Ergodic Theory PhD exam. As such the material on the exam will conform fairly
More informationMeasure and integration
Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.
More information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
More informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
More informationChapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem
Chapter 8 General Countably dditive Set Functions In Theorem 5.2.2 the reader saw that if f : X R is integrable on the measure space (X,, µ) then we can define a countably additive set function ν on by
More informationInto a Hilbert Space
ariv:math/0410427v1 [math.fa] 19 Oct 2004 l p (p > 2) Does Not Coarsely Embed Into a Hilbert Space William B. JOHNSON and N. Lovasoa RANDRIANARIVONY 1 A (not necessarily continuous) map f between two metric
More informationThermodynamic formalism for Lorenz maps
Thermodynamic formalism for Lorenz maps Renaud Leplaideur & Vilton Pinheiro August 29, 2012 Abstract For a 2-dimensional map representing an expanding geometric Lorenz attractor we prove that the attractor
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 information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More information2. The Concept of Convergence: Ultrafilters and Nets
2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two
More informationFACTOR MAPS BETWEEN TILING DYNAMICAL SYSTEMS KARL PETERSEN. systems which cannot be achieved by working within a nite window. By. 1.
FACTOR MAPS BETWEEN TILING DYNAMICAL SYSTEMS KARL PETERSEN Abstract. We show that there is no Curtis-Hedlund-Lyndon Theorem for factor maps between tiling dynamical systems: there are codes between such
More informationEXTENSION OF HÖLDER S THEOREM IN Diff 1+ɛ
EXTENSION OF HÖLDER S THEOREM IN Diff 1+ɛ + (I) Azer Akhmedov Abstract: We prove that if Γ is subgroup of Diff 1+ɛ + (I) and N is a natural number such that every non-identity element of Γ has at most
More informationON GROUP-THEORETIC MODELS OF RANDOMNESS AND GENERICITY
ON GROUP-THEORETIC MODELS OF RANDOMNESS AND GENERICITY ILYA KAPOVICH AND PAUL SCHUPP Abstract. We compare the random group model of Gromov and the model of generic groups of Arzhantseva and Ol shanskii.
More informationJOININGS, FACTORS, AND BAIRE CATEGORY
JOININGS, FACTORS, AND BAIRE CATEGORY Abstract. We discuss the Burton-Rothstein approach to Ornstein theory. 1. Weak convergence Let (X, B) be a metric space and B be the Borel sigma-algebra generated
More information10. The ergodic theory of hyperbolic dynamical systems
10. The ergodic theory of hyperbolic dynamical systems 10.1 Introduction In Lecture 8 we studied thermodynamic formalism for shifts of finite type by defining a suitable transfer operator acting on a certain
More informationESTIMATES FOR MAXIMAL SINGULAR INTEGRALS
ESTIMATES FOR MAXIMAL SINGULAR INTEGRALS LOUKAS GRAFAKOS Abstract. It is shown that maximal truncations of nonconvolution L -bounded singular integral operators with kernels satisfying Hörmander s condition
More informationAn adaptive subdivision technique for the approximation of attractors and invariant measures. Part II: Proof of convergence
An adaptive subdivision technique for the approximation of attractors and invariant measures. Part II: Proof of convergence Oliver Junge Department of Mathematics and Computer Science University of Paderborn
More informationTHE HAUSDORFF DIMENSION OF MEASURES FOR. Thomas Jordan. Mark Pollicott. (Communicated by the associate editor name)
Manuscript submitted to Website: http://aimsciences.org AIMS Journals Volume 00, Number 0, Xxxx XXXX pp. 000 000 THE HAUSDORFF DIMENSION OF MEASURES FOR ITERATED FUNCTION SYSTEMS WHICH CONTRACT ON AVERAGE
More informationSolutions to Tutorial 11 (Week 12)
THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 11 (Week 12) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
More informationDIMENSION THEORY FOR MULTIMODAL MAPS. 1. Introduction
DIMENSION THEORY FOR MULTIMODAL MAPS GODOFREDO IOMMI AND MIKE TODD Abstract. This paper is devoted to the study of dimension theory, in particular multifractal analysis, for multimodal maps. We describe
More informationSRB MEASURES FOR AXIOM A ENDOMORPHISMS
SRB MEASURES FOR AXIOM A ENDOMORPHISMS MARIUSZ URBANSKI AND CHRISTIAN WOLF Abstract. Let Λ be a basic set of an Axiom A endomorphism on n- dimensional compact Riemannian manifold. In this paper, we provide
More informationMEAN DIMENSION AND AN EMBEDDING PROBLEM: AN EXAMPLE
MEAN DIMENSION AND AN EMBEDDING PROBLEM: AN EXAMPLE ELON LINDENSTRAUSS, MASAKI TSUKAMOTO Abstract. For any positive integer D, we construct a minimal dynamical system with mean dimension equal to D/2 that
More informationHOPF S DECOMPOSITION AND RECURRENT SEMIGROUPS. Josef Teichmann
HOPF S DECOMPOSITION AND RECURRENT SEMIGROUPS Josef Teichmann Abstract. Some results of ergodic theory are generalized in the setting of Banach lattices, namely Hopf s maximal ergodic inequality and the
More information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More informationIsomorphism of free G-subflows (preliminary draft)
Isomorphism of free G-subflows (preliminary draft) John D. Clemens August 3, 21 Abstract We show that for G a countable group which is not locally finite, the isomorphism of free G-subflows is bi-reducible
More informationThe Hopf argument. Yves Coudene. IRMAR, Université Rennes 1, campus beaulieu, bat Rennes cedex, France
The Hopf argument Yves Coudene IRMAR, Université Rennes, campus beaulieu, bat.23 35042 Rennes cedex, France yves.coudene@univ-rennes.fr slightly updated from the published version in Journal of Modern
More informationA note on the number of additive triples in subsets of integers
A note on the number of additive triples in subsets of integers Katherine Staden Mathematics Institute and DIMAP University of Warwick Coventry CV4 7AL, UK Abstract An additive triple in a set A of integers
More informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
More informationSynchronization, Chaos, and the Dynamics of Coupled Oscillators. Supplemental 1. Winter Zachary Adams Undergraduate in Mathematics and Biology
Synchronization, Chaos, and the Dynamics of Coupled Oscillators Supplemental 1 Winter 2017 Zachary Adams Undergraduate in Mathematics and Biology Outline: The shift map is discussed, and a rigorous proof
More informationAW -Convergence and Well-Posedness of Non Convex Functions
Journal of Convex Analysis Volume 10 (2003), No. 2, 351 364 AW -Convergence Well-Posedness of Non Convex Functions Silvia Villa DIMA, Università di Genova, Via Dodecaneso 35, 16146 Genova, Italy villa@dima.unige.it
More information1 Cheeger differentiation
1 Cheeger differentiation after J. Cheeger [1] and S. Keith [3] A summary written by John Mackay Abstract We construct a measurable differentiable structure on any metric measure space that is doubling
More informationSETS OF NON-TYPICAL POINTS HAVE FULL TOPOLOGICAL ENTROPY AND FULL HAUSDORFF DIMENSION
Israel J. Math. 116 (2000), 29 70. SETS OF NON-TYPICAL POINTS HAVE FULL TOPOLOGICAL ENTROPY AND FULL HAUSDORFF DIMENSION LUIS BARREIRA AND JÖRG SCHMELING Abstract. For subshifts of finite type, conformal
More informationIowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions
Math 50 Iowa State University Introduction to Real Analysis Department of Mathematics Instructor: Alex Roitershtein Summer 205 Homework #5 Solutions. Let α and c be real numbers, c > 0, and f is defined
More informationA necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees
A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees Yoshimi Egawa Department of Mathematical Information Science, Tokyo University of
More informationMARKOV PARTITIONS FOR HYPERBOLIC SETS
MARKOV PARTITIONS FOR HYPERBOLIC SETS TODD FISHER, HIMAL RATHNAKUMARA Abstract. We show that if f is a diffeomorphism of a manifold to itself, Λ is a mixing (or transitive) hyperbolic set, and V is a neighborhood
More informationFragmentability and σ-fragmentability
F U N D A M E N T A MATHEMATICAE 143 (1993) Fragmentability and σ-fragmentability by J. E. J a y n e (London), I. N a m i o k a (Seattle) and C. A. R o g e r s (London) Abstract. Recent work has studied
More informationBOWEN S ENTROPY-CONJUGACY CONJECTURE IS TRUE UP TO FINITE INDEX
BOWEN S ENTROPY-CONJUGACY CONJECTURE IS TRUE UP TO FINITE INDEX MIKE BOYLE, JÉRÔME BUZZI, AND KEVIN MCGOFF Abstract. For a topological dynamical system (X, f), consisting of a continuous map f : X X, and
More informationMonotonic ɛ-equilibria in strongly symmetric games
Monotonic ɛ-equilibria in strongly symmetric games Shiran Rachmilevitch April 22, 2016 Abstract ɛ-equilibrium allows for worse actions to be played with higher probability than better actions. I introduce
More informationTOPOLOGICAL ENTROPY FOR DIFFERENTIABLE MAPS OF INTERVALS
Chung, Y-.M. Osaka J. Math. 38 (200), 2 TOPOLOGICAL ENTROPY FOR DIFFERENTIABLE MAPS OF INTERVALS YONG MOO CHUNG (Received February 9, 998) Let Á be a compact interval of the real line. For a continuous
More informationPhysical Measures. Stefano Luzzatto Abdus Salam International Centre for Theoretical Physics Trieste, Italy.
Physical Measures Stefano Luzzatto Abdus Salam International Centre for Theoretical Physics Trieste, Italy. International conference on Dynamical Systems Hammamet, Tunisia September 5-7, 2017 Let f : M
More informationMEASURE-THEORETIC ENTROPY
MEASURE-THEORETIC ENTROPY Abstract. We introduce measure-theoretic entropy 1. Some motivation for the formula and the logs We want to define a function I : [0, 1] R which measures how suprised we are or
More informationNotes on uniform convergence
Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean
More informationRandom Bernstein-Markov factors
Random Bernstein-Markov factors Igor Pritsker and Koushik Ramachandran October 20, 208 Abstract For a polynomial P n of degree n, Bernstein s inequality states that P n n P n for all L p norms on the unit
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 informationLebesgue-Stieltjes measures and the play operator
Lebesgue-Stieltjes measures and the play operator Vincenzo Recupero Politecnico di Torino, Dipartimento di Matematica Corso Duca degli Abruzzi, 24, 10129 Torino - Italy E-mail: vincenzo.recupero@polito.it
More informationTHE MEASURE-THEORETIC ENTROPY OF LINEAR CELLULAR AUTOMATA WITH RESPECT TO A MARKOV MEASURE. 1. Introduction
THE MEASURE-THEORETIC ENTROPY OF LINEAR CELLULAR AUTOMATA WITH RESPECT TO A MARKOV MEASURE HASAN AKIN Abstract. The purpose of this short paper is to compute the measure-theoretic entropy of the onedimensional
More informationThe Structure of C -algebras Associated with Hyperbolic Dynamical Systems
The Structure of C -algebras Associated with Hyperbolic Dynamical Systems Ian F. Putnam* and Jack Spielberg** Dedicated to Marc Rieffel on the occasion of his sixtieth birthday. Abstract. We consider the
More informationDefining the Integral
Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be
More information