[论文解读] 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

一句话总结

本文在 $\mathbb{R}^d$ 中建立了关于 o-对称凸体的位似形之间成对相交的闵可夫斯基构型大小的上界 $2 \cdot 3^d$，优于以往的界限。证明通过提升技术将问题嵌入 $\mathbb{R}^{d+1}$，应用赫利定理与函数不等式推导几何约束，并利用闵可夫斯基构型与高维薄板中点构型之间的对偶性。关键贡献在于该上界与 $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

研究动机与目标

• 改进 $\mathbb{R}^d$ 中 o-对称凸体的位似形之间成对相交的闵可夫斯基构型最大大小的上界。
• 为波拉安斯基关于中心位于前一个位似形边界上的位似形序列结果提供一种新的、简洁的证明。
• 建立闵可夫斯基构型与高维薄板中受控函数投影的点构型之间的几何对偶性。
• 推广并精炼关于与中心体相交的非重叠平移形的现有定理，特别是文献 [7] 中的定理 1.5。
• 通过在布伦-闵可夫斯基理论背景下分析体积积分与函数不等式，实现紧致界。

提出的方法

• 将 $\mathbb{R}^d$ 中的每个位似形 $\lambda_i K + v_i$ 提升为 $\mathbb{R}^{d+1}$ 中的点 $x_i = (\lambda_i^{-1} v_i, \lambda_i^{-1})$，将闵可夫斯基构型转化为其凸包不包含原点的点构型。
• 对每对 $i < j$，在 $\mathbb{R}^{d+1}$ 上构造一个线性泛函 $f_{ij}$，使得对所有 $k$ 有 $|f_{ij}(x_k)| \leq |f_{ij}(x_i) - f_{ij}(x_j)|$，通过函数约束捕捉闵可夫斯基条件。
• 在 $\mathbb{R}$ 中应用赫利定理于支撑泛函 $\phi$ 下的位似形投影，确保所有投影区间有公共点 $\alpha$。
• 利用点构型的存在性与非重叠缩放体平移形相交于中心体的存在性之间的等价性，如定理 4 所形式化。
• 在 $\mathbb{R}^D$ 中应用基于体积的不等式，对平移形与中心体并集的 $(D-1)$-维截面体积进行积分，推导出定理 5 中的界限。
• 利用体积函数沿某一方向的凹性与单调性，应用引理 1，确保体积函数的积分为严格递增，从而实现体积比较。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^d$ 中，o-对称凸体的位似形之间成对相交的闵可夫斯基构型最多可包含多少个？
• RQ2 能否用更直接的几何方法重新证明关于中心位于前一个位似形边界上的位似形序列的 $O(3^d d)$ 上界？
• RQ3 是否存在闵可夫斯基构型与高维薄板中受控函数投影的点构型之间的对偶性？
• RQ4 当平移形可能与中心体重叠时，定理 5 中的基于体积的方法如何改进先前的结果？
• RQ5 对于不重叠且与缩放体相交的平移形，界限 $n \leq (1 + 2\alpha)^{D-1} \frac{1 + 3\alpha}{2\alpha^D}$ 的紧致性如何？

主要发现

• 在 $\mathbb{R}^d$ 中，o-对称凸体的位似形之间成对相交的闵可夫斯基构型的最大大小至多为 $2 \cdot 3^d$，且对 $d$-立方体情形为紧致。
• 该证明建立了闵可夫斯基构型与 $\mathbb{R}^{d+1}$ 中满足函数不等式的点构型之间的几何对偶性，推广了文献 [7] 中的定理 1.4。
• 给出了波拉安斯基结果的新证明：对于每个后续中心位于前一个位似形边界上的位似形序列，其长度至多为 $O(3^d d)$，与目前已知最佳界限一致。
• 定理 5 提供了一个紧致的基于体积的界限 $n \leq (1 + 2\alpha)^{D-1} \frac{1 + 3\alpha}{2\alpha^D}$，适用于不重叠且与 $\alpha K$ 相交的 $\alpha K$ 的平移形，当 $K$ 为 $D$-立方体且 $\alpha = 1$ 时等号成立。
• 该方法避免在体积积分中减去中心体的体积，从而得到比文献 [7] 中定理 1.5 原始证明更紧致的界限，且在 $\alpha = 1$ 时结果为紧致。
• 证明了函数不等式 $|f_{ij}(x_k)| \leq |f_{ij}(x_i) - f_{ij}(x_j)|$ 对所有 $k$ 成立，是此类闵可夫斯基构型存在的必要且充分条件，从而实现了完全表征。