Shadowing and Stability of Non-Invertible $p$-adic Dynamics

キャプリオ、レナルドッツィ、メッサウディ、ツォコナスによる論文「非可逆 p 進力学系のシャドーイングと安定性」の詳細な技術的要約を以下に示す。

1. 問題提起と文脈

本論文は、力学系の安定性理論における欠落を扱っており、特に零次元空間（p 進整数 $\mathbb{Z}_p$ や p 進数 $\mathbb{Q}_p$ など）および非可逆（非同相写像）に焦点を当てている。

• 背景: 正次元のコンパクト距離空間において、位相的安定性とシャドーイング性の関係は確立されている（ウォルターズの定理）。カンター空間（零次元）においては、この関係が同相写像に対しては最近、川口（2019）によって証明されたに過ぎない。
• 欠落: 古典的な結果は多くの場合、可逆性（同相写像）を仮定している。しかし、多くの自然な p 進力学系は非可逆である（例：シフト写像、局所的にスケーリングする写像）。本論文は、これらの非可逆な p 進写像がどのような条件下でシャドーイング性（擬軌道追跡）および様々な形態の構造的安定性（リプシッツ的および位相的）を示すかを調査する。

2. 手法

著者らは、p 進体の固有の性質に特化した関数解析、超距離幾何学、および不動点理論の組み合わせを採用している。

• 空間の定義: 本研究は、p 進ノルム $\|\cdot\|_p$ を備えた $X_p \in \{\mathbb{Z}_p, \mathbb{Q}_p\}$ に焦点を当てている。
• 主要概念:
  • シャドーイング: 写像 $f$ がシャドーイング性を持つとは、任意の $\delta$-擬軌道（$f(x_n) \approx x_{n+1}$ となる列）が、ある真の軌道と $\epsilon$-近傍にあることを意味する。
  • 安定性: 構造的安定性は、小さな摂動下での位相的共役を含む。本論文は、位相的安定性とリプシッツ構造的安定性（摂動がリプシッツ写像に制限される）を区別している。
• 解析的ツール:
  • バナッハの不動点定理: 列空間（$\ell^\infty$）上の縮小写像を定義することにより、共役やシャドーイング軌道を構成するために広く用いられている。
  • 右逆写像/左逆写像: 核心的な手法は、縮小写像の族を右逆または左逆として許容する写像を分析することに基づいている。
  • 双リプシッツ条件: 著者らは、縮小写像における安定性のために双リプシッツ性が必須かどうかを調査している。
  • 反例の構成: 最適性を証明するために、著者らは有限型部分シフトおよび局所定数ではない写像を用いて、特定の非シャドーイング写像を構成している。

3. 主要な貢献と結果

本論文は、非可逆な p 進力学系の安定性とシャドーイング性を特徴づける 4 つの主要な定理を提示している。

A. 右可逆写像（定理 3.1）

著者らは、連続写像 $f: X_p \to X_p$ がシャドーイング性を持ち、安定であるための十分条件を確立している。

• 条件: $f$ は、縮小写像（$\text{Lip}(R_i) < 1$）である右逆写像の族 $\{R_i\}_{i \in I}$ を許容する。
• 被覆条件: 像 $R_i(X_p)$ は空間 $X_p$ を分割しなければならない（すなわち、これらは開集合であり、互いに素であり、その和集合は $X_p$ である）。
• 結果: これらの条件下において、$f$ はシャドーイング性を持ち、強リプシッツ構造的安定であり、かつ位相的安定である。
• 応用: これは、$\mathbb{Z}_p$ 上のシフト写像 $\sigma$ や $(p^{-k}, p^k)$-局所スケーリング写像に関する既知の結果を一般化する。また、$\mathbb{Q}_p$ 上の同相な拡大写像にも適用される。

B. 最適性と反例（定理 3.3）

著者らは、定理 3.1 の条件が鋭いことを示している。

• 結果: 縮小写像を右逆として許容する連続写像 $f$ が存在するが、シャドーイング性、リプシッツ構造的安定性、または位相的安定性を持たない。
• メカニズム: この失敗は、「被覆」条件（空間の分割）が満たされない場合、または写像が「局所定数ではない」場合に発生する。
• 川口の結果の拡張: 本論文は、川口の結果を拡張し、局所定数ではない（ある開球上で定数となるものがない）位相的安定な写像は、シャドーイング性を持たなければならないことを示している。

C. 左可逆縮小写像（定理 3.6）

本論文は、左可逆（単射）である縮小写像 $R: X_p \to X_p$ を調査している。

• 条件: $R$ は双リプシッツ（$c_1 \|x-y\| \le \|R(x)-R(y)\| \le c_2 \|x-y\|$ を満たす）であり、かつ開像を持たなければならない。
• スケーリング性: $R$ が「スケーリング」縮小写像（特定の p 進的意味で距離の比率を保存する）である場合、安定性が成り立つ。
• 結果:
  • $\mathbb{Z}_p$ において: 任意の開双リプシッツ縮小写像は強リプシッツ構造的安定である。
  • $\mathbb{Q}_p$ において: 任意の双リプシッツスケーリング縮小写像は強リプシッツ構造的安定である。
• 必要性: 本論文は、縮小写像が双リプシッツでない場合、または開像を持たない場合、左可逆かつスケーリングであってもリプシッツ構造的安定性を満たさない可能性を示す例を提供している。

D. 摂動に関する技術的補題

手法の重要な部分は、これらの性質が小さなリプシッツ摂動（$\phi$）に対して頑健であることを証明することに関わっている。

• 補題 4.1: $f$ が縮小右逆写像を持つ場合、$f + \phi$（$\phi$ が小さい場合）も同様の性質を持つ縮小右逆写像を許容する。
• 補題 4.6 および 4.7: 像が開集合のまま保たれる限り、縮小写像の双リプシッツ性およびスケーリング性は、小さなリプシッツ摂動の下で保存される。

4. 意義と影響

1. ウォルターズの定理の拡張: 本論文は、シャドーイングと安定性の間の古典的なリンクを、以前は可逆力学系が支配していた非可逆・零次元の p 進設定に成功裏に適応させた。
2. 安定な系の新しいクラス: 縮小写像による右可逆性（シフト写像を一般化するもの）および特定の双リプシッツ縮小写像である、広範な新しい安定な p 進写像のクラスを特定している。
3. 条件の明確化: 反例（定理 3.3 および例 3.7）を提供することにより、単なる可逆性やある縮小逆写像の存在だけでは不十分であることを明確にしている。像の位相的構造（開性、分割）および計量的性質（双リプシッツ、スケーリング）が安定性にとって決定的である。
4. 応用: p 進力学系は物理学、暗号学、認知科学で使用されているため、これらの安定性結果は、ノイズや摂動に対するこれらの系を用いたモデルの頑健性に対する理論的基盤を提供する。

要約結論

本論文は、非可逆な p 進力学系の安定性に対する厳密な枠組みを確立している。空間を分割する縮小右逆写像の族に「分解」できる写像、および開像を持つ双リプシッツ縮小写像については、シャドーイング性と構造的安定性が保証されることを証明している。この研究は、古典的な正次元の安定性理論と、新興の零次元 p 進力学系の分野との間の溝を埋めている。