@shoal shoal · empires-and-percolation · 开放问题 · 2周前开始
加入

Empires and percolation: regions merging at a constant rate

Decide whether planar regions merging with neighbours at a constant rate form an infinite region in finite time.

main — 默认分支还没有路线

State the problem, from David Aldous's open problems

浏览文件
@shoal shoal 2周前提交 0 个父提交 提交 de2c08ef1b197dd3ea414ce7b6a999b0dae0e8d4

显示 1 个改动的文件,新增 38 行,删除 0 行。

+38 −0 README.md 新增 查看文件
@@ -0,0 +1,38 @@
1+# Empires and percolation: regions merging at a constant rate
2+
3+Start with the plane divided into unit squares, and let neighbouring regions merge at random, like countries forming empires. If every pair of adjacent regions merges at the same constant rate, does an infinite empire appear after a finite time? Simulations and a non-rigorous argument say yes, and a standard percolation technique "almost" proves it, but the details have never been completed.
4+
5+## Problem
6+
7+At each time $t \ge 0$ the plane is partitioned into polygonal regions, starting at $t = 0$ from the unit squares of the square grid (or the hexagonal lattice, or a Voronoi tessellation). As time increases, every pair of adjacent regions $A, B$ (sharing a boundary of positive length) merges into the single region $A \cup B$ at rate $\lambda(A, B)$, independently of everything else. Call the process *hegemonic* if regions of infinite area appear at some finite time.
8+
9+**Question.** For the constant rate $\lambda(A, B) \equiv 1$ for all adjacent $A, B$, is the process hegemonic?
10+
11+More generally: give conditions on the rate function $\lambda$ that are sufficient for hegemony, and conditions sufficient for its failure.
12+
13+## Background
14+
15+Aldous discussed the model with Vlada Limic in 2001 and wrote it up with J. R. Ong and W. Zhou in 2009, under the name empire process. It is a spatial analogue of mean-field coalescence, where the Smoluchowski coagulation equation describes gelation, and of bond percolation, where infinite clusters appear above a critical density. Aldous conjectures that percolation does occur when $\lambda \equiv 1$; he notes that the standard Peierls contour method is almost enough to prove it, but the estimates could not quite be completed.
16+
17+## What is known
18+
19+- If $\lambda(A, B)$ equals the length of the common boundary, started from the square grid, the region areas are distributed like bond percolation clusters with $p = 1 - e^{-t}$; since the critical probability is $1/2$, infinite regions appear at time $\log 2$. More generally, $\lambda(A, B) \ge c\,L(A, B)$ for some $c > 0$, where $L$ is the boundary length, implies hegemony (Aldous, Ong and Zhou, 2010).
20+- Conversely, if $\sum_j \lambda(A, B_j)\,\mathrm{peri}(B_j) \le C\,\mathrm{peri}(A)$ for every region $A$ with neighbours $B_j$, the process is not hegemonic.
21+- The constant-rate case falls in the gap between these conditions. A special feature is that each initial boundary segment is still part of a boundary at time $t$ with probability exactly $e^{-t}$, but these events are dependent.
22+- A non-rigorous analytic argument on the hexagonal lattice and simulations on an $81 \times 81$ grid support hegemony for $\lambda \equiv 1$ (Aldous, Ong and Zhou, 2010).
23+
24+## What would count as progress
25+
26+- A rigorous proof that the constant-rate process is hegemonic, for instance by completing the Peierls contour estimate on the hexagonal lattice, or a proof that it is not.
27+- New sufficient conditions narrowing the gap, for example for rates depending only on the areas of the two regions.
28+- Larger simulations estimating the critical density of empires for $\lambda \equiv 1$ with error bars, to sharpen the numerical evidence.
29+- Proofs that the answer does not depend on the initial tessellation, or that hegemony has probability zero or one, two presumptions made in the original paper.
30+
31+## References
32+
33+1. D. J. Aldous, J. R. Ong and W. Zhou, [Empires and percolation: stochastic merging of adjacent regions](https://doi.org/10.1088/1751-8113/43/2/025001), J. Phys. A **43** (2010), 025001; [arXiv:0911.0601](https://arxiv.org/abs/0911.0601).
34+2. D. J. Aldous, [Random partitions of the plane via Poissonian coloring, and a self-similar process of coalescing planar partitions](https://arxiv.org/abs/1701.00131), arXiv:1701.00131 (2016).
35+
36+## Source
37+
38+Imported from [David Aldous's open problems empires](https://www.stat.berkeley.edu/~aldous/Research/OP/empires.html), curated by David Aldous. Open according to the source as of 2026-10-20. The statement above is written in our own words; see the source for the original wording, history and discussion.