[論文レビュー] The Logarithmic Sobolev Inequality for Gibbs measures on infinite product of Heisenberg groups

Ioannis Papageorgiou|arXiv (Cornell University)|Jan 11, 2009

Mathematical Dynamics and Fractals被引用数 3

ひとこと要約

本稿では、ヘイゼンベルク群の積上の無限次元ギブズ測度が $q$-Log-Sobolev不等式を満たすための条件を確立する。これは、従来の実数値スピンから非アーベル的ヘイゼンベルク群スピンへの結果の拡張である。もし1スピンの境界なし測度が $q$-Log-Sobolev不等式または非一様Uバウンド不等式を満たすならば、適切な相互作用条件のもとで、無限体ギブズ測度は $q$-Log-Sobolev不等式を引き継ぐ。これは、従来の相互作用の2次微分の均一有界性仮定を緩和するものである。

ABSTRACT

We are interested in the $q$ Logarithmic Sobolev inequality for probability measures on the infinite product of Heisenberg groups. We assume that the one site boundary free measure satisfies either a $q$ Log-Sobolev inequality or a U-Bound inequality, and we determine conditions so that the infinite dimensional Gibbs measure satisfies a $q$ Log-Sobolev inequality.

研究の動機と目的

• ヘイゼンベルク群の積上の有限次元から無限次元ギブズ測度への $q$-Log-Sobolev不等式の拡張。
• 標準的な楕円的技法が失敗する非アーベル的、部分リーマン的リー群たるヘイゼンベルク群に値をとるスピン系の解析。
• 従来の研究で制限を受けていた、相互作用の2次微分の均一有界性条件の緩和。
• 1スピン測度が $q$-LSを満たすか、非一様Uバウンドを満たすという十分条件を確立し、それによって無限体ギブズ測度が $q$-LS不等式を引き継ぐことの証明。
• 実数値スピンや以前のヘイゼンベルク群の研究を一般化し、非一様的・特異的相互作用を取り扱う。

提案手法

• ヘイゼンベルク群 $\mathbb{H}$ 上で、ホルマンダー条件を満たす部分勾配 $\nabla = (X_1, X_2)$ と部分ラプラシアン $\Delta = X_1^2 + X_2^2$ を用いる。
• $q \in (1,2]$ に対して、$\mu(|f|^q \log \frac{|f|^q}{\mu|f|^q}) \leq c \mu(|\nabla f|^q)$ の形で $q$-Log-Sobolev不等式を適用する。
• 異なるスイトの投影を交互に使う投影作用素 $\mathcal{P}^n$ と $\mathcal{Q}^n$ を用いたブロック・グローバー動的法を採用する。
• 条件付き期待値 $\mathbb{E}^{\Gamma_i}$ と $\mathbb{E}^{\Gamma_j}$ を用いて分散を分解し、連続する投影間の差の $L^q$ ノルムを制御する。
• チェビシェフの不等式とボレル＝カンテリの補題を適用し、$\mathcal{Q}^n f$ が $\nu f$ にほとんど確実に収束することを示し、混合性およびスペクトルギャップに類する制御を確立する。
• Lemma 6.5 と Lemma 7.1 に依拠して、条件付き期待値の勾配の $L^q$ ノルムをバウンドし、連続する反復の間の差の $q$-ノルムにおける指数的減衰を導出する。

実験結果

リサーチクエスチョン

• RQ1 ヘイゼンベルク群の積上の無限次元ギブズ測度が $q$-Log-Sobolev不等式を満たす条件は何か？
• RQ2 1スピン測度が $q$-LS または非一様Uバウンドを満たす場合、ヘイゼンベルク群上の非アーベル的スピン系に対し $q$-Log-Sobolev不等式を拡張できるか？
• RQ3 ヘイゼンベルク群スピンの $q$-Log-Sobolev不等式の文脈で、$\|\nabla_i \nabla_j V(x_i, x_j)\|_\infty$ の標準的均一有界性をどのように緩和できるか？
• RQ4 カルノー＝カルタレー距離は、関数不等式のためのヘイゼンベルク群の幾何を特徴付ける上で果たす役割は何か？
• RQ5 グローバー動的法 $\mathcal{Q}^n f$ が平均 $\nu f$ に収束することを用いて、無限体測度の $q$-Log-Sobolev不等式を導けるか？

主な発見

• 1スピンの境界なし測度が $q$-Log-Sobolev不等式を満たし、相互作用が条件(C1)を満たすならば、無限次元ギブズ測度は $q$-Log-Sobolev不等式を満たす。条件(C1)は、ポテンシャルの勾配の増大を制御する。
• 本稿では、$\|\nabla_i \nabla_j V(x_i, x_j)\|_\infty = \infty$ である場合でさえ、$q$-Log-Sobolev不等式を確立しており、従来の2次微分の有界性仮定を越えて一般化している。
• 反復する投影 $\mathcal{P}^n$ と $\mathcal{Q}^n$ を用いたブロック動的法に依拠し、連続する反復の間の差の $L^q$ ノルムにおける指数的減衰を導出している。
• ボレル＝カンテリの補題を適用して、$\mathcal{Q}^n f \to \nu f$ がほとんど確実に成り立つことを示し、これによりスペクトルギャップの存在が示され、$q$-LS不等式の裏付けが得られる。
• 定理2.3の基準は、二次相互作用のない局所的仕様に適用可能であり、ポテンシャルの2次微分が有界でない場合にまで拡張可能である。これは、[22, 23, 28, 38] の結果を拡張する。
• ヘイゼンベルク群では非楕円的であるため、$\Gamma_2$-基準は失敗するが、本手法はそれを使わず、条件付き期待値と勾配ノルムの制御戦略に依拠している。