[論文レビュー] Decorrelation as an avatar of convexity

Mircea Petrache|arXiv (Cornell University)|Jul 2, 2015

Mathematical Dynamics and Fractals参考文献 14被引用数 4

ひとこと要約

本稿は、無限積測度が相互作用エネルギーを最小化する、すなわち分散化（decorrelation）が発生するための必要十分条件を特定する。その条件は、相互作用カーネルが確率測度上の凸エネルギー関数を誘導することに他ならない。主な結果は、エネルギー関数の凸性と積測度の最小性の間の鋭い特徴付けであり、これをバランス型正定値性という形に再定式化した。

ABSTRACT

If $X$ is a Polish space then we show that the product measure on $X^\infty$ is guaranteed to minimize $c$-energy amongst exchangeable measures with fixed marginals if and only if the interaction kernel $c$ defines a convex energy functional on probability measures. A reformulation of this condition close to the theory of positive definite functions is highlighted.

研究の動機と目的

• 無限個の区別不能な粒子からなる系における分散化の背後にある数学的メカニズムを説明すること。
• 総相互作用エネルギーを最小化する積測度を保証する相互作用カーネルに関する正確な条件を同定すること。
• 対称的無限体最適輸送におけるエネルギー関数の凸性と最小化子の一意性の間に双対性を確立すること。
• バランス型正定値性条件を用いて、古典的正定値関数論を新たなクラスのカーネルへと拡張すること。

提案手法

• 交換可能な測度を積測度の混合として表現するためにDe Finetti-Hewitt-Savage定理を用いる。
• Tonelliの定理と単調収束定理を適用し、エネルギー式における積分の順序交換を正当化する。
• 極化恒等式を用いて、混合測度のエネルギーと関数 $ K(Q) = \int_{X^2} c(x,y)\,dQ(x)dQ(y) $ の凸性を関連付ける。
• 変分的議論を用いて、$ K $ の凸性と $ \mu^{\otimes\infty} $ の最小性の同値性を確立する。
• 関数 $ K $ の凸性条件を、カーネル $ c $ におけるバランス型正定値性条件に再定式化し、古典的関数解析と結びつける。
• 下半連続性と $ c $ の対称性を用いて、最小化子の存在を保証し、無限体エネルギー定義における極限操作を正当化する。

実験結果

リサーチクエスチョン

• RQ1 相互作用カーネル $ c $ がどのような条件下で、積測度 $ \mu^{\otimes\infty} $ が無限体 $ c $-エネルギーの最小化子となるか。
• RQ2 エネルギー関数 $ K $ が厳密に凸であるとき、かつそのときに限り、積測度は一意的な最小化子か。
• RQ3 分散化現象は、エネルギー関数の凸性のみを用いて特徴付け可能か。
• RQ4 関数 $ K $ の凸性は、正定値関数論とどのように関係するか。
• RQ5 この特徴付けが成り立つために、空間 $ X $ およびカーネル $ c $ に必要な最小の位相的および正則性仮定は何か。

主な発見

• 積測度 $ \mu^{\otimes\infty} $ が無限体 $ c $-エネルギーを最小化するための必要十分条件は、関数 $ K(Q) = \int_{X^2} c(x,y)\,dQ(x)dQ(y) $ が $ \mathcal{P}(X) $ 上で凸であることである。
• エネルギー関数 $ K $ が $ \mathcal{P}(X) \cap \{K < \infty\} $ 上で厳密に凸であることは、$ \mu^{\otimes\infty} $ が無限体問題の唯一の最小化子であることに同値である。
• $ K $ の凸性は、カーネル $ c $ におけるバランス型正定値性条件に等しく、古典的正定値関数論と直接的な関係を有する。
• 本結果は最小限の仮定のもとで成り立つ：$ X $ はポーランド空間（または局所コンパクトで分離可能）であり、$ c $ は下半連続かつ対称である。
• 証明は、De Finetti-Hewitt-Savage定理とTonelliの定理に依拠しており、無限積構造および積分の順序交換を扱う。
• 特徴付けは鋭い：すべての $ \mu $ に対して $ K(\mu) < \infty $ のもとで $ \mu^{\otimes\infty} $ が最小化子であるならば、$ K $ は凸でなければならない。