[論文レビュー] How to construct generalized van der Corput sequences

Ingrid Carbone|arXiv (Cornell University)|Apr 18, 2013

Mathematical Approximation and Integration参考文献 8被引用数 3

ひとこと要約

本稿では、自然数を基数$L+S$で表現し、その桁を反転することで、一般化されたヴァン・ダール・コルプト列と呼ばれるLS列を構築する簡略化されたアルゴリズムを提示する。この方法は古典的なヴァン・ダール・コルプト構成を一般化し、桁の反転処理の幾何的解釈を提供する。その結果、得られる列がLS正規逆関数と一致することを証明しており、$L=b$および$S=0$のときには古典的なヴァン・ダール・コルプト列が回復されることも示している。主な貢献は、一貫性があり計算効率が高く、反転操作の明確な幾何的解釈を有する統一的構成法である。

ABSTRACT

The LS-sequences of points recently introduced by the author are a generalization of van der Corput sequences. They were constructed by reordering the points of the corresponding LS-sequences of partitions. Here we present another algorithm which coincides with the classical one for van der Corput sequences and is simpler to compute than the original construction. This algorithm is based on the representation of natural numbers in base $L+S$ and gives the van der Corput sequence in base $b$ if $L=b$ and S=0. In this construction, as well as in the van der Corput one, it is essential the inversion of digits of the representation in base $L+S$: in this paper we also give a nice geometrical explanation of this "magical" operation.

研究の動機と目的

• LS列の点を構築するより単純で効率的なアルゴリズムを開発すること。
• 基数$L+S$表現に基づく一元的な枠組みの下で、一般化されたヴァン・ダール・コルプト列の構成を統一すること。
• ヴァン・ダール・コルプト型列の構成に内在する桁反転処理の幾何的意味を提供すること。
• LS列の点がLS正規逆関数と一致することを証明し、一様分布性と低不均一性を保証すること。
• 古典的なヴァン・ダール・コルプト構成を、より広いクラスの列へと拡張しつつ、望ましい不均一性の性質を維持すること。

提案手法

• 各自然数$n$を基数$L+S$で表現し、桁列$a_k(n)$を導出する。
• 桁の位置を反転し、$a_k(n) < L$または$a_k(n) \geq L$に応じて変換$\tilde{a}_k(n)$を適用する。
• LS正規逆関数$\phi_{L,S}(n)$は、$\sum_{k=0}^{M} \tilde{a}_k(n) \gamma^{k+1}$として定義される。ここで$\gamma$は列に関連するパラメータである。
• $n \in \mathbb{N}_{L,S}$に対して、列$\{\phi_{L,S}(n)\}$がLS列の点を生成する。
• この構成により、列が一様分布しており、基礎となる分割列からの低不均一性を引き継ぐことが保証される。
• 幾何的直観は、反転処理を区間上の変換として解釈することで得られ、桁の反転が区間分割にどのように関連するかを示している。

実験結果

リサーチクエスチョン

• RQ1 一般化されたヴァン・ダール・コルプト列を、元の再配置法よりもより効率的に構築する方法は何か？
• RQ2 ヴァン・ダール・コルプト型列の構成における桁反転ステップの幾何的意味は何か？
• RQ3 古典的なヴァン・ダール・コルプト列は、基数$L+S$表現に基づくより広いクラスの列の特殊ケースとして回復可能か？
• RQ4 結果として得られる点列が一様分布しており、低不均一性を持つための条件は何か？
• RQ5 LS正規逆関数は、基礎となる分割列の構造とどのように関係しているか？

主な発見

• LS列の点は、$\mathbb{N}_{L,S}$上で定義されたLS正規逆関数による$\{\phi_{L,S}(n)\}$の列と正確に一致する。
• $L = b$かつ$S = 0$のとき、構成は基数$b$における古典的なヴァン・ダール・コルプト列に簡略化され、既知の結果と整合することが確認された。
• 桁反転処理は、一様分布を保つように区間を変換するものとして幾何的に解釈される。
• このアルゴリズムは、分割点の明示的ソーティングを避けるため、元の再配置法よりも計算が簡略化されている。
• $1,1$-列（カクタニ＝フィボナッチ列）は、$\phi_{1,1}(n)$と一致することが示され、最初の12個の点の明示的計算により、この方法の妥当性が検証された。
• この構成により、得られる点列は一様分布しており、基礎となる分割列からの低不均一性を引き継ぐ。