Factorial Calculi and the Canonical Stirling Defect of the Prime Bhargava Factorial

技術要約：素数型バルガヴァ階乗における標準的なスティルリング欠損とファクトリアル・カルキュライ

1. 問題設定と動機

本論文は、素数型バルガヴァ階乗（$(n+1)!_P$ と表記）の解析接続および漸近挙動を扱う。古典的なオイラーのガンマ関数 $\Gamma(z)$ は、ボーア–モラーアップの定理により、漸化式 $\Gamma(z+1)=z\Gamma(z)$ を満たす解の中で、正値性と対数凸性によって一意に特徴付けられる。しかし、整数の部分集合上で定義される算術的階乗には、このような直接的な凸性の原理は存在しない。

具体的な問題は、素数型階乗を補間し、その正確な漸化式を満たし、かつ定義されたスティルリング展開を持つ「標準的な」全単射ガンマ関数 $\Gamma_P(z)$ を構成することである。中心的な困難は、漸化式自体が「トーソル（torsor）」、すなわち 1 周期的な全単射関数による差異を持つ全単射解の集合を許容してしまう点にある。本論文は、ボーア–モラーアップが古典的なガンマ関数を選択するように、一意の代表元を選択するための正規化原理を模索し、この選択に伴う精密な算術的揺らぎを分析することを目的とする。

2. 手法と枠組み

本論文は、以下の3部構成の枠組みを展開する。

• 第I部：階乗カルキュライ（Factorial Calculi）の圏
  著者らは、正の階乗データ列 $F = (F_n)$ を対象とする圏 FactCalc を定式化する。各データは、重み付きヒルベルト空間の冪級数と一般化された微分作用子を定義する。素数型バルガヴァ階乗は、単一の数列としてではなく、「原子的評価層（atomic valuation layers）」のフィルタリングされた対称モノイダル完備化として実現される。

  • 原子的層： 各素数 $p$ と整数 $j \ge 0$ に対して、層 $\lambda = (p,j)$ は周期的なステップ因子を寄与する。
  • 完備化： 完備された階乗 $(n+1)!_P$ は、これらの層の有限積の極限である。本論文は、有限の層システムが指数的成長を示す一方で、完備されたシステムは階乗的成長を示すことを証明し、それゆえに円板ベースの解析関数から全単射関数への移行が必要であることを示す。

• 第II部：ガンマ・リフト・トーソルと軌道別スティルリング選択
  離散的な階乗を全単射関数へ拡張する際の曖昧さを分析する。

  • トーソル構造： 対数漸化式の全単射的な持ち上げ（lift）の集合は、正規化された 1 周期的な全単射関数の群の下でのトーソルを形成する。
  • 正規化原理： 対数凸性の代わりに、本論文では**軌道別スティルリング正規化（orbitwise Stirling normalization）**を導入する。この原理は、「横断的欠損（transverse defect）」（比較モデルからの偏差の、平行移動軌道にわたる平均）が漸近的に消失することを要求する。
  • 構成： **対称円分求積法（symmetric cyclotomic quadrature）**を用いて、特定の全単射漸近記号 $L^{cyc}_P$ と、区別された持ち上げ $H^{cyc}_P$ を構成する。この持ち上げは、比較モデル $M_P(z) = \log \Gamma(z) + C_P(z-1)$（ここで $C_P = \sum_p \frac{\log p}{(p-1)^2}$）に対して軌道別スティルリング条件を満たす唯一の要素であることが示される。
  • 性質： 得られる関数 $\Gamma^{cyc}_P(z) = \exp(H^{cyc}_P(z))$ は零点を持たない全単射関数であり、漸化式を満たし、オイラー型の反射法則 $\Gamma^{cyc}_P(z)\Gamma^{cyc}_P(1-z) = 1$ に従う。

