[论文解读] Limit Theorems for Internal Aggregation Models

Lionel Levine|ArXiv.org|Dec 28, 2007

Stochastic processes and statistical mechanics参考文献 44被引用 7

一句话总结

本文证明了三种不同的聚集模型——内部扩散限域（internal DLA）、转子路由器（rotor-router）和可除沙堆（divisible sandpile）——在格点间距趋于零时，收敛到 $ ^d$ 中相同的确定性标度极限，该极限由一个自由边界PDE问题的解表征。关键结果是标度极限为一个平方曲域（quadrature domain），对于单源情形，其为欧几里得球体，并带有可量化的误差界：可除沙堆的误差为常数，转子路由器模型在 $ ^d$ 中的内误差为对数级，外误差为 $r^{1-1/d}\log r$。该研究解决了长期悬而未决的关于这些模型渐近形状的问题，并揭示了其与位势论和流体动力学的深层联系。

ABSTRACT

We study the scaling limits of three different aggregation models on the integer lattice Z^d: internal DLA, in which particles perform random walks until reaching an unoccupied site; the rotor-router model, in which particles perform deterministic analogues of random walks; and the divisible sandpile, in which each site distributes its excess mass equally among its neighbors. As the lattice spacing tends to zero, all three models are found to have the same scaling limit, which we describe as the solution to a certain PDE free boundary problem in R^d. In particular, internal DLA has a deterministic scaling limit. We find that the scaling limits are quadrature domains, which have arisen independently in many fields such as potential theory and fluid dynamics. Our results apply both to the case of multiple point sources and to the Diaconis-Fulton smash sum of domains. In the special case when all particles start at a single site, we show that the scaling limit is a Euclidean ball in R^d, and give quantitative bounds on the rate of convergence to a ball. We also improve on the previously best known bounds of Le Borgne and Rossin in Z^2 and Fey and Redig in higher dimensions for the shape of the classical abelian sandpile model. Lastly, we study the sandpile group of a regular tree whose leaves are collapsed to a single sink vertex, and determine the decomposition of the full sandpile group as a product of cyclic groups. For the regular ternary tree of height n, for example, the sandpile group is isomorphic to (Z_3)^{2^{n-3}} x (Z_7)^{2^{n-4}} x ... x Z_{2^{n-1}-1} x Z_{2^n-1}. We use this result to prove that rotor-router aggregation on the regular tree yields a perfect ball.

研究动机与目标

• 确立三种基本聚集模型——内部 DLA、转子路由器和可除沙堆——存在一个通用的标度极限。
• 证明标度极限为一个平方曲域，从而将这些模型与位势论和流体动力学联系起来。
• 量化标度极限的收敛速率，特别是针对单源聚集的情形。
• 解决关于转子路由器和沙堆模型在 $ ^d$ 中渐近形状的开放性问题，包括误差界和对称性特征。
• 分析正则树上的沙堆群，并证明转子路由器聚集在该类图上产生完美球体。

提出的方法

• 通过离散位势理论分析三种模型，利用位移函数（odometer function）追踪质量的重新分布。
• 应用障碍问题框架，将标度极限表征为一个自由边界PDE的解。
• 利用离散次调和势函数和障碍函数向 $ ^d$ 连续极限的收敛性，借助最小次调和上界函数（least superharmonic majorants）。
• 采用二项式平滑和离散格林函数，控制位移函数和区域边界的性质。
• 应用合并和运算（smash sum operation）处理多个点源，并证明其在Hausdorff拓扑下的结合性与连续性。
• 利用正则树上沙堆群的代数结构，证明转子路由器聚集产生完美球体。

实验结果

研究问题

• RQ1 当格点间距趋于零时，内部 DLA、转子路由器和可除沙堆模型在 $ ^d$ 中是否收敛到相同的标度极限？
• RQ2 标度极限的精确性质是什么？它与平方曲域及PDE自由边界问题有何关联？
• RQ3 转子路由器和可除沙堆模型收敛到标度极限的定量误差界是什么？
• RQ4 在正则树上，转子路由器聚集是否产生完美球体？此时沙堆群的结构如何？
• RQ5 经典阿贝尔沙堆模型在存在深度为 $H$ 的孔洞时的极限形状是什么？其是否表现出 $D_{4H+12}$ 对称性？

主要发现

• 三种模型——内部 DLA、转子路由器和可除沙堆——在 $ ^d$ 中具有相同的标度极限，该极限是由PDE自由边界问题导出的平方曲域。
• 对于单源情形，标度极限是 $ ^d$ 中的欧几里得球体，可除沙堆的半径误差被一个与质量无关的常数所控制。
• 在 $ ^d$ 中，转子路由器模型的内误差随半径 $r$ 的增长至多为对数级，外误差至多为 $O(r^{1-1/d}\log r)$。
• 本文改进了 Le Borgne 和 Rossin 在 $ ^2$ 中的先前结果，以及 Fey 和 Redig 在高维情形下的边界估计。
• 在高度为 $n$ 的正则三叉树上，沙堆群同构于循环群的直积 $\Z_{3}^{2^{n-3}} \oplus \Z_{7}^{2^{n-4}} \oplus \cdots \oplus \Z_{2^{n-1}-1} \oplus \Z_{2^{n}-1}$，且转子路由器聚集产生完美球体。
• 本文猜想：在正 $x$-轴上采用反射型或向下指向转子的改进型转子路由器模型，其极限形状分别为心形和螺旋形。