[論文レビュー] The area generating function for simplex-duplex polyominoes

Svjetlan Feretić|ArXiv.org|Oct 26, 2009

Advanced Combinatorial Mathematics参考文献 5被引用数 3

ひとこと要約

本稿では、隣接する2列がともに2つの連結成分を持つことのない列複合多ポリオミノ（column-duplex polyominoes）の一種として単体複合多ポリオミノ（simplex-duplex polyominoes）を導入し、発展させたテンパラー法を用いてその面積生成関数を導出する。この手法では1列または2列を同時に追加し、生成関数の1階および2階微分を含む関数方程式を解く。その結果、n細胞の単体複合多ポリオミノの漸近的成長率は約 0.119443 × 3.522020^n であることが得られた。

ABSTRACT

Back in the early days of polyomino enumeration, a model called column-convex polyominoes was introduced and its area generating function was found. That generating function is rational: the numerator has degree four and the denominator has degree three. Let a column-duplex polyomino be a polyomino whose columns can have either one or two connected components. A simplex-duplex polyomino is a column-duplex polyomino in which there is no occurrence of two adjacent columns each having two connected components. Simplex-duplex polyominoes are not easy to deal with, but their area generating function can still be found. To find this generating function, we use an upgraded version of the Temperley method. Though that technique is widely used in these times, our application presents two interesting features. Firstly, we add one or two columns at a time, thus bypassing those simplex-duplex polyominoes which end with a two-component column. (It is somewhat more usual to add just one column at a time.) Secondly, we obtain a functional equation that involves both the first and the second derivatives of the sought-for generating function. (Such equations usually involve the first derivative only. In some cases, no derivative is involved at all.) Right because of this latter interesting feature, the Temperley method produces a very complicated formula for the generating function. Anyway, from that formula it is easy to compute Taylor polynomials. Thus we get plenty of evidence that the number of n-celled simplex-duplex polyominoes behaves asymptotically as 0.119443*3.522020^n. For comparison, the number of n-celled column-convex polyominoes behaves asymptotically as 0.180916*3.205569^n.

研究の動機と目的

• 列凸多ポリオミノと列複合多ポリオミノの間を滑らかに補間する、正確な数え上げが可能なモデルの構築を目的とする。これらは通常、正確な数え上げが困難である。
• 単体複合多ポリオミノを定義・分析する。これは、隣接する2列がともに2つの連結成分を持つことのない、列複合多ポリオミノの部分クラスである。
• 単体複合多ポリオミノの面積（q）と2成分列の数（w）をカウントする2変数生成関数 G(q,w) を導出すること。
• 生成関数 G(q,1) を計算し、n細胞の単体複合多ポリオミノ総数の漸近的挙動を特定すること。

提案手法

• 2成分列の影響を避けるために、1列または2列を同時に追加する、発展させたテンパラー法を採用する。
• 生成関数の1階および2階微分を含む関数方程式を構築する。これは標準的でない特徴であり、複雑性を増加させる。
• 関数方程式を解き、1成分列で終わる単体複合多ポリオミノの生成関数を求める。
• 解から、生成関数 G(q,1) を再構成し、テイラー級数係数の計算を可能にする。
• 漸近的挙動の分析のため、高次数（最大320次）のテイラー多項式を数値的に計算する。
• 係数の連続比を調べ、成長定数で正規化することで、漸近的解析を実施する。

実験結果

リサーチクエスチョン

• RQ1 n細胞の単体複合多ポリオミノの数の漸近的成長率は何か？ また、列凸多ポリオミノのそれと比べてどうか？
• RQ2 モデルの複雑さと単純な再帰的構造の欠如にもかかわらず、単体複合多ポリオミノの面積生成関数は導出可能か？
• RQ3 2成分列の導入が、隣接制約のもとで生成関数の構造および特異性に与える影響は何か？
• RQ4 関数方程式に2階微分を含めることで、生成関数の可解性および複雑性にどのような影響があるか？
• RQ5 単体複合多ポリオミノの生成関数は、列凸多ポリオミノのそれよりも複雑であるとされるが、これは今後の一般化にどのような示唆をもたらすか？

主な発見

• 320次テイラー多項式 G(q,1) の分析に基づき、n細胞の単体複合多ポリオミノの数は 0.119442870405 × 3.522019812882^n に漸近的に従う。
• 面積生成関数 G(q,1) の支配的特異点は、約 0.283927988236 に位置する単純極である。
• 2変数生成関数の特殊ケース（w=0）として、列凸多ポリオミノの面積生成関数が回復され、既知の結果と整合性が確認された。
• 導出に用いられた関数方程式は、生成関数の1階および2階微分を含み、これは稀で非自明な特徴であり、式の複雑性を増加させる。
• 成長定数 3.522020 は、列凸多ポリオミノのそれ（3.205569）よりも顕著に高い。これは、多ポリオミノの集合がより密であることを示唆する。
• 生成関数の複雑さにもかかわらず、テイラー係数の高精度数値計算により、漸近的挙動が極めて高い信頼性で確認された。