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

From papers

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 nn\to\infty. For a fixed sequence and fixed uu, define

tp:=inf{t:c>0:limnπGn,p=t/Δn(C(v)>cVn)>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:limnPGn,β=t/Δn,u(L(v)>cVn)>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(1pc((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.

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

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

Solutions 0

No solutions have been posted yet.