비음수 정수 행렬과 짧은 킬링 워드

초록

본 논문은 공동 스펙트럼 반경이 1 이하인 비음수 정수 행렬 집합에서, 영행렬을 만드는 곱이 존재한다면 길이가 O(n⁵) 이하인 곱으로 영행렬을 얻을 수 있음을 보인다. 이를 자동이론과 코드 이론에 적용해, 불완전한 유한 코드를 위한 짧은 비포함 단어의 존재와 Restivo 추측의 약한 형태를 증명한다.

상세 분석

논문은 먼저 n×n 비음수 정수 행렬들의 유한 집합 𝓜에 대해 공동 스펙트럼 반경 ρ(𝓜)≤1이라는 조건을 도입한다. ρ≤1이면 모든 길이 k에 대해 ‖M(w)‖은 다항식적으로 성장하고, ρ>1이면 지수적으로 성장한다는 기존 결과를 활용한다. 핵심 정리(Theorem 1)는 0∈𝓜(Σ*)이면 길이가 ℓ≤(1/16)n⁵+(15/16)n⁴ 이하인 단어 w가 존재함을 보이며, 이 w는 𝓜(Σ*) 내 최소 랭크 행렬을 생성한다. 증명은 두 단계로 나뉜다. 첫째, 𝓜가 강하게 연결(strongly connected)한 경우, 행렬 원소가 0·1만 가질 수 있음을 보이고 이를 비모호 유한 자동화(UFA)와 동등시킨다. 여기서 최소 랭크는 0이 되므로 “킬링 워드”와 동일하다. Carpi의 이전 결과를 확장해, 강연결 경우에 O(n⁵) 길이의 킬링 워드를 다항 시간에 찾을 수 있음을 보여준다. 둘째, 일반 경우는 강연결 성분을 축소하고, 각 성분 사이의 전이 행렬을 적절히 삽입해 전체 길이를 여전히 O(n⁵)로 유지한다. 알고리즘은 실제로 행렬 곱을 시뮬레이션하면서 최소 랭크를 감소시키는 단계들을 반복적으로 선택한다. 복잡도 분석에서는 각 단계에서 랭크가 최소 1씩 감소하고, 최대 n⁴ 단계가 필요함을 보이며, 각 단계는 다항 시간에 수행된다.

자동이론적 해석에서는 행렬 M_A(a) 를 각 알파벳 a에 대한 전이 행렬로 보는 NFA를 정의한다. 이 NFA가 비모호하면 M_A(Σ*)는 {0,1}ⁿˣⁿ 로 제한된다. 영행렬을 만드는 단어는 바로 “킬링 워드”이며, Theorem 1은 킬링 워드의 존재 여부를 다항 시간에 판단하고, 존재한다면 길이 O(|Q|⁵) 이하의 워드를 실제로 구성한다. 이는 기존에 킬링 워드 길이가 지수적으로 클 수 있다는 결과와 대비된다; ρ≤1 조건이 없으면 그런 보장은 불가능함을 논문은 명확히 한다.

코드 이론으로의 적용에서는 유한 코드 X⊂Σ에 대해 “꽃 자동화”(flower automaton)를 구성한다. 이 자동화는 X가 코드이면 비모호하고, X에 포함되지 않는 단어는 바로 킬링 워드가 된다. 따라서 Theorem 1은 불완전한 유한 코드에 대해 길이가 O(m⁵) (m=∑_{x∈X}|x|) 이하인 비포함 단어가 존재함을 보인다. 이는 Restivo의 원래 추측(길이 ≤2k², k=최대 단어 길이)과는 다르지만, 다항적 상한을 제공함으로써 약한 형태를 증명한다. 더 나아가, 꽃 자동화의 구조를 이용해 길이 (k+1)k²(m+2)(m+1) 이하의 비포함 단어를 찾는 개선된 결과(Theorem 5)도 제시한다.

마지막으로 최소 랭크 행렬이 반드시 짧은 곱으로 표현될 수 있는지는 일반적으로 거짓임을 보이는 반례(Theorem 6)를 제시한다. 이는 최소 랭크 행렬 자체가 짧은 표현을 가질 필요는 없으며, Theorem 1이 보장하는 것은 “어떤 최소 랭크 행렬”이 짧게 표현될 수 있다는 점이다. 전체적으로 논문은 행렬 이론, 스펙트럼 분석, 자동이론, 코드 이론을 유기적으로 결합해 킬링 워드와 최소 랭크 문제에 새로운 다항 시간 알고리즘과 상한을 제공한다.