Badly approximable points on non-linear carpets

この論文は、Das らが 2019 年に提起した問いに答える形で、非線形かつ非共形なアトラクターにおいて「 badly approximable 点」の集合が全次元で交わることを示す最初のクラスを特定し、さらにそのアトラクターのハウスドルフ次元に関する公式を導出したことを報告しています。

要約

🎨 論文のタイトル：「非線形カーペット上の『近似されにくい点』」

1. 物語の舞台：「分数で表せない数字」と「複雑な図形」

まず、2 つの概念を理解しましょう。

• 悪い近似数（Badly Approximable Points）：
  想像してみてください。あなたが「無理数（$\sqrt{2}$ や $\pi$ など）」を、簡単な分数（$1/2, 22/7$ など）で表そうとします。
  多くの無理数は、ある程度大きな分数を使えば、非常に正確に表せます。しかし、**「どんなに頑張っても、分数で表そうとすると、どうしても一定の誤差が残ってしまう」という stubborn（頑固な）な数字がいます。
  これを「悪い近似数」**と呼びます。これらは、分数という「網」にかかりにくい、非常に逃げ足の良い魚のような存在です。

• カーペット（フラクタル図形）：
  正方形の紙を、特定のルールでくり抜き、残った部分をさらに小さくくり抜いていくと、複雑で美しい「カーペット」のような図形が生まれます。これをフラクタルと呼びます。
  従来の研究では、このカーペットが「直線的（リニア）」なルールで作られている場合、そのカーペットの上にも「悪い近似数（逃げ魚）」が、カーペット全体の複雑さ（次元）と同じだけ存在することがわかっていました。

2. 問いかけ：「曲がったカーペット」でも同じか？

ここが今回の研究の核心です。
これまでの研究は、カーペットが「直線的なルール（アフィン変換）」で作られている場合に限られていました。しかし、現実の世界やより複雑な数学的モデルでは、**「曲がったルール（非線形）」**で図形が作られることがあります。

• 比喩：
  • 直線的なカーペット： 正方形のブロックを積み重ねて作る、整然としたタイルの壁。
  • 非線形のカーペット： 粘土をこねたり、ゴムを歪めたりして作る、歪んで曲がった複雑な壁。

2019 年の研究者たち（Das, Fishman, Simmons, Urbański）は、**「この『歪んだ（非線形な）』カーペットの上にも、逃げ魚（悪い近似数）が満遍なく住んでいるのか？」**という疑問を投げかけました。

3. この論文の発見：「逃げ魚は、歪んだ壁でも逃げ場がある！」

著者たち（Anttila, Fraser, Koivusalo）は、この疑問に**「YES」**と答えました。

• 発見のポイント：
  彼らは、直線的なルールだけでなく、**「曲がったルール（非線形）」**で作られたカーペットでも、その図形が「ある程度の広がり（特定の方向に潰れていないこと）」を持っていれば、その上には「悪い近似数」が、図形全体の複雑さと同じだけ存在することを証明しました。

• どうやって証明したの？（シュミットのゲーム）
  彼らは「シュミットのゲーム」という数学的なゲームを使いました。

  • ゲームのルール： 2 人のプレイヤーが、図形の上で点を打ち合い、一方が「逃げ魚」を見つけようとし、もう一方がそれを避けようとするゲームです。
  • 結果： このゲームを使って、「逃げ魚」がカーペットのあちこちに逃げ場を持っていることを示しました。

4. 重要なテクニック：「拡大鏡と縮小鏡」

彼らが使った面白い方法は、**「微細な部分を見て、全体を推測する」**というアプローチです。

1. 拡大鏡（サブシステム）：
   歪んだカーペットの「ごく一部」を、さらに小さな部分に切り取って拡大してみます。
2. 近似：
   驚くことに、その「ごく一部」を拡大して見ると、それは**「直線的なタイルの壁（自己アフィン集合）」**のように見えてきます。
3. 計算：
   直線的な壁については、すでに「逃げ魚」の数がわかっています。だから、その結果を「歪んだカーペット」全体に当てはめることができます。

まるで、**「巨大で歪んだモザイク画の、小さなタイル 1 枚だけを見れば、それが実は整然としたパターンになっている」**と気づくようなものです。

5. この研究の意義

• 数学的な壁を越えた：
  これまで「直線的な図形」しか扱えなかったディオファントス近似の理論を、「曲がった図形」の世界に広げました。
