[논문 리뷰] On $p$-adic Gibbs Measures for Hard Core Model on a Cayley Tree

Daniel Gandolfo, U. A. Rozikov외 1명|arXiv (Cornell University)|2011. 07. 25.

advanced mathematical theoriesMathematics참고 문헌 21인용 수 22

한 줄 요약

이 논문은 케일리 트리 위의 하드 코어 모델에 대한 $p$-adic 길버스 측도를 조사하며, 비아르키메데스적 프레임워크를 도입하여 고전적 실수 값 모델과 근본적인 대비를 드러낸다. $p$-adic 분할 길버스 측도가 존재하는 것은 $p$가 $2^k - 1$을 나누는 경우에 한해 가능하며, $k=2$일 때는 $p=3$일 때에만 존재하며, 이 경우 $\lambda$가 반경 $1/27$인 $p$-adic 공 안에 있을 때 정확히 두 개의 서로 다른 주기적 비이동 불변 측도가 존재한다. 유계성은 $p \neq 3$일 때에만 성립한다. 이러한 결과는 비아르키메데스 노름과 $p$-adic 지수 함수의 정의역 제한으로 인해 $p$-adic 길버스 측도와 실수 길버스 측도 사이에 근본적인 구조적 차이가 있음을 강조한다.

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$.

연구 동기 및 목표

• 실수에서만 이전에 연구된 바 있는 케일리 트리 위의 하드 코어 모델에 대한 $p$-adic 길버스 측도의 존재성과 구조를 조사하는 것.
• 특히 이동 불변성과 주기성에 초점을 맞춰, $p$-adic 분할 길버스 측도가 존재하는 조건을 규명하는 것.
• 비아르키메데스적 성격을 고려할 때, $p$-adic 길버스 측도와 그 고전적 실수 대응체 사이의 행동을 비교하여 근본적인 차이점을 부각하는 것.
• 유계성의 분석을 통해 $p$-adic 길버스 측도가 언제 유계 또는 무한대가 되는지 정확한 조건을 규명하는 것.

제안 방법

• 비아르키메데스적 $p$-adic 노름과 강한 삼각 부등식을 활용하여 측도의 행동을 분석하기 위해 $p$-adic 해석을 적용한다.
• 하드 코어 상호작용과 케일리 트리의 구조를 바탕으로 $p$-adic 길버스 측도에 대한 함수방정식을 수립한다.
• 분할 길버스 측도의 존재성은 $p$와 $k$에 대한 수론적 조건, 특히 $p \mid 2^k - 1$을 통해 분석한다.
• 주기적 길버스 측도는 주기 조건(예: 주기 2 또는 체스판 구조)을 도입하여 $\mathbb{Q}_p$ 위에서의 방정식계의 해로 문제를 축소시킨다.
• $p$-adic 노름을 통해 측도 값의 크기, 특히 $|\mu_n|_p$의 행동을 분석하여 측도의 유계성을 분석한다.
• $p$-adic 지수 함수는 $|x|_p \leq 1/p$에서만 정의되며, 그 노름 행동은 $|\exp_p(x)|_p = 1$임을 활용한다.

실험 결과

연구 질문

• RQ1 케일리 트리 위의 하드 코어 모델에 대해 $p$-adic 분할 길버스 측도가 존재하는 조건은 $p$와 $k$에 대해 어떤가?
• RQ2 특히 $p$-adic 길버스 측도의 구조는 어떠한가? 즉, 이동 불변 측도 외에도 주기적 측도(예: 주기 2)가 존재하는가?
• RQ3 특히 $k=2$일 때, $p$와 $\lambda$의 어떤 값들에 대해 비이동 불변 $p$-adic 길버스 측도가 존재하며, 그 수는 몇 개인가?
• RQ4 $p$-adic 길버스 측도가 유계가 되는 조건은 언제이며, 이는 $p$에 따라 어떻게 달라지는가?
• RQ5 $p$-adic 길버스 측도의 구조적 성질은 실수 길버스 측도와 근본적으로 어떻게 다를까?

주요 결과

• 하드 코어 모델에 대한 $p$-adic 분할 길버스 측도는 케일리 트리의 차수 $k$에 대해 $p$가 $2^k - 1$을 나누는 경우에만 존재한다.
• 만약 $p \mid 2^k - 1$ 이고 $p \nmid k+2$ 이면, 유일한 이동 불변 $p$-adic 길버스 측도가 존재한다.
• 이 모델은 오직 이동 불변 및 주기 2(체스판 구조)의 주기적 $p$-adic 길버스 측도만 허용한다.
• 특히 $k=2$일 때, $p$-adic 분할 길버스 측도가 존재하는 것은 $p=3$일 때에만 가능하며, 이 경우 $\lambda$가 반경 $1/27$인 $p$-adic 공 안에 있을 때 정확히 두 개의 주기적(비이동 불변) 길버스 측도가 존재한다.
• $p$-adic 길버스 측도는 $p \neq 3$일 때에만 유계이며, $p=3$일 경우 무한대가 된다.
• $p \geq 7$에 대해 주기적 $p$-adic 길버스 측도가 존재하기 위해서는 $p \mid 2^k - 1$ 이고 $p \mid k - 2$여야 하며, $p=2,3,5$의 경우 조건은 필요하지만 반드시 충분하지 않다.