[논문 리뷰] Tractability of Multi-Parametric Euler and Wiener Integrated Processes

Mikhail Lifshits, Anargyros Papageorgiou외 1명|arXiv (Cornell University)|2011. 12. 19.

Mathematical Approximation and Integration참고 문헌 13인용 수 23

한 줄 요약

이 논문은 다중 매개변수 유진 및 빈너 통합 과정의 평균 케이스 근사에서의 접근 가능성에 대해 필수적이고 충분한 조건을 설정한다. 강한 다항 접근 가능성은 유클리드 과정의 경우 $\liminf_{k\to\infty} \frac{r_k}{\ln k} > \frac{1}{2\ln 3}$ 를 만족할 때 성립하며, 빈너 과정의 경우 $\liminf_{k\to\infty} \frac{r_k}{k^s} > 0$ 를 만족할 때 어떤 $s > \frac{1}{2}$ 에 대해 성립한다. 결과적으로 두 과정 간의 부드러움과 고유값 구조의 차이로 인해 접근 가능성 행동에 근본적인 차이가 드러난다.

ABSTRACT

We study average case approximation of Euler and Wiener integrated processes of d variables which are almost surely r_k-times continuously differentiable with respect to the k-th variable. Let n(h,d) denote the minimal number of continuous linear functionals which is needed to find an algorithm that uses n such functionals and whose average case error improves the average case error of the zero algorithm by a factor h. Strong polynomial tractability means that there are nonnegative numbers C and p such that n(h,d)< C h^{-p} for all d and 0 1/(2\ln 3), whereas it holds for the Wiener case iff liminf r_k/k^s > 0 for some s>1/2. Other types of tractability are also studied.

연구 동기 및 목표

• 다중 매개변수 유진 및 빈너 통합 과정의 다변량 근사가 평균 케이스 설정에서 어떤 조건을 만족할 때 접근 가능해지는지 규명하는 것.
• 특히 강한 다항 접근 가능성 및 기타 접근 가능성 기준 하에서 유진 과정과 빈너 과정의 접근 가능성 행동을 비교하는 것.
• 각 변수에 대한 과정의 미분 가능성 정도를 정의하는 부드러움 매개변수 $r_k$ 가 정보 복잡도 $n(\varepsilon,d)$ 에 어떤 영향을 미치는지 분석하는 것.
• 약한, 다항, 강한 다항, 준다항 접근 가능성에 대해 $\{r_k\}$ 에 대한 필요 및 충분 조건을 설정하는 것.

제안 방법

• 분석은 각각 유클리드 과정과 빈너 과정에 대해 공분산 커널 $K_d^\textrm{\tiny E}$ 와 $K_d^\textrm{\tiny W}$ 를 갖는 평균이 0인 가우시안 측도를 사용한 평균 케이스 설정에서 수행된다.
• 정보 복잡도 $n(\varepsilon,d)$ 는 제로 알고리즘의 初기 오차에서 평균 케이스 오차를 요율 $\varepsilon$ 만큼 감소시키기 위해 필요한 연속 선형 함수형의 최소 수로 정의된다.
• 연구는 특히 고유값 $\lambda_{j,r_k}^\textrm{\tiny E}$ 와 $\lambda_{j,r_k}^\textrm{\tiny W}$ 를 포함한 공분산 연산자의 스펙트럼 분석에 기반하며, $n(\varepsilon,d)$ 에 대한 경계를 도출한다.
• 핵심 부등식과 점근적 추정은 특히 $j \geq 2$ 에서 $\lambda_{j,r_k} \sim r_k^{-2}$ 인 고유값 감쇠율을 사용하여 유도된다. 또한 $k$ 에 대한 곱의 균일 수렴 결과도 활용된다.
• 증명은 다항 접근성 이론의 기준을 활용하며, 특히 $\tau \in (3/5,1)$ 과 $s > 1/2$ 에 대해 $r_k^{-2\tau}$ 와 $r_k^{-2s}$ 를 포함하는 급수의 수렴 조건을 포함한다.
• 분석은 함수 값과 선형 함수형 알고리즘 간의 알려진 관계를 활용하여, 결과가 양쪽 유형에 모두 적용 가능하도록 보장한다.

실험 결과

연구 질문

• RQ1 부드러움 매개변수 $\{r_k\}$ 에 대해 어떤 조건을 만족할 때 유클리드 통합 과정에서 강한 다항 접근 가능성이 달성되는가?
• RQ2 유진 과정과 빈너 과정 간에 강한 다항 접근 가능성에 대한 요구 조건은 어떻게 다를까?
• RQ3 부드러움 매개변수 $r_k$ 의 증가율은 두 과정의 약한 접근 가능성 결정에 어떤 역할을 하는가?
• RQ4 빈너 과정에 대해 준다항 접근 가능성은 $r_k$ 를 기반으로 어떻게 특성화할 수 있으며, 이는 유진 과정과 비교해 어떻게 다른가?
• RQ5 $\lim_{k\to\infty} r_k < \infty$ 일 때 정보 복잡도 $n(\varepsilon,d)$ 는 어떻게 되는가?

주요 결과

• 유진 과정의 강한 다항 접근 가능성은 $\liminf_{k\to\infty} \frac{r_k}{\ln k} > \frac{1}{2\ln 3}$ 일 때이고, 그 조건이 유일한 필요 및 충분 조건이다.
• 빈너 과정의 강한 다항 접근 가능성은 어떤 $s > \frac{1}{2}$ 에 대해 $\liminf_{k\to\infty} \frac{r_k}{k^s} > 0$ 일 때이고, 그 조건이 유일한 필요 및 충분 조건이다.
• 약한 접근 가능성은 두 과정 모두 $\lim_{k\to\infty} r_k = \infty$ 일 때에만 성립하며, 그 외의 경우 차원의 고통(curse of dimensionality)이 발생한다.
• 두 과정에 대한 다항 및 준다항 접근 가능성은 각각 $r_k^{-2}$ 와 $r_k^{-2\tau}$ 의 감쇠율에 대한 조건으로 특성화되며, $\tau \in (3/5,1)$ 이다.
• 만약 $\lim_{k\to\infty} r_k = r < \infty$ 이면, 모든 $\varepsilon \in (0,1)$ 에 대해 $n(\varepsilon,d)$ 는 $d$ 에 대해 지수적으로 증가하므로 차원의 고통이 발생한다.
• 결과적으로, 더 느린 고유값 감쇠율과 더 엄격한 부드러움 요구 조건으로 인해 빈너 과정은 유진 과정보다 근사가 본질적으로 더 어렵다는 것이 드러났다.