[论文解读] Indecomposable coverings with homothetic polygons

I. Kovács|arXiv (Cornell University)|Dec 17, 2013

Point processes and geometric inequalities被引用 1

一句话总结

该论文证明，对于任意四条边或以上的凸多边形，或任意无平行边的凹多边形，以及任意 m > 0，存在一种使用该多边形的位似副本对平面的 m 重覆盖，该覆盖无法分解为两个覆盖。该构造基于 Pálvölgyi 方法的对偶化技术，通过楔形交集与点包含关系嵌入非可分解超图结构，并在保持凸多边形情况下大小约束的前提下，将结果扩展至整个平面。

ABSTRACT

We prove that for any convex polygon $S$ with at least four sides, or a concave one with no parallel sides, and any $m>0$, there is an $m$-fold covering of the plane with homothetic copies of $S$ that cannot be decomposed into two coverings.

研究动机与目标

• 解决三角形以外多边形位似副本的覆盖可分解性问题。
• 将 Pálvölgyi 对单位圆盘与凹多边形的不可分解性结果扩展至一大类多边形。
• 证明即使尺寸几乎相等，此类多边形的位似副本的 m 重覆盖也无法拆分为两个覆盖。
• 通过楔形与点集构造对偶结构，以建模不可分解覆盖。

提出的方法

• 构造一对位似多边形副本与楔形平移 (Xk,l, Yk,l)，具有红蓝着色性质：对于任意双色着色，存在某个楔形恰好与 k 个红色或 l 个蓝色副本相交。
• 利用对偶性质：点在 Y′m,m 中恰好位于 m 个同色的 S 的位似副本中，从而确保不可分解性。
• 应用命题 1：m 个同色副本的包含关系对应于缩放后的闵可夫斯基和的相交，将几何问题与超图着色联系起来。
• 通过添加不与 Y′m,m 相交的位似副本，将 Y′m,m 上的有限不可分解覆盖扩展至整个平面。
• 对于凸多边形，通过控制 δ 并使用小扰动，确保缩放因子保持在 [1−ε, 1+ε] 范围内。
• 使用对偶超图模型 Hk,l，其中顶点为多边形副本，超边为楔形交集，与 Pálvölgyi 早期构造相呼应。

实验结果

研究问题

• RQ1 对于边数不少于四条的凸多边形，其位似副本对平面的 m 重覆盖能否分解为两个覆盖？
• RQ2 当位似尺寸被限制为几乎相等时，不可分解性结果是否仍然成立？
• RQ3 无平行边的凹多边形是否也存在不可分解的 m 重覆盖？
• RQ4 能否将用于单位圆盘与凹多边形的对偶超图构造方法推广至一般多边形？
• RQ5 是否存在一个有限点集，使得对任意 m 重覆盖（使用 S 的位似副本）在双色着色下必然包含一个单色副本？

主要发现

• 对于任意边数不少于四条的凸多边形及任意 m > 0，存在一种使用其位似副本的 m 重覆盖，该覆盖无法分解为两个覆盖。
• 对于此类凸多边形，即使所有位似副本的缩放因子均位于 [1−ε, 1+ε] 范围内（对任意 ε > 0），该结果依然成立。
• 对于无平行边的凹多边形及任意 m > 0，存在使用其位似副本的不可分解 m 重覆盖。
• 该构造依赖于一种对偶超图结构，其中 Y′m,m 中的点恰好被 m 个同色的位似副本包含，从而阻止分解。
• 该方法通过添加不与关键点集相交的位似副本，将有限不可分解覆盖从点集扩展至整个平面。
• 该结果强化了先前工作，表明不可分解性在尺寸约束下依然成立，并将结论推广至三角形与单位圆盘之外的多边形。