[论文解读] Bounding a global red-blue proportion using local conditions

Márton Naszódi, Leonardo Martínez-Sandoval+1 more|arXiv (Cornell University)|Jan 9, 2017

Point processes and geometric inequalities被引用 1

一句话总结

本文建立了几何排列中红蓝点比例的紧致局部-全局界：若每个红点的邻域（由对称凸体的位似形定义）中蓝点数量不少于红点数量，则平面上蓝点总数至少为红点总数的1/5。该界为最优，且通过闵可夫斯基排列推广至d维空间，常数1/5源于R²中单位圆盘的严格闵可夫斯基排列的最大大小。

ABSTRACT

We study the following local-to-global phenomenon: Let $B$ and $R$ be two finite sets of (blue and red) points in the Euclidean plane $\mathbb{R}^2$. Suppose that in each "neighborhood" of a red point, the number of blue points is at least as large as the number of red points. We show that in this case the total number of blue points is at least one fifth of the total number of red points. We also show that this bound is optimal and we generalize the result to arbitrary dimension and arbitrary norm using results from Minkowski arrangements.

研究动机与目标

• 基于局部邻域条件，建立蓝点与红点总数之比的全局下界。
• 确定R²中点集局部-全局不等式中最佳乘数常数。
• 通过闵可夫斯基排列将结果推广至任意维度和范数。
• 通过构造反例证明局部条件中以中心为基准的假设是必要的，即在无此约束时全局比例可任意小。

提出的方法

• 使用贪心算法提取一个位似形子族，形成严格闵可夫斯基排列并覆盖所有红点。
• 应用已知的严格相交闵可夫斯基排列最大大小上界M(K) ≤ 3^d。
• 利用所选子族中任一成员不包含另一成员中心的事实，控制点重叠。
• 通过几何论证（如角度分离与三角不等式）证明：在欧氏圆盘情形下M(K) = 5，在ℓ∞-球情形下M(K) = 2^d。
• 通过切线与线段构造显式反例，表明在无中心约束时全局比例可任意小。
• 应用抽屉原理与基于范数的距离论证，证明界的紧致性。

实验结果

研究问题

• RQ1 当每个红点的欧氏圆盘邻域中蓝点数量不少于红点数量时，|B|/|R|的全局下界最佳可能值是多少？
• RQ2 该局部-全局比例现象能否推广至高维空间及任意范数？
• RQ3 平面中1/5的界是否紧致？能否改进，或其本身即为最优？
• RQ4 若局部条件放宽至允许中心不为红点，全局比例将如何变化？
• RQ5 若移除中心约束，能否使局部条件满足而全局蓝红比例任意小？

主要发现

• 当每个红点的欧氏圆盘邻域中蓝点数量不少于红点数量时，全局比例|B|/|R|至少为1/5。
• 该1/5的界为最优，当R为正五边形的顶点集、B为其中心时取等。
• 在d维空间中使用ℓ∞-范数时，全局比例|B|/|R|至少为λ/2^d（λ为局部比例），且该界紧致。
• 在R²中欧氏范数下，单位圆盘的严格闵可夫斯基排列最大大小恰好为5，此即1/5界的基础。
• 局部条件中以中心为基准的假设至关重要：若无此假设，全局比例可被任意缩小。
• 该结果可推广至任意中心对称凸体，全局比例下界为λ/M(K)，其中M(K)为相交严格闵可夫斯基排列的最大大小。