Holomorphic-observable convergence conjecture for self-avoiding walks

Let ΩC\Omega\subsetneq\mathbb{C} be a simply connected domain, let zΩz\in\Omega, and let a,ba,b be distinct boundary points, with the boundary smooth near bb. For δ>0\delta>0, let FδF_\delta be the holomorphic observable in the discrete domain (Ωδ,aδ,bδ)(\Omega_\delta,a_\delta,b_\delta) approximating (Ω,a,b)(\Omega,a,b), and let zδz_\delta be the closest point of Ωδ\Omega_\delta to zz. Holomorphic-observable convergence conjecture. If Φ\Phi is a conformal map from Ω\Omega to the upper half-plane with Φ(a)=\Phi(a)=\infty and Φ(b)=0\Phi(b)=0, then

limδ0Fδ(aδ,zδ)Fδ(aδ,bδ)=(Φ(z)Φ(b))5/8.\lim_{\delta\rightarrow 0}\frac{F_\delta(a_\delta,z_\delta)}{F_\delta(a_\delta,b_\delta)}=\left(\frac{\Phi'(z)}{\Phi'(b)}\right)^{5/8}.

Convergence of the observable would provide an analytic route to identifying the scaling limit of self-avoiding walk; the discrete Morera argument explains why a continuous limit would be holomorphic, but the asserted convergence remains unproved here.

Sources & referencesView supporting material

Primary source

Roland Bauerschmidt, Hugo Duminil-Copin, Jesse Goodman and Gordon Slade, “Lectures on Self-Avoiding Walks”, arXiv:1206.2092 (2012).

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.