[논문 리뷰] Ten Lectures on the Moment Problem

Konrad Schmüdgen|arXiv (Cornell University)|2020. 08. 28.

Probabilistic and Robust Engineering Design인용 수 7

한 줄 요약

이 논문은 다차원 모멘트 문제에 대한 종합적이고 강의 기반의 소개를 제공하며, 실수 대수기하학, 함수해석학, 다항식 최적화와의 연관성을 강조한다. 모멘트 함수열을 통한 representing measure의 존재 조건을 수립하고, Carleman 및 Krein 조건을 이용한 결정성의 특성화를 하며, 볼록기하학과 다항식환에서의 양성에 의한 모멘트 코너와 코어 다양체의 구조 분석을 수행한다.

ABSTRACT

These are ten lectures on the moment problem delivered by the author at the Vietnam Institute of Advanced Studies in Mathematics, Hanoi, March 2019. The first 3 lectures are about the one-dimensional full and truncated moment problem. The next 4 lectures deal with the multidimensional full moment problem with particular emphasis on the interactions with real algebraic geometry and polynomial optimization. The final 3 lectures are devoted to the truncated multidimensional moment problem and some recent developments in this area..

연구 동기 및 목표

• 연구자 및 대학원생들을 대상으로 다차원 모멘트 문제에 대한 체계적이고 접근 가능한 소개를 제공하기 위해.
• 특히 다항식의 양성과 준대수집합을 통해 모멘트 문제와 실수 대수기하학 간의 상호작용을 탐구하기 위해.
• 기능해석학적 및 해석적 조건을 이용하여 representing measure의 존재성과 유일성(결정성)을 특성화하기 위해.
• 절단된 모멘트 문제와 전체 모멘트 문제의 맥락에서 모멘트 코너와 코어 다양체의 기하학을 분석하기 위해.
• 모멘트 방법을 다항식 최적화에 적용하고, 양성 조건을 통한 타당성 및 최적성 기준을 도출하기 위해.

제안 방법

• 다항식 대수에서 선형 함수열의 적분 표현으로서 모멘트 문제를 수립한다.
• 1차원 기초 사례로 Hamburger 및 Stieltjes 모멘트 문제를 사용하고, 이를 다차원 설정으로 확장한다.
• 양성 이론을 적용: 모멘트 함수열을 비음수 선형 함수열과 국소화 함수열을 통해 특성화한다.
• 엄격한 Positivstellensatz와 반군 조건을 사용하여 컴팩트 준대수집합에서의 모멘트 문제를 해결한다.
• 모멘트 코너를 Dirac 측도의 모멘트 벡터로 생성된 볼록 코너로 간주하고, 그 이중성과 노출된 면을 연구한다.
• 하켄 행렬과 다항식의 양성을 사용하여 모멘트 코너의 내부 및 경계점의 특성화를 수행한다.

실험 결과

연구 질문

• RQ1 주어진 모멘트 수열이 representing positive Borel 측도를 갖는 조건은 무엇인가?
• RQ2 representing 측도가 유일한가(결정성)이며, 아니면 비유일한가(비결정성)인가?
• RQ3 모멘트 코너와 코어 다양체의 기하학은 절단된 모멘트 문제의 해를 특성화하는 데 어떤 역할을 하는가?
• RQ4 준대수집합에서 모멘트 문제를 해결하는 데 있어 다항식의 양성 조건(예: 반군 내에서의)은 어떤 역할을 하는가?
• RQ5 Carleman 및 Krein 조건은 1차원 및 다차원 모멘트 문제에서 결정성을 어떻게 결정하는가?

주요 결과

• Carleman의 조건은 ∑k=1∞ s2k−1−1/2 = ∞ 이면 Hamburger 모멘트 문제의 결정성을 보장한다.
• Krein의 조건은 비결정성을 위한 기준을 제공한다: 만약 ∫R log s(x) / (1 + x²) dx = −∞ 이면, 모멘트 문제는 비결정적이다.
• 모멘트 코너 S는 기저 공간 X에 속하는 x에 대해 sA(x) = (a1(x), ..., am(x)) 인 벡터들로 생성된 볼록 코너이다.
• 함수열 L이 모멘트 코너 L의 내부점이 되는 것은 N1(L) = {0} 이며, 즉 L 아래에서 0이 아닌 양수 함수가 모두 0이 되는 경우에만 성립한다.
• 코어 다양체 V(L)는 L 아래에서 모든 음수가 아닌 함수가 0이 되는 점들의 집합이며, W(L) = X 이면 L이 내부점임이 성립한다.
• 모멘트 코너 L의 노출된 면은 p ∈ E+ 에 대해 Fp = {L′ ∈ L : L′(p) = 0} 의 형태를 가지며, L이 이러한 면의 상대 내부에 있을 조건은 W(L) = V(L) 이다.