Gauss and p-adic numbers

問題
本論文は、カール・フリードリヒ・ガウスのノートブックに残された未発表の計算と、1899年にクルト・ヘンゼルによって定式化された現代的な$p$進数の間の歴史的および数学的な隔たりを取り上げている。ガウスが多項式の根を「持ち上げる（lifting）」ための「ヘンゼルの補題」に相当する手法を所有していたことは周知の事実であるが、彼の「無限合同式」（$p^\infty$を法とする合同式）を用いた計算の具体的な性質については、これまで十分に解明されていなかった。著者は、ガウスがこれらの無限合同式（現代の$p$進数および$g$進数に対応するもの）を用いた算術をどのように実行したかを明らかにするため、1800年7月のガウスのノートブックの記述を調査し、平方根、立方根、および対数の計算における正確性と手法を検証している。

手法
著者は、歴史的分析と現代的な計算検証を組み合わせて用いている：

1. 歴史的再構成： 論文は、ガウスのノートブック（具体的には「1800年7月」のノートブック）の特定のページを分析し、彼の筆記による計算を転写・解釈している。
2. アルゴリズムの説明： 著者は、ガウスが用いたと思われる以下のアルゴリズムを説明している：
   • 根（例：$\sqrt{1 \pm x}$）を計算するための二項展開。
   • 平方根の桁ごとの抽出アルゴリズム（標準的なもの、および$p$進数に適応させたもの）。
   • 立方根のための算術幾何平均不等式を用いた反復近似。
   • $p$進対数を計算するためのべき級数展開。
3. 現代的検証： 著者は、コンピュータ代数システムpariを用い、ガウスが記録した数字と比較するために、現代的な$p$進数および$g$進数の近似値（具体的には241、11、および10を法とするもの）を計算している。これには、多項式の根の持ち上げ、$\mathbb{Q}_{11}$における$\sqrt{5}$の展開、および同型写像$\mathbb{Z}_{10} \cong \mathbb{Z}_2 \oplus \mathbb{Z}_5$を介した10進対数の計算の検証が含まれる。
4. 代数的分析： 論文は、中国剰余定理と冪等体の理論を用いて、10進数の代数的構造、および零因子と1の非自明な平方根の存在を説明している。

主な貢献

• 「無限合同式」を$p$進数として特定： 本論文は、ガウスの「無限合同式」（$p^\infty$を法とするもの）がヘンゼルの$p$進数の先駆けであることを明確に特定し、ガウスがそれらが正式に定義される数十年も前に、これらの環における算術を行っていたことを示している。
• ガウスのアルゴリズムの解読： 著者は、ガウスが以下の計算に使用した具体的な手法を再構成している：
  • 平方根： ガウスがいかにして二項展開と桁ごとの減算（$p$進数の場合は右から左へ向かって作業を行う）を用いて、$\mathbb{Q}_{11}$における$\sqrt{79}$や$\sqrt{5}$などの根を求めたか。
  • 立方根： ガウスがいかにして不等式と算術幾何平均を利用して$\sqrt[3]{2}$を近似したか。
  • 多項式の根： ガウスがいかにして5次多項式の根をmodulo 241からmodulo $241^2$以上の累乗へと持ち上げ、実質的にヘンゼル・リフティングを行ったか。
  • 対数： ガウスがいかにして、$0 \pmod{10}$に合同な数のためのべき級数展開、および互いに素な数のための因数分解を介して、10進対数を計算したか。
• エラーの検出： 論文は、ガウスのノートブックにおける特定の計算ミス、例えば二次周期における11進展開での繰り下がりのミスや、$\log(301)$および$\log(799)$の計算における脱落を特定している。
• 10進構造の明確化： 論文は、$\mathbb{Z}_{10}$の$\mathbb{Z}_2 \oplus \mathbb{Z}_5$への分解と、1の平方根を見つけるための冪等体の役割に関連して、ガウスの10進計算の代数的背景を説明している。

結果

• 計算の検証： 現代の計算により、ガウスの形式的な記法が欠如しているにもかかわらず、$\mathbb{Q}_{11}$における$\sqrt{5}$の近似や、241を法とする5次多項式の根の近似が、彼が記録した桁まで正しいことが確認された。
• アルゴリズムの洞察： ガウスが10進数のために用いた桁ごとの平方根アルゴリズムは、大きさではなく合同式に依存した、標準的なアルゴリズムの有効な適応であることが示されている。
• 対数表： 論文は、31までの整数に対する10進対数の修正された表を再構成しており、ガウスの値が概ね$\log(ab) = \log(a) + \log(b)$を満たしていることを示しているが、一部の項目には算術的な誤りが含まれている。
• 二次周期： 論文は、1の5乗根に関連するガウスの二次周期の計算を明確にし、彼の手法は妥当であったものの、特定の算術エラーによって周期$a$および$b$の値が誤ったものになったことを指摘している。

意義
本論文は、主に「ガウスの計算の大部分を説明する」ための解説的かつ探偵的な作業としての控えめな意義を主張しており、残りの部分は課題として残している。論文は、ガウスが逆極限および適合な合同系の高度で直感的な理解を備えており、ヘンゼルが後に提供した形式的な枠組みなしに、実質的に$p$進数を用いた算術を行っていたことを強調している。著者は、ガウスがこれらの極限を形式的に定義はしていなかったものの、彼のノートブックは、彼がこれらの体系内での加法、減法、乗法、および根の計算の方法を知っていたことを示していると述べている。また、ガウスの著作におけるこれらの「無限合同式」の存在がオンラインの数学コミュニティで注目されていることに触れ、ガウスの道具箱が$p$進解析の文脈において以前に認識されていたよりもはるかに高度であったという考えを補強している。