🔢 mathematics

A note on the partition function of a rectangle

本論文は長方形の分割関数の漸近的挙動を調査し、 $n \times n$ の正方形を分割する方法の数は $\exp\left( \left(\frac{\pi}{\sqrt{3}}+o(1)\right)n\sqrt{\log n} \right)$ として成長する一方で、 $3 \times n$ の長方形の分割は $\exp\left( \pi\sqrt{\frac{11n}{3}}+O(\log n) \right)$ として成長することを確立している。

原著者： Krystian Gajdzica, Maciej Zakarczemny

公開日 2026-08-11

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

CC BY 4.0

原著者： Krystian Gajdzica, Maciej Zakarczemny

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

あなたは、無限のレゴブロックの供給を持つ熟練したビルダーであると想像してください。ただし、一つだけルールがあります。使えるのは長方形のブロックのみであり、隙間や重なりがない、完璧で堅牢な壁を築かなければなりません。次に、あなたが作るべき壁の設計図が、例えば $n \times n$ の正方形であると想像してください。問題は、数学者が好んで問いかけるものです。「これらのブロックを配置して、その正方形を満たす方法は、全部で何通りあるでしょうか？」これは単に一本の線に積み上げる話ではありません。小さな $1 \times 1$ の正方形、長い $1 \times 5$ のストリップ、あるいは厚みのある $2 \times 3$ のブロックなど、さまざまなサイズを混ぜ合わせることを意味します。数学の世界では、これは「分割（パーティション）」と呼ばれ、これらの配置を数えることは、巨大で複雑なパズルを解くあらゆる方法を数えようとする試みに似ています。

長い間、数学者たちは単純な数字（単に整数を足して合計を出すようなこと）に対してこれらの配置を数えることに執着してきました。しかし、平面的な数の列から2次元の長方形へと移行すると、問題の複雑さは爆発的に増大します。それは、本棚に本を並べることから、さまざまな形の本で図書館全体を満たすことへと移行するようなものです。この特定の論文は、二つの非常にトリッキーなバージョンのパズルを掘り下げています。一つは設計図が完璧な正方形（ $n \times n$ ）である場合、もう一つは非常に細長い長方形（ $3 \times n$ ）である場合です。なぜこれが重要なのでしょうか？なぜなら、これらのパターンは、原子がどのように密集するかからエネルギー準位の振る舞いに至るまで、自然界や物理学のあらゆる場所に現れるからです。これらのパターンの「成長率」——つまり、壁が大きくなるにつれて可能性の数がどのように急増するか——を理解することは、宇宙の複雑さがどのように構築されるかを支配する秘密のコードを見つけるようなものです。

では、この論文の著者たちは実際に何を発見したのでしょうか？彼らは単に推測したわけではありません。彼らは既知のものから未知のものへと渡るための、厳密な数学的架け橋を築きました。まず、彼らは正方形（ $n \times n$ ）に取り組みました。彼らは、正方形が巨大になるにつれて、そのタイル張りの方法は非常に特定の、激しい速度で増加することを証明しました。それは単なる単純な爆発ではありません。正方形のサイズと、その対数の平方根に依存する「超指数関数的」な成長です。平易な言葉で言えば、正方形をタイル張りにする方法の数は、おおよそ $e$ の $(\pi/\sqrt{3}) \times n \times \sqrt{\log n}$ 乗であることを見出したのです。また、彼らは、自分たちの主要な答えが確かなものであることを示すために、たとえ正確な公式が少し複雑であっても、十分に「役立つ」簡略化された上限と下限も提示しました。

次に、彼らは長い細長い長方形（ $3 \times n$ ）に注目しました。これは、一方が3で固定され、もう一方が永遠に成長していくため、全く別の性質を持つ問題です。ここで、著者たちはさらに精密な答えを見出しました。この長方形をタイル張りにする方法の数は、おおよそ $e$ の $\pi \times \sqrt{11n/3}$ 乗であると彼らは証明しました。これは単なる推測やシミュレーションではありません。非常に狭い誤差範囲を持つ、数学的に証明された事実です。彼らはまた、この問題に対する以前の、より弱い推測が緩すぎたことを示し、それをより鋭く、より正確な公式に置き換えました。

