[論文レビュー] Convex Hull of Two Circles in R^3

Evan D. Nash, Ata Firat Pi̇r+2 more|arXiv (Cornell University)|Dec 30, 2016

Polynomial and algebraic computation参考文献 9被引用数 3

ひとこと要約

本稿は、ℝ³における2つの円の凸包を調査し、それらの円が複素射影空間で分離されているとき、その端面が8次非有理則曲面であることを示している。著者らは、これらの凸包の面ラティスを分類し、円が二次錐面上にある場合に限り、それらがスペトラヒドロンであることを特定している。さらに、射影双対性を用いて構造を分析し、以前の『端面は常に円筒である』という主張を是正している。

ABSTRACT

We describe convex hulls of the simplest compact space curves, reducible quartics consisting of two circles. When the circles do not meet in complex projective space, their algebraic boundary contains an irrational ruled surface of degree eight whose ruling forms a genus one curve. We classify which curves arise, classify the face lattices of the convex hulls, and determine which are spectrahedra. We also discuss an approach to these convex hulls using projective duality.

研究の動機と目的

• 2つの円の幾何的配置に基づいて、ℝ³における2つの円の凸包を分類すること。
• 2つの円のための静止する交差線分の端面および端曲線の構造を特定すること。
• このような凸包がスペトラヒドロンである条件、特にその幾何的条件を同定すること。
• RanestadとSturmfels (2013) が主張した『端面は常に円筒である』という主張を是正すること。
• 射影双対性を用いて凸包の双対を分析し、露出面および非露出面に関する情報を抽出すること。

提案手法

• 凸包の双対体を分析する際、双対体の面が元の凸包の露出面に対応することを用いる。
• 交線多様体および代数的境界の理論を適用し、端面をℝ³における則曲面として記述する。
• 端曲線を2つの二次曲線C₁ × C₂における(2,2)型の曲線として分析し、一般状況下でそれが非特異かつ既約であることを示す。
• 代数幾何の技法を用いて端面の次数を計算し、円がℂℙ³で分離されており、互いの平面に接していない場合に、それが8次であることを証明する。
• 凸包がスペトラヒドロンの射影であることに着目し、線形行列表現の存在を活用する。
• 文献[6]および[7]の双対性フレームワークを用い、凸包の双対を2つの双対錐の共通部分として計算し、境界成分の幾何的解釈を行う。

実験結果

リサーチクエスチョン

• RQ1 ℝ³における分離された2つの円の凸包における端面の構造は何か？
• RQ2 ℝ³における2つの円の凸包がスペトラヒドロンであるのはどのようなときか？
• RQ3 ℂℙ³における2つの二次曲線の凸包として現れるC₁ × C₂における(2,2)型の曲線はどれか？
• RQ4 射影双対性は、凸包における露出面および非露出面に関するどのような情報を明らかにするか？
• RQ5 なぜ端面は一般には円筒でないのか、以前の主張とは対照的か？

主な発見

• ℂℙ³における分離された2つの円の端面は、以前の主張とは異なり、円筒ではなく8次非有理則曲面である。
• 静止する交差線分の端曲線は、C₁ × C₂における非特異な(2,2)型の曲線であり、特異点を持つ有理曲線および最大に分解可能な曲線を除き、すべてのこのような曲線が実現可能である。
• 2つの円が同一の二次錐面上にある場合に限り、凸包はスペトラヒドロンである。
• 凸包の双対体は有界かつ凸であり、その境界は露出面および接する超平面を符号化している。
• 非露出面、例えば非露出な静止交差線分は、双対体では明確に見えないため、双対性が非露出構造を捉える能力に限界があることが浮き彫りになる。
• 凸包の双対は2つの双対錐（特に楕円体の場合は双対楕円体）の共通部分として得られ、この共通部分は三接平面、二接辺、および元の円への接平面を符号化している。