[논문 리뷰] Dimensional Differences between Nonnegative Polynomials and Sums of Squares

Grigoriy Blekherman|ArXiv.org|2009. 07. 08.

Advanced Optimization Algorithms Research참고 문헌 12인용 수 7

한 줄 요약

이 논문은 비음수 동차 다항식의 원뿔과 제곱합의 원뿔의 면들 사이에 상당한 차원 간격이 존재함을 규명하며, 특히 차수나 변수 수가 증가함에 따라 이러한 간격이 커짐을 보여주며, 비음수 다항식과 제곱합 사이를 분리하는 기하학적 근거를 제공한다. 주요 기여는 특정 비음수 다항식에서는 실패하지만 모든 제곱합에 대해 성립하는 부등식을 유도하는 구성적 방법으로, 다항식 공간 위의 명시적 이차형식과 내적을 활용한다.

ABSTRACT

We study dimensions of the faces of the cone of nonnegative polynomials and the cone of sums of squares; we show that there are dimensional differences between corresponding faces of these cones. These dimensional gaps occur in all cases where there exist nonnegative polynomials that are not sums of squares. As either the degree or the number of variables grows the gaps become very large, asymptotically the gaps approach the full dimension of the vector space of polynomials in $n$ variables of degree 2d. The gaps occur generically, they are not a product of selecting special faces of the cones. Using these dimensional differences we show how to derive inequalities that separate nonnegative polynomials from sums of squares; the inequalities will hold for all sums of squares, but will fail for some nonnegative polynomials.

연구 동기 및 목표

• 비음수 다항식의 원뿔과 제곱합의 원뿔 내 면들의 차원적 구조를 조사하는 것.
• 비음수 다항식이 제곱합이 아닐 경우, 두 원뿔의 대응 면들 사이의 차원 간격을 규명하고 정량화하는 것.
• 관측된 차원 불일치를 활용하여 제곱합과 비음수 다항식을 구분하는 명시적 부등식을 개발하는 것.
• 고차수 및 고변수 설정에서 비음수 다항식과 제곱합을 분리하는 기하학적 및 대수적 프레임워크를 제공하는 것.

제안 방법

• 연구는 짝수 차수 $ 2d $의 $ n $개 변수에서의 동차 다항식(형식)에 집중하며, 유한한 점 집합 $ S $ 에서 0이 되는 면을 분석한다.
• 비음수 형식이 $ S $ 에서 0이 되는 $ Pos_{n,2d}(S) $ 와 제곱합이면서 $ S $ 에서 0이 되는 $ Sq_{n,2d}(S) $ 의 면 차원을 비교한다.
• 특정 점에서 0이 되는 형식의 부분공간에 대한 정규직교 기저와 사영을 통한 $ P_{n,2d} $ 의 벡터 공간 분해를 활용한다.
• 특히 $ P_{4,2} $ 에서 적분 내적을 사용하며, $ \langle f, P_v \rangle = f(v) $ 를 만족하는 재생 커널 $ P_v $ 를 정의하여 명시적 이차형식의 계산을 가능하게 한다.
• 핵심 기법은 명시적 함수형을 구성하는 것으로, $ M_S(f) = \sum f^2(s_{ij}) $, $ T(f) = \int_{S^3} f^2 d\sigma $, $ R_S(f) = (f^2(a) - f^2(b))^2 $ 를 통해 분리 부등식을 도출한다.
• 논문은 모든 $ f \in P_{4,2} $ 에 대해 $ 15M_S(f)T(f) - R_S(f) \geq 0 $ 이 성립하며, 15는 이러한 상수 중 최소임을 증명하며, 이는 이차형식의 고유값 분해를 통해 이루어진다.

실험 결과

연구 질문

• RQ1 동일한 소멸 집합 $ S $ 에 대해 비음수 다항식의 원뿔과 제곱합의 원뿔의 면들 사이의 차원 차이는 무엇인가?
• RQ2 변수 수 $ n $ 또는 차수 $ 2d $ 가 증가함에 따라 이러한 차원 간격은 어떻게 변화하는가?
• RQ3 두 원뿔 간의 차원 불일치를 활용하여 비음수 다항식과 제곱합을 분리하는 명시적 부등식을 유도할 수 있는가?
• RQ4 모든 $ f \in P_{4,2} $ 에 대해 $ \alpha M_S(f)T(f) - R_S(f) \geq 0 $ 이 성립하는 최소 상수 $ \alpha $ 는 무엇인가?

주요 결과

• 비음수 다항식의 원뿔 $ Pos_{n,2d}(S) $ 와 제곱합의 원뿔 $ Sq_{n,2d}(S) $ 의 면들 사이의 차원 간격은 일반적으로 존재하며, $ n $ 또는 $ d $ 가 증가함에 따라 $ P_{n,2d} $ 의 전체 차원으로 점 渐진적으로 커진다.
• 모든 $ f \in P_{4,2} $ 에 대해 $ \alpha M_S(f)T(f) - R_S(f) \geq 0 $ 이 성립하는 최소 상수 $ \alpha $ 는 15이며, 이 값은 정확하다.
• $ M_S(f) $ 는 고유값 12(중복도 4)와 6(중복도 2)를 가지며, 이에 대응하는 정규직교 고유공간이 $ P_{4,2} $ 내에 존재한다.
• $ R_S(f) $ 는 두 개의 질량 1 이차형식의 곱으로 표현 가능하며, $ M_S(f) $ 의 고유기저에서 그 작용이 완전히 기술된다.
• 내적 $ \langle f, g \rangle = \int_{S^3} fg d\sigma $ 는 재생 커널 $ P_v $ 의 명시적 계산을 가능하게 하며, $ \langle f, P_v \rangle = f(v) $ 를 만족한다.
• $ P_a + P_b $ 를 $ P_{ij} $ 의 스칼라곱에 대한 사영은 $ \frac{1}{6} \sum P_{ij} $ 이며, 그 노름 제곱은 22이며, 수직 성분의 노름 제곱은 10이다.