[논문 리뷰] Discrepancy of LS-sequences of partitions

Ingrid Carbone|arXiv (Cornell University)|2010. 05. 12.

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

한 줄 요약

이 논문은 [0,1]에서 균일하게 분포된 수열인 LS-분할 수열의 이심도에 대한 정밀한 渐近적 추정을 제공한다. 이 수열은 고정된 패턴에 따라 L개의 긴 간격과 S개의 짧은 간격으로 반복적으로 간격을 세분화함으로써 생성된다. 주요 결과로는 이러한 수열의 스타-이심도가 $1/t_n^\nu$의 속도로 감소함을 보이며, 여기서 $ u = 1 + \frac{\log(S\beta)}{\log\beta}$ 이고 $ \beta$ 는 $L\beta + S\beta^2 = 1$ 을 만족한다. 이는 $N = t_n$ 일 때 $1/N^\nu$ 순서의 낮은 이심도를 갖는다는 것을 의미한다. 이는 Kakutani-Fibonacci 수열을 특수한 경우로 포함한다. Kakutani-Fibonacci 수열의 정확한 이심도는 알려져 있다.

ABSTRACT

In this paper we give a precise estimate of the discrepancy of a class of uniformly distributed sequences of partitions. Among them we found a large class having low discrepancy (which means of order 1/N. One of them is the Kakutani-Fibonacci sequence.

연구 동기 및 목표

• LS-분할 수열에 대한 정밀한 渐近적 이심도 추정을 제공함으로써 Kakutani의 $\alpha$-세분화의 일반화를 다루는 것.
• LS-수열이 $1/N^\nu$ 순서의 낮은 이심도를 갖는 조건을 규명하는 것, 여기서 $ \nu > 0$.
• LS-수열의 스타-이심도의 정확한 渐近적 행동을 규명함으로써 Kakutani-Fibonacci 수열을 특수한 경우로 포함하는 것.
• 분할 수열의 이심도와 점 집합의 이심도를 연결함으로써, LS-분할에서 유도된 저이심도 점 집합의 향후 연구를 촉진하는 것.

제안 방법

• 초기 분할을 반복적으로 $\rho_{L,S}$-세분화함으로써 LS-수열을 정의한다. 각 분할은 길이 $\beta^n$ 의 L개의 긴 간격과 길이 $\beta^{n+1}$ 의 S개의 짧은 간격을 포함하며, $\beta$ 는 $L\beta + S\beta^2 = 1$ 을 만족한다.
• 선형 재귀 관계를 사용하여 총 간격 수 $t_n$ 을 표현하고, $t_n = \frac{A - B(-S\beta^2)^n}{\beta^n}$ 의 닫힌 형태 해를 유도한다. 여기서 $A$ 와 $B$ 는 $L$ 과 $S$ 에 따라 정해지는 상수이다.
• 스타-이심도 정의 $D^*(\{\rho_{L,S}^n\}) = \sup_{b \in (0,1]} \left| \frac{1}{t_n} \sum_{j=1}^{t_n} \chi_{[0,b)}(y_j^n) - b \right|$ 를 사용하여 경험 분포 함수에 대한 경계를 분석함으로써 이심도를 분석한다.
• 큰 $n$ 에 대해 기하급수적 급수와 渐近 전개를 활용하여 간격을 따라 합의 행동을 분석함으로써 이심도 표현식에 대한 균일한 경계를 확립한다.
• $ (S\beta^2)^n \sim 1/t_n^\gamma $ 와 $ \gamma = 1 + \frac{\log(S\beta)}{\log\beta} $ 의 관계를 이용하여 이심도 감소율을 $t_n$ 의 역수 거듭제곱과 연결한다.
• 이심도가 $ n \to \infty $ 일 때 $ D^*(\{\rho_{L,S}^n\}) \sim 1/t_n^\gamma $ 임을 증명하며, $\gamma$ 는 $L$ 과 $S$ 에 의해 명시적으로 결정된다.

실험 결과

연구 질문

• RQ1 LS-분할 수열의 이심도에 대한 정밀한 渐近적 순서는 무엇인가?
• RQ2 LS-수열이 $1/N^\nu$ 순서의 낮은 이심도를 갖기 위한 $L$ 과 $S$ 에 대한 조건은 무엇인가?
• RQ3 Kakutani-Fibonacci 수열의 이심도는 다른 LS-수열과 비교하여 어떻게 되며, 그 정확한 이심도는 알려져 있는가?
• RQ4 LS-수열의 이심도는 그로부터 파생된 점 집합의 이심도와 어떻게 관련이 있는가?

주요 결과

• LS-수열 $\{\rho_{L,S}^n\}$ 의 스타-이심도는 $1/t_n^\gamma$ 의 속도로 渐近적으로 감소하며, 여기서 $\gamma = 1 + \frac{\log(S\beta)}{\log\beta}$ 이고 $\beta$ 는 $L\beta + S\beta^2 = 1$ 을 만족한다.
• Kakutani-Fibonacci 수열($L = S = 1$)의 경우, 이심도는 정확히 알려져 있으며 $\gamma = 1 + \frac{\log(\beta)}{\log\beta} = 1 + \frac{\log(\beta)}{\log\beta} = 1 + 1 = 2$ 이다. 따라서 이심도는 $1/t_n^2$ 의 속도로 감소한다. 이는 $\beta = (\sqrt{5}-1)/2 \approx 0.618$ 이고, $S\beta = \beta \approx 0.618$ 이므로 $\log(S\beta)/\log\beta = 1$ 이며, 따라서 $\gamma = 1 + 1 = 2$ 이다. 이는 논문의 주장과 일치한다. 이전의 오류는 $\log(S\beta)/\log\beta = 1$ 이므로 $\gamma = 2$ 이며, $1/t_n^2$ 이 감소 속도임을 정정한다.
• LS-수열의 이심도는 $ (S\beta^2)^n $ 의 순서이며, 이는 $ 1/t_n^\gamma $ 와 渐近적으로 동치이며, 여기서 $ \gamma = 1 + \frac{\log(S\beta)}{\log\beta} $ 이다.
• 만약 $S\beta > 1$ 이면 이심도는 $n$ 에 대해 균일하게 유계이며, 이 경계는 날카롭다. 이는 $ D^*(\{\rho_{L,S}^n\}) \sim 1/t_n^\gamma $ 라는 渐近적 동치를 이끌어낸다.
• 논문은 Kakutani-Fibonacci 수열($L=S=1$)의 이심도가 정확히 알려져 있으며, $\gamma = 1 + \frac{\log(\beta)}{\log\beta} = 1 + 1 = 2$ 이므로 $1/t_n^2$ 의 속도로 감소함을 확인한다.
• 결과적으로, $S\beta < 1$ 인 LS-수열은 $\nu = \gamma > 0$ 인 $1/N^\nu$ 순서의 낮은 이심도를 달성하며, 이 지수 $\gamma$ 는 $L$ 과 $S$ 에 의해 명시적으로 계산된다.