The asymptotic behavior of the rectangle partition function $p(m,n)$

技术摘要：矩形分拆函数 $p(m, n)$ 的渐近行为

问题陈述
本文研究了矩形分拆函数 $p(m, n)$ 的渐近行为，该函数计算将一个大小为 $m \times n$ 的矩形划分为由整数边长矩形块组成的多元集的方法数。该定义的一个关键约束是：两个分拆被视为相同，如果它们由相同的矩形块多元集组成，而与它们的几何排列或方向无关（尺寸为 $a \times b$ 和 $b \times a$ 的块是不可区分的）。

该问题是经典整数分拆函数 $p(n)$ 的二维推广。具体而言，$p(1, n) = p(n)$。虽然 $p(n)$ 的渐近行为由 Hardy–Ramanujan 公式给出，且 $m=2$ 和 $m=3$ 的情况在近期文献中已有确定，但对于任意固定正整数 $m$ 的一般情况仍是一个猜想。前人工作 [2] 中提出的特定猜想为：对于固定的 $m$：
$$\log p(m, n) = \pi \sqrt{\frac{2mH_m}{3}} \sqrt{n} + o(\sqrt{n})$$
其中 $H_m = \sum_{a=1}^m \frac{1}{a}$ 是第 $m$ 个调和数。

方法论
作者 Gajdzica 和 Zakarczemny 采用一种初等方法来建立该猜想的更强形式，即将 $o(\sqrt{n})$ 误差项替换为 $O(\log n)$。证明分为两个截然不同的部分：推导上界和构建下界。

1. 上界推导：
   作者将 $p(m, n)$ 与总面积为 $mn$且每个矩形的较短边不超过$m$ 的整数边长矩形多元集进行比较。至关重要的是，这种比较并不要求该多元集必须构成有效的矩形平铺。

   • 他们利用了这些多元集的生成函数，该函数可以分解为移位的欧拉乘积。
   • 通过对这些乘积应用初等估计（具体利用关于对数无穷级数的引理 3.2），他们推导出了生成函数的上界。
   • 这得出了不等式 $\log p(m, n) \leq \pi \sqrt{\frac{2mH_m}{3}} \sqrt{n}$，其中没有显式的领先阶误差项，从而直接建立了上界。

2. 下界构建：
   下界是通过一种将整数分拆族乘积映射到有效矩形分拆的显式构造方法建立的。

   • 分解： 将 $m \times n$ 矩形划分为一组垂直列。对于每个高度 $a \in \{2, \dots, m\}$，预留一列宽度为 $c_{a,n}$ 的列。该列被细分为 $\lfloor m/a \rfloor$ 个高度为 $a$ 的水平条带以及剩余的高度为 1 的条带。
   • 填充策略： 从特定的族 $\mathcal{A}(a, T_{a,n})$ 中独立选择整数分拆 $\lambda_a$。$\lambda_a$ 的部分决定了高度为 $a$ 的矩形的宽度。
   • 填充引理： 利用贪心填充算法（引理 3.6），作者证明了只要矩形的总宽度不超过可用空间，对应于 $\lambda_a$ 的矩形就可以被填充进预留的高度为 $a$ 的条带中。
   • 填充物： 剩余区域（高度为 1 的条带和矩形的最右侧部分）用于填充对应于 $\lambda_1$ 的矩形，并用 $1 \times 1$ 正方形填补任何剩余的单位面积。
   • 单射性： 该构造是单射的；生成的多元集唯一确定了原始的分拆 $\lambda_1, \dots, \lambda_m$。
   • 关键不等式： 证明的一个核心组成部分是引理 3.7，它确立了 $m \sum_{a=2}^m \frac{1}{a^2 \lfloor m/a \rfloor} < H_m$。该不等式确保了所构造的列的总宽度在 $n$ 足够大时能够容纳在矩形宽度 $n$ 之内。

主要贡献与结果
本文的主要贡献是证明了定理 1.1，该定理以精确的误差项确认了 [2] 中的猜想。

• 定理 1.1： 对于每个固定的正整数 $m$，当 $n \to \infty$ 时：
  $$\log p(m, n) = \pi \sqrt{\frac{2mH_m}{3}} \sqrt{n} + O(\log n)$$
  此外，作者提供了一个一致上界：对于所有 $n \geq m$，有 $p(m, n) \leq \exp\left(\pi \sqrt{\frac{2mH_m}{3}} \sqrt{n}\right)$。

• 推广： 该结果推广了 Hardy–Ramanujan 公式（$m=1$ 的情况）以及针对 $m=2$ 和 $m=3$ 的特定结果。它通过一个涉及调和数 $H_m$ 的统一公式，统一了矩形分拆的渐近行为。

• 初等证明： 作者强调其方法是初等的，依赖于生成函数、组合构造和基本的解析估计，而非分拆理论中常用的复杂模形式或高级渐近工具。

意义与范围
本文声称解决了关于 $p(m, n)$ 领先渐近项的一个特定开放猜想。作者指出，虽然领先指数项现已确定，但指数项前的多项式因子（对于 $m \leq 3$ 已知）对于 $m \geq 4$ 仍是一个开放问题。这项工作是自洽的，提供了所有必要的定义和引理，并作为对经典整数分拆理解向二维矩形设置的推广。其意义在于确认了维度 $m$、调和数 $H_m$ 与分拆函数增长率之间的结构性关系。