probability-statistics / Self-avoiding walk; parafermionic observables

The N−1/4N^{-1/4} law for the critical strip-crossing mass of honeycomb self-avoiding walk

Theorem 1.1: for every N≥1N\ge1 the strip sums are finite, cAN+BN=1c\mathcal A_N+\mathcal B_N=1 with c=cos⁡(3π/8)c=\cos(3\pi/8), mN+1−mN≍BNm_{N+1}-m_N\asymp\mathcal B_N, the first rightward displacement moment of arches satisfies mN≍N3/4m_N\asymp N^{3/4}, and the bridge mass satisfies BN≍N−1/4\mathcal B_N\asymp N^{-1/4}, nonincreasing in NN, with constants independent of NN. The route computes mNm_N through rhombic transfer matrices and a positive integral, then recovers BN\mathcal B_N from its increments. Not shown: a limiting constant for N1/4BNN^{1/4}\mathcal B_N, statements about walks of fixed length (treated in companions), or other lattices.

30Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

probability-statisticsSep 26, 2026Significance 30/100Registry: lean checked

The N−1/4N^{-1/4} law for the critical strip-crossing mass of honeycomb self-avoiding walk

Prior state unknown→proved

Theorem 1.1: for every N≥1N\ge1 the strip sums are finite, cAN+BN=1c\mathcal A_N+\mathcal B_N=1 with c=cos⁡(3π/8)c=\cos(3\pi/8), mN+1−mN≍BNm_{N+1}-m_N\asymp\mathcal B_N, the first rightward displacement moment of arches satisfies mN≍N3/4m_N\asymp N^{3/4}, and the bridge mass satisfies BN≍N−1/4\mathcal B_N\asymp N^{-1/4}, nonincreasing in NN, with constants independent of NN. The route computes mNm_N through rhombic transfer matrices and a positive i…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every N≥1N\ge1 the strip sums are finite, cAN+BN=1c\mathcal A_N+\mathcal B_N=1 with c=cos⁡(3π/8)c=\cos(3\pi/8), mN+1−mN≍BNm_{N+1}-m_N\asymp\mathcal B_N, the first rightward displacement moment of arches satisfies mN≍N3/4m_N\asymp N^{3/4}, and the bridge mass satisfies BN≍N−1/4\mathcal B_N\asymp N^{-1/4}, nonincreasing in NN, with constants independent of NN. The route computes mNm_N through rhombic transfer matrices and a positive integral, then recovers BN\mathcal B_N from its increments. Not shown: a limiting constant for N1/4BNN^{1/4}\mathcal B_N, statements about walks of fixed length (treated in companions), or other lattices.

Theorem 1.1: for every N≥1N\ge1 the strip sums are finite, cAN+BN=1c\mathcal A_N+\mathcal B_N=1 with c=cos⁡(3π/8)c=\cos(3\pi/8), mN+1−mN≍BNm_{N+1}-m_N\asymp\mathcal B_N, the first rightward displacement moment of arches satisfies mN≍N3/4m_N\asymp N^{3/4}, and the bridge mass satisfies BN≍N−1/4\mathcal B_N\asymp N^{-1/4}, nonincreasing in NN, with constants independent of NN. The route computes mNm_N through rhombic transfer matrices and a positive integral, then recovers BN\mathcal B_N from its increments. Not shown: a limiting constant for N1/4BNN^{1/4}\mathcal B_N, statements about walks of fixed length (treated in companions), or other lattices.

Recorded attempts

Evidence graph

Connected research record