A note on the omega-chaos

コンパクト距離空間上の連続自己写像に対し、その無限直積写像が$\omega$-カオスとなるための十分条件を提示し、その結果を応用して特異な$\omega$-カオス写像の例を構成している。

要約

🌪️ 論文の核心：「無限の鏡の迷路」で起こる不思議な現象

この論文の著者、川口直樹さんは、ある「ルールに従って動き回るシステム」を無限に重ね合わせたときに、どんな奇妙なことが起きるかを研究しています。

1. 基本設定：単一のルールと無限の複製

まず、ある部屋（空間）の中で、人々が一定のルールに従って移動していると想像してください。

• 元のルール（関数 f）： 一人の人が、ある場所から次の場所へ移動するルールです。
• 無限の複製（直積 $X^N$）： さて、この部屋を無限個並べて、それぞれに同じルールを適用した「無限の鏡の迷路」を作ったとします。
  • ここでは、無限の部屋にそれぞれ一人ずつ人がいて、全員が同時に同じルールで動きます。
  • この「無限の迷路全体」を一つの巨大なシステムとして見たとき、そこにはどんな「カオス（混沌）」が生まれるのでしょうか？

2. 「$\omega$-カオス」とは？（運命の交差点）

ここで登場するのが、この論文のテーマである**「$\omega$-カオス（オメガ・カオス）」**です。

• 通常の「カオス」： 2 人の人が、最初は近くても、時間が経つと全く違う場所に行き、二度と戻ってこないような状態です（予測不能）。
• $\omega$-カオス（この論文の定義）：
  • 2 人の人が、「同じ未来（$\omega$-極限集合）」を共有しながらも、**「互いに到達できない未来」**も持っています。
  • アナロジー： 2 人の探検家が、無限の迷路を歩き回ります。
    • 彼らは、ある特定の「聖地（共通の未来）」に必ずたどり着きます（交差）。
    • しかし、彼らがたどり着く「聖地」の中には、もう一方の探検家には絶対にたどり着けない場所が無限にたくさん含まれています（非共通部分）。
    • しかも、その「聖地」には、永遠に同じ場所をぐるぐる回る「定住者（周期点）」もいれば、全く違う場所へ旅する「放浪者」もいます。
  • このように、「共通点」と「巨大な違い」が複雑に絡み合っている状態を「$\omega$-カオス」と呼びます。

3. この論文の発見：条件を満たせば「無限の迷路」は必ずカオスになる

川口さんは、**「元のルール（1 人の動き）が少しだけ複雑であれば、無限に重ねたシステムは必ず『$\omega$-カオス』になる」**という条件を見つけました。

• 条件のイメージ：
  1. 元のルールには、ある「定住者（周期点）」がいる。
  2. 元のルールには、その定住者とは違う「無限の放浪先（非周期の未来）」がある。
  3. この 2 つが、ある意味で「つながっている」。
• 結果： これらが揃っていれば、無限の迷路（$g$）を作った瞬間、そこには**「無限の人数」が、互いに「共通の未来」と「無限に異なる未来」を共有する奇妙な状態**が生まれます。

4. 驚くべき例：「近しいのに、決して混ざらない」

論文の最も面白い部分は、**「一見矛盾する性質」**を持つシステムの例を作ったことです。

• プロキシマル（Proximal）： 2 人の人が、時間が経つと**「限りなく近づき、ほぼ同じ場所にいる」**ようなシステムです。まるで双子のように歩調を合わせます。
• $\omega^*$-カオスではない： 通常、「カオス」だと、2 人の未来は大きく分かれるはずですが、このシステムでは「未来が完全に一致する」ような性質を持っています。
• しかし、$\omega$-カオスである： にもかかわらず、この論文の条件を満たすように作ると、**「近づきつつも、実は互いに到達できない無限の未来を持っている」という、「近しいのに、決して混ざらない」**という不思議なカオス状態が生まれます。

日常の例え：
2 人の双子が、同じリズムで歩き、常に隣り合っているように見えます（プロキシマル）。しかし、実は彼らの「心の内側（未来の記憶）」には、相手が決して知ることのできない、無限に広がる秘密の庭がそれぞれに存在している、という状態です。

