Catalan（カタラン）の定数とは、1/1^2−1/3^2+1/5^2−1/7^2+…という交差する二乗の逆数の和で表される定数です。長年にわたりこの数が有理数か無理数かは未解決の問題でした。本稿はその未解決問題に挑み、「Catalanの定数は無理数である」と結論づけると報告しています。

著者は定数を直接扱う代わりに、その「尾項（おびこう）」と呼ぶ部分列を取り出し、さらに「重み付き尾」として扱う方法を導入しました。尾項とは、ある場所から先の交差級数の合計で、符号の入れ替わりを残したまま部分和を定義したものです。重み付き尾を使うことで、級数の局所的な振る舞いを行列式（determinant）と組み合わせて解析できるようにしています。

証明は五つの大きな段階で組み立てられます。まず、重みを入れた有限差分の残差を行列に符号化します。次に多項式的な性質を使ってその行列の列が完全に独立であることを示します。選んだ小行列を三つの「二項係数の列」で補い、ある固定の有理数スカラーとそれを整数にするための最小の乗数を得ます。さらにパスカル行列とコーシー行列の因数分解を使って行列式を扱い、素数べきごとの評価（p進評価）によって分母の寄与を詳しく調べます。最後に大きさの評価（漸近評価）を合算して矛盾が生じることを示し、無理数性を導きます。

このアプローチは組合せ的行列式の因子分解（パスカル--コーシー因子化）や、素数ごとの分母の成長を見るp進的な議論を組み合わせています。論文内では具体的な行列の定義や尾項の再帰式、鍵となるスカラー量の正確な整数化などが示されており、それらに基づいて最終的な不整合を作ることで有理数である仮定を否定します。

重要な留意点として、この結果は著者の前印刷（preprint）で提示されたものであり、証明は多段階で高度に技術的です。本文の抜粋にもあるように、証明は多数の補題と素数ごとの細かな評価に依存しています。したがって、数学界での検証や査読を通じて詳細が点検されることが重要です。また、この要約は与えられた原稿の抜粋に基づくもので、元の文書に含まれるすべての技術的細目や補正は本文を参照する必要があります。

著者は孫志偉（Zhi-Wei Sun、南京大学数学科）であり、研究は中国国家自然科学基金（grant no. 12371004）の支援を受けています。本稿は数論（math.NT）として分類されており、無理数性という長年の疑問に対する有力な主張を提示していますが、最終的な確定には専門家の検証が求められます。