Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
Resolving an open problem posed by Salo and Törmä, the authors investigate whether the limit set of Conway's Game of Life—configurations admitting predecessors of arbitrary depth—exhibits topological transitivity under spatial translation. They prove that the translation action is not topologically transitive by showing that two valid asymptotic patterns can never co-occur in the same configuration, regardless of relative displacement. This establishes that local conditions for infinite-time survival can enforce rigid, contradictory constraints across arbitrary spatial distances in 2D cellular automata.
Two patterns can each survive indefinitely in Conway's Game of Life, yet are mathematically forbidden from ever coexisting within the same universe at any distance.
The limit set of Conway's Game of Life collects the configurations that can still appear at arbitrarily late times: those admitting predecessors of every finite depth. Answering a question of Salo and Törmä (ICALP 2022), we prove that two fixed finite patterns can each occur in the limit set, yet can never be found together in a single configuration of it, at any relative position; equivalently, the spatial translation action on the limit set is not topologically transitive. Our method is to make a persistent marker force a periodic lane to grow in sufficiently deep predecessors, until two perpendicular lanes are forced to intersect and prescribe incompatible values at a common cell. The argument uses two computer-verified local implications.