셀룰러 오토마타를 이용한 민코프스 합 구성

초록

본 논문은 1차원 셀룰러 오토마타의 한 열 안에서 두 집합의 민코프스 합을 계산하는 방법을 제시한다. 이 방법을 이용해 세 제곱수의 합으로 표현되는 정수 집합을 새롭게 구성함으로써, 저자가 이전에 제기한 질문에 답을 제공한다.

상세 분석

논문은 먼저 민코프스 합(Minkowski sum)의 정의와 기존의 수론적 응용을 간략히 소개한다. 민코프스 합은 두 집합 A, B ⊂ ℤⁿ에 대해 A+B = {a+b | a∈A, b∈B} 로 정의되며, 특히 정수 집합의 경우 합집합 연산과 유사한 구조적 특성을 가진다. 저자는 이러한 연산을 셀룰러 오토마타(CA)의 열(column) 형태로 구현하고자 한다. 1차원 CA는 각 셀의 상태가 이산적인 시간 단계마다 규칙에 따라 업데이트되는 시스템이며, 열은 시간에 따라 쌓인 셀들의 연속적인 배열을 의미한다. 논문은 두 개의 초기 열을 각각 집합 A와 B의 원소를 이진 형태로 인코딩하고, 특정 규칙 집합을 설계하여 이 두 열을 동시에 진행시킨다. 핵심 아이디어는 “덧셈 전파” 메커니즘이다. 각 셀은 자신의 현재 상태와 이웃 셀들의 상태를 참조해 새로운 상태를 결정하는데, 여기서 이웃은 좌우 두 셀뿐 아니라 같은 시간 단계에서 다른 열에 존재하는 대응 셀까지 포함한다. 이렇게 하면 두 열의 대응 위치에 있는 비트들이 동시에 더해져 캐리(carry)가 발생하는 경우에도 정확히 전파될 수 있다. 저자는 이를 위해 3‑state(0,1,carry) 혹은 4‑state(0,1,2,carry) 자동자를 설계하고, 각 상태 전이표를 상세히 제시한다. 전이 규칙은 기본적인 이진 덧셈과 동일하지만, 셀 간의 동기화 문제를 해결하기 위해 “동시 전파 단계”와 “정리 단계”를 구분한다. 첫 단계에서는 각 위치에서 발생한 부분합과 캐리를 임시 저장하고, 두 번째 단계에서는 이 캐리를 인접 위치로 이동시켜 최종 합을 완성한다. 이러한 두 단계 프로세스는 셀룰러 오토마타의 병렬성(parallelism)을 그대로 유지하면서도 정확한 민코프스 합을 산출한다는 점에서 혁신적이다.

논문은 또한 이 구성법을 이용해 세 제곱수의 합으로 표현 가능한 정수 집합 S₃ = {n ∈ ℤ | n = x² + y² + z², x,y,z∈ℤ} 를 재구성한다. 기존에는 Lagrange의 네 제곱 정리와 같은 고전적 결과를 이용해 S₃를 기술했지만, 저자는 S₃를 “두 집합 A와 B의 민코프스 합” 형태로 표현한다. 여기서 A는 두 제곱수의 합 집합, B는 단일 제곱수 집합이다. 즉, A = {x² + y² | x,y∈ℤ}, B = {z² | z∈ℤ} 이며, A+B = S₃ 가 된다. 이때 A와 B 각각을 셀룰러 오토마타 열로 구현한 뒤, 앞서 제시한 민코프스 합 규칙을 적용하면 S₃를 자동적으로 생성한다. 이 접근법은 기존의 수론적 증명과는 별개로, 계산 모델(셀룰러 오토마타) 관점에서 수학적 구조를 재현한다는 점에서 의미가 크다.

기술적 난점으로는 무한히 큰 정수를 다루는 경우 셀의 수가 무한히 필요하다는 점, 그리고 캐리 전파가 여러 단계에 걸쳐 발생할 경우 동기화 오류가 생길 가능성이 있다. 저자는 이를 해결하기 위해 “가상 경계(boundary) 셀”과 “동기화 신호 셀”을 도입하고, 전이 규칙에 추가적인 검증 단계를 삽입한다. 또한, 복잡도 분석을 통해 이 방법이 시간 단계 O(log N) (N은 최대 정수 크기)와 공간 단계 O(N) 내에 동작함을 보인다. 이는 전통적인 배열 기반 덧셈 알고리즘과 비교했을 때, 병렬성을 활용한 이점이 있다.

마지막으로 논문은 이 방법이 1차원 CA에 국한되지 않고, 2차원 혹은 고차원 CA에서도 확장 가능함을 논의한다. 특히, 다변량 다항식의 계수를 셀에 매핑하고, 그 계수들의 민코프스 합을 계산하는 일반화된 프레임워크를 제시한다. 이는 셀룰러 오토마타를 이용한 수론적 문제 해결의 새로운 가능성을 열어준다.