これらの答えを得るために、著者たちは独創的な方法をとりました。正方形の場合、彼らはすべてのタイル張りを数えることはできませんでした（あまりにも膨大な数があるため）。代わりに、彼らは巧妙なトリックを使いました。すなわち、面積に収まる可能性のある「すべての長方形の集合」を数えたのです。たとえそれらが隙間なく正方形に配置できないとしてもです。これが「天井（上限）」を与えました。次に、特定の充填戦略を用いて、有効な正方形を確実に構築できることを示すことで、「床（下限）」を構築しました。真の答えをこの床と天井の間に押し込めることで、彼らは正確な成長率を証明したのです。 $3 \times n$ の長方形については、同様の戦略を用いましたが、長方形をより小さく管理可能なストリップに分割し、「母関数理論」（計数問題を代数学の問題に変換する魔法のような公式）の高度なツールを使用して、精密な数値を得る必要がありました。

この論文は、より大きな未解決の謎にも触れています。著者たちは、 $m \times n$ の長方形（ $m$ が4や5のような固定された数で、 $n$ が巨大になる場合）において、これらの数の増え方には普遍的なパターンが存在するのではないかと示唆しています。彼らは $m=1, 2, 3$ については強い証拠を持っていますが、 $m=4$ 以上については、答えは依然として魅力的な未解決問題のままです。彼らは $4 \times n$ のケースを解決するために「階段状の長方形」を構築しようと試み、それは成功しましたが、 $5 \times n$ ではそのトリックが失敗したことは、長方形が広くなるにつれてルールが変わることを示唆しています。

要するに、この論文は精密さの勝利です。正方形と長い長方形という二つの非常に困難な計数問題を、正確な公式を用いて解決しました。それは、形が大きくなるにつれて可能性の数がどのように増えるかを正確に伝えており、漠然とした推測を、証明された確かな数学へと置き換えています。彼らはすべての可能な長方形のサイズについて解決したわけではありませんが、最も興味深いケースのコードを解読し、まだ解決を待っているケースへのロードマップを提供したのです。

技術要約：長方形の分割関数に関する注記

問題提起
本論文は、サイズ $m \times n$ の長方形を整数値の辺を持つ矩形ブロックのマルチセットに分割する方法の数 $p(m, n)$ の漸近挙動を調査するものである。2つの分割は、構成するブロックの型のマルチセットが同一である場合、同一とみなされる。ここで、ブロック $a \times b$ は $b \times a$ と区別されない。幾何学的な配置はカウントには関係せず、ブロックが理論的に面積 $m \times n$ をタイル張ることが可能である限り、ブロックの型のマルチセットのみが重要となる。

著者らは、以下の2つの特定のケースに焦点を当てている：

正方形分割： 両方の次元が無限大に発散する $p(n, n)$ 。
固定高さの長方形： 高さが 3 に固定され、幅 $n$ が無限大に発散する $p(3, n)$ 。

これらの問題は、古典的な整数分割関数 $p(n)$ （これは $p(1, n)$ に対応する）を一般化したものである。Robin Visser によって、固定された $m$ に対して $p(m, n)$ の漸近挙動は調和数を用いた特定の形式に従うという予想がなされていたが、正方形のケース（ $m=n$ ）における正確な挙動は、明確に異なる漸近的な課題を提示している。

手法
本論文は、解析的数論、生成関数、および組合せ論的なパッキング構成の組み合わせを採用している。