• 第III部：平滑化されていない揺らぎの分析
  「スティルリング欠損」 $R_P(n) = \log(n+1)!_P - \log n! - C_P n$ の二次のモーメントを分析する。

  • 分解： 欠損を、幾何学的な対角項と非対角の共分散項に分解する。
  • 簡約： ヴォーンの恒等式、ポアソン和、および導体降下（conductor descent）を用いることで、分散の問題を「中心化された劣臨界ヴォーン・モーメント（centered subcritical Vaughan moment）」へと簡約する。
  • 条件付き性質： 構造的構成要素（ガンマ関数、反射法則、対角定数）はすべて無条件に証明される。最終的な漸近分散は、中心化された指標和の相殺に関する特定の予想に依存する。

3. 主な貢献と結果

• 圏論的実現： 素数型バルガヴァ階乗を、原子的評価カルキュライの有界射影極限として厳密に定義し、古典的な微分カルキュラスを一般化する「階乗カルキュライ」の枠組みを確立した。
• 標準的なガンマ関数： 素数型階乗のための最初の標準的な全単射ガンマ関数 $\Gamma^{cyc}_P$ を構成した。これは以下を満たす：
  • $\Gamma^{cyc}_P(m) = m!_P$ （整数 $m \ge 1$ に対して）。
  • 反射法則 $\Gamma^{cyc}_P(z)\Gamma^{cyc}_P(1-z) = 1$。
  • 中点値 $\Gamma^{cyc}_P(1/2) = 1$。
• 平滑化されていないスティルリング展開： 素数型階乗の正確で平滑化されていないスティルニング公式を導出した：
  $$\log(n+1)!_P = n \log n + (C_P - 1)n + \frac{1}{2}\log(2\pi n) + R_P(n) + O(1/n)$$
  ここで $R_P(n)$ は、絶対収束する素数局所展開を持つ明示的な算術的不一致である。
• 分散の漸近挙動： 欠損の二次のモーメントが次のように振る舞うことを証明した：
  $$\sum_{n \le X} R_P(n)^2 \sim -\frac{4}{3}\zeta\left(-\frac{1}{2}\right) X^{3/2} \log X$$
  この結果は、予想 1.6（劣臨界中心化ヴォーン・モーメント）に依存している。この予想は、切断されたメビウス関数と素数重みを含む特定の中心化指標和の平方根オーダーの境界を主張するものである。
• 正の積分の非存在： $\Gamma^{cyc}_P$ またはその逆関数に対して、正のオイラー・メルリン表現が存在しないことを示した。これは、当該の数列がハンケル正値条件を満たさないためである。これにより、符号付き、分布的、または輪郭積分による表現に関する予想が示唆される。

4. 意義と主張

本論文は、素数型バルガヴァ階乗の完全な構造的および解析的理論を提供し、バルガヴァの2000年の著作で提起された特定の問い（質問31および33）に答えるものである。

• 構造的統一： 算術的階乗、一般化された指数関数、およびガンマ関数を、「階乗カルキュライ」という単一の圏論的枠組みの中で統一し、形式的な多項式共役と解析的な有界性を区別している。
• 正規化理論： ボーア–モラーアップの定理の正しい類似物として、算術的漸化式に対する**軌道別スティルリング剛性（orbitwise Stirling rigidity）**を確立し、凸性に頼ることなく一意の解析的継続を選択する手法を確立した。
• 揺らぎの精度： 素数型階乗の分散の源となる不確実性を分離した。論文は、「圏論的構成、標準的な継続、反射法則、およびスティルリング展開は無条件である」一方で、「分散の漸近挙動の条件付き性質は、単一のスペクトル推定に孤立している」と主張している。
• 算術と解析： 「スティルリング挙動」は、素数型階乗における完備化の現象であることを強調している。それは有限の層システムでは見られず、無限の評価層の積を取った後にのみ現れる。

要約すると、本論文は、素数型バルガヴァ階乗のための標準的な全単射関数 $\Gamma^{cyc}_P$ を構築し、その基本的な関数方程式を証明し、算術的誤差項の精密な漸近分散を、解析数論における特定の狭い予想にのみ依存する形で導出している。