Ising-eroding conjecture for critical families

About 6 years old · traced to

Let U\mathcal U be a finite family defining two-dimensional U\mathcal U-Ising dynamics. A finite set T\mathcal T of stable directions determines a (T,L)(\mathcal T,L)-droplet when the intersection of the corresponding translated discrete half-planes is nonempty, finite, and has diameter at most LL. The family is Ising-eroding if there exist c>1c>1 and a finite T\mathcal T such that every (T,L)(\mathcal T,L)-droplet DD satisfies

∂p(TIs⁡(D)>Lc)⩽e−L\partial_p\bigl(T^{\operatorname{Is}}(D)>L^c\bigr)\leqslant e^{-L}

for all sufficiently large LL, where TIs⁡(D)T^{\operatorname{Is}}(D) 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 N22\mathcal N_2^2 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

Never refreshed

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.