{"id":"arxiv/2605.27617","url":"https://arxiv.org/abs/2605.27617","tags":["math.CO","math.GR"],"score":0,"title":"The $k$-out-of-$n$ picture-hanging puzzle: shorter solutions for small $k$ and $n-k$","domain":"math.CO","source":"arxiv","authors":["Tom Verhoeff"],"reviews":0,"subject":"math.CO","summary":"The picture-hanging puzzle, popularized by Demaine et al. (2014), asks for a way to wrap a wire around $n$ nails such that the picture hangs as long as fewer than $k$ nails are removed, but falls as soon as any $k$ are removed. Solutions correspond to words in the free group $F_n$. We give explicit, deterministic, polynomial-length constructions for two regimes: $2$-out-of-$n$ with word length at most $\\tfrac{8}{3}n^{\\log_2 6} - 4n^2$, and $(n-2)$-out-of-$n$ with word length $6n\\log_2(n/2)$, both for $n$ a power of two. These improve on Wästlund's quasi-polynomial deterministic construction…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-26","reactions":{}}