Prescribed realisation of longest runs in continued fractions

技術的要約：連分数における最長連続出現回数の所定の実現

問題提起
本論文は、区間 $[0, 1)$ 内の無理数における連分数展開の最長連続出現回数（longest runs）のアシンプトティックな挙動を調査している。最長連続出現に関する観点は、従来、以下の2つの異なる視点から研究されてきた：

1. 固定記号の最長連続出現 ($L_n(x, \lambda)$): 最初の $n$ 項内における、特定の部分商の値 $\lambda$ が連続して現れる最大長。
2. 全体の最長連続出現 ($R_n(x)$): 最初の $n$ 項内における、任意の（あらゆる）部分商の値が連続して現れる最大長。

先行研究（Song–Zhou, Wang–Wu など）は、ほとんどすべての $x$ に対して、これらの量が特定の対数的な成長則に従うことを確立した。さらに、これらの成長率が典型的な法則から逸脱したり、所定の成長スケールに従ったりする、フル・ハウスドルフ次元を持つ例外集合も存在する。しかし、以下の2つの処定（prescription）の間の相互作用を理解するという点において、空白が残されていた：

• 固定された記号の成長を所定とするだけでは、その特定の記号 $\lambda$ が全体の最長連続出現の長さを担うものになるという保証はない。
• 逆に、全体の最長連続出現の成長を所定としても、どの記号がそれを達成するかまでは指定できない。

中心となる問題は、ある特定の記号 $\lambda$ が、所定の成長率を示すだけでなく、あらゆる段階において他のすべての記号に対して最長連続出現の長さにおいて一意に支配的となるような、フル・ハウスドルフ次元の集合を構成できるか否かである。

手法
著者は、特定の組合せ論的および力学的な性質を持つカンター型集合の作成を用いた、構成的なアプローチを採用している。

1. 許容関数 (Admissible Functions): 成長率は、「許容される」関数 $f: \mathbb{N} \to \mathbb{N}$ によって制御される。ここで、$f$ は非減少かつ非有界な関数であり、$\lim_{n \to \infty} \frac{f(n+f(n))}{f(c)} = 1$ を満たすものとする。このクラスは、対数スケールに限定されていた従来の知見を一般化するものである。
2. カンター集合の構成: 部分商のブロックを反復的に定義することによって、集合 $\mathcal{K}_{\lambda, f, M, B}$ を構成する。
   • 構成は、展開をステージ $k$ ごとに分割する。
   • 「自由な」数字を保持し、さらに細分化する。
   • 決定的な手法として、ターゲットとなる記号 $\lambda$ の特定の「所定の」ブロック（長さ $s_k \approx f(t_k)$）を挿入する。
   • 自由なセグメントと所定のブロックとの間に「セパレーター（分離子）」となる数字（$\sigma_1 = \lambda+1, \sigma_2 = \lambda+2$）を挿入することで、境界を越えて $\lambda$ や他の記号による予期せぬ長い連続が発生することを防ぐ。
3. 次元の推定:
   • 連分数に適応させた質量分布原理を用いて、ハウスドルフ次元を推定する。
   • 重要な技術的ステップは、収束の分母を決定する結合関数 (continuant function) $K(\omega)$ の分析である。
   • 著者は、セパレーターと所定のブロックの挿入が、結合理論（continuant）を制御可能な形で歪ませることを示す歪み補題（Lemma 7 および 8）を確立している。具体的には、拡張された語の結合理論と元の語の結合理論の比が有界であることを示し、これにより、構成された集合の次元を、より単純な集合 $\mathcal{F}_B$（有界部分商を持つ数）の次元に関連付けることが可能となる。
   • $B \to \infty$ および $\alpha \to 1$ と極限を取ることで、次元が 1 に近づくことが示される。

主要な貢献と結果

定理 1 (主定理):
任意の所定の記号 $\lambda \in \mathbb{N}$ および任意の許容成長関数 $f$ に対して、以下の集合
$$E_{\lambda, f} = \left\{ x \in [0, 1) \setminus \mathbb{Q} : \lim_{n \to \infty} \frac{L_n(x, \lambda)}{f(n)} = 1 \text{ かつ } \forall n, \forall \mu \neq \lambda, L_n(x, \lambda) > L_n(x, \mu) \right\}$$
は、ハウスドルフ次元が 1 である。

この結果は、特定の記号 $\lambda$ の最長連続出現の成長率を所定とし、かつ、その記号が全体の最長連続出現の唯一の最大化因子となることを同時に達成している。

系:

1. 洗練された固定記号の結果: 最長連続出現の長さが正確に $f(n)$ として成長する固定記号 $\lambda$ の集合は、次元 1 を持つ。これは、対数スケールに限定されていた Song–Zhou の結果を、任意の許容関数 $f$ を用いることで一般化したものである。
2. 洗練された全体の結果: 全体の最長連続出現が正確に $f(n)$ として成長する集合は、次元 1 を持つ。これは Wang–Wu の結果を回収するものであるが、最大化する記号を事前に指定できるという制約を加えている。
3. 所定の支配: 特定の記号 $\lambda$ が、最長連続出現の長さにおいて他のすべての記号を厳密に支配する（最終的に、かつ構成された集合においては実際にすべての $n$ において）集合は、次元 1 を持つ。これは、既存の文献では確立されていなかった新しい現象である。

意義
本論文は、既存の例外集合定理に対する「真の同時的な洗練（genuine simultaneous refinement）」を提供すると主張している。全体の最長連続出現を担う記号を、ハウスドルフ次元を損なうことなく事前に固定できることを示すことにより、本研究は「固定記号」の理論と「全体の最長連続出現」の理論の間の溝を埋めている。これは、全体の最長連続出現の問題における「最大化記号」が、完全に所定可能であることを示している。また、極端なランレングス（連続出現長）の挙動は、たとえ成長率が（許容関数の範囲内で）任意に所定であっても、特定の記号に特有であり、かつ他を圧倒するものとして設計可能であることを証明しており、連分数における非典型的な挙動への理解を深めるものである。