원시 HD0L 시스템의 ω 동등성과 주기성 문제 해결

초록

본 논문은 원시(primitive) HD0L 시스템에 대해 ω-동등성 및 주기성 문제의 결정 가능성을 증명한다. 저자는 라우지와의 개인적 교류를 바탕으로, 라우지의 구간 교환과 코덱스 이론을 확장하여 새로운 구조적 도구를 도입한다. 핵심은 원시 대체 규칙이 생성하는 무한 단어들의 동등성 검증을 자동화하고, 주기성을 판별하는 알고리즘을 제시함으로써 기존의 미해결 문제를 해결한 데 있다.

상세 분석

논문은 먼저 HD0L 시스템을 정의하고, 특히 원시(primitive) 대체 규칙 φ와 초기 단어 w에 의해 생성되는 무한 단어 ω=lim_{n→∞} φ^n(w)를 고려한다. 기존 연구에서는 φ가 원시일 때도 ω-동등성(두 시스템이 동일한 무한 단어를 생성하는가)과 주기성(생성된 무한 단어가 결국 반복되는 패턴을 갖는가) 문제가 일반적으로 결정 불가능하다고 알려져 있었지만, 라우지와의 교류를 통해 얻은 ‘라운드-트리’와 ‘코덱스-분할’ 기법을 적용하면 구조적 제약을 강하게 부여할 수 있음을 발견한다.

핵심 아이디어는 φ가 원시이면 그 전이 행렬 A가 원시 행렬이며, Perron–Frobenius 이론에 의해 고유값 λ>1과 양의 고유벡터 v가 존재한다는 점이다. 저자는 v를 이용해 ‘길이 프로파일’이라는 실수 벡터를 정의하고, 이를 정규화하여 ‘정규화 길이 공간’에 매핑한다. 이 공간에서 φ의 반복 작용은 선형 변환으로 표현되며, 수렴점은 고정점이 된다. 따라서 두 HD0L 시스템 (φ₁,w₁)와 (φ₂,w₂)의 ω-동등성은 각각의 정규화 고정점이 동일한지 여부와, 초기 단어 w₁, w₂가 고정점에 대응하는 ‘코덱스’ 위치에 있는지 여부로 환원된다.

주기성 판정은 고정점 주변의 ‘주기 구역’(periodic region)을 정의함으로써 가능해진다. 라우지의 구간 교환 모델을 차용해, φ의 반복이 일정 길이 L 이후에 동일한 구간 순서를 재현하면 그 구간이 주기 구역에 속한다는 조건을 만든다. 이때 L은 φ의 최소공배수와 λ의 로그 비율에 의해 유계가 존재함을 보인다.

알고리즘적 구현 측면에서 저자는 다음과 같은 절차를 제시한다. (1) φ의 전이 행렬 A를 계산하고, Perron–Frobenius 고유값 λ와 고유벡터 v를 구한다. (2) 초기 단어 w를 v에 투영해 정규화 좌표를 얻고, 이를 ‘코덱스 좌표’로 변환한다. (3) 두 시스템의 코덱스 좌표를 비교해 동일 여부를 판단한다. (4) 고정점 근처에서 반복 적용된 φ의 구간 교환 패턴을 추적해 주기 구역 존재 여부를 확인한다. 모든 단계는 유한 연산으로 구성되며, 복잡도는 전이 행렬 차원에 다항적으로 제한된다.

결과적으로, 원시 HD0L 시스템에 한정하면 ω-동등성 및 주기성 문제는 결정 가능함을 증명한다. 이는 기존의 일반 HD0L 문제에 비해 큰 진전이며, 라우지의 구간 교환과 코덱스 이론을 현대 자동화 이론에 성공적으로 통합한 사례라 할 수 있다. 또한, 논문은 이론적 증명 외에도 구현 가능한 프로토타입을 제공해 실험적 검증을 수행했으며, 무작위 생성된 원시 HD0L 인스턴스에 대해 100% 정확한 판정을 보였다.