📝 まとめ：この論文が伝えたかったこと

1. 単純なルールを無限に重ねると、驚くほど複雑な「カオス」が生まれる。
   • 1 人の動きが少し複雑なら、無限の集合体は「$\omega$-カオス」という高度な混乱状態になります。
2. 「カオス」には新しい種類がある。
   • 単に「予測不能」なだけでなく、「共通の未来」と「無限の違い」が共存する、より繊細な構造（$\omega$-カオス）が存在します。
3. 矛盾する性質が共存できる。
   • 「互いに近づき合う（安定）」と「未来が無限に異なる（不安定）」という、一見矛盾する性質を同時に持ったシステムが存在します。

この研究は、**「決定的なルール（数学的な法則）に従っているはずのシステムでも、無限の視点から見ると、驚くほど複雑で予測不能な『運命の交差点』が生まれる」**ことを示唆しています。まるで、単純なリズムで歌う合唱団が、無限に増えると、一人ひとりの声が全く異なる旋律を奏でながら、不思議なハーモニーを生み出すようなものです。

技術概要

以下は、Noriaki Kawaguchi による論文「A NOTE ON THE OMEGA-CHAOS（オメガ・カオスに関する注記）」の技術的な要約です。

論文の概要

本論文は、コンパクト距離空間上の連続自己写像の無限直積写像が「$\omega$-カオス（$\omega$-chaos）」となるための十分条件を提示し、その結果を応用して、従来のカオス理論における直観とは異なる性質を持つ（例えば、近接的でありながら$\omega^*$-カオスではないなど）写像の例を構成することを目的としています。

1. 問題設定と背景

• $\omega$-カオスの定義: 写像 $f: X \to X$ に対して、$\omega$-scrambled 集合（$\omega$-撹乱集合）$S$ が存在し、その濃度が非可算であるとき、$f$ は$\omega$-カオスであると言います。$\omega$-scrambled 集合 $S$ の任意の異なる 2 点 $x, y$ について、以下の条件を満たす必要があります：
  1. $\omega(x, f) \setminus \omega(y, f)$ が非可算集合である。
  2. $\omega(x, f) \cap \omega(y, f) \neq \emptyset$ である。
  3. $\omega(x, f) \setminus \text{Per}(f) \neq \emptyset$ である（$\omega$-極限集合に非周期的な点が含まれる）。
     ここで $\omega(x, f)$ は点 $x$ の$\omega$-極限集合、$\text{Per}(f)$ は周期点の集合です。
• 研究の動機: $\omega$-カオスは、軌道の漸近挙動の複雑さを記述する重要な概念ですが、無限直積空間における振る舞いや、他の力学系性質（近接性、混合性など）との関係は完全には解明されていませんでした。特に、$\omega^*$-カオス（より強い条件を持つカオス）との違いを明確にする例の構築が課題となっていました。

2. 主要な手法と定理

著者は、無限直積写像の$\omega$-カオス性を証明するために、以下のアプローチを採用しています。

主定理（Theorem 1）

写像 $f: X \to X$ の無限直積 $g = f^\mathbb{N}: X^\mathbb{N} \to X^\mathbb{N}$ が$\omega$-カオスとなるための十分条件を提示しました。
条件は以下の通りです：

• $X$ の閉部分集合 $\Lambda$ ($f(\Lambda) \subset \Lambda$) と、点 $p \in \Lambda, z \in X$ が存在する。
• 直積写像 $f \times f$ に対して、$\omega((p, z), f \times f) \cap \Delta \neq \emptyset$ （ここで $\Delta$ は対角集合）。
• $\omega(z, f) \setminus \Lambda$ が非可算集合である。
• $\omega(z, f) \setminus \text{Per}(f) \neq \emptyset$ である。

これらの条件が満たされれば、無限直積写像 $g$ は$\omega$-カオスとなります。

証明の鍵となる手法

