[논문 리뷰] Convex Forms that are not Sums of Squares

Grigoriy Blekherman|ArXiv.org|2009. 10. 05.

Point processes and geometric inequalities참고 문헌 6인용 수 11

한 줄 요약

이 논문은 궤도체 이중체의 단면 부피 추정과 비음수 다항식과 제곱합 사이의 쌍대성에 기반하여, 제곱합으로 표현될 수 없는 볼록 형식의 존재를 증명한다. 고정된 차수에 대해 볼록 형식의 원소가 제곱합 원소보다 渐近적으로 더 큰 것으로 보여주며, 이는 볼록 형식이 제곱합을 고(strictly) 포함함을 시사한다. 다만 명시적인 예는 제시하지 않는다.

ABSTRACT

An orbitope is the convex hull of an orbit of a point under the action of a compact group. We derive bounds on volumes of sections of polar bodies of orbitopes, extending our previously developed methods. As an application we realize the cone of convex forms as a section of the cone of nonnegative bi-homogeneous forms and estimate its volume. A convex form has to be nonnegative, but it has not been previously shown that there exist convex forms that are not sums of squares. Combining with the known bounds we show that if the degree is fixed then the cone of convex forms has asymptotically same size as the cone of nonnegative forms and it is significantly larger asymptotically than the cone of sums of squares. This implies existence of convex forms that are not sums of squares, although there are still no known examples.

연구 동기 및 목표

• 비음수이지만 제곱합으로 표현될 수 없는 볼록 형식이 존재함을 입증하는 것.
• 볼록 형식, 비음수 형식, 제곱합의 원소들 간의 상대적 渐近적 크기를 분석하는 것.
• 군 표현 이론과 함수 노름을 이용하여 궤도체의 폴라 몸체 단면의 부피 한계를 유도하는 것.
• 비음수 형식과 제곱합 사이의 쌍대성을 활용하여 그 기하학적 크기를 비교하는 것.
• 고정된 차수에 대해 볼록 형식의 원소가 제곱합 원소보다 渐近적으로 더 크며, 이는 비자명한 포함 관계를 의미함을 보이는 것.

제안 방법

• 특히 SO(n)을 포함한 컴acts군 작용 하에서의 군 궤도의 볼록 hull인 궤도체를 사용하여 대칭 볼록 집합을 모델링하는 것.
• 쌍대성 원리를 적용하여 궤도체의 이중체를 비음수 이동형 다항식의 원소와 연관짓는 것.
• 선형 함수형의 L∞ 및 L2k 노름 간 부등식을 이용하여 이중 궤도체 단면의 부피 한계를 도출하는 것.
• 정 stabilizer 대칭성을 활용하여 군 궤도의 텐서 거듭제곱의 차원을 유계화하는 표현 이론의 응용.
• 구 위에서의 조화 분석 및 스토크스 공식을 적용하여 다항식의 기울기 및 라플라스 연산자의 L2 노름을 추정하는 것.
• 동차 다항식 공간 위의 내적을 이용하여 헤시안 행렬의 힐버트-스미스 노름과 L2 노름을 비교하는 것.

실험 결과

연구 질문

• RQ1 제곱합으로 표현될 수 없는 볼록 형식이 존재하는가?
• RQ2 변수의 수가 증가함에 따라 볼록 형식, 비음수 형식, 제곱합의 원소들 간의 渐近적 부피는 어떻게 비교되는가?
• RQ3 궤도체 이중체 단면의 부피 추정을 통해 형식 원소들의 기하학적 포함 관계를 유추할 수 있는가?
• RQ4 군 대칭성(예: 안정자)은 궤도 벡터의 텐서 거듭제곱의 차원을 어떻게 감소시키는가?
• RQ5 고정된 차수에서 고차원에서 볼록 형식의 원소가 제곱합 원소보다 엄격히 큰가?

주요 결과

• 고정된 차수에 대해 볼록 형식의 원소는 제곱합 원소보다 渐近적으로 더 크며, 이는 제곱합으로 표현될 수 없는 볼록 형식의 존재를 시사한다.
• 이중 궤도체 단면의 부피 한계는 볼록 원소의 상대적 크기가 渐近적으로 비음수 원소의 크기와 일치함을 보여준다.
• ||l||∞ ≤ αk||l||2k 부등식을 사용하여 단위화된 단면 부피의 하한을 도출하며, αk는 (gv)⊗k의 스칼라 생성 공간의 차원에 의존한다.
• 높은 대칭성을 가진 형식(예: x₁²ᵈ)의 경우, 텐서 거듭제곱 (gv)⊗k는 전체 대칭 거듭제곱보다 더 작은 공간을 생성하므로 부피 한계가 향상된다.
• 헤시안 기반 내적 ⟨g,g⟩_H는 L2 내적 ⟨g,g⟩₂의 상수배 이하로 유계화되며, 이 상수는 차수 d와 차원 n에 따라 달라진다.
• 조화 다항식 f를 가진 형식 g = (||x||²)^m f의 라플라스 연산자는 단위 구면에서 Δg = 2m(n + 4d - 2m - 2)g를 만족하므로, L2 노름 추정이 가능하다.