[論文レビュー] Growth rates for subclasses of Av(321)

Michael Albert, M. D. Atkinson+4 more|Open Research Online (The Open University)|Mar 11, 2009

semigroups and automata theory参考文献 10被引用数 13

ひとこと要約

本稿では、321を避けるパターンクラスにおけるパターンにアーティキュレーション点を追加しても、その成長率が変わらないことを示している。著者らは、このような拡張されたクラスが元のクラスの有界マージであることを証明することで、成長率が変化しないことを示しており、Av(321)部分クラスにおける特定のパターン変更に対する成長率の不変性に、構造的な説明を与える。

ABSTRACT

Pattern classes which avoid 321 and other patterns are shown to have the same growth rates as similar (but strictly larger) classes obtained by adding articulation points to any or all of the other patterns. The method of proof is to show that the elements of the latter classes can be represented as bounded merges of elements of the original class, and that the bounded merge construction does not change growth rates.

研究の動機と目的

• 321を避けるパターンクラスの成長率が、クラス内の他のパターンにアーティキュレーション点を追加することでどのように変化するかを調査すること。
• 避けるパターンに追加の構造的制約（アーティキュレーション点）を導入した場合、パターンクラスの成長率が変化しないかどうかを特定すること。
• 構造的組成を分析することによって、関連するパターンクラスの成長率を比較する一般化された手法を確立すること。
• 有界マージ構成が、置換クラスの指数的成長率を変化させないことを示すこと。

提案手法

• 著者らは、321を避けるパターンクラスと他のパターンを含むクラスを分析し、避けるパターンにアーティキュレーション点を追加して形成されるクラスに注目する。
• 元のパターンクラスの要素を拡張クラスの要素に統合する有界マージ構成を定義する。
• 拡張クラスに属するすべての要素が、元のクラスの要素の有界マージとして表現可能であることを示すことで、証明を展開する。
• 既知の有界マージ操作における成長率の性質を活用することで、成長率が保存されることを確立する。
• 置換の構造的分解を用いて、アーティキュレーション点の追加が、制御可能な要因を超えて実現可能な置換の数を増加させないことを示す。
• この手法は一般化されており、321を避ける任意のパターンクラスに加え、他のパターンにアーティキュレーション点を追加した場合にも適用可能である。

実験結果

リサーチクエスチョン

• RQ1 321を避けるクラス内のパターンにアーティキュレーション点を追加すると、そのクラスの指数的成長率が変化するか？
• RQ2 避けるパターンにアーティキュレーション点を追加することで、パターンクラスの成長率が保持されるか？
• RQ3 具体的には、有界マージという構造的変換が、このような変更に対する成長率の不変性を説明できるか？
• RQ4 有界マージ構成は、置換クラスにおいて成長率の性質をどの程度保持するか？
• RQ5 アーティキュレーション点によるパターン変更において、成長率が不変のままとなる一般的な条件は何か？

主な発見

• 321を避けるパターンクラスの成長率は、他の避けるパターンにアーティキュレーション点を追加しても変化しない。
• アーティキュレーション点を追加した拡張クラスは、元のクラスの有界マージとして示され、成長率が保存される。
• 有界マージ構成は、結果のクラスが元のクラスよりも厳密に大きい場合でも、指数的成長率を増加させない。
• 避けるパターンに追加のアーティキュレーション点が導入されるAv(321)のすべての部分クラスに対して、この結果は成り立つ。
• この手法は、構造的変更を加えた関連するパターンクラス間の成長率を比較する一般フレームワークを提供する。
• 成長率の不変性は、直接的な列挙ではなく、構造的分解とマージ解析を通じて確立される。