[論文レビュー] Freeness of automata groups vs boundary dynamics

Daniele D’Angeli, Emanuele Rodaro|arXiv (Cornell University)|Oct 22, 2014

semigroups and automata theory参考文献 15被引用数 3

ひとこと要約

本稿では、拡張された双対トランスダーサーによって生成される群（またはモノイド）の境界ダイナミクスと、自己同型群の自由性という代数的性質を結びつけることで、自動機群の自由性の動的特徴づけを確立する。群が自由であるための必要十分条件として、本質的に非自明な境界点を根とするすべてのシュライエル図が無限大であること、すなわち、その図が無限大であることと同値であることを証明する。主な結果は双可逆トランスダーサーへと拡張可能であり、アルゴリズム的・動的・代数的帰結をもたらす。

ABSTRACT

We prove that the boundary dynamics of the (semi)group generated by the enriched dual transducer characterizes the algebraic property of being free for an automaton group. We specialize this result to the class of bireversible transducers and we show that the property of being not free is equivalent to have a finite Schreier graph in the boundary of the enriched dual pointed on some essentially non-trivial point. From these results we derive some consequences from the dynamical, algorithmic and algebraic point of view. In the last part of the paper we address the problem of finding examples of non-bireversible transducers defining free groups, we show examples of transducers with sink accessible from every state which generate free groups, and, in general, we link this problem to the nonexistence of certain words with interesting combinatorial and geometrical properties.

研究の動機と目的

• 木の境界における拡張された双対トランスダーサーのダイナミクスを用いて、自動機群の自由性を特徴づけること。
• 双可逆トランスダーサーが自由群を生成する役割を、境界点におけるシュライエル図の構造を通じて調査すること。
• 動的特徴づけからアルゴリズム的および代数的帰結を導出すること。特に、正の関係の不在や、ねじれのない性質に関する条件を含む。
• 特にシンク状態を有する非双可逆トランスダーサーが、自由非アーベル自動機群を生成できるかを検討すること。
• 自動機群における安定化部分群、アメニタリティ、関係の組合せ的構造に関する未解決問題に取り組むこと。

提案手法

• 元のオートマトンよりも豊かなダイナミクスを捉えるために、拡張された双対トランスダーサーを定義し、境界挙動の解析を可能にする。
• $(Q \cup Q^{-1})^\omega$ における「本質的に非自明な」点の概念を導入し、これは自由群 $F_Q$ のグロモフ境界の要素を表す。
• 本質的に非自明でない点を根とするシュライエル図は、群の構造にかかわらず常に有限であることを証明する。
• 双対トランスダーサーによって生成される群の自由性は、本質的に非自明な境界点を根とするすべてのシュライエル図が無限大であることと同値であることを確立する。
• 動的特徴づけを用いて代数的帰結を導出し、例えば、指数が有界なバーンサイド群が有限であるという新たな初等的証明を提示する。
• フレームワークを応用して、双対トランスダーサーのモノイドにおける正の関係（すなわち $u=1$）の不在が、群の自由性に不可欠であることを示す。

実験結果

リサーチクエスチョン

• RQ1 自動機群の自由性は、拡張された双対トランスダーサーにおける本質的に非自明な境界点を根とするすべてのシュライエル図が無限大であることと同値か？
• RQ2 シンク状態を有する非双可逆トランスダーサーが、木上で推移的に作用する自由非アーベル自動機群を生成できるか？
• RQ3 「強く壊れやすい」語の幾何学的および組合せ的構造は何か？ また、それらは完全に特徴づけられるか？
• RQ4 $\mathbb{Z}_n$ 上の 0遷移カイリー機械の双対によって生成される群は自由群か、あるいは有限群の自由積か？
• RQ5 逆トランスダーサーに関して、境界点を根とするシュライエル図が有限であるかどうかを決定する問題は、アルゴリズム的に決定可能か？

主な発見

• 自動機群が自由であるための必要十分条件は、拡張された双対トランスダーサーにおける本質的に非自明な境界点を根とするすべてのシュライエル図が無限大であることである。
• 双可逆トランスダーサーの場合、双対によって生成される群が自由であるための必要十分条件は、本質的に非自明な点におけるシュライエル図が無限大であることであり、本質的に非自明でない点におけるシュライエル図は常に有限である。
• 双対トランスダーサーのモノイドにおける正の関係（すなわち $u=1$）の不在は、群が自由であるための必要条件である。
• 可逆トランスダーサーが境界上ですべての自明な安定化部分群を持つならば、その双対のモノイドはねじれがなく、正の関係も持たない。
• 本稿では、ゼルマンォフの定理に依存せず、指数が有界なバーンサイド自動機群が有限であることを、新たな初等的証明で示す。
• m 個の出現を有する最も短い強く壊れやすい語の長さは、少なくとも $3(2^{m-1}) - 2$ 以上である。これは、関係が存在するとしても、極めて長く複雑である可能性を示唆している。