🔢 mathematics

Parity of the partition function in quadratic progressions

本論文は、ねじれたボルチャーズ積、CM点、およびガロア表現を用いる新しい幾何学的アプローチを採用することにより、二次進行における分割関数のパリティに関する2010年の予想を証明し、その値に無限個の偶数項と奇数項が含まれることを示すものである。

原著者： Ken Ono, Ashvin Swaminathan

公開日 2026-08-13

📖 1 分で読めます🧠 じっくり読む

CC0 1.0

原著者： Ken Ono, Ashvin Swaminathan

原論文は CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/) のもとパブリックドメインに提供されています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

無限に広がる、あらゆる本が数字であり、その中にはページを並べ替える無数の方法が隠されているという、広大な無限の図書館を想像してみてください。数学の世界において、これは「分割（パーティション）」と呼ばれる領域です。分割とは、単にある整数を、より小さな正の整数の和へと分解する方法のことです。例えば、4という数字は、4、3+1、2+2、2+1+1、1+1+1+1という5通りの方法に分解できます。数学者は、これらの方法の総数を「分割関数」と呼び、しばに $p(n)$ と表記します。

1世紀以上にわたり、数学者たちはこれらの数字の中に潜む隠れたリズムに魅了されてきました。特定のパターンに注目すれば、答えが5や7で割ったときに必ずゼロで終わるように、厳格な規則に従うことが発見されています。しかし、そこには、あらゆる試みによる制御を拒み続けてきた、一つの頑固で混沌とした謎がありました。それが、これらの数字の「パリティ（奇偶性）」です。パリティとは、単に数字が偶数か奇数かという性質を指します。分割数は、偶数と奇数の間をランダムに目まぐるしく入れ替わるのでしょうか、それとも何らかのパターンに固執するのでしょうか？長い間、これらが真にラン繰り的なのか、あるいは密かにどちらかの側に偏っているのかを証明できる者は誰もいませんでした。この論文は、その混沌に深く切り込み、特に特定の二次形式によって生成される数字に焦点を当て、偶数と奇数の値が共に踊っているのか、それとも一方がダンスをリードしているのかを調査しています。

この論文の著者であるケン・オノとアシュヴィン・スワミナタサンは、このダンスに関する特定の、長年の懸念であった予想をついに解決しました。彼らは、特定の種類の数 $D$ と整数 $m$ を用いた $Dm^2 + 1$ という式によって生成される特定の数の族において、分割の値がすべて偶数であったり、すべて奇数であったりすることはないことを証明しました。その代わりに、偶数と奇数の両方の値が無限回出現することを証明したのです。

このコードを解読するために、著者たちは単に数字を計算しただけではありません。彼らは、数学における二つの全く異なる世界、すなわち「計数の算術（分割）」と「図形の幾何学（楕円曲線）」の間に架け橋を築きました。彼らは分割数を、地図上の座標であるかのように扱いました。伝説的なシュリニヴァサ・ラマヌジャンによって発見された「モック・セータ関数（一種の数パターン）」という巧妙な数学的道具を用いることで、分割を数えるという問題を、曲線の形状に関する問題へと翻訳したのです。

鍵となる洞察は幾何学的でした。彼らは、数字を「モジュラー曲線」と呼ばれる特別な地図上の点として想像しました。彼らは、分割数の「偶数性」や「奇数性」が、この地図上の「CM点」として知られる特定の点の振る舞いに符号化されていることを見出しました。著者たちは、もしこれらの点を（数値が偶数か奇数かを確認することに相当する）「法2での簡約」という特殊なレンズを通して見たとしても、点が互いに潰れることなく、個別の状態を維持していることを示しました。この「個別の状態を保つこと」こそが極めて重要です。もし点が個別の状態を保たなければ、分割数はすべて同じパリティを持つことになりますが、実際には変化しなければならないのです。

彼らは、「幾何学的議論」を用いて、すべての数が偶数である可能性（それならば地図は空っぽに見えるはずです）と、すべての数が奇数である可能性（それならば地図は滑らかな一本の線に見えるはずです）の両方を排除しました。地図には、簡約後も生き残る「極（鋭いスパイク）」が存在するため、数字は混在していなければなりません。少なくとも一つの偶数と少なくとも一つの奇数がこの数列の中に存在することを証明した後、彼らは別の算術的な規則を用いて、この一度の発生がパターンを永遠に繰り返させることを示しました。

結果は決定的な証明です。これらの特定の二次進行において、分割関数は真のコイン投げであり、偶数と奇数の間で無限に反復しています。また、この論文は、最初に出現する偶数と最初の奇数を見つけるために必要な最小の数値を算出するための公式を提供し、この発見の「速度制限」も提示しています。この研究は単にパズルを解くだけではありません。他の数数列に関する同様の謎を解くために使用できる新しい幾何学的なツールキットを導入しており、数字のリズムを理解するためには、時に数字が住む空間の「形」を見なければならないことを示しているのです。

技術要約：二次進行数列における分割関数のパリティ

問題提起
正の整数 $n$ を正の整数の和として表す方法の数である分割関数 $p(n)$ のパリティ（偶奇性）は、分割理論において依然として極めて困難な未解決問題である。ラマヌジャンによる合同式は、5, 7, 11 を法とする規則性を確立したが、2 を法とする $p(n)$ の分布については理解が進んでいない。パークン・シャンクス予想は、 $p(n)$ が自然密度 $1/2$ で偶数および奇数になることを提唱しているが、無条件の境界は依然として弱い。

