셀룰러 오토마타 규칙의 중복 제거와 새로운 두‑심볼 스키마: 복잡계에서의 출현 현상 재고

초록

본 논문은 Boolean 셀룰러 오토마타의 전이표에서 중복을 제거하는 ‘두‑심볼 스키마’ 방법을 제안한다. 와일드카드(#)와 위치‑자유(○) 기호를 이용해 입력 변수의 불필요성을 밝히고, 입력 집합의 순열 가능성을 포착한다. 이를 통해 밀도 분류 과제에서 널리 쓰이는 GKL 규칙과 유전 프로그래밍으로 얻은 GP 규칙을 비교했으며, 두 규칙이 실제로는 매우 유사하고 GKL이 GP의 특수 경우임을 증명한다. 따라서 복잡계 연구에서 출현 패턴보다 로컬 규칙의 스키마 분석이 더 효과적이라는 주장을 제시한다.

상세 분석

이 논문은 기존의 단일 와일드카드 스키마를 확장하여 두 개의 기호—와일드카드(#)와 위치‑자유(○)—를 동시에 사용하는 새로운 스키마 체계를 도입한다. 와일드카드는 특정 입력이 전이 결과에 영향을 미치지 않음을 나타내며, 이는 전이표(LUT)를 최소한의 ‘프라임 임플리컨트’ 집합으로 압축한다. 위치‑자유 기호는 여러 입력이 서로 교환 가능함을 의미함으로써 입력 집합 내의 대칭성을 포착한다. 이러한 두‑심볼 스키마는 기존의 LUT 크기 2^k 를 |F₀₀| ≤ |F₀| ≤ 2^k 로 크게 축소시켜, 자동화된 규칙 분석과 설계에 필요한 계산량을 현저히 감소시킨다.

논문은 이 방법을 밀도 분류 과제(DCT)에 적용한다. DCT는 7‑셀 이웃을 가진 1‑차원 이진 CA가 초기 랜덤 구성에서 다수 상태를 전역적으로 판단하도록 요구한다. 기존 연구에서는 GKL 규칙과 GP 규칙이 서로 다른 입자(도메인 경계)와 복잡한 상호작용을 보여 ‘출현적’ 차이가 크다고 평가했다. 그러나 두‑심볼 스키마 분석 결과, 두 규칙의 전이 함수는 거의 동일한 핵심 입력(enput) 구조를 가지고 있음을 확인한다. 구체적으로, GKL 규칙은 GP 규칙의 한 부분집합으로 표현될 수 있으며, GP 규칙은 추가적인 대칭적 입력 그룹을 포함하지만 기본적인 결정 논리는 동일하다. 이는 ‘출현 패턴’만을 기준으로 규칙을 구분하는 것이 오해를 낳을 수 있음을 시사한다.

또한, 논문은 스키마 기반 분석이 기존의 계산역학(CM) 접근법보다 로컬-글로벌 연결을 명시적으로 드러낸다는 점을 강조한다. CM은 도메인과 입자, 입자 충돌 규칙을 통해 집합적 계산을 설명하지만, 입력 변수 수준의 캔얼리제이션(canalization)과 대칭성을 파악하지 못한다. 반면, 두‑심볼 스키마는 자동화된 규칙 검색, 변이 탐색, 그리고 규칙 간 구조적 유사성 판단을 가능하게 하여 복잡계 설계와 제어에 실용적인 도구가 된다.

결론적으로, 이 연구는 복잡계에서 ‘출현’보다 ‘규칙 자체’를 분석하는 것이 더 근본적인 이해와 효율적인 설계에 기여한다는 강력한 증거를 제공한다.