[論文レビュー] Estimates of the Discrepancy Function in Exponential Orlicz Spaces

Gagik Amirkhanyan, Dmitriy Bilyk+1 more|arXiv (Cornell University)|Jun 7, 2013

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

ひとこと要約

本稿は、$n \geq 3$ における単位立方体 $[0,1]^n$ 内の点集合について、指数型オーリッチスぺースにおける不一致関数の最適推定を確立する。著者らは、リトルウッド＝ペリー不等式および dyadic 構造上のラデマッハ型関数に基づく新規なアプローチを用い、サイズ $N$ の点分布 $ olinebreakackslashmathcal{P}$ が存在して $ olinebreakackslash|\mathcal{D}_N\|_{ olinebreakackslashoperatorname{exp}(L^{2/(n+1)})} \lesssim (\log N)^{(n-1)/2}$ を満たすことを証明する。これは $L^q$-ノルムの予想される最良の境界と一致する。

ABSTRACT

We prove that in all dimensions n at least 3, for every integer N there exists a distribution of points of cardinality $ N$, for which the associated discrepancy function D_N satisfies the estimate an estimate, of sharp growth rate in N, in the exponential Orlicz class exp)L^{2/(n+1)}. This has recently been proved by M.~Skriganov, using random digit shifts of binary digital nets, building upon the remarkable examples of W.L.~Chen and M.~Skriganov. Our approach, developed independently, complements that of Skriganov.

研究の動機と目的

• 高次元の立方体内の点集合について、指数型オーリッチノルムにおける不一致関数の鋭い推定を確立すること。
• 次元 $n \geq 3$ における不一致関数の $ olinebreakackslashoperatorname{exp}(L^{2/(n+1)})$-ノルムの鋭い境界について、新たな独立した証明を提供すること。
• スクリガノフの先行研究（デジタルネットのランダムデジットシフトを用いたもの）と併せて考察し、対比すること。
• 不一致理論、リトルウッド＝ペリー不等式、および調和解析における小領域問題との関連を調査すること。
• $L^q$-ノルムの減衰率 $(\log N)^{(n-1)/2}$ が指数型オーリッチスケールで最適であるという予想を確認すること。

提案手法

• 著者らは、有限体 $\mathbb{F}_2$ 上の dyadic 構造を用い、$N = 2^s$ 個の点を持つ点分布を、$[0,1]^n$ 内の線形集合としてモデル化する。
• $L^q$-ノルムの成長を制御するため、$n-1$ 回のリトルウッド＝ペリー不等式の適用を行い、各回で $q$-ノルムに平方根の因子を導入する。
• $\|f\|_{\operatorname{exp}(L^\alpha)} \simeq \sup_{q \geq 1} q^{-\alpha} \|f\|_q$ の同値性に依拠し、$L^q$-ノルムによる推定を可能にする。
• ラデマッハ関数および dyadic 区間上の正規直交ステップ関数に基づく解析により、指数モーメントの精密な制御が可能になる。
• 証明の構造は、臨界段階で $q$ のべきを1つ追加することで、スクリガノフの $n$ 回のカチンヒン型不等式の適用とは区別される。
• $N = 2^s$ から一般の $N$ への拡張は、標準的なスケーリング論法により行われ、$N$ 個の点を $a < 2$ である $[0,a]^n$ に埋め込む。

実験結果

リサーチクエスチョン

• RQ1 次元 $n \geq 3$ において、不一致関数の $ olinebreakackslashoperatorname{exp}(L^{2/(n+1)})$-ノルムの予想される最良の境界が達成可能か。
• RQ2 リトルウッド＝ペリー不等式は、不一致関数の指数型オーリッチスケール推定にどのように寄与するか。
• RQ3 dyadic 構造およびラデマッハ関数は、低不一致点集合の構築において果たす役割は何か。
• RQ4 提案された手法は、スクリガノフのデジタルネットにおけるランダムデジットシフトの使用とどのように比較できるか。
• RQ5 $n \geq 3$ において、$L^q$-ノルムの減衰率 $(\log N)^{(n-1)/2}$ は指数型オーリッチスケールで最適か。

主な発見

• 本稿は、すべての $n \geq 3$ およびすべての $N \geq 1$ に対して、$\mathcal{P} \subset [0,1]^n$ でサイズ $N$ の点集合が存在し、$\|\mathcal{D}_N\|_{\operatorname{exp}(L^{2/(n+1)})} \lesssim (\log N)^{(n-1)/2}$ を満たすことを確立する。
• この境界は、$q \geq 1$ における既知の最良の $L^q$-ノルム減衰率と一致し、指数型オーリッチスケールにおける予想の確認を示す。
• $n-1$ 回のリトルウッド＝ペリー不等式の応用に起因する新規な手法により、定数および $q$ のべきの精密な追跡を伴って達成された。
• スクリガノフのランダムデジットシフト構成とは対照的に、決定論的な dyadic 構造および正規直交関数を用いる代替手法を提供する。
• 著者らは、不一致関数の $L^q$-ノルムがシフトの選択に大きく依存しないこと、すなわち境界の頑健性を支持する。
• 既存の高次元における $L^q$-ノルムの結果により、より良い減衰率は不可能であることが確認され、境界が鋭いという意味で最適である。