[論文レビュー] Four classic problems

Gábor Tóth, Włodzimierz. Kuperberg|arXiv (Cornell University)|Feb 20, 2022

Point processes and geometric inequalities被引用数 1

ひとこと要約

本稿は、離散的・凸幾何学における4つの古典的問題—ボルサックの分割問題、タルスキのプラanks問題、球心の収縮に関するクネーザー–パウーセン問題、およびハドウィガー–レヴィの被覆問題—について包括的なサーベイを提供する。数十年にわたる研究を統合し、更新された境界、歴史的文脈、およびこれらの密接に関連する問題の間の関係を提示する。特に、ユークリッド空間、球面空間、双曲空間における凸体、照射、被覆に焦点を当てる。

ABSTRACT

In this work we survey four classic problems: Borsuk's partition problem, Tarski's plank problem, the Kneser--Poulsen problem on the monotonicity of the union of balls under a contraction of their centers, and the Hadwiger--Levi problem on covering convex bodies by their smaller positively homothetic copies.

研究の動機と目的

• 離散的・凸幾何学における4つの基礎的問題に関する現在の知識を統合・更新すること。
• ボルサックの予想、タルスキのプラanks問題、クネーザー–パウーセン予想、およびハドウィガー–レヴィの被覆問題の間の関係と共有される数学的構造を明確にすること。
• 最近の進展、特に凸体および対称的集合における直径の縮小と照射数の改善された境界を提示すること。
• 未解決問題や予想（例：重み付き照射予想、球面空間における照射数が n+1 を超える凸体の存在）を強調すること。
• 多様な出典からの結果を統合し、新規の証明や古典的定理の一般化を含むことで、研究者にとって統一された参照資料を提供すること。

提案手法

• 80年以上にわたる凸幾何学の研究をカバーする100件以上の主要論文からの系統的文献レビューと統合。
• ロジャース–シーファードの不等式や体積の上限など、幾何的不等式と極値原理を用いて、被覆数および照射数の上界を導出する。
• R^nにおける集合の直径の縮小と分割の分析に、ボールポリトープと凸包構成を応用する。
• 特に照射および被覆問題に関して、ユークリッド空間から球面的および双曲的幾何に結果を適応する。
• 中心対称性および相似変換の議論を用い、特に中心対称および滑らかな凸体の役割を活用して、境界を確立し、予想を証明する。
• 重み付きおよび分数量の照射および被覆問題を統合し、双対性および最適化技術による総重量の最小値を分析する。

実験結果

リサーチクエスチョン

• RQ1 3次元の直径1の凸体の分割における断片の直径の最良既知の上界は何か？
• RQ2 任意の定幅1の凸体は、直径が min{l(K), √3 − l(K)} 以下の3つの集合で被覆可能か？
• RQ3 球面空間 S^n に、照射数が n+1 を超える凸体が存在するか？
• RQ4 凸体を被覆するために必要な、より小さい相似コピーの最小数は何か？ そしてこれは照射問題とどのように関係するか？
• RQ5 ナシュディが予想するように、任意のn次元凸体の重み付き照射数は2n未満に抑えられるか？

主な発見

• 3次元の直径1の凸体の分割における断片の直径の最良既知の上界は0.98であり、これはマケエフ（1997）によるもので、向かい合う面の距離が1の菱形ドデカヘドロンに含まれることに基づく。
• 定幅1の凸体に対しては、3つの集合による被覆における最小被覆集合の直径は √3 − 1 から √3/2 の間で抑えられ、上界の等号は円にのみ、下界の等号はルーロー三角形にのみ成立する。
• 球面空間 S^n における任意の凸多面体の照射数は正確に n+1 であり、S^n におけるある凸体の照射数がそれより大きい可能性があるかどうかは未解決の問題のままである。
• R^n における中心対称凸体に対して、重み付き照射数 i*(K) は 2n 未満であり、重み付き被覆数 h*(K) も 2n 未満に抑えられ、等号成立は平行多面体に限る。
• 3次元では、任意の凸体の被覆数 h(K) は14未塔であり、これはプリマク（2021年）による改善であり、以前の上限16および20を上回る。
• 立方体は、照射および被覆問題の両方において真の局所的最大値である：近傍に位置する平行多面体でない凸体は、2^n − 1 個のより小さい相似コピーで被覆可能であり、2^n − 1 個の光源で照射可能である。