等面積の正方形に階数の大きい長方形を詰める証明
Packing Tails of Reciprocal Rectangles into Squares of Equal Area
この論文をやさしく読む
ひとことで言うと
特定の無限個の長方形を、面積がぴったり同じ正方形に詰められるかという数学の問題です。
何に役立つ？
無限の幾何学的充填を構成・証明する手法に役立ちます。
この研究の面白いところ
ランダムな割当てとコンパクト性を組み合わせ、最終的な主張をLean 4でも確認しています。
どこまで分かった？
証明はnが十分大きい後半部分に限られます。n=1から始まる元の問題は未解決です。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Meir–Moserの長方形充填問題は、nが1以上の各整数について辺の長さが1/nと1/(n+1)の長方形を、内部が互いに重ならないよう単位正方形に詰められるかを問う。この研究は、十分に大きいnから始まる後半部分について証明する。R_nをその長方形とすると、ある整数m_0が存在し、mがそれ以上なら、n≥mのすべてのR_nを、平行移動と直角回転によって辺の長さがmの平方根の逆数である正方形に、内部が重ならないよう詰められる。この正方形の面積は、長方形すべての面積の和に等しい。 幾何学的な構成では長方形状の隙間を再帰的に分割し、局所的に無作為化した割当て枠とランダムな並べ替えによって、その後の整数の番号を割り当てる。待機中の隙間の総面積と各番号に割り当てられる負荷を別々に制御する。証明は、有限の先頭部分への帰着、幾何学的な行の分割、面積評価の反復改善、鋭い供給元負荷評価、実際の適応的構成の制御、コンパクト性による極限の六段階からなる。どの有限の時間範囲でも、失敗確率の上界はその長さに依存せず、任意に小さくできる。適応的な段階では、永続的な負荷記録、実際の新しい高さの照会、固定した供給元実験との片側比較を使う。最後にコンパクト性から無限の充填を得る。最終的な充填の主張はLean 4でも確認されている。十分な閾値の一つはm_0=10の1000乗である。この結果は十分に後ろの部分だけに適用され、n=1からの全列に関する元のMeir–Moser問題は解決しておらず、未解決のままである。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The Meir--Moser rectangle-packing problem asks whether all rectangles with side lengths \(1/n\) and \(1/(n+1)\), for \(n\ge1\), can be packed into the unit square with pairwise disjoint interiors. We establish a tail version of this problem. Let \(R_n\) denote the rectangle with these side lengths. We prove that there exists an integer \(m_0\) such that, for every \(m\ge m_0\), the family \(\{R_n:n\ge m\}\) admits a packing, by translations and right-angle rotations, into a square of side length \(m^{-1/2}\), with pairwise disjoint interiors. The area of the square equals the sum of the areas of all the rectangles. The geometric construction recursively decomposes rectangular gaps, while local randomized quotas and random permutations assign subsequent integer indices. We separately control the total area of waiting gaps and the assignment load at each index. The proof is organized in six steps: a finite-prefix reduction, geometric row decompositions, an area bootstrap, a sharp source-load estimate, control of the actual adaptive construction, and a compactness limit. For every finite time horizon, the probability of failure has a bound that is independent of the horizon and can be made arbitrarily small. The adaptive step uses a permanent load ledger, actual fresh height queries, and a one-sided comparison with a frozen source experiment. Compactness then yields an infinite packing. The final packing statements have been checked in Lean 4. A sufficient threshold is \(m_0=10^{1000}\). This result applies only to sufficiently late tails and does not resolve the original Meir--Moser rectangle-packing problem for the full sequence starting at \(n=1\), which remains open.
著者のコメント
Blog is coming soon
arXiv ID: 2609.28791 ／ 要約の誤りについて