[논문 리뷰] Slowly Synchronizing Automata with Idempotent Letters of Low Rank

Mikhail V. Volkov|arXiv (Cornell University)|2018. 07. 18.

semigroups and automata theory참고 문헌 23인용 수 3

한 줄 요약

이 논문은 임의의 동기화 자동기계를 두 배의 상태 수를 가지며 랭크 n/2인 추가적인 등幂 입력 문자를 갖는 새로운 자동기계로 변환하는 반군 이론적 구성법을 제시한다. 이 방법은 동기화 성질을 유지하면서 복원 임계값을 두 배로 늘리며, 랭크가 낮은 등幂 문자를 갖는 자동기계가 점점 최적에 가까운 복원 임계값 n²/2을 달성할 수 있음을 보여준다. 이 구성법은 특정한 구조적 성질을 갖는 천천히 동기화되는 자동기계를 체계적으로 생성하는 방법을 제공한다.

ABSTRACT

We use a semigroup-theoretic construction by Peter Higgins in order to produce, for each even $n$, an $n$-state and 3-letter synchronizing automaton with the following two features: 1) all its input letters act as idempotent selfmaps of rank $\dfrac{n}2$; 2) its reset threshold is asymptotically equal to $\dfrac{n^2}2$. In the revised version a few inaccuracies (spotted by the anonymous referees of the previous version) have been removed and several relevant references have been added.

연구 동기 및 목표

• 비이진 알파벳과 등幂 입력 문자를 갖는 천천히 동기화되는 자동기계의 알려진 예가 부족한 문제를 해결하기 위해.
• 이론적 하한선인 (n−1)²에 가까운 복원 임계값을 갖는 무한한 수의 동기화 n-자동기계 가족을 구성하기 위해.
• 랭크가 n/2인 등幂 문자를 갖는 자동기계가 점점 최적의 동기화 임계값을 달성할 수 있음을 보여주기 위해.
• 고도의 복원 임계값을 갖는 적절하고 비이진의 동기화 자동기계를 체계적으로 생성하는 방법을 제공하기 위해.

제안 방법

• Higgins가 제안한 반군 이론적 구성법을 활용하여 주어진 DFA를 2n개 상태와 k+1개의 등幂 입력 문자를 갖는 새로운 자동기계로 변환한다.
• 이 변환은 원래 자동기계의 동기화 성질을 유지하면서 복원 임계값을 두 배로 늘린다.
• 새 자동기계의 각 입력 문자는 상태 집합 위에서 랭크 n/2인 등幂 자기사상으로 작용한다.
• 이 구성법은 결과 자동기계가 적절하다는 것을 보장한다. 즉, 모든 알파벳의 문자들이 동기화에 필수적이다.
• 이 방법은 기존 자동기계에 새로운 상태를 추가하고 전이를 수정하여 등幂성과 동기화를 유지하는 새로운 전이 함수를 정의하는 데 의존한다.
• 정확성의 증명은 새 자동기계가 여전히 동기화 가능하며, 그 복원 임계값이 원래 자동기계의 정확히 두 배임을 보여주는 데 초점이 맞춰져 있다.

실험 결과

연구 질문

• RQ1 체계적인 구성법을 통해 랭크가 낮은 등幂 문자와 높은 복원 임계값을 갖는 비이진 동기화 자동기계를 생성할 수 있는가?
• RQ2 랭크가 n/2인 n-상태 자동기계가 달성할 수 있는 최대 복원 임계값은 얼마인가?
• RQ3 이 변환은 적절성과 강한 연결성과 같은 핵심 동기화 성질을 유지하는가?
• RQ4 이 구성법을 사용하여 점점 최적의 임계값을 갖는 무한한 수의 천천히 동기화되는 자동기계 가족을 생성할 수 있는가?

주요 결과

• 제안된 구성법은 각 짝수 n에 대해, 모든 입력 문자가 랭크 n/2인 등幂 자기사상으로 작용하는 n-상태, 3-알파벳 동기화 자동기계를 생성한다.
• 구성된 자동기계의 복원 임계값은 점점 n²/2에 가까워지며, 천천히 동기화되는 자동기계의 이론적 하한선과 일치한다.
• 모든 입력 자동기계 A에 대해 H(A) 변환은 복원 임계값을 두 배로 늘리며, 원래 자동기계의 동기화 성질을 유지하고 랭크 n/2인 등幂 문자 하나를 추가한다.
• 이 방법은 모든 알파벳 문자가 동기화에 필수적인 적절한 자동기계를 생성한다. 이는 비이진 환경에서 흔하지 않은 특성이다.
• 이 구성법은 랭크가 낮은 등幂 문자를 갖는 자동기계가 점점 최적의 동기화 성능을 달성할 수 있음을 보여주며, 이러한 제약 조건 하에서 높은 복원 임계값을 달성하는 것이 어렵다는 기존의 가정에 도전한다.