[論文レビュー] Glauber versus Kawasaki for spectral gap and logarithmic Sobolev inequalities of some unbounded conservative spin systems

Djalil Chafaï|arXiv (Cornell University)|Nov 6, 2002

Markov Chains and Monte Carlo Methods被引用数 15

ひとこと要約

この論文は、パスカウンティングの議論とLu-Yauマルティンゲール分解の拡張を用いて、Glauberダイナミクス下での非有界な保存スピン系に対して一様なスペクトルギャップおよび対数ソボレフ不等式を確立する。Glauberダイナミクスの一体的境界が、$d$次元の立方体上でのKawasakiダイナミクスの$L^{-2}$減衰を示し、系のサイズや全質量$M$に依存しない定数を伴う。これは、厳密に凸または二次関数的摂動を受けるポテンシャルの下で成り立つ。

ABSTRACT

Inspired by the recent results of C. Landim, G. Panizo and H.-T. Yau [LPY] on spectral gap and logarithmic Sobolev inequalities for unbounded conservative spin systems, we study uniform bounds in these inequalities for Glauber dynamics of Hamiltonian of the form V(x_1) + ... + V(x_n) + V(M-x_1 -...-x_n), (x_1,...,x_n) in R^n Specifically, we examine the case V is strictly convex (or small perturbation of strictly convex) and, following [LPY], the case V is a bounded perturbation of a quadratic potential. By a simple path counting argument for the standard random walk, uniform bounds for the Glauber dynamics yields, in a transparent way, the classical L^{-2} decay for the Kawasaki dynamics on d-dimensional cubes of length L. The arguments of proofs however closely follow and make heavy use of the conservative approach and estimates of [LPY], relying in particular on the Lu-Yau martingale decomposition and clever partitionings of the conditional measure.

研究の動機と目的

• ハミルトニアンが $H_M(x) = \sum_{i=1}^n V(x_i) + V(M - \sum x_i)$ の形をとる非有界な保存スピン系に対して、一様なポincareおよび対数ソボレフ不等式を導出すること。
• 系のサイズ$n$および全質量$M$に依存しないスペクトルギャップおよび対数ソボレフ定数の境界を確立すること。
• GlauberおよびKawasakiダイナミクスを比較し、Glauberの一体的境界が、$d$次元の立方体上でのKawasakiダイナミクスの$L^{-2}$減衰を示すこと。
• Landim, Panizo, and Yau (2000) の技術を拡張し、特にLu-Yauマルティンゲール分解および条件付き測度の分割を、非有界で保存的な系に適用すること。

提案手法

• 標準的なランダムウォークのパスカウンティングの議論を用いて、GlauberダイナミクスとKawasakiダイナミクスの$L^{-2}$減衰を関連付ける。
• Lu-Yauマルティンゲール分解を適用し、測度を条件付きに分解して分散とエントロピーを制御する。
• 変数のブロック間の共分散とエントロピーを制御するため、条件付き測度の巧みな分割を用いる。
• エントロピー不等式および共分散不等式（エントロピー不等式およびコーシー・シュワルツ）を用いて、分解における混合項を抑え込む。
• エントロピーの大きさに基づく2通りのケース分析を行う。小および大のエントロピーの場合に分けて、[LPY00, Lemma 4.5]および[LPY00, Lemma 4.6]の結果を用いて最終項を制御する。
• $\mu_{M,\beta}$を用いた極限手続きにより、$\beta \to \infty$ のとき条件付き測度$\mu_M$を定義し、制約付き系と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 厳密に凸または二次関数的摂動を受けるポテンシャルを持つ非有界な保存スピン系に対して、一様なスペクトルギャップおよび対数ソボレフ不等式を確立できるか？
• RQ2 Glauberダイナミクスが、$d$次元の立方体上でのKawasakiダイナミクスの$L^{-2}$減衰を示す一様な境界を与えるか？
• RQ3 Lu-Yauマルティンゲール分解および条件付き測度の分割は、$n$および$M$に依存しない一様な境界を可能にするか？
• RQ4 ポテンシャル$V$が厳密に凸または二次関数の小さな摂動であることが、不等式の一様性を保証するために果たす役割は何か？

主な発見

• $V$が厳密に凸または有界な二次関数的摂動を受ける場合、非有界な保存スピン系におけるGlauberダイナミクスに対して、一様なスペクトルギャップおよび対数ソボレフ定数が確立された。
• Kawasakiダイナミクスの$d$次元の立方体（辺の長さ$L$）上での$L^{-2}$減衰率は、パスカウンティングの議論により、一様なGlauber境界から直接導出された。
• Poincaréおよび対数ソボレフ不等式における定数は、系のサイズ$n$および全質量$M$の両方に対して独立である。
• 証明は、条件付き測度をブロックに分解し、エントロピーおよび共分散不等式を用いて混合項を制御することに依存している。
• 共分散項の最終的な境界は、2つのケースに分けられる：エントロピーが小さい場合と大きい場合。後者は、$\nu_{I_i \cup I_j, M}$および$\mathcal{L}_{2K}$を用いた精密な推定が必要となる。
• 条件付き測度およびブロックサイズの精密な制御により、定数$C_K$および$C_{K,\delta}$が$n$および$M$に依存しないようにできることが示されたことで、一様性が達成された。