Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. Let be the connective constant of Problem 528, written in the paper with for the dimension . N. Clisby, R. Liang and G. Slade, Self-avoiding walk enumeration via the lace expansion, extend the known expansion of in powers of , whose first terms are Kesten's , through the term of order , with a remainder . Section 1.3 of the paper states that this error estimate is rigorous; it rests on the proof, which the paper cites, that the expansion exists to all orders, and the new coefficients are computed from the exact enumeration of walks and polygons in every dimension that the paper's lace-expansion method and two-step algorithm produce (24-step walks and polygons in all , longer series in and ). The coefficients are not transcribed on this page. The [[../library/discrete_geometry/clisby_2007_self_avoiding_walk_enumeration_via_lace/_index|source card]] records the enumeration results and the paper's edition.
Covers. The asymptotic expansion of in powers of through order with its error term. Not covered, and not claimed: the paper's series-analysis estimates of and of critical exponents and amplitudes for , which are numerical estimates, not proofs; and the value of for any fixed , which the expansion does not determine.
Depends on. Nothing in this wiki; the claim rests on the cited paper and the earlier work it cites for the existence of the expansion.
Acceptance. Refereed: N. Clisby, R. Liang and G. Slade, Self-avoiding walk
enumeration via the lace expansion, J. Phys. A 40 (2007), no. 36,
10973--11017. The site's commentary records the paper as giving more precise
asymptotics than Kesten's, but the site labels the problem OPEN, so that
remark is not acceptance of the problem and the page lists no reviewed
evidence. The proof is not compiled in this corpus.
Dating. The page is dated by the article's online publication date in the publisher's record, 21 August 2007; no earlier public posting is recorded.