[논문 리뷰] Shifted critical threshold in the loop $O(n)$ model at arbitrary small $n$

Lorenzo Taggi|arXiv (Cornell University)|2018. 06. 25.

Stochastic processes and statistical mechanics참고 문헌 8인용 수 5

한 줄 요약

이 논문은 $\mathbb{Z}^d$ ($d \geq 2$) 및 육각 격자에서의 루프 $O(n)$ 모델에서, 상호 루프 반발력으로 인해 모든 $n > 0$에 대해, 심지어 매우 작은 $n$에 대해서도 임계 임계값 $\lambda_c(n)$이 $1/\mu$를 엄격히 초과함을 확립한다. $c_0 > 0$인 $\lambda_c(n) \geq 1/\mu + c_0 n + O(n^2)$를 증명하여, 자가피避행보($n=0$)와 비교해 이동된 상전이를 보여준다.

ABSTRACT

In the loop $O(n)$ model a collection of mutually-disjoint self-avoiding loops is drawn at random on a finite domain of a lattice with probability proportional to $${λ^{\# \mbox{edges}} n^{\# \mbox{loops}},}$$ where $λ, n \in [0, \infty)$. Let $μ$ be the connective constant of the lattice and, for any $n \in [0, \infty)$, let $λ_c(n)$ be the largest value of $λ$ such that the loop length admits uniformly bounded exponential moments. It is not difficult to prove that $λ_c(n) =1/μ$ when $n=0$ (in this case the model corresponds to the self-avoiding walk) and that for any $n \geq 0$, $λ_c(n) \geq 1/μ$. In this note we prove that, \begin{align*} λ_c(n) & > 1/μ\, \, \, \, \, \, \, \, \, \, \, \mbox{whenever $n >0$}, \\ λ_c(n) & \geq 1/μ\, + \, c_0 \, n \, + \, O(n^2), \end{align*} on $\mathbb{Z}^d$, with $d \geq 2$, and on the hexagonal lattice, where $c_0>0$. This means that, when $n$ is positive (even arbitrarily small), as a consequence of the mutual repulsion between the loops, a phase transition can only occur at a strictly larger critical threshold than in the self-avoiding walk.

연구 동기 및 목표

• 루프 $O(n)$ 모델에서 $n > 0$일 때, 심지어 매우 작은 $n$에 대해서도 임계 임계값 $\lambda_c(n)$이 $1/\mu$를 초과하는지 여부를 규명하는 것.
• 자기피避행보($n=0$)와 비교해 루프 간 상호 반발력이 모델의 상전이에 미치는 영향을 분석하는 것.
• 확률론적 및 조합 기법을 사용하여, 작은 양수 $n$에 대해 $1/\mu$보다 엄격히 큰 하한 $\lambda_c(n)$을 엄밀히 확립하는 것.
• $n=0$ 또는 큰 $n$일 때의 결과를 초월하여, $\mathbb{Z}^d$ 및 육각 격자에서 루프 $O(n)$ 모델의 상도표를 이해하는 데 기여하는 것.

제안 방법

• 유한 부분그래프 $G$ 위의 루프 구성 $\kappa$에 대해, $\lambda^{o_G(\kappa)} n^{L_G(\kappa)} / Z_{\lambda,n}(G)$로 정의된 루프 $O(n)$ 모델 측도를 사용한다.
• 비복귀 단계의 밀도가 주어진 자기피避행 다각형의 수를 제어하기 위해 케스텐의 패턴 정리를 적용한다.
• 비복귀 단계의 밀도가 높고 낮은 루프 구성으로의 분해를 수행하며, 높은 밀도에는 $SAP_x(N,a'N,P')$를, 낮은 밀도에는 $SAP_x(N) \setminus SAP_x(N,a'N,P')$를 사용한다.
• 케스텐의 정리에서 유도된 지수 감쇠 추정과 $Z_{\lambda,n}(G \setminus \mathcal{P}) / Z_{\lambda,n}(G)$의 비율에 기반한 새로운 추정을 조합하여, 원점이 길이 $\ell$를 초과하는 루프에 속할 확률에 상한을 구한다.
• 임계 임계값 방정식 $\lambda \mu = (1 + \lambda^4 n)^{a'}$를 $n=0$을 중심으로 타일러 전개하여, $\lambda_c(n)$의 하한에서 선형 항 $c_0 n$을 유도한다.
• $\lambda_1(n) > 1/\mu$임을 보이고 케스텐의 정리로부터 유도된 두 번째 임계값 $\lambda_1'$와 결합하여, 모든 $n > 0$에 대해 $\lambda_c(n) > 1/\mu$임을 증명한다.

실험 결과

연구 질문

• RQ1 루프 $O(n)$ 모델에서 $n > 0$일 때, 심지어 $n$이 매우 작을 때도 임계 임계값 $\lambda_c(n)$이 $1/\mu$를 초과하는가?
• RQ2 자기피避행보($n=0$)와 비교해 $O(n)$ 모델에서 루프 간 상호 반발력이 상전이에 어떤 영향을 미치는가?
• RQ3 작은 $n > 0$에 대해, $\lambda_c(n) \geq 1/\mu + c_0 n + O(n^2)$ 형태의 정량적 하한을 엄밀히 확립할 수 있는가?
• RQ4 루프 길이 확률의 지수 감쇠를 제어하는 데 있어 루프 밀도와 비복귀 구조의 역할은 무엇인가?

주요 결과

• 모든 $n > 0$에 대해 임계 임계값 $\lambda_c(n)$은 $\lambda_c(n) > 1/\mu$를 만족하며, 이는 자기피避행보($n=0$)와 비교해 엄격한 상전이 이동을 증명한다.
• 작은 $n > 0$에 대해 하한 $\lambda_c(n) \geq 1/\mu + \frac{a'}{\mu^5} n + O(n^2)$이 확립되며, 여기서 $a' > 0$은 격자 및 매개변수 선택에 따라 달라진다.
• 임계 임계값의 이동은 루프-루프 반발력으로 인해 발생하며, 이는 장거리 루프의 형성을 억제하고 매크로스코픽 루프 형성의 시기를 연기한다.
• 증명은 비복귀 단계의 밀도가 높고 낮은 세그먼트로 루프 구성의 분해에 기반하며, 각각에 대해 별도의 상한을 적용한다.
• 케스텐의 패턴 정리와 새로운 분할구간 비율 추정을 활용함으로써, 작은 $n > 0$ 조건 하에서 장거리 루프의 확률을 제어할 수 있다.
• 결과는 $\mathbb{Z}^d$ ($d \geq 2$) 및 육각 격자 모두에서 성립하여, 작은 $n > 0$에 대해 이동된 임계값의 보편성을 확인한다.