[논문 리뷰] Best finite constrained approximations of one-dimensional probabilities

Chuang Xu, Arno Berger|arXiv (Cornell University)|2017. 04. 25.

Mathematical Approximation and Integration참고 문헌 27인용 수 7

한 줄 요약

이 논문은 $L^r$-Kantorovich 거리 기준으로 일차원 확률측도의 최적 유한 제약 근사에 대해 필요하고 충분한 최적성 조건을 수립한다. 원소 위치 또는 무게가 사전에 정해진 경우를 중심으로 다루며, 단조 함수의 단계함수에 의한 근사 기반으로 새로운 간단한 접근법을 제시한다. 이는 균일 근사(등가중치)의 특성과 정확한 수렴 속도 분석을 가능하게 하며, 역Cantor 측도와 같은 특이 측도의 경우에도 적용 가능하다.

ABSTRACT

This paper studies best finitely supported approximations of one-dimensional probability measures with respect to the $L^r$-Kantorovich (or transport) distance, where either the locations or the weights of the approximations' atoms are prescribed. Necessary and sufficient optimality conditions are established, and the rate of convergence (as the number of atoms goes to infinity) is discussed. In view of emerging mathematical and statistical applications, special attention is given to the case of best uniform approximations (i.e., all atoms having equal weight). The approach developed in this paper is elementary; it is based on best approximations of (monotone) $L^r$-functions by step functions, and thus different from, yet naturally complementary to, the classical Voronoi partition approach.

연구 동기 및 목표

• 원소 위치 또는 무게가 제약 조건으로 주어질 때, 일차원 확률측도에 대한 최적 유한 지지 측도 근사의 체계적 이론을 개발하는 것.
• 대상 측도의 절대연속성 또는 자기유사성 가정 없이도 이러한 근사에 대한 필요하고 충분한 최적성 조건을 제공하는 것.
• 원소 수가 증가함에 따라 균일 근사(등가중치)의 $L^r$-Kantorovich 거리의 수렴 속도를 분석하는 것.
• 기존의 Voronoi 분할 기법을 피하는 이중성 기반의 방법을 수립하여, 특히 무게가 고정된 경우에 효과적으로 작용하는 것.
• 순수하게 원소로 이루어진 측도의 경우, 조건부 모멘트 조건이 만족되더라도 수렴 속도가 임의로 느릴 수 있음을 보여주는 것.

제안 방법

• 최대 $n$개의 원소를 가진 이산 측도 $\nu$에 대해 $L^r$-Kantorovich 거리 $d_r(\nu, \mu)$를 최소화하는 근사 문제로 공식화한다.
• 단조 $L^r$-함수의 성질을 이용해 원소 위치와 무게 간의 이중성에 기반해 최적성 조건을 유도한다.
• 제약 조건이 있는 근사 문제를 단조 함수의 단계함수에 의한 최적 근사로 환원한다.
• 단조 함수와 적분의 기본 분석을 적용하여 최소화자를 특성화하며, 특히 등가중치의 경우에 초점을 맞춘다.
• 예를 들어 역Cantor 측도와 같은 구체적 예를 구성하여, 고전적 자기유사 설정을 초월한 수렴 속도 분석을 수행한다.
• 미적분 기반의 구성 기법을 통해 주어진 영향이 없는 수열 $a_n$에 대해 $d_r(\delta_\bullet^{\bullet,n}, \mu) \geq a_n$을 만족하는 측도 $\mu$를 구성함으로써, 수렴 속도가 임의로 느릴 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 원소 위치 또는 무게가 고정된 경우, 주어진 일차원 확률측도에 대한 최적 $L^r$-Kantorovich 근사가 되기 위한 필요 및 충분 조건은 무엇인가?
• RQ2 원소 수 $n \to \infty$일 때, 균일 근사(등가중치)의 $L^r$-Kantorovich 거리의 수렴 속도는 어떻게 행동하는가?
• RQ3 유한한 $r$-차 모멘트 조건이 만족되더라도, 최적 근사의 수렴 속도가 임의로 느릴 수 있는가?
• RQ4 단조 함수 근사 기반의 제안된 방법은 무게가 제약 조건이 있을 때 기존의 Voronoi 분할 기법과 비교해 어떻게 다를까?
• RQ5 역Cantor 측도와 같은 특이 측도에 대해 $d_r(\delta_\bullet^{\bullet,n}, \mu)$의 점근적 행동은 어떠한가?

주요 결과

• 모든 $r \geq 1$과 수렴하는 수열 $a_n \to 0$에 대해, $d_r(\delta_\bullet^{\bullet,n}, \mu) \geq a_n$을 모든 $n$에 대해 만족하는 확률측도 $\mu \in \mathcal{P}_r$가 존재함을 보여, 수렴 속도가 임의로 느릴 수 있음을 입증한다.
• 역Cantor 측도의 경우, 점근적 수렴 속도는 $\liminf_{n\to\infty} n^{\beta_r} d_r(\delta_\bullet^{\bullet,n}, \mu) > 0$ 및 $\limsup_{n\to\infty} n^{\beta_r} d_r(\delta_\bullet^{\bullet,n}, \mu) < \infty$ 를 만족하며, $\beta_r = (1 - \frac{1}{r}) + \frac{1}{r} \frac{\log 3}{\log 2}$ 이다. 이는 $D_r(\mu) = \beta_r^{-1} \in [\frac{\log 2}{\log 3}, 1)$ 임을 의미한다.
• 균일 근사 $\delta_\bullet^{\mathbf{u}_n}$ 는 위치와 무게 간의 이중성에 기반한 최적성 조건으로 특성화되며, 일반적으로 제약 조건이 없는 최소화자 $\delta_\bullet^{\bullet,n}$ 과는 다를 수 있다.
• 논문의 방법은 Voronoi 분할을 피하고, 단조 $L^r$-함수의 단계함수에 의한 근사를 통해 제약 조건이 있는 경우에 더 직접적이고 기본적인 접근법을 제공한다.
• 비특이 측도의 경우, 기존 결과인 $n d_r(\delta_\bullet^{\bullet,n}, \mu)$ 가 미약한 모멘트 조건 하에서 양의 극한으로 수렴한다는 것은 그대로 유지되지만, 특이하거나 원소로 이루어진 측도의 경우 수렴 속도는 더 느릴 수 있다.
• 논문은 역Cantor 측도의 점근적 수렴 속도 $D_r(\mu)$ 가 $r$ 에 따라 달라짐을 입증하며, 자기유사 케이스와 달리 비자기유사 설정에서는 더 풍부한 의존성이 있음을 보여준다.