🔢 mathematics

On the number of missing integers in partitions

本論文は、分割における欠落整数の集合全体を研究し、無制限分割とオーバー分割の 2 つのクラスにおいて、特定の数の欠落整数を持つ分割の個数を調べ、関連する関数に対する合同式を導出するとともに、これらの関数に関する 3 つのバイアス型不等式予想を提示するものである。

原著者： Subhash Chand Bhoria, Pramod Eyyunni, Subhrangsu Santra

公開日 2026-04-15

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

CC BY 4.0

原著者： Subhash Chand Bhoria, Pramod Eyyunni, Subhrangsu Santra

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

この論文は、数学の「整数分割（パーティション）」という分野における、少し変わった「欠けている数字」の数え上げについて書かれたものです。専門用語を避け、日常のたとえ話を使って、この研究が何をしているのかを解説します。

🍪 物語の舞台：お菓子の箱と「欠けたクッキー」

まず、**「整数分割」**とは何かをイメージしてみましょう。
数字「5」を、いくつかの小さな整数（1, 2, 3...）の足し算で表すことを考えます。
例えば、5 は以下のように分けられます。

5
4 + 1
3 + 2
3 + 1 + 1
2 + 2 + 1
...など

これを**「お菓子の箱」に例えてみましょう。
数字「5」は、箱に入っているお菓子の「総重量」**です。箱の中には、1g、2g、3g のお菓子がいくつか入っています。
「3 + 2」という分け方は、「3g のお菓子 1 個」と「2g のお菓子 1 個」が入っている状態です。

🔍 研究の核心：「欠けたクッキー」を探す

この論文の著者たちは、この箱の中にあるお菓子（数字）に注目するのではなく、**「箱に入っていないお菓子（欠けた数字）」**に注目しました。

「欠けた数字（Missing Integers）」とは？
箱の中で一番重いお菓子の重さ（最大値）より小さい数字で、箱の中に一つも入っていないもののことです。

例：箱の中が「3 + 2」の場合。
- 一番重いのは「3」です。
- 3 より小さい数字は「1」と「2」です。
- 「2」は入っています。
- しかし、「1」は入っていません。
- つまり、この箱には**「1」という欠けたクッキーが 1 つ**あります。
例：箱の中が「4 + 1」の場合。
- 一番重いのは「4」です。
- 4 より小さい数字は「1, 2, 3」です。
- 「1」は入っていますが、「2」と「3」は入っていません。
- 欠けたクッキーは「2」と「3」の2 つです。

この「欠けたクッキーの数」を数え上げることが、この論文のメインテーマです。

🎲 2 つの大きな発見と謎

著者たちは、この「欠けたクッキー」について、2 つの異なるルール（クラス）で調査しました。

1. 普通の箱（制限なしの分割）

まずは、お菓子を自由に何個でも入れていい普通の箱です。

発見： 「欠けたクッキーが偶数個」の箱と、「奇数個」の箱、どちらが多いのか？
- 彼らは、ある数（n）が大きくなると（34 以上）、「欠けたクッキーが偶数個の箱」の方が、いつも「奇数個の箱」より多いという不思議な傾向（バイアス）を見つけました。
- これは、お菓子の箱をランダムに並べたとき、偶数個の「穴」が開いている箱の方が、奇数個の穴の方が圧倒的に多い、という現象です。
3 の法則： さらに、この「偶数個の箱の数」から「奇数個の箱の数」を引いた値を 3 で割ると、ある規則（平方数かどうかで 0, 1, 2 になる）に従うことがわかりました。

2. 特別な箱（オーバーパーティション）

次に、**「オーバーパーティション」**という特別なルールを適用した箱を調べました。

ルール： 同じ重さのお菓子（例えば 2g）が 2 つあっても、片方に「★（星印）」をつけて区別できるものとします。
- 普通の箱では「2 + 2」は 1 通りですが、この箱では「★2 + 2」と「2 + 2」は別物として数えます。
発見： 普通の箱と同じように、「欠けたクッキー」を数えました。
- ここでも「偶数個の穴の方が多い」という傾向（27 以上で成立）が見つかりました。
- また、4 で割ったときの余りにも、平方数かどうかで決まる規則があることがわかりました。

🧩 なぜこれが重要なの？

一見すると「欠けた数字を数えるだけ」で、何の役に立つのかと思えるかもしれません。しかし、数学の世界では、「ないもの（欠落）」を数えることで、あるものの構造が見えてくることがよくあります。