生成関数による上界： 著者らは、幾何学的なタイル張りの条件（定義 1.1 の条件 3）を緩和することで、上界を導出している。彼らは、面積 $ab $を持つ矩形の型$ r(ab) $を用いて、総面積$ mn $を持つ矩形のマルチセットの数を考える。これは、$ \prod (1-x^{ab})^{-r(ab)}$ という形式の生成関数によってモデル化される。
- $p(n, n)$ については、その生成関数を、約数関数 $d(s)$ に関連するマルチセットへの分割と比較し、Berndt, Robles, Zaharescu, および Zeindler の結果を利用する。
- $p(3, n)$ については、高さ 3 のブロックを含む分割と含まない分割へと問題を分解し、生成関数の畳み込みと、Bringmann Jennings–Shaffer および Mahlburg によって洗練された Ingham のタウバー型定理を用いて、漸近係数を抽出する。
パッキング構成による下界： 下界を確立するために、著者らは特定のタイリングを構成する。
- $p(n, n)$ については、「彩色分割（colored partition）」のアプローチと貪欲なパッキングアルゴリズムを利用する。正方形を様々な高さの水平ストリップに分割し、制限付き整数分割から派生した矩形を用いてそれらを埋める。
- $p(3, n)$ については、「階段状（staircase）」の構成を用い、 $3 \times n$ の長方形を高さ 3、2、1 の水平ストリップに分割し、制限付き部分を持つ整数分割から派生した、対応する高さを持つ矩形でそれらを埋める。
漸近分析： 証明は、Hardy–Ramanujan の $p(n)$ の漸近公式、Dedekind η関数の性質、および調和和と約数関数の精密な推定に大きく依存している。

主要な貢献と結果

正方形分割 ( $p(n, n)$ ) の漸近公式：
著者らは、正方形分割関数 $p(n, n)$ の主要な漸近項を確立した：
$p(n, n) = \exp\left( \left(\frac{\pi}{\sqrt{3}} + o(1)\right) n \sqrt{\log n} \right)$
この結果は重要である。なぜなら、固定された $m$ の場合の予想（ $\sqrt{n}$ のスケールで変化する）とは異なり、正方形の場合は $n\sqrt{\log n}$ のスケールで変化するためである。また、本論文は、主証明を提示する前に、問題の困難さを説明するために、2つのより弱い初等的な上界と単純な下界も提供している。
$p(3, n)$ の漸近公式：
本論文は、 $3 \times n$ の長方形に対する正確な漸近挙動を証明した：
$p(3, n) = \exp\left( \pi \sqrt{\frac{11n}{3}} + O(\log n) \right)$
これは、 $m=3$ における予想を、以前知られていたものよりも強い誤差項（指数の $O(\log n)$ ）とともに確認するものである。定数 $\pi\sqrt{11/3}$ は、サイズ $\ge 3$ のパーツへの分割と、 $3 \times n$ の幾何学において許容される特定のブロック型の相互作用から導かれる。
独立した上界：
著者らは、 $p(3, n)$ に対する、主結果よりも弱いものの、異なる解析的手法から導かれた独立した上界を提示しており、問題への代替的な視点を提供している。
一般の $m$ に対する予想：
$m \ge 4$ の固定された $m$ についての予想を再確認しながら、著者らは以下の予想を述べている：
$p(m, n) = \exp\left( \pi \sqrt{\frac{2m H_m}{3} n} + o(\sqrt{n}) \right)$
ここで $H_m$ は第 $m$ 調和数である。彼らは、正方形のケース（ $m=n$ ）は、両方の辺が無限大に発散するため、明確に異なる問題であることを指摘している。

意義と主張
本論文は、正方形分割関数 $p(n, n)$ の正確な対数漸近挙動を解決したと主張しており、これは小さな $n$ に対する既知の値が存在していたにもかかわらず、未解決のままであった問題である。著者らは、正方形のケースが、固定された高さの長方形と比較して、根本的に異なる漸近的問題をもたらすこと（両方の辺が無限大に発散するため）を強調している。

$3 \times n$ のケースについては、厳密な誤差項を伴う漸近公式の最初の証明を提供し、これまでのヒューリスティックな議論と数値的証拠を裏付けた。著者らは謙虚に、自身による $p(4, n)$ の構成は予想と一致するものの、 $m=3$ および $m=4$ で用いられた「階段状」の構成は、 $m=5$ において予想される指数項を導き出すことに失敗していることを述べ、より高い固定高さには異なる幾何学的配置が必要である可能性を示唆している。

本研究は、整数分割の広範な理論に寄与するものであり、ブロックの順序が無視されるタイル張り問題と古典的な分割理論の間の架け橋となることで、漸近分析を幾何学的な分割問題へと拡張している。

関連論文