[论文解读] Dispersion of the Fibonacci and the Frolov point sets

Vladimir Temlyakov|arXiv (Cornell University)|Sep 24, 2017

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

一句话总结

本文证明了斐波那契点集与弗洛洛夫点集在点集基数 $n$ 的情况下，实现了分散度衰减的最优速率——即 $1/n$ 的量级。本文引入了平滑固定体积不均度作为新工具，以推导最优的分散度界，证明了这些点集能够实现三角多项式在 $L_u$ 和 $L_u$-范数下的通用离散化。

ABSTRACT

It is proved that the Fibonacci and the Frolov point sets, which are known to be very good for numerical integration, have optimal rate of decay of dispersion with respect to the cardinality of sets. This implies that the Fibonacci and the Frolov point sets provide universal discretization of the uniform norm for natural collections of subspaces of the multivariate trigonometric polynomials. It is shown how the optimal upper bounds for dispersion can be derived from the upper bounds for a new characteristic -- the smooth fixed volume discrepancy. It is proved that the Fibonacci point sets provide the universal discretization of all integral norms.

研究动机与目标

• 建立高维点集中分散度衰减速率的最优值。
• 证明斐波那契与弗洛洛夫点集实现了理论上最优的分散度行为，与 $O(1/n)$ 的理论下界完全匹配。
• 引入并运用平滑固定体积不均度的概念，作为新分析工具以控制分散度的上界。
• 证明斐波那契点集可实现三角多项式在统一范数与所有 $L_q$-范数下的通用离散化。
• 拓展对低差异序列在数值积分与逼近理论中理论理解的认知。

提出的方法

• 将分散度定义为 $[0,1)^d$ 中不包含有限点集 $T$ 中任何点的最大轴对齐长方体的体积。
• 引入平滑固定体积不均度作为新的不均度度量，通过上界控制分散度。
• 利用斐波那契积分公式及其傅里叶分析性质，证明其傅里叶系数在特定格点 $L(n)$ 之外为零。
• 应用引理 3.1，通过双曲截面结构与傅里叶系数的消失性，对斐波那契点集 $\mathcal{F}_n$ 的分散度进行上界估计。
• 利用 Riesz-Thorin 插值定理控制离散化算子的算子范数，从而实现 $L_q$-范数下的通用离散化。
• 通过验证所需的傅里叶系数衰减与权函数条件，证明斐波那契点集满足引理 8.1 中通用离散化的条件。

实验结果

研究问题

• RQ1 斐波那契与弗洛洛夫点集在 $d$ 维空间中是否实现了分散度的最优 $O(1/n)$ 衰减速率？
• RQ2 平滑固定体积不均度是否可用于推导点集中分散度的最优上界？
• RQ3 斐波那契点集是否对所有 $L_q$-范数的三角多项式提供通用离散化？
• RQ4 傅里叶系数在格点上消失与点集分散度之间存在何种关系？
• RQ5 斐波那契点集的结构如何确保在多个范数下均具有最优逼近性质？

主要发现

• 斐波那契点集 $\mathcal{F}_n$ 的分散度满足 $\text{disp}(\mathcal{F}_n) \leq C / b_n$，其中 $C$ 为绝对常数，实现了最优的 $O(1/n)$ 衰减速率。
• 弗洛洛夫点集同样实现了最优的分散度衰减速率 $O(1/n)$，其证明基于引理 3.1 与底层格点的结构。
• 平滑固定体积不均度被引入为一种新的不均度度量，其能导出最优的分散度界，其中定理 5.1 提供了关键联系。
• 斐波那契点集在所有 $1 \leq q \leq \infty$ 的 $L_q$-范数下均实现通用离散化，如定理 8.1 所示，适用于具有双曲截面结构的三角多项式集合。
• 证明依赖于斐波那契积分公式傅里叶系数在特定格点 $L(n)$ 之外为零的事实，从而可精确积分低频三角多项式。
• Riesz-Thorin 插值定理被用于控制离散化算子的算子范数，从而在所有 $L_q$-空间中实现通用离散化性质。