[논문 리뷰] Convex Hull of Two Circles in R^3

Evan D. Nash, Ata Firat Pi̇r외 2명|arXiv (Cornell University)|2016. 12. 30.

Polynomial and algebraic computation참고 문헌 9인용 수 3

한 줄 요약

이 논문은 ℝ³에서 두 원의 볼록껍데기를 조사하며, 복소射영공간에서 두 원이 분리되어 있을 경우 그 엣지 표면이 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.

연구 동기 및 목표

• 두 원의 기하적 배열에 따라 ℝ³에서 두 원의 볼록껍데기를 분류하기.
• 원 쌍에 대한 정적 이등분선의 엣지 표면과 엣지 곡선의 구조를 규명하기.
• 특정 기하 조건 하에서 이러한 볼록껍데기가 스펙트라헤드론이 되는지 확인하기.
• Ranestad와 Sturmfels(2013)의 이전 주장, 즉 엣지 표면이 항상 실린더라는 것을 수정하기.
• 사영쌍대성을 적용하여 볼록껍데기의 딱두를 분석하고 노출된 면과 비노출 면에 대한 정보를 추출하기.

제안 방법

• 볼록껍데기의 딱두를 분석하기 위해 사영쌍대성을 사용하며, 딱두의 면은 원래 볼록껍데기의 노출된 면에 대응한다.
• 이등분선 다항식과 대수경계 이론을 적용하여 엣지 표면을 ℝ³ 내의 정면 표면으로 기술한다.
• 엣지 곡선을 두 쌍곡선 C₁ × C₂의 곱에서 이중도수 (2,2) 곡선으로 분석하여 일반 조건 하에서 이것이 기약이고 기약형임을 보인다.
• 대수기하 기법을 활용해 엣지 표면의 차수를 계산하며, 원들이 ℂℙ³에서 분리되어 있고 서로의 평면에 접하지 않을 경우 이것이 8차임을 증명한다.
• 볼록껍데기가 스펙트라헤드론의 사영 영역임을 이용하여 선형 행렬 표현의 존재를 활용한다.
• 참고문헌 [6]과 [7]의 쌍대성 프레임워크를 적용하여 볼록껍데기의 딱두를 두 딱두 쌍곡면의 교차로 계산하며, 경계 성분의 기하학적 해석을 제공한다.

실험 결과

연구 질문

• RQ1 ℝ³에서 분리된 두 원의 볼록껍데기에서 엣지 표면의 구조는 무엇인가?
• RQ2 ℝ³에서 두 원의 볼록껍데기가 언제 스펙트라헤드론이 되는가?
• RQ3 ℂℙ³에서 두 쌍곡선 C₁ × C₂의 곱에서 어떤 이중도수 (2,2) 곡선이 엣지 곡선으로 나타나는가?
• RQ4 사영쌍대성이 볼록껍데기에서 노출된 면과 비노출 면에 대해 어떤 정보를 드러내는가?
• RQ5 왜 엣지 표면은 일반적으로 실린더가 아니며, 이는 이전 주장과 어긋나는가?

주요 결과

• ℂℙ³에서 분리된 두 원의 엣지 표면은 이전에 주장한 바와 같이 실린더가 아니라 8차의 무리적 정면 표면이다.
• 정적 이등분선의 엣지 곡선은 C₁ × C₂에서 이중도수 (2,2)의 기약 곡선이며, 이중도수 (2,2) 곡선 중에서 이심점이 있는 유리 곡선과 최대로 분해된 곡선을 제외한 모든 곡선이 나타난다.
• 두 원이 동일한 이차 쌍곡면 위에 있을 때에만 볼록껍데기가 스펙트라헤드론이 된다.
• 볼록껍데기의 딱두는 유계이자 볼록이며, 그 경계는 노출된 면과 지지 초평면을 코딩한다.
• 비노출 면, 예를 들어 비노출 정적 이등분선은 딱두에서 명확하게 드러나지 않으며, 이는 쌍대성이 비노출 구조를 포괄하는 데에 한계가 있음을 시사한다.
• 볼록껍데기의 딱두는 두 딱두 쌍곡면의 교차(또는 타원체의 경우 두 타원체의 교차)이며, 이 교차는 삼중접선 평면, 이중접선 모서리, 원래 원들에 대한 접선 평면을 코딩한다.