[論文レビュー] There are no realizable 15_4- and 16_4-configurations

Jürgen Bokowski, Lars Schewe|ArXiv.org|May 11, 2005

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

ひとこと要約

この論文は、実現可能である15₄-および16₄-配置が、より一般の擬線形配置の設定ですら存在しないことを証明している。オイラーの公式と擬線形配置における組合せ的制約を用いて、実現可能な$n_k$-配置の存在に必要な一般条件を確立している：$n > k^2 + k - 5$。この条件により、$k=4$ の場合に $n=15$ および $n=16$ は除外される。さらに、19個の候補となる16₄-マトロイドすべてについて非可定向性の計算的検証により、結果が裏付けられている。

ABSTRACT

There exist a finite number of natural numbers n for which we do not know whether a realizable n_4-configuration does exist. We settle the two smallest unknown cases n=15 and n=16. In these cases realizable n_4-configurations cannot exist even in the more general setting of pseudoline-arrangements. The proof in the case n=15 can be generalized to n_k-configurations. We show that a necessary condition for the existence of a realizable n_k-configuration is that n > k^2+k-5 holds.

研究の動機と目的

• 実現可能な $n_4$-配置が $n=15$ および $n=16$ の場合に存在するかどうかという長年の未解決問題を解消すること。
• 実現可能な $n_k$-配置の存在に必要な一般条件を $n$ と $k$ の観点から確立すること。
• 直線による配置に限らず、擬線形配置というより広い設定においても、このような配置が存在しないことを証明すること。
• ベッテンとベッテンが特定した19個の候補マトロイドすべてについて、非可定向性を計算的に検証することで、16₄-配置の非存在を確認すること。

提案手法

• 配置を表す擬線形配置の球面埋め込みにオイラーの公式を適用すること。
• 配置における頂点、辺、面の数を数え、$n$ と $k$ を含む必要条件の不等式を導出すること。
• 辺-セルの二重数え上げから得られる不等式 $-n^2 - 5n + nk^2 + nk + 6 ≤ 0$ を用いて、可能な $n$ 値を制約すること。
• $k=4$ の場合に、この不等式が $n = 15$ および $n = 16$ で成立しないことを証明し、実現可能性が排除されることを示すこと。
• フォルクマン＝ローレンス表現定理を用いて、pl-実現可能性を対応する向き付け可能なマトロイドの可定向性と同一視すること。
• 計算ソフトウェアを用いて、ベッテンとベッテンが特定した19個の候補 $16_4$-マトロイドすべてが非可定向であることを検証し、非実現性を確認すること。

実験結果

リサーチクエスチョン

• RQ1 擬線形配置の設定ですら、実現可能な $15_4$-配置は存在するか？
• RQ2 実現可能な $16_4$-配置は存在せず、その背後にある組合せ的または位相的障害は何か？
• RQ3 位相的および組合せ的制約から、実現可能な $n_k$-配置の存在に必要な一般条件を導出できるか？
• RQ4 すべての $16_4$-配置が非可定向であるとされ、これは非pl-実現可能性を意味するか？
• RQ5 15₄-および16₄-配置の非存在は、他の $n_k$-配置へ一般化可能か？

主な発見

• 必要条件の不等式 $n > k^2 + k - 5$ が $k=4$ および $n=15$ で成立しないため、実現可能な $15_4$-配置は存在しない。
• 位相的議論と、19個の候補マトロイドすべてについての非可定向性の計算的検証の両方により、実現可能な $16_4$-配置は存在しないことが確認された。
• 実現可能な $n_k$-配置の存在に必要な一般条件は $n > k^2 + k - 5$ であり、$k=4$ の場合に $n=15$ および $n=16$ が除外されることを示している。
• ベッテンとベッテンが特定した19個の候補 $16_4$-マトロイドはすべて非可定向であるため、計算的に確認され、$16_4$-配置のpl-実現不可能性が裏付けられた。
• 非存在の結果は、直線配置に限らず、擬線形配置に対しても成り立つ。なぜなら、pl-実現可能性は通常の実現可能性の必要条件であるからである。
• 証明の最終段階は構成的かつ計算を用いないが、$n=16$ の場合に先行する計算結果が利用されている。