비아키메데아니안 에르고딕 이론을 활용한 2‑adic 난수 생성기 설계

본 논문은 “CPU가 수행하는 기본 산술·비트 연산을 2‑adic 정수 위의 연속 함수로 볼 수 있다”는 관점을 출발점으로 삼는다. 1절에서는 현대 프로세서가 n‑비트 워드 단위로 동작하며, 이 워드를 ℤ/2ⁿℤ에 대한 잔류류로 식별함을 설명한다. 산술 연산은 자연스럽게 모듈러 연산으로 해석되고, 비트 연산은 각 비트 자리의 논리 연산으로 표현된다. 이러한 연산들은 모두 ℤ₂에 대한 1‑리프시츠(호환) 함수를 정의하며, 따라서 2‑adic 거리에서 연속이다. 저자는 이를 “CPU는 2‑adic 정수의 유한한 근사값만을 다루는 기계”라고 정리한다. 2절에서는 PRNG를 ℤ₂ 위의 동적 시스템으로 모델링한다. 변환 f:ℤ₂→ℤ₂가 Haar 측도(ℤ₂의 표준 확률 측도)를 보존하고 전이(transitive)하면, 모든 n에 대해 f (mod 2ⁿ) 은 Bₙ 위에서 순열이 된다. 이는 출력 시퀀스가 각 비트 길이 n에 대해 완전 균등 분포(strictly uniformly distributed)를 만든다는 의미이며, 전통적인 선형 합동 생성기(LCG)의 완전 주기 조건과 동일한 구조를 갖는다. 저자는 이와 같은 에르고딕 변환을 구성하기 위한 일반적인 방법론을 제시한다. 3절에서는 산술·비트 연산이 ℤ₂에서 연속이며 호환임을 증명하고, 이들 연산의 조합이 역시 호환함을 보인다. 특히, XOR, AND, OR, NOT, 좌·우 시프트는 모두 호환 연산이며, 시프트 연산은 2배·1/2배 연산으로 표현된다. 이러한 연산을 이용해 복합적인 변환을 정의하면, 그 변환이 Haar 측도 보존인지 여부는 Jacobian 행렬식이 1(mod 2)인지 여부로 판단할 수 있다. 저자는 이와 같은 충분조건을 정리하고, 실제 설계에 적용 가능한 구체적인 예시를 제시한다. 4절은 에르고딕·측도 보존 변환을 구성하거나 검증하는 다양한 기법을 서술한다. (1) 다항식 형태 P(x)=a₀+∑aⱼ·(x XOR bⱼ) (mod 2ⁿ) 의 경우, 각 항이 호환이며 aⱼ가 모두 홀수이면 전체 변환은 전이성을 갖는다. (2) 비트 마스크 기반 변환 x↦a+∑aⱼ·δⱼ(x) (mod 2ⁿ) 에서는 δⱼ(x)=x AND 2ʲ가 기본 호환 연산이며, aⱼ가 홀수이면 전이성을 확보한다. 저자는 이러한 구조를 일반화하여, 임의의 유한 집합의 연산으로부터 에르고딕 변환을 자동 생성하는 알고리즘을 제시한다. 또한, 변환이 에르고딕인지 판단하기 위한 Jacobian 행렬식 검증, 고정점 존재 여부, 그리고 주기 길이 분석을 위한 p‑adic 차분 방정식 해법을 상세히 설명한다. 5절에서는 위에서 제시한 두 종류의 변환을 실제 PRNG에 적용한다. 첫 번째는 x_{i+1}=a+∑_{j=1}^{m} a_j·(x_i XOR b_j) (mod 2ⁿ) 이며, 두 번째는 x_{i+1}=a+∑_{j=0}^{m} a_j·δ_j(x_i) (mod 2ⁿ) 이다. 두 변환 모두 연산 복잡도가 O(m)이며, 하드웨어 구현 시 XOR·AND·시프트만 사용하므로 고속이다. 저자는 이들 PRNG가 Knuth의 Q1 무작위성 기준을 만족함을 증명하고, 실험적으로 NIST SP800‑22 테스트를 통과함을 보고한다. 또한, 선형 복구 공격에 대한 저항성을 분석하여, 비선형 항이 충분히 많을 경우 선형 관계식이 존재하지 않음을 보인다. 6절에서는 에르고딕 변환이 생성하는 시퀀스의 통계적 특성을 더 깊이 탐구한다. 특히, 시퀀스가 Haar 측도에 대해 균등하므로, 각 비트는 독립적인 균등 비트열을 형성한다. 이는 D.Knuth이 제시한 Q1 기준(첫 번째 비트가 0과 1을 거의 동일하게 나타내는지)뿐 아니라, 더 높은 차수의 무작위성 테스트(예: 비트 패턴 빈도, 마코프 체인 검증)에서도 우수한 성능을 보인다. 저자는 이러한 결과를 2‑adic 에르고딕 이론의 정리와 연결시켜, 변환이 전이성을 갖는 한 무작위성 특성이 보장된다는 일반적 명제를 제시한다. 7절은 결론으로, 비아키메데아니안(2‑adic) 분석이 디지털 시스템 설계에 제공하는 새로운 시각을 정리한다. 기존 PRNG 설계는 주로 실수 기반 확률론이나 유한체 대수에 의존했지만, 본 연구는 CPU 수준의 연산을 직접 2‑adic 연속 함수로 모델링함으로써, 하드웨어 친화적이면서도 수학적으로 엄밀한 설계 방법을 제공한다. 또한, p‑adic(특히 p≠2) 일반화 가능성을 언급하며, 다중 알파벳 난수 생성, p‑adic 동역학 기반 암호 설계, 그리고 물리·생물학 모델링 등 향후 연구 방향을 제시한다.