[논문 리뷰] Conditions for a real polynomial to be sum of squares

Jean B. Lasserre|arXiv (Cornell University)|2006. 12. 13.

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

한 줄 요약

이 논문은 올림프리드 또는 보조 변수 없이, 계수만을 사용하여 차수 2d인 실계수 다항식이 제곱합(s.o.s.)인지 여부를 결정하는 명시적이고 계수에 국한된 조건을 제공한다. 주요 기여는 차수 2d 이하의 s.o.s. 다항식의 볼록 다면체 부분뿔을 제공하며, 계수에 대한 간단한 대수적 부등식으로 완전히 특성화되어 있어, s.o.s. 소속 여부를 직접 검증할 수 있도록 한다.

ABSTRACT

Abstract. We provide explicit conditions for a polynomial f of degree 2d to be a sum of squares (s.o.s.), stated only in terms of the coefficients of f, i.e. with no lifting. All conditions are simple and provide an explicit description of a convex polyhedral subcone of the cone of s.o.s. polynomials of degree at most 2d. We also provide a simple condition to ensure that f is s.o.s., possibly modulo a constant. 1.

연구 동기 및 목표

• 차수 2d인 실계수 다항식이 제곱합(s.o.s.)인지 여부를 결정하는 명시적이고 계수에 국한된 조건을 유도하는 것.
• 차수 2d 이하의 s.o.s. 다항식의 뿌리의 볼록 다면체 부분뿔을 다항식의 계수만을 사용하여 기술하는 것.
• 다항식의 계수만을 기반으로 하여, 다항식이 상수배를 제외하고 s.o.s.인지 여부를 판단할 수 있는 단순한 기준을 제공하는 것.
• 올림프리드 또는 정규형 프로그래밍을 피하기 위해, s.o.s. 조건을 순수하게 계수의 대수적 조건으로 표현함으로써, 이를 제거하는 것.

제안 방법

• 다항식의 계수에 대한 선형 부등식 시스템을 구성하는 방법으로, 제곱합 표현의 구조에서 유도된다.
• 다항식이 제곱합이 되기 위한 필요충분조건이 그에 대응하는 하켄 행렬(Hankel matrix)이 준정부호임을 이용하며, 이를 계수 기반의 부등식 조건으로 변환한다.
• 직접 계수의 정규성 조건을 표현함으로써 올림프리드를 피하고, 결과적으로 볼록 다면체 뿌리의 형태를 확보한다.
• 다항식을 모노미얼의 이차형식으로 표현하고, 이 형식이 준정부호가 되기 위한 계수 벡터에 대한 필요충분조건을 유도한다.
• 계수 구조에 암묵적으로 포함된 고차수 모멘트 제약 조건을 고려함으로써, 점차 더 강력한 조건으로 이루어진 계층적 접근을 제공한다.

실험 결과

연구 질문

• RQ1 차수 2d인 실계수 다항식이 제곱합인지 여부를 결정하는 명시적이고 계수 기반의 조건은 무엇인가?
• RQ2 차수 2d 이하의 s.o.s. 다항식의 집합을 다항식의 계수만을 사용하여 볼록 다면체 뿌리로 기술할 수 있는가?
• RQ3 올림프리드나 정규형 프로그래밍 없이도, 계수에 대한 대수적 제약 조건만으로 s.o.s. 소속 여부를 검증할 수 있는가?
• RQ4 다항식이 상수배를 제외하고 s.o.s.임을 보장하는 단순한 조건은 무엇이며, 이 조건은 오직 계수에 의존하는가?

주요 결과

• 논문은 차수 2d 이하의 s.o.s. 다항식 뿌리의 볼록 다면체 부분뿔을 확립하였으며, 이는 계수에 대한 선형 부등식으로 완전히 기술되어 있다.
• s.o.s. 소속 여부를 판단하는 모든 조건이 다항식의 계수만을 기반으로 명시적으로 표현되어 있으며, 올림프리드나 정규형 프로그래밍이 필요로 하지 않는다.
• 이 방법은 다항식이 s.o.s.임을 보장하는 충분조건을 제공하며, 이 조건은 단순하고 계수 벡터만으로도 계산 가능하다.
• 특성화는 다항식이 상수배를 제외하고 s.o.s.인지 여부를 판단할 수 있는 기준을 포함하며, 이 역시 오직 계수 제약 조건에 기반한다.