[論文レビュー] The number of unit-area triangles in the plane: Theme and variations

Orit E. Raz, Micha Sharir|arXiv (Cornell University)|Jan 2, 2015

Computational Geometry and Mesh Generation参考文献 14被引用数 4

ひとこと要約

本稿は、平面における $ n $ 個の点がなす単位面積三角形の数の上界を、$ O(n^{9/4}) $ から $ O(n^{20/9}) $ に改善した。これは、$ \mathbb{R}^4 $ における点と2次元代数的曲面の交線問題への新規還元を用いて達成された。また、特殊な場合についてもタイトな境界を確立した：3本の直線上に配置された点では $ \Omega(n^2) $ の単位面積三角形が得られ、凸グリッドでは $ O(n^{31/14}) $ が成立する。

ABSTRACT

We show that the number of unit-area triangles determined by a set $S$ of $n$ points in the plane is $O(n^{20/9})$, improving the earlier bound $O(n^{9/4})$ of Apfelbaum and Sharir [Discrete Comput. Geom., 2010]. We also consider two special cases of this problem: (i) We show, using a somewhat subtle construction, that if $S$ consists of points on three lines, the number of unit-area triangles that $S$ spans can be $Ω(n^2)$, for any triple of lines (it is always $O(n^2)$ in this case). (ii) We show that if $S$ is a {\em convex grid} of the form $A imes B$, where $A$, $B$ are {\em convex} sets of $n^{1/2}$ real numbers each (i.e., the sequences of differences of consecutive elements of $A$ and of $B$ are both strictly increasing), then $S$ determines $O(n^{31/14})$ unit-area triangles.

研究の動機と目的

• 平面に配置された $ n $ 個の点がなす単位面積三角形の数に対する上界を改善すること。
• 単位面積三角形の数が最大または最小となるような特殊な配置を分析すること。
• 3本の直線および凸グリッドの2つの特定のケースについて、タイトな漸近的境界を確立すること。
• 古典的な離散幾何学の問題に、高度な交線幾何学の技法を適用すること。

提案手法

• 平面における単位面積三角形の数え上げ問題を、$ \mathbb{R}^4 $ における点と2次元代数的曲面の交線問題に還元する。
• ソロモシとデ・ツェウによる、特定の代数的制約下での点と曲面の交線に関する最近の境界を活用する。
• 豊富な点と平面の重複度のダイアディック分解を用いて、交線数を効率的に管理する。
• 3次元および4次元の配置における交線数を制限するために、射影平面上でのシュツェメレーディ–トロッターの定理を適用する。
• ショーンとシュクレドフの結果を用いて、凸グリッドのケースを凸集合の差分の性質に基づいて分析する。
• 3変数多項式の零点集合の理論を用いて、3本の直線配置の極値例を構成する。

実験結果

リサーチクエスチョン

• RQ1 平面に配置された $ n $ 個の点がなす単位面積三角形の最大数は何か？
• RQ2 $ O(n^{9/4}) $ の上界は改善可能か？もし可能であれば、どのような手法で達成できるか？
• RQ3 3本の直線上の単位面積三角形に対する $ O(n^2) $ の上界はタイトか？任意の3本の直線の組で達成可能か？
• RQ4 $ |A| = |B| = n^{1/2} $ である凸集合 $ A \times B $ の凸グリッドでは、何個の単位面積三角形が形成可能か？
• RQ5 高次元空間における交線幾何学は、三角形数え上げ問題に対してより強い境界をもたらすか？

主な発見

• 平面に配置された $ n $ 個の点がなす単位面積三角形の数は $ O(n^{20/9}) $ である。これは、以前の $ O(n^{9/4}) $ の上界を改善した。
• 任意の3本の直線に対して、1本の直線上に1点ずつ配置された $ n $ 個の点の配置が存在し、それらが $ \Omega(n^2) $ 個の単位面積三角形をなす。これにより、$ O(n^2) $ の上界がタイトであることが示された。
• $ |A| = |B| = n^{1/2} $ である凸グリッド $ A \times B $ の場合、単位面積三角形の数は $ O(n^{31/14}) $ である。
• この解析は、$ \mathbb{R}^4 $ における点と曲面の交線問題への還元に依拠しており、その設定ではソロモシ–デ・ツェウの交線境界の仮定が満たされている。
• 3本の直線に対する構成は、3変数多項式の零点集合に関するエレケス–ロンヤイの定理と深く関連している。
• 凸グリッドの境界は、その後の研究でさらに改善されているが、本稿の結果は依然として $ O(n^{31/14}) $ のままである。