{"id":"arxiv/2610.14051","url":"https://arxiv.org/abs/2610.14051","tags":["cs.CG","math.MG"],"score":0,"title":"New certified lower bounds for the moving sofa problem in a three-dimensional snaky corridor","domain":"cs.CG","source":"arxiv","authors":["Yuzhe Tang"],"reviews":0,"subject":"cs.CG","summary":"Consider the \"snaky\" corridor $K_4 \\subset \\mathbb{R}^3$ from Problem 6.64 of arXiv:2511.02864: a tube of unit-square cross-section whose two right-angle turns lie in perpendicular planes, with a straight middle section of clear length $4$. We exhibit explicit rigid motions of connected bodies through $K_4$ and certify their volumes with the problem's own evaluation pipeline, unmodified, at the tight motion tolerances of its final scoring stage (translation $0.005$, rotation $0.05$ degrees). The certificates give $V^*(K_4) \\ge 1.8355162$ at grid fineness $0.002$ and $V^*(K_4) \\ge 1.8558404$…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-05","reactions":{}}