diff --git a/README.md b/README.md index 39c4f27..4a82fab 100644 --- a/README.md +++ b/README.md @@ -69,7 +69,7 @@ Bounds for which the level of available verification is currently at minimal lev | [35](https://teorth.github.io/optimizationproblems/constants/35a.html) | Gradient Descent Exponent | $\log_2(1+\sqrt{2}) \approx 1.271$ | 2 | | [36](https://teorth.github.io/optimizationproblems/constants/36a.html) | Sphere packing density in $\mathbb{R}^4$ | $\pi^2/16 \approx 0.616850$ | 0.644421 | | [37](https://teorth.github.io/optimizationproblems/constants/37a.html) | The degree--sensitivity exponent | $\log_{3}(6) \approx 1.63093$ | 2 | -| [38](https://teorth.github.io/optimizationproblems/constants/38a.html) | Square-lattice self-avoiding walk connective constant | 2.625622 | 2.679193 | +| [38](https://teorth.github.io/optimizationproblems/constants/38a.html) | Square-lattice self-avoiding walk connective constant | 2.6273856 | 2.679193 | | [39](https://teorth.github.io/optimizationproblems/constants/39a.html) | Hadwiger covering / illumination number in $\mathbb{R}^3$ | 8 | 14 | | [40a](https://teorth.github.io/optimizationproblems/constants/40a.html) | Lehmer’s Mahler measure constant | 1 | 1.176280... | | [40b](https://teorth.github.io/optimizationproblems/constants/40b.html) | Asymptotic Dobrowolski constant for Lehmer’s problem | $9/4$ | $\infty$ | diff --git a/constants/38a.md b/constants/38a.md index 2d8d504..7f558df 100644 --- a/constants/38a.md +++ b/constants/38a.md @@ -39,6 +39,7 @@ $$ | $2$ | Trivial | From the general bound $d \le \mu \le 2d-1$ with $d=2$. [SlaBounds-simple] | | $2.62002$ | [SlaBounds] | Reported (Table 1) as the best rigorous lower bound for $d=2$ in this survey; the survey attributes it to [CG1993]. [SlaBounds-table1-d2] [SlaBounds-conway-guttmann] | | $2.625622$ | [FV2017] | Reported as a rigorous lower bound in [FV2017] (attributed there to [Jen2004-lb]). [FV2017-bounds-square] [FV2017-ref-182] | +| $2.6273856$ | [Num2026] | Kesten irreducible-bridge renewal exactly as in [Jen2004-lb], extended two span levels past the 2004 computation (span $L=17$, series length $N=260$) by an exact cell-by-cell finite-lattice transfer matrix (CRT big-integer arithmetic); the certificate is a single exact big-integer inequality (self-contained checker included), and secondary certificates at Jensen's own span ($L=15$, $N=260$ gives $2.6256270$) and at $L=16$ ($2.6265705$) independently also exceed $2.625622$. [Num2026-bound] | ## Additional comments and links @@ -56,6 +57,11 @@ $$ - Surveys/background: [FV2017], [SSSY2014]. ## References +- **[Num2026]** Numaro ([numaro.tech](https://numaro.tech)). *An improved rigorous lower bound for the square-lattice SAW connective constant.* [Certificate archive](https://doi.org/10.5281/zenodo.21546041), submitted to this repository (2026). + - **[Num2026-bound]** + **loc:** certificate archive, `check_saw38a_L17.py` output and README. + **quote:** "certified: mu(Z^2) >= R = 2.627385640... (exact dyadic 340282366920938463463374607431768211456/129513673858566230428673965530967449326); ALL CERTIFIED." + - **[FV2017]** Friedli, Roland; Velenik, Yvan. *Statistical Mechanics of Lattice Systems: a Concrete Mathematical Introduction.* Cambridge University Press (2017). DOI: [10.1017/9781316882603](https://doi.org/10.1017/9781316882603). [Google Scholar](https://scholar.google.com/scholar?q=Statistical+Mechanics+of+Lattice+Systems+a+Concrete+Mathematical+Introduction+Friedli+Velenik). [Author PDF](https://unige.ch/math/folks/velenik/smbook/Statistical_Mechanics_of_Lattice_Systems.pdf) - **[FV2017-bounds-square]**