[논문 리뷰] The constant of recognizability is computable for primitive morphisms

Fabien Durand, Julien Leroy|arXiv (Cornell University)|2016. 10. 18.

Computability, Logic, AI Algorithms인용 수 7

한 줄 요약

이 논문은 유한 알파벳 A 위의 비주기적 원시형 사상 σ에 대해, 인식 가능성 상수의 계산 가능한 상계를 확립한다. 즉, 임의의 비주기적 원시형 사상 σ에 대해 인식 가능성 상수는 알파벳 크기 |A|와 최대 이미지 길이 |σ|에만 의존하는 함수에 의해 상한이 된다. 이 상한은 선형 재귀 성질, 복귀 단어, 그리고 인cidenc 행렬에 기반한 행렬 이론적 접근을 통해 유도되며, |σ|와 |A|에 대한 명시적인 계산 가능한 표현식을 제공한다.

ABSTRACT

Mossé proved that primitive morphisms are recognizable. In this paper we give a computable upper bound for the constant of recognizability of such a morphism. This bound can be expressed only using the cardinality of the alphabet and the length of the longest image under the morphism of a letter.

연구 동기 및 목표

• 원시형 사상에서 인식 가능성 상수에 대한 계산 가능한 상한을 확립하기.
• 원시형 사상에 대해 인식 가능성 상수가 효과적으로 계산 가능한지 여부라는 열린 문제를 해결하기.
• 알파벳 크기와 사상의 최대 이미지 길이에만 의존하는 균일한 상한을 제공하기.
• 모스의 인식 가능성 결과를 확장하여 상수를 명시적이고 계산 가능한 형태로 만들기.

제안 방법

• 비주기적 원시형 사상이 인식 가능하다는 몰스의 정리를 활용하여, 인식 가능성 상수에 대한 계산 가능한 상한을 도출한다.
• 선형 재귀 개념을 사용하여 고정점 언어 내의 임의의 요소에 대한 최대 복귀 단어 길이를 제한한다.
• 사상의 인cidenc 행렬을 적용하여, 원시 행렬 성질을 이용해 모든 요소가 나타나기까지 필요한 단계 수를 제한한다.
• 이상의 상한은 이미지 길이의 성장과 서로 다른 요소의 수에 대한 재귀적 추정을 통해 구성된다.
• 핵심 구성 요소로는 최대 이미지 길이 |σ|, 알파벳 크기 d = |A|, 그리고 선형 재귀 상수 Kσ가 포함된다.
• 최종 상한은 Kσ, 요소 수, 복귀 단어 길이를 포함한 여러 부등식의 체인을 통해 유도되며, 단일한 명시적 표현식으로 나타난다.

실험 결과

연구 질문

• RQ1 원시형 사상에 대한 인식 가능성 상수는 효과적으로 계산할 수 있는가?
• RQ2 내재된 사상 매개변수에 대해 인식 가능성 상수의 가장 날카로운 상한은 무엇인가?
• RQ3 원시형 사상의 인식 가능성 성질은 고정점에 관계없이 균일하고 계산 가능한 상한을 갖는가?
• RQ4 |σ|와 |A|의 매개변수는 인식 가능성 상수의 크기에 어떻게 영향을 미치는가?
• RQ5 원시형 사상 고정점의 선형 재귀 구조를 활용하여 인식 가능성에 대한 효과적인 상한을 유도할 수 있는가?

주요 결과

• 모든 비주기적 원시형 사상 σ에 대해 인식 가능성 상수는 최대 2|σ|^{6d² + 6d|σ|^{28d²}} + |σ|^d 이며, 여기서 d = |A|이다.
• 이 상한은 알파벳 크기 d와 최대 이미지 길이 |σ|에만 의존하므로, 사상의 정의로부터 완전히 계산 가능하다.
• 고정점에 대한 선형 재귀 상수 Kσ는 |σ|^{4d²} 이하로 유계되며, 이는 복귀 단어 길이를 제어하는 데 사용된다.
• 길이 R 이하의 서로 다른 요소의 수는 KσR 이하로 유계되며, 이는 가능한 요소 구성의 수를 추정하는 데 사용된다.
• 최대 복귀 단어 길이 R은 2|σ|^{6d²} 이하로 유계되며, 이는 최종 상한에 크게 기여한다.
• 최종 상한은 Kσ, R, 요소 수를 포함한 다중 부등식의 조합을 통해 유도되며, 단일한 계산 가능한 표현식으로 도출된다.