For the uniform self-avoiding walk of length n on the integer lattice Zd\mathbb{Z}^d, the closing probability qnq_n that the walk's endpoint neighbours its starting point is predicted to decay as n−ψ+o(1)n^{-\psi+o(1)} with ψ=59/32\psi=59/32 in d=2d=2, via the scaling relation ψ=θ+ξ−1\psi=\theta+\xi-1 between the polygon exponent θ\theta, the walk exponent ξ\xi, and the closing exponent. Hammond's snake-method paper (Trans. Amer. Math. Soc. 372, 2019, reference 1) proved the general-dimension upper bound qn≤n−1/2+o(1)q_n\le n^{-1/2+o(1)} and recorded that the existence and values of these exponents remain open in low dimensions. The problem of rigorously establishing the existence and value of the closing exponent in d=2d=2 and d=3d=3 is open.

Background

A self-avoiding walk (SAW) of length nn on the integer lattice Zd\mathbb{Z}^d is a path γ:{0,…,n}→Zd\gamma:\{0,\dots,n\}\to\mathbb{Z}^d taking nearest-neighbour steps that never revisits a vertex; it is the standard lattice model of a linear polymer. Writing cnc_n for the number of such walks starting at the origin, the limit μ=lim⁡ncn1/n\mu=\lim_n c_n^{1/n}, called the connective constant, exists by a submultiplicativity argument of Hammersley, and Kesten (1963) established the corresponding ratio-limit behaviour. A self-avoiding polygon (SAP) of length nn is a self-avoiding walk of length n−1n-1 whose endpoint neighbours the start, closed by one further step; pnp_n counts such polygons up to translation. If Γ\Gamma is chosen uniformly among length-nn walks, the closing probability qn=Wn(Γ closes)q_n=\mathsf{W}_n(\Gamma\text{ closes}) — the probability that the endpoint is a nearest neighbour of the origin — satisfies the exact identity

qn=2(n+1)pn+1cn,q_n=\frac{2(n+1)p_{n+1}}{c_n},

so closing-probability decay and polygon/walk enumeration are two views of one question.

Physics predicts power laws: pn=n−θ+o(1)μnp_n=n^{-\theta+o(1)}\mu^n for even nn and cn=nξ+o(1)μnc_n=n^{\xi+o(1)}\mu^n, whence qn=n−ψ+o(1)q_n=n^{-\psi+o(1)} with the closing exponent ψ=θ+ξ−1\psi=\theta+\xi-1. In d=2d=2, Nienhuis's Coulomb-gas prediction (1982) — obtained by mapping the planar model onto an exactly solvable two-dimensional Coulomb gas — gives θ=5/2\theta=5/2 and ξ=11/32\xi=11/32, so ψ=59/32\psi=59/32 is predicted; the same values follow from conformal-field-theory heuristics. Rigorous knowledge is sharply dimension-dependent: for d≥5d\ge5, above the upper critical dimension (the dimension above which self-avoidance becomes a weak perturbation and Gaussian mean-field behaviour holds), the lace expansion (a perturbative expansion exploiting the weak effect of self-avoidance) yields Gaussian scaling and the exponents (Hara–Slade, 1992), and on the hexagonal lattice the connective constant is known exactly (Duminil-Copin–Smirnov, 2012); but in d=2,3,4d=2,3,4 no critical exponent for the self-avoiding walk has ever been proved to exist.

The best rigorous closing-probability bounds in low dimension come from the snake method, a probabilistic technique introduced by Duminil-Copin, Glazman, Hammond and Manolescu (2016). It decomposes a closing walk into two parts at the walk's lexicographically maximal vertex and exploits Kesten's pattern theorem — which guarantees that any fixed finite walk pattern appears linearly often in all but exponentially few long self-avoiding walks — together with the Gaussian fluctuation of pattern counts on the scale n\sqrt{n}. That work gave qn≤n−1/4+o(1)q_n\le n^{-1/4+o(1)} in general dimension and proved that the walk is sub-ballistic, meaning its typical displacement grows slower than linearly in nn. Hammond's paper (Trans. Amer. Math. Soc. 372, 2019, reference 1) reworked the method to reach qn≤n−1/2+εq_n\le n^{-1/2+\varepsilon}, for any ε>0\varepsilon>0, for every d≥2d\ge2 and all large odd nn; its companion papers strengthened this to qn≤n−4/7+o(1)q_n\le n^{-4/7+o(1)} along a positive-density set of odd nn in d=2d=2 (via polygon joining) and to pn≤n−3/2+o(1)μnp_n\le n^{-3/2+o(1)}\mu^n along even nn of full density in d=2d=2. That paper notes that the method could not exceed the n−1/2n^{-1/2} barrier, that the stronger decay rates are confined to subsequences or to the plane, and that the predicted value ψ=59/32\psi=59/32 lies far beyond all current bounds.

Problem Statement

