Decomposition of real numbers into sums of Lüroth sets

この論文「Decomposition of real numbers into sums of L¨uroth sets（ルロート集合への実数の分解）」は、ルロート展開（Lüroth expansion）の制約された数字（digits）によって定義される集合（ルロート集合）の和集合に関する研究です。著者らは、連分数展開における古典的な結果をルロート展開の文脈に拡張し、これらの集合の和が実数全体（モジュロ 1）を覆うかどうか、およびそのハウスドルフ次元について新たな結果を導出しています。

以下に、論文の技術的な要約を問題、手法、主要な貢献、結果、および意義の観点から詳述します。

1. 研究の背景と問題設定

• 背景: 実数を特定の制約付き数字表現（例：連分数の商やルロート展開の数字）を持つ数の和として分解する問題は、数論とフラクタル幾何学の交差点における重要なテーマです。特に、中点三分 Cantor 集合 $C_{1/3}$ の和 $C_{1/3} + C_{1/3} = [0, 2]$ となるような結果や、Hall や Hlavka による連分数の商が有界な集合（$F_{\le k}$）の和に関する研究が先行しています。
• 問題: ルロート展開は、連分数展開と類似の動的システム（ルロート写像）によって生成されますが、その構造は異なります。本研究の主な問いは以下の通りです：
  1. ルロート集合 $L_{\le k}$（数字が $k$ 以下）や $L_{\ge k}$（数字が $k$ 以上）の和集合が、実数全体 $\mathbb{R}$ とモジュロ 1 で同値（$\equiv \mathbb{R} \pmod 1$）になる条件は何か？
  2. これらの集合の和のハウスドルフ次元はどのように振る舞うか？
  3. 連分数における既知の結果（Hall の定理など）のルロート版は存在するか？

2. 手法と理論的枠組み

著者らは、以下の数学的ツールと構成法を組み合わせています。

• 一般 Cantor 集合としての構成:
  ルロート集合 $L_{N_1, N_2}$（数字が $N_1$ 以上 $N_2$ 以下）を、区間から開区間を逐次除去する「一般 Cantor 集合」として構成しました。これを「段階的完全構成（Stepwise Complete Construction: SCC）」と呼んでいます。
• 厚さ（Thickness）と $\gamma$ 値:
  Astels や Hlavka が開発した、Cantor 集合の和が区間を含むかどうかを判定するための「厚さ（thickness, $\tau$）」および関連量 $\gamma = \tau/(1+\tau)$ の概念を適用しました。
  • 条件 $\sum \gamma_i \ge 1$ が満たされ、かつ特定の幾何的条件（最大ギャップの埋め込み）が成立すれば、和集合は区間となり、モジュロ 1 で実数全体と一致します。
• ハウスドルフ次元の解析:
  有限集合 $A$ に対するルロート集合 $L_A$ の次元は、$\sum_{d \in A} (d(d-1))^{-s} = 1$ の解 $s$ として与えられます。Peres-Shmerkin の定理（IFS の和の次元に関する結果）を用いて、和集合の次元が $\min\{1, \dim A + \dim B\}$ となることを示しました。

3. 主要な結果と貢献

3.1. モジュロ 1 での合同性（Congruence Modulo 1）

定理 2.1（上限制約集合の和）:
連分数における Hall や Hlavka の結果に対応する、ルロート集合 $L_{\le k}$ の和に関する結果を確立しました。

• $L_{\le 3} + L_{\le 5} \equiv \mathbb{R} \pmod 1$
• $L_{\le 4} + L_{\le 4} \equiv \mathbb{R} \pmod 1$
• $L_{\le 3} + L_{\le 3} + L_{\le 3} \equiv \mathbb{R} \pmod 1$
• 反例: $L_{\le 3} + L_{\le 3} \not\equiv \mathbb{R} \pmod 1$（和集合は区間を含まない）。
• 未解決: $L_{\le 3} + L_{\le 4}$ が $\mathbb{R}$ と同値かどうかは未確認ですが、数値的証拠から同値である可能性が高いと推測され、予想 2.2 として提示されています。

定理 2.3（下限制約集合の和）:
$F_{\ge k}$ に関する Cusick-Lee の結果のルロート版です。

• 条件 $\sum_{j=1}^n \frac{k_j-1}{k_j(k_j-1)-1} \ge 1$ および $k_j$ の成長が緩やかである条件（式 2.2）を満たせば、$L_{\ge k_1} + \dots + L_{\ge k_n} \equiv \mathbb{R} \pmod 1$ となります。
• これにより、系 2.4 として $k L_{\ge k} \equiv \mathbb{R} \pmod 1$ が導かれました（$k \ge 2$）。これは、$k$ 個の $L_{\ge k}$ の和が実数全体を覆うことを意味します。

定理 2.5（混合制約集合の和）:
上限と下限が異なる集合の和に関する新しい結果です。

• $L_{\le k+2} + L_{\ge k} \equiv \mathbb{R} \pmod 1$ が成り立ちます。
• さらに、予想 2.6 として $L_{\le k} + L_{\ge k} \equiv \mathbb{R} \pmod 1$ が提唱されています。

3.2. ハウスドルフ次元（Dimension）

定理 2.9（和集合の次元）:
有限集合 $A, B$ に対して、$\dim(L_A + L_B) = \min\{1, \dim L_A + \dim L_B\}$ が成り立ちます。これは、Peres-Shmerkin の定理をルロート写像の IFS 構造に適用することで証明されました。

• 具体的には、$\dim L_{\le 3} \approx 0.6009 > 0.5$ であるため、$\dim(L_{\le 3} + L_{\le 3}) = 1$ となります。

定理 2.10（下限集合の次元の下限）:
Good の連分数に関する結果のルロート版として、任意の $k \ge 2$ に対して $\dim L_{\ge k} > \frac{1}{2} + \frac{1}{2 \log \max\{16, k\}}$ を示しました。

定理 2.11（下限集合の和の次元）:
任意の $k \ge 2$ に対して、$\dim(L_{\ge k} + L_{\ge k}) = 1$ が成り立ちます。これは $L_{\ge k}$ の次元が $1/2$ を超えることを示す補題（Proposition 7.2）に基づいています。

• 予想 2.12: $L_{\ge k} + L_{\ge k}$ は正の長さの区間を含むと予想されています（Shulga のアルゴリズムのルロート版への拡張の試み）。

4. 意義と将来の展望

• 理論的拡張: 連分数の理論（Hall, Hlavka, Cusick, Astels などの業績）を、ルロート展開という異なる数論的表現系に体系的に拡張しました。これにより、数論的性質とフラクタル幾何学の関係性がより一般的に理解されるようになりました。
• 動的システムとの関連: ルロート写像は線形区間を持つ無限個の区画からなる写像であり、その不変集合（ルロート集合）の和集合の解析は、動的システム理論における重要な課題です。
• 未解決問題の提示:
  • $L_{\le 3} + L_{\le 4}$ の合同性。
  • $L_{\le k} + L_{\ge k}$ の完全な合同性（予想 2.6）。
  • Shulga のアルゴリズムのルロート版への適用可能性。
  • 「よく近似される数」と「 badly approximable 数」の和としての実数分解（予想 2.8）への示唆。

この論文は、ルロート展開の和集合に関する基礎的な枠組みを確立し、今後の数論的フラクタル研究の重要な足掛かりとなっています。