長さ1の曲線をすべて収める凸領域の面積範囲を縮める
Improved bounds for universal convex covers of unit arcs
この論文をやさしく読む
ひとことで言うと
どんな形に曲がった長さ1の線でも収められる凸な囲いは、どこまで小さくできるかを調べています。
何に役立つ？
幾何学の最適被覆問題で、最小面積が存在し得る範囲を絞る基礎的な成果です。
この研究の面白いところ
具体的な四辺形による上界と、四つの折れ線を同時に考える下界を組み合わせています。著者は証明全体のLean 4形式化とカーネル検証も報告しています。
どこまで分かった？
対象は凸な被覆で、正確な最小面積はなお上下界の間にあります。75%超は過去の上下界の間隔の縮小率です。形式化やコードをここで独立に検証したわけではなく、本論文の査読状況も要旨からは判断していません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Moserの虫問題は、長さ1の任意の曲線の合同なコピーを含む平面領域のうち、面積が最小のものを求める問題である。凸な普遍被覆の面積の下限値αが、0.239 ≤ α ≤ 0.24633…を満たすことを示し、従来の査読済みの上下界の隔たりを75%超縮める。下界については、長さ1の四つの折れ線を選び、どのように配置しても、それらの凸包の面積が少なくとも0.239となることを有限分割によって証明する。上界については、面積0.24633…の四辺形を構成し、その支持不等式によって、覆われない曲線の長さは必ず1を超えることを示して、普遍被覆であると証明する。証明全体をLean 4で形式化し、Leanカーネルで検証した。コードと証明書はhttps://github.com/ethan-keller/moser-worm-improved-boundsで公開している。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Moser's worm problem asks for a planar region of least area containing a congruent copy of every unit arc. We show that the infimum area $\alpha$ among convex universal covers satisfies $0.239\le\alpha\le0.24633\ldots$, reducing the gap between the previous refereed bounds by over $75\%$. For the lower bound, we choose four unit polygonal arcs and prove by finite subdivision that, however they are placed, their convex hull has area at least $0.239$. For the upper bound, we construct a quadrilateral of area $0.24633\ldots$ and prove cover universality by showing that its support inequalities force uncovered arcs to have length greater than one. The full proof is formalized in Lean 4 and verified by the Lean kernel. Code and certificates are available at https://github.com/ethan-keller/moser-worm-improved-bounds.
著者のコメント
22 pages, 9 figures. Lean 4 formalization, code, and certificates available at https://github.com/ethan-keller/moser-worm-improved-bounds
arXiv ID: 2609.21968 ／ 要約の誤りについて