[논문 리뷰] On the lower bound of the discrepancy of $(t,s)$ sequences: II

Mordechay B. Levin|arXiv (Cornell University)|2015. 05. 19.

Mathematical Approximation and Integration참고 문헌 4인용 수 7

한 줄 요약

이 논문은 $(t,s)$ 순열의 이질성에 대한 날카운 하한을 확립하며, 나이더레일러-싱의 순열 및 유사 구조에 대해 모든 이동 벡터 $\mathbf{w} \in [0,1)^s$에 대해 $N D^* \leq K m^s$가 성립함을 증명한다. 여기서 $m = \log_b N$이다. 이 결과는 이질성에 대한 기존의 $O(\ln^s N)$ 상한 bound가 최적임을 확인하며, 고차원 준몬테카를로 방법에서 최소한의 이질성 증가율에 대한 오랫동안 제기된 추측을 뒷받침한다.

ABSTRACT

Let $ (\bx(n))_{n \geq 1} $ be an $s-$dimensional Niederreiter-Xing sequence in base $b$. Let $D((\bx(n))_{n = 1}^{N})$ be the discrepancy of the sequence $ (\bx(n))_{n = 1}^{N} $. It is known that $N D((\bx(n))_{n = 1}^{N}) =O(\ln^s N)$ as $N o \infty $. In this paper, we prove that this estimate is exact. Namely, there exists a constant $K>0$, such that $$ \inf_{\bw \in [0,1)^s} \sup_{1 \leq N \leq b^m} N D((\bx(n)\oplus \bw)_{n = 1}^{N}) \geq K m^s \quad { m for} \; \; m=1,2,...\;. $$ We also get similar results for other explicit constructions of $(t,s)$ sequences.

연구 동기 및 목표

• 모든 이동 벡터 $\mathbf{w} \in [0,1)^s$에 대해 $(t,s)$ 순열의 비점진적이고 보편적인 하한을 확립하는 것.
• 기존의 $O(\ln^s N)$ 이질성 상한 bound가 $\Omega(\ln^s N)$ 하한 bound와 일치함을 증명함으로써 이 상한이 날카로움을 입증하는 것.
• Niederreiter-Xing 및 할턴 유형 순열과 같은 명시적 구조에 $d$-가능성 프레임워크를 확장하여, 대수적 함수체 이론을 통해 이질성 하한을 유도하는 것.
• 고차원에서 저이질성 순열에 대해 추측된 이질성 증가율 $N D^* \sim (\ln N)^s$의 최적성 확인.

제안 방법

• $b$-진 평가를 통한 점과 인덱스 간 차이의 $b$-진 평가를 정의하는 $(t,s)$ 순열의 $d$-가능성 성질을 사용하여, 디지털 이동에 따른 이질성 행동을 제어한다.
• $\mathbb{F}_b$ 위의 대수적 함수체를 통한 점 집합의 재귀적 구성에 응용하며, $\hat{x}_n^{(s+1,k)}$의 구조를 활용해 $b$-진 평가를 유지하는 전단사 함수 $h_k(n)$를 정의한다.
• 순서를 재정렬하기 위해 $h^{-1}(n)$ 변환을 적용하여, 이동된 순열 $({\bf x}_{h^{-1}(n)} \oplus \mathbf{w})$가 원래 순열의 $d$-가능성과 넷 구조를 그대로 유지하도록 한다.
• 레마 B와 추론 2를 활용하여 변환된 순열의 이질성과 $(t,m_{k},s+1)$-넷의 이질성을 연결함으로써, 고차원에서 알려진 이질성 하한을 적용할 수 있도록 한다.
• $({\bf x}_n \oplus \mathbf{w}, h(n)/b^{m_k})$가 유효한 $(t,m_k,s+1)$-넷임을 증명하여, 모든 이동 벡터 $\mathbf{w}$에 대해 이질성 하한이 균일하게 적용됨을 보장한다.
• 핵심 부등식 $\sigma \geq \min_{Q,\mathbf{w}} b^{m_k} D^* \geq K b^{-d} K_{d,t,s+1}^{-s} m^s$를 유도함으로써, $N D^*$에 대한 $\Omega(m^s)$ 하한을 확보한다.

실험 결과

연구 질문

• RQ1 모든 이동 벡터 $\mathbf{w} \in [0,1)^s$에 대해 $(t,s)$ 순열의 이질성에 대한 $O(\ln^s N)$ 상한 bound가 날카로운가?
• RQ2 Niederreiter-Xing 및 할턴 유형 순열과 같은 명시적 구조에 대해 $d$-가능성 성질을 확립할 수 있는가?
• RQ3 이 순열의 이질성이 이동에 독립적인 $\Omega(\ln^s N)$ 순서의 보편 하한을 만족하는가?
• RQ4 기존의 명시적 $(t,s)$ 순열에 대해 추측된 최적의 이질성 증가율 $N D^* \sim (\ln N)^s$를 확인할 수 있는가?

주요 결과

• 기저 $b$에서의 나이더레일러-싱 순열에 대해 모든 $m \geq 1$에 대해 $K > 0$인 상수가 존재하여, $\inf_{\mathbf{w} \in [0,1)^s} \sup_{1 \leq N \leq b^m} N D^*((\mathbf{x}_n \oplus \mathbf{w})_{n=1}^N) \geq K m^s$가 성립한다.
• 이질성에 대한 $O(\ln^s N)$ 상한 bound는 날카로우며, 하한이 $\Omega(\ln^s N)$로 증가함으로써 기존의 점근적 비율과 일치함을 확인한다.
• Niederreiter-Xing 및 할턴 유형 $(t,s)$ 순열에 대해 $d$-가능성 성질이 성립하여, 모든 이동에 대해 균일한 하한을 도출할 수 있다.
• 이질성 하한은 특정 또는 일반적인 이동 외에도 모든 이동 벡터 $\mathbf{w} \in [0,1)^s$에 대해 균일하게 성립한다.
• 이 결과는 모든 $N$-점 집합과 $[0,1)^s$ 내 모든 순열에 대해 $N D^* \geq C_s (\ln N)^s$이 성립하며, 상수 $C_s$가 최적임을 뒷받침하는 오랫동안 제기된 추측을 지지한다.
• 이 증명 기법은 대수적 함수체와 $b$-진 평가 구조의 사용을 통해 다른 명시적 $(t,s)$ 순열로도 확장 가능하여 광범위한 적용 가능성을 보여준다.