Ising-eroding conjecture for critical families
Let be a finite family defining two-dimensional -Ising dynamics. A finite set of stable directions determines a -droplet when the intersection of the corresponding translated discrete half-planes is nonempty, finite, and has diameter at most . The family is Ising-eroding if there exist and a finite such that every -droplet satisfies
for all sufficiently large , where is the time required for the droplet, initially all with all exterior sites frozen at , to become entirely . Ising-eroding conjecture. Every critical family is Ising-eroding.
The conjecture is motivated by the known polynomial-time erosion estimate for the nearest-neighbour family and by numerical simulations. The source describes it as difficult to prove and does not establish it.
References
Primary source
Daniel Blanquicett, “Fixation for Two-Dimensional U-ISING and U-VOTER Dynamics”, arXiv:2003.02420 (2020).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.