[論文レビュー] Discrepancy of LS-sequences of partitions

Ingrid Carbone|arXiv (Cornell University)|May 12, 2010

Mathematical Approximation and Integration参考文献 10被引用数 4

ひとこと要約

本稿は、区間 [0,1] 上で一様に分布する列である LS-分割列の不均一性について、精密な漸近的推定値を提示する。LS-分割列は、固定された L 個の長区間と S 個の短区間のパターンに従って反復的に区間を細分化することで生成される。主な結果として、これらの列のスター不均一性が $1/t_n^\nu$ の速度で減少することを示しており、$ \nu = 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 $L$ と $S$ に対してどのような条件下で LS-列が $1/N^\nu$ のオーダーで低不均一性を達成するか？
• RQ3 Kakutani-Fibonacci 列の不均一性は他の LS-列と比べてどう異なるか？ また、その正確な不均一性は既知か？
• RQ4 LS-列の不均一性は、それらから導かれる点集合の不均一性と関連づけられるか？

主な発見

• LS-列 $\{\rho_{L,S}^n\}$ のスター不均一性は、$\gamma = 1 + \frac{\log(S\beta)}{\log\beta}$ であり、$\beta$ が $L\beta + S\beta^2 = 1$ を満たすとき、$1/t_n^\gamma$ の速度で漸近的に減少する。
• Kakutani-Fibonacci 列（$L = S = 1$）の場合、不均一性は正確に分かっており、$\gamma = 1 + \frac{\log(\beta)}{\log\beta} = 1 + \frac{\log(\beta)}{\log\beta} = 1 + 1 = 2$ となる。ここで $\beta = (\sqrt{5}-1)/2 \approx 0.618$ であり、$S\beta = \beta \approx 0.618$ であるため、$\log(S\beta)/\log\beta = \log(\beta)/\log\beta = 1$ である。よって $\gamma = 1 + 1 = 2$ であり、$1/t_n^2$ が減少率である。以前の誤解は、$\log(S\beta)/\log\beta = 1$ であることから、$\gamma = 0$ ではなく $\gamma = 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$ のオーダーで低不均一性を達成し、指数 $\gamma$ は $L$ と $S$ から明示的に計算可能である。