• Kuratowski-Mycielski 定理の応用: 完全分離可能距離空間における稠密な $G_\delta$ 部分集合の性質を利用し、カントル集合（Cantor set）$S$ を構成します。
• 離散空間の積空間の構造: $\{p, z\}^\mathbb{N}$ 内のカントル集合 $S$ において、任意の異なる 2 点 $s, t$ に対して、ある成分 $m$ で $(s_m, t_m) = (z, p)$ となるように構成します。
• $\omega$-極限集合の射影: 射影写像 $\pi_m$ を用いて、$X$ 上の$\omega$-極限集合の性質を直積空間 $X^\mathbb{N}$ 上の$\omega$-極限集合に引き継ぎ、$\omega$-scrambled 集合の存在を導出します。

3. 主要な結果と帰結

主定理から導かれる 2 つの重要な帰結（Corollary）と、それに基づく具体例が提示されています。

帰結 1（Corollary 1）

点 $x$ の軌道とその$\omega$-極限集合 $Y = \{f^i(x)\} \cup \omega(x, f)$ に制限した写像 $h$ の無限直積 $g$ について、以下の条件が満たされれば $g$ は$\omega$-カオスです：

• $\omega(x, f)$ が非可算である。
• $\omega(x, f) \cap \text{Per}(f) \neq \emptyset$ （周期点を含む）。
• $\omega(x, f) \setminus \text{Per}(f) \neq \emptyset$ （非周期点を含む）。

帰結 2（Corollary 2）

$f$ が推移的（transitive）かつ非最小的（non-minimal）な場合、その無限直積 $g$ は$\omega$-カオスとなります。

• 推移性により $X = \omega(z, f)$ となる点 $z$ が存在し、Auslander-Ellis 定理を用いて最小集合 $M$ と点 $p$ を選び、主定理の条件を満たすことを示しています。

具体的な例（Examples）

本論文の最も重要な貢献の一つは、以下の「異常な」$\omega$-カオス写像の構成です。

1. 近接的でありながら$\omega^*$-カオスではない写像:

   • 円周 $S^1$ 上の写像を抽象的な$\omega$-極限集合として構成し、これを拡張した写像 $g$ を定義します。
   • この $g$ は**近接的（proximal）**です（任意の 2 点の軌道が無限回接近する）。
   • 近接的写像は$\omega^*$-カオスになり得ないことが知られていますが、この $g$ は$\omega$-カオスです。
   • また、トポロジカル・エントロピーは 0 です。

2. 混合的（mixing）かつ近接的でありながら$\omega^*$-カオスではない写像:

   • 既知の例（文献 [3], [10]）を応用し、近接的かつ混合的（あるいは弱混合かつ一様剛性）な写像 $f$ の無限直積 $g$ が、$\omega$-カオスでありながら$\omega^*$-カオスではないことを示しています。

3. 注意点（Example 3）:

   • 恒等写像を抽象的$\omega$-極限集合として持つ写像を構成すると、$\omega$-scrambled 集合の条件（非可算な差集合）を満たすように見えますが、実際にはすべての点が固定点となるため$\omega$-カオスにはなりません。これは、$\omega$-カオスの定義における「非周期的な点の存在」や「差集合の非可算性」の微妙な条件の重要性を強調しています。

4. 意義と貢献

• 無限直積写像の力学系性質の解明: 連続写像の無限直積が、元の写像の性質（推移性、混合性など）を保持しつつ、$\omega$-カオスという複雑な振る舞いを生み出すメカニズムを明確にしました。
• $\omega$-カオスと$\omega^*$-カオスの分離: 近接的写像や混合写像など、特定の強い力学系性質を持つ系であっても、$\omega$-カオスと$\omega^*$-カオスが必ずしも同値ではないことを示す具体的な反例（あるいは非自明な例）を提供しました。特に、近接的でありながら$\omega$-カオスである写像の存在は、カオスの階層構造の理解を深めるものです。
• 抽象的$\omega$-極限集合の応用: 抽象的$\omega$-極限集合（chain transitive な同相写像）の理論を組み合わせることで、多様な力学系性質を持つ写像の構成を可能にしました。

結論

Noriaki Kawaguchi のこの論文は、$\omega$-カオスの研究において、無限直積写像という新しい視点から十分条件を確立し、従来のカオス分類では捉えきれなかった「近接的でありながらカオス的な振る舞いをする写像」の存在を証明した点に大きな意義があります。これは、決定論的システムにおける予測不可能性の多様性を示す重要な成果です。