[論文レビュー] $LS$-sequences of points in the unit square

Ingrid Carbone, Maria Rita Iacò+1 more|arXiv (Cornell University)|Nov 13, 2012

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

ひとこと要約

本稿は、単位正方形における $LS$-点列の2つの一般化を導入する：van der Corput風の $LS$-点集合とHalton風の $LS$-点列。$S \leq L$ のとき、これらの点列は低分散性を示し、分散の上限がパrameterに応じて $O(\log N)$、$O(\log^2 N)$、または $O(N^{1-\tau} \log N)$ のオーダーで変動する。主な貢献は、Halton風のペアにおいて予期しない共鳴現象を同定し、一様分布の期待をくつがえすものである。

ABSTRACT

We define a countable family of sequences of points in the unit square: the {\it $LS$-sequences of points à la Halton}. They reveal a very strange and interesting behaviour, as well as resonance phenomena, for which we have not found an explanation, so far. We conclude with three open problems.

研究の動機と目的

• 単位区間からの $LS$-点列を、2つの異なる構成法により単位正方形に拡張すること。
• 2次元点列の分散特性を、$L$ と $S$ のパrameterの変化に応じて分析すること。
• Halton風の $LS$-点列が一様分布および低分散性を達成する条件を特定すること。
• 数値実験で観察された、ペaired $LS$-点列における予期しない共鳴現象を同定・特徴づけること。
• 一様分布、分散、および高次元への拡張に関する未解決問題を提示すること。

提案手法

• 単位区間内の $LS$-点列値 $\xi_{L,S}^n$ と一様グリッド点 $\frac{n-1}{N}$ をペアリングすることで、van der Corput風の $LS$-点集合を構築する。
• 2つの独立した $LS$-点列（パrameterが $(L_1,S_1)$ および $(L_2,S_2)$）を2次元の座標に組み合わせることで、Halton風の $LS$-点列を定義する。
• $\rho$-精錬プロセスを用いて $LS$-点列の分割を生成する。各分割は、長さ $\gamma^n$ の $L$ 個の長区間と、長さ $\gamma^{n+1}$ の $S$ 個の短区間からなる。
• 1次元 $LS$-点列の分散を再帰的関係と対数的・累乗的上限を用いて評価することで、2次元点列の分散を導出する。
• 分割 $\rho_{L,S}^n$ に含まれる区間数と、フィボナッチ型再帰関係 $t_n = L t_{n-1} + S t_{n-2}$ の間の関係を確立する。ここで $\gamma$ は $L\gamma + S\gamma^2 = 1$ を満たす。
• S \leq L のとき、van der Corput風の $LS$-点集合の分散は $O(\log N)$ であることを証明。$S = L+1$ の場合は $O(\log^2 N)$ に上昇し、$S \geq L+2$ ではより高次の上限が得られる。

実験結果

リサーチクエスチョン

• RQ1 Halton風の $LS$-点列が単位正方形で一様分布となる条件は何か？
• RQ2 Halton風の $LS$-点列の正確な分散は何か？パrameter $L_1, S_1, L_2, S_2$ にどのように依存するか？
• RQ3 なぜ特定の $LS$-点列ペアは、数値的図版で示されるように共鳴現象を示し、一様分布を妨げるのか？
• RQ4 van der Corput風の $LS$-点集合の分散上限は、高次元へ拡張可能か？
• RQ5 2次元を超える次元における $LS$-点列の挙動は何か？同様の共鳴効果が現れるか？

主な発見

• van der Corput風の $LS$-点集合では、$S \leq L$ のとき $N \cdot D(P_{L,S}(N)) \leq C_1 \log N$ を満たし、低分散性が保証される。
• $S = L+1$ のとき、分散上限は $N \cdot D(P_{L,S}(N)) \leq C_2 \log^2 N$ に上昇する。
• $S \geq L+2$ の場合、分散は $N \cdot D(P_{L,S}(N)) \leq C_3 N^{1-\tau} \log N$ のオーダーで増加する。ここで $1-\tau = -\frac{\log(S\gamma)}{\log \gamma} > 0$ である。
• Halton風の $LS$-点列は、基礎となる $LS$-点列に構造的整合性がある場合、一様分布に失敗する可能性がある。例として、命題7では $\rho_{1,1}^n$ と $\rho_{4,1}^n$ に対して $t_n' = t_{3n}$ が成り立つ。
• 数値実験により、$\xi_{1,1}^n$ と $\xi_{4,1}^n$ のようなHalton風ペアに共鳴効果が観察され、パrameterの選択にもかかわらず一様分布でない兆候が示された。
• 本稿は、3つの未解決問題で結論づける：Halton風 $LS$-点列の一様分布性、その分散、および高次元への一般化。