[論文レビュー] A universality theorem for allowable sequences with applications

Udo Hoffmann, Keno Merckx|arXiv (Cornell University)|Jan 18, 2018

Advanced Algebra and Logic参考文献 15被引用数 3

ひとこと要約

本稿は、許容可能な列——点集合の洗練された組合せ的抽象化——の普遍性定理を確立し、それらの実現空間が任意の半代数的集合ほど複雑であることを証明している。これにより、実現可能性の決定問題が存在論的実数理論（∃ℝ）で完全であることが示された。この結果は、誘導される順序型が実現可能であっても成り立ち、凸幾何の実現可能性および穴のある多角形の視界グラフ認識の新たな∃ℝ-困難性証明を可能にする。

ABSTRACT

Order types are a well known abstraction of combinatorial properties of a point set. By Mnëv's universality theorem for each semi-algebraic set $V$ there is an order type with a realization space that is \emph{stably equivalent} to $V$. We consider realization spaces of \emph{allowable sequences}, a refinement of order types. We show that the realization spaces of allowable sequences are \emph{universal} and consequently deciding the realizability is complete in the \emph{existential theory of the reals} (\ER). This result holds even if the realization space of the order type induced by the allowable sequence is non-empty. Furthermore, we argue that our result is a useful tool for further geometric reductions. We support this by giving \ER-hardness proofs for the realizability of abstract convex geometries and for the recognition problem of visibility graphs of polygons with holes using the hardness result for allowable sequences. This solves two longstanding open problems.

研究の動機と目的

• 許容可能な列の実現空間に対する普遍性定理を確立し、順序型からこの洗練された組合せ的モデルへとミンエフの定理を拡張する。
• 許容可能な列の実現可能性が、誘導される順序型が実現可能であっても、存在論的実数理論（∃ℝ）で完全であることを示す。
• 許容可能な列の実現可能性の∃ℝ困難性が、幾何的還元の強力なツールとして機能することを示す。
• 2つの長年の未解決問題を解決する：抽象凸幾何の実現可能性の∃ℝ完全性、および穴のある多角形の視界グラフ認識問題の∃ℝ完全性。

提案手法

• 幾何的制約の組合せ的符号化を通じて、任意の半代数的集合から許容可能な列の実現空間への還元を構築する。
• 許容可能な列が順序型を洗練し、線の回転に伴う動的点集合配置を符号化しながら方向性の情報を保持することを活用する。
• 許容可能な列の実現空間が任意の与えられた半代数的集合と安定同値であることを証明し、この文脈におけるミンエフの普遍性を一般化する。
• 隣接交換のみを含む単純な許容可能な列の構成を導入し、平行な直線対を含まない一般位置の点集合をモデル化する。
• 普遍性結果を応用して、既知の∃ℝ完全問題を視界グラフおよび凸幾何の実現可能性問題へ還元する。
• 幾何的双対性と視界遮断の議論を用いて、穴のある多角形における視界制約をモデル化し、許容可能な列による還元を通じて∃ℝ困難性が保存されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ミンエフの定理の普遍性原理を順序型から許容可能な列へ拡張できるか？
• RQ2 誘導される順序型が実現可能であっても、許容可能な列の実現可能性問題が∃ℝ完全であるか？
• RQ3 許容可能な列の実現可能性の∃ℝ困難性を、他の幾何的実現可能性問題の困難性を示すために活用できるか？
• RQ4 抽象凸幾何の実現可能性問題が∃ℝ完全であるか？
• RQ5 穴のある多角形の視界グラフ認識問題が∃ℝ完全であるか？

主な発見

• 任意の許容可能な列の実現空間は、任意の与えられた半代数的集合と安定同値である。これにより、このモデルに対する普遍性定理が証明された。
• 許容可能な列の実現可能性問題は、誘導される順序型が実現可能であっても、存在論的実数理論（∃ℝ）で完全である。
• この結果は、隣接交換のみを含む単純な許容可能な列に対しても成り立ち、平行な直線対を含まない一般位置の点集合に対応する。
• 許容可能な列の実現可能性の∃ℝ困難性は、幾何的問題に対する新たな還元ツールを提供する。
• 本稿は、抽象凸幾何の実現可能性の∃ℝ完全性を証明し、長年の未解決問題を解決した。
• 本稿は、穴のある多角形の視界グラフ認識問題の∃ℝ完全性を確立し、もう一つの長年の未解決問題を解決した。