비아키메데언 에르고딕 이론과 의사난수 생성기

초록

본 논문은 균등 분포된 수열을 생성하는 컴퓨터 프로그램, 즉 의사난수 생성기(PRNG)를 구축하기 위한 새로운 기법을 제시한다. 저자는 표준 프로세서 명령(산술 연산 및 비트 단위 논리 연산)을 2‑adic 정수 공간 위의 연속 함수로 간주하는 접근법을 활용한다. 이 관점에서 PRNG를 동역학계로 모델링하고, 비아키메데언(비아르키메데스) 에르고딕 이론을 적용하여 그 특성을 분석한다.

상세 분석

이 논문이 제시하는 핵심 아이디어는 현대 컴퓨터가 수행하는 기본 연산을 ‘2‑adic 정수’라는 수학적 구조 위에서 연속적인 변환으로 해석한다는 점이다. 2‑adic 정수는 일반적인 실수 체계와 달리 비아키메데언 거리(즉, p‑adic 거리)를 사용해 정의되며, 여기서는 p=2가 선택된다. 이 거리 체계에서는 두 정수의 차이가 2의 거듭 제곱으로 나누어 떨어질수록 서로 가깝다고 판단한다. 이러한 특성은 비트 수준에서의 연산, 예컨대 비트 시프트, AND, OR, XOR 등이 자연스럽게 연속 함수가 되는 환경을 제공한다.

연속성이 확보되면 동역학 시스템 이론을 적용할 수 있다. PRNG를 ‘상태 전이 함수’ f: ℤ₂→ℤ₂ 로 모델링하고, 초기값(seed)을 ℤ₂의 한 원소로 두면, 반복 적용 fⁿ(seed) 가 생성하는 수열은 2‑adic 공간 내에서의 궤적이 된다. 여기서 에르고딕성은 ‘거의 모든’ 초기값에 대해 궤적이 전체 공간을 고르게 탐색한다는 의미이며, 이는 전통적인 난수의 균등성 요구와 직접적으로 연결된다. 비아키메데언 에르고딕 이론은 Haar 측도(2‑adic 정수군의 자연 측도)를 보존하면서도 전이 함수가 전역적으로 혼합(mixing)되는 조건을 제시한다.

논문은 구체적으로 몇 가지 대표적인 프로세서 명령을 2‑adic 연속 함수로 표현하고, 이들 함수가 에르고딕성을 만족하도록 설계된 조합을 제시한다. 예를 들어, 비트 시프트 연산은 2‑adic 곱셈에 해당하고, XOR 연산은 2‑adic 덧셈(모듈로 2)과 동일시될 수 있다. 이러한 연산들을 적절히 섞어 만든 ‘비아키메데언 선형 변환’은 전통적인 선형 동역학에서의 ‘전단(shear)’이나 ‘회전(rotation)’에 해당하지만, 2‑adic 공간에서는 전이 함수가 강한 혼합성을 갖게 된다.

이 접근법의 장점은 기존 PRNG 설계에서 흔히 겪는 ‘주기 길이’와 ‘통계적 편향’ 문제를 수학적으로 보증된 방식으로 회피할 수 있다는 점이다. 에르고딕 이론에 의해 보장된 균등 분포는 통계적 테스트(NIST, Diehard 등)를 통과할 가능성을 크게 높인다. 또한, 연산이 모두 하드웨어 수준의 기본 명령으로 구현되므로, 추가적인 복잡한 연산이나 큰 메모리 요구 없이도 고속 실행이 가능하다.

하지만 몇 가지 한계도 존재한다. 첫째, 2‑adic 연속성은 실제 하드웨어의 제한(예: 오버플로우, 부동소수점 연산)과 완전히 일치하지 않을 수 있다. 둘째, 에르고딕성을 보장하는 전이 함수는 설계가 복잡해질 경우 구현 오류가 발생할 위험이 있다. 셋째, 비아키메데언 거리 체계는 직관적인 실수 기반 분석과는 다르기 때문에, 기존 보안 평가 도구와의 호환성 확보에 추가적인 연구가 필요하다.

종합하면, 이 논문은 컴퓨터 과학과 비아키메데언 수학을 융합하여 PRNG 설계에 새로운 이론적 토대를 제공한다. 향후 연구는 이러한 2‑adic 기반 동역학을 실제 암호 시스템에 적용하고, 보안성 및 성능을 실험적으로 검증하는 방향으로 진행될 필요가 있다.