[論文レビュー] The Rank and Hanna Neumann Property of Some Submonoids of a Free Monoid

Shubh N. Singh, K. V. Krishna|arXiv (Cornell University)|Dec 19, 2011

semigroups and automata theory参考文献 7被引用数 5

ひとこと要約

この論文は、GiambrunoとRestivoの自由モノイドにおけるHanna Neumann性に関する研究を拡張し、2つの基本パス識別子（bpi）を持つ半フラワーオートマトンによって受理される部分モノイドのランクを特徴づける。2つの有限生成部分モノイドが、それぞれ一意なbpiを持つ決定的半フラワーオートマトンによって受理され、その積オートマトンが2つのbpiを持つ半フラワーオートマトンである場合に、それらの積がHanna Neumann不等式を満たす十分な条件を確立する。この条件は、縮約ランクとサイクル構造に基づく補正項を含む、洗練された上限を与える。

ABSTRACT

This work aims at further investigations on the work of Giambruno and Restivo to find the rank of the intersection of two finitely generated submonoids of a free monoid. In this connection, we obtain the rank of a finitely generated submonoid of a free monoid that is accepted by semi-flower automaton with two bpi's. Further, when the product automaton of two deterministic semi-flower automata with a unique bpi is semi-flower with two bpi's, we obtain a sufficient condition on the product automaton in order to satisfy the Hanna Neumann property.

研究の動機と目的

• 半フラワーオートマトンにおける一意なbpiのケースを超えて、自由モノイドの有限生成部分モノイドのランク計算を一般化すること。
• 積オートマトンが2つのbpiを持つ場合に、一意なbpiを持つ決定的半フラワーオートマトンによって受理される部分モノイド同士の交差がHanna Neumann性（HNP）を満たすかどうかを調査すること。
• 交差の縮約ランクがHanna Neumann不等式を満たすための十分条件を同定すること。
• 積オートマトンの構造が以前に研究された一意bpiの状況から逸脱する場合に、部分モノイドの交差に対する自動機的アプローチを拡張すること。

提案手法

• 本論文は、2つのbpiを持つ半フラワーオートマトンを用いて、自由モノイドの有限生成部分モノイドをモデル化し、その構造的性質を活用してランクを計算する。
• 先行研究（定理3.4）からの公式を適用し、遷移数、状態数、サイクル数と受理言語のランクの関係を活用する。
• 各々が一意なbpiを持つ決定的半フラワーオートマトンの積オートマトンを分析し、それが2つのbpiを持つ半フラワーオートマトンであるかどうかを同定する。
• 積オートマトン内の重み付き基本パス識別子（BPO）の和を用いて、交差の縮約ランクの上限を導入する。
• 主な技術的道具は、Lemma 3.8であり、2つのbpiを持つ半フラワーオートマトンに対してランク不等式を提供するが、決定的ケースでは等号が成立する。
• 主結果（定理3.10）の証明は、サイクル構造の分析とBPO数え上げを組み合わせ、交差の縮約ランクに対する洗練された上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 自由モノイドの有限生成部分モノイドのランクは、正確に2つのbpiを持つ半フラワーオートマトンによって受理される場合、どのように定まるか？
• RQ2 2つの部分モノイド（それぞれが一意なbpiを持つ決定的半フラワーオートマトンによって受理される）の交差が、積オートマトンが2つのbpiを持つ半フラワーオートマトンである場合に、Hanna Neumann性を満たす条件は何か？
• RQ3 この拡張された設定において、交差の縮約ランクがHanna Neumann不等式を満たすための十分条件を導出可能か？
• RQ4 積オートマトンに2つのbpiが存在する場合、一意bpiのケースと比較してHanna Neumann性の成立にどのような影響を与えるか？

主な発見

• 2つのbpiを持つ半フラワーオートマトンによって受理される部分モノイドのランクは、(m−1)(l−1)に加えて、基本パス識別子（BPO）の数と長さに依存する項によって上から抑えられ、決定的ケースでは等号が成立する。
• 2つのbpiを持つ決定的半フラワーオートマトンに対して、rk(L(𝒜)) = (m−1)(l−1) + Σ(t=2 to n) |BPO_t(𝒜)|(t−1) + 1 が成り立つ。
• 2つの部分モノイド H と K の交差の縮約ランクは、不等式 𝔀̃rk(H∩K) ≤ 𝔀̃rk(H)𝔀̃rk(K) + (m−1)(l−1) を満たす。ここで m と l はそれぞれのオートマトンにおけるBPOの数である。
• 積オートマトンにおいて、片方のbpiからもう片方のbpiへのパスが一意に存在する場合、上限は 𝔀̃rk(H∩K) ≤ 𝔀̃rk(H)𝔀̃rk(K) に厳しくなり、Hanna Neumann性が満たされる。
• 本論文は、積オートマトンが2つのbpiを持つ場合にHanna Neumann性が成立しない可能性がある反例を提示し、十分条件の必要性を強調している。
• 提案手法により、GiambrunoとRestivoの先行結果が2つのbpiのケースにまで拡張され、ランク式とHNP解析が洗練され、より包括的な枠組みが提供された。