[논문 리뷰] Uniformly distributed sequences of p-adic integers, II

Vladimir Anashin|ArXiv.org|2002. 09. 30.

advanced mathematical theories참고 문헌 10인용 수 41

한 줄 요약

이 논문은 p=2인 경우를 포함하여, 산술 및 비트 연산의 조합을 사용한 명시적 공식을 통해 p-진 정수 ℤₚ 위에서의 에르고딕 함수와 측도를 보존하는 함수를 특성화한다. 이러한 함수들은 모듈로 m에서 최대 주기 길이 m을 가지며 엄밀히 주기적이고 균일하게 분포된 수열을 생성하며, 이는 최적의 통계적 성질과 낮은 선형 복잡도를 갖는 고품질의 의사난수 생성기 구현을 가능하게 한다.

ABSTRACT

The paper describes ergodic (with respect to the Haar measure) functions in the class of all functions, which are defined on (and take values in) the ring of p-adic integers, and which satisfy (at least, locally) Lipschitz condition with coefficient 1. Equiprobable (in particular, measure-preserving) functions of this class are described also. In some cases (and especially for p=2) the descriptions are given by explicit formulae. Some of the results may be viewed as descriptions of ergodic isometric dynamical systems on p-adic unit disk. The study was motivated by the problem of pseudorandom number generation for computer simulation and cryptography. From this view the paper describes nonlinear congruential pseudorandom generators modulo M which produce stricly periodic uniformly distributed sequences modulo M with maximal possible period length (i.e., exactly M). Both the state change function and the output function of these generators could be, e.g., meromorphic functions (in particular, polynomials with rational, but not necessarily integer coefficients, or rational functions), or compositions of arithmetical operations (like addition, multiplication, exponentiation, raising to integer powers, including negative ones) with standard computer operations, such as bitwise logical operations (XOR, OR, AND, etc.). The linear complexity of the produced sequences is also studied.

연구 동기 및 목표

• Lipschitz 상수 1을 갖는 조건을 만족하는 ℤₚ 위에서의 에르고딕 함수 및 측도를 보존하는 함수를 식별하고 기술하는 것.
• 정확히 주기 길이 m을 갖는 엄밀히 주기적이고 균일하게 분포된 수열을 생성하는 모듈로 m의 비선형 합동 생성기들을 구축하는 것.
• 산술 연산과 비트 연산(예: XOR, AND, OR)을 사용하여 실용적인 의사난수 생성기를 가능하게 하되, 높은 통계적 품질과 낮은 선형 복잡도를 유지하는 것.
• 이진 생성기에서의 '낮은 비트 효과'를 해결하기 위해 등확률 출력 함수를 사용하는 것.

제안 방법

• ℚ[x] 위에서 정의된 함수가 모듈로 m에서 동치 생성기를 유도함을 보이기 위해 p-진 Weierstrass 정리를 활용한다.
• ℤ₂에서의 전이성 및 에르고딕 함수에 대한 결과를 적용하여, 비트 논리 연산과 유리수 계수 다항식을 사용한 생성기를 구성한다.
• 거듭제곱, 역함수, 표준 컴퓨터 연산(예: XOR, 시프트)의 조합을 통해 상태 전이 함수를 정의한다.
• 함수가 모든 k에 대해 모듈로 2^k에서 전이성임을 보장하는 명시적 조건을 유도한다. 이는 최대 주기 길이를 보장한다.
• 등확률(측도를 보존하는) 함수를 특성화하여 이진 생성기에서의 '낮은 비트 효과'를 제거한다.
• 비아르키메데스 동역계 시스템의 결과를 적용하여 p-진 단위 원판 위에서 등거리 에르고딕 시스템을 기술한다.

실험 결과

연구 질문

• RQ1 Lipschitz 상수가 1인 함수 f: ℤₚ → ℤₚ 중에서 ℤₚ 위의 Haar 측도에 대해 에르고딕인 함수는 무엇인가?
• RQ2 모듈로 m에서 정확히 주기 길이 m을 갖는 균일하게 분포된 수열을 생성하는 비선형 합동 생성기를 어떻게 구성할 수 있는가?
• RQ3 특히 비트 연산을 포함하는 함수의 어떤 클래스가 ℤ₂에서 전이성 및 측도를 보존하는 동역학을 유도하는가?
• RQ4 등확률 함수는 의사난수 수열이 모듈로 2^k에서 생성될 때 '낮은 비트 효과'를 어떻게 제거하는가?
• RQ5 다항식 생성기의 결과를 유리수 계수 또는 f(x) = 1 + x + (1 + 200x)^{-1}과 같은 복합 함수로 확장할 수 있는 정도는 어느 정도인가?

주요 결과

• p=2인 경우, ℤ₂ 위에서의 모든 에르고딕 및 측도를 보존하는 함수에 대해 명시적 공식이 존재하여 고품질의 의사난수 생성기를 직접 구성할 수 있다.
• f(x) = 1 + x + (1 + 200x)^{-1}과 같은 함수는 모든 k ≥ 1에 대해 모듈로 10^k에서 전이성임이 입증되며, 이는 주기 길이 m = 10^k를 보장한다.
• 이러한 함수를 기반으로 한 생성기는 모듈로 m에서 정확히 주기 길이 m을 가지며 균일하게 분포된 수열을 생성하며, 가장 강력한 균일성 기준을 충족한다.
• 등확률 출력 함수의 사용은 균일 분포를 유지하면서도 낮은 비트 효과(하위 비트가 더 짧은 주기를 보이는 현상)를 제거한다.
• 생성된 수열의 선형 복잡도는 유계이며 종종 낮아, 암호학적 및 시뮬레이션 응용에 적합하다.
• 논문은 유리수 계수 다항식과 비트 연산(예: XOR, AND)의 조합이 모듈로 2^k에서 전이성 동역학을 유도할 수 있음을 증명하며, 이는 효율적이고 안전한 구현을 가능하게 한다.