[논문 리뷰] The Marcinkiewicz-type discretization theorems for the hyperbolic cross polynomials

Vladimir Temlyakov|arXiv (Cornell University)|2017. 02. 06.

Numerical Methods and Algorithms인용 수 21

한 줄 요약

이 논문은 확률적 및 수론적 기법을 사용하여 하이퍼볼릭 크로스 삼각 다항식에 대한 마르친키에비치 유형의 이산화 정리들을 수립한다. 하이퍼볼릭 크로스 다항식의 부분공간은 치수에 비례하는 크기의 샘플링 집합을 통해 이산화가 가능하며, 점 평가를 통한 $ L_q $-노름의 균일한 제어를 달성한다. 혼합 스무딩 클래스에서 엔트로피 수와 근사 오차에 대한 명시적 상한을 제공한다.

ABSTRACT

The main goal of this paper is to study the discretization problem for the hyperbolic cross trigonometric polynomials. This important problem turns out to be very difficult. In this paper we begin a systematic study of this problem and demonstrate two different techniques -- the probabilistic and the number theoretical techniques.

연구 동기 및 목표

• 하이퍼볼릭 크로스 삼각 다항식에 대한 이산화 문제를 체계적으로 다루어, 근사 이론과 계산 수학 분야의 핵심 과제를 해결한다.
• 혼합 스무딩 함수 클래스의 맥락에서 $ L_q $-노름 이산화에 대한 마르친키에비치 유형 정리를 수립한다.
• 노름 등가성을 유지하는 샘플링 집합을 구성하기 위한 두 가지 별개의 접근법—확률적 및 수론적 방법—을 제시한다.
• 특히 하이퍼볼릭 크로스 다항식에 대해 $ L_\rho $-공간에서 엔트로피 수의 새로운 상한을 도출한다.
• 다변수 하이퍼볼릭 크로스 설정으로 기존의 최적 $ m $-항 근사 및 엔트로피 수 결과를 확장한다.

제안 방법

• 하나의 부분공간 $ X_N $ 에 대해 $ \mathcal{M}(m,q) $ 정리 프레임워크를 사용하여 이산화를 정의한다: $ f $ 에 대해 $ |f(x^\nu)|^q $ 의 정규화된 $ \ell_q $-평균이 $ \|f\|_q^q $ 와 등가가 되는 $ m $ 개의 점을 찾는다.
• 하이퍼볼릭 크로스 다항식에 대해 마르친키에비치 유형 부등식을 높은 확률로 만족하는 샘플링 집합을 구성하기 위해 확률적 기법을 적용한다.
• 수론적 구성(예: $ \nu(4\mathbf{N}) $ 기반의 구조적 격자)을 사용하여 최적의 샘플링 크기와 노름 등가성을 달성한다.
• 체비셰프 유형 함수에서 유도된 함수계인 $ \mathcal{V}^d $ 의 텐서곱 구조를 활용하여 부분합의 최대노름을 상한한다.
• 근사 오차와 엔트로피 감쇠 사이의 관계를 맺기 위해 [19] 에서 제시된 부등식을 활용하여 최적 $ m $-항 근사와 엔트로피 수의 이중성 원리를 적용한다.
• 레마 5.1 을 적용하여 부분합의 최대노름을 $ 2^{\|\mathbf{s}\|_1/2} $ 를 통해 상한화함으로써 계수의 $ \ell^1 $-노름 제어를 가능하게 한다.

실험 결과

연구 질문

• RQ1 하이퍼볼릭 크로스 삼각 다항식에 대해 치수에 비례하는 크기의 샘플링 집합을 사용하여 마르친키에비치 이산화 정리를 수립할 수 있는가?
• RQ2 하이퍼볼릭 크로스 다항식의 $ L_q $-노름을 상수에 의해 유지하는 데 최적의 샘플링 집합 크기는 얼마인가?
• RQ3 확률적 및 수론적 방법은 이러한 이산화 집합을 구성할 때 어떻게 비교되는가?
• RQ4 하이퍼볼릭 크로스 다항식 공간의 단위공간에서의 엔트로피 수는 무엇이며, 색인 $ k $ 에 따라 어떻게 감쇠하는가?
• RQ5 최적 $ m $-항 근사 상한은 $ p \geq 2 $ 인 $ L_p $-공간에서 하이퍼볼릭 크로스 다항식으로 확장될 수 있는가?

주요 결과

• 하이퍼볼릭 크로스 삼각 다항식의 부분공간 $ \mathcal{T}(Q_n) $ 은 $ m \asymp |Q_n| $ 인 경우 $ \mathcal{T}(Q_n) \in \mathcal{M}(m,q) $ 를 만족하며, $ 1 \leq q \leq \infty $ 에 대해 $ L_q $-노름에서 노름 등가성을 달성한다.
• 다음과 같이 $ d=2 $ 일 때, $ L_p $ 에서의 최적 $ m $-항 근사는 $ \sigma_m(\mathcal{V}(Q_n)_A, \mathcal{V}_n^1)_p \ll |Q_n|^{1/2 - 1/p} m^{1/p - 1} $ 를 만족하며, 고차원에서는 $ \ll n^{(d-1)/2}(|Q_n|/m)^{1-1/p} $ 으로 향상된다.
• 하이퍼볼릭 크로스 다항식 공간 $ \mathcal{T}(Q_n)_1 $ 의 단위공간에서 $ L_\infty $-노름의 엔트로피 수는 $ k \leq 2|Q_n| $ 에 대해 $ \varepsilon_k(\mathcal{T}(Q_n)_1, L_\infty) \ll n^{d/2}(|Q_n|/k)\log(4|Q_n|/k) $ 를 만족한다.
• 다음과 같이 $ k \geq 2|Q_n| $ 일 때, 엔트로피 수는 지수적으로 감쇠한다: $ \varepsilon_k(\mathcal{T}(Q_n)_1, L_\infty) \ll n^{d/2} 2^{-k/(2|Q_n|)} $.
• 부분합 $ \sum_{\mathbf{k} \in \rho^+(\mathbf{s})} a_\mathbf{k} v_\mathbf{k} $ 의 최대노름은 $ C(d,\kappa,\delta) 2^{\|\mathbf{s}\|_1/2} \max |a_\mathbf{k}| $ 로 상한화될 수 있으며, 이는 $ \ell^1 $-노름의 제어를 가능하게 한다.
• 기존의 정규 격자에서의 $ L_2 $-노름 이산화 결과를 하이퍼볼릭 크로스 다항식을 통해 $ L_q $-노름 및 혼합 스무딩 클래스에서의 엔트로피 추정으로 확장한다.