Complete local expansion of the availability function in random sequential adsorption of aligned squares at low density: Termination at fourth order

技术摘要：对定向正方形随机顺序吸附中可用性函数的完全局部展开

问题陈述
本文研究了二维平面上定向正方形的随机顺序吸附（RSA）问题。具体而言，研究重点在于低覆盖度机制，旨在推导可用性函数 $\alpha(q)$ 的精确闭式展开式。该函数代表了在给定分数表面覆盖度 $q = \rho L^2$（其中 $\rho$ 为数密度，$L$ 为边长）的情况下，可以在不与已沉积正方形重叠的前提下，在平面上插入一个额外正方形的位置比例。虽然一维 RSA 问题（Rényi 停车问题）是可精确求解的，但高维系统表现出复杂的几何相关性，使得解析解难以获得。以往的研究为各种形状在低密度展开中的 $\alpha(q)$ 系数提供了数值估计，但在直接从几何重叠构型中推导出的、超越领先阶数的显式闭式表达式方面仍然缺乏研究。

方法论
作者应用了针对排除区域几何结构的系统性包含-排除原理（inclusion–exclusion principle）。

1. 几何框架： 每个沉积的边长为 $L$ 的正方形都会创建一个边长为 $2L$ 的排除区域（面积为 $4L^2$），在该区域内新正方形的中心（或参考角点）无法放置。可用性函数定义为 1 减去这些排除区域并集的平面覆盖比例。
2. 簇展开逻辑： $\alpha(q)$ 的展开是通过修正独立排除区域求和时产生的过度计数误差来构建的：
   • 一阶： 减去单个排除区域的面积。
   • 二阶： 加回两个排除区域重叠部分的面积（修正双重减法）。
   • 三阶： 减去三个排除区域重叠部分的面积（修正过度加法）。
   • 四阶： 加回四个排除区域重叠部分的面积。
3. 终止条件： 一个核心几何观察驱动了该方法论：对于定向正方形，至多只有四个相互不重叠的沉积正方形可以同时重叠试探正方形的排除区域。因此，对于定向正方形，包含-排除层级在第四阶处精确终止。
4. 计算： 系数通过显式枚举并积分所有几何上可容许的 $n$ 体重叠配置（$n=1$ 到 $4$）来得出。由于正方形是轴对齐的，这些积分被分解为一维分量。应用组合对称因子（$1/n!$）以处理有序与无序簇的区别。
5. 验证： 通过在离散晶格上的数值模拟确认了解析系数，其中系数对应于兼容阻挡簇（compatible blocker clusters）的归一化计数。

主要贡献与结果
主要贡献是推导出了定向正方形可用性函数的完整、精确的低密度多项式，其阶数达到了几何允许的最大阶数。所得展开式为：

$$\alpha(q) = 1 - 4q + \frac{7}{2}q^2 - \frac{8}{9}q^3 + \frac{17}{288}q^4$$

具体的系数为：

• $a_1 = -4$：代表单个正方形的排除面积（$4L^2$）。
• $a_2 = 7/2$：第一个集体修正项，代表两个排除区域的平均重叠。
• $a_3 = -8/9$：三体重叠的修正项。
• $a_4 = 17/288$：四体重叠的最终修正项。

本文证明了该多项式并非任意截断，而是完整的局部重叠层级。作者计算了该四次多项式的根，发现饱和点为 $q^* \approx 0.3455$。

意义与主张
本文声称其在以下领域具有重要意义：

1. 局部展开的精确性： 它首次提供了定向正方形可用性函数直至四阶的显式闭式表达式，这些表达式是直接从几何重叠核而非数值拟合中推导出来的。
2. 局部与非局部物理的界定： 该工作确立了局部几何约束与全局阻塞现象（jamming phenomena）之间的清晰边界。该四次多项式可以精确描述系统直到局部相关性耗尽的点（$q \approx 0.3455$）。然而，定向正方形的实际阻塞极限已知约为 $0.5620$。
3. 局部模型的局限性： 四次多项式的根（$0.3455$）与真实阻塞密度（$0.5620$）之间的差异表明，趋向阻塞的过程是由非局部集体相关性控制的，这些相关性由不可逆沉积的历史产生，任何有限阶的局部展开都无法捕捉到这一点。
4. 解析基准： 推导出的系数为测试数值 RSA 模拟及近似不可逆吸附理论提供了严谨的解析基准。

作者强调，尽管局部展开在第四阶是精确的，但该多项式未能预测真实的阻塞极限，这凸显了高维 RSA 系统固有的复杂性，即全局历史依赖的相关性在饱和过程中占据主导地位。