A topologically mixing subshift with multiple measures of maximal entropy - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T18:38:21Z http://mathoverflow.net/feeds/question/26094 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/26094/a-topologically-mixing-subshift-with-multiple-measures-of-maximal-entropy A topologically mixing subshift with multiple measures of maximal entropy Vaughn Climenhaga 2010-05-27T02:41:52Z 2010-05-27T19:26:20Z <p>Let &Sigma;<sub>p</sub>={1,...,p}<sup>&#8484;</sup> be the full shift on p symbols, and let X &sub; &Sigma;<sub>p</sub> be a subshift -- that is, a closed &sigma;-invariant subset, where $\sigma\colon \Sigma_p\to \Sigma_p$ is the left shift. Then &sigma; is expansive, and hence there exists a measure of maximal entropy (an mme) for (X,&sigma;).</p> <p>It is well known that if X is a subshift of finite type on which &sigma; is topologically mixing, then there is a <em>unique</em> mme. (See, for example, Rufus Bowen, <em>Equilibrium states and the ergodic theory of Anosov diffeomorphisms</em>, 1975. In fact, Bowen proves uniqueness of equilibrium states for any H&ouml;lder continuous potential &phi;, but let's stick with the case &phi;&equiv;0 for now.)</p> <p>If X is not a subshift of finite type, then less is known. For example, if X is a &beta;-shift, then it has a unique mme, but it is not known if this holds for subshifts that are factors of a &beta;-shift.</p> <p><em>Question</em>: Does anybody know of a subshift that is topologically mixing but does not have a unique mme? (That is, a subshift that has multiple measures of maximal entropy despite being topologically mixing.)</p> http://mathoverflow.net/questions/26094/a-topologically-mixing-subshift-with-multiple-measures-of-maximal-entropy/26151#26151 Answer by Steve Huntsman for A topologically mixing subshift with multiple measures of maximal entropy Steve Huntsman 2010-05-27T14:28:45Z 2010-05-27T14:28:45Z <p>Yes. See Haydn's paper <a href="http://docs.google.com/viewer?a=v&amp;q=cache%3ANF8M7-tT3w8J%3Aciteseerx.ist.psu.edu/viewdoc/download%253Fdoi%253D10.1.1.139.9001%2526rep%253Drep1%2526type%253Dpdf+Multiple+measures+of+maximal+entropy+and+equilibrium+states+for+one-dimensional+subshifts&amp;hl=en&amp;gl=us&amp;pid=bl&amp;srcid=ADGEESjeew53q334z7SrBbXQQIqOXoo1JnuKUmfHUbD9LOEa2dM8XnO6NQn_x7T8TLlF1meRY3gJxyxWMGd6G3eMYPD28D7EwfVZLYedHnwCTH_5gUX5Z3nCSiLp2JDU1jnYZW0tahWA&amp;sig=AHIEtbRdqFxp2blJGJKe0-FjOCWRPJHjRg" rel="nofollow">here</a>.</p> http://mathoverflow.net/questions/26094/a-topologically-mixing-subshift-with-multiple-measures-of-maximal-entropy/26181#26181 Answer by Ian Morris for A topologically mixing subshift with multiple measures of maximal entropy Ian Morris 2010-05-27T19:18:21Z 2010-05-27T19:26:20Z <p>There is a book by Denker, Grillenberger and Sigmund which deals extensively with this topic: they prove a whole range of theorems which construct subshifts whose invariant measures have specified properties. In particular they construct a mixing subshift with multiple invariant measures of maximal entropy, but this is just one of many interesting constructions.</p> <p>Subshifts which are not of finite type are, as a general class, quite well understood. In terms of their measurable ergodic theory, they can do pretty much anything which is not prevented by entropy. An example is the following theorem of Jewett. Suppose that $T$ is an ergodic measure-preserving transformation of a probability space $(Z,\mathcal{F},\mu)$, and the entropy of $T$ with respect to $\mu$ is finite. Let $p$ be an integer such that $\log p$ is strictly greater than the entropy of $T$ with respect to $\mu$. Then there is a subshift $X$ of $\Sigma_p$, having a unique invariant measure $\nu$, such that the measure-preserving transformation $(X,\mathcal{B},\nu,\sigma)$ is measurably isomorphic to the transformation $(Z,\mathcal{F},\mu,T)$. (Here $\mathcal{B}$ of course denotes the Borel sigma-algebra of $X$.)</p>