[논문 리뷰] A Convex Positivstellensatz

Jean B. Lasserre|arXiv (Cornell University)|2008. 01. 24.

Advanced Optimization Algorithms Research참고 문헌 4인용 수 1

한 줄 요약

이 논문은 K⊂ℝⁿ에서 볼록인 기본 닫힘 준대칭다항식집합에서 비음수인 거의 모든 볼록 다항식이 K의 정의하는 볼록 다항식으로 생성된 특정 2차 모듈러에 속한다는 것을 보여줌으로써 볼록 Positivstellensatz를 수립한다. 핵심 결과는 이러한 다항식이 거의 항상 제곱합임을 보여주며, 볼록 집합에서의 볼록 비음수 다항식에 대한 구조적 표현을 제공한다.

ABSTRACT

Abstract. We provide a specific representation of convex polynomials nonnegative on a convex (not necessarily compact) basic closed semi-algebraic set K⊂R n. Namely, we prove that almost all of them belong to a specific subset of the quadratic module generated by the concave polynomials that define K. In particular, almost all nonnegative convex polynomials are sums of squares.

연구 동기 및 목표

• 볼록 기본 닫힘 준대칭다항식집합에서 비음수인 볼록 다항식에 대한 표현 정리를 수립하기 위해.
• 그러한 집합에서 비음수인 볼록 다항식의 집합의 구조를 특성화하기 위해.
• 幾乎 모든 그러한 비음수 볼록 다항식이 집합을 정의하는 볼록 다항식으로 생성된 특정 2차 모듈러에 속한다는 것을 보여주기 위해.
• 幾乎 모든 비음수 볼록 다항식이 제곱합임을 보여주어 고전적 Positivstellensatz 결과를 볼록 설정으로 확장하기 위해.

제안 방법

• 저자들은 볼록 다항식의 구조를 볼록 기본 닫힘 준대칭다항식집합(정의하는 볼록 다항식으로 정의됨)에서 분석한다.
• 집합 K의 정의하는 볼록 다항식으로 생성된 특정 2차 모듈러를 도입한다.
• K에서 비음수인 거의 모든 볼록 다항식이 이 2차 모듈러에 속한다는 것을 증명한다.
• 증명은 다항식 아이디얼 내에서 볼록성과 비음수성의 기하학적 및 대수적 성질에 기반한다.
• ‘幾乎 모든’이라는 표현은 볼록 다항식의 공간 내에서 일반성의 개념으로 해석된다.
• 표현이 이러한 다항식이 제곱합임을 암시함을 보여준다.

실험 결과

연구 질문

• RQ1 볼록 기본 닫힘 준대칭다항식집합에서 비음수인 볼록 다항식은 특정 대수적 구조 내에 표현될 수 있는가?
• RQ2 다항식 최적화에서 볼록성, 비음수성, 제곱합 사이의 관계는 무엇인가?
• RQ3 볼록 집합을 정의하는 볼록 다항식은 비음수 볼록 다항식의 표현에 어떻게 영향을 주는가?
• RQ4 볼록 집합에서 비음수 볼록 다항식이 제곱합으로 표현될 수 있는 정도는 어느 정도인가?
• RQ5 비음수 다항식에 대한 고전적 Positivstellensatz의 볼록 해석은 존재하는가?

주요 결과

• K⊂ℝⁿ에서 비음수인 거의 모든 볼록 다항식은 K를 정의하는 볼록 다항식으로 생성된 특정 2차 모듈러에 속한다.
• 이 표현은 이러한 다항식이 거의 항상 제곱합임을 암시한다.
• 결과는 볼록 집합에서 비음수 볼록 다항식의 구조적 대수적 특성화를 제공한다.
• '幾乎 모든' 조건은 볼록 다항식의 공간 내에서 일반성의 관점에서 해석된다.
• 정리가 고전적 Positivstellensatz를 볼록 설정으로 확장하여 다항식 최적화에 새로운 도구를 제공한다.