Equality of critical parameters for loop and Bernoulli percolation at diverging degree

At least 6 years old · documented by

Let (Gn)n=(Vn,En)n(G_n)_n=(V_n,E_n)_n be a sequence of finite, connected, vertex-transitive graphs with vertex degree \bDeltan\bDelta_n diverging as n→∞n\to\infty. For a fixed sequence and fixed uu, define

tp:=inf⁡{t:∃c>0:lim⁡nπGn,p=t/Δn(∣C(v)∣>c∣Vn∣)>0},t_p:=\inf\{t:\exists c>0:\lim_n\pi_{G_n,p=t/\Delta_n}(|C(v)|>c|V_n|)>0\},

and

tβ:=inf⁡{t:∃c>0:lim⁡nPGn,β=t/Δn,u(∣L(v)∣>c∣Vn∣)>0},t_\beta:=\inf\{t:\exists c>0:\lim_n\mathbb{P}_{G_n,\beta=t/\Delta_n,u}(|L(v)|>c|V_n|)>0\},

whenever the limits are well-defined, and set pc((Gn)n):=tp/Δnp_c((G_n)_n):=t_p/\Delta_n, βc((Gn)n,u):=tβ/Δn\beta_c((G_n)_n,u):=t_\beta/\Delta_n, and βcper((Gn)n):=−ln⁡(1−pc((Gn)n))\beta_c^\text{per}((G_n)_n):=-\ln(1-p_c((G_n)_n)). Critical-parameter equality conjecture. If pc((Gn)n)p_c((G_n)_n) and βc((Gn)n,u)\beta_c((G_n)_n,u) exist, then for every u∈[0,1]u\in[0,1],

βc((Gn)n,u)=βcper((Gn)n).\beta_c((G_n)_n,u)=\beta_c^\text{per}((G_n)_n).

The conjecture proposes that, even when the vertex degree diverges, the loop-percolation critical parameter agrees with the corresponding Bernoulli-percolation parameter. The source gives no resolution, and the vertex-transitivity assumption is explicitly not expected to be necessary.

References

Primary source

Peter Mühlbacher, “Critical Parameters for Loop and Bernoulli Percolation”, arXiv:1908.10213 (2019).

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.