[논문 리뷰] Sampling discretization of integral norms

Feng Dai, Andriy Prymak외 3명|arXiv (Cornell University)|2020. 01. 25.

Mathematical functions and polynomials참고 문헌 15인용 수 10

한 줄 요약

이 논문은 $L_q$ 노름의 샘플링 이산화를 위한 조건부 정리를 수립한다. $1 \leq q < \infty$ 에서는 새로운 조합의 확률적 방법과 균일 노름에서의 엔트로피 수 추정을 사용한다. 이 프레임워크를 활용하여 다변수 삼각 다항식의 이산화에 대한 마르친키에비치 유형의 이론을 유도한다. 주파수들이 하이퍼볼릭 크로스에 속할 경우, 최적의 샘플 크기 스케일링 $m \lesssim |Q_n|n^3$ 을 달성한다. 이는 $1 \leq q \leq 2$ 에서 성립하며, 이는 이전의 결과보다 개선된 것으로, 이전 연구에서의 정확도 결함도 수정한다.

ABSTRACT

The paper is devoted to discretization of integral norms of functions from a given finite dimensional subspace. Even though this problem is extremely important in applications, its systematic study has begun recently. In this paper we obtain a conditional theorem for all integral norms $L_q$, $1\le q

연구 동기 및 목표

• $1 \leq q < \infty$ 에서 $L_q$ 노름의 샘플링 이산화를 위한 일반적인 조건부 프레임워크를 개발하여, $q=1$ 에서의 알려진 결과를 초월한다.
• 유한 차원 부분공간에서 적분 노름을 유한한 점 집합에서의 함수 값으로 이산화하는 데 도전하는 문제를 다룬다.
• 주파수들이 하이퍼볼릭 크로스에 속하는 다변수 삼각 다항식의 이산화에 대해 최적의 샘플 크기 범위를 확립한다.
• 특히 샘플 크기가 부분적으로 최적화되지 않거나 기술적 결함이 있는 이전 연구 결과를 수정하고 개선한다.

제안 방법

• 균일 노름에서의 엔트로피 수와 확률적 기법에 기반한 조건부 이산화 정리를 도입한다.
• 삼각 다항식 클래스의 $L_\infty$ 노름에서의 엔트로피 수 추정을 사용하여 샘플링 오차를 통제한다.
• 기존의 [1] 및 [16]에서의 엔트로피 추정을 활용하여 조건부 정리를 하이퍼볼릭 크로스 삼각 다항식 공간 $\mathcal{T}(Q_n)$ 에 적용한다.
• $1 \leq q \leq 2$ 에서 $m \lesssim |Q_n|n^3$ 의 명시적 샘플 크기를 갖는 마르친키에비치 유형의 정리를 유도하며, $\|f\|_q^q \lesssim \frac{1}{m}\sum |f(\xi^j)|^q \lesssim \|f\|_q^q$ 를 보장한다.
• 조건부 정리와 엔트로피 수 추정 $\varepsilon_k(\mathcal{T}(Q_n)_q, L_\infty) \lesssim n^{1/q} \max(|Q_n|/k, 2^{-k/(2|Q_n|)})$ 를 조합하여 최적의 샘플 복잡도를 달성한다.
• 구축된 샘플링 계획 하에서 고려된 모든 $f \in \mathcal{T}(Q_n)$ 에 대해 고려된 이산화가 높은 확률로 균일하게 성립함을 보여 이론을 검증한다.

실험 결과

연구 질문

• RQ1 $1 < q < \infty$ 에서 $L_q$ 샘플링 이산화를 위한 일반적인 조건부 정리를 $q=1$ 에서의 알려진 결과를 초월하여 수립할 수 있는가?
• RQ2 특히 하이퍼볼릭 크로스 주파수를 갖는 삼각 다항식의 경우, $L_q$ 노름을 이산화하기 위해 필요한 최적의 샘플 크기 $m$ 은 무엇인가?
• RQ3 균일 노름에서의 엔트로피 수는 $L_q$ 노름의 샘플링 이산화 품질에 어떤 영향을 미치는가?
• RQ4 이전 연구에서 보고한 바와 같이 $m \lesssim |Q_n|n^4$ 보다 샘플 크기 범위를 개선할 수 있는가?
• RQ5 $L_\infty$ 경우의 샘플링 이산화의 한계는 무엇이며, 이는 $L_q$ ($q < \infty$) 경우와 어떻게 다를까?

주요 결과

• $1 \leq q < \infty$ 에서 $L_q$ 샘플링 이산화를 위한 조건부 정리가 수립되었으며, 이는 이전의 $q=1$ 결과를 일반화한다.
• 하이퍼볼릭 크로스 삼각 다항식의 $L_q$ 노름에 대해 $1 \leq q \leq 2$ 에서 $m \lesssim |Q_n|n^3$ 의 샘플 크기 범위를 달성한다. 이는 벨린스키 [1]에서 보고한 $m \lesssim |Q_n|n^4$ 보다 개선된 결과이다.
• 이전 연구에서 발견된 기술적 오류, 특히 샘플 크기 범위 유도 과정에서의 오류를 수정한다.
• 엔트로피 수 추정 $\varepsilon_k(\mathcal{T}(Q_n)_q, L_\infty) \lesssim n^{1/q} \max(|Q_n|/k, 2^{-k/(2|Q_n|)})$ 이 개선된 샘플 복잡도 달성에 핵심적인 역할을 한다.
• $q=2$ 의 경우, 최적의 상수를 갖는 기존 결과를 재현하며, 기존 문헌과의 일관성을 입증한다.
• $L_\infty$ 경우는 본질적으로 다르며, $c>0$ 에 대해 $m \gg |Q_n|^{1+c}$ 의 초선형 하한이 존재함을 보여, 이산화 복잡도에서 급격한 전이가 일어남을 시사한다.