カタラン定数の無理性を主張する証明の評価式を検証
A note on a recent claimed proof of the irrationality of Catalan's constant
この論文をやさしく読む
ひとことで言うと
カタラン定数が無理数だとする別の論文の証明について、整数を十分小さくするための評価に抜けがあると指摘する研究です。
何に役立つ？
大きな定理の主張を確認する際、有限の厳密計算と漸近式のどこが食い違うかを切り分ける事例になります。
この研究の面白いところ
単なる数値的不一致だけでなく、素数2から生じるB²の次数の寄与を恒等式で特定しています。修正可能な添字の誤りと、主要評価の不足を分けています。
どこまで分かった？
著者らが否定しているのは提示された証明の評価方法の正当化です。カタラン定数が有理数だと示したわけでも、無理性を否定したわけでもありません。ここでは両論文の証明を独立に検証していません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
プレプリントarXiv:2609.04176（Z.-W. Sun、2026年9月3日）は、カタラン定数Gが無理数であることの証明を主張している。各Bに対し、級数の重み付き末尾部分から数q̂_Bを構成し、G=a/qならば、整数N_B=q^S H_B^min q̂_Bが、大きいBについて0<|N_B|<1を満たすとするものである（同論文の定理9.1）。本稿では4つの厳密計算を報告する。 第一に、記載された階数定理（定理2.1）の証明では、その漸化式がT_(i+1)を要求する箇所にT_iが現れる。この誤りは修正可能であり、命題はS≤4、B≤30の44組のパラメータで厳密に確認される。第二に、同論文の定義と、明示的な有理数a/qで達成される最悪の場合の分母を使うと、定理9.1の導出が制御しようとする量の下界は、20≤B≤119の18個の添字で、+1.49 B²から+1.79 B²となる。一方、その導出は高々−0.00966 B²+o(B²)と主張する。第三に、同論文自身の分母の評価（系5.2）は、検証した全例で成立し、ほぼ鋭い。このため不一致は第6〜9節の漸近的な項の集計にある。 第四に、厳密な恒等式が不一致の位置を特定する。素数2は、対象の量にv₂(F_D) log 2=(2 log 2+o(1))B²を寄与する。これは、2における正の部分が消える一方、|q̂_B|にはF_D中の2のべきが丸ごと含まれるためである。項の集計にあるどの式にもこの次数の項はなく、注意9.3では、方法を示さないまま奇素数の定数c_odd=0.006の導出に割り当てている。検証したパラメータでは、奇素数の層は同論文の定数と約0.1 B²以内で一致し、不一致の残りは、その添字における残余小行列式の大きさに相当する。 これらの計算は、(a,q)について一様な同論文の評価方法を検証するものである。公表された導出が主張する評価式を正当化していないことを示すため、主定理の証明は未完成である。Gの無理性そのものについては何も結論しない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-16（UTC）
- 最新改訂
- 2026-09-16 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-16 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The preprint arXiv:2609.04176 (Z.-W. Sun, 3 September 2026) claims a proof that Catalan's constant $G$ is irrational: it constructs for each $B$ a number $\hat q_B$ from weighted tails of the series and asserts that, if $G=a/q$, the integer $N_B=q^S H_B^{\min}\hat q_B$ satisfies $0<|N_B|<1$ for large $B$ (its Theorem 9.1). We report four exact computations. First, the printed proof of the rank theorem (Theorem 2.1) carries $T_i$ where its own recurrence requires $T_{i+1}$; the slip is repairable, and the statement is verified exactly at 44 parameter pairs with $S\le 4$, $B\le 30$. Second, with the paper's definitions and the worst-case denominator, attained at an explicit rational $a/q$, a lower bound for the quantity the derivation of Theorem 9.1 controls equals $+1.49$ to $+1.79\,B^2$ at eighteen indices $20\le B\le 119$, where the derivation claims at most $-0.00966\,B^2+o(B^2)$. Third, the paper's own denominator bound (Corollary 5.2) holds in every tested instance and is nearly sharp, so the discrepancy lies in the asymptotic ledger of Sections 6-9. Fourth, an exact identity locates it: the prime 2 contributes $v_2(F_D)\log 2=(2\log 2+o(1))B^2$ to the quantity, because the positive part at 2 vanishes while $|\hat q_B|$ carries the full power of 2 in $F_D$; no display in the ledger carries a term of this order, and Remark 9.3 assigns it to the derivation of the odd-prime constant $c_{\rm odd}=0.006$ without showing how. At the tested parameters the odd-prime layers agree with the paper's constants to within about $0.1\,B^2$, and the remainder of the discrepancy is the size of the residual minor at those indices. These computations test the paper's bounding method, which is uniform in $(a,q)$; they show that the published derivation does not justify the claimed estimate, so the proof of the main theorem is incomplete. Nothing is concluded about the irrationality of $G$.
著者のコメント
8 pages, 3 tables. Comment on arXiv:2609.04176v1. Ancillary files contain all scripts and generated outputs (Python 3, mpmath)
arXiv ID: 2609.22339 ／ 要約の誤りについて