Infinite sequences with optimal diaphony, periodic $L_2$-discrepancy, and beyond

技術要約：最適なディアフォニー、周期 $L_2$ 偏差、およびその先にある無限列

問題設定
本論文は、数値積分および偏差尺度において最適な収束率を達成する、$d$ 次元単位立方体 $[0, 1)^d$ における無限列 $S_d$ の構成について扱っている。具体的には、著者らは周期 $L_2$ 偏差とその解析的な対応物であるディアフォニーに焦点を当てている。

任意の次元 $d$ に対して、無限列の周期 $L_2$ 偏差には、無限個の $N$ に対して $\Omega((\log N)^{d/2}/N)$ のオーダーの低界が存在するという理論的結果が既知である。これまでの構成法では、有限体 $\mathbb{F}_2$ 上の5次デジタル列を用いることでこの最適なオーダーを実現してきたが、これらの構成法は、生成行列の基礎となる次元を $d$ から $ actually 5d$ へと増加させる「インターレース（interlacing）」手順に依存している。この高い次元数は、高次元アプリケーションへの適用において実用性を損なわせる。本論文では、2次デジタル列を用いることで、基礎となる次元を $2d$ に削減しつつ、同様の最適な漸近的オーダーを達成できるかどうかを調査している。

手法
著者らは、優越混合滑らかさを持つベゾフ空間 $S^r_{p,q}B(\mathbb{T}^d)$ （ここで滑らかさパラメータ $r \in (1/p, 2)$）における**準モンテカルロ（QMC）**積分に基づく枠組みを用いている。手法は以下のステップで進行する：

1. 関数空間の特性付け: 解析には、関数を $S^r_{p,q}B(\mathbb{T}^d)$ 内で特徴付けるためのファバー基底（階層基底）を利用する。これらの空間における最悪ケース誤差は、この基底における局所偏差関数の係数の減衰によって抑えられる。
2. 偏差との関連性: 本論文は、ベゾフ空間における最悪ケース誤差と、周期 $L_2$ 偏差およびディアフォニーとの間の関連性を確立している。具体的には、$p=q=2$ かつ $r=1$ の場合、最悪ケース誤差は周期 $L_2$ 偏差と等価になる。
3. デジタル列の構成: 本研究は、$\mathbb{F}_2$ 上の2次デジタル列に焦点を当てている。これらは、2つの1次デジタル列に対してインターレース手順を適用することで構成される（生成行列 $C_1, \dots, C_{2d}$ がインターレースされて $E_1, \dots, E_d$ を形成する）。これにより、必要な生成行列の基礎となる次元を、5次列で必要とされる $5d$ から $2d$ へと削減できる。
4. ハー関数係数の解析: コアとなる技術的作業は、2次デジタル列に対する局所偏差関数のハー関数係数の境界を求めることである。著者らは、デジタルシフトされた2次デジタルネットおよび数列の性質を利用して、これらの係数に関する具体的な境界を導出し、ダイアディック・ボックスのサイズが $N$ に対して大きい場合と小さい場合のケースを区別して扱う。
5. 総和と集計: 導出されたハー関数係数の境界を用いて、ダイアディック分解にわたって誤差を総和し、ベゾフ空間における全最悪ケース誤差を推定する。これには、対数因子の慎重な取り扱い、および滑らかさパラメータ $r$、可積分パラメータ $p, q$、および次元 $d$ の相互作用の処理が含まれる。

主要な貢献と結果

1. 2次列の最適性: 主要な結果（定理12）は、無限の2次デジタル列が $S^r_{p,q}B(\mathbb{T}^d)$ における最悪ケース誤差の最適な収束オーダーを達成することを証明している。

   • $r \neq 1$ の場合、誤差は $N^{-\min(r,1)} (\log N)^{(d-1)(1-1/q)}$ のオーダーである。
   • $r = 1$ の場合、誤差は $N^{-1} (\log N)^{d(1-1/q)}$ のオーダーである。
   • これらの境界は、単に無限個の $N$ に対してだけでなく、すべての $N \in \mathbb{N} \setminus \{1\}$ に対して成立する。

2. 予想の確認: 2次列に対して $L_{2,N}^{\text{per}}(S_d) \lesssim_d (\log N)^{d/2}/N$ という境界を確立することにより（系14）、本論文は、2次構成が最適な周期 $L_2$ 偏差／ディアフォニーを達成するのに十分であるという予想を裏付けている。これは既知の無限列の低界と一致する。

3. 次元削減: 本論文は、インターレース構成における基礎となる次元を、5次列で必要とされる $5d$ から $2d$ へと削減できることを示している。この削減は、高次元積分における実用性の著しい向上として提示されている。

4. 拡張性: 結果は無限列に適用されるため、QMC則が**拡張可能（extensible）**であることを保証している。これは、積分ノードの数 $N$ を増やしても、以前の関数評価を破棄する必要がないこと、すなわち「オープン型」の規則としての特性を意味する。

意義と主張
本論文は、その結果が周期 $L_2$ 偏差およびディアフォニーに対する2次デジタル列の最適性を裏付けるものであると主張している。その意義は以下の通りである：

• 理論的確認: 5次列の高い複雑性が周期 $L_2$ 偏差に必要であるという疑問を解決し、2次で十分であることを示した。
• 実用的な改善: 生成行列の基礎となる次元を $5d$ から $2d$ へと削減することで、高次元問題への実装が大幅に容易になった。
• 幅広い適用性: 境界は、周期 $L_2$ 偏差を特定のケース（$p=q=2, r=1$）として含む、優越混合滑らかさを持つベゾフ空間という一般的な枠組みの中で確立されている。

著者らは、これらの知見が、2次列が様々な他の偏差尺度（スター偏差、極値偏差、およびソボレフ、ベゾフ、トリベル・リゾルキン空間におけるノルム）において最適なレートを示すという先行研究の結果と一致しており、Dickの2次デジタル列の「普遍的に優れた分布特性」をさらに証拠付けるものであると述べている。