[論文レビュー] Enumeration of perfect matchings of graphs with rotational symmetry by Pfaffians

Weigen Yan, Yeong‐Nan Yeh+1 more|arXiv (Cornell University)|Nov 6, 2006

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に対しサイズN/2nのn個の行列式の積として表現する。
• 代数的グラフ理論およびデイマー統計の技術を用いて、Pfaffianの対称性に起因する因数分解を分析する。
• 行列式積の漸近的挙動を用いて、熱力学的極限における系のエントロピーを計算する。
• Kenyon, Okounkov, Sheffield, および Salinas–Nagle の既知の結果を用いて、円筒型系と対応するトーラス型系のエントロピーを比較する。

実験結果

リサーチクエスチョン

• RQ1 2n回転対称性をもつ平面二部グラフに対して、完全マッチングの数をどのようにして効率的に計算できるか？
• RQ2 2n回転対称性をもつボトム・プレーン二部格子の漸近的エントロピーは何か？
• RQ3 2n回転対称性をもつ円筒型タイリングは、それに対応するトーラス型系と同一のエントロピーをもつか？
• RQ4 回転対称性をもつグラフのPfaffianは、より小さい行列式の積に因数分解可能か？
• RQ5 回転対称性をもつ特定のタイリング・モデルにおける完全マッチングの数およびエントロピーの明示的公式は何か？

主な発見

• 2n回転対称性をもつ平面二部グラフ（位数N）における完全マッチングの数は、サイズN/2nのn個の行列式の積に等しい。
• 2n回転対称性をもつボトム・プレーン二部格子のエントロピーは、行列式積の漸近的成長率を用いて明示的に計算可能である。
• 2つの特定のタイプの円筒型タイリングに対して、完全マッチングの数およびエントロピーの閉形式表現を導出した。
• 各円筒型タイリングのエントロピーが、それに対応するトーラス型系と同一であることが示され、深い構造的等価性が確認された。
• 代数的および群論的分解を用いて、対称性をもつ格子モデルにおけるデイマー数およびエントロピーを体系的に計算する手法が提供された。
• トーラス上でのデイマー・モデルに関する先行研究および層状結晶系への応用を、回転対称性を統合した列挙フレームワークへと拡張した。