[논문 리뷰] Counting self-avoiding walks

Geoffrey Grimmett, Zhongyang Li|arXiv (Cornell University)|2013. 04. 26.

Complex Network Analysis Techniques참고 문헌 31인용 수 19

한 줄 요약

이 논문은 무한 그래프 위에서의 자가피避 보행(SAWs)의 연결 상수 µ(G)를 연구하며, 그래프의 구조에 따른 그 의존성을 다룬다. 삼차 그래프에 대한 파이저 변환의 영향을 분석하고, ∆-정규 그래프에 대한 보편적 상한과 하한을 설정하며, 정점-전이성 그래프에 대해 엄격한 부등식을 증명한다. 이는 카일리 그래프에 관계자(relator)를 추가할 경우 µ(G)가 엄격히 감소하고, 새로운 생성자(generator)를 추가할 경우 엄격히 증가함을 보여준다. 주요 기여는 정규 및 전이성 그래프 전반에 걸쳐 연결 상수를 이해하기 위한 체계적인 프레임워크를 제공하는 것으로, 유한 생성 군의 카일리 그래프에 응용되며, SLE8/3로의 수렴과 연결 상수의 국소성에 관한 열린 문제를 포함한다.

ABSTRACT

The connective constant $μ(G)$ of a graph $G$ is the asymptotic growth rate of the number of self-avoiding walks on $G$ from a given starting vertex. We survey three aspects of the dependence of the connective constant on the underlying graph $G$. Firstly, when $G$ is cubic, we study the effect on $μ(G)$ of the Fisher transformation (that is, the replacement of vertices by triangles). Secondly, we discuss upper and lower bounds for $μ(G)$ when $G$ is regular. Thirdly, we present strict inequalities for the connective constants $μ(G)$ of vertex-transitive graphs $G$, as $G$ varies. As a consequence of the last, the connective constant of a Cayley graph of a finitely generated group decreases strictly when a new relator is added, and increases strictly when a non-trivial group element is declared to be a generator. Special prominence is given to open problems.

연구 동기 및 목표

• 기본 그래프 G의 구조적 수정에 따라 자가피避 보행의 연결 상수 µ(G)가 어떻게 변화하는지 분석하는 것.
• ∆-정규 그래프의 연결 상수에 대한 보편적 상한과 하한을 설정하는 것.
• G가 정점-전이성일 경우, 특히 유한 생성 군의 카일리 그래프 맥락에서 µ(G)에 대한 엄격한 부등식을 증명하는 것.
• 카일리 그래프에 관계자 또는 생성자를 추가함으로써 연결 상수에 미치는 영향을 조사하는 것.
• 수렴이 SLE8/3로 향하는지, 연결 상수가 국소적인지에 관한 열린 문제를 부각하는 것.

제안 방법

• Hammersley 정리를 사용하여 SAW의 지수적 성장률로서 연결 상수 µ(G)의 존재를 확립한다.
• 파이저 변환(정점들을 삼각형으로 대체하는 것)을 적용하여 삼차 그래프에서 µ(G)에 미치는 영향을 연구한다.
• 조합론적 및 그래프 이론적 기법을 사용하여 ∆-정규 그래프에서의 µ(G)에 대한 경계를 유도한다.
• 특히 유한 코셋 성질을 가진 부분군을 활용한 군론적 방법을 사용하여 정점-전이성 그래프에 대한 엄격한 부등식을 증명한다.
• 군의 몫(관계자 추가) 또는 생성집합 확장(새로운 생성자 추가)에 따른 영향을 분석함으로써 카일리 그래프에 결과를 적용한다.
• Duminil-Copin과 Smirnov의 µ(H) = √(2+√2) 증명에서 사용된 이산 해석적 기법과 다리 분해 기법을 활용하여 이론적 경계를 뒷받침한다.

실험 결과

연구 질문

• RQ1 유한 생성 군의 표현에 비자명한 관계자(relator)를 추가하면, 이를 통해 유도된 카일리 그래프 Gρ에서 연결 상수 µ(G)가 엄격히 감소하는가?
• RQ2 카일리 그래프의 생성집합에 새로운 비자명한 군 원소를 생성자로 추가하면, 연결 상수 µ(G)가 엄격히 증가하는가?
• RQ3 모든 단순한 삼차 정점-전이성 그래프 G에 대해, µ(G) ≥ φ 이다. 여기서 φ = (1+√5)/2 는 황금비이다.
• RQ4 유한 코셋 성질을 만족하는 준전이성 간선 추가에 의해 유도된 G′에 대해, µ(G′) − µ(G) > ϵ 를 만족하는 양수의 하한 ϵ을 계산할 수 있는가?
• RQ5 정점-전이성 그래프의 연결 상수가 어떤 정도로 특정 정점 중심의 큰 유한 구(sphere)의 구조에 의해 결정되는가?

주요 결과

• 육각형 격자 H의 연결 상수는 정확히 µ(H) = √(2+√2)이며, 이는 이산 해석적 기법과 다리 분해를 통해 확인되었다.
• 사다리 그래프 L의 연결 상수는 µ(L) = (1+√5)/2 = φ, 즉 황금비이며, SAW 수에 대한 피보나치 재귀관계에서 유래된다.
• 정사각형/팔각형 격자(아르키메데스 (4,8²) 격자)의 연결 상수는 φ보다 엄격히 크며, 하한으로서 µ > 1.804 를 가진다.
• 카일리 그래프에 비자명한 관계자를 추가하면 연결 상수가 엄격히 감소한다: ρ ≠ ι 이면 µ(Gρ) < µ(G) 이다.
• 카일리 그래프의 생성집합에 새로운 생성자(그 역원 포함)를 추가하면 연결 상수가 엄격히 증가한다: µ(G) < µ(Gw).
• 삼각형 격자 T의 연결 상수는 µ(Z²) < µ(T) 를 만족한다. T는 주기적이고 준전이적인 보강을 통해 Z²를 포함하고 있기 때문이다.