[논문 리뷰] The Truncated Moment Problem on N 0

Maria Infusino, T. Kuna외 2명|arXiv (Cornell University)|2015. 01. 01.

Numerical Methods and Algorithms참고 문헌 15인용 수 5

한 줄 요약

이 논문은 주어진 유한한 첫 n차 순서모멘트를 가진 비음수 정수 집합 N₀ 위의 확률측도의 존재에 대한 필요조건과 충분조건을 확립한다. 주어진 모멘트를 매개변수로 사용하여 N₀ 위에서 음이 아닌 최적의 차수 n 다항식을 구성하고, 그 다항식의 음이 아닌 기대값을 요구함으로써, 기존의 n = 1, 2 및 부분적으로 n = 3의 결과를 일반화한다. n ≤ 5에 대해서는 명시적인 실현 가능성 조건을 제공하고, n ≥ 6에 대해서는 유한하게 계산 가능한 형태를 제시하며, 실현 가능성을 보장하는 모멘트 기반의 경계도 제시한다.

ABSTRACT

We find necessary and sufficient conditions for the existence of a probability measure on N0, the nonnegative integers, whose first n moments are a given n-tuple of nonnegative real numbers. The results, based on finding an optimal polynomial of degree n which is nonnegative on N0 (and which depends on the moments), and requiring that its expectation be nonnegative, generalize previous results known for n = 1, n = 2 (the Percus-Yamada condition), and partially for n = 3. The conditions for realizability are given explicitly for n ≤ 5 and in a finitely computable form for n ≥ 6. We also find, for all n, explicit bounds, in terms of the moments, whose satisfaction is enough to guarantee realizability. Analogous results are given for the truncated moment problem on an infinite discrete semi-bounded subset of R.

연구 동기 및 목표

• 주어진 유한한 첫 n개의 순서모멘트를 갖는 확률측도가 N₀ 위에 존재하기 위한 필요조건과 충분조건을 규명하는 것.
• n = 1(Percus-Yamada) 및 n = 2에 대한 알려진 결과를 일반화하여 임의의 n ≥ 3로 확장하는 것.
• n ≤ 5에 대해 명시적인 실현 가능성 조건을 제공하고, n ≥ 6에 대해 유한하게 계산 가능한 형태를 제시하는 것.
• 모든 n에 대해 실현 가능성을 보장하는 모멘트 기반의 명시적 경계를 도출하는 것.
• 실현 가능성이 보장되는 무한한 이산적이고 반무한한 부분집합 R 위의 절단된 모멘트 문제로의 프레임워크 확장

제안 방법

• 주어진 모멘트를 매개변수로 사용하여 N₀ 위에서 음이 아닌 최적의 차수 n 다항식을 구성하는 것.
• 모르는 측도 아래에서 이 다항식의 기대값이 음이 아니라는 조건을 요구함으로써, 모멘트 부등식의 체계를 도출하는 것.
• N₀ 위에서 다항식의 음이 아닌 성질에서 유도된 모멘트에 대한 선형 부등식으로서 실현 가능성 조건을 설정하는 것.
• 대수 기법을 사용하여 최적의 다항식과 그 기대값을 특성화하고, 문제를 유한한 체계의 타당성 문제로 환원하는 것.
• 최적의 다항식의 구조를 분석함으로써 실현 가능성을 보장하는 모멘트에 대한 명시적 경계를 도출하는 것.
• 유사한 다항식의 음이 아닌 성질과 모멘트 제약 조건을 사용하여 실현 가능성을 보장하는 반무한한 부분집합 R 위의 이산적 부분집합으로 방법을 확장하는 것.

실험 결과

연구 질문

• RQ1 주어진 비음수 실수의 n-튜플이 N₀ 위의 확률측도의 첫 n개의 모멘트가 되기 위한 필요조건과 충분조건은 무엇인가?
• RQ2 특히 n ≤ 5일 때, 실현 가능성 조건을 어떻게 명시적으로 표현할 수 있는가?
• RQ3 N₀ 위에서 음이 아닌 최적의 차수 n 다항식의 구조는 무엇이며, 이는 가장 날카로운 실현 가능성 조건을 도출하는가?
• RQ4 해당 부등식 체계를 풀지 않더라도, 모멘트에 대한 명시적 경계로 실현 가능성을 보장할 수 있는가?
• RQ5 이 방법은 무한한 이산적이고 반무한한 부분집합 R 위의 절단된 모멘트 문제로 어떻게 일반화할 수 있는가?

주요 결과

• 논문은 n ≤ 5일 때, 최적의 차수 n 다항식의 음이 아닌 성질에서 유도된 명시적인 실현 가능성 조건을 제공한다.
• n ≥ 6일 때, 실현 가능성 조건은 유한하게 계산 가능한 형태로 제시되어 알고리즘적 검증이 가능하다.
• 저자들은 주어진 모멘트로 표현된 명시적 모멘트 경계를 도출하여, N₀ 위에 해당 확률측도가 존재함을 보장한다.
• 이 방법은 n = 2일 때의 Percus-Yamada 조건을 일반화하고, n = 3에 대한 부분적인 결과를 임의의 n으로 확장한다.
• 프레임워크는 유사한 실현 가능성 조건과 경계를 갖는 무한한 이산적 반무한 부분집합 R로 확장된다.
• 최적의 다항식 구성은 N₀ 위에서 다항식의 음이 아닌 성질에서 도출되는 가장 날카로운 실현 가능성 조건을 보장한다.