[論文レビュー] Spanned lines and Langer's inequality

Frank de Zeeuw|arXiv (Cornell University)|Feb 22, 2018

Limits and Structures in Graph Theory参考文献 12被引用数 5

ひとこと要約

この論文は、複素平面 ℂ² における組合せ幾何学にランガーの代数的幾何不等式を適用し、点-直線の重複度および生成される直線の数に関するより良い定量的評価を得た。非退化な点集合に対して、ℂ² におけるある点が少なくとも (n+3)/3 条の直線上にあることを示し、弱いディラック予想におけるハンの定数を改善した。また、コーシー・シュバルツとランガーの不等式を用いて、複素平面上におけるベック型定理を明示的な定数を伴って確立した。

ABSTRACT

We collect some results in combinatorial geometry that follow from an inequality of Langer in algebraic geometry. Langer's inequality gives a lower bound on the number of incidences between a point set and its spanned lines, and was recently used by Han to improve the constant in the weak Dirac conjecture. Here we observe that this inequality also leads to improved constants in Beck's theorem, which states that a finite point set in the real or complex plane has many points on a line or spans many lines. Most of the proofs that we use are not original, and the goal of this note is mainly to carefully record the quantitative results in one place. We also include some discussion of possible further improvements to these statements.

研究の動機と目的

• 従来の離散幾何学において無視されてきたランガーの不等式を用いて、組合せ幾何学における定量的評価を再導出し、精緻化すること。
• 弱いディラック予想におけるハンの結果の定数を改善し、ℂ² における任意の非退化点集合に対して、ある点が少なくとも (n+3)/3 条の直線上にあることを示すこと。
• ランガーの不等式を用いて、ℂ² における明示的な定数を伴うベック型定理を確立すること。具体的には、ある直線が 0.90n 個以上の点を含むか、少なくとも n²/12 条の直線が生成されることを示すこと。
• ランガーの不等式が ℝ² の結果と比較して ℂ² において果たす限界を検討すること。特に、4点以上の点を持つ直線の制御に関する点で注目する。
• ランガーの不等式の定量的帰結を統一的かつ自己完結的に提示し、フェルマー構成を用いてそのタイトさを示すこと。

提案手法

• ランガーの不等式をブラックボックスとして利用：ℂ² における点集合で、2n/3 個以下の点が一直線上に並ぶ場合に、∑iℓi ≥ (n(n+3))/3 が成り立つ。
• 点-直線重複度の二乗和にコーシー・シュバルツの不等式を適用し、生成される直線数の下界を導出する。
• ランガーの研究から導かれるヒルツェブルグ型不等式 (5) を用いる：ℓ₂ + (3/4)ℓ₃ ≥ n + ∑ᵢ≥₅ (i²−4i)/4 ℓᵢ。
• 不等式を ∑(4i−i²)ℓᵢ ≥ 4n などの同値な形に変換し、特定の点の重複度を持つ直線の数の解析を容易にする。
• 3本の交点を共有する直線に各々 n/3 個の点を持つフェルマー構成（線分の交点で閉じた構成）を構築し、ℂ² におけるランガーの不等式のタイトさを示す。
• ℂ² における評価と ℝ² における評価を比較し、メルヒョルトの不等式が複素数の場合に成立しないことから、特定の直線タイプの制御が制限されることに注意する。

実験結果

リサーチクエスチョン

• RQ1 ランガーの不等式を用いて、ℂ² における組合せ幾何学の定量的評価を改善できるか？
• RQ2 複素平面上における点集合の弱いディラック予想における最良の定数は何か？
• RQ3 ランガーの不等式を用いて、ℂ² における明示的な定数を伴うベック型定理を確立できるか？
• RQ4 ℂ² においてメルヒョルトの不等式が成立しないことにより、4点以上を含む直線の数に対する評価にどのような影響が生じるか？
• RQ5 フェルマー構成は、ℂ² におけるランガーの不等式で等号が成立する唯一の極値構成か？

主な発見

• ℂ² における非退化な n 点集合の任意の点は、集合が生成する直線のうち少なくとも (n+3)/3 条上にある。これはハンの定数を 1/3 に改善したものである。
• ランガーの不等式より、ある直線が 2n/3 個を超える点を含まない場合、生成される直線数は (n+3)²/12 以上である。n ≥ 3 のとき、これは n²/12 以上である。
• ℂ² におけるフェルマー構成はランガーの不等式で等号を達成し、弱いディラック予想における評価 (n+3)/3 がタイトであることを示している。
• k ≥ 5 のとき、k 個以上の点を持つ直線の数は 4|L(P)|/(k−2)² 以下である。これは k ≤ 58 の小規模な k に対して、シュツルム＝トロッターの評価を改善する。
• ヒルツェブルグ型不等式 (5) から ∑ᵢ≥₅ ℓᵢ ≤ 4|L(P)|/(k−2)² が導かれる。これは高重複度の直線の制御を示している。
• ℂ² において ℓ₂ + ℓ₃ ≥ (1/4)n + 3/8 が成り立つが、これは他の不等式による ℓ₂ + ℓ₃ ≥ n の下界よりも弱いため、メルヒョルトの不等式が欠落していることによる ℓ₄ の制御の限界を示している。