この困難の具体的な一例は、 $p(n)$ の引数を二次進行数列に制限する場合に含まれる。2010年、筆者の一人は、すべての平方フリーな整数 $D > 1$ かつ $D \equiv 23 \pmod{24}$ に対して、
$p\left(\frac{Dm^2 + 1}{24}\right)$
という数列は、 $m$ が 6 と互いに素な正の整数として動くとき、無限個の偶数項と無限個の奇数項を含むと予想した。この研究以前には、次数が2以上の多項式については、実質的に何も知られていなかった。

手法と主要なアイデア
著者らは、分割関数の算術をモジュラー曲線とCM点（複素乗法点）の幾何学へと結びつける幾何学的枠組みを導入することで、この予想を解決する。その手法は、以下の3つの主要な段階を経て進行する：

モック・テータ関数とボルチャーズ積：
著者らは、ラマヌジャンの3次モック・テータ関数 $f(q)$ が $p(n)$ を 4 を法として符号化しているという事実を利用する。具体的には、生成関数 $P(q) = \sum p(n)q^n$ は $P(q) \equiv f(q) \pmod 4$ を満たす。彼らは、ブリュニエと筆者による捻られたボルチャーズ・リフトを用いて、 $\Gamma_0(6)$ に対する重さ 0 の有理的モジュラー形式 $\Psi_D$ を構成する。 $\Psi_D$ の因子は、判別式 $-D$ を持つ $X_0(6)$ 上の2つのCM点のパケットからなる。この積の対数微分を $\omega_D = \frac{1}{\sqrt{-D}} d \log \Psi_D$ と表記すると、これは重さ 2 の有理的微分となる。
標数 2 における幾何学的解析：
核心的な革新は、標数 2 における $\omega_D$ の解析にある。著者らは以下を確立する：

$\Psi_D$ の因子に含まれる2つのCM点のパケットは、共通の「2-オリエンテーション」（具体的には、それらの位数2のレベル部分群が、CM体 $K = \mathbb{Q}(\sqrt{-D})$ における 2 上の素イデアル $\mathfrak{p}_2$ に対応すること）を共有している。
カノニカル・リフトの剛性（セールの・テイト理論）により、この共通のオリエンテーションを持つ異なるCM点は、2 を法とする簡約後も依然として区別される。
$\omega_D$ の留数は、これらのCM点において 2 進単元である。したがって、 $\omega_D$ の単純な極は、 $X_0(6)$ の特殊ファイバーの通常の成分 $C_\infty$ 上での 2 による簡約においても生存する。

アイゼンシュタイン級数との比較：
$\omega_D$ のカスプ $\infty$ におけるフーリエ展開は、対象となる分割値のパリティを符号化するランベルト級数である。著者らは、この展開を「すべて奇数」のシナリオに一致するように構成された、正則な重さ 2 のアイゼンシュタイン級数 $E_D$ と比較する。

もしすべての分割値が偶数であれば、 $\omega_D$ の簡約は恒等的に消滅するが、これはCM点の極の生存と矛盾する。
もしすべての分割値が奇数であれば、 $\omega_D$ の簡約は $E_D$ の簡約と合同になる。しかし、 $E_D$ は CM 点において正則であるが、 $\omega_D$ の簡約はそこに単純な極を保持している。この矛盾により、定数的な奇数のパリティが否定される。

主要な結果
本論文は以下を証明している：

定理 1： すべての平方フリーな $D > 1$ $D > 1$ かつ $D \equiv 23 \pmod{24}$ $D \equiv 23 (mod 24)$ に対して、 $(m, 6)=1$ $(m, 6) = 1$ である $p\left(\frac{Dm^2 + 1}{24}\right)$ $p (\frac{D m ^{2} + 1}{24})$ の値には、無限個の偶数項と無限個の奇数項が含まれる。
- さらに、本論文は、各パリティの初出に関する有効な境界をクラス数 $h(-D)$ を用いて提供する：
  $m_{\text{odd}} \le 12h(-D) + 2$
  $m_{\text{even}} \le (12h(-D) + 2) \prod_{\ell|D} (\ell + 1)$
定理 2： 一般化された捻られたボルチャーズ積から生じる数列に対する、一般化された非定数性基準が確立された。この定理は、数列が 2 を法として定数ではないことを証明するために必要な幾何学的入力（微分の整数性、単元留数を持つ単純なCM極の存在、および一致する正則なモジュラー形式の存在）を分離している。

意義と主張
本論文は、二次進行数列における分割関数のパリティに関する、特定の長年の予想を解決したと主張している。これは、これまでの手法では結果が得られなかったケースである。その意義は、証明の「幾何学的」な性質にある：

これは、分割係数に関する組合せ論的な問題を、標数 2 におけるモジュラー微分の極の挙動に関する問題へと書き換えるものである。
CM極の「生存」が、カノニカル・リフトの一意性と組み合わさることで、定数的なパリティ・パターンを排除するための強固なメカニズムを提供することを実証している。
著者らは、幾何学的議論（定理 2）が非定数性（すなわち、「すべて偶数」または「すべて奇数」の否定）を確立する一方で、「1回の出現」から「無限の出現」へのステップは、ヘッケ代数およびガロア表現（具体的には、特定のヘッケ作用素の局所的なべき零性）に関連する別の算術的伝播の結果に依存していることを注記している。したがって、本論文は、幾何学的手法のみで一般的なボルチャーズ・データに対する無限性を導くとは主張しておらず、むしろ、それが（無限性を導くために必要な）決定的な非定数性のステップを提供し、それが既知の算術的伝播定理と組み合わさることで、完全な結果が得られることを示している。

証明の基礎となる代数的恒等式は、AxiomProver によって Lean で形式化および検証されており、複雑な組合せ論およびモジュラー形式の計算の正確性が保証されている。

関連論文