[논문 리뷰] On the conjugacy problem for finite-state automorphisms of regular rooted trees

Ievgen Bondarenko, Nataliya Bondarenko외 2명|arXiv (Cornell University)|2010. 11. 09.

semigroups and automata theory참고 문헌 21인용 수 10

한 줄 요약

이 논문은 정규 루트 트리의 유한 상태 자동형사에 대한 동형 문제의 결정 가능성을 수축 조건과 궤도 신호기의 유한성 하에서 확립하며, 이 조건 하에서 전체 자동형사군 Aut(T) 내의 동형과 그 부분군 FAut(T) 내의 동형이 일치함을 증명한다. 결과는 유계 자동형사로까지 확장되며, 이 경우 동시 동형 문제의 결정 가능성도 성립한다.

ABSTRACT

We study the conjugacy problem in the automorphism group $Aut(T)$ of a regular rooted tree $T$ and in its subgroup $FAut(T)$ of finite-state automorphisms. We show that under the contracting condition and the finiteness of what we call the orbit-signalizer, two finite-state automorphisms are conjugate in $Aut(T)$ if and only if they are conjugate in $FAut(T)$, and that this problem is decidable. We prove that both these conditions are satisfied by bounded automorphisms and establish that the (simultaneous) conjugacy problem in the group of bounded automata is decidable.

연구 동기 및 목표

• 정규 루트 트리의 자동형사군 Aut(T) 및 그 부분군인 유한 상태 자동형사군 FAut(T) 내의 동형 문제를 해결하기.
• Aut(T) 내의 동형이 FAut(T) 내의 동형으로 이르는 조건을 규명하여 결정 가능성 보장하기.
• 자기유사군 이론에서 중요한 클래스인 유계 자동형사군으로의 결정 가능성 결과 확장하기.
• 궤도 신호기와 수축 조건이 동형 문제의 알고리즘적 해결을 가능하게 하는 역할을 규명하기.

제안 방법

• Aut(T) ≅ Aut(T) ≀ Sym(X) 구조를 통해 정규 루트 트리의 자동형사와 유한 상태 자동형사 간의 대응을 활용한다.
• 궤도 신호기를 자동형사의 상태에서의 동형 관련 역학을 포착하는 유한 불변량으로 정의한다.
• 수축 조건을 적용하여 상태 역학의 안정성을 확보하고, 동형 경로의 유계 분석을 가능하게 한다.
• 자동형사 작용의 행렬 표현에서 궤적의 유계성을 점검하는 것으로 동형 문제를 환원한다.
• 새로운 원소가 추가되지 않을 때까지 도달 가능한 상태와 전이 행렬을 계산하는 반복 알고리즘을 적용한다.
• 상태 진동과 수열의 유계성을 모델링하기 위해 행렬 변환 σ(A)와 벡터 사상 τ(v)를 사용한다.

실험 결과

연구 질문

• RQ1 유한 상태 자동형사에 대해 Aut(T) 내의 동형이 FAut(T) 내의 동형으로 이르는 조건은 무엇인가?
• RQ2 유명한 유한 상태 자동형사의 부분군인 유계 자동형사군에서 동형 문제는 결정 가능한가?
• RQ3 궤도 신호기와 수축 조건과 같은 구조적 성질이 동형 문제의 결정 가능성에 어떻게 기여하는가?
• RQ4 기저가 비음수인 행렬 제약 조건 하에서, 동형 테스트의 기초가 되는 유계 궤적 문제의 결정 가능성 또는 비결정 가능성은 어떻게 되는가?
• RQ5 동형 문제를 행렬 수열의 유계성 점검으로 환원할 수 있으며, 이러한 점검은 알고리즘적으로 실행 가능한가?

주요 결과

• 수축 조건과 궤도 신호기의 유한성이 만족될 경우, 두 유한 상태 자동형사는 Aut(T) 내에서 동형이 되기 위한 필요충분조건으로 FAut(T) 내에서 동형이 된다.
• 이 두 조건 하에서 FAut(T) 내의 동형 문제의 결정 가능성이 보장되며, 이 조건들은 유계 자동형사에 의해 모두 충족된다.
• 유계 자동형사군 내의 동시 동형 문제 역시 결정 가능하며, 다중 원소로의 결정 가능성 확장이 이루어진다.
• 비음수 행렬과 벡터 제약 조건 하에서 유계 궤적 문제의 결정 가능성이 보장되며, 도달 가능한 상태의 반복 폐쇄 기반의 유한 시간 알고리즘이 존재한다.
• 비음수 행렬 원소 조건 하에서 이 문제의 NP-난이도가 입증되었고, 음수 원소가 允가될 경우 매트릭스 사라짐 문제로부터의 환원을 통해 비결정성이 입증된다.
• 유한 상태 폐쇄를 통한 행렬과 벡터의 유한성 분석을 통해 σ(A)^t τ(v)를 분석함으로써 A^t v의 유계성을 정확히 테스트하는 알고리즘이 수렴을 보장한다.