[논문 리뷰] Connective constant for a weighted self-avoiding walk on $\mathbb{Z}^2$

Alexander Glazman|arXiv (Cornell University)|2014. 02. 21.

Theoretical and Computational Physics참고 문헌 23인용 수 3

한 줄 요약

이 논문은 양-바처 방정식과 파라에르미온 관측량에서 유도된 플라켓 무게를 가진 기울어진 $\theta$-마름모꼴 격자 ($\mathbb{Z}^2$) 위에서 가중치가 부여된 자제피하기 보행 모델을 제안한다. $\theta \in [\frac{\pi}{3}, \frac{2\pi}{3}]$ 에 해당하는 임계 무게의 가족에 대해, 연결 상수(connective constant)가 정확히 $\frac{1}{u_1}$ 임을 증명한다. $u_1, u_2, v, w_1, w_2$ 는 $\theta$ 에 대한 명시적 공식을 통해 표현되며, Duminil-Copin과 Smirnov의 꿀벌집 격자 결과를 일반화한다.

ABSTRACT

We consider a self-avoiding walk on the dual $\mathbb{Z}^2$ lattice. This walk can traverse the same square twice but cannot cross the same edge more than once. The weight of each square visited by the walk depends on the way the walk passes through it and the weight of the whole walk is calculated as a product of these weights. We consider a family of critical weights parametrized by angle $θ\in[\fracπ{3},\frac{2π}{3}]$. For $θ=\fracπ{3}$, this can be mapped to the self-avoiding walk on the honeycomb lattice. The connective constant in this case was proved to be equal to $\sqrt{2+\sqrt{2}}$ by Duminil-Copin and Smirnov in \cite{DS10}. We generalize their result.

연구 동기 및 목표

• 자기회피 보행의 연결 상수에 대한 정확한 해를 꿀벌집 격자에서 더 넓은 범주인 기울어진 $\\mathbb{Z}^2$ 격자 위의 가중치가 부여된 보행 모델로 확장하는 것.
• 양-바처 방정식과 파라에르미온 관측량의 일致 조건을 만족하는 임계 무게의 가족을 규명하는 것.
• 이 가족의 무게에 대해, 가중치가 부여된 보행의 지수적 성장률(즉, 연결 상수)이 정확히 $1/u_1$ 임을 증명하는 것.
• 각각의 각도 $\\theta$ 에 대해 임계 무게 $u_1, u_2, v, w_1, w_2$ 의 명시적이고 폐형의 표현식을 제공하는 것.

제안 방법

• 모델은 마름모꼴 격자 위에 정의되며, 각 플라켓 구성(빈칸, 단일 호, 직선, 두 개의 호)에 각각 각도 $\theta$ 에 따라 무게가 부여된다.
• 분할 함수는 고정된 모서리 중점에서 출발하는 모든 자기회피 보행에 대한 무게의 합으로 정의된다.
• 연결 상수는 극한 $\lim_{n\to\infty} \sqrt[n]{\tilde{c}_n} = 1/u_1$ 으로 유도되며, 여기서 $\tilde{c}_n$ 은 $n$ 개의 호를 가진 보행에 대한 가중치 합이다.
• 임계 무게는 양-바처 방정식과 파라에르미온 관측량의 일치 조건에서 유도되며, 관측량이 이산 해석적 조건을 만족하도록 보장한다.
• 무게는 $\theta$ 의 삼각함수를 사용하여 명시적으로 표현되며, $u_1$ 은 연결 상수의 역수로 주어진다.
• 모델이 $\theta = \pi/3$ 일 때 꿀벌집 격자 경우로 축소되며, 알려진 연결 상수 $\sqrt{2 + \sqrt{2}}$ 와 일致함을 보여줌으로써 해의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 자기회피 보행의 연결 상수에 대한 정확한 해를 꿀벌집 격자에서 $\mathbb{Z}^2$ 위의 더 넓은 범주인 가중치 부여 모델로 확장할 수 있는가?
• RQ2 마름모꼴 격자 위에서 어떤 무게의 가족이 파라에르미온 관측량이 이산 해석적이며 양-바처 방정식을 만족하도록 보장하는가?
• RQ3 $\theta \in [\pi/3, 2\pi/3]$ 의 연속적인 각도 가중치 가족에 대해 연결 상수가 정확히 $1/u_1$ 임이 보장되는가?
• RQ4 양-바처 방정식과 파라에르미온 관측량에서 유도된 무게는 $O(n)$ 모델의 알려진 임계 무게와 어떻게 관련이 있는가?
• RQ5 각도 $\theta$-호와 $(\pi-\theta)$-호에 대해 서로 다른 양의 정수 길이를 허용하면서도 연결 상수를 그대로 유지할 수 있는가?

주요 결과

• 모델이 $\theta = \pi/3$ 일 때 꿀벌집 격자로 축소되며, 연결 상수는 $\sqrt{2 + \sqrt{2}}$ 로, Duminil-Copin과 Smirnov의 결과와 일致한다.
• 임계 무게 $u_1, u_2, v, w_1, w_2$ 는 $\theta$ 에 대한 삼각함수 표현식을 통해 명시적으로 주어진다.
• 연결 상수는 정확히 $1/u_1$ 이며, $u_1$ 은 $\frac{\sin(5\pi/4)\sin(5\pi/8 + 3\theta/8)}{\sin(5\pi/4 + 3\theta/8)\sin(5\pi/8 - 3\theta/8)}$ 로 주어진다.
• 무게는 양-바처 방정식을 만족하며, 파라에르미온 관측량이 이산 해석적임을 보장함으로써 정확한 해법 가능성을 보장한다.
• 모델은 $\theta$-호와 $(\pi - \theta)$-호에 대해 임의의 양의 정수 길이를 부여해도 연결 상수 $1/u_1$ 이 그대로 유지된다.
• 모델이 $\theta = \pi/2$ 일 때, 무게는 대칭적이다: $u_1 = u_2$ 이며 $w_1 = w_2$ 이며, 격자의 회전 대칭성을 반영한다.