[論文レビュー] Modeles avec particules dures, animaux diriges et series en variables partiellement commutatives

J. Bétréma, Jean-Guy Penaud|ArXiv.org|Jun 25, 2001

Random Matrices and Applications参考文献 4被引用数 12

ひとこと要約

本稿では、X.G. ヴィエノ・が開発した部分的に可換な形式的べき級数を用いた体系的な代数的枠組みを提示し、2次元の方向付きアーティファクト（ directed animals）の数え上げ問題を解く。方向付きアーティファクトと特定のピecesのヒープの間の双対性を確立することで、Dyck道およびMotzkin道を用いた簡略化された閉形式解が得られ、視覚化を伴う均一なランダム生成の線形時間アルゴリズムが実装されている。

ABSTRACT

We give a systematic presentation of relations between lattice gas models with hard-core interactions, enumeration of directed-site animals, and the algebra of formal power-series in the partially commutative case, along the work of X.G.Viennot. We present a complete and simplified solution, using this algebra, of the directed animals enumeration problem in two dimensions, including a fast program for random generation of such animals (with uniform distribution) and images produced by this program.

研究の動機と目的

• ハードコア格子ガス模型、方向付きサイトアーティファクト、部分的に可換な変数における形式的べき級数を体系的に関連付けること。
• ヴィエノのヒープ理論を用いて、平面格子上の方向付きアーティファクトの数え上げに対する簡略化された代数的解を提供すること。
• 方向付きアーティファクトの均一なランダム生成の高速な線形時間アルゴリズムを構築し、明示的なコードと視覚出力を提供すること。
• 特にフラクタル次元と連結性を含む、大規模な方向付きアーティファクトの構造的・統計的性質を調査すること。
• 特にハードヘキサゴン模型に対するバクサーの解の組合せ的解釈を特定すること。

提案手法

• ハードコア格子ガス系の配置をモデル化するために、ヴィエノのピースのヒープ理論を用いる。
• ピラミッドを「コーナー」形状（equerres）に分解することにより、方向付きアーティファクトと部分的に可換な語（または道）との間の双対性を確立する。
• 部分的に可換な級数の代数を適用し、単純な代数的方程式を満たす母関数を導出する。
• Motzkin道およびDyck道を組合せ的モデルとして用いて、2次元方向付きアーティファクト問題を1次元の道の数え上げ問題に還元する。
• カタラン分解に基づく道の因数分解を用いたランダム生成アルゴリズムを実装し、均一な分布を保証する。
• 因数分解された道表現から段階的にアーティファクトを構築するソフトウェアツールを採用し、ソースのコンパクト性と領域ズーム機能をサポートする。

実験結果

リサーチクエスチョン

• RQ1 2次元格子上の方向付きアーティファクトの数え上げ問題は、部分的に可換な代数にどのように還元できるか？
• RQ2 方向付きアーティファクトの母関数の代数的構造は何か？ そして、古典的組合せ的道とどのように関係するか？
• RQ3 方向付きアーティファクトの均一なランダム生成アルゴリズムを線形時間で構築できるか？
• RQ4 大規模なランダム方向付きアーティファクトの幾何学的・トポロジカル的性質（例：平均高さ、フラクタル次元）は何か？
• RQ5 ハードヘキサゴン格子ガス模型に対するバクサーの解に、組合せ的解釈は存在するか？

主な発見

• 正方形格子上の方向付きアーティファクトの母関数は代数的であり、部分的に可換な級数の代数から導出可能である。
• ヒープ分解に基づく双対性を介して、方向付きアーティファクトとMotzkin道を関連付けることで、完全かつ簡略化された解が得られた。
• 著者らは、ソースコードと視覚出力を併記した線形時間アルゴリズムを実装し、方向付きアーティファクトの均一なランダム生成を可能にした。
• 大規模アーティファクトの視覚化から、直線的で木構造的な構造が明らかになったが、これは直感的なコンパクト性の期待とは相反する。
• ソフトウェアはインタラクティブなズーム機能を備え、サイズ、幅、高さ、ソース生成の試行回数といった構造的指標を表示可能である。
• バクサーの研究によりヘキサゴナル格子上の解が得られているが、正方形格子（ハードスクエア模型）については未解決のままである。