OAI/Combinatorics/HoneycombChords.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Critical honeycomb bridge mass
For simple honeycomb paths weighted by the critical activity per visited center,
the strict bridge mass at height h is comparable to (1 + h)^(-1/4), with
height-zero mass equal to one. Its height Laplace transform is comparable to
s^(-3/4) for 0 < s ≤ 1.
The geometric port convention and finite strip transfer estimates follow OpenAI, Critical honeycomb chords with prescribed boundary endpoints and its companion Uniform marked-polygon estimates and sharp finite bridge moments (September 26, 2026).
This file declares nothing itself. It gathers the import below, so a file that imports it gets all of them.