Duminil-Copin and Smirnov's 2012 proof that the connective constant of the hexagonal lattice equals sqrt(2+sqrt 2) settled Nienhuis's 1982 prediction, but the deeper predictions about the two-dimensional self-avoiding walk (SAW) recorded in the same paper remain open. The paper conjectures that the critical SAW curve converges, under mesh refinement, to the chordal Schramm-Loewner Evolution with parameter 8/3 (Conjecture 1), and that the normalized parafermionic observable — the winding-weighted partition function that satisfies half of the discrete Cauchy-Riemann relations and drove the connective-constant proof — converges to a conformally covariant limit (Conjecture 2), which would be the main step toward Conjecture 1 and toward the predicted critical exponents gamma = 43/32 and nu = 3/4 and the T^{-1/4} decay of the critical bridge partition function.

Background

A self-avoiding walk (SAW) is a lattice path that visits no vertex more than once; it was introduced in the 1950s as a model of polymer chains and became one of the most studied models of statistical mechanics. On the hexagonal (honeycomb) lattice, the number cnc_n of nn-step SAWs grows exponentially and cn1/nc_n^{1/n} tends to a limit μ\mu, called the connective constant of the lattice. Using the Coulomb-gas formalism for the two-dimensional O(n)O(n) model, Nienhuis (1982) predicted μ=2+2\mu = \sqrt{2+\sqrt2}; Duminil-Copin and Smirnov (2012) proved this. Their tool was a parafermionic observable: a walk-counting partition function F(a,z)=∑γ:a→ze−iσWγ(a,z)xℓ(γ)F(a,z) = \sum_{\gamma: a \to z} e^{-i\sigma W_\gamma(a,z)} x^{\ell(\gamma)}, where Wγ(a,z)W_\gamma(a,z) is the winding (the total rotation, in radians, along the walk from aa to zz), ℓ(γ)\ell(\gamma) the walk's length, and σ=5/8\sigma = 5/8 a spin parameter. At the critical weight xc=1/2+2x_c = 1/\sqrt{2+\sqrt2} this observable satisfies a vanishing discrete contour integral around every lattice vertex — one half of the discrete Cauchy–Riemann relations of discrete complex analysis — which was enough to pin down μ\mu but not to make the observable discrete-holomorphic, since in a domain with EE mid-edges the relation provides only about 2E/32E/3 constraints for EE values, leaving the observable, in the authors' words, a divergence-free vector field with conjecturally non-trivial discrete curl.

Section 4 of that paper records the central remaining problems. Lawler, Schramm and Werner (2004) conjectured that the critical SAW has a conformally invariant scaling limit: for a simply connected planar domain Ω≠C\Omega \ne \mathbb{C} with two distinct boundary points a,ba, b, the random curve γδ\gamma_\delta drawn from self-avoiding trajectories in the mesh-δ\delta approximation (Ωδ,aδ,bδ)(\Omega_\delta, a_\delta, b_\delta), weighted proportionally to xcℓ(γ)x_c^{\ell(\gamma)}, should converge in law as δ→0\delta \to 0 to chordal SLE(8/3) — the member of the one-parameter Schramm–Loewner Evolution family of random conformally invariant curves that satisfies the restriction property (invariance under conditioning the curve to remain in subdomains), the continuum analogue of the elementary fact that a SAW conditioned to stay in a subgraph is a SAW on that subgraph. The same physics predicts the critical exponents: cn∼Anγ−1μnc_n \sim A n^{\gamma-1} \mu^n with γ=43/32\gamma = 43/32 (Nienhuis), mean-square displacement ⟨∣γ(n)∣2⟩=n2ν+o(1)\langle|\gamma(n)|^2\rangle = n^{2\nu+o(1)} with ν=3/4\nu = 3/4 (Flory-type prediction supported by Nienhuis), and, for the partition function BTxcB_T^{x_c} of bridges (SAWs crossing a strip of width TT) at criticality, the decay BTxc∼T−1/4B_T^{x_c} \sim T^{-1/4}. Lawler, Schramm and Werner showed that γ\gamma and ν\nu would follow from a conformally invariant scaling limit of the SAW. The analogue of the whole program was completed for the Ising model, where the fermionic observable (σ=1/2\sigma = 1/2, corresponding to n=1n = 1) satisfies the full set of discrete Cauchy–Riemann relations and converges to a conformally covariant limit (Chelkak and Smirnov 2012); for the SAW (n=0n = 0) only half of the relations is available, which is the main structural obstacle recorded in the source. The source expects the missing half of the discrete Cauchy–Riemann relations to hold in the scaling limit — the discrete curl of the observable vanishing, equivalently Fδ(z)F_\delta(z) having the same limit regardless of the orientation of the edge zz — which, together with the prescribed boundary values, would determine the limit.