• 次元の公式：
  彼らは、これらの歪んだカーペットの「複雑さ（ハウスドルフ次元）」を計算する新しい公式も発見しました。これは、図形の形を数値化する上で非常に重要なツールです。

🌟 まとめ

この論文は、**「数学の世界で『逃げ足の良い数字（悪い近似数）』が、どんなに複雑で歪んだ図形（非線形カーペット）の上でも、その図形が潰れていなければ、必ず満遍なく存在する」**ことを証明した画期的な研究です。

まるで、**「どんなに曲がりくねった迷路（カーペット）でも、逃げ場（悪い近似数）は必ずあちこちに隠れている」**という、数学的な「逃げ場」の存在を確かなものにしたのです。

---

一言で言うと：
「歪んだフラクタル図形の上でも、分数で表しにくい『頑固な数字』が、図形全体に満遍なく存在することを、新しい数学的なゲームと拡大鏡のテクニックで証明しました！」

技術概要

この論文「BADLY APPROXIMABLE POINTS ON NON-LINEAR CARPETS（非線形カーペット上の badly approximable 点）」は、ディオファントス近似とフラクタル幾何学の交差点にある重要な問題に取り組み、Das–Fishman–Simmons–Urba´nski による 2019 年の未解決問題を解決した研究です。以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義に分けて詳細に記述します。

1. 問題設定 (Problem)

ディオファントス近似における中心的な概念の一つに「badly approximable 点（ badly approximable 点）」があります。これは、ディリクレの近似定理が定数倍の範囲内でしか改善できないような点（有理数ベクトルによる近似が最も困難な点）を指します。$R^d$ における badly approximable 点の集合を $Bad_d$ とします。

重要な未解決問題の一つは、**「与えられたフラクタル集合 $X$ と $Bad_d$ の共通部分のハウスドルフ次元が、$X$ 自身の次元と一致するか（すなわち、$dim_H(X \cap Bad_d) = dim_H X$ となるか）」**という問いです。

これまでに、この性質は以下のケースで確認されていました：

• 特定の Ahlfors 正則集合。
• 非集中条件（non-concentration conditions）を満たす自己アフィン・カーペット（例：Bedford-McMullen カーペット）。

しかし、**「非線形（non-linear）かつ非共形（non-conformal）」**な力学系によって定義されるフラクタル集合に対して、この性質が成り立つかどうかは不明でした。Das–Fishman–Simmons–Urba´nski は、Schmidt ゲームを用いてこの性質を示せるかどうかを問うていました（Question 1）。

2. 手法とアプローチ (Methodology)

著者らは、Schmidt ゲームと「修正された下限次元（modified lower dimension）」を組み合わせたアプローチを採用しました。

• Schmidt ゲームと双曲拡散性 (Hyperplane Diffusivity):
  集合 $X$ が $Bad_d$ と全次元で交わるための十分条件として、$X$ が「双曲拡散的（hyperplane diffuse）」であることが知られています。これは、$X$ が超平面に過度に集中していないことを意味します。Proposition 1.1 により、$X$ が閉集合で双曲拡散的であれば、$dim_H(X \cap Bad_d) \geq dim_L X$（下限次元）が成り立ちます。

• 修正された下限次元 (Modified Lower Dimension):
  多くの場合、$dim_L X < dim_H X$ となります。そのため、著者らは $X$ の部分集合 $Y$ の下限次元の上限（$dim_{ML} X = \sup \{dim_L Y : Y \subset X\}$）を評価する戦略をとりました。$dim_{ML} X = dim_H X$ かつ $X$ が双曲拡散的であれば、目的の結論が得られます。

• 非線形カーペットのモデル:
  対象とする集合は「非線形カーペット」です。これは、2 つの 1 次元自己共形 IFS（反復関数系）$f_i$ と $g_j$ を用いて、平面 IFS $S_{i,j} = (f_i, g_j)$ を定義し、そのアトラクタとして得られる集合です。これらは対角自己アフィン・カーペットの非線形版とみなせます。

