On the Connection Between Irrationality Measures and Polynomial Continued Fractions

技術要約：無理数度と多項式連分数との関連性について

問題提起
本論文は、基本的な数学定数（$\pi$、$e$、$\zeta(3)$、カタラン定数など）の無理性を証明するために、効率的なディオファントス近似を生成する多項式連分数（PCF）を特定するという課題に取り組んでいる。アペリーが$\zeta(3)$の無理性を証明するために用いたものなど、特定のPCFが有効であることは知られているが、どのような整数のペア $(a_n, b_n)$ が定義するPCFが非自明な無理数度 $\delta$ をもたらすかを決定する一般的な理論は存在しない。さらに、既存のアルゴリズム（Ramanujan Machineプロジェクトなど）は、数値的な一致に基づいて推測されるPCFを生成しているが、その効率性を検証したり、極限に関する明示的な知識なしに無理性を証明したりするための体系的な手法を欠いている。

手法
著者らは、整数係数の線形漸化式によって定義される任意のPCFに対して、アペリーの特定のアプローチを一般化している。核心となる手法は以下の通りである：

1. 収束とGCD成長の解析： 研究は、「バランス・デグリー（次数が均衡した）」PCF、すなわち $\deg(b_n) = 2 \deg(a_n)$ であるものに焦点を当てている。著者らは、PCFによって生成される分子と分母の数列の最大公約数 $GCD_n = \gcd(p_n, q_n)$ の成長率を分析している。
2. 階乗減少（Factorial Reduction, FR）の定義： 著者らは「階乗減少」という概念を導入した。これは、$GCD_n$ が十分に速く成長する（具体的には、$n!^{\deg(a_n)}$ に匹敵する速度で成長する）現象であり、これにより簡約された分母 $q_n / GCD_n$ が超指数関数的ではなく指数関数的にのみ成長するように制御される。
3. 無理数境界の導出： PCFの各項の成長率と $GCD_n$ を用いて、著者らは無理数度 $\delta$ の公式を導出している。
4. 計算による検証： 理論的枠組みは、Ramanujan Machineやその他の既知の公式から見出されたPCFを用いて、コンピュータ・アルゴリズムによって広範にテストされている。著者らは、様々な定数に対するFRの存在と、それに伴う $\delta$ 値を数値的に検証している。

主要な貢献と結果

• 定理1（FRの必要性）： 著者らは、バランス・デグリーのPCFが非自明な無理数度（$\delta > -1$）を与えるためには、必ず階乗減少（FR）を示す必要があることを証明した。具体的には、$\frac{1}{n} \ln(GCD_n / n!^{\deg(a_n)})$ の上極限が $-\infty$ より大きくなければならない。
• 定理2（$\delta$ の公式）： 無理数度の下限に関する閉形式の表現が以下のように導出された：
  $$\delta = \frac{\ln|\alpha| - \ln|B| + \ln \lambda}{\ln|\alpha| - \ln \lambda}$$
  ここで、$\alpha$ は特性方程式 $x^2 - Ax - B = 0$（$A, B$ は $a_n, b_n$ の最高次係数）の大きな根であり、$\lambda$ は $GCD_n$ の指数的次数（$GCD_n \doteq \lambda^n n!^{\deg(a_n)}$）である。この公式により、PCFの極限を知ることなく $\delta$ を計算することが可能となる。
• 予想1.1（有理根条件）： 数値実験の結果、あるPCFが階乗減少を持つための必要十分条件は、多項式 $b_n$ が有理根のみを持つことであることが示唆されている。$b_n$ が無理数根または非実数根を持つ場合、それに対応する $a_n$ によってFRは生じない。
• 予想1.2および1.4（無限族）： 有理根を持つ任意の $b_n$ に対して、FRを生成する $a_n$ の無限族が存在する。$\deg(b_n)=2$ かつ $\deg(a_n)=1$ の特定のケースにおいて、著者らは、与えられた既約な $b_n$ に対して、ちょうど2つの $a_n$ の無限族が存在することを提案している。
• 定理3（無限の無理性証明）： 本論文は、FRを持つ固定された $b_n$ に対して、最高次係数をスケーリングすることで、結果としての $\delta$ が1に近づくような $a_n$ の無限族を構成できることを示している。これは、多くの $b_n$ について、その極限の無理性を証明するPCFが無限に存在することを意味する。
• 計算効率： FRの特定は「簡約された漸化式」を可能にする。標準的な漸化式の項を予測される $GCD_n$ で割ることにより、PCFの極限計算を、超指数関数的ではなく指数関数的に成長する整数を用いて実行できるようになり、高精度計算の速度が大幅に向上する。

意義と主張
本論文は、アペリーの定数のようなアドホックな発見を超えて、PCFを分析するための体系的な枠組みを提供することを目的としている。$GCD_n$ の成長と定義多項式の性質を無理数度に直接結びつけることで、著者らは以下のツールを提供する：

1. 無理性の予測： 与えられたPCFの候補が、その多項式係数のみに基づいて、無理性を証明する可能性が高いかどうかを解析的に判断する。
2. 探索アルゴリズムの最適化： アルゴリズム（Ramanujan Machineなど）に対し、階乗減少を持つPCFに焦点を当てるよう誘導し、自明な境界しか得られないものや計算困難な候補を排除する。
3. 計算の加速： $GCD_n$ の構造を利用した簡約された漸化式を用いることで、基本定数の高精度計算を高速化する。

著者らは、自らの定理がFRの必要条件と明示的な公式を提供している一方で、 $GCD_n$ の構造（具体的な指数部分の形式や「ゼブラ（Zebra）」パターンなど）に関する記述の多くは、広範な数値的証拠に支えられた推測の域を出ず、正式な証明を待っている状態であることを認めている。彼らは、本研究を、整数係数を持つ線形漸化式とそのディオファントス的性質に関するより広範な理論への一歩として位置づけている。