패턴 단어를 위한 무모호 1‑균일 사상 연구

초록

본 논문은 임의의 패턴 α에 대해 모든 변수의 이미지를 길이 1로 매핑하는 1‑균일 사상이 α에 대해 유일하게(다른 사상이 같은 이미지 생성 불가) 존재하는지를 조사한다. 고정점이 아닌 패턴에 한해, 목표 알파벳 크기와 변수 수 사이의 관계, 이진·삼진 알파벳에 대한 존재·불가능 결과, 그리고 몇 가지 구체적인 구성법을 제시한다.

상세 분석

논문은 먼저 “무모호(ambiguous) 사상”의 정의를 명확히 하고, 기존 연구에서 비제거(non‑erasing) 사상의 무모호성은 패턴이 비자명한(비‑trivial) 모핑의 고정점인지 여부와 동치임을 재확인한다(정리 1). 이를 바탕으로 저자들은 1‑균일 사상, 즉 각 변수에 길이 1의 이미지만을 할당하는 사상의 무모호성을 탐구한다.

핵심 질문은 “주어진 패턴 α와 목표 알파벳 Σ가 주어졌을 때, α에 대해 무모호한 1‑균일 사상이 존재하는가?”이며, 이를 Problem 1이라 명명한다. 저자들은 Σ의 크기가 α의 변수 수보다 작을 경우에만 의미 있는 문제로 제한한다(섹션 4).

섹션 3에서는 고정된 목표 알파벳 크기에 대한 존재 조건을 제시한다. 이진 알파벳( |Σ|=2 )에서는 αₘ = 1·1·2·2·…·m·m (m≥4) 형태의 패턴에 대해 무모호 1‑균일 사상이 존재하지 않음을 보이며, 이는 정사각형(square) 방지 불가능성에 기인한다. 반면 삼진 알파벳( |Σ|≥3 )에서는 Thue의 무한 정사각형‑프리 문자열을 이용해 동일 패턴에 대해 무모호 사상을 구성한다(정리 2).

다음으로, 보다 일반적인 이진 알파벳에 대해 두 가지 충분조건을 제시한다. 정리 3은 β라는 부분패턴이 정사각형‑프리이면, 특정 구조의 α에 대해 무모호 1‑균일 사상이 존재함을 보인다. 정리 4는 변수 수 n에 대해 가장 짧은 비고정점 패턴을 명시하고, 그에 대한 무모호 1‑균일 사상을 직접 구성한다(예: n=6, α=1·2·3·4·5·6·4·1·5·2·6·3). 이 결과는 변수 수가 어떠한 크기이든 이진 알파벳으로 무모호 사상을 만들 수 있음을 시사한다.

섹션 4에서는 목표 알파벳 크기를 변수 수에 비례하도록 허용하는 경우를 다룬다. 여기서 저자들은 두 가지 주요 추측을 제시한다. 추측 1은 |var(α)|≥4인 모든 비고정점 패턴에 대해, 변수 수보다 작은 알파벳을 선택하면 무모호 1‑균일 사상이 존재한다는 주장이다. 추측 2는 구체적으로 두 변수를 동일 이미지에 매핑하는 사상 σ_{i,j}가 무모호성을 보장하는지 여부를 묻는다. 이와 연관해, 모든 i에 대해 δ_i(α) 가 비고정점이면 α 자체도 비고정점이라는 기존 추측(Conjecture 3)과 연결 지으며, 현재까지 완전한 증명은 부족함을 인정한다.

또한, Proposition 1을 통해 σ_{i,j}(α)가 비고정점이지만 여전히 모핑의 고정점이 될 경우, 해당 사상은 반드시 모호함을 보인다. 이는 무모호성을 판단할 때 단순히 이미지가 고정점인지 여부만으로는 충분치 않으며, 변수 선택 전략이 핵심임을 강조한다.

전체적으로 논문은 무모호 1‑균일 사상의 존재 여부가 패턴의 구조(정사각형 포함 여부, 고정점 여부)와 목표 알파벳 크기에 깊게 얽혀 있음을 밝힌다. 특히, 고정점이 아닌 패턴에 대해 이진 알파벳에서도 충분히 무모호 사상을 구축할 수 있음을 보이며, 삼진 알파벳이 필요하다는 초기 가설을 반증한다. 마지막으로, 아직 해결되지 않은 추측들을 제시함으로써 향후 연구 방향을 명확히 제시한다.