[논문 리뷰] On optimal recovery in $L_2$

Vladimir Temlyakov|arXiv (Cornell University)|2020. 10. 07.

Mathematical Approximation and Integration참고 문헌 17인용 수 6

한 줄 요약

이 논문은 유한차원 부분공간에서의 최근 $L_2$ 이산화 결과를 활용하여, $L_2$ 노름에서 최적 복구 오차의 상한이 균일 노름에서의 콜모고로프 폭에 의해 둘러싸임을 보여주는 기본 부등식을 수립한다. 주요 기여는 복구 오차와 균일 노름 폭 사이를 연결하는 일반적 상한을 제시함으로써, 가중치가 부여된 최소 제곱 알고리즘을 통해 혼합 스무스함 수준을 갖는 함수 클래스에 대해 강력한 오차 추정을 가능하게 한다.

ABSTRACT

We prove that the optimal error of recovery in the $L_2$ norm of functions from a class $\bF$ can be bounded above by the value of the Kolmogorov width of $\bF$ in the uniform norm. We demonstrate on a number of examples of $\bF$ from classes of functions with mixed smoothness that the obtained inequality provides a powerful tool for estimating errors of optimal recovery.

연구 동기 및 목표

• 최적 복구 오차의 일반적 상한을 $L_2$에서 균일 노름에서의 콜모고로프 폭을 사용하여 수립하기.
• 가중치가 부여된 최소 제곱 알고리즘의 $L_2$ 복구에서의 효과성을 입증하기.
• 주요 부등식을 혼합 스무스함 수준을 갖는 함수 클래스에 적용하여 구체적인 오차 추정을 제공하기.
• 복구 오차 상한과 유한차원 부분공간에서의 $L_2$ 이론적 깊은 이산화 결과를 연결하기.

제안 방법

• 최근의 결과들 [16], [7], [12]에 기반하여 유한차원 부분공간에서의 $L_2$ 노름 이산화를 가중치가 부여된 샘플링을 통해 수행한다.
• 샘플링 오차의 가중치가 부여된 $\ell_p$-노름을 최소화하는 가중치가 부여된 최소 제곱 알고리즘 $\ell p\mathbf{w}(\xi)$를 적용한다.
• Chebyshev 사영 $P_{X_N,p}(f)$를 $L_p$-노름에서의 최적 근사화 연산자로 활용한다.
• 절대 상수를 포함하는 핵심 부등식을 통해 복구 오차 $\varrho_{m}(\mathbf{F},L_2)$와 콜모고로프 폭 $d_n(\mathbf{F},L_\infty)$ 사이의 연결 고리를 수립한다.
• 균일 샘플링 이산화를 보장하기 위해 정규직교 체계에 대한 조건 E(t)에 의존한다.
• 균일 가중치를 사용한 이산화에 관한 정리 4.2를 활용하여 고전적 최소 제곱 알고리즘에 대한 주요 결과의 변형을 유도한다.

실험 결과

연구 질문

• RQ1 최적 복구 오차가 $L_2$에서 균일 노름에서의 콜모고로프 폭을 사용하여 둘러싸일 수 있는가?
• RQ2 가중치가 부여된 최소 제곱 알고리즘이 $L_2$ 복구의 오차 상한 측면에서 어떻게 성능을 발휘하는가?
• RQ3 이산화 결과는 $L_2$ 복구와 균일 노름 폭 사이의 연결 고리에서 어떤 역할을 하는가?
• RQ4 주요 부등식은 $p \neq 2$인 $L_p$ 노름으로 확장될 수 있는가?
• RQ5 이 결과는 혼합 스무스함 수준을 갖는 함수 클래스에 대해 어떤 함의를 갖는가?

주요 결과

• 최적 복구 오차는 $\varrho_{bn}(\mathbf{F},L_2) \leq B d_n(\mathbf{F},L_\infty)$를 만족하며, 이는 절대 상수 $b, B > 0$에 대해 $L_2$ 복구와 균일 노름 폭을 연결한다.
• 이 결과는 혼합 스무스함 수준을 갖는 함수 클래스에서 복구 오차를 추정하는 강력한 도구를 제공한다.
• 균일 가중치를 사용한 고전적 최소 제곱 알고리즘의 경우, 조건 E(t) 하에서 $\varrho_{bn}^{ls}(\mathbf{F},L_2) \leq B d_n^{E(t)}(\mathbf{F},L_\infty)$의 상한이 성립한다.
• 정리 4.1의 이산화 결과는 $1 \leq p \leq 2$에 대해 $L_p$로 확장 가능하지만, $p > 2$에 대한 유사한 결과는 알려져 있지 않다.
• 이 부등식은 알려진 $L_\infty$에서의 복구 속도의 순서를 정확히 반영하므로 날카로운 것으로 간주된다.
• 이 방법은 임의의 컴acts, 중심 대칭 함수 클래스에 대해 강건하며, $\mathcal{C}(\Omega)$ 내에서 적용 가능하다.