[論文レビュー] Extreme $L_p$ discrepancy, numerical integration and the curse of dimensionality

Erich Novak, Friedrich Pillichshammer|arXiv (Cornell University)|Feb 23, 2026

Mathematical Approximation and Integration被引用数 0

ひとこと要約

論文は極端 L_p 不一致のディスクレパンシー–統合のデュアリティを確立し、p ∈ (1, ∞) に対して極端 L_p 不一致が次元の呪いに悩まされることを dual integration problem を通じて証明する。

ABSTRACT

The classical notion of extreme $L_p$ discrepancy is a quantitative measure for the irregularity of distribution of finite point sets in the $d$-dimensinal unit cube. In this paper we find a dual integration problem whose worst-case error is exactly the extreme $L_p$ discrepancy of the underlying integration nodes. Studying this integration problem we show that the extreme $L_p$ discrepancy suffers from the curse of dimensionality for all $p \in (1,\infty)$. It is known that the problem is tractable for $p=\infty$; the case $p=1$ stays open.

研究の動機と目的

• 高次元空間における点分布の不規則性を extreme L_p discrepancy を通じて理解する動機づけ。
• ノードの extreme L_p discrepancy に等しい worst-case エラーを持つ dual integration problem を定義する。
• p ∈ (1, ∞) にわたる extreme L_p discrepancy の tractability と次元の呪いを調査する。
• 関連する関数空間内の初期誤差を特徴づけ、worst-case function を特定する。

提案手法

• [0,1]^d の全ての軸整列超長方形を用いて extreme L_p discrepancy を定義する。
• 箱ノルムを用いた representation-space 形式 F_{d,q} を確立し、関数と箱の指示関数積分を結ぶ線形演算子 T_d を導入する。
• discrepancy–integration 双対性を証明: e(Q_{P,A};F_{d,q}) = L_{p,N}^{ext}(P,A).
• p ∈ (1, ∞) のとき inverse extreme L_p discrepancy が次元によって指数関数的に増大することを示し、次元の呪いを示す。
• worst-case function を構成し、情報量の下界を導くために spline-interpolation 的議論を用いる。
• 具体的な定数 C_p を提供し、それらの挙動を記述する。

Figure 1: The quantity $C_{p}$ for $p\in(1,20]$ .

実験結果

リサーチクエスチョン

• RQ1 extreme L_p discrepancy と線形法による数値積分の worst-case エラー の関係はどうなるのか。
• RQ2 次元が増加しても、p ∈ (1, ∞) の場合 extreme L_p discrepancy は tractability を示すのか、それとも次元の呪いを呈するのか。
• RQ3 関連する関数空間内で worst-case function と初期誤差を特定できるか。
• RQ4 高次元で所定の誤差レベルを達成するために必要な情報量（サンプル数）の挙動はどうなるのか。

主な発見

• 統計的な worst-case error が線形法による積分の最悪ケースと一般化された extreme L_p discrepancy に等しいという discrepancy–integration デュアリティがある。
• p ∈ (1, ∞) に対して extreme L_p discrepancy は次元の呪いを呈し、非負の重みで N 番目の最小ディスクレパンシーは次元に対して指数関数的に増加する。
• 初期誤差 e(0;F_{d,q}) は L_{p,0}^{ext} に等しく、特定の worst-case function h_d が明示的な形で特徴づけられる。
• 結論として、disc と積分の複雑さの等式性が null, positive, そして QMC 重み設定の下で成立する。
• p = ∞ の場合、極端 L_∞ 不一致は既知の上界を持ち扱いやすいが、p ∈ (1, ∞) のケースとは対照的である。

Figure 2: The function $F_{p}(y)$ , $y\in[0,1]$ for $p\in\{2,8\}$ (first row – the maximum is attaind in $y=\tfrac{1}{2}$ ) and $p\in\{20,50\}$ (second row – the maximum is not attained in $y=\frac{1}{2}$ , rather in $y=\tfrac{1}{2}$ a local minimum is attained).