[论文解读] On $p$-adic Gibbs Measures for Hard Core Model on a Cayley Tree

Daniel Gandolfo, U. A. Rozikov+1 more|arXiv (Cornell University)|Jul 25, 2011

advanced mathematical theoriesMathematics参考文献 21被引用 22

一句话总结

本文研究了在Cayley树上硬核模型的$p$-进Gibbs测度，引入了一个非阿基米德框架，揭示了与经典实值模型的显著差异。研究证明，$p$-进分裂Gibbs测度仅在$p$整除$2^k - 1$时存在；当$k=2$时，此类测度仅在$p=3$时存在，此时对于$ lambda$位于半径为$1/27$的$p$-进球内的情形，存在两个不同的周期性非平移不变测度，且测度有界当且仅当$p \neq 3$。结果凸显了由于非阿基米德范数和$p$-进指数函数定义域受限，$p$-进与实Gibbs测度之间存在的根本结构性差异。

ABSTRACT

In this paper we consider a nearest-neighbor $p$-adic hard core (HC) model, with fugacity $λ$, on a homogeneous Cayley tree of order $k$ (with $k + 1$ neighbors). We focus on $p$-adic Gibbs measures for the HC model, in particular on $p$-adic "splitting" Gibbs measures generating a $p$-adic Markov chain along each path on the tree. We show that the $p$-adic HC model is completely different from real HC model: For a fixed $k$ we prove that the $p$-adic HC model may have a splitting Gibbs measure only if $p$ divides $2^k-1$. Moreover if $p$ divides $2^k-1$ but does not divide $k+2$ then there exists unique translational invariant $p$-adic Gibbs measure. We also study $p$-adic periodic splitting Gibbs measures and show that the above model admits only translational invariant and periodic with period two (chess-board) Gibbs measures. For $p\geq 7$ (resp. $p=2,3,5$) we give necessary and sufficient (resp. necessary) conditions for the existence of a periodic $p$-adic measure. For k=2 a $p$-adic splitting Gibbs measures exists if and only if p=3, in this case we show that if $λ$ belongs to a $p$-adic ball of radius 1/27 then there are precisely two periodic (non translational invariant) $p$-adic Gibbs measures. We prove that a $p$-adic Gibbs measure is bounded if and only if $p e 3$.

研究动机与目标

• 研究在Cayley树上硬核模型的$p$-进Gibbs测度的存在性与结构，该模型此前仅在实数域上被研究过。
• 确定$p$-进分裂Gibbs测度存在的条件，尤其关注平移不变性与周期性。
• 比较$p$-进Gibbs测度与经典实值对应物的行为，突出由于$p$-进数的非阿基米德性质导致的根本性差异。
• 分析$p$-进Gibbs测度的有界性，并确定其有界或无界的精确条件。

提出的方法

• 研究采用$p$-进分析，利用非阿基米德$p$-进范数与强三角不等式分析测度行为。
• 基于硬核相互作用与Cayley树结构，建立$p$-进Gibbs测度的功能方程。
• 通过$p$与$k$的数论条件（特别是$p \mid 2^k - 1$）分析分裂Gibbs测度的存在性。
• 通过施加周期性条件（如周期二或国际象棋棋盘模式）研究周期性Gibbs测度，将问题转化为在$\mathbb{Q}_p$上求解方程组。
• 通过分析测度值的$p$-进范数，特别是$|\mu_n|_p$的行为，研究测度的有界性。
• 利用$p$-进指数函数的性质，其仅在$|x|_p \leq 1/p$时有定义，且其范数满足$|\exp_p(x)|_p = 1$。

实验结果

研究问题

• RQ1 在什么$p$与$k$的条件下，硬核模型在Cayley树上的$p$-进分裂Gibbs测度存在？
• RQ2 在$p$-进Gibbs测度的结构中——具体而言，它们是否仅具有平移不变性，还是也存在周期性测度（如周期二）？
• RQ3 当$k=2$时，哪些$p$与$\lambda$的取值允许存在非平移不变的$p$-进Gibbs测度？存在多少个这样的测度？
• RQ4 在什么条件下$p$-进Gibbs测度有界？其有界性如何依赖于$p$？
• RQ5 在结构性质上，$p$-进Gibbs测度与实Gibbs测度的根本差异是什么？

主要发现

• 在阶数为$k$的Cayley树上，硬核模型的$p$-进分裂Gibbs测度仅当$p$整除$2^k - 1$时存在。
• 若$p \mid 2^k - 1$且$p \nmid k+2$，则存在唯一的平移不变$p$-进Gibbs测度。
• 该模型仅允许平移不变与周期二（国际象棋棋盘）的周期性$p$-进Gibbs测度。
• 当$k=2$时，$p$-进分裂Gibbs测度存在当且仅当$p=3$，此时若$\lambda$位于半径为$1/27$的$p$-进球内，则恰好存在两个周期性（非平移不变）Gibbs测度。
• $p$-进Gibbs测度有界当且仅当$p \neq 3$，当$p=3$时测度无界。
• 对于$p \geq 7$，周期性$p$-进Gibbs测度的存在需满足$p \mid 2^k - 1$且$p \mid k - 2$；而对于$p=2,3,5$，该条件为必要但未必充分。