[論文レビュー] Matrix integrals and enumeration of maps

Jérémie Bouttier|arXiv (Cornell University)|Apr 15, 2011

Topological and Geometric Data Analysis参考文献 35被引用数 4

ひとこと要約

この論文は、ランダム行列理論における行列積分と、表面に埋め込まれたグラフ（平面的マップ）の列挙との間に深い接続を確立する。ヘルミート1行列模型の自由エネルギーの形式的展開が、マップに同等の図形を生成することを示す。主な貢献は、行列模型の解と組合せ的木構造との間の双対的対応を確立し、所定の頂点次数を持つ平面的マップの正確な列挙を可能にする。統計力学におけるランダム表面や、大規模なランダムマップの幾何的性質への応用がある。

ABSTRACT

This chapter is an introduction to the connection between random matrices and maps, i.e graphs drawn on surfaces. We concentrate on the one-matrix model and explain how it encodes and allows to solve a map enumeration problem.

研究の動機と目的

• ヘリウミット1行列模型と平面的マップの列挙との間の厳密な接続を確立すること。
• 純粋に組合せ論的手法では困難なマップ列挙問題を、行列積分技術によって解く方法を示すこと。
• 行列模型の解とラベル付き木の族との間の双対的対応を導出し、マップ列挙結果に対する構成的証明を提供すること。
• 多行列模型を用いて2部マップやより一般のマップクラスへこの手法を拡張すること。
• これらの双対的対応の幾何的意義、特にグラフ距離やランダムマップにおける2点関数との関連を明らかにすること。

提案手法

• 多項式ポテンシャルを伴うヘリウミット1行列模型を用い、自由エネルギーの形式的べき級数展開を生成し、その項が平面的マップに対応することを示す。
• 行列模型のフェインマン図が、埋め込みグラフ（マップ）に対応することを特定し、頂点、辺、面が展開式の項に対応することを明示する。
• ランダム行列理論におけるループ方程式を適用し、与えられた次数分布を持つマップの母関数に関する関数方程式を導出する。
• ルート付き木の族（R-木とS-木）を構成し、それらの母関数が行列模型から導かれた方程式と同等であることを示す。
• S-木の黒・白の葉に一意的なマッチング手順を適用し、平面的マップを再構成することで、1対1の対応を確立する。
• 双対的対応を適切にラベル付けされた木構造やモバイルに拡張し、マップの幾何（例：グラフ距離）を木のラベル付けと2点関数に結びつける。

実験結果

リサーチクエスチョン

• RQ1 行列積分を用いて、所定の頂点次数を持つ平面的マップを体系的に列挙する方法は何か？
• RQ2 マップ列挙の文脈において、行列模型のループ方程式の解の背後にある正確な組合せ的構造は何か？
• RQ3 行列模型の解は、既知の組合せ的双対（例：ラベル付き木やモバイルを含む）とどのように関係しているか？
• RQ4 行列模型の結果を用いて、基本的なマップ列挙定理に対する明示的な双対的証明を導出できるか？
• RQ5 これらの双対的対応を通じて、距離や面構造といった幾何的情報を、行列模型から抽出できるか？

主な発見

• 1行列模型における自由エネルギーの形式的展開が、与えられた次数分布を持つ平面的マップを数える母関数を生成すること。
• 行列模型のループ方程式が、チュッテが導いたマップ列挙の再帰的関係と同等であることから、物理学と組合せ論との深い接続を示す。
• 行列模型の解を用いて、S-木と固定次数列を持つ平面的マップとの間の双対的対応を構成可能とし、ベンダーとキャンフィールド（1994）の結果に対する構成的証明を提供する。
• 2行列模型を用いて2部マップへ、チェーン行列模型を用いてより複雑なマップ族へ一般化可能である。
• 適切にラベル付けされた木構造が四角形分割を符号化しており、頂点のラベルが根からのグラフ距離に対応することが示され、その母関数は最初のストリング方程式に類似した再帰的関係を満たす。
• マップの2点関数が、距離が有界な2点をマークした四角形分割の母関数として回復され、この関数は明示的な解を有する。