🔢 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$ 块，高为 $n$ 块。数学家们最喜欢问的问题是：“有多少种不同的方式可以排列这些积木来填满这个正方形？”这不仅仅是把它们堆成一排，而是要混合搭配不同尺寸的积木——微小的 $1\times1$ 正方形、长长的 $1\times5$ 条状物，或是厚实的 $2\times3$ 积木块。在数学世界中，这被称为“分割”（partition），而计算这些排列方式就像是在尝试计算如何解决一个巨大的、复杂的拼图。

长期以来，数学家一直痴迷于为简单的数字（比如仅仅是将整数相加得到一个总数）进行计数。但当你从平面的数字线移动到二维矩形时，问题就会呈爆炸式增长。这就像是从排列书架上的一本书，变成用各种形状的图书填满一整个图书馆。这篇论文深入探讨了两个非常棘手的版本：一个是蓝图是一个完美的正方形（ $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$ ，同样的技巧失败了，这暗示着随着矩形变宽，规则发生了变化。

简而言之，这篇论文是精准性的胜利。它通过精确的公式解决了两个非常困难的计数问题——一个是关于正方形，另一个是关于长条形矩形。它准确地告诉了我们，随着形状变大，可能性的数量增长得有多快，用经过证明的硬核数学取代了模糊的猜测。虽然他们没有解决所有可能矩形尺寸的问题，但他们破解了最有趣的案例的代码，并为那些仍在等待被解决的问题提供了路线图。

技术摘要：关于矩形分拆函数的笔记

问题陈述
本文研究了矩形分拆函数 $p(m, n)$ 的渐近行为，该函数计算将一个 $m \times n$ 的矩形划分为整数边长矩形多重集的方案数。若两个分拆由相同类型的矩形多重集组成，则视为相同，其中一个 $a \times b$ 的矩形与 $b \times a$ 是不可区分的。几何排列对计数没有影响；只要这些块在理论上可以铺满面积 $m \times n$ ，则仅取决于块类型的多重集。

作者专注于两个特定情况：

正方形分拆： $p(n, n)$ ，其中两个维度都趋于无穷大。
固定高度矩形： $p(3, n)$ ，其中高度固定为 3，宽度 $n$ 趋于无穷大。

这些问题推广了经典的整数分拆函数 $p(n)$ ，后者对应于 $p(1, n)$ 的情况。虽然对于固定的 $m$ 和较大的 $n$ ，关于 $p(m, n)$ 的渐近行为，作者和 Robin Visser 曾有一个涉及调和数的特定形式的猜想，但对于正方形情况（ $m=n$ ），其精确行为呈现出一种截然不同的渐近挑战。

方法论
本文结合了解析数论、生成函数和组合打包构造法。

通过生成函数建立上界： 作者通过放宽几何铺设条件（定义 1.1 中的条件 3）来推导上界。他们考虑了无论是否能物理上铺满矩形，总面积为 $mn $的矩形多重集的数量。这通过形式为$ \prod (1-x^{ab})^{-r(ab)} $的生成函数进行建模，其中$ r(ab) $计算面积为$ ab$ 的矩形类型数量。
- 对于 $p(n, n)$ ，他们将生成函数与一个与约数函数 $d(s)$ 相关的多重集中的分拆进行比较，并利用了 Berndt、Robles、Zaharescu 和 Zeindler 的研究结果。
- 对于 $p(3, n)$ ，他们将问题分解为包含高度为 3 的块以及不包含此类块的分拆，利用生成函数的卷积以及经过 Bringmann Jennings–Shaffer 和 Mahlburg 改进的 Ingham 太伯里安定理（Tauberian theorem）来提取渐近系数。
通过打包构造建立下界： 为了建立下界，作者构建了特定的铺设方式。
- 对于 $p(n, n)$ ，他们采用了一种“着色分拆”（colored partition）方法结合贪心打包算法。他们将正方形划分为不同高度的水平条，并在其中填充源自受限整数分拆的矩形。
- 对于 $p(3, n)$ ，他们采用了一种“阶梯式”（staircase）构造，将 $3 \times n$ 的矩形划分为高度为 3、2 和 1 的水平条，并使用对应高度的矩形填充它们，这些矩形源自具有受限部分的整数分拆。
渐近分析： 证明过程严重依赖于 Hardy–Ramanujan 整数分拆 $p(n)$ 的渐近公式、Dedekind eta 函数的性质以及调和和与约数函数的精确估计。

主要贡献与结果

正方形分拆的渐近公式 ( $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}$ 。论文还提供了两个较弱的初等上界和一个简单的下界，以说明在呈现主证明之前该问题的难度。
$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=3$ 的情况后，作者重申了他们对固定 $m \ge 4$ 时的猜想：
$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$ 的情况，本文提供了第一个带有严格误差项的渐近公式证明，证实了之前的启发式论证和数值证据。作者谦虚地指出，虽然他们针对 $m=3$ 和 $m=4$ 的构造符合猜想，但用于 $m=3$ 和 $m=4$ 的“阶梯式”构造无法得出 $m=5$ 时所猜想的指数项，这表明对于更高的固定高度，可能需要不同的几何排列。

这项工作通过将渐近分析扩展到几何分拆问题，为整数分拆理论做出了贡献，弥合了经典分拆理论与块的顺序无关的铺设问题之间的鸿沟。

类似论文