Quelltext der Seite Spektraltest

Der '''Spektraltest''' ist eine Methode, mit der überprüft werden kann, ob gegebene Zufallszahlen tatsächlich [[Stochastisch unabhängige Zufallsvariablen|stochastisch voneinander unabhängig]] sind, oder ob das Gegenteil der Fall ist, d.&nbsp;h. bereits „gewürfelte“ Werte die folgenden Werte beeinflussen – und letztere somit (mehr oder minder) vorhersagbar werden.

Für den Spektraltest werden jeweils <math>i</math> gewonnene Zufallszahlen zu <math>i</math>-Tupeln zusammengefasst und überprüft, wie gut sich diese Vektoren in ihrem Wertebereich des <math>i</math>-dimensionalen Raumes verteilen und wie gut diese Verteilung der theoretisch geforderten entspricht.

Anwendung findet der Test bei der Bewertung von ([[Pseudozufallszahl|Pseudo]]-)[[Zufallszahlengenerator]]en.
Noch immer häufig verwendet werden beispielsweise [[Linearer Kongruenzgenerator|lineare Kongruenzgeneratoren]] (LKG), die je nach Wahl der Parameter sehr unterschiedlich gut bzw. schlecht sind. Ein wesentlich besserer Generator ist etwa der [[Mersenne-Twister]].
Eine Alternative zu Generatoren wäre die Messung physikalischer Phänomene (Radioaktivität, echter Würfel).

== Grundidee ==

[[Datei:Randu.png|mini|Abbildung 1: Mit RANDU generierte Zufallszahlen-Tripel sind nicht zufällig verteilt, sondern konzentrieren sich sämtlich in einer kleinen Anzahl Flächen.]]

Abbildung 1 visualisiert die mit dem [[RANDU]]-Algorithmus generierten Zufallszahlen auf eine, der Grundidee des Spektraltests entsprechende, Art und Weise: Jeweils drei Zufallszahlen wurden zu einem 3-Tupel (Tripel) zusammengefasst, welches man als Punkt im dreidimensionalen Raum interpretiert und grafisch darstellt. Der Algorithmus sollte eigentlich [[Gleichverteilung|gleichverteilte]] Zufallszahlen erzeugen (im Sinne von: gleichmäßig verteilt). Da ein Tripel von drei gleichverteilten Zufallsvariablen wieder gleichverteilt ist, würde man in der Grafik eine völlig einförmige Verteilung erwarten.

Es ist jedoch gut zu erkennen, dass diese Punkte ganz und gar nicht gleichmäßig verteilt sind, sondern einem Muster folgen. Kennt man nun bspw. zwei aufeinanderfolgende Zahlen, ist die dritte nicht mehr zufällig, sondern nimmt einen von höchstens 15 verschiedenen Werten an, wodurch man eine siebenprozentige Chance hat, den richtigen zu erraten.

Für einen guten Zufallsgenerator sollten es jedoch nicht nur 15 Werte sein, sondern so viele wie möglich. Eine obere Grenze setzt hier die Anzahl <math>m</math> der vom Generator erzeugbaren Zahlen. Werden diese Zahlen gleichmäßig über den gesamten Raum möglicher Tupel (einen Würfel mit Kantenlänge <math>m</math>) verteilt, bekommt man etwa <math>\sqrt[i]{m}</math> Punkte entlang jeder Raumrichtung.
Für den abgebildeten dreidimensionalen Test von RANDU ergibt dies <math>\sqrt[3]{2^{31}} \approx 1290</math>. Die tatsächliche Zahl von 15 bleibt also weit hinter dem theoretisch Möglichen zurück.

== Durchführung ==

Für die mathematische bzw. rechnerische Analyse betrachtet man Familien aus parallelen, (Hyper-)Ebenen, die alle denselben Abstand haben und sämtliche Tupel enthalten (für ein bestimmtes <math>i</math>). Es wird dann die Familie mit dem größten Abstand ausgewählt. Dieser Abstand wird mit <math>1/\nu_i</math> bezeichnet.
Der Kehrwert <math>\nu_i</math> wird ''Accuracy'' genannt. Mathematisch ist es nicht exakt, aber grob kann man sich die Accuracy wieder als ungefähre „Anzahl der Flächen“ vorstellen.

<math>i</math> bezeichnet weiterhin die Länge der untersuchten Tupel bzw. Sequenzen.
Für das RANDU-Beispiel haben wir bisher den Fall <math>i=3</math> betrachtet, anschaulich: Punkte in einem Würfel, die sich in parallelen Flächen anordnen. <math>1/\nu_3</math> bezeichnet den Abstand zwischen diesen Flächen.
2-Tupel hingegen sind Punkte in der Ebene, die sich in parallelen Linien anordnen können. <math>1/\nu_2</math> bezeichnet den Abstand zwischen diesen Linien.
Die für <math>i=2</math> und <math>i=3</math> verwendeten geometrischen Konzepte sind für 4 und mehr Dimensionen nicht mehr anschaulich – die verwendete Mathematik lässt sich dennoch problemlos weiterverwenden.

Je größer die Accuracy <math>\nu_i</math>, also je kleiner <math>1/\nu_i</math> ist, umso besser sind die Vektoren in ihrem Wertebereich verteilt.
Um die Qualität eines Zufallsgenerators zu beurteilen, berechnet man die <math>\nu_i</math> für i von 2 bis vielleicht 5 oder 6 und vergleicht die Ergebnisse mit denen anderer zur Verfügung stehender Generatoren oder dem theoretischen Wert von zirka <math>\sqrt[i]{m}</math>.

