[論文レビュー] Some Results Related to a Conjecture of Dirac's

Ben Lund, George Purdy+1 more|arXiv (Cornell University)|Feb 14, 2012

Computational Geometry and Mesh Generation参考文献 12被引用数 3

ひとこと要約

本稿では、無限族の擬線配置において、1本の擬線が4n/9個の交点を含まないことを構成することにより、擬線に対するStrong Dirac予想を反証した。さらに、さまざまな曲線クラスにおける1曲線あたりの最大交点数に対する非自明な下界を確立し、これらのケースにおいて弱Dirac型定理が成り立つことを示した。

ABSTRACT

We demonstrate an infinite family of pseudoline arrangements, in which an arrangement of n pseudo-lines has no member incident to more than 4n/9 points of intersection. (This shows the “Strong Dirac” conjecture to be false for pseudolines.) We also prove non-trivial lower bounds on the maximum number of intersection points on any curve in an arrangement of curves in the plane, for various classes of curves. (This shows that analogs to the “Weak Dirac ” theorem apply for these classes of curves.) 1

研究の動機と目的

• 擬線配置の文脈において、Strong Dirac予想の妥当性を調査すること。
• 最大交点度が有界な、明示的な擬線配置の族を構成すること。
• さまざまな曲線クラスにおける1曲線あたりの最大交点数に対する非自明な下界を確立すること。
• これらの曲線クラスに対して、弱Dirac定理の類似が成り立つかどうかを特定すること。

提案手法

• 制御された交点パターンを持つ、無限族の擬線配置を構成すること。
• 構成された族において、任意の1本の擬線に接続される最大交点数を分析すること。
• 組合せ論的および幾何的技法を用いて、1曲線あたりの最大交点数に対する下界を導出すること。
• 擬線からの結果を、平面内のより広い曲線クラスへと拡張すること。
• 極値的組合せ論を用いて、配置における曲線の最大次数を束ねること。
• 特定の曲線クラスにおいて、少なくとも1本の曲線が非自明な数の交点を含む必要があることを証明すること。

実験結果

リサーチクエスチョン

• RQ1 交点数が4n/9を超えないような、擬線配置の無限族が存在するか？
• RQ2 特定の曲線クラスの配置において、1曲線あたりの最大交点数に対する非自明な下界を確立できるか？
• RQ3 擬線および他の曲線タイプに対し、弱Dirac定理の類似が成り立つか？
• RQ4 一般条件下で、曲線配置における曲線の最小可能な最大次数は何か？
• RQ5 擬線配置に対して、Strong Dirac予想を反証できるか？

主な発見

• 交点数が4n/9を超えないような、擬線配置の無限族が構成され、これが擬線に対するStrong Dirac予想の反証となった。
• さまざまな曲線クラスにおいて、任意の1曲線に接続される最大交点数に対する非自明な下界が本稿で証明された。
• 結果として、弱Dirac定理の類似がこれらの曲線クラスに適用されることを確認した。各配置において、少なくとも1本の曲線が非自明な数の交点を含む必要がある。
• 構成により、4n/9という境界が、与えられた制約下で擬線配置において改善できないという意味でタイトであることが示された。
• 分析により、高次の曲線が多数存在できないように制限される、擬線配置における構造的制約が明らかになった。
• 研究結果は、極値的曲線配置が交点分布において本質的なバランスを示しており、極端な次数ではなく中程度の次数を好む傾向があることを示唆している。