모듈러 아커만 맵과 계층적 해시 구조

이 논문은 Ackermann 함수의 급격한 성장 특성을 모듈러 환경에 적용함으로써 새로운 수학적·암호학적 도구를 제시한다. 먼저, 전통적인 Ackermann 함수 A(m,n)의 정의를 재확인하고, 이를 모듈러 N ≥ 2 로 제한한 A_N(m,n) 을 정의한다. 고정된 깊이 m에 대해 n ↦ A_N(m,n) 은 ℤ_N 위의 완전한 자기‑맵이며, 재귀식은 그대로 유지되지만 모든 중간값이 모듈러 연산을 통해 축소된다. 이때 중요한 관찰은 깊이 m+1 의 맵이 깊이 m 의 맵을 자체 합성함으로써 생성된다는 점이다(명제 2.3). 따라서 m이 증가할수록 합성 깊이가 기하급수적으로 늘어나, 함수의 비선형성 및 알제브라적 차수가 급격히 상승한다. 구조적 특성 측면에서 명제 2.4는 서로 다른 깊이의 맵이 ℤ_N 상에서 어떠한 선형 변환(affine transformation)으로도 연결되지 않음을 증명한다. 이는 Ackermann 계층이 단순 선형 변환이 아닌 고차 비선형 연산을 포함한다는 것을 의미한다. 특히 m ≥ 3 일 때는 중첩된 지수함수(exp‑exponential)가 등장하여, 입력 차이가 작은 경우에도 모듈러 축소 후에는 거의 무작위에 가까운 출력 차이를 만든다. 이는 2^k 모듈러에서 “주기 k‑1”이라는 현상으로 구체화되며, 저차원 비트는 예측 가능하지만 고차 비트는 급격히 섞인다(명제 2.6, 주석 2.5). 분포 분석에서는 고정된 m ≥ 3 에 대해 n을 균등하게 선택하면 A_{2^k}(m,n) 의 출력이 ℤ_{2^k} 전역에 거의 균등하게 퍼진다는 ‘비등분포 추정(Conjecture 2.8)’을 제시한다. 실험적으로 m = 4, k ≤ 12 에서 출력 빈도가 거의 균등함을 확인했으며, 이는 깊이가 깊어질수록 혼합성이 강화된다는 직관과 일치한다. 사이클 구조에 대해서는 유한 집합 위의 자기‑맵이므로 반드시 주기적인 궤적을 만든다. 예시 2.1은 m = 3, N = 16 일 때 고정점 13을 갖는 짧은 사이클을 보여준다. 그러나 깊이가 증가하면 중첩된 지수 구조 때문에 사이클 길이가 다양해지고, 최장 사이클은 N에 비례하거나 그보다 크게 성장할 가능성이 있다(문제 2.9). 이는 암호학적 응용 시 주기 길이가 충분히 길어야 하는 요구조건과 연결된다. 이후 논문은 깊이‑의존 해시 구성(H(x)=A_N(h1(x),h2(x)))을 정의하고, 입력에 따라 평가 깊이가 변하도록 설계한다. 이 구조는 작은 입력 변화가 여러 계층을 통해 전파되어 출력 차이가 급격히 커지는 Avalanche 효과를 제공한다. 변형으로는 두 개의 서로 다른 깊이 맵을 XOR 으로 결합하는 ‘듀얼‑깊이 믹싱’과, 동일한 깊이‑의존 맵을 반복 적용하는 ‘반복 깊이 계층’이 제시된다. 실험 결과는 2^k 모듈러(k=8~12)와 깊이 m=3, 4 에 대해 수행되었다. 표 1은 각 (m,k) 조합에 대한 출력 분포의 최대 편차와 Avalanche 계수를 제시한다. m = 3 은 큰 k에서 편차가 크게 나타나 2의 거듭제곱 구조의 잔존성을 보였지만, m = 4 로 깊이를 한 단계 올리면 편차가 현저히 감소하고 Avalanche 계수가 증가한다. 이는 깊이 증가가 비선형성·혼합성을 강화하고, 출력이 거의 균등하게 퍼짐을 의미한다. 논문은 이러한 관찰을 바탕으로 “계층 혼합 임계값”이라는 가설을 제시한다: 충분히 큰 m 에서는 A_{2^k}(m,·) 가 거의 완전한 균등 분포를 이루며, 이는 암호학적 해시 함수 설계에 유용한 특성이다. 그러나 실제 암호 적용을 위해서는 충돌 저항성, 사전 이미지 저항성 등 전통적인 보안 속성에 대한 엄밀한 증명이 필요하다는 점을 명시한다. 현재는 이론적 모델로서의 가치를 강조하며, 향후 연구 방향으로는 정확한 사이클 길이 상한, 고차 모듈러(N이 2의 거듭제곱이 아닌 경우)에서의 분포 특성, 그리고 효율적인 구현을 위한 알고리즘 최적화 등을 제시한다. 결론적으로, 본 연구는 Ackermann 함수의 급격한 성장과 모듈러 축소가 결합될 때 나타나는 복잡한 동역학을 체계적으로 분석하고, 이를 기반으로 깊이‑의존 해시 구조를 설계함으로써 새로운 비선형·혼합성 기반 암호 원시 아이디어를 제공한다.