The Mersenne Twister is a general-purpose pseudorandom number generator (PRNG) developed in 1997 by and . Its name derives from the choice of a Mersenne prime as its period length.
The Mersenne Twister was created specifically to address most of the flaws found in earlier PRNGs.
The most commonly used version of the Mersenne Twister algorithm is based on the Mersenne prime <math>2^{19937}-1</math>. The standard implementation of that, MT19937, uses a 32-bit word length. There is another implementation (with five variants) that uses a 64-bit word length, MT19937-64 which generates a different sequence.
k-distribution
A pseudorandom sequence <math>x_i</math> of <math>w</math>-bit integers of period <math>P</math> is said to be <math>k</math>-distributed to <math>v</math>-bit accuracy if the following holds:
: Let <math>\operatorname{trunc}_v(x)</math> denote the number formed by the leading <math>v</math> bits of <math>x</math>, and consider <math>P</math> of the <math>kv</math>-bit vectors
:: <math>(\operatorname{trunc}_v(x_i), \operatorname{trunc}_v(x_{i+1}), \dots, \operatorname{trunc}_v(x_{i+k-1}))</math>
: for <math>0\leq i < P</math>. Then each of the <math>2^{kv}</math> possible combinations of bits occurs the same number of times in a period, except for the all-zero combination that occurs once less often.
Algorithmic detail
thumb|288x288px|Visualisation of generation of pseudo-random 32-bit integers using a Mersenne Twister. The 'Extract number' section shows an example where integer 0 has already been output and the index is at integer 1. 'Generate numbers' is run when all integers have been output.
For a w-bit word length, the Mersenne Twister generates integers in the range <math>[0, 2^w-1]</math>.
The Mersenne Twister algorithm is based on a matrix linear recurrence over the finite field <math>\mathbb{F}_2</math>. The algorithm is a twisted generalised feedback shift register (twisted GFSR, or TGFSR) of rational normal form (TGFSR(R)), with state bit reflection and tempering. The basic idea is to define a series <math>x_i</math> through a simple recurrence relation, and then output numbers of the form <math>x_i^T</math>, where <math>T</math> is an invertible <math>\mathbb{F}_2</math>-matrix called a tempering matrix.
The general algorithm is characterized by the following quantities:
- <math>w</math>: word size (in number of bits)
- <math>n</math>: degree of recurrence
- <math>m</math>: middle word, an offset used in the recurrence relation defining the series <math>x</math>, <math>1 \le m < n</math>
- <math>r</math>: separation point of one word, or the number of bits of the lower bitmask, <math>0 \le r \le w - 1</math>
- <math>a</math>: coefficients of the rational normal form twist matrix
- <math>b,c</math>: TGFSR(R) tempering bitmasks
- <math>s,t</math>: TGFSR(R) tempering bit shifts
- <math>u,d,l</math>: additional Mersenne Twister tempering bit shifts/masks
with the restriction that <math>2^{nw-r}-1</math> is a Mersenne prime. This choice simplifies the primitivity test and k-distribution test needed in the parameter search.
The series <math>x</math> is defined as a series of <math>w</math>-bit quantities with the recurrence relation:
: <math>x_{k+n} := x_{k+m} \oplus \left( ({x_k}^u \mid {x_{k+1^l) A \right)\qquad k=0,1,2,\ldots</math>
where <math>\mid</math> denotes concatenation of bit vectors (with upper bits on the left), <math>
\oplus
</math> the bitwise exclusive or (XOR), <math>
x_{k}^{u}
</math> means the upper <math>w-r</math> bits of <math>
x_k
</math>, and <math>
x_{k+1}^{l}
</math> means the lower <math>r</math> bits of <math>
x_{k+1}
</math>.
The subscripts may all be offset by <math>-n</math>:
: <math>x_k := x_{k-(n-m)} \oplus \left( ({x_{k-n^u \mid {x_{k-(n-1)^l) A \right)\qquad k=n,n+1,n+2,\ldots</math>
where now the LHS, <math>
x_k
</math>, is the next generated value in the series in terms of values generated in the past, which are on the RHS.
The twist transformation <math>A</math> is defined in rational normal form as:<math display="block">
A = \begin{pmatrix} 0 & I_{w - 1} \\ a_{w-1} & (a_{w - 2}, \ldots , a_0) \end{pmatrix} </math>
with <math>
I_{w-1}
</math> as the <math>
(w-1)(w-1)
</math> identity matrix. The rational normal form has the benefit that multiplication by <math>A</math> can be efficiently expressed as: (remember that here matrix multiplication is being done in <math>\mathbb{F}_{2}</math>, and therefore bitwise XOR takes the place of addition)<math display="block">
\boldsymbol{x}A = \begin{cases}\boldsymbol{x} \gg 1 & x_0 = 0\\(\boldsymbol{x} \gg 1) \oplus \boldsymbol{a} & x_0 = 1\end{cases}
</math>where <math>
x_0
</math> is the lowest order bit of <math>
x
</math>.
As like TGFSR(R), the Mersenne Twister is cascaded with a tempering transform to compensate for the reduced dimensionality of equidistribution (because of the choice of A being in the rational normal form). Note that this is equivalent to using the matrix A where <math>
A = T^{-1}*AT
</math> for <math>T</math> an invertible matrix, and therefore the analysis of characteristic polynomial mentioned below still holds.
As with <math>A</math>, we choose a tempering transform to be easily computable, and so do not actually construct <math>T</math> itself. This tempering is defined in the case of Mersenne Twister as
: <math>
\begin{aligned}
y &\equiv x \oplus ((x\gg u)~\And~d)\\
y &\equiv y \oplus ((y\ll s)~\And~b)\\
y &\equiv y \oplus ((y\ll t)~\And~c)\\
z &\equiv y \oplus (y\gg l)
\end{aligned}
</math>
where <math>x</math> is the next value from the series, <math>y</math> is a temporary intermediate value, and <math>z</math> is the value returned from the algorithm, with <math>\ll</math>and <math>\gg</math> as the bitwise left and right shifts, and <math>\&</math> as the bitwise AND. The first and last transforms are added in order to improve lower-bit equidistribution. From the property of TGFSR, <math>s + t \ge \left\lfloor{\frac{w}{2\right\rfloor - 1</math> is required to reach the upper bound of equidistribution for the upper bits.
The coefficients for MT19937 are:
<math>
\begin{aligned}
(w, n, m, r) &= (32, 624, 397, 31)\\
a &= \textrm{9908B0DF}_{16}\\
(u, d) &= (11, \textrm{FFFFFFFF}_{16})\\
(s, b) &= (7, \textrm{9D2C5680}_{16})\\
(t, c) &= (15, \textrm{EFC60000}_{16})\\
l &= 18\\
\end{aligned}
</math>
Note that 32-bit implementations of the Mersenne Twister generally have d = FFFFFFFF<sub>16</sub>. As a result, the d is occasionally omitted from the algorithm description, since the bitwise and with d in that case has no effect.
The coefficients for MT19937-64 are:
<math>
\begin{aligned}
(w, n, m, r) = (64, 312, 156, 31)\\
a = \textrm{B5026F5AA96619E9}_{16}\\
(u, d) = (29, \textrm{5555555555555555}_{16})\\
(s, b) = (17, \textrm{71D67FFFEDA60000}_{16})\\
(t, c) = (37, \textrm{FFF7EEE000000000}_{16})\\
l = 43\\
\end{aligned}
</math>
Initialization
The state needed for a Mersenne Twister implementation is an array of n values of w bits each. To initialize the array, a w-bit seed value is used to supply <math>x_0</math> through <math>x_{n-1}</math> by setting <math>x_0</math> to the seed value and thereafter setting
: <math>
x_i = f \times (x_{i-1} \oplus (x_{i-1} \gg (w-2))) + i
</math>
for <math>i</math> from <math>1</math> to <math>n-1</math>.
- The first value the algorithm then generates is based on <math>x_n</math>, not on <math>x_0</math>.
- The constant f forms another parameter to the generator, though not part of the algorithm proper.
- The value for f for MT19937 is 1812433253.
- The value for f for MT19937-64 is 6364136223846793005. It's permissively-licensed and patent-free for all variants except CryptMT. Additionally, the Mersenne Twister is k-distributed to 32-bit accuracy for every <math>1 \le k \le 623</math>, improving its output quality. It does, however, use a relatively large state buffer, of almost 2.5kB and it is not cryptographically secure, unless the TinyMT and CryptMT variants are used respectively. CryptMT is used over the Mersenne Twister because after observing a sufficient number of iterations (624 in the case of MT19937, since this is the size of the state vector from which future iterations are produced), all future iterations of the algorithm can be predicted.
Implementations generally create random numbers faster than hardware-implemented methods. A study found that the Mersenne Twister creates 64-bit floating point random numbers approximately twenty times faster than the hardware-implemented, processor-based RDRAND instruction set. However, the throughput is mediocre by modern standards, unless the SFMT variant (discussed below) is used.
It is not generally appropriate to use multiple instances of the Mersenne Twister that differ only in seed value (but not other parameters) for Monte Carlo simulations that require independent random number generators, though there exists a method for choosing multiple sets of parameter values.
The Mersenne Twister generally performs well in test for statistical randomness, including the Diehard tests and most, but not all, of the TestU01 tests where it exhibits two clear failures (linear complexity) in both Crush and BigCrush in the TestU01 suite. The test, like Mersenne Twister, is based on an <math>\textbf{F}_2</math>-algebra.
It can exhibit poor diffusion resulting in outputs that pass randomness tests being generated after a long time, if the initial state is highly non-random. This happens particularly if the initial state has many zeroes. Generated results also contain subsequences with more 0's than 1's which adds to the poor diffusion property, resulting in recovery from many-zero states difficult. A consequence of poor diffusion is that two instances of the generator, started with initial states that are almost the same, will usually output nearly the same sequence for many iterations, before eventually diverging. The 2002 update to the MT algorithm has improved initialization, so that beginning with such a state is very unlikely. The GPU version (MTGP) is said to be even better.
Variants
CryptMT is a stream cipher and cryptographically secure pseudorandom number generator which uses Mersenne Twister internally. It was developed by Matsumoto and Nishimura alongside Mariko Hagita and Mutsuo Saito. It has been submitted to the eSTREAM project of the eCRYPT network. The basic linear recurrence operations are extended from MT and parameters are chosen to allow many threads to compute the recursion in parallel, while sharing their state space to reduce memory load. The paper claims improved equidistribution over MT and performance on an old (2008-era) GPU (Nvidia GTX260 with 192 cores) of 4.7 ms for 5×10<sup>7</sup> random 32-bit integers.
The SFMT (SIMD-oriented Fast Mersenne Twister) is a variant of Mersenne Twister, introduced in 2006, designed to be fast when it runs on 128-bit SIMD.
- It is roughly twice as fast as Mersenne Twister.
- It has a better equidistribution property of v-bit accuracy than MT but worse than WELL ("Well Equidistributed Long-period Linear").
- It has quicker recovery from zero-excess initial state than MT, but slower than WELL.
- It supports various periods from 2<sup>607</sup> − 1 to 2<sup>216091</sup> − 1.
Intel SSE2 and PowerPC AltiVec are supported by SFMT. It is also used for games with the Cell BE in the PlayStation 3.
TinyMT is a variant of Mersenne Twister, proposed by Saito and Matsumoto in 2011. TinyMT uses just 127 bits of state space, a significant decrease compared to the original's 2.5 KiB of state. However, it has a period of <math>2^{127}-1</math>, far shorter than the original, so it is only recommended by the authors in cases where memory is at a premium.
Applications
The Mersenne Twister is used as default PRNG by the following software:
- Programming languages: Dyalog APL, IDL, R, Ruby, Free Pascal, PHP, Python (also available in NumPy, however the default was changed to PCG64 instead as of version 1.17), CMU Common Lisp, Embeddable Common Lisp, Steel Bank Common Lisp, Julia (up to Julia 1.6 LTS, still available in later, but a better/faster RNG used by default as of 1.7)
- Unix-likes libraries and software: GLib, GNU Multiple Precision Arithmetic Library, GNU Octave, GNU Scientific Library
- Other: Microsoft Excel, GAUSS, gretl, Stata, SageMath, Scilab, Maple, MATLAB
It is also available in Apache Commons, in the standard C++ library (since C++11), and in Mathematica. Add-on implementations are provided in many program libraries, including the Boost C++ Libraries, the CUDA Library, and the NAG Numerical Library.
The Mersenne Twister is one of two PRNGs in SPSS: the other generator is kept only for compatibility with older programs, and the Mersenne Twister is stated to be "more reliable". The Mersenne Twister is similarly one of the PRNGs in SAS: the other generators are older and deprecated. The Mersenne Twister is the default PRNG in Stata, the other one is KISS, for compatibility with older versions of Stata.
Alternatives
An alternative generator, WELL ("Well Equidistributed Long-period Linear"), offers quicker recovery, and equal randomness, and nearly equal speed.
Marsaglia's xorshift generators and variants are the fastest in the class of LFSRs.
64-bit MELGs ("64-bit Maximally Equidistributed <math>\textbf{F}_2</math>-Linear Generators with Mersenne Prime Period") are completely optimized in terms of the k-distribution properties.
The ACORN family (published 1989) is another k-distributed PRNG, which shows similar computational speed to MT, and better statistical properties as it satisfies all the current (2019) TestU01 criteria; when used with appropriate choices of parameters, ACORN can have arbitrarily long period and precision.
The PCG family is a more modern long-period generator, with better cache locality, and less detectable bias using modern analysis methods.
References
Further reading
- .
- .
External links
- The academic paper for MT, and related articles by Makoto Matsumoto
- Mersenne Twister home page, with codes in C, Fortran, Java, Lisp and some other languages
- Mersenne Twister examples — a collection of Mersenne Twister implementations, in several programming languages - at GitHub
- SFMT in Action: Part I – Generating a DLL Including SSE2 Support – at Code Project