🔢 mathematics

Proof of a conjecture of Banerjee,Bringmann and Bachraoui on infinite families of congruences

この論文は、Banerjee、Bringmann、Bachraoui が提示した、制限付き 2 色分割数の極限数列に関する 4 と 8 を法とする無限の合同式に関する予想を、彼らの先行研究と Watson の恒等式を用いて証明するものである。

原著者： Junjie Sun, Olivia X. M. Yao

公開日 2026-04-08

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

CC BY 4.0

原著者： Junjie Sun, Olivia X. M. Yao

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

🧱 1. 物語の舞台：「色付きの積み木」の世界

まず、この研究の舞台は「整数を足し合わせる方法」です。
例えば、数字「5」を作るには、「5」「4+1」「3+2」など、いろいろな組み合わせがあります。これを数学では「分割（Partition）」と呼びます。

今回の話では、「青」と「赤」の 2 色の積み木を使う特別なルールがあります。

一番小さい積み木は「青」で、かつ「奇数」の大きさでなければならない。
青い積み木には、あるルール（一番小さいものより十分大きいもの）がある。
同じ色の積み木は、同じ大きさでは 2 回使えない（重複禁止）。

このルールに従って、数字 $n$ を作る方法の総数を $c(n)$ と呼んでいます。
「 $n$ が大きくなると、この数 $c(n)$ はどうなる？」というのが、研究者たちの関心事です。

🔮 2. 前の研究者たちが残した「謎のレシピ」

この分野の巨匠たち（Andrews 氏や Banerjee 氏など）は、この数 $c(n)$ を計算する「魔法のレシピ（生成関数）」を見つけ出しました。

彼らは、このレシピを使っていくつかの**「不思議な法則（予想）」**を見つけました。

予想 A: 「 $n$ が $8n+4$ という形の数なら、その答えは 4 で割り切れるはずだ！」
予想 B: 「 $n$ が $8n+6$ という形の数なら、答えは 8 で割り切れるはずだ！」

これらは、巨大な数字の山の中から、特定の形をした数字だけを取り出すと、必ず「きれいに割り切れる（0 になる）」という、まるで魔法のような現象です。

しかし、彼らはさらに**「もっと大きな家族（無限の系列）」が存在するのではないかという、より壮大な「Banerjee-Bringmann-Bachraoui の予想」**を最後に残しました。
「実は、 $n$ がもっと複雑な形（ $2^{2k+3}n + \dots$ ）をしたときも、同じように 4 や 8 で割り切れるはずだ！」というものです。

🕵️ 3. 今回の発見：「孫氏と姚氏」の探偵活動

この論文の著者、Juejie Sun 氏と Olivia X.M. Yao 氏は、この「巨大な家族の予想」が本当かどうかを証明する探偵役を買って出ました。

彼らが使った武器は 2 つです。

前の探偵たちの手記: Banerjee 氏らが最近、この問題を「モジュラー形式」という高度な数学の道具を使って解き明かした成果。
古の秘伝の書: 100 年前の偉大な数学者、Waston 氏が残した「恒等式（等式）」という、魔法の呪文のような式。

彼らがどうやって解いたか？（簡単なイメージ）

彼らは、複雑な「魔法のレシピ」を、「奇数と偶数」に分ける作業を繰り返しました。

レシピを分解する: 複雑な式を、 $q$ （積み木の数）の「奇数番目」と「偶数番目」に分けて整理します。
古の呪文を唱える: Waston 氏の式を使って、式をさらに単純化します。
パターンを見つける: 式を整理していくと、ある特定の形（ $8n+3$ や $16n+11$ など）の数字だけを取り出すと、**「答えが 0 になる（割り切れる）」**というパターンが、まるでパズルのピースがハマるように現れてきました。

彼らは、このパターンを**「数学的な階段（帰納法）」**のように使い、小さなステップから大きなステップへ登っていきました。

「 $k=0$ のときは成り立つ（これは前の人が証明済み）」
「 $k=1$ のときは、この式を使えば成り立つ」
「だから、 $k$ がどんな数字でも、この法則は永遠に続く！」

こうして、彼らは「無限に続く家族の法則」が、間違いなく**「本当（真）」**であることを証明しました。

🎉 4. なぜこれがすごいのか？

この証明がなされたことで、以下のようなことが明らかになりました。

すべての謎が晴れた: 前の研究者たちが残した「小さな予想（A と B）」も、この「巨大な予想」の一部だったので、自動的にすべて正しかったことが確認されました。
新しい扉が開いた: 「4 や 8 で割り切れる」だけでなく、「16 や 32 で割り切れる」ような、さらに深い法則があるかもしれません。この論文は、その次の扉を開くための鍵となりました。

📝 まとめ

この論文は、**「数字の積み木」という遊びの中で見つけた「不思議な割り切れ方の法則」が、単なる偶然ではなく、「無限に続く美しい規則」であることを、「古い呪文（Waston 氏の式）」と「最新の道具（モジュラー形式）」**を組み合わせて証明した、数学的な冒険譚です。

Sun 氏と Yao 氏は、前人未踏の領域に「ここが正解です」という印をつけ、数学の地図をさらに広げたのです。

以下は、Juejie Sun および Olivia X.M. Yao による論文「Proof of a conjecture of Banerjee, Bringmann and Bachraoui on infinite families of congruences（Banerjee, Bringmann, Bachraoui の無限族合同式に関する予想の証明）」の技術的な要約です。

1. 問題の背景と定義

