← WSFC: Worm Sequence Freedom Closure / WSFC R01 · Polygonal hierarchy and breadth closure
Starting from published theorems (no fixed segment count n suffices; all simple polygonal unit arcs suffice), frames the n-segment hierarchy (generic freedom d_n = 2n − 2) as 'ω-stage task sufficiency' and derives the elementary bound 0 ≤ b* − t_n ≤ 1/(n − 1), so t_n increases towards b* ≈ 0.43893. The paper states this is not a new Moser worm area bound.
This is a full-text translation of the Chinese source, which remains authoritative for its research claims. Translation is not independent mathematical verification and does not upgrade the original evidence level.
Loading…