[論文レビュー] The degree distribution in bipartite planar maps: applications to the Ising model

Mireille Bousquet‐Mélou, Gilles Schaeffer|ArXiv.org|Nov 4, 2002

Stochastic processes and statistical mechanics参考文献 2被引用数 58

ひとこと要約

本稿では、二部平面図形の黒・白頂点の次数に応じて生成関数を特徴付けることで、ランダム平面格子上のイジング模型およびハード粒子模型を、組み合わせ的かつ双対的（バイジェクティブ）な手法で解く。木-図形対応と代数的変形を用い、次数が有界な図形の解が代数的であることを証明。従来の行列積分を用いた手法に比べ、より明確な数学的整合性と組合せ的洞察が得られる。

ABSTRACT

We characterize the generating function of bipartite planar maps counted according to the degree distribution of their black and white vertices. This result is applied to the solution of the hard particle and Ising models on random planar lattices. We thus recover and extend some results previously obtained by means of matrix integrals. Proofs are purely combinatorial and rely on the idea that planar maps are conjugacy classes of trees. In particular, these trees explain why the solutions of the Ising and hard particle models on maps of bounded degree are always algebraic.

研究の動機と目的

• ランダム平面格子上のイジング模型およびハード粒子模型の生成関数を、完全に組合せ論的手段で導出すること。
• 二部平面図形の生成関数を、その黒頂点および白頂点の次数分布によって特徴付けること。
• 木との双対的対応を通じて、次数が有界な図形の解の代数的性質を組合せ論的に説明すること。
• 物理学の文献で一般的に用いられるが、組合せ的根拠に欠ける行列積分技法の代わりに、厳密で初等的な組合せ的枠組みを提供すること。

提案手法

• 著者らは、平面図形と木の共役類との間の双対性を用いて、二部図形の次数分布を符号化する。
• 次数2およびmの頂点のみを含む「ボタンツリー」を定義し、これにより次数2およびmの頂点のみを含む図形を符号化する。
• これらの木の生成関数は、立方代数方程式を満たす系列Pを用いたパラメータ化によって導出される。
• イジング模型の生成関数は、図形生成関数の導関数の積分として表現され、その後、木のパラメータPを用いて書き直される。
• 被積分関数がPの有理関数であることが示され、積分がPおよびその境界値の有理関数として評価可能となる。
• 最終的なイジング生成関数は、Pおよびz=0におけるPの両方が代数的であることから、代数的関数として得られる。

実験結果

リサーチクエスチョン

• RQ1 次数が有界な図形におけるイジング模型およびハード粒子模型の解が、常に代数的であるのはなぜか？
• RQ2 二部平面図形における黒頂点および白頂点の次数分布を、生成関数に体系的に符号化する方法は何か？
• RQ3 イジング模型の解の代数的構造を、行列積分に依存せずに、組合せ論的に説明できるか？
• RQ4 双対性における図形生成関数とその対応する木構造の生成関数との正確な関係は何か？
• RQ5 四価図形におけるイジング模型を組合せ論的にどのように解き、なぜその解が代数的のままであるのか？

主な発見

• m価の二部平面図形の生成関数で、白頂点をルートとするものについて、$ I(X,Y,u) = A - \binom{m-1}{2}A^2 + \frac{mx}{2}\int_0^v \frac{\partial}{\partial x}(\bar{M}(x,y,z) + \bar{M}(y,x,z)) \frac{dz}{z} $ と表され、ここで $ A $ は $ A = xy(1 + (m-1)A)^{m-1} $ を満たす。
• 四価図形の場合、イジング生成関数 $ I(X,Y,u) $ は7次代数的関数であり、$ P = 1 + 3xyP^3 + v^2 \frac{P(1+3xP)(1+3yP)}{(1-9xyP^2)^2} $ を満たす系列Pを用いて有理関数として表現可能である。
• 系列 $ P(x,y,0) $（次数4の頂点のみを含むボタンツリーを数えるもの）は $ P(x,y,0) = 1 + 3A $ によってAと関係づけられ、これにより最終式が簡略化される。
• イジング生成関数における積分はPの有理関数に簡略化され、最終解の代数的性質が保証される。
• 四価図形におけるイジング模型の解は、従来の行列積分によるパラメータ化と一致し、一貫性が確認される一方で、組合せ論的導出が可能であることが示される。
• 生成関数 $ I(tX,tY,u) $ の頂点展開の先頭項は $ t(2X) + t^2(9X^2 + XY(8u^2 + u^4)) + O(t^3) $ であり、小さな図形の明示的数え上げと整合的である。