力学系・エルゴード理論の問題

$\Sigma =\{0,1,2{\}}^{\mathbb{Z}}$ 上の両側シフト $\sigma :\Sigma \to \Sigma$ を $(\sigma x{)}_n=x_{n+1}$ で定める。確率行列
$$P=\left(\begin{array}{ccc}0& \frac{1}{2}& \frac{1}{2}\\ \frac{1}{3}& \frac{1}{3}& \frac{1}{3}\\ 1& 0& 0\end{array}\right)$$
（行と列は記号 $0,1,2$ の順に対応し、$(i,j)$ 成分 $p_{ij}$ を $i$ から $j$ への遷移確率とする）と、$\pi P=\pi$ を満たす確率ベクトル $\pi =({\pi }_0,{\pi }_1,{\pi }_2)$ に対し、シリンダー集合上で
$$\mu (\{x\in \Sigma :x_k=a_0,x_{k+1}=a_1,\dots ,x_{k+n}=a_n\})={\pi }_{a_0}{p}_{a_0{a}_1}\cdots p_{a_{n-1}{a}_n}$$
（$k\in \mathbb{Z}$, $n\ge 0$）を満たす $\sigma$ 不変ボレル確率測度 $\mu$（マルコフ測度）を考える。$P$ は既約かつ非周期的なので、このような $\pi$ はただ 1 つに定まる。

$\mu$ に関する $\sigma$ の測度論的エントロピー $h_{\mu }(\sigma )$ を求めよ。

記号の集合 $\{1,2,3\}$ と行列
$$A=\left(\begin{array}{ccc}1& 1& 1\\ 1& 0& 0\\ 1& 0& 0\end{array}\right)$$
に対し、
$$X_A=\left\{x=(x_n{)}_{n\in \mathbb{Z}}\in \{1,2,3{\}}^{\mathbb{Z}}|\text{すべての }n\in \mathbb{Z}\text{ について }{A}_{x_n{x}_{n+1}}=1\right\}$$
とし、積位相の誘導位相を入れる。$\sigma :X_A\to X_A$ を左シフト $(\sigma x{)}_n=x_{n+1}$ とする。

さらに、確率ベクトル $\pi =({\pi }_1,{\pi }_2,{\pi }_3)$ と確率行列
$$P=\left(\begin{array}{ccc}\frac{1}{3}& \frac{1}{3}& \frac{1}{3}\\ 1& 0& 0\\ 1& 0& 0\end{array}\right)$$
で $\pi P=\pi$ を満たすものをとり、$X_A$ 上のマルコフ測度 $\mu$ を、任意の整数 $m$、0 以上の整数 $k$ と記号 $a_0,\dots ,a_k$ に対して
$$\mu \left(\{x\in X_A\mid x_m=a_0,x_{m+1}=a_1,\dots ,x_{m+k}=a_k\}\right)={\pi }_{a_0}{P}_{a_0{a}_1}{P}_{a_1{a}_2}\cdots P_{a_{k-1}{a}_k}$$
で定める（$\mu$ は $\sigma$ 不変な確率測度である）。

$\sigma$ の位相エントロピー $h_{\mathrm{top}}(\sigma )$ と、$\mu$ に関する測度論的エントロピー（コルモゴロフ・シナイエントロピー）$h_{\mu }(\sigma )$ を、この順に組 $\left(h_{\mathrm{top}}(\sigma ),h_{\mu }(\sigma )\right)$ で求めよ。ただし $\log$ は自然対数とする。

${\mathbb{N}}_0=\{0,1,2,\dots \}$ とし、$X=\{0,1{\}}^{{\mathbb{N}}_0}$ 上の片側シフト $\sigma :X\to X$ を $(\sigma x{)}_n=x_{n+1}$ で定める。$X$ には積位相とボレル集合族を入れる。シリンダー集合を
$$[11]=\{x\in X:x_0=1,x_1=1\}$$
とする。$\sigma$ 不変なボレル確率測度 $\mu$ のうち $\mu ([11])=\frac{2}{3}$ を満たすもの全体を $\mathcal{M}$ とするとき、
$$\underset{\mu \in \mathcal{M}}{\sup }{h}_{\mu }(\sigma )$$
の値を求めよ。ただし $h_{\mu }(\sigma )$ は $\mu$ に関する $\sigma$ の測度論的エントロピー（コルモゴロフ–シナイのエントロピー）であり、対数は自然対数とする。

区間 $[0,1]$ 上のテント写像 $T:[0,1]\to [0,1]$ を
$$T(x)=\{\begin{array}{ll}2x& \left(0\le x\le \frac{1}{2}\right)\\ 2-2x& \left(\frac{1}{2}<x\le 1\right)\end{array}$$
で定める。点 $x\in [0,1]$ が $T^6(x)=x$ を満たし、かつ $1\le k\le 5$ のどの整数 $k$ についても $T^k(x)\ne x$ であるとき、$x$ を $T$ の最小周期 $6$ の周期点という。ここで $T^k$ は $T$ の $k$ 回合成である。

$T$ の最小周期 $6$ の周期点の個数を求めよ。

2 次元トーラス ${\mathbb{T}}^2={\mathbb{R}}^2/{\mathbb{Z}}^2$ 上の写像 $f:{\mathbb{T}}^2\to {\mathbb{T}}^2$ を、行列
$$A=\left(\begin{array}{cc}3& 1\\ 2& 1\end{array}\right)$$
により $f(x+{\mathbb{Z}}^2)=Ax+{\mathbb{Z}}^2$（$x\in {\mathbb{R}}^2$ は列ベクトル）で定める。点 $p\in {\mathbb{T}}^2$ が最小周期 $n$（$n$ は正の整数）をもつとは、$f^n(p)=p$ であり、かつ $1\le k<n$ を満たすどの整数 $k$ についても $f^k(p)\ne p$ であることとする。最小周期がちょうど $4$ である ${\mathbb{T}}^2$ の点の個数を求めよ。