• 記号空間と近似 (Symbolic Spaces and Approximation):
  非線形性の扱いとして、記号空間（symbolic space）における「Bara´nski カーペット」の理論を拡張しました。

  1. 元の非線形 IFS を、深さ $n$ の反復によって生成される部分系（subsystems）で近似します。
  2. 有界歪み条件（bounded distortion）により、これらの部分系は「自己アフィン・Bara´nski カーペット」に非常に近い構造を持ちます。
  3. 自己アフィン理論（特に Gatzouras-Lalley や Bara´nski カーペットの次元公式）を用いて、これらの近似系のハウスドルフ次元と下限次元を評価します。
  4. 非共形性（domination の欠如）を処理するために、異なる Lyapunov 指数を持つ測度を構成する技術（Proposition 3.3）を用い、下限次元がハウスドルフ次元に任意に近い値をとる部分系を構築しました。

3. 主要な貢献と結果 (Key Contributions and Results)

この論文の主な成果は以下の 3 つの定理に集約されます。

定理 2.1: 非線形カーペットのハウスドルフ次元の変分原理

座標 IFS が開集合条件（OSC）を満たす非線形カーペット $X$ について、そのハウスドルフ次元は、$X$ 上のエルゴード測度のハウスドルフ次元の上限として与えられます。
$$dim_H X = \sup \{ dim_H \mu : \mu \text{ is ergodic} \}$$
さらに、この次元は、部分系（深さ $n$ の反復）の最適化問題の極限として計算可能であることを示しました。これは、高次元の自己アフィン集合では一般に成り立たない変分原理が、この非線形設定では成立することを示すものです。

定理 2.2: 修正された下限次元の等式

同じ条件の下で、非線形カーペット $X$ について、修正された下限次元はハウスドルフ次元と一致します。
$$dim_H X = dim_{ML} X = \sup \{ dim_L X' : X' \subset X \}$$
この証明の核心は、非線形性の影響（指数関数的な歪み）が下限次元に悪影響を与えないように、適切な部分系（dominated な部分系）を構成し、その下限次元を制御することにあります。

定理 2.3: badly approximable 点の全次元性（Das–Fishman–Simmons–Urba´nski 問題への回答）

非線形カーペット $X$ が座標 OSC を満たし、かつ「少なくとも 1 つの列に 2 つ以上の写像が含まれ、かつ少なくとも 1 つの行に 2 つ以上の写像が含まれる」という条件（双曲拡散性を保証するための条件）を満たす場合、以下の等式が成り立ちます。
$$dim_H(X \cap Bad_2) = dim_H X$$
これは、Das–Fishman–Simmons–Urba´nski が提起した「非線形かつ非共形の力学系で定義されたフラクタルにおいて、Schmidt ゲームを用いて $Bad_d$ の全次元性を示せるか」という問いに対して、肯定的な回答を与えるものです。

4. 付随的な結果 (Parabolic Cantor Sets)

第 5 節では、Schmidt ゲームのアプローチが「放物型カンター集合（parabolic Cantor sets）」と呼ばれる、非一様に収縮する力学系で定義されるフラクタルにも適用可能であることを示しています（命題 5.1）。これは、無限生成の自己共形集合や、固定点で微分が 1 となる写像を含む系に対しても、 badly approximable 点の全次元性が成り立つことを示唆しています。

5. 意義と重要性 (Significance)

1. 未解決問題の解決:
   2019 年の Das–Fishman–Simmons–Urba´nski の問いに対し、非線形・非共形というより一般的なクラスで初めて肯定的な回答を得ました。これにより、ディオファントス近似とフラクタル幾何学の関係性が、線形（アフィン）な枠組みを超えて拡張されました。

2. 理論的枠組みの拡張:
   自己アフィン・カーペットの次元理論（特に Bara´nski や Gatzouras-Lalley の結果）を、非線形な設定へどのように拡張するかという技術的課題を解決しました。特に、有界歪み条件を用いた記号空間の近似と、Lyapunov 指数の制御による下限次元の評価は、今後の非線形フラクタル研究における重要な手法となります。

3. 変分原理の確立:
   非線形カーペットに対するハウスドルフ次元の変分原理（定理 2.1）は、それ自体が独立した興味深い結果であり、高次元の自己アフィン設定では一般的に成り立たない性質が、この特定の非線形クラスでは成立することを示しました。

4. 応用可能性:
   得られた手法は、Schmidt ゲームと下限次元の概念を組み合わせることで、他の動的に定義されたフラクタル集合（放物型カンター集合など）に対しても同様の結果を導く可能性を示しています。

総じて、この論文はディオファントス近似における「badly approximable 点」の研究を、より複雑で一般的な非線形フラクタルの領域へと押し広げた画期的な成果です。