[논문 리뷰] Enumeration of perfect matchings of graphs with rotational symmetry by Pfaffians

Weigen Yan, Yeong‐Nan Yeh외 1명|arXiv (Cornell University)|2006. 11. 06.

Graph theory and applications참고 문헌 20인용 수 1

한 줄 요약

이 논문은 2n-회전 대칭을 갖는 평면 이분할 그래프에서 완전 매칭을 세는 방법을 개발하며, Pfaffian을 사용하여 완전 매칭의 수가 크기가 N/2n인 n개의 행렬식의 곱과 같음을 보여준다. 원통형 타일링에서 매칭과 엔트로피에 대한 명시적 공식을 유도하여, 이들의 엔트로피가 해당 토러스 시스템과 일치함을 증명한다.

ABSTRACT

The enumeration of perfect matchings of graphs is equivalent to the dimer problem which has applications in statistical physics. A graph G is said to be n-rotation symmetric if the cyclic group of order n is a subgroup of the automorphism group of G. The enumeration of perfect matchings of graphs with reflective symmetry was studied extensively in the past. In this paper we consider the natural problem: how to enumerate perfect matchings of graphs with rotational symmetry? We prove that if G is a plane bipartite graph of order N with 2n-rotation symmetry, then the number of perfect matchings of G can be expressed as the product of n determinants of order N/2n. Furthermore, we compute the entropy of a bulk plane bipartite lattice with 2n-notation symmetry. As examples we obtain explicit expressions for the numbers of perfect matchings and entropies for two types of tilings of (the surface of) cylinders. Based on the results on the entropy of the torus obtained by Kenyon, Okounkov, and Sheffield (Dimers and amoebae, Ann. Math. 163(2006), 1019–1056) and by Salinas and Nagle (Theory of the phase transition in the layered hydrogen-bonded SnCl 2 · 2H2O crystal, Phys. Rev. B, 9(1974), 4920–4931), we show that each of the cylinders in our examples and its corresponding torus have the same entropy. Finally, we pose some problems.

연구 동기 및 목표

• 반사 대칭이 아닌 회전 대칭을 갖는 그래프에서 완전 매칭을 세는 데 관한 문헌의 격차를 메우기 위해.
• 기존의 딤퍼 모델 기법을 순서 2n인 순환 회전에 대해 불변인 그래프로 일반화하기 위해.
• 2n-회전 대칭을 갖는 밀도 높은 평면 이분할 격자에서의 엔트로피를 계산하여, 토러스 및 결정계 시스템의 결과를 확장하기 위해.
• 원통형 타일링의 엔트로피와 그에 대응하는 토러스형 시스템 간의 연결을 확립하여 동일성을 보여주기 위해.
• 미래의 연구를 위한 회전 대칭을 갖는 딤퍼 시스템에 관한 열린 문제를 제기하기 위해.

제안 방법

• 2n-회전 대칭을 갖는 그래프의 딤퍼 분할 함수를 표현하기 위해 Pfaffian을 사용한다.
• 순환군 C_{2n}을 통한 군 작용 분해를 적용하여 문제를 더 작은 행렬식들로 축소한다.
• 전체 완전 매칭 수를 크기가 N/2n인 n개의 행렬식의 곱으로 표현한다. 여기서 N은 총 정점 수이다.
• 대칭에 기인한 Pfaffian의 인수분해를 분석하기 위해 대수적 그래프 이론과 딤퍼 통계 기법을 활용한다.
• 행렬식 곱의 渐近적 행동을 사용하여 열역학적 한계에서 시스템의 엔트로피를 계산한다.
• Kenyon, Okounkov, Sheffield, Salinas–Nagle의 기존 결과를 활용하여 원통형 시스템과 해당 토러스 시스템의 엔트로피를 비교한다.

실험 결과

연구 질문

• RQ1 2n-회전 대칭을 갖는 평면 이분할 그래프에서 완전 매칭의 수를 효율적으로 계산하는 방법은 무엇인가?
• RQ2 2n-회전 대칭을 갖는 밀도 높은 평면 이분할 격자에서의 점점 증가하는 엔트로피는 무엇인가?
• RQ3 2n-회전 대칭을 갖는 원통형 타일링은 그에 대응하는 토러스형 시스템과 동일한 엔트로피를 갖는가?
• RQ4 회전 대칭 그래프의 Pfaffian은 더 작은 행렬식들의 곱으로 분해될 수 있는가?
• RQ5 회전 대칭을 갖는 특정 타일링 모델에서 완전 매칭 수와 엔트로피에 대한 명시적 공식은 무엇인가?

주요 결과

• 순서 N인 2n-회전 대칭을 갖는 평면 이분할 그래프에서 완전 매칭의 수는 크기가 N/2n인 n개의 행렬식의 곱과 같다.
• 2n-회전 대칭을 갖는 밀도 높은 평면 이분할 격자에서의 엔트로피는 행렬식 곱의 점점 증가하는 비율을 사용하여 명시적으로 계산된다.
• 두 가지 특정 원통형 타일링 유형에 대해, 완전 매칭 수와 엔트로피에 대한 닫힌 형태의 표현식을 도출한다.
• 각 원통형 타일링의 엔트로피가 그에 대응하는 토러스형 시스템과 정확히 일치함을 보여주며, 깊은 구조적 동등성을 확인한다.
• 대칭적 격자 모델에서 딤퍼 수와 엔트로피를 계산하는 데 체계적인 방법을 제공하며, 대수적 및 군론적 분해 기법을 사용한다.
• 이전의 토러스 및 층상 결정계에서의 딤퍼 모델 연구를 확장하여, 수열 대칭을 포함한 세기 프레임워크를 도입한다.