Is it true that for a given nonnegative number, there exists a measure-theoretical entropy value (supremum of entropies of all partitions under a measure-preserving transformation) that equals this number?
-
$\begingroup$ Take a shift on $G^{\mathbb Z}$ where $G$ is a finite group. The entropy will be $\log |G|$ (let's say logarithm with base $2$). So if you choose $G$ such that $|G|=2^n$ (for $n$ your favourite positive integer) you have the example you are looking for. $\endgroup$– Simone ViriliNov 12, 2012 at 21:14
-
2$\begingroup$ In general, using Cantor sets constructions, one can find sub-systems of the shift system of any given entropy between 0 and $\log(n)$. I believe this appears in Furstenberg's disjointness paper for example, although the construction is obviously much older than the paper. This is not a real research question. $\endgroup$– AsafNov 12, 2012 at 22:11
-
3$\begingroup$ Use the intermediate value theorem for Bernoulli measures on $\lbrace 1,\ldots,n\rbrace^{\mathbb Z}$. $\endgroup$– Anthony QuasNov 12, 2012 at 23:58
2 Answers
There is also a paper of Grillenberger, where You can find the construction http://link.springer.com/article/10.1007%2FBF00537161?LI=true
There are two funny approaches:
Let $S_2$ be a surface of genus 2 with constant curvature $-1$. Then the geodesic flow $\phi_t$ on the unit tangent bundle preserves the Liouville measure $\mu$ and has positive metric entropy: $h_\mu(\phi_t)=|t|\cdot h_\mu(\phi_1)$ with $h_\mu(\phi_1)>0$. So for any given number $r$, just pick $t=r/h_\mu(\phi_1)$. In fact any flow with positive entropy works.
We use the affineness of measure-theoretical entropy $h_{\bullet}(f):\mathcal{M}(f)\to \mathbb{R},\mu\mapsto h_\mu(f)$. Pick a large integer $n\ge e^r$ and consider the full shift $\sigma$ on $\lbrace 1,\cdots,n\rbrace^{\mathbb{Z}}$. Then $\mu=(1/n,\cdots,1/n)^{\oplus\mathbb{Z}}$ has entropy $h_\mu(\sigma)=\log n>r$. Let ${\bf 1}=(1111\cdots)$. Then the enropy of $\mu_p=p\mu+(1-p){\delta_{\mathbf{1}}}$ has entropy $p\log n$. So we set $p=r/\log n$.