メキシコ（Mex）との関係： 以前から「一番小さい欠けた数字（メキシコ）」という概念はありましたが、今回は「すべての欠けた数字」をまとめて扱うことで、新しい数学的なパターン（合同式や不等式）を見つけ出しました。
予想と謎： 著者たちは「なぜ偶数の方が多くなるのか？」という理由を証明する「双射（びじょう）」と呼ばれる、直感的な説明（例えば、箱と箱を 1 対 1 で対応させる方法）はまだ見つかっていないと述べています。これが今後の数学的な挑戦課題となっています。

📝 まとめ

この論文は、**「数字の箱の中に、入っていない数字（欠けたクッキー）が何個あるか」を徹底的に数え上げ、その数に隠された「偶数と奇数の偏り」や「数字の法則」**を発見したものです。

普通の箱でも、**「星印付きの特別な箱」**でも、欠けた数字の数は「偶数個」の方が「奇数個」より多いという、驚くべきバランスの偏りがあることがわかりました。
数学の奥深さは、「あるもの」だけでなく、「ないもの」を数えることによって、新しい美しい法則が見えてくるところにあります。

この研究は、数学者たちが「欠けたクッキー」の数を数えることで、数字の世界の隠れたリズムを聞き取ろうとした、知的な探検の記録なのです。

論文「分割における欠落整数の数について」の技術的概要

この論文は、整数分割（partition）およびオーバー分割（overpartition）における「欠落整数（missing integers）」の集合全体を研究対象とし、その数え上げ、生成関数の導出、合同式、および偏り（bias）に関する不等式予想を扱っています。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめます。

1. 問題設定と背景

背景

整数分割の統計量として、最小欠損値（minimal excludant, 略して mex）が近年注目されています。mex は、分割に含まれていない最小の正整数を指します。Andrews と Newman による研究以降、mex の一般化や他の統計量（ランク、クラックなど）との関連性が盛んに研究されています。

本研究の目的

従来の研究が「最小の欠落整数」に焦点を当てていたのに対し、本論文では**「欠落整数の集合全体」、特に「最大部数（largest part）より小さく、かつ分割に含まれていない正整数」の数**に注目します。
具体的には、以下の 2 つのクラスで研究を行います。

制限なし分割（Unrestricted partitions）: 通常の整数分割。
オーバー分割（Overpartitions）: 各部数がオーバーライン（ $\bar{1}, \bar{2}$ など）で区別される分割。Corteel と Lovejoy によって導入された概念。

定義: 分割 $\pi$ における欠落整数とは、最大部数より小さく、かつ $\pi$ の部数として現れない正整数のことです。
例：分割 $9+9+7+5+2$ （合計 32）の場合、最大部数は 9 です。1 から 8 のうち現れていないのは $1, 3, 4, 6, 8$ の 5 つです。したがって、欠落整数の数は 5 です。

2. 手法とアプローチ

生成関数の構築

$q$ -級数（ $q$ -series）の手法を駆使し、欠落整数の数 $m$ をパラメータ $w$ として追跡する生成関数を構築しました。

標準的な分割の生成関数において、各整数 $k$ が現れる回数を表す項を調整し、 $k$ が「欠落している（0 回現れる）」場合に $w$ の因子を付与する構成を行いました。
特に、 $j$ 以上の欠落整数の数を数えるために、 $q$ -二項定理（ $q$ -binomial theorem）やヤコビの三重積公式（Jacobi triple product identity）などの古典的な恒等式を応用しました。

解析的導出

生成関数に対して $w$ に関する微分を行い、特定の欠落整数数（例： $m=1$ ）を持つ分割の生成関数を導出しました。
$w = -1$ を代入することで、欠落整数の数が偶数である分割と奇数である分割の差（$Me(n) - Mo(n)$）の生成関数を求めました。
合同式（mod 3, mod 4）の証明には、生成関数の変形とヤコビの三重積公式を用いた係数比較を行いました。

3. 主要な結果と貢献

A. 制限なし分割（Unrestricted Partitions）

