Accelerating true orbit pseudorandom number generation using Newton's method
Asaki Saito, Akihiro Yamaguchi
TL;DR
The paper tackles the prohibitive $O(N^2)$ time of true orbit pseudorandom number generation based on the Bernoulli map over quadratic algebraic integers by integrating Newton's method to compute exact binary expansions from rational approximants. It proves a sufficient condition for the first $N$ bits to match between the irrational root $\alpha$ and its Newton-based approximation, and shows the overall worst-case complexity reduces to $O\big(N\,g(N)\big)$, where $g(N)$ reflects large-integer multiplication cost. The authors present a practical algorithm that iteratively refines the approximation, demonstrates linear memory scaling, and provides extensive numerical validation, including a long sequence that passes all RabbitFile tests in TestU01. The results indicate a substantial speedup over prior true orbit generators while preserving high statistical quality, enabling efficient, high-precision PRNG suitable for rigorous empirical testing and simulations.
Abstract
The binary expansions of irrational algebraic numbers can serve as high-quality pseudorandom binary sequences. This study presents an efficient method for computing the exact binary expansions of real quadratic algebraic integers using Newton's method. To this end, we clarify conditions under which the first $N$ bits of the binary expansion of an irrational number match those of its upper rational approximation. Furthermore, we establish that the worst-case time complexity of generating a sequence of length $N$ with the proposed method is equivalent to the complexity of multiplying two $N$-bit integers, showing its efficiency compared to a previously proposed true orbit generator. We report the results of numerical experiments on computation time and memory usage, highlighting in particular that the proposed method successfully accelerates true orbit pseudorandom number generation. We also confirm that a generated pseudorandom sequence successfully passes all the statistical tests included in RabbitFile of TestU01.
