[論文レビュー] The best polynomial bounds for the number of triangles in a simple arrangement of n pseudo-lines

Jérémy Blanc|ArXiv.org|Jan 18, 2008

graph theory and CDMA systems参考文献 7被引用数 6

ひとこと要約

この論文は、アフィン平面および射影平面における $n$ 個の擬似直線の単純な配置における三角形の最大数について、最良の多項式上界を確立し、$n \mod 6$ に応じてタイトな境界を与える。各 $n \mod 6$ の合同類に対して、境界が厳密であり、無限に多くの $n$ で達成可能であることを証明し、擬似直線配置の極値境界に関する長年の空白を解消する。

ABSTRACT

It is well-known that affine (respectively projective) simple arrangements of n pseudo-lines may have at most n(n-2)/3 (respectively n(n-1)/3) triangles. However, these bounds are reached for only some values of n (mod 6). We provide the best polynomial bound for the affine and the projective case, and for each value of n (mod 6).

研究の動機と目的

• アフィン平面および射影平面における $n$ 個の擬似直線の単純な配置における三角形の最大数の、可能な限りtightな多項式上界を特定すること。
• 最大三角形数が $n \mod 6$ に依存する理由を解明し、古典的境界が達成可能かどうかに影響することを明らかにすること。
• 各 $n \mod 6$ の合同類に対して、導出された境界がタイトであるだけでなく、無限に多くの $n$ で達成可能であることを証明すること。
• 境界が達成される明示的な構成と例を提示し、特に従来の境界がタイトでなかったケース（例えば、射影的場合の $n \equiv 2 \pmod{6}$）に焦点を当てる。

提案手法

• 各有界セグメントが高々1つの三角形に属することを活用し、セグメントと三角形の組み合わせ的数え上げにより上界を導出する。
• Harborth や Roudneff などの既知の極値配置に関する結果を応用し、$n \mod 6$ に応じて境界を精緻化する。
• ストレッチ可能性和とホメオモルフィズムの概念を用いて、擬似直線配置と直線配置を関連させ、両者に対して有効な境界を保証する。
• 再帰的構成法（例：[BBL] における「重複構成」）を用い、境界に到達する無限族の配置を生成する。
• 小規模な $n$ に対してコンピュータ支援による検証を実施し、特に $n \leq 30$ の場合に過去の誤った記述（例：$\overline{p_3^s}(12) = 42$ は誤り）を是正する。
• Corollary 5.0.3 を用いて境界のタイト性を証明し、各 $k = n \mod 6$ に対して、境界が達成される無限の $n$ の列を構成する。

実験結果

リサーチクエスチョン

• RQ1 アフィン配置における $n$ 個の擬似直線の単純な配置における三角形数の最良の多項式上界は、$n \mod 6$ に応じてどのように変化するか？
• RQ2 射影配置における $n$ 個の擬似直線の単純な配置における三角形数の最良の多項式上界は、各 $n \mod 6$ に対してどのように定義されるか？
• RQ3 古典的境界 $n(n-2)/3$（アフィン）および $n(n-1)/3$（射影）は、どの $n$ に対して実際に達成可能か？
• RQ4 各 $n \mod 6$ の合同類に対して、精緻化された境界に到達する無限族の配置が存在するか？
• RQ5 従来の文献に誤りがある小規模な $n$（例：$n = 8, 11, 12, 14, 20$）に対して、$\overline{p_3^s}(n)$ の正しい値は何か？

主な発見

• アフィン配置では、$n \equiv 0,4 \pmod{6}$ のとき、三角形の最大数は $n(n-5/2)/3$ で抑えられ、この境界はタイトであり、無限に多くの $n$ で達成可能である。
• $n \equiv 1 \pmod{6}$ のとき、三角形の最大数は $\lfloor (n(n-2) - 2)/3 \rfloor$ であり、この境界は無限に多くの $n$ で達成可能である。
• $n \equiv 2 \pmod{6}$ のとき、境界 $n(n-5/2)/3 - 2/3$ はタイトであり、無限に多くの $n$ で達成可能であり、従来の境界を改善する。
• $n \equiv 3,5 \pmod{6}$ のとき、古典的境界 $n(n-2)/3$ はタイトであり、無限に多くの $n$ で達成可能である。
• 射影的場合、$n \equiv 0,4 \pmod{6}$ のとき、境界 $n(n-1)/3$ はタイトであり、無限に多くの $n$ で達成可能である。
• $n \equiv 2 \pmod{6}$ のとき、境界 $(n(n-1) - 5)/3$ はタイトであり、無限に多くの $n$ で達成可能であり、$n = 26$ を含む。これは長年の未解決問題を解消する。