Die praktische Schwierigkeit besteht darin, einen Algorithmus zu finden, der die benötigte Familie mit dem größten Abstand findet. Für manche Generatoren (z.&nbsp;B. LKGs wie RANDU) existieren Algorithmen, die das exakte Ergebnis mit relativ geringem Rechenaufwand liefern.
Ein allgemeinerer Ansatz ist, die Verteilung der Punkte im Raum als Dichte zu interpretieren. Periodische Veränderungen entsprechen dann (i-dimensionalen) Wellen, was eine Analyse des Frequenz''spektrums'' nahelegt, um Hauptrichtung und Amplitude der Wellenfronten zu ermitteln. Daher auch der Name: Spektraltest.

Bei Generatoren, die nur endlich viele verschiedene Zahlen liefern (periodische Generatoren), kann der Test über die gesamte Periode durchgeführt werden.

== Beispiele ==
<!-- Eine frühere Version (http://de.wikipedia.org/w/index.php?title=Spektraltest&oldid=95399439) nutzte hier mehr LaTeX. Da es ohnehin nur Listen von Zahlen waren, habe ich mich zugunsten der Lesbarkeit ausnahmsweise für HTML entscheiden. Die beiden Tabellen sollen es einfacher machen, die Zahlenwerte der beiden Beispiele visuell schnell zu vergleichen.-->
Die folgenden Beispiele sind [[Linearer Kongruenzgenerator|lineare Kongruenzgeneratoren]]. Sie generieren Zufallszahlen mittels der Formel <math>x_{n+1} = (a \cdot x_n + c) \, \textrm{ mod } \, m</math> und festen Konstanten <math>a</math>, <math>c</math>, <math>m</math> sowie dem Startwert x<sub>0</sub>. Für diese gibt Knuth<ref>[[Donald E. Knuth]]: ''The Art of Computer Programming.'' 3. Edition. 23. Printing. Volume 2: ''Seminumerical Algorithms.'' Addison-Wesley, Boston MA u. a. 2008, ISBN 978-0-201-89684-8, S. 93ff.</ref> einen konkreten Algorithmus zur Durchführung des Spektraltests an.
Die Werte in den Tabellen sind ebenfalls von dort.

=== Beispiel 1 ===

m = 10000000000 = 10<sup>10</sup>; a = 3141592621; c = 1;  x<sub>0</sub> = 0. Der Spektraltest liefert
{| class="wikitable"
|-
! <math>\nu_2</math> !! <math>\nu_3</math> !! <math>\nu_4</math> !! <math>\nu_5</math> !! <math>\nu_6</math> !! <math>\nu_7</math>
|-
| 67654 || 1017 || 249 || 42 || 23 || 23
|}
Der Generator wurde hier als Beispiel ausgewählt, weil er ein für viele gute Generatoren typisches Ergebnis liefert.

Die Zahlen sagen direkt etwas über die Genauigkeit der erhaltenen Zufallszahlen aus: Wenn man in einer Rechnung immer zwei Zufallszahlen benötigt, etwa weil man Zufallspunkte in der Ebene benötigt, kann man die Ergebnisse maximal mit einer Genauigkeit von <math>1/\nu_2 = 1/67654 = 0{,}0000148 < 10^{-4} \Rightarrow 4 \text{ Dezimalstellen}</math> angeben. Wenn man drei pro Rechnung benötigt sind das <math>1/\nu_3 = 1/1017 = 0{,}000938 < 10^{-3} \Rightarrow  3 \text{ Dezimalstellen}</math>. Bei vier pro Rechnung ergibt sich <math>1/\nu_4 = 1/249 = 0{,}00402 < 10^{-2} \Rightarrow 2 \text{ Dezimalstellen}</math>.

Die [[Box-Muller-Methode]] zur Generierung von normalverteilten Zufallszahlen benötigt pro Auswertung zwei Zufallszahlen. Ihre Ergebnisse sind also mit diesem Zufallsgenerator besser als vierstellig. Der im Beispiel verwendete Generator ist brauchbar. Es gibt zwar bessere Generatoren, aber auch viel schlechtere, wie das nächste Beispiel zeigt.

=== Beispiel 2 – RANDU ===

''Das'' Horrorbeispiel in diesem Zusammenhang ist der früher gern verwendete Generator RANDU<ref>''[[:en:RANDU|RANDU]]'' in der englischsprachigen Wikipedia</ref>:

m = 2147483648 = 2<sup>31</sup>; a = 65539 = 2<sup>16</sup>+3; c = 0; x<sub>0</sub> = 1 und dem Spektraltestergebnis

{| class="wikitable"
|-
! <math>\nu_2</math> !! <math>\nu_3</math> !! <math>\nu_4</math> !! <math>\nu_5</math> !! <math>\nu_6</math> !! <math>\nu_7</math> !! <math>\nu_8</math> !! <math>\nu_9</math>
|-
| 23171|| 10 || colspan="6"| 10
|}
Genauer:&nbsp; <math>\nu_3 = \sqrt{118} \approx 10;\quad \nu_4 = \ldots = \nu_9 = \sqrt{116} \approx 10</math>.

Alle i-tupel mit i&nbsp;>&nbsp;2 haben maximal 1&nbsp;Dezimalstelle Genauigkeit!

== Literatur ==
* [[Donald E. Knuth]]: ''The Art of Computer Programming.'' 3. Edition. 23. Printing. Volume 2: ''Seminumerical Algorithms.'' Addison-Wesley, Boston MA u. a. 2008, ISBN 978-0-201-89684-8, S. 93ff.

== Weblinks ==
{{Commonscat|Spectral test|Spektraltest}}

== Einzelnachweise ==
<references />

[[Kategorie:Mathematische Statistik]]
[[Kategorie:Pseudozufallszahlengenerator]]