[論文レビュー] CLT for continuous random processes under approximations terms

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|Mar 31, 2013

Data Management and Algorithms参考文献 21被引用数 8

ひとこと要約

本稿は、近似理論的道具、特にバレー＝プワンサン核と度量エントロピーを用いて、連続関数空間における関数的中心極限定理（CLT）の新たな十分条件を確立する。JainおよびMarcusが提示したCLTの十分条件が、やや弱い追加仮定のもとで必要条件でもあることを証明し、モンテカルロ法への応用を含む、結果の鋭さを示す具体例を提示する。

ABSTRACT

We formulate and prove a new sufficient conditions for Central Limit Theorem(CLT) in the space of continuous functions in the terms typical for the approximation theory. We prove that the conditions for continuous CLT obtained by N.C.Jain and M.B.Marcus are under some natural additional conditions necessary. We provide also some examples in order to show the exactness of obtained results and illustrate briefly the applications in the Monte-Carlo method.

研究の動機と目的

• 近似理論的用語を用いて、連続関数空間における関数的中心極限定理（CLT）の新たな十分条件を定式化し、証明すること。
• JainおよびMarcusが確立したCLTの十分条件が、自然な追加仮定のもとで必要条件でもあることを示すこと。
• 導出された条件の正確さを示す具体的な例を提示し、モンテカルロ法への関連性を明らかにすること。
• 度量エントロピー、主要測度、および近似核が、確率過程のCLT収束を特徴付ける役割を分析すること。

提案手法

• 著者らは、バレー＝プワンサン核を用いて近似作用素 $ V_{n,p}[f] $ を定義し、これにより元の確率過程 $ \xi(t) $ との畳み込みを通じて、ランダム過程 $ Z_k[\xi] $ の系列を構成する。
• 生成関数型 $ \Phi(\xi; \psi) = \mathbb{E} \exp\left(\int_T \xi(s) \, d\psi(s)\right) $ を定義し、有界 Variation を持つ決定的関数を用いて、過程のラプラス変換を特徴付ける。
• 主な技術的道具は、バレー＝プワンサン作用素の差分に基づく近似列 $ W^{(k)} $ の構成であり、これにより $ \Psi_{\vec{n}}(\xi; \lambda, n(k), n(k+1)) $ が定義され、特性関数と生成関数型を結びつける。
• 指標集合 $ T $ の複雑さを測るために度量エントロピーと被覆数を用い、CLT収束を保証するための連続性モジュラスおよび近似誤差 $ E(m,f) $ に関する条件を導出する。
• 一様等収束の概念を適用し、CLTの有効性の中心的基準として、エントロピー積分条件 $ \int_0^1 H^{1/2}(T, \rho, z) \, dz < \infty $ を用いる。
• 特に、主要測度またはエントロピー条件が成立しない場合に、結果の鋭さを検証するため、ラクナリ系およびラデマッハ系列を用いた例の構築を含む。

実験結果

リサーチクエスチョン

• RQ1 中心化され、分離可能な確率過程 $ \eta(t) $ が、連続関数空間 $ C(T) $ で関数的CLTを満たすための近似理論的条件は何か？
• RQ2 JainおよびMarcusが導出したCLTの十分条件は、追加の自然な仮定のもとで必要条件でもあるか？
• RQ3 標準的なエントロピー条件または主要測度条件が満たされない場合に、CLT は $ C(T) $ で成立するか？
• RQ4 バレー＝プワンサン核の近似特性は、i.i.d. 確率過程の正規化和の収束にどのように影響するか？
• RQ5 生成関数型と過程のラプラス変換は、CLT収束を特徴付けるために果たす役割は何か？

主な発見

• 本稿では、JainおよびMarcusによる $ C(T) $ におけるCLTの十分条件が、やや弱い追加仮定のもとで必要条件でもあることを証明し、その基準の鋭さを確立する。
• 指標 $ \rho $ が過程から導かれる距離であるとき、条件 $ \int_0^1 H^{1/2}(T, \rho, z) \, dz < \infty $ が、$ C(T) $ におけるCLTの主要な十分条件であることが示された。
• 主要測度条件およびエントロピー条件をいずれも満たさないが、新しい条件を満たす過程の例を構築し、新しい基準の一般性を示した。
• 連続性モジュラスに関するジャクソン型不等式 $ \omega(g, \epsilon) \leq C \cdot \theta \cdot \delta(\text{Ent}[1/\epsilon]) $ が、十分条件ではあるが、必要条件ではないことが示された。
• 過程 $ \eta_n(x) $ がほとんど確実に連続で、$ p_0 $ 次のモーメントが有限であるが、$ p > p_0 $ に対して $ p $ 次のモーメントが無限大である例を提示し、CLTに失敗する例を示した。これにより、モーメント条件およびエントロピー条件が十分ではないことが示された。
• 結果は、$ T = [0,2\pi]^d $ の多次元領域および非周期的連続関数へと一般化されており、広範な適用可能性を示している。