Coexistence conjecture for two-type growth models

Let d2d\geq 2. For i=1,2i=1,2, let AiA_i be the event that infection type ii reaches sites arbitrarily far from the origin, and let A=A1A2A=A_1\cap A_2 be the coexistence event. Let P~λ1,λ2\tilde{P}^{\lambda_1,\lambda_2} denote the law of the discrete two-type process started from single infections at the origin and at (1,0,,0)(1,0,\ldots,0), and let Pλ1,λ2P^{\lambda_1,\lambda_2} denote the law of the continuum two-type process started from unit balls centered at the origin and at (2,0,,0)(2,0,\ldots,0). Here λ1\lambda_1 and λ2\lambda_2 are the infection intensities, and FF is the outburst-radius distribution. Coexistence conjecture. For every dimension d2d\geq 2, both of the following hold:

P~λ1,λ2(A)>0λ1=λ2;\tilde{P}^{\lambda_1,\lambda_2}(A)>0\quad\Longleftrightarrow\quad \lambda_1=\lambda_2;

and, if FF satisfies the stated condition,

Pλ1,λ2(A)>0λ1=λ2.P^{\lambda_1,\lambda_2}(A)>0\quad\Longleftrightarrow\quad \lambda_1=\lambda_2.

The conjecture asserts that indefinite growth of both infection types has positive probability exactly when their intensities are equal, for both the discrete model and the continuum model under the specified condition on FF. The supplied text gives no resolution, so the conjecture is recorded as open.

Sources & referencesView supporting material

Primary source

Maria Deijfen and Olle Häggström, “Coexistence in a two-type continuum growth model”, arXiv:1509.06968 (2015).

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.