[論文レビュー] 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$-ノルムにおける普遍的離散化を証明すること。
• 数値積分および近似理論における低不均一性列の理論的理解を拡張すること。

提案手法

• 有限集合 $T$ からの点を含まない、$[0,1)^d$ 内の最大の軸に平行なボックスの体積として分散を定義する。
• 分散を上界で制御する新しい不均一度測度として、滑らかで体積が固定された不均一度を導入する。
• フィボナッチ台形公式およびそのフーリエ解析的性質を用いて、フーリエ係数が特定の格子 $L(n)$ の外で消えることを示す。
• 補題 3.1 を適用し、ハイパボリッククロス構造およびフーリエ係数の消滅を用いて、フィボナッチ点集合 $\mathcal{F}_n$ の分散を上界で評価する。
• リース＝トールン補間定理を用いて、離散化作用素の作用素ノルムを上界で評価し、$L_q$-ノルムにおける普遍的離散化を可能にする。
• フーリエ係数の減衰および重み条件を満たすことを確認することで、フィボナッチ点集合が補題 8.1 の条件を満たすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 フィボナッチおよびフローロフ点集合は、$d$ 次元空間において、分散の最適な $O(1/n)$ 減衰率を達成するか？
• RQ2 滑らかで体積が固定された不均一度を用いて、点集合における分散の最適な上界を導出できるか？
• RQ3 フィボナッチ点集合は、すべての $L_q$-ノルムの三角多項式に対して普遍的離散化を提供するか？
• RQ4 格子上でフーリエ係数が消えることと、点集合の分散との間にどのような関係があるか？
• RQ5 フィボナッチ点集合の構造は、複数のノルムにわたる最適な近似特性をどのように保証するか？

主な発見

• フィボナッチ点集合 $\mathcal{F}_n$ の分散は、絶対定数 $C$ に対して $\text{disp}(\mathcal{F}_n) \leq C / b_n$ を満たし、最適な $O(1/n)$ 減衰率を達成する。
• フローロフ点集合も、補題 3.1 およびその背後にある格子構造を用いて、最適な分散減衰率 $O(1/n)$ を達成することが証明されている。
• 滑らかで体積が固定された不均一度は、最適な分散上界を意味する新しい不均一度測度として導入され、定理 5.1 がその核心的リンクを提供する。
• フィボナッチ点集合は、ハイパボリッククロス構造を持つ三角多項式の集合に対して、すべての $1 \leq q \leq \infty$ における $L_q$-ノルムで普遍的離散化を提供する。これは定理 8.1 で示されている。
• 証明は、フィボナッチ台形公式のフーリエ係数が特定の格子 $L(n)$ の外で消えるという事実に依存しており、これは低周波数の三角多項式の正確な積分を可能にする。
• リース＝トールン補間定理を用いて、離散化作用素の作用素ノルムを上界で評価し、すべての $L_q$-空間における普遍的離散化性を導出している。