Testing an Intuitive Random Generator with the Task of Emptying a Cube
Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram CDF Player or other Wolfram Language products.
Requires a Wolfram Notebook System
Edit on desktop, mobile and cloud with any Wolfram Language product.
It is to be expected that the less significant digits of depend on the integer argument in a chaotic manner so that the formula (where is the floor of ) is expected to define a uniformly distributed sequence in the unit interval . This Demonstration lets you use this formula as a random generator and perform a rather selective test with it. We compute an entity (the blue curve) that—under the assumption that the random generator is perfect—is a realization of a certain stochastic process: emptying a cube. All properties of this process can be computed exactly and are shown by the green curve (decay of the "mean occupation number") and the two red curves (mean occupation number ± one standard deviation). The random generator passes the test if the blue curve remains approximately between the red lines.[more]
The blue curve shows a simulated population decay of the cube emptying process, which is a discrete-time stochastic process on a finite probability space. The random decisions are based on random numbers delivered by the sine-floor generator . A simulation method is used that assumes statistical independence of successive triplets of random values.
The gray curves show simulated population decay according to a simpler simulation method. It is based on Mathematica's default random generator and only assumes uniformity of the random values.
The sine-floor generator passes the test if the blue curve can be considered an inconspicuous member of the ensemble of the gray curves. This method is more direct and more universal than trying an analytical representation of population mean values and variances as functions of the process step. In this elementary case, this analytical representation can be obtained from moment-generating functions.
The exact population mean together with ± one standard deviation of the emptying process is given as the green curve and the two red curves.
More explanations on controlling this Demonstration and its meaning are given in the mouse-based annotations ("tooltips") to the graphics and in the Details section.[less]
The stochastic process under consideration is as follows: the basic object is the finite set of sites, where for some positive integer . The state space of the process is the powerset , and the initial state is (), where is the state for which every site is occupied. The allowed state transitions are in one-to-one correspondence with the sites. They are of the form , that is, they just remove from the set . Of course, this emptying of site is the trivial action for states that do not contain (states for which site is empty). The stochastics of the process is defined by stipulating that state transitions (steps) occur in a fixed time raster and with equal probability for all transitions. The cardinality of a state is referred to as its population size. Obviously the first step reduces the population size from to . The smaller the population becomes in a sequence of steps, the smaller the probability that the next step will reduce the population even more: the sites proposed for emptying may be empty already. This stochastic law is simple enough that all pertinent problems can be worked out analytically. The most important property is that the expectation value of the population size after steps is . A realization of the stochastic process asks for actually deciding which site should be selected for emptying in all the steps under consideration. As in all modern applications of the Monte Carlo method, this is done by calling a random number generator. If this function is set up to return integer numbers in the range it can be directly used for this decision. Any realization of the process gives a curve representing the actual population sizes as they decrease with growing step number. The behavior of this curve can be compared with that of the mean value curve as given above. If there is a significant discrepancy between the mean value and the particular realization, we may have to blame the random generator for failing to give all its outputs with equal probability. Such a failure is very unlikely, however, for any reasonably designed random generator, and so we make the test more selective by making it sensitive for statistical dependencies of successive results: for realizing one step we call three times in succession a random number generator that returns numbers in the smaller set . Let be the triplet of numbers obtained in this way. The site proposed for emptying, then, is . This procedure suggests itself if we consider the sites as arranged in a finite cubic lattice and let the random generator output three discrete Cartesian coordinates of the site to be selected. The "name emptying a cube" refers to this situation .
Snapshot 1: the blue curve remains within its expected limits; test passed, but only for a small number (1000) of points
Snapshot 2: the gray curves carry essentially the same information as the green and red lines. Whereas the gray curves can always be obtained by the Monte-Carlo method, the red and green curves can only be obtained by analytical methods. For the present simple process, these are in place, however. The blue curve remains always within the area spanned by the 10 gray curves. Thus, there is no reason to blame the sine-floor random generator.
Snapshot 3: the sine-floor generator does not work properly if its factor is reduced from its proven value too drastically (modified logarithmic representation)
Snapshot 4: settings as for Snapshot 3, but non-logarithmic representation
 D. Stauffer, "Random Number Generation," Computational Physics (K. H. Hoffmann and M. Schreiber, eds.), New York: Springer, 1996.
 U. Mutze, "Rigidly Connected Overlapping Spherical Particles: A Versatile Grain Model," Granular Matter, 8(3–4), 2006 pp. 185–194.
 U. Mutze, "Polyspherical Grains and Their Dynamics," 2007.