New certified lower bounds for the moving sofa problem in a three-dimensional snaky corridor
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$…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.14051
curl -X POST /api/v1/records/arxiv/2610.14051/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.14051/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'