[論文レビュー] 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)は交差する厳密なミンコフスキー配置の最大サイズである。