The irrationality measure of {\pi} is at most 7.101862832357

技術要約：$\pi$ の無理数度の上限は 7.101862832357 以下である

1. 問題設定
本論文は、整数 $p$ および十分に大きな正の整数 $q$ に対して不等式 $|\pi - p/q| > q^{-\mu-\varepsilon}$ が成立するような実数 $\mu$ の下限（下限値）として定義される、$\pi$ の無理数度 $\mu(\pi)$ の決定を扱う。正確な値は依然として未知であるが、目標は可能な限りタイトな上限値を確立することである。本研究以前の最新の状態は、Zeilberger と Zudilin [5] によって確立されており、彼らは固定されたパラメータを用いた特定の複素積分構成を用いて $\mu(\pi) \le 7.103205334137\dots$ を証明した。

2. 手法
著者は、被積分関数に2つの独立した分子指数 $A_1$ および $A_2$ を組み込むことにより、Zeilberger–Zudilin 積分の改良を導入している：
$$I_{A_1, A_2}(N) = -i \int_{4-2i}^{4+2i} \frac{(x-5)^{A_1 N} Q_0(x)^{A_2 N}}{x^{N+1}(x-10)^{N+1}} dx$$
ここで、$Q_0(x) = (x-4+2i)(x-4-2i)(x-6+2i)(x-6-2i)$ である。

手法は、以下の4つの主要な段階を経て進行する：

• 算術的構成： 積分は、変数変換（$t = x-5$）を通じて、垂直な線分上で積分される有理関数 $R_n(t)$ へと変換される。本論文は $R_n(t)$ の部分分数分解を導出し、係数 $c_{j,n}$ を特定する。これらの係数の $p$ 進付値（特に素数 2 および 5 において）を分析することにより、著者による整数線形形式 $M_n J_n = U_n + V_n \pi$ を構成する。重要な要素は、「除去可能な素数」による節約であり、特定の素数の積 $\Phi_n$ が係数の分母を割り切ることが示されることで、分母を払うための増大率 $M_n$ が減少する。
• 解析的推定： 論文では、係数 $V_n$ の漸近的な増大率と、積分 $J_n$ の減衰率を推定する。
  • 係数の生成関数に適用された正の係数を持つ鞍点法（補題 4.1）を用いて、係数の増大率 $r$ が決定される。
  • 積分減衰率 $s$ は、位相関数 $F(y)$ を最大化する複素鞍点 $y_c$ を通る経路へと積分路を変形することによって決定される。
• パラメータの最適化： 著者は、得られる無理数度の推定値を表す、明示的な補助境界関数 $B(\alpha, \beta)$ （ここで $\alpha, \beta$ は正規化された指数）を定義する。本論文は、元の Zeilberger–Zudilin の点が、この2パラメータ関数における局所的な最小値ではないことを示している。 「対角線ファミリー」（$A_1 = A_2$）内での探索により、より低い下限を与える特定の有理点 $(A_1, A_2) = (1857/2785, 1857/2785)$ が特定される。
• 局所最適性の証明： 論文は、この特定の有理点が、許容される算術チャンバー内において、補助境界関数 $B(\alpha, \beta)$ の「厳密な2次元局所最小値」であることを証明する。これは、素数節約項の正確な対数変動公式を導出し、パラメータ空間における12のセクターにわたる方向微分を分析することによって達成される。

3. 主な貢献と結果

• 新しい上限値： 主要な結果（定理 1.1）は、以下を確立する：
  $$\mu(\pi) < 7.101862832357$$
  これは Zeilberger–Zudilin の境界を $0.001342501780$以上改善しており、約$0.0189%$ の減少である。
• パラメータ選択： 使用される特定のパラメータは $(a, b, c) = (1857, 3714, 5570)$ であり、これに対応する正規化された指数は $(\alpha^*, \beta^*) = (1857/5570, 1857/2785)$ である。
• 局所最小性： 定理 1.2 および 定理 6.3 は、選択されたパラメータ点が補助境界関数 $B(\alpha, \beta)$ の厳密な局所最小値であることを証明している。この証明は、素数節約項 $\phi(\alpha, \beta)$ の方向微分の厳密な分析を含み、パラメータの微小な摂動がいかなる場合も境界を増大させることを示している。
• 厳密な数値的包含： 論文は、素数節約率 $\omega$、係数増大率 $r$、および積分減衰率 $s$ を含むすべての中間定数の、明示的かつ厳密な有理的包含範囲を提供している。これらの計算は、浮動小数点数の仮定を避け、対数やベルヌーイ数の計算に正確な有理数演算と区間境界を利用している。

4. 意義と範囲
論文は、以下の2つの領域において重要性を主張している：

1. 定量的改善： 本研究は、$\mu(\pi)$ の新しい上限値を提示しており、これは Zeilberger–Zudilin の境界を改善するものである。これは、固定パラメータ構成が、第2の独立した指数を導入することで洗練され得ることを示している。
2. 構造的洞察： 以前の最適な対角点が、2パラメータ変形における局所的な最適点ではないことを確立している。本研究は、これらの境界が定義される「算術チャンバー」に関する詳細な幾何学的および解析的な理解を提供し、新しい点が2次元の意味で局所最小値であることを証明している。

限界と主張
著者は、結果の限定的な範囲を明示的に述べている：

• この結果は上限値であり、$\mu(\pi)$ の正確な値ではない。
• 局所最小性（定理 1.2）は、特定の補助関数 $B(\alpha, \beta)$ に関する局所的な記述である。これは、すべての構成、すべての可能な分母の節約、またはすべての正のパラメータに対する全域的な最適性を主張するものではない。
• この改善は、2つの指数を持つ積分によって定義される一族に特有のものであり、$\mu(\pi)$ の真の値がこの境界に近いことを示唆するものでも、全く異なる構成からより良い境界が得られる可能性を排除するものでもない。

開示
論文は、パラメータ探索、証明開発、計算、および原稿作成において、生成AI（OpenAI の GPT-5.6 Sol および GPT-6 Astra）が支援を行ったことを記している。しかし、著者はすべての数学的主張および最終的なテキストに対して全責任を負うと断言している。