[논문 리뷰] The Rank and Hanna Neumann Property of Some Submonoids of a Free Monoid

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

semigroups and automata theory참고 문헌 7인용 수 5

한 줄 요약

이 논문은 자유 모노이드에서 Giambruno와 Restivo의 작업을 확장하여, 두 개의 기본 경로 식별자(bpi)를 가진 반화양식 자동차가 수락하는 부분모노이드의 질량을 특성화한다. 각각이 유일한 bpi를 가진 결정론적 반화양식 자동차에 의해 수락되는 두 유한 생성 부분모노이드가 그들의 곱 자동차가 두 개의 bpi를 가진 반화양식일 경우에, 그들의 교차에서 허니아 뉴먼 부등식이 성립하는 충분조건을 확립하며, 감소된 질량과 사이클 구조에 기반한 보정 항을 포함하는 개선된 경계를 제공한다.

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를 가진 경우를 초월하여, 자유 모노이드의 유한 생성 부분모노이드에 대한 질량 계산을 일반화하기 위해.
• 곱 자동차가 두 개의 bpi를 가진 경우, 각각이 유일한 bpi를 가진 결정론적 반화양식 자동차에 의해 수락되는 두 부분모노이드의 교차에서 허니아 뉴먼 성질(HNP)이 성립하는지 조사하기 위해.
• 감소된 질량이 허니아 뉴먼 부등식을 만족하는 데 필요한 충분조건을 규명하기 위해.
• 특히 곱 자동차의 구조가 이전에 연구된 유일한 bpi 사례와 다를 경우, 부분모노이드 교차에 대한 자동차 이론적 접근을 확장하기 위해.

제안 방법

• 논문은 자유 모노이드의 유한 생성 부분모노이드를 모델링하기 위해 두 개의 bpi를 가진 반화양식 자동차를 사용하며, 질량 계산을 위해 그들의 구조적 성질을 활용한다.
• 이전 연구에서 유도된 공식(정리 3.4)을 적용하여 전이 수, 상태 수, 사이클 수와 언어의 질량 간의 관계를 규명한다.
• 각각이 유일한 bpi를 가진 결정론적 반화양식 자동차의 곱 자동차를 분석하여, 결과 자동차가 두 개의 bpi를 가진 반화양식인지 여부를 판단한다.
• 곱 자동차 내의 가중치가 부여된 기본 경로 식별자(BPO)의 합을 사용하여 교차의 감소된 질량에 대한 경계를 도입한다.
• 핵심 기술 도구는 두 개의 bpi를 가진 반화양식 자동차에 대한 질량 부등식을 제공하는 보조정리 3.8이며, 결정론적 경우에 등호가 성립한다.
• 주요 결과(정리 3.10)의 증명은 사이클 구조 분석과 BPO 수세기 기반으로 교차의 감소된 질량에 대한 개선된 상한 경계를 도출한다.

실험 결과

연구 질문

• RQ1 자유 모노이드의 유한 생성 부분모노이드의 질량은 두 개의 bpi를 가진 반화양식 자동차에 의해 수락될 경우 어떻게 되는가?
• RQ2 곱 자동차가 두 개의 bpi를 가진 반화양식일 경우, 각각이 유일한 bpi를 가진 결정론적 반화양식 자동차에 의해 수락되는 두 부분모노이드의 교차가 허니아 뉴먼 성질을 만족하는 조건은 무엇인가?
• RQ3 이 확장된 설정에서 교차의 감소된 질량이 허니아 뉴먼 부등식을 만족하도록 보장하는 충분조건을 도출할 수 있는가?
• RQ4 곱 자동차에 두 개의 bpi가 존재할 경우, 유일한 bpi 사례와 비교해 허니아 뉴먼 성질의 타당성에 어떤 영향을 미치는가?

주요 결과

• 두 개의 bpi를 가진 반화양식 자동차에 의해 수락되는 부분모노이드의 질량은 (m−1)(l−1)에 기본 경로 식별자(BPO)의 수와 길이에 따라 달라지는 항을 더한 값으로 유계이며, 결정론적 경우에 등호가 성립한다.
• 두 개의 bpi를 가진 결정론적 반화양식 자동차의 경우, 질량는 rk(L(𝒜)) = (m−1)(l−1) + Σ(t=2 to n) |BPO_t(𝒜)|(t−1) + 1 으로 주어진다.
• 두 부분모노이드 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) 로 강화되어 허니아 뉴먼 성질이 성립한다.
• 논문은 곱 자동차가 두 개의 bpi를 가질 경우 허니아 뉴먼 성질이 실패할 수 있음을 보여주는 반례를 제시하며, 충분조건의 필요성을 강조한다.
• 제안된 방법은 Giambruno와 Restivo의 이전 결과를 확장하여 질량 공식과 HNP 분석을 두 개의 bpi 사례로 확장함으로써, 보다 종합적인 프레임워크를 제공한다.