Here we don't want to go into a detailed discussion.
For detail, please consult with the preprint
mt.ps.
Briefly saying, MT is designed according to the modern researches
on the practical conditions which a generator should satisfy.
We don't have a practical definition of "good pseudorandomness"
for pseudorandom number generators yet now.
So, there is no rigourous mathematical assurance for MT to be
a defect-free random number generators.
However, it is widely believed that the spectral test is one
of the strongest test to select a good generator.
MT is designed to pass a similar test, called the k-distribution test.
For example, if we look the output with 32-bit accuracy, then
the 623-tuples from the output in a whole period are equidistributed in
the 623-dimensional unit cube.
For 16-bit accuracy, 1246-tuples are equidistributed in 1246-dimension,
and for 2-bit accuaracy, in 9968-dimension. These values are at least
15 times larger than the previous records.
MT passed many stringent tests, including the diehard test by G.Marsaglia
and the load test by P.Hellekalek and S.Wegenkittl.
MT is an improved version of a very successful generator TT800,
which has the period 2^800-1
and has been used for a few years with favorable comments
by many users. MT is much more robust.
The generator is implemented to generate the output only by
fastest arithmetic operations: no division, no multiplication.
By generating an array at one time, it takes the full advantage
of cache memory and pipeline processing.