주기적 셀룰러 오토마톤에서 투표열을 만드는 새로운 이동 규칙

초록

이 논문은 셀 용량 s (>1)를 갖는 1·2 문자열을 순환 이동과 새롭게 정의한 “준순환” 이동만으로 투표열(ballot sequence)로 변환할 수 있음을 증명한다. 준순환 이동은 기존 CA 규칙을 확장한 것으로, 시스템 내에서 입자와 유사한 ‘kink’ 구조가 전파되는 현상을 보인다.

상세 분석

본 연구는 기존의 “1과 2로 이루어진 문자열에서 1의 개수가 2의 개수 이상이면 순환 이동만으로 투표열이 된다”는 고전 명제를, 셀 하나가 용량 s (정수 >1)를 갖고 각 셀 안에 연속된 2가 왼쪽, 연속된 1이 오른쪽에 배치된 구조로 일반화한다. 이를 위해 저자들은 두 종류의 변환을 도입한다. 첫 번째는 전통적인 순환 이동(cyclic shift)으로, 문자열 전체를 한 칸씩 회전시켜 경계 조건을 바꾸는 방식이다. 두 번째는 “준순환(quasi‑cyclic) 이동”이라 명명한 새로운 셀룰러 오토마톤 규칙으로, 각 셀 내부의 1·2 구성을 일정한 규칙에 따라 재배열한다. 구체적으로, 한 셀에 포함된 2의 개수와 인접 셀에 포함된 1의 개수를 비교해, 2가 과다하면 일부를 오른쪽 셀로 넘기고, 1이 과다하면 왼쪽 셀로 이동시키는 방식이다. 이 과정은 전역적인 ‘입자’(kink)와 ‘반입자’(antikink) 구조를 생성하며, 이러한 구조는 시간에 따라 일정한 속도로 직선 경로를 따라 이동한다. 저자들은 이러한 이동이 보존 법칙(예: 전체 1·2 개수 보존)과 결합해, 최종적으로 모든 셀의 배치가 “모든 앞부분에서 1의 누적 개수가 2의 누적 개수보다 크거나 같다”는 조건을 만족하도록 만든다. 증명은 두 단계의 변환이 충분히 반복되면, 임의의 초기 구성도 유한 단계 내에 목표 투표열 형태로 수렴함을 수학적으로 보이며, 특히 용량 s 가 클수록 변환 횟수는 감소한다는 경험적 관찰을 제시한다. 또한, 준순환 이동이 기존의 ‘보존형’ CA와는 달리 비선형적인 전파 현상을 일으키며, 이는 솔리톤 방정식과의 연관성을 시사한다.