Problem Statement

Prove the conformal invariance of the critical self-avoiding walk on the hexagonal lattice, in the formulation of Duminil-Copin and Smirnov (2012), with critical weight xc=1/2+2x_c = 1/\sqrt{2+\sqrt2}:

(1) Conjecture 2. For every simply connected domain Ω≠C\Omega \ne \mathbb{C}, every point z∈Ωz \in \Omega, and distinct boundary points a,ba, b with ∂Ω\partial\Omega smooth near bb: let FδF_\delta be the winding-based parafermionic observable with spin σ=5/8\sigma = 5/8 in the mesh-δ\delta domain (Ωδ,aδ)(\Omega_\delta, a_\delta), and let zδ,bδz_\delta, b_\delta be the mesh-δ\delta points closest to z,bz, b. Then

lim⁡δ→0Fδ(zδ)Fδ(bδ)=(ϕ′(z)ϕ′(b))5/8\lim_{\delta \to 0} \frac{F_\delta(z_\delta)}{F_\delta(b_\delta)} = \left(\frac{\phi'(z)}{\phi'(b)}\right)^{5/8}

where ϕ\phi is a conformal map from Ω\Omega to the upper half-plane sending aa to ∞\infty and bb to 00 (the right-hand side is well defined because ϕ\phi is unique up to multiplication by a real factor).

(2) Conjecture 1 (the target). For every simply connected domain Ω≠C\Omega \ne \mathbb{C} with two distinct boundary points a,ba, b, the law of the random curve γδ\gamma_\delta in (Ωδ,aδ,bδ)(\Omega_\delta, a_\delta, b_\delta), obtained by weighting each self-avoiding trajectory proportionally to xcℓ(γ)x_c^{\ell(\gamma)}, converges as δ→0\delta \to 0 to the chordal Schramm–Loewner Evolution with parameter κ=8/3\kappa = 8/3 in Ω\Omega from aa to bb.

(3) Linked consequences of the same scaling limit. Derive the predicted critical behavior: the asymptotic cn∼Anγ−1μnc_n \sim A n^{\gamma-1}\mu^n with μ=2+2\mu = \sqrt{2+\sqrt2} and γ=43/32\gamma = 43/32; the mean-square displacement ⟨∣γ(n)∣2⟩=n2ν+o(1)\langle|\gamma(n)|^2\rangle = n^{2\nu+o(1)} with ν=3/4\nu = 3/4; and the decay BTxc∼T−1/4B_T^{x_c} \sim T^{-1/4} of the critical bridge partition function as T→∞T \to \infty.

These three parts serve a single scientific objective, the rigorous continuum description of the critical self-avoiding walk: Lawler, Schramm and Werner showed that the exponents in (3) are computable once the scaling limit in (2) is conformally invariant, and the source states that proving (1) 'would be a major step toward' (2) 'and the derivation of critical exponents'. Determination of the square-lattice connective constant and the critical points of the loop O(n)O(n) model for n∈(0,2]n \in (0, 2] are neighboring open problems and lie outside this question.

