[논문 리뷰] Optimal $\mathcal{L}_2$ discrepancy bounds for higher order digital sequences over the finite field $\mathbb{F}_2$

Josef Dick, Friedrich Pillichshammer|arXiv (Cornell University)|2012. 07. 21.

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

한 줄 요약

이 논문은 유한체 𝔽₂ 위에서 고차수 디지털 순서열의 명시적 구성법을 제시하며, 무한 순서열과 유한 점 집합 모두에 대해 최적의 𝒪(N⁻¹(log N)^(s/2)) 𝒪(N⁻¹(log N)^{(s-1)/2}) 이심도 한계를 달성한다. 이는 기존에 알려진 하한값과 일치한다. 결과는 디지털 넷 이론, 교차 기법, 월리쉬 공간 내 지수합의 정밀한 분석을 통해 도출되었으며, 임의의 차원 s에서 𝒪₂ 이심도에 대해 최상의 수렴 속도를 달성하는 최초의 명시적 구성법을 확립한다.

ABSTRACT

We show that the $\mathcal{L}_2$ discrepancy of the explicitly constructed infinite sequences of points $(\boldsymbol{x}_0,\boldsymbol{x}_1, \boldsymbol{x}_2,...)$ in $[0,1)^s$ over $\mathbb{F}_2$ introduced in [J. Dick, Walsh spaces containing smooth functions and quasi-Monte Carlo rules of arbitrary high order. SIAM J. Numer. Anal., {\bf 46}, 1519--1553, 2008] satisfy $$\mathcal{L}_{2,N}(\{\boldsymbol{x}_0,\boldsymbol{x}_1,..., \boldsymbol{x}_{N-1}\}) \le C_s N^{-1} (\log N)^{s/2} \quad {for all} N \ge 2,$$ and $$\mathcal{L}_{2,2^m}(\{\boldsymbol{x}_0,\boldsymbol{x}_1,..., \boldsymbol{x}_{2^m-1}\}) \le C_s 2^{-m} m^{(s-1)/2} \quad {for all} m \ge 1,$$ where $C_s > 0$ is a constant independent of $N$ and $m$. These results are best possible by lower bounds in [P.D. Proinov, On the $L^2$ discrepancy of some infinite sequences. Serdica, {\bf 11}, 3--12, 1985] and [K. F. Roth, On irregularities of distribution. Mathematika, {\bf 1}, 73--79, 1954]. Further, for every $N \ge 2$ we explicitly construct finite point sets $\{\boldsymbol{y}_0,..., \boldsymbol{y}_{N-1}\}$ in $[0,1)^s$ such that $$\mathcal{L}_{2,N}(\{\boldsymbol{y}_0,\boldsymbol{y}_1,..., \boldsymbol{y}_{N-1}\}) \le C_s N^{-1} (\log N)^{(s-1)/2}.$$ Another solution for finite point sets by a different construction was previously shown in [W. W. L. Chen and M. M. Skriganov, Explicit constructions in the classical mean squares problem in irregularity of point distribution. J. Reine Angew. Math., {\bf 545}, 67--95, 2002].

연구 동기 및 목표

• 고차원에서 최적의 𝒪₂ 이심도를 갖는 점 집합의 존재 증명과 명시적 구성 사이의 오랜 기간 지속된 격차를 메우기 위해.
• 이전에 추측된 𝒪₂ 이심도의 최적 주기 수준이 명시적이고 구성 가능한 순서열을 통해 달성 가능함을 증명하기 위해.
• 디지털 넷 및 순서열 이론을 확장하기 위해, 𝔽₂ 위에서 최상의 이심도 한계를 달성하는 고차수 디지털 순서열을 구성하기 위해.
• 로스(1954)와 프로인وف(1985)가 확립한 하한값과 일치하는 구조적 증명을 제공하여, 무한 순서열에 대해 (log N)^{s/2}/N, 유한 집합에 대해 (log N)^{(s-1)/2}/N 의 수렴 속도가 최적임을 확인하기 위해.

제안 방법

• 월리쉬 공간 성질을 바탕으로 유도된 명시적 생성 행렬을 사용하여 𝔽₂ 위에서의 무한 고차수 디지털 순서열을 구성하기 위해.
• 하나의 디지털 순서열을 더 높은 차수의 디지털 넷으로 향상시키기 위해 디지트 교차 구성 기법을 적용하여 이심도 성질을 향상시키기 위해.
• 파르세발 항등식과 정규직교관계를 활용하여 월리쉬 공간 내 지수합 추정을 통해 𝒪₂ 이심도를 근사하기 위해.
• 디지털 넷과 그 이중성의 구조를 활용하여 국소 이심도 함수의 L² 노름을 통해 이심도를 분석하기 위해.
• 이심도 한계를 이진 간격과 지수합의 합으로 환원한 후, 계수의 감쇠 성질을 이용하여 추정하기 위해.
• 첸과 스카리아노프(2002)의 기법을 수정하여 유한 점 집합에 적용하고, 스케일링과 절단을 통해 임의의 N에 대한 한계를 유도하기 위해.

실험 결과

연구 질문

• RQ1 임의의 N ≥ 2 및 s ≥ 1 에 대해, [0,1)^s 내에서 점 집합의 명시적 구성법이 최적의 𝒪₂ 이심도 속도 (log N)^{(s-1)/2}/N 를 달성할 수 있는가?
• RQ2 𝔽₂ 위의 고차수 디지털 순서열이 무한 순서열에 대해 최상의 𝒪₂ 이심도 한계인 순서 (log N)^{s/2}/N 을 달성할 수 있는가? 이는 프로인옵 하한값과 일치하는가?
• RQ3 𝔽₂ 위에서 결정적이고 명시적인 방법을 사용하여 유한 점 집합의 𝒪₂ 이심도를 O(N⁻¹(log N)^{(s-1)/2}) 수준으로 유도할 수 있는가?
• RQ4 단일 구성법을 사용하여, 2의 거듭제곱이 아닌 모든 N에 대해 고차수 디지털 순서열의 이심도를 균일하게 유한하게 제한할 수 있는가?
• RQ5 구성된 순서열이 무한 순서열과 유한 점 집합에 대해 모두 알려진 하한값과 일치하는가? 이는 최적성의 확인을 위한가?

주요 결과

• 구성된 무한 순서열의 𝒪₂ 이심도는 모든 N ≥ 2 에 대해 𝒪₂,N ≤ C_s N⁻¹ (log N)^{s/2} 를 만족하며, 이는 프로인옵 하한값과 일치한다.
• 이진 길이 N = 2^m 에 대해 이심도 한계는 𝒪₂,2^m ≤ C_s 2^{-m} m^{(s-1)/2} 로 향상되며, 이는 이진 경우의 최적성 확인을 위한 것이다.
• 모든 N ≥ 2 에 대해, 크기가 N인 명시적 유한 점 집합이 구성되며, 𝒪₂,N ≤ C_s N⁻¹ (log N)^{(s-1)/2} 를 만족하여 최고의 알려진 수렴 속도를 달성한다.
• 구성법은 디지트 교차 및 𝔽₂ 위의 고차수 디지털 넷 성질을 활용하여 균일 분포와 최적의 이심도를 보장한다.
• 결과적으로, 𝒪₂ 이심도에 대한 추측된 최적 수렴 속도가 명시적이고 결정적인 구성법을 통해 달성 가능함을 확인한다.
• 분석을 통해 이심도 한계가 차원에 따라 변하는 상수를 제외하고는 엄밀하게 타이트하며, 로스와 프로인옵의 알려진 하한값과 일치함을 입증한다.