[論文レビュー] Exactly solved models of polyominoes and polygons

Mireille Bousquet‐Mélou, R Brak|ArXiv.org|Nov 26, 2008

semigroups and automata theory参考文献 41被引用数 36

ひとこと要約

本稿では、正方形格子上の自己回避多角形および多ポリオミノの正確な数え上げのための3つの一般的な組合せ的手法——有理的、代数的、およびテムプレーの手法——を提示する。再帰的な構造的性質を生成関数の関数方程式に翻訳することで、方向付き、列凸、対角凸多ポリオミノなどのクラスに対して正確な解を得る。主な結果として、有理および代数的生成関数、および新たに分析されたクラスでは約3.72までの成長定数が得られた。

ABSTRACT

This chapter deals with the exact enumeration of certain classes of self-avoiding polygons and polyominoes on the square lattice. We present three general approaches that apply to many classes of polyominoes. The common principle to all of them is a recursive description of the polyominoes which then translates into a functional equation satisfied by the generating function. The first approach applies to classes of polyominoes having a linear recursive structure and results in a rational generating function. The second approach applies to classes of polyominoes having an algebraic recursive structure and results in an algebraic generating function. The third approach, commonly called the Temperley method, is based on the action of adding a new column to the polyominoes. We conclude by discussing some open questions.

研究の動機と目的

• 正方形格子上の自己回避多角形および多ポリオミノの正確な数え上げのための3つの一般的な手法の開発および体系化。
• 再帰的分解が可能となる構造的条件（例：凸性、方向付き性）を同定し、正確な解を得る。
• 面積、水平および垂直の周囲長を符号化する生成関数を導出し、その代数的および漸近的性質を分析する。
• 異なる正確に解けるクラスに共通する漸近的分布の普遍性（例：多角形の面積スケーリング）を探索する。
• 未解決の問題や、クラーナーの謎めいた多ポリオミノクラスを含む、将来の正確な数え上げに向けた有望な新クラスを同定する。

提案手法

• 列凸性や方向付き性などの構造的性質に基づく多ポリオミノの再帰的分解を用い、生成関数の関数方程式を導出する。
• 特定の方向付きまたは凸多ポリオミノなどの線形再帰的構造を持つクラスに対して、有理生成関数のアプローチを適用する。
• 方向付きアーティファクトや部分的に方向付き多ポリオミノなどのより複雑な再帰的依存関係を持つクラスに対して、代数的生成関数のアプローチを適用する。
• 多ポリオミノを列ごとに構築することでテムプレーの手法を実装し、しばしば解きにくいが正確な解を得る関数方程式を導出する。
• ヘープ・オブ・ピeceスやガスモデル対応などの組合せ的ツールを用い、特にサイト周囲長統計において解けない場合に解決する。
• 正確な生成関数からの漸近的挙動（成長定数や極限面積分布など）を抽出するための複素解析的手法を活用する。

実験結果

リサーチクエスチョン

• RQ1 多ポリオミノのどの構造的性質が、有理的または代数的生成関数による正確な数え上げを可能にするか？
• RQ2 テムプレーの手法は、列凸や方向付き多ポリオミノを超えてどの程度一般化可能か？
• RQ3 異なる正確に解ける多ポリオミノクラスが同じ漸近的面積分布を示すのはなぜか？普遍性の裏付けとなるか？
• RQ4 方向付きアーティファクトの正しいサイト周囲長生成関数を、ガスモデル対応ではなく、純粋に組合せ的に行うことは可能か？
• RQ5 クラーナーの謎めいた多ポリオミノクラスの正確な成長定数は何か？また、提示された手法で解けるか？

主な発見

• 有理および代数的生成関数のアプローチは、それぞれ線形再帰的構造および代数的再帰的構造を持つクラスに対して正確な解を得る。
• テムプレーの手法は、広範な凸および方向付き多ポリオミノクラスを正確に解くが、得られる関数方程式は明示的に解くのが難しい場合がある。
• 新たに分析された多ポリオミノクラスの成長定数は約3.72と推定され、列高さが有界な有理クラスを除いて、これまでの正確な結果を上回る。
• 面積および右サイト周囲長による方向付きアーティファクトの生成関数は、既知の有理形式の単純な拡張として得られ、非自明な組合せ的恒等式を確認した。
• 1次元ガスモデルとの対応により、右サイト周囲長問題が解けたが、純粋な組合せ的証明は未だ得られていない。
• 部分的に方向付きおよび対角凸多ポリオミノは、レイヤードアプローチの適用に課題があるものの、将来の正確な数え上げに向けた有望な構造的性質を示している。