References

  1. Hugo Duminil-Copin and Stanislav Smirnov, The connective constant of the honeycomb lattice equals sqrt(2+sqrt 2), Annals of Mathematics 175 (2012), 1653-1665, DOI 10.4007/annals.2012.175.3.14, https://arxiv.org/abs/1007.0575 (arXiv:1007.0575)
  2. Bernard Nienhuis, Exact critical point and critical exponents of O(n) models in two dimensions, Physical Review Letters 49 (1982), 1062-1065, DOI 10.1103/PhysRevLett.49.1062, https://doi.org/10.1103/PhysRevLett.49.1062
  3. Gregory F. Lawler, Oded Schramm and Wendelin Werner, On the scaling limit of planar self-avoiding walk, Proceedings of Symposia in Pure Mathematics 72, Part 2 (2004), 339-364, DOI 10.1090/pspum/072.2/2112127, https://doi.org/10.1090/pspum/072.2/2112127
  4. Dmitry Chelkak and Stanislav Smirnov, Universality in the 2D Ising model and conformal invariance of fermionic observables, Inventiones Mathematicae 189 (2012), 515-580, DOI 10.1007/s00222-011-0371-2, https://doi.org/10.1007/s00222-011-0371-2
  5. Nicholas R. Beaton, Mireille Bousquet-Mélou, Jan de Gier, Hugo Duminil-Copin and Anthony J. Guttmann, The critical fugacity for surface adsorption of self-avoiding walks on the honeycomb lattice is 1+sqrt(2), Communications in Mathematical Physics 326 (2014), 727-754, DOI 10.1007/s00220-014-1896-1, https://arxiv.org/abs/1109.0358 (arXiv:1109.0358)
  6. Hugo Duminil-Copin and Alan Hammond, Self-avoiding walk is sub-ballistic, Communications in Mathematical Physics 324 (2013), 401-423, DOI 10.1007/s00220-013-1811-1, https://arxiv.org/abs/1205.0401 (arXiv:1205.0401)
  7. Hugo Duminil-Copin, Alexander Glazman, Alan Hammond and Ioan Manolescu, On the probability that self-avoiding walk ends at a given point, Annals of Probability 44 (2016), 955-983, DOI 10.1214/14-aop993, https://arxiv.org/abs/1305.1257 (arXiv:1305.1257)
  8. Hugo Duminil-Copin, Alexander Glazman, Ron Peled and Yinon Spinka, Macroscopic loops in the loop O(n) model at Nienhuis' critical point, Journal of the European Mathematical Society 23 (2020), 315-347, DOI 10.4171/jems/1012, https://arxiv.org/abs/1707.09335 (arXiv:1707.09335)
  9. Ewain Gwynne and Jason Miller, Convergence of the self-avoiding walk on random quadrangulations to SLE(8/3) on sqrt(8/3)-Liouville quantum gravity, Annales Scientifiques de l'École Normale Supérieure 54 (2021), 305-405, DOI 10.24033/asens.2460, https://arxiv.org/abs/1608.00956 (arXiv:1608.00956)
  10. Dmitrii Krachun and Christoforos Panagiotis, Quantitative sub-ballisticity of self-avoiding walk on the hexagonal lattice, Annals of Probability 54 (2026), no. 3, DOI 10.1214/24-aop1730, https://arxiv.org/abs/2310.17299 (arXiv:2310.17299)
  11. Olivier Couronné, New upper bound for the connective constant for square-lattice self-avoiding walks, arXiv:2211.16146 (2022), https://arxiv.org/abs/2211.16146
  12. Ron Peled and Yinon Spinka, Lectures on the Spin and Loop O(n) Models, in Sojourns in Probability Theory and Statistical Physics I, Springer Proceedings in Mathematics and Statistics (2019), 246-320, DOI 10.1007/978-981-15-0294-1_10, https://arxiv.org/abs/1708.00058 (arXiv:1708.00058)
  13. Alexander Glazman, Matan Harel and Nathan Zelesko, Planar percolation and the loop O(n) model, arXiv:2508.20917 (2025), https://arxiv.org/abs/2508.20917