一般生成関数（定理 2.1）:
欠落整数が $j$ 以上で、かつその数が $m$ であるような $n$ の分割の数 $P_j(n, m)$ に対する二変数生成関数を閉じた形（product form）で導出しました。
$\sum_{n=1}^\infty \sum_{m=0}^\infty P_j(n, m) w^m q^n = \frac{w^{-j}}{( \frac{w-1}{w}; q )_j} \left( \frac{((w-1)q; q)_\infty}{(wq; q)_\infty} - \sum_{\ell=0}^{j-1} \frac{( \frac{w-1}{w}; q )_\ell}{(q; q)_\ell} (wq)^\ell \right)$
特殊ケースの恒等式:
- $j=1$ の場合（系 2.2）: 欠落整数の数が $m$ である分割の生成関数が簡潔な積形式で表されました。
- $m=1$ の場合（系 2.4）: ちょうど 1 つの整数が欠落している分割の数 $P(n, 1)$ は、「ちょうど 1 つの整数が 2 回現れ、他のすべての整数が 1 回だけ現れる分割」と同数であることが示されました（OEIS A090858）。
- $m=0$ の場合（系 2.3）: 欠落整数がない（gap-free）分割は、 $(-q; q)_\infty$ で生成されることが確認されました。
偶奇の偏りと合同式:
- $Me(n) $（欠落整数数が偶数の分割数）と$ Mo(n)$（奇数）の差の生成関数を導出しました（系 2.5）。
- 定理 2.6: $Me(n) - Mo(n)$ に関する mod 3 の合同式を証明しました。
  - $n$ が平方数でない場合: $0 \pmod 3$
  - $n$ が奇数の平方数の場合: $1 \pmod 3$
  - $n$ が偶数の平方数の場合: $2 \pmod 3$
- 予想 2.7: $n > 34$ において、$Me(n) > Mo(n)$ が成り立つ（偶数の欠落整数を持つ分割の方が多い）と予想しました。
- 予想 2.8: $n > 10$ において、$Me(n) - Mo(n) < q(n) $（$ q(n)$ は相異なる部数を持つ分割数）が成り立つと予想しました。
重複度に関する一般化（定理 2.9）:
最大部数以下で、重複度が $k$ 未満である異なる正整数の総和に関する恒等式を導出しました。これは、すべての分割における「欠落整数の総数」が「1 以外の部数の総数」と等しいという驚くべき結果（系 2.10）を含みます。

B. オーバー分割（Overpartitions）

一般生成関数（定理 3.1）:
オーバー分割における欠落整数の数 $m$ に対する生成関数を導出しました。通常の分割の場合と類似した構造を持ちますが、オーバーラインの存在により係数が異なります（例： $(w-2)q$ の項など）。
特殊ケースと組合せ的解釈:
- $m=1$ の場合（系 3.4）: ちょうど 1 つの整数が欠落しているオーバー分割は、「ちょうど 1 つの整数が 2 回現れ（オーバーラインの有無を含め）、他は 1 回以下で現れる」オーバー分割と同数であることが示されました。
- $m=0$ の場合（系 3.3）: 欠落整数がないオーバー分割は、相異なる部数を持つオーバー分割（各整数が最大 1 回、オーバーライン付きまたはなしのどちらかで現れる）に対応します。
偏りと合同式:
- 定理 3.7: オーバー分割における $Me(n) - Mo(n)$ に関する mod 4 の合同式を証明しました。
  - $n$ が平方数でない場合: $0 \pmod 4$
  - $n$ が平方数の場合: $2 \pmod 4$
- 予想 3.6: $n > 27$ において、$Me(n) > Mo(n)$ が成り立つと予想しました。

4. 意義と今後の展望

学術的意義

新しい統計量の確立: 「mex」だけでなく、欠落整数の「数」全体を統計量として体系化し、その生成関数を閉じた形で与えた点に大きな意義があります。
組合せ的対応の発見: 欠落整数の数が特定の値（例：1）である分割と、重複構造が特定の値である分割との間の同数関係（equinumerosity）を明らかにしました。
偏りの発見: 欠落整数の数の偶奇に関する偏り（偶数の方が多い傾向）を指摘し、Kim, Kim, Lovejoy による「奇数部数と偶数部数の偏り」に続く新たな偏り現象として位置づけました。

今後の課題（著者による提案）

組合せ的証明: 導出した恒等式（特に定理 2.9 や $P(n, 1)$ の関係式）に対する直接的な双射（bijection）証明の必要性。
合同式の一般化: mod 3 や mod 4 以外の法（modulus）に対する合同式の存在確認。
漸近公式: $Me(n) - Mo(n)$ に対する Hardy-Ramanujan-Rademacher 型の正確な公式や漸近挙動の導出。
オーバー分割への一般化: 定理 2.9 のような「重複度 $k$ 未満の整数の数」に関する恒等式をオーバー分割に対して拡張する試み。

結論

本論文は、分割理論における「欠落整数」という概念を拡張し、その数え上げ問題に対して強力な解析的ツールを適用することで、新たな恒等式、合同式、および興味深い不等式予想を提示しました。特に、生成関数の構造から導かれる組合せ的対応と、数値的な偏りの発見は、今後の分割理論研究において重要な指針となるでしょう。