Ising-eroding conjecture for critical families

From papers

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)eL\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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Daniel Blanquicett, “Fixation for Two-Dimensional U-ISING and U-VOTER Dynamics”, arXiv:2003.02420 (2020).

Solutions 0

No solutions have been posted yet.