[논문 리뷰] On Supports of Sums of Nonnegative Circuit Polynomials

Jie Wang|arXiv (Cornell University)|2018. 09. 26.

Formal Methods in Verification참고 문헌 7인용 수 7

한 줄 요약

이 논문은 모든 SONC(비음수 회로 다항식의 합) 다항식이 동일한 지지집합을 가지는 비음수 회로 다항식의 합으로 분해될 수 있음을 증명한다. 이는 희소성을 유지하면서 비음성의 증명을 상대 엔트로피 프로그래밍을 통해 더 효율적으로 가능하게 하며, 전통적인 SOS(제곱의 합) 분해 방식보다 유의미한 이점을 제공한다. SOS 분해는 종종 추가적인 단항식을 필요로 하며, 희소 다항식에 대해서는 효율성이 떨어진다.

ABSTRACT

In this paper, we prove that every SONC polynomial decomposes into a sum of nonnegative circuit polynomials with the same support, which reveals the advantage of SONC decompositions for certifying nonnegativity of sparse polynomials compared with the classical SOS decompositions. By virtue of this fact, we can decide $f\in$ SONC through relative entropy programming more efficiently.

연구 동기 및 목표

• 모든 SONC 다항식이 동일한 지지집합을 가지는 비음수 회로 다항식의 합으로 분해될 수 있음을 입증하는 것.
• 전통적인 SOS 분해 방식과 비교해 볼 때 SONC 분해의 희소성 유지 성질을 명확히 하는 것.
• 상대 엔트로피 프로그래밍을 통한 SONC 콘의 소속성 결정을 더 효율적으로 가능하게 하는 것.
• SONC 표현을 이용한 다항식 최적화 분야에서 향상된 알고리즘에 대한 이론적 기초를 제공하는 것.

제안 방법

• 논문은 SONC 다항식에 대한 지지집합을 유지하는 분해 정리를 도입하며, 각 SONC 다항식이 동일한 지지집합을 가지는 비음수 회로 다항식의 합으로 표현될 수 있음을 증명한다.
• 뉴턴 다각체의 꼭짓점들의 볼록 조합을 통해 정의된 회로 수 조건을 활용하여, 회로 다항식의 비음성 조건를 특성화한다.
• 상대 엔트로피 프로그래밍(REP)을 사용하여 SONC 콘에 속하는지 여부를 테스트하며, 회로 구조와 계수 분해에서 유도된 제약 조건을 적용한다.
• 지지집합 내의 비꼭짓점 단항식 각각에 대해, 뉴턴 다각체의 단체 분할을 이용해 여러 개의 회로 다항식을 구성한다.
• 특정 REP 시스템의 타당성은 SONC 소속성과 동치이며, 계수 분할을 추적하는 변수와 로그 장벽 항이 포함된다.
• 핵심 REP 공식화는 가중 계수에 대한 제약 조건, 로그 부등식, 그리고 하위 분해들 간의 총 계수 보존 조건을 포함한다.

실험 결과

연구 질문

• RQ1 모든 SONC 다항식은 원래 지지집합을 유지하는 비음수 회로 다항식의 합으로 분해될 수 있는가?
• RQ2 SONC 분해의 지지구조는 희소성 측면에서 SOS 분해와 비교해 어떻게 다른가?
• RQ3 희소 다항식의 비음성은 SONC 표현을 사용할 경우 SOS 표현을 사용할 경우보다 더 효율적으로 증명될 수 있는가?
• RQ4 회로 수는 회로 다항식의 비음성 여부를 결정하는 데 어떤 역할을 하는가?
• RQ5 추가 단항식을 도입하지 않고도 SONC 콘에 속하는지 여부를 효율적으로 결정할 수 있는 상대 엔트로피 프로그래밍 공식화가 존재하는가?

주요 결과

• 모든 SONC 다항식은 동일한 지지집합을 가지는 비음수 회로 다항식의 합으로 분해되며, 원래 다항식의 희소성가 유지된다.
• 이 지지집합 유지 성질은 SOS 분해 방식보다 SONC 분해가 훨씬 더 효율적임을 보여주며, SOS 분해는 일반적으로 추가 단항식을 필요로 한다.
• 특정 상대 엔트로피 프로그램(RET)의 타당성은 SONC 콘에 속하는지 여부와 동치이며, 이는 비음성의 효율적 증명을 가능하게 한다.
• REP 공식화는 계수를 여러 개의 회로 구성요소로 나누되, 총 계수를 보존하고, 회로 수에서 유도된 로그 부등식을 만족시키는 방식으로 이루어진다.
• 이 방법은 SOS와 달리 분해 과정에서 새로운 단항식을 도입하지 않으며, 이는 항의 수와 계산 비용의 증가를 방지한다.
• 제안된 REP 공식화는 SONC 소속성에 대해 必要하고 충분하며, 희소 비음수 다항식에 대한 완전하고 효율적인 결정 절차를 제공한다.