Determine, rigorously, the power-law decay of the closing probability of the uniform self-avoiding walk on the nearest-neighbour lattice Zd\mathbb{Z}^d in the low dimensions d=2d=2 and d=3d=3.

  1. (Existence) Prove, or disprove, that there exist exponents θ\theta and ξ\xi such that pn=n−θ+o(1)μnp_n=n^{-\theta+o(1)}\mu^n (for even nn) and cn=nξ+o(1)μnc_n=n^{\xi+o(1)}\mu^n, and hence — via the exact identity qn=2(n+1)pn+1/cnq_n=2(n+1)p_{n+1}/c_n — that the closing probability satisfies qn=n−ψ+o(1)q_n=n^{-\psi+o(1)} with the closing exponent ψ=θ+ξ−1\psi=\theta+\xi-1.
  2. (Value) If the exponents exist, determine their values; in particular, prove or refute the d=2d=2 prediction ψ=59/32\psi=59/32 (equivalently θ=5/2\theta=5/2 and ξ=11/32\xi=11/32).

A rigorous proof that the exponent fails to exist in d=2d=2 or d=3d=3 equally resolves the question by refuting the predicted form. Any resolution must hold along the full sequence of lengths nn (for qnq_n, all odd nn — lattice parity forces qn=0q_n=0 for even nn on Zd\mathbb{Z}^d), not merely along a subsequence.

References

  1. Alan Hammond, On self-avoiding polygons and walks: The snake method via pattern fluctuation, Transactions of the American Mathematical Society 372 (2019) 2335–2356, DOI 10.1090/tran/7494 (arXiv:1808.09597), https://doi.org/10.1090/tran/7494
  2. Alan Hammond, On self-avoiding polygons and walks: the snake method via polygon joining, Electronic Journal of Probability 24 (2019), Paper No. 49, 43 pp., DOI 10.1214/18-EJP249 (arXiv:1808.10500), https://doi.org/10.1214/18-EJP249
  3. Alan Hammond, An upper bound on the number of self-avoiding polygons via joining, The Annals of Probability 46 (2018) 175–206, DOI 10.1214/17-AOP1182 (arXiv:1808.09032), https://doi.org/10.1214/17-AOP1182
  4. Hugo Duminil-Copin, Alexander Glazman, Alan Hammond, Ioan Manolescu, On the probability that self-avoiding walk ends at a given point, The Annals of Probability 44 (2016) 955–983, DOI 10.1214/14-AOP993 (arXiv:1305.1257), https://doi.org/10.1214/14-AOP993
  5. Hugo Duminil-Copin, Shirshendu Ganguly, Alan Hammond, Ioan Manolescu, Bounding the number of self-avoiding walks: Hammersley–Welsh with polygon insertion, The Annals of Probability 48 (2020) 1644–1692, DOI 10.1214/19-AOP1400 (arXiv:1809.00760), https://doi.org/10.1214/19-AOP1400
  6. Hugo Duminil-Copin, Alan Hammond, Self-avoiding walk is sub-ballistic, Communications in Mathematical Physics 324 (2013) 401–423, DOI 10.1007/s00220-013-1811-1, https://doi.org/10.1007/s00220-013-1811-1
  7. Anthony J. Guttmann, Iwan Jensen, On the existence of critical exponents for self-avoiding walks, Journal of Physics A: Mathematical and Theoretical 55 (2022) 415206, DOI 10.1088/1751-8121/ac943a (arXiv:2207.08433), https://doi.org/10.1088/1751-8121/ac943a
  8. Dmitrii Krachun, Christoforos Panagiotis, Quantitative sub-ballisticity of self-avoiding walk on the hexagonal lattice, The Annals of Probability 54 (2026) 1109–1125, DOI 10.1214/24-AOP1730 (arXiv:2310.17299), https://doi.org/10.1214/24-AOP1730
  9. Alan Hammond, Tyler Helmuth, Self-attracting self-avoiding walk, Probability Theory and Related Fields 175 (2019) 677–719, DOI 10.1007/s00440-018-00898-7, https://doi.org/10.1007/s00440-018-00898-7
  10. Takashi Hara, Gordon Slade, Self-avoiding walk in five or more dimensions I. The critical behaviour, Communications in Mathematical Physics 147 (1992) 101–136, DOI 10.1007/bf02099530, https://doi.org/10.1007/bf02099530
  11. 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
  12. Harry Kesten, On the number of self-avoiding walks, Journal of Mathematical Physics 4 (1963) 960–969, DOI 10.1063/1.1704022, https://doi.org/10.1063/1.1704022
  13. Hugo Duminil-Copin, 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://doi.org/10.4007/annals.2012.175.3.14
  14. Florian Lehner, Christian Lindorfer, Christoforos Panagiotis, Self-avoiding walk is ballistic on graphs with more than one end, Forum of Mathematics, Sigma 13 (2025) e179, DOI 10.1017/fms.2025.10131 (arXiv:2403.13121), https://doi.org/10.1017/fms.2025.10131