[논문 리뷰] A unified framework of SAGE and SONC polynomials and its duality theory

Lukas Katthän, Helen Naumann외 1명|arXiv (Cornell University)|2019. 03. 21.

Mathematical functions and polynomials인용 수 1

한 줄 요약

이 논문은 흩어진 다항식 최적화에서 비음수 증명을 위한 공통 구조를 제공하는 통합 프레임워크인 S-원소를 소개한다. SAGE와 SONC 다항식을 일반화하며, 이중 원소의 사영 없는 특성화를 제공함으로써, 극단기저의 새로운 정확한 기술, 단변수 비음수 다항식에 대한 근사 결과, 그리고 단변수 경우에서 SONC에 대한 Putinar 유형의 Positivstellensatz에 대한 부정적 답변을 이끌어낸다.

ABSTRACT

We introduce and study a cone which consists of a class of generalized polynomial functions and which provides a common framework for recent non-negativity certificates of polynomials in sparse settings. Specifically, this $\mathcal{S}$-cone generalizes and unifies sums of arithmetic-geometric mean exponentials (SAGE) and sums of non-negative circuit polynomials (SONC). We provide a comprehensive characterization of the dual cone of the $\mathcal{S}$-cone, which even for its specializations provides novel and projection-free descriptions. As applications of this result, we give an exact characterization of the extreme rays of the $\mathcal{S}$-cone and thus also of its specializations, and we provide a subclass of functions for which non-negativity coincides with membership in the $\mathcal{S}$-cone. Moreover, we derive from the duality theory an approximation result of non-negative univariate polynomials and show that a SONC analogue of Putinar's Positivstellensatz does not exist even in the univariate case.

연구 동기 및 목표

• 희한한 비음수 다항식 최적화를 위한 SAGE와 SONC 다항식을 S-원소를 통해 통합 프레임워크로 통합한다.
• SAGE와 SONC 이중의 이전 작업을 넘어서, S-원소의 이중 원소에 대한 포괄적이고 사영 없는 특성화를 제공한다.
• S-원소의 극단기저에 대한 새로운 정확한 특성화를 도출한다.
• 모든 비음수 단변수 다항식이 SONC 다항식에 의해 근사 가능하다는 것을 보인다.
• 단변수 경우조차도 SONC에 대한 Putinar의 Positivstellensatz 유사체계가 성립하지 않음을 증명한다.

제안 방법

• 절대값 단항식과 홀수차수 단항식을 사용하여 SAGE와 SONC 원소를 일반화한 S-원소 CS(A, B)를 정의한다.
• 강한 지지 조건을 갖는 원자적 비음수 구성 요소로 AG 함수를 도입한다.
• 단순화된 회로와 사영 없는 부등식을 사용하여 S-원소의 이중 원소를 특성화한다.
• 쌍대 이론을 활용하여 비음수 함수를 비음수 회로 함수의 합으로 표현하는 표현식을 도출한다.
• 이중 원소 내의 절단과 매개변수 제어를 통해 근사적 SONC 다항식을 구성한다.
• 이중 원소의 구조를 적용하여, 단변수 경우에서 SONC에 대한 Putinar 유형의 Positivstellensatz가 존재하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 SAGE와 SONC 다항식은 비음수 증명을 유지하면서도 단일 통합 프레임워크에 통합될 수 있는가?
• RQ2 S-원소의 이중 원소의 정확한 구조는 무엇이며, 사영 없이 기술될 수 있는가?
• RQ3 S-원소의 극단기저는 SAGE와 SONC에 대해 알려진 결과를 일반화하고 개선하는 특성화를 갖는가?
• RQ4 모든 비음수 단변수 다항식은 SONC 다항식에 의해 근사 가능할 수 있는가?
• RQ5 단변수 설정에서도 SONC 다항식에 대한 Putinar 유형의 Positivstellensatz가 존재하는가?

주요 결과

• S-원소의 이중 원소는 원소의 지지 집합이 단순화된 회로를 이루는 AG 함수에 의해 사영 없는 형태로 기술될 수 있으며, 이는 이전의 SAGE와 SONC 원소의 이중 특성화를 일반화하고 개선한다.
• S-원소에 속하는 모든 다항식은 원래 지지 집합에 포함된 비음수 AG 함수의 캔슬레이션 없는 분해를 갖는다.
• S-원소의 극단기저는 지지 집합이 단순화된 회로를 이루는 비음수 AG 함수에 의해 정확히 생성되며, 이는 SAGE 경우조차도 날카로운 특성화를 제공한다.
• 비음수 단변수 다항식은 (x)-adic 위상에서 임의로 정밀한 근사가 가능하며, 이는 구성적 근사자열을 통해 보여진다.
• 단변수 경우조차도 SONC에 대한 Putinar 유형의 Positivstellensatz는 존재하지 않으며, 이는 이전의 다변수 구성보다 더 강력하고 단순한 반례를 제공한다.
• 단체형 뉴턴 다각체를 갖는 광범위한 비음수 AG 함수의 클래스는 이중 S-원소를 통해 특성화되며, 이는 이전의 SONC 및 SAGE 이론의 결과들을 통합하고 단순화한다.