[论文解读] The Logarithmic Sobolev Inequality in Infinite dimensions for Unbounded Spin Systems on the Lattice with non Quadratic Interactions

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

Nonlinear Partial Differential Equations参考文献 13被引用 4

一句话总结

本文確立了在具有非二次、非嚴格凸相互作用的一維無界自旋系統中，無限體積吉布斯測度滿足對數索博列夫不等式（LSq）的條件。通過假設單一格點條件測度的均勻LSq，並引入一種新型相關性衰減標準，作者即使在相互作用的二階導數無界時，也將LSq推廣至完整的無限體積測度。

ABSTRACT

We are interested in the Logarithmic Sobolev Inequality for the infinite volume Gibbs measure with no quadratic interactions. We consider unbounded spin systems on the one dimensional Lattice with interactions that go beyond the usual strict convexity and without uniform bound on the second derivative. We assume that the one dimensional single-site measure with boundaries satisfies the Log-Sobolev inequality uniformly on the boundary conditions and we determine conditions under which the Log-Sobolev Inequality can be extended to the infinite volume Gibbs measure.

研究动机与目标

• 將對數索博列夫不等式（LSq）從有限維吉布斯測度推廣至無界自旋系統中的無限維吉布斯測度。
• 透過考慮二階導數無界的相互作用（即 ||∇i∇jV(xi,xj)||∞ = ∞）來彌補現有理論的缺口。
• 提供足夠條件，使無限體積吉布斯測度在缺乏均勻強凸性或有界曲率的情況下，仍能一致滿足LSq。
• 將先前需假設相互作用勢的Hessian有界的結果推廣至更一般的非二次相互作用。
• 為將LSq結果推廣至高維晶格及修改版LS不等式奠定基礎。

提出的方法

• 假設所有邊界條件 ω 下，單一格點條件測度 E^{i,ω} 均滿足均勻LSq。
• 在吉布斯測度下，對局部函數的協方差引入相關性衰減條件（H2）。
• 採用有限體積近似方案，將吉布斯測度局部化於有限集合 Λ，並利用單一格點上的均勻LSq控制整體測度。
• 應用「掃除」論證法以控制邊界條件的影響，並從局部估計推導出全局LSq。
• 利用一維晶格與近鄰相互作用的結構，控制近似過程中的誤差項。
• 將主要結果簡化為驗證假設（H0）、（H2）與（H3），其中（H0）確保單一格點LSq，（H2）控制相關性衰減，（H3）確保勢能的可積性。

实验结果

研究问题

• RQ1 當相互作用勢的二階導數無界時，無限體積吉布斯測度在何種條件下滿足對數索博列夫不等式？
• RQ2 是否可以在不假設相互作用Hessian有界的情況下，將LSq不等式從單一格點條件測度推廣至完整的無限體積吉布斯測度？
• RQ3 在缺乏嚴格凸性或有界曲率的情況下，如何利用相關性衰減估計來控制全局LSq常數？
• RQ4 在單一格點測度與相互作用衰減具有類似條件時，是否可能將LSq結果推廣至高維晶格？
• RQ5 該框架能否適應如 [G-G-M] 中所述的修改版對數索博列夫不等式，以適用於非二次相互作用？

主要发现

• 只要單一格點條件測度在所有邊界條件下均一致滿足LSq，則無限體積吉布斯測度即滿足與系統大小無關的 q-對數索博列夫不等式。
• 主要結果在假設（H0）、（H2）與（H3）下成立，其中（H0）確保單一格點LSq的一致性，（H2）控制相關性衰減，（H3）確保勢能的可積性。
• 證明策略將無限體積問題簡化為有限體積近似，並利用單一格點上的均勻LSq與掃除論證法。
• 提供了例子：當 φ(x) = |x|^t 且 t ≥ q/(q−1)，以及 V(x,y) = |x−y|^r 時，若 max{r, (r−1)q} < t，則滿足條件。
• 該結果可推廣至樹狀圖，並暗示在高維中可能獲得類似結果，但此仍具挑戰性。
• 該框架或可適應 [G-G-M] 中所述的修改版LS不等式，但需進一步研究掃除關係與更強的假設。