[논문 리뷰] On semidefinite representations of plane quartics

Didier Henrion|ArXiv.org|2008. 09. 10.

Advanced Optimization Algorithms Research참고 문헌 11인용 수 6

한 줄 요약

이 논문은 평면 4차 곡선의 볼록껍질이 정확히 준모형으로 표현가능한 조건을 규명하며, 이러한 집합이 최대 12개의 리프팅 변수를 사용해 준모형으로 표현가능하다는 것을 보여주고, 4차 곡선이 유리함수로 매개변수화 가능한 경우 오직 2개의 리프팅 변수만으로도 정확한 표현이 가능하다는 것을 밝힌다. 결과는 제곱합 표현과 Lasserre의 모멘트-SOS 계층 구조에 기반하며, 명시적인 구성과 수치 예제가 제공된다.

ABSTRACT

This note focuses on the problem of representing convex sets as projections of the cone of positive semidefinite matrices, in the particular case of sets generated by bivariate polynomials of degree four. Conditions are given for the convex hull of a plane quartic to be exactly semidefinite representable with at most 12 lifting variables. If the quartic is rationally parametrizable, an exact semidefinite representation with 2 lifting variables can be obtained. Various numerical examples illustrate the techniques and suggest further research directions.

연구 동기 및 목표

• 이차 4차 다항식의 볼록껍질이 정확히 준모형으로 표현가능한 조건을 규명하는 것.
• 그러한 표현에 필요한 최소 리프팅 변수 수를 규명하는 것.
• 유리함수로 매개변수화 가능한 4차 곡선에 대해 저랭크 구성 방법을 활용해 정확한 준모형 표현을 확장하는 것.
• Lasserre의 첫 번째 단계 준모형 근사가 평면 4차 곡선에 대해 정확한지 조사하는 것.
• 대수적 평면 곡선의 볼록껍질에 대한 준모형 표현을 구성하기 위한 계산 도구와 예제를 제공하는 것.

제안 방법

• 선형행렬부등식(LMIs)을 사용해 볼록껍질의 외부 근사치를 구성하기 위해 Lasserre의 모멘트-SOS 계층 구조를 활용한다.
• 비음수 이변수 4차 다항식은 제곱합(SOS)임을 이용해 정확한 준모형 표현이 가능하다는 점을 활용한다.
• 리프팅 기반의 투영 방법을 적용해 볼록껍질을 스펙트라헤드론의 투영으로 표현한다.
• 매개변수화 기반 접근법을 사용해 유리함수로 매개변수화 가능한 곡선의 경우 리프팅 변수를 2개로 줄인다.
• 다항식과 그 단항식에서 유도된 모멘트 행렬과 국소화 행렬을 사용해 명시적인 LMI 표현을 구성한다.
• 수치 예제를 통해 결과를 검증하며, 물방울 4차 곡선을 포함한 예시를 통해 정확한 표현의 타당성과 한계를 설명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 평면 4차 곡선의 볼록껍질이 유한한 수의 리프팅 변수를 사용해 정확히 준모형으로 표현가능한가?
• RQ2 유리함수로 매개변수화 가능한 4차 곡선은 준모형 표현에서 오직 2개의 리프팅 변수만으로도 표현가능한가?
• RQ3 Lasserre의 계층 구조에서 평면 4차 곡선의 볼록껍질에 대한 첫 번째 근사가 정확한지 여부는 무엇에 의해 결정되는가?
• RQ4 특이점과 기울기가 0이 되는 점은 정확한 준모형 표현의 존재에 어떤 영향을 미치는가?
• RQ5 주어진 4차 곡선의 볼록껍질에 대해 필요한 최소 리프팅 변수 수는 얼마인가?

주요 결과

• 내부가 비어있지 않은 임의의 평면 4차 곡선의 볼록껍질은 최대 12개의 리프팅 변수를 사용해 정확히 준모형으로 표현가능하다.
• 4차 곡선이 유리함수로 매개변수화 가능한 경우, 그 볼록껍질은 오직 2개의 리프팅 변수만으로도 정확한 준모형 표현이 가능하다.
• 이차 4차 다항식의 SOS 성질 덕분에 Lasserre의 계층 구조에서 첫 번째 근사는 평면 4차 곡선에 대해 정확하다.
• 1차 이상의 고차수 근사의 정확성은 아직 미해결 문제이다.
• 수치 예제는 동일한 4차 곡선에 대해 서로 다른 수의 리프팅 변수를 요구하는 다양한 준모형 표현이 존재할 수 있음을 보여준다.
• 논문은 현재 이론의 격차를 지적한다: 물방울 4차 곡선의 볼록껍질에 대한 정확한 준모형 표현은 아직 알려져 있지 않다.