土曜日

朝、ゆっくりおきて論文査読。午後、寝っころがってWang tile をあれこれ。観念して実際の構成の証明を読む。なるほど、なんとなくわかったので、昨夜やっていた簡略版の可能性をいじろうとしたが、それはまるでダメ。途中でうたた寝してしまった。もう愚直に証明をノートに書くことにした。論文はまわりまわって分かりにくいので、論文の構成を全面改訂する感じ。以下、概略。[Wang tile 問題の説明は 9/22 の日記 参照。論文は、J. Kari, Discrete Mathematics 160, 259 (1996).]

まず大事なのは、1次元区分線形写像　x_{n+1}=f(x_n) で、f(x)=2x for 2/3