[논문 리뷰] Nonnegative Polynomials and Circuit Polynomials

Jie Wang|arXiv (Cornell University)|2018. 04. 25.

Low-power high-performance VLSI design인용 수 4

한 줄 요약

이 논문은 뉴턴 다면체가 일반적인 경우에도 비음수 다항식이 항상 비음수 순환(SONC) 다항식의 합임을 증명하며, SONC 및 SAGE 쌍대다면체가 동일함을 보여준다. 또한 모든 SONC 다항식은 취소 없이 분해 가능하며, 이는 희소성과 일치하고, 이차원 쌍대다면체 프로그래밍 또는 상대 엔트로피 프로그래밍을 통한 효율적인 희소 다항식 최적화를 가능하게 한다.

ABSTRACT

The concept of sums of nonnegative circuit polynomials (SONC) was recently introduced as a new certificate of nonnegativity especially for sparse polynomials. In this paper, we explore the relationship between nonnegative polynomials and SONC polynomials. As a first result, we provide sufficient conditions for nonnegative polynomials with general Newton polytopes to be SONC polynomials, which generalizes the previous result on nonnegative polynomials with simplex Newton polytopes. Secondly, we prove that every SONC polynomial admits a SONC decomposition without cancellation. In other words, SONC decompositions can exactly preserve the sparsity of nonnegative polynomials, which is dramatically different from the classical sum of squares (SOS) decompositions and is a key property to design efficient algorithms for sparse polynomial optimization based on SONC decompositions.

연구 동기 및 목표

• 일반적인 뉴턴 다면체를 가진 비음수 다항식이 SONC 분해를 갖는 데 필요한 충분조건를 결정하는 것.
• SONC 분해가 취소 없이 비음수 다항식의 희소성을 유지할 수 있는지 조사하는 것.
• 비음수성 증명의 맥락에서 SONC 쌍대다면체와 SAGE 쌍대다면체 간의 관계를 명확히 하는 것.
• 희소성 유지 SONC 분해를 활용하여 확장 가능한 희소 다항식 최적화를 가능하게 하는 것.
• 이전의 단체 뉴턴 다면체에 대한 결과를 일반적인 다면체와 다중 음수 항으로 확장하는 것.

제안 방법

• 지지 집합에 대한 조합적이고 기하학적인 조건을 사용하여 이전의 단체 뉴턴 다면체 결과를 일반적인 뉴턴 다면체로 일반화하는 것.
• 음수 항이 정확히 하나인 비음수 다항식이 항상 SONC 다항식임을 증명하여, SONC 및 SAGE 쌍대다면체가 동일함을 의미하는 것.
• 모든 SONC 다항식이 취소 없이 SONC 분해를 갖는다는 것을 확립하여, 분해 과정에서 희소성이 유지됨을 보장하는 것.
• SONC 다항식이 지지 집합 확대를 거쳐 이항식 제곱의 합으로 변환됨을 이용하여 이차원 쌍대다면체 프로그래밍 공식화를 가능하게 하는 것.
• 카라테오도리 정리를 적용하여 SONC 분해에 필요한 순환 수가 원래 다항식의 항 수로 제한됨을 보이는 것.
• 상대 엔트로피 프로그래밍과 이차원 쌍대다면체 프로그래밍을 활용하여 비제약 희소 다항식 최적화를 효율적으로 해결하는 것.

실험 결과

연구 질문

• RQ1 일반적인 뉴턴 다면체를 가진 비음수 다항식이 언제 보장적으로 SONC 분해를 갖는가?
• RQ2 모든 SONC 다항식은 취소 없이 분해될 수 있는가? 즉, 원래 다항식의 희소성이 유지되는가?
• RQ3 모든 비음수 다항식에 대해 SONC 쌍대다면체는 SAGE 쌍대다면체와 동일한가?
• RQ4 희소 다항식 최적화에서 SONC 분해는 어떻게 효율적으로 계산할 수 있는가?
• RQ5 SONC 분해의 희소성 유지 성질은 제약 조건이 있는 다항식 최적화 문제로 얼마나 일반화될 수 있는가?

주요 결과

• 정확히 하나의 음수 항을 가진 모든 비음수 다항식은 SONC 다항식이며, 이는 SONC 쌍대다면체와 SAGE 쌍대다면체가 동일함을 의미한다.
• 모든 SONC 다항식은 취소 없이 SONC 분해를 갖는다. 즉, 분해 과정에서 원래 다항식의 희소성이 정확히 반영된다.
• 다항식의 지지 집합에 포함된 순환만을 사용하여 SONC 분해를 구성할 수 있으며, 모든 가능한 순환을 나열할 필요가 없다.
• 카라테오도리 정리에 의해 SONC 분해에 필요한 순환의 수는 원래 다항식의 항 수로 제한된다.
• SONC 분해의 희소성 유지 성질은 이차원 쌍대다면체 프로그래밍 또는 상대 엔트로피 프로그래밍을 통해 희소 다항식 최적화를 효율적으로 계산할 수 있게 한다.
• 이전의 단체 뉴턴 다면체에 대한 결과를 일반적인 뉴턴 다면체로 확장하여, SONC 기반 최적화를 위한 더 넓은 이론적 기반을 제공한다.