本論文は、整数分割（partition）の理論、特に「2 色分割（two-color partitions）」における係数の合同式（congruences）の研究に基づいています。

定義: $k$ $k$ を正の整数とし、 $c(k, n)$ $c (k, n)$ を整数 $n$ $n$ の「2 色（青と赤）分割」のうち、以下の条件を満たすものの個数とします：
1. 最小の部分が奇数であり、かつ少なくとも 1 つは青色で現れる。
2. すべての偶数の青色の部分は、最小の部分よりも $2k-1$ 以上大きい。
3. 同じ色の偶数部分はすべて異なる。
生成関数: これらの分割の生成関数 $C_k(q)$ は、 $q$ -級数を用いて定義されます。
極限関数: $k \to \infty$ とした極限関数を $C(q) = \sum_{n=0}^\infty c(n) q^n$ と定義します。ここで $c(n)$ は極限における分割の個数を表します。

先行研究と未解決問題:
Andrews と Bachraoui は $c(n)$ に関するいくつかの合同式（モジュロ 4 や 8）を予想しました。Banerjee, Bringmann, Bachraoui (BBB) は最近、これらの予想（ $c(8n+4) \equiv 0 \pmod 4$ など）をモジュラー形式とモック・テータ関数を用いて証明しました。さらに、BBB は $C(q)$ の係数に関する無限族の合同式に関する新たな予想（Conjecture 1.5）を提示しましたが、これは未証明のまま残されていました。

2. 目的

本論文の主な目的は、Banerjee, Bringmann, Bachraoui が提示したConjecture 1.5を証明することです。この予想は、以下の 3 つの無限族の合同式を含みます（ $n, k$ は非負整数）：

$c\left(\frac{2^{2k+3}n + 11 \cdot 4^k + 1}{3}\right) \equiv 0 \pmod 4$
$c\left(\frac{2^{2k+3}n + 17 \cdot 4^k + 1}{3}\right) \equiv 0 \pmod 8$
$c\left(\frac{2^{2k+4}n + 38 \cdot 4^k + 1}{3}\right) \equiv 0 \pmod 4$

この予想が証明されれば、Andrews と Bachraoui の以前の予想（ $k=0$ の場合など）も自動的に成り立つことになります。

3. 手法と証明の概要

証明は、BBB の結果と Watson による恒等式を組み合わせ、 $q$ -級数の操作（項の抽出、変数置換、モジュロ演算）を行うことで行われます。

主要なステップ:

生成関数の変形:
BBB の結果より、 $C(q)$ はモック・テータ関数 $\omega(q)$ と McIntosh の 2 次モック・テータ関数 $B(q)$ を用いて表現されます。さらに Watson の恒等式を適用し、 $C(q)$ をより扱いやすい形に変形します。
補題 2.1 の導出:
生成関数の係数 $c(n)$ に関する漸化式的な関係式を導出します。具体的には、以下の合同式を証明します：
$c\left(\frac{2^{2k+2}n + 2^{2k+3} + 1}{3}\right) \equiv (-1)^k c(4n+3) \pmod 8$
この証明には、 $B(q)$ の係数 $a_B(n)$ の性質（偶数項・奇数項の振る舞い）や、Ramanujan の恒等式（ $f_m$ に関する関係式）が多用されます。
補題 2.2 の導出:
特定の項を抽出する操作を繰り返すことで、以下の初期値となる合同式を証明します：
- $c(32n + 15) \equiv 0 \pmod 4$
- $c(32n + 23) \equiv 0 \pmod 8$
- $c(64n + 51) \equiv 0 \pmod 4$
帰納法による一般化:
上記の補題 2.1 と 2.2 を組み合わせ、数学的帰納法を用いて Conjecture 1.5 の 3 つの式をすべて導き出します。
- 例： $k \ge 1$ の場合、補題 2.1 に $n$ を適切な値（例： $8n+3$ ）で代入し、補題 2.2 の結果（例： $c(32n+15) \equiv 0$ ）を適用することで、モジュロ 4 の合同式が得られます。
- $k=0$ の場合は、Andrews と Bachraoui が既に証明した基礎的な合同式（ $c(8n+4) \equiv 0 \pmod 4$ など）から直接導かれます。

4. 主要な成果

Banerjee-Bringmann-Bachraoui 予想の完全証明: 論文の中心である Conjecture 1.5 が、すべての非負整数 $n, k$ に対して成立することを示しました。
既存予想の包含: この結果により、Andrews と Bachraoui が以前に立てた予想（ $c(8n+4) \equiv 0 \pmod 4$ など）および BBB 自身の追加予想（ $c(32n+23) \equiv 0 \pmod 8$ など）がすべて正しいことが確認されました。
技術的貢献: 3 次および 2 次モック・テータ関数と、 $q$ -級数の変換公式（Watson の恒等式や Ramanujan の恒等式）を巧みに組み合わせることで、複雑な合同式を系統的に導出する手法を示しました。

5. 意義と今後の展望

理論的意義: 整数分割の係数が特定の法（mod 4, mod 8）で 0 になる無限族の存在を確立し、その構造を解明しました。これは Ramanujan 型の合同式研究における重要な進展です。
今後の課題:
- 本論文で証明された合同式を、より高い法（モジュロ 16, 32 など）に拡張できるかという問題。
- $c(n) \equiv 0 \pmod {2^k}$ となる整数 $n$ の集合の「算術密度（arithmetic density）」を決定する問題。

本論文は、モック・テータ関数と $q$ -級数の深い理論的性質を駆使して、数論における未解決の予想を解決した重要な研究です。