[논문 리뷰] From van der Corput to modern constructions of sequences for quasi-Monte Carlo rules

Henri Faure, Peter Kritzer외 1명|arXiv (Cornell University)|2015. 06. 11.

Mathematical Approximation and Integration참고 문헌 147인용 수 44

한 줄 요약

이 논문은 1935년 반 데르 코플루트의 기초적인 시퀀스에서 현대의 준몬테카를로(QMC) 구성으로의 진화를 조망하며, 디지털 $(t,s)$-시퀀스와 그 일반화에 중점을 두고 있다. 고차수 시퀀스에 대해 $L_p$-불일치도의 최적 경계 $(\log N)^{s/2}/N$를 확립하여, 부드러운 함수에 대한 수치 적분에서의 우수성을 입증한다.

ABSTRACT

In 1935 J.G. van der Corput introduced a sequence which has excellent uniform distribution properties modulo 1. This sequence is based on a very simple digital construction scheme with respect to the binary digit expansion. Nowadays the van der Corput sequence, as it was named later, is the prototype of many uniformly distributed sequences, also in the multi-dimensional case. Such sequences are required as sample nodes in quasi-Monte Carlo algorithms, which are deterministic variants of Monte Carlo rules for numerical integration. Since its introduction many people have studied the van der Corput sequence and generalizations thereof. This led to a huge number of results. On the occasion of the 125th birthday of J.G. van der Corput we survey many interesting results on van der Corput sequences and their generalizations. In this way we move from van der Corput's ideas to the most modern constructions of sequences for quasi-Monte Carlo rules, such as, e.g., generalized Halton sequences or Niederreiter's $(t,s)$-sequences.

연구 동기 및 목표

• 반 데르 코플루트의 이진 시퀀스에서 현대 QMC 시퀀스로의 수학적 유산을 추적하기 위해.
• 일반화된 반 데르 코플루트 및 관련 시퀀스의 균일 분포 성질과 불일치도 경계를 분석하기 위해.
• 디지털 $(t,s)$-시퀀스, 특히 고차수 시퀀스에 대해 최적의 $L_p$-불일치도 경계를 확립하기 위해.
• 코크스마-플라우카 부등식을 통해 이론적 불일치도 결과와 준몬테카를로 적분 오차를 연결하기 위해.
• 현대 QMC 응용을 위한 주요 구성, 즉 $(t,s)$-시퀀스, 할턴, 하머슬리, 니더레잇어 시퀀스에 대한 종합적인 개요 제공.

제안 방법

• 기수 $b$ 에서의 자릿수 역전을 통해 반 데르 코플루트 시퀀스를 분석하고, 이진 전개를 사용하여 $[0,1)$ 내에 균일하게 분포된 점을 생성한다.
• 별도의 불일치도 $D_N^*$ 와 $L_p$-불일치도 $L_{p,N}$ 를 포함한 불일치도 이론 프레임워크를 적용하여 균일성 평가.
• 바나흐-카쿠타니 변환과 유계 잔여 집합을 사용하여 시퀀스의 분포 성질을 연구한다.
• 기초 내림법을 사용하여 일반화된 반 데르 코플루트 시퀀스의 불일치도 경계를 유도한다.
• 아타나소프의 방법과 그 개선을 적용하여 $(t,s)$-시퀀스에 대한 점근적이지 않은 불일치도 경계를 도출한다.
• 디지털 넷과 교차 기법을 사용하여 고차수 시퀀스를 구성함으로써 최적의 $L_p$-불일치도 비율을 달성한다.

실험 결과

연구 질문

• RQ1 원래 반 데르 코플루트 시퀀스의 분포 성질이 고차원 및 다른 기수로 일반화될 수 있는가?
• RQ2 현대 $(t,s)$-시퀀스의 최적 불일치도 경계는 무엇이며, 특히 $L_p$ 기준에서 어떻게 되는가?
• RQ3 고차수 시퀀스는 고차원에서 $L_p$-불일치도의 이론적 하한선에 도달할 수 있는가?
• RQ4 일반화된 니더레잇어 시퀀스와 할턴 시퀀스는 불일치도 및 적분 성능 측면에서 어떻게 비교되는가?
• RQ5 $t$-값과 자릿수 스트레칭이 준몬테카를로 방법에서 적분 오차를 최소화하는 데 어떤 역할을 하는가?

주요 결과

• 디지털 $(t,s)$-시퀀스의 $L_p$-불일치도는 $O_{s,p}((\log N)^{s/2}/N)$ 로 경계될 수 있으며, 이는 상수의 상한까지 알려진 하한선과 일치한다.
• 정리 56은 $\mathbb{F}_2$ 위에 구성된 고차수 시퀀스가 모든 $p \in [1,\infty)$ 에 대해 최적의 $L_p$-불일치도를 달성함을 증명한다.
• 정리 53–55에서는 $(t,s)$-시퀀스에 대해 향상된 점근적이지 않은 불일치도 경계를 도출하였으며, $N$, $b$, $t$ 에 대한 명시적 의존성을 포함한다.
• 일반화된 니더레잇어 시퀀스가 $(0,\mathbf{e},s)$-시퀀스임을 입증하여 다항식 차수 $e_j$ 를 통한 더 날카운 불일치도 추정이 가능함을 보였다.
• 정리 55의 일반화된 니더레잇어 시퀀스에 대한 경계에는 다항식의 기약성과 차수의 영향을 반영한 $\frac{b^{e_j}-1}{2e_j}$ 항이 포함되어 있다.
• 수치 실험 결과, 정리 53 및 54의 경계가 유한 표본 영역에서 정리 52의 경계를 능가하는 것으로 나타났으며, 특히 중간 크기의 $N$ 에서 두드러진다.