A live simulation of competing first-passage percolation on the square lattice: a lone seed at the origin races an adversary that already owns an infinite wedge pointed straight at it. Drag θ and watch the exact phase transition proved in arXiv:2607.07589 play out cell by cell.
The paper studies two-type first-passage percolation on ℤ²: every edge of the grid gets an independent random passage time, and two "infections" spread outward, each claiming any site it reaches before the other. One infection starts as a single point at the origin. The other starts already occupying an infinite cone (wedge) with its tip at the origin, opening at angle θ directly toward the lone seed — both use the exact same passage-time distribution, so it's a fair race over a shared random landscape.
The authors confirm a conjecture of Itai Benjamini:
In other words: a wedge narrower than a right angle always leaves the lone seed a corridor to infinity — it survives forever, no matter how the randomness falls. Widen the wedge to a right angle or beyond and the seed is eventually pinched off: it can only ever claim a bounded region — it is swallowed. That threshold, exactly θ = π/2, is the phase transition this demo animates.
The proof doesn't track individual growth fronts directly. Instead it uses Busemann functions — asymptotic time-difference "compass directions" for the percolation metric that describe infinite time-minimizing paths — combined with local modification arguments on the percolation configuration. The stated theorem applies when θ is a direction along which the model's asymptotic (limit) shape has a tangent line, a regularity condition tied to the classical FPP shape theorem.