[論文レビュー] Arrangements of Homothets of a Convex Body II

Márton Naszódi, Konrad J. Swanepoel|arXiv (Cornell University)|May 25, 2017

Point processes and geometric inequalities被引用数 4

ひとこと要約

本稿は、$ℝ^d$ 内の o-対称凸体の同型体の対照的交差 Minkowski 配置のサイズに対する上界 $2 \cdot 3^d$ を確立し、これまでの結果を改善する。証明では、問題を $ℝ^{d+1}$ に埋め込むためのリフト技術を用い、Helly の定理と関数不等式を適用して幾何的制約を導出し、Minkowski 配置と高次元のスラブ内の点配置の間に双対性を活用する。主な貢献は、$d$-立方体の極値ケースと一致するタイトな上界の確立である。

ABSTRACT

A family of homothets of an o-symmetric convex body K in d-dimensional Euclidean space is called a Minkowski arrangement if no homothet contains the center of any other homothet in its interior. We show that any pairwise intersecting Minkowski arrangement of a d-dimensional convex body has at most 2*3^d members. This improves a result of Polyanskii (Discrete Mathematics 340 (2017), 1950--1956). Using similar ideas, we also give a proof the following result of Polyanskii: Let K_1,....,K_n be a sequence of homothets of the o-symmetric convex body K, such that for any i

研究の動機と目的

• o-対称凸体の同型体の対照的交差 Minkowski 配置の最大サイズに対する上界を、$ℝ^d$ で改善すること。
• 各中心が直前のものに境界上にあるような同型体の列に関する Polyanskii の結果の、新たな簡潔な証明を提示すること。
• Minkowski 配置と高次元スラブ内の点配置の間の幾何的双対性を確立し、制御された関数的射影を備えること。
• 特に [7] の定理 1.5 を一般化し、重なりを許す平行移動体が中心体と交差する場合の既存の定理を精緻化すること。
• Brunn–Minkowski 理論の文脈で体積積分と関数不等式を分析し、鋭い上界を達成すること。

提案手法

• $\u211d^d$ 内の各同型体 $\lambda_i K + v_i$ を $\u211d^{d+1}$ 内の点 $x_i = (\lambda_i^{-1} v_i, \lambda_i^{-1})$ にリフトし、Minkowski 配置をその凸包が原点を含まない点配置に変換する。
• 各ペア $i < j$ に対して、$\u211d^{d+1}$ 上の線形関数 $f_{ij}$ を構成し、すべての $k$ に対して $|f_{ij}(x_k)| \leq |f_{ij}(x_i) - f_{ij}(x_j)|$ が成り立つようにする。これにより、関数的制約を介して Minkowski 条件を捉える。
• $\u211d$ における Helly の定理を、支持関数 $\phi$ による同型体の射影に適用し、すべての射影区間の共通点 $\alpha$ が存在することを保証する。
• 非重複平行移動体が中心体と交差するような点配置の存在と、それらの同型体の Minkowski 配置の存在との同値性を、定理 4 で形式化する。
• $\u211d^D$ 内の体積に基づく不等式を適用し、平行移動体と中心体の和集合の $(D-1)$ 次元断片の体積を統合して、定理 5 で上界を導出する。
• 体積関数の方向に沿った凹性と単調性を活用し、補題 1 を適用することで、体積関数の積分が厳密に増加することを保証し、体積比較を可能にする。

実験結果

リサーチクエスチョン

• RQ1 o-対称凸体の同型体の対照的交差 Minkowski 配置として、$ℝ^d$ 内に配置可能な最大数は何か？
• RQ2 各中心が直前のものに境界上にあるような同型体の列に対する $O(3^d d)$ の上界は、より直接的な幾何的技法で再確認可能か？
• RQ3 制御された関数的射影を備えた高次元スラブ内の点配置と Minkowski 配置との間に双対性は存在するか？
• RQ4 平行移動体が中心体と重なってもよい場合、定理 5 の体積に基づく手法は、これまでの結果をどのように精緻化するか？
• RQ5 非重複平行移動体がスケーリングされた体 $\alpha K$ と交差する場合、$n \leq (1 + 2\alpha)^{D-1} \frac{1 + 3\alpha}{2\alpha^D}$ の上界はどの程度鋭いか？

主な発見

• $\u211d^d$ 内の o-対称凸体の同型体の対照的交差 Minkowski 配置の最大サイズは、$2 \cdot 3^d$ 以下であり、これは $d$-立方体に対してタイトである。
• 証明により、関数不等式を満たす $\u211d^{d+1}$ 内の点配置と Minkowski 配置との幾何的双対性が確立され、[7] の定理 1.4 を一般化する。
• Polyanskii の結果の新たな証明が与えられる：各中心が直前のものに境界上にあるような同型体の列の長さは、$O(3^d d)$ 以下であり、既知の最良の上界と一致する。
• 定理 5 により、$\alpha K$ の非重複平行移動体が $K$ と交差する場合の鋭い体積に基づく上界 $n \leq (1 + 2\alpha)^{D-1} \frac{1 + 3\alpha}{2\alpha^D}$ が得られ、$K$ が $D$-立方体で $\alpha = 1$ のとき等号が成立する。
• 体積積分において中心体の体積を差し引かない手法により、[7] の定理 1.5 の元の証明よりもタイトな上界が得られ、$\alpha = 1$ のとき結果は鋭い。
• すべての $k$ に対して $|f_{ij}(x_k)| \leq |f_{ij}(x_i) - f_{ij}(x_j)|$ が成り立つ関数不等式が、このような Minkowski 配置の存在にとって必要かつ十分であることが示され、完全な特徴づけが確立された。