[论文解读] 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$-對數 Sobolev 不等式，將先前從實值自旋推廣至非交換海森堡群自旋的結果。若單一自旋的無邊界測度滿足 $q$-對數 Sobolev 或非均勻 U-界不等式，則在適當的相互作用條件下，無限體系吉布斯測度將繼承 $q$-對數 Sobolev 不等式，從而放寬了以往對相互作用二階導數一致有界性的假設。

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$-對數 Sobolev 不等式從有限維推廣至海森堡群乘積上的無限維吉布斯測度。
• 分析自旋取值於海森堡群的系統，該群為非交換、次黎曼的李群，標準的橢圓方法在此失效。
• 放寬對相互作用二階導數一致有界性的假設，此條件在以往研究中限制了適用範圍。
• 建立單一自旋測度（滿足 $q$-LS 或非均勻 U-界）的充分條件，使無限體系吉布斯測度能繼承 $q$-LS 不等式。
• 推廣實值自旋與先前海森堡群工作的結果，處理非均勻與奇異的相互作用。

提出的方法

• 使用海森堡群 $\mathbb{H}$ 上的次梯度 $\nabla = (X_1, X_2)$ 和次拉普拉斯算子 $\Delta = X_1^2 + X_2^2$，其滿足 Hörmander 條件。
• 以形式 $\mu(|f|^q \log \frac{|f|^q}{\mu|f|^q}) \leq c \mu(|\nabla f|^q)$ 應用 $q$-對數 Sobolev 不等式，其中 $q \in (1,2]$。
• 透過投影算子 $\mathcal{P}^n$ 和 $\mathcal{Q}^n$ 使用塊 Glauber 動力學方法，交替進行不同自旋位置的投影。
• 利用條件數學期望 $\mathbb{E}^{\Gamma_i}$ 和 $\mathbb{E}^{\Gamma_j}$ 分解方差，並控制連續投影之間差異的 $L^q$ 范數。
• 應用切比雪夫不等式與 Borel-Cantelli 引理，證明序列 $\mathcal{Q}^n f$ 几乎必然收斂至 $\nu f$，從而建立遍歷性與類似譜間隔的控制。
• 依賴引理 6.5 和引理 7.1 來控制條件數學期望梯度的 $L^q$ 范數，進而導出連續投影之間差異的 $q$-範數指數衰減。

实验结果

研究问题

• RQ1 在什麼條件下，海森堡群乘積上的無限維吉布斯測度滿足 $q$-對數 Sobolev 不等式？
• RQ2 當單一自旋測度滿足 $q$-LS 或非均勻 U-界時，$q$-對數 Sobolev 不等式能否推廣至海森堡群上的非交換自旋系統？
• RQ3 在海森堡群自旋的 $q$-對數 Sobolev 不等式背景下，如何放寬對 $\|\nabla_i \nabla_j V(x_i, x_j)\|_\infty$ 的標準一致有界性假設？
• RQ4 Carnot-Carathéodory 距離在表徵海森堡群幾何性質以用於函數不等式中扮演何種角色？
• RQ5 Glauber 動力學 $\mathcal{Q}^n f$ 對均值 $\nu f$ 的收斂性，能否用來推斷無限體系測度的 $q$-對數 Sobolev 不等式？

主要发现

• 若單一自旋無邊界測度滿足 $q$-對數 Sobolev 不等式，且相互作用滿足條件 (C1)，該條件控制勢能梯度的增長，則無限維吉布斯測度滿足 $q$-對數 Sobolev 不等式。
• 本文在 $\|\nabla_i \nabla_j V(x_i, x_j)\|_\infty = \infty$ 時仍能建立 $q$-對數 Sobolev 不等式，從而超越了經典的二階導數有界假設。
• 證明依賴於使用交替投影 $\mathcal{P}^n$ 和 $\mathcal{Q}^n$ 的塊動力學論證，導致連續迭代之間差異的 $L^q$ 範數指數衰減。
• 應用 Borel-Cantelli 引理證明 $\mathcal{Q}^n f \to \nu f$ 几乎必然，此結果暗示譜間隔的存在，並支援 $q$-LS 不等式。
• 定理 2.3 的準則適用於無二次相互作用的局部規範，其中勢能的二階導數無界，因此推廣了 [22, 23, 28, 38] 的結果。
• 該方法避開了在海森堡群上因非橢圓性而失效的 $\Gamma_2$-準則，轉而採用條件數學期望與梯度範數控制策略。