論文「可算アルファベットにおける指定された異数成長」の技術的サマリー

著者: Ying Wai Lee
概要: 本論文は、正則変動（regularly varying）する枝重みを持つ完全分岐アフィン可算反復関数系（IFS）によって生成される数字展開において、出現する「異なる数字（記号）」の個数（異数カウント）の成長率を指定した集合のハウスドルフ次元を決定するものである。特に、異数カウントが正の線形成長率を示す場合と、広範な指定された部分線形成長率を示す場合の例外集合の次元を解析し、両者の間に鋭い位相転移が存在することを示した。

---

1. 問題設定と背景

1.1 背景

確率論、数論、力学系、フラクタル幾何学の交差点において、「異なる値の統計（distinct-value statistics）」は重要な観測量である。可算アルファベット（ここでは自然数 $\mathbb{N}$）上で定義された記号過程 $\Xi = (\xi_n)_{n \in \mathbb{N}}$ において、時刻 $n$ までに出現した異なる記号の個数 $D_n$ を以下のように定義する：
$$D_n := \#\{\xi_1, \dots, \xi_n\}$$
この量は、無限壺の占有問題（infinite-urn occupancy scheme）における占有された箱の数、数論的展開における数字の多様性、あるいは力学系における非加法的観測量として解釈される。

1.2 研究対象

本研究は、単位区間 $[0, 1)$ 上のアフィン完全分岐可算反復関数系に焦点を当てる。

• 区間は可算個の部分区間に分割され、各枝はアフィン写像によって全体区間 $[0, 1)$ に写される。
• ルベーグ測度のもとで、生成される数字過程は独立同一分布（i.i.d.）となる。
• 古典的な**リュロート展開（Lüroth expansion）**はこの枠組みの代表的な例である。
• 数字の重み（枝の長さ）$p_k$ が正則変動（regularly varying）、すなわち尾指数 $\rho \ge 1$ を持つ場合（$p_k \sim k^{-\rho} L(k)$）を仮定する。

1.3 先行研究との対比

連分数展開（Wu-Xie [21]）において、異数カウント $R_n$ の成長に関する以下の結果が知られている：

• 部分線形成長（$n^\beta, 0<\beta<1$）の例外集合は次元 1 を持つ。
• 線形成長（$n$）の例外集合は次元が $1/2$ に低下する。
  本研究は、連分数（非独立）ではなく、i.i.d. 過程（独立）であるアフィン IFS において、この現象がどのように一般化するか、また尾指数 $\rho$ が次元の低下値にどう影響するかを解明する。

---

2. 主要な結果

本研究の核心は、異数カウントの成長率を指定した集合のハウスドルフ次元における鋭い位相転移の発見である。

定理 1：線形成長率の場合

任意の $0 < \theta \le 1$ に対して、異数カウントが線形に成長する集合
$$E_\theta := \left\{ x \in [0, 1) : \lim_{n \to \infty} \frac{D_n(x)}{n} = \theta \right\}$$
のハウスドルフ次元は、尾指数 $\rho$ によってのみ決定される：
$$\dim E_\theta = \frac{1}{\rho}$$

• 意義: 正の線形成長率を課すことは、フル次元（1）からの厳密な次元低下を強制する。低下後の値は成長率 $\theta$ に依存せず、システムが持つ「重さの尾の厚さ（$\rho$）」だけで決まる普遍的な値となる。
• 例: 古典的リュロート展開では $\rho=2$ であるため、$\dim E_\theta = 1/2$ となり、連分数の結果と一致する。

定理 2：部分線形成長率の場合

広範なクラスに属する「許容可能な（admissible）」部分線形関数 $f(n)$ に対して、
$$E_f := \left\{ x \in [0, 1) : \lim_{n \to \infty} \frac{D_n(x)}{f(n)} = 1 \right\}$$
のハウスドルフ次元は常に1である。

• 許容条件: $f(n)$ は有界でない、$f(n)\log f(n)/n \to 0$、かつ $0 \le f(n+1)-f(n) \le 1$ を満たす。
• 帰結: 多項式成長 $n^\beta$ ($0<\beta<1$) や、線形成長率が 0 に収束する集合も、すべてフル次元（次元 1）を持つ。

結論としての位相転移

• 部分線形領域: 指定された成長率が $o(n)$ である限り、例外集合はフル次元を維持する。
• 線形領域: 成長率が $O(n)$（正の線形）になると、次元は瞬時に $1/\rho$ に崩壊する。
  この現象は、連分数の非独立過程だけでなく、i.i.d. 過程においても普遍的に成立する。

---

3. 手法と証明の概要

3.1 下限の証明（Mass Distribution Principle）

集合の次元が $s$ 以上であることを示すために、その部分集合に支持された確率測度を構成し、質量分布原理を適用する。

• ブロック連結構成法: 数字列を「ブロック」に分割し、各ブロック内で特定の数の新しい数字（異数）が出現するように制御された部分集合 $F_\theta$ や $F_{f,t}$ を構成する。
• 定理 1 の場合: 各ブロックで $\theta$ 倍の新しい数字が出現するように設計し、正則変動の性質（ポッターの不等式など）を用いて、 cylinder の直径と測度の関係を評価する。
• 定理 2 の場合: 「強制された数字（新しい数字）」と「自由な数字（既存の数字）」を交互に配置する構成を行う。$f(n)$ が許容条件を満たす場合、強制された数字の頻度が十分低く抑えられ、測度のスケーリングが次元 1 に収束するように調整される。

3.2 上限の証明（Hausdorff-Cantelli と Tilting）

集合の次元が $s$ 以下であることを示すために、被覆数（covering number）の評価を行う。

• Hausdorff-Cantelli 補題: 線形成長を満たす cylinder の集合の和集合の Hausdorff 測度が 0 になることを示す。
• Tilting（測度の変更）: 正則変動する重み $p_k$ に対して、$p_k^s$ に比例する新しい確率分布を導入する。これにより、異数カウントが線形に成長する事象の確率を評価しやすくする。
• 二項分布の近似: 異数カウントが閾値を超える事象を、二項分布の確率評価に帰着させ、級数の収束性を示すことで、次元が $1/\rho$ 以下であることを導出する。

---

4. 貢献と意義

1. 独立過程における次元法則の確立:
   連分数のような相関のある過程だけでなく、i.i.d. 過程（アフィン IFS）においても、異数カウントの成長率とハウスドルフ次元の間に明確な関係が成立することを初めて体系的に示した。

2. 尾指数による普遍性の解明:
   線形成長率における次元の低下値が、システムの具体的な詳細（$\theta$ の値など）ではなく、重み分布の「尾の指数 $\rho$」だけで決定されるという普遍的な法則を明らかにした。

3. 位相転移の厳密な定式化:
   「部分線形成長ではフル次元」「線形成長では次元崩壊」という、成長率の微小な変化に対する次元の劇的な変化（位相転移）を、i.i.d. 設定で厳密に証明した。

4. 応用可能性:
   この結果は、情報理論（符号の多様性）、統計力学（占有数問題）、および数論的展開の異常な振る舞いを記述する集合の幾何学的サイズを評価する際の基礎的な枠組みを提供する。

本論文は、確率過程の統計的性質とフラクタル幾何学の深いつながりを示す重要な成果であり、特に「異数」の成長という単純な観測量が、システムの尾の性質を反映して次元の劇的な変化を引き起こすことを明らかにしている。