On the maximal run-length function in the Lüroth expansion

この論文は、リュロート展開における最初の$n$桁の最大連続長$\ell_n(x)$が線形成長を示す例外集合のハウスドルフ次元を、$\liminf$と$\limsup$の値$\alpha, \beta$の関数として決定するものである。

要約

この論文は、数学の「ルロート展開（Lüroth expansion）」という、数字を並べて数を表す不思議な方法について書かれたものです。専門用語が多いので、ここでは**「数字の並べ方」と「連続する同じ数字の塊」**という視点から、誰でもわかるように解説します。

1. 物語の舞台：ルロート展開とは？

まず、私たちが普段使っている「10 進法（0.1234...）」や「2 進法」のように、ルロート展開という方法でも、0 から 1 の間のどんな数字も、整数の羅列（2, 3, 5, 2, 2, 2...）で表すことができます。

この論文の主人公は、**「同じ数字が何回連続して出てくるか」**という長さです。
例えば、数字の羅列が 2, 3, 5, 2, 2, 2, 2, 7... だった場合、「2」が 4 回連続しています。これを「ランレングス（連続長さ）」と呼びます。

2. 発見された「法則」と「例外」

これまでの研究では、ランレングス（連続長さ）は、数字の総数が増えるにつれて、**「対数的に（ゆっくりと）」成長することがわかっていました。
つまり、数字を 100 桁並べたとき、連続する同じ数字の最大長さは「10 回」くらい、1000 桁なら「15 回」くらい、という感じで、「全体に対して非常に小さい割合」**でしか増えません。

しかし、この論文は**「もし、ランレングスが『対数』ではなく、『線形（全体に比例して）』に爆発的に増えたらどうなるか？」**という、極めて特殊なケース（例外）に注目しました。

• 通常のケース： 連続長さは「ゆっくり」増える。
• この論文が調べるケース： 連続長さが「数字の総数の 1 割、2 割、あるいは半分」もの割合で増えるような、**「異常に長い連続ブロック」**を持つ数字たち。

3. 研究の核心：「どのくらい特殊な数字なのか？」

著者たちは、この「異常に長い連続ブロック」を持つ数字の集まり（例外集合）が、**「どのくらい多い（あるいは少ない）のか」**を測りました。

数学では、この「多さ」を**「ハウスドルフ次元（Fractal Dimension）」**という値で表します。

• 次元 1： 数直線全体と同じくらい多い（普通の数字）。
• 次元 0： ほとんど存在しない（砂粒のような存在）。
• 0 と 1 の間： 普通の数直線より少ないが、完全にゼロではない「フラクタル（自己相似的な複雑な構造）」を持つ集まり。

4. 論文の結論：「魔法の式」で答えが出る

著者たちは、以下の条件を満たす数字の集まりの次元を、完璧に計算し出す式を見つけました。

• 条件 A： 長い連続ブロックが、全体に対して「少なくとも α（アルファ）の割合」で現れる。
• 条件 B： 長い連続ブロックが、全体に対して「最大 β（ベータ）の割合」まで現れる。

この 2 つの割合（α と β）が決まれば、その数字の集まりの「複雑さ（次元）」は、**「β の値と、α と β の関係」**だけで決まってしまうのです。

論文の結論を簡単に言うと：

「もし、連続する数字の塊が、全体の半分（β=0.5）くらいまで伸びるような数字を探そうとしたら、その数字の集まりは、『ある特定の複雑さ（フラクタル次元）』を持っており、その値は、α と β の組み合わせによって、『0（存在しない）』から『1（普通）』の間で正確に計算できる。」

特に面白いのは、**「α が大きすぎる場合（つまり、常に一定の割合で連続しすぎている場合）」は、その数字の集まりは「存在しない（次元 0）」**になってしまうという点です。これは、「常に一定のルールで連続しすぎる数字は、ルロート展開の法則に反して、実は存在できない（または極めて稀すぎる）」ことを意味しています。

5. 日常へのアナロジー：「砂漠の砂粒とオアシス」

この研究をイメージしてみましょう。

• 0 から 1 の数字の世界は、広大な**「砂漠」**です。
• 通常の数字は、砂漠の大部分を占める**「砂粒」**です。
• **ルロート展開の「連続する数字」は、砂漠に現れる「オアシス（水たまり）」**のようなものです。通常は小さな水たまり（対数的成長）しかできません。

この論文は、**「巨大な湖（線形成長）」**ができるような、とてつもなく特殊な砂漠の場所を探しました。

• 著者の発見： 「もし、湖の面積が砂漠全体の『10%』から『30%』を占めるような場所を探せば、そこには**『特定の形をした、不思議な島（フラクタル次元を持つ集合）』**が存在する」
• そして、「もし湖の面積が『常に 50%』以上になるような場所を探そうとすれば、**『そんな島は存在しない（次元 0）』**ことがわかった」

まとめ

この論文は、**「数字の並び方における、とてつもなく長い『連続』を持つ数字たちが、数学的にどのくらい『特殊』で『複雑』な存在なのか」**を、正確な数式で明らかにしたものです。

まるで、**「砂漠の中で、特定の大きさの湖ができる場所の『地形の複雑さ』を、地図の座標だけで完璧に予測する」**ような、緻密で美しい数学的な地図作りを行ったと言えます。

これにより、ランレングス（連続長さ）が「対数」ではなく「線形」で成長する、極めて稀な現象の正体が、数学的に解き明かされたのです。

技術概要

この論文は、リュロート（Lüroth）展開における「最大ランレングス関数（maximal run-length function）」の漸近的挙動、特に線形成長を示す例外集合のハウスドルフ次元（Hausdorff dimension）に関する研究です。以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、意義に分けて記述します。

1. 問題設定 (Problem)

• 背景: リュロート展開は、実数 $x \in (0, 1]$ を整数列 $d_n(x) \ge 2$ を用いて展開するもので、連分数展開や $\beta$ 展開と同様に数論的・測度論的な研究対象となっています。
• ランレングス関数: $x$ のリュロート展開の最初の $n$ 桁において、連続して現れる同じ数字のブロックの最大長を $\ell_n(x)$ と定義します。
• 既知の結果: Sun と Xu [12] によって、ほとんどすべての $x$ に対して $\ell_n(x) \sim \log_2 n$ であることが示されています（大数の法則）。また、$\ell_n(x)$ が対数成長から逸脱する例外集合（$\liminf$ や $\limsup$ が特定の値になる集合）のハウスドルフ次元が 1 であることも示されています。
• 本研究の目的: 対数成長ではなく、線形成長（$\ell_n(x)$ が $n$ に比例する）を示す場合の微細なマルチフラクタル構造を解明することです。具体的には、以下の集合 $E(\alpha, \beta)$ のハウスドルフ次元を決定します。
  $$E(\alpha, \beta) = \left\{ x \in (0, 1] : \liminf_{n\to\infty} \frac{\ell_n(x)}{n} = \alpha, \quad \limsup_{n\to\infty} \frac{\ell_n(x)}{n} = \beta \right\}$$
  ここで $0 \le \alpha \le \beta \le 1$ です。

2. 手法 (Methodology)

本研究は、ハウスドルフ次元の上限と下限をそれぞれ独立に評価する標準的なアプローチを採用しています。

• 上限の評価 (Upper Bound):

  • 被覆の構成: 集合 $E(\alpha, \beta)$ に属する点の展開列が満たす条件（特定の長さの同じ数字のブロックが頻繁に現れる）に基づき、適切なシリンダー（区間）で集合を被覆します。
  • ケース分け: パラメータ $(\alpha, \beta)$ の関係、特に $\beta=0, \beta=1$、および $0 < \beta < 1$の場合（さらに$\alpha$と$\frac{\beta}{1+\beta}$ の大小関係）で議論を分けます。
  • モーラン型公式と補題: 特定の数字の制限された集合の次元を評価するためのモーラン型公式（Lemma 2.3）や、指数関数的な和の評価（Lemma 2.8）を用いて、被覆の $s$ 次元ハウスドルフ測度が有限になる $s$ の値を特定します。
  • 重要な洞察: $\alpha > \frac{\beta}{1+\beta}$ の場合、そのような点の集合は可算集合（または空集合）に収束し、次元が 0 になることを示しています。これは、ランレングスの下限と上限の比率に制約があるため、周期点以外の点では達成不可能であることを意味します。

• 下限の評価 (Lower Bound):

  • 部分集合の構成: $E(\alpha, \beta)$ に含まれる具体的な部分集合 $G(M)$ を構成します。この集合の要素は、特定の区間 $[n_k, n_k+m_k]$ で数字がすべて「2」になり、他の区間では有界な整数（$2$から$M$）をとるような構造を持ちます。
  • パラメータの調整: 数列 $\{n_k\}$ と $\{m_k\}$ を、$\liminf \frac{m_k}{n_k} = \alpha$ および $\limsup \frac{m_k}{n_k} = \beta$ を満たすように設計します。
  • 写像とホールド連続性: 特定の位置の数字を削除する写像 $f$ を定義し、これがホールド連続（Hölder continuous）であることを示すことで、元の集合の次元の下限を保証します。
  • 質量分布原理 (Mass Distribution Principle): 構成された集合上の確率測度 $\mu$ を定義し、その測度が球に対して $r^s$ 程度で抑えられることを示すことで、次元が $s$ 以上であることを証明します。この際、モーラン型公式の一般化された形式を用いて、変化するパラメータ $u_k$ に対する次元 $s_M(u_k)$ の極限を評価します。

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

論文の主要な結果は、以下の定理 1.2 にまとめられています。

定理 1.2:
$u \ge 0$ に対して、方程式 $\sum_{t=2}^{\infty} \left( \frac{1}{2^u t(t-1)} \right)^s = 1$ の解を $s(u)$ とする。$0 \le \alpha \le \beta \le 1$に対して、集合$E(\alpha, \beta)$のハウスドルフ次元$\dim_H E(\alpha, \beta)$ は以下の通りである。

1. $\beta = 0$ の場合:
   $$\dim_H E(0, 0) = 1$$
   （これは、ほとんどすべての点で $\ell_n(x)/\log n \to 1$ であるという既知の結果と整合し、$\ell_n(x)/n \to 0$ となる集合が全次元を持つことを示唆）。

2. $\beta = 1$ の場合:
   $$\dim_H E(\alpha, 1) = 0$$
   （線形成長率が 1 に達する集合は、測度論的には非常に希薄である）。

3. $0 < \beta < 1$ の場合:

   • $\alpha > \frac{\beta}{1+\beta}$ の場合:
     $$\dim_H E(\alpha, \beta) = 0$$
     （この領域では、$\liminf$ と $\limsup$ の比率の制約により、そのような点の集合は可算または空になる）。
   • $0 \le \alpha < \frac{\beta}{1+\beta} < \beta < 1$ の場合:
     $$\dim_H E(\alpha, \beta) = s\left( \frac{\beta^2(1-\alpha)}{(1-\beta)[\beta - \alpha(1+\beta)]} \right)$$
     ここで $s(u)$ は前述の方程式の解です。

4. その他の場合:
   $$\dim_H E(\alpha, \beta) = 0$$

4. 意義と結論 (Significance)

• 理論的進展: 従来のランレングス研究が主に「対数成長」や「任意の緩慢な成長関数 $\phi(n)$」に焦点を当てていたのに対し、本研究は「線形成長（$n$ に比例する成長）」というより急激な成長率における例外集合の構造を初めて詳細に解明しました。
• マルチフラクタル解析の深化: $\alpha$ と $\beta$ のパラメータ空間における次元の挙動を完全に記述し、特に $\alpha$ と $\beta$ の間に存在する臨界値 $\frac{\beta}{1+\beta}$ が、集合の非自明性（次元が 0 になるか否か）の分岐点として機能することを明らかにしました。
• 手法の一般化: 構成された部分集合と質量分布原理の組み合わせ、および変化するパラメータを持つモーラン型公式の適用は、他の数論的展開（$\beta$ 展開、連分数など）における同様の問題に応用可能な強力な手法を提供しています。
• 関連分野への貢献: 二進展開（dyadic expansion）における Erdős と Rényi の古典的な結果を、リュロート展開という非定常な（あるいは異なる確率構造を持つ）系へと拡張し、ランレングス関数の普遍性と特殊性の両面を浮き彫りにしました。

総じて、この論文はリュロート展開の統計的性質、特に「同じ数字の連続」という現象が極端に頻発するケースの幾何学的複雑さ（ハウスドルフ次元）を定量的に評価した重要な成果です。