An upper bound for the three-dimensional moving sofa problem in a snaky corridor RENT22YXW3

Expressions

Date	2026-10-05
Ids	arXiv 2610.14050

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
two-tube volume bound	statement	lemma 7.1	arxiv
tube confinement	statement	lemma 3.2	arxiv
$8$-corner exactness	statement	lemma A.2	arxiv
sharp tilt	statement	lemma 5.1	arxiv
calculus of the bound functions	statement	lemma 5.4	arxiv
tube--slab estimate	statement	lemma 4.2	arxiv
continuity of the height profile	statement	lemma 3.3	arxiv
deep point	statement	lemma 3.5	arxiv
traversal; the objective	definition	definition 2.2	arxiv
event-forced tube family	statement	proposition 6.1	arxiv
no long segments	statement	lemma 7.4	arxiv
computed upper bound; computer-assisted	statement	theorem 6.2	arxiv
GSSXZXSJ5B	definition	definition 2.1	arxiv
rotation budget	statement	corollary 7.2	arxiv
T436JBYB3X	statement	corollary 7.5	arxiv
chord estimate for tubes	statement	lemma 5.3	arxiv
first-crossing event	statement	lemma 3.4	arxiv
tilt	statement	lemma 4.1	arxiv
axis-convexity	statement	lemma A.1	arxiv
sharpened upper bound	statement	theorem 5.5	arxiv
tube	definition	definition 3.1	arxiv
first upper bound	statement	theorem 4.3	arxiv