[论文解读] $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$-序列推广至单位正方形，提出两种构造方式：一种是类 van der Corput 的 $LS$-点集，另一种是类 Halton 的 $LS$-序列。研究证明，当 $S \leq L$ 时，这些序列具有低差异性，其差异界按 $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$-点序列推广至单位正方形，采用两种不同的构造方法。
• 分析这些二维序列的差异性质，特别是不同 $L$ 和 $S$ 参数下的表现。
• 研究类 Halton 的 $LS$-序列在何种条件下实现均匀分布与低差异。
• 识别并表征在数值实验中观察到的配对 $LS$-序列中出人意料的共振现象。
• 提出关于均匀分布、差异性以及高维推广的开放问题。

提出的方法

• 通过将单位区间内均匀网格点 $\frac{n-1}{N}$ 与 $LS$-序列值 $\xi_{L,S}^n$ 配对，构造类 van der Corput 的 $LS$-点集。
• 通过将两个独立的、参数分别为 $(L_1,S_1)$ 和 $(L_2,S_2)$ 的 $LS$-点序列在两个坐标方向上组合，定义类 Halton 的 $LS$-序列。
• 使用 $\rho$-细化过程生成 $LS$-序列的划分，其中每个划分由 $L$ 个长区间和 $S$ 个短区间组成，其长度分别为 $\gamma^n$ 和 $\gamma^{n+1}$。
• 通过递归关系和对数或幂律界，对一维 $LS$-序列的差异进行有界，从而推导出二维序列的差异。
• 建立 $\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$-序列的精确差异是多少？其如何依赖于参数 $L_1, S_1, L_2, S_2$？
• RQ3 为何某些 $LS$-序列配对会表现出阻止均匀分布的共振现象（如数值图所示）？
• RQ4 类 van der Corput 的 $LS$-点集的差异界能否推广至高维空间？
• RQ5 在维度大于二时，$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$。
• 当底层 $LS$-序列存在结构对齐时，类 Halton 的 $LS$-序列可能无法实现均匀分布，如命题 7 所示：在 $\rho_{1,1}^n$ 与 $\rho_{4,1}^n$ 中，有 $t_n' = t_{3n}$。
• 数值实验揭示了 Halton 类配对中的共振效应，例如 $\xi_{1,1}^n$ 与 $\xi_{4,1}^n$，表明即使在参数选择合理的情况下，分布也可能不均匀。
• 本文最后提出三个开放问题：类 Halton 的 $LS$-序列的均匀分布性、其差异性，以及向高维空间的推广。