2ⁿ 차원 유한체 위 적분 셀룰러 오토마톤과 주기성 규칙

초록

본 논문은 특수한 Yang‑Baxter 맵 f: F₂ⁿ→F₂ⁿ을 이용해 R‑행렬을 정의하고, 이를 기반으로 헬리컬 경계조건을 갖는 셀룰러 오토마톤(CA)을 구축한다. 특수히 특성 2인 유한체에서는 YB 방정식이 단순화되어 f가 만족해야 할 식이 (12) 로 요약된다. 전산적 전수 탐색을 통해 F₄, F₈, F₁₆에서 각각 16·, 736·, 269 056개의 전단사 해를 찾았으며, 전단사 f에 대해 CA의 시간 주기가 필드 차수와 일치한다는 강력한 경험적 규칙을 발견하고 n=2,3에 대해 증명하였다.

상세 분석

이 연구는 Yang‑Baxter 방정식(YBE)을 집합론적 맵 R: X×X→X×X의 형태로 접근하고, 특히 유한체 F₂ⁿ 위에서 한 변수 함수 f에 의해 정의되는 R‑행렬
R(x,y) = ( y + f(x + y),  x − f(x + y) )
을 고려한다. 일반적인 필드 K에서는 YBE를 만족하기 위해 복잡한 두 식(11a, 11b)이 필요하지만, 특성 2에서는 덧셈과 뺄셈이 동일해 식이 (12) 로 단순화된다:
f(x) + f(x + f(y)) = f(x + f(y + f(x))) .
이 식은 전단사 f에 대해 강력한 대칭성을 강요한다. 논문은 먼저 f가 전단사임을 가정하고, Ω₀ 집합(0을 고정점으로 하는 전단사)과 Ω(b)ₐ 집합 사이의 일대일 대응을 제시해 해의 구조를 파악한다. 특히 Proposition 3에서 f∘f = id 를 증명함으로써 f가 자체 역함수임을 보이고, 이는 (12)를 만족시키는 충분조건이 된다.

다음으로 전단사 f의 구성을 구체화한다. Proposition 4는 단순 전치(두 원소 교환) 형태의 f가 Ω₀에 속함을 보이며, Proposition 5는 선형성(덧셈 보존)과 involution 성질을 동시에 만족하는 모든 f가 Ω₀에 포함된다는 일반적 결과를 제시한다. Proposition 6은 특정 원소 m, k에 대해 f가 부분적으로 항등과 전치 조합으로 정의될 때도 Ω₀에 속함을 증명한다. 이러한 명제들을 바탕으로 전산적 전수 탐색을 수행했으며, q = 2ⁿ (n=2,3,4) 에 대해 각각 16, 736, 269 056개의 전단사 해를 완전히 열거했다.

CA 구축 단계에서는 위 R‑행렬을 이용해 1차원 격자에 헬리컬(나선형) 경계조건을 부여한다. 각 시간 단계에서 인접한 두 셀에 R을 적용하고, 왼쪽 경계값을 순환시켜 전체 시스템을 업데이트한다. 실험 결과, 전단사 f를 사용한 경우 시스템의 전체 주기가 정확히 필드 차수 q와 일치하였다. 이는 초기 상태, 격자 길이 N에 무관하게 성립한다. 저자들은 이를 “주기성 동일성”이라고 명명하고, 모든 n에 대해 일반화된 형태의 정리를 제시한다. 현재까지는 n=2(F₄)와 n=3(F₈)에서 직접적인 대수적 증명을 제공했으며, n≥4에 대해서는 전산적 검증만 수행했다.

주기성 동일성의 핵심 원인은 f가 전단사이면서 involution(자기 역함수)이라는 점이다. 이 경우 R‑행렬 자체가 교환법칙을 만족하고, 전체 시스템은 각 셀을 한 번씩 순환시키는 순환군(Cₙ)의 작용과 동형이 된다. 따라서 전체 상태 공간이 qⁿ개의 원소로 이루어지지만, R‑연산이 한 번 적용될 때마다 각 원소는 정확히 한 단계씩 이동하므로 전체 주기가 q가 된다.

마지막으로, 본 연구는 기존의 복소수 체계 위 YB 맵 연구와는 달리, 유한체 특히 2의 거듭제곱 차원에서 나타나는 특수한 대수적 구조를 활용함으로써 새로운 적분 CA 모델을 제시한다. 전단사 f의 전수 탐색 결과는 향후 암호학, 오류 정정 코드, 그리고 양자 정보 이론 등에서 활용될 가능성을 시사한다. 또한, 주기성 동일성에 대한 일반적인 증명이 확보된다면, 무한히 큰 n에 대해서도 완전한 예측이 가능한 새로운 종류의 “정밀 예측 가능한 혼돈” 시스템을 구축할 수 있을 것이다.