Aufgabe 4.3: Algebraische und Modulo-Summe

Ein „getakteter” Zufallsgenerator liefert eine Folge $\langle x_\nu \rangle$ von binären Zufallszahlen. Es wird nun vorausgesetzt, dass die Binärzahlen $0$ und $1$ mit gleichen Wahrscheinlichkeiten auftreten und dass die einzelnen Zufallszahlen nicht statistisch voneinander abhängen. Die Zufallszahlen $ x_\nu \in \{0, 1\}$ werden in die erste Speicherstelle eines Schieberegisters eingetragen und mit jeden Takt um eine Stelle nach unten verschoben.

Aus den Inhalten des dreistelligen Schieberegisters werden zwei neue Zufallsfolgen $\langle a_\nu \rangle$ und $\langle m_\nu \rangle$ gebildet. Hierbei bezeichnet:

$a_\nu$ die algebraische Summe:

$$a_\nu=x_\nu+x_{\nu-1}+x_{\nu-2},$$

$m_\nu$ die Modulo-2-Summe:

$$m_\nu=x_\nu\oplus x_{\nu-1}\oplus x_{\nu-2}.$$

Dieser Sachverhalt ist in der nachfolgenden Tabelle nochmals dargestellt:

Hinweise:

Die Aufgabe gehört zum Kapitel Zweidimensionale Zufallsgrößen.
Sollte die Eingabe des Zahlenwertes „0” erforderlich sein, so geben Sie bitte „0.” ein.

Fragebogen

Musterlösung

1. Aus der Tabelle auf der Angabenseite ist ersichtlich, dass bei der Modulo-2-Summe die beiden Werte 0 und 1 mit gleicher Wahrscheinlichkeit (also jeweils 0.5) auftreten.

2. Die Tabelle zeigt, dass bei jeder Vorbelegung, - das heißt (x_ν–1, x_ν–2) = (0,0), (0,1), (1,0), (1,1) - die Werte m_ν = 0 bzw. m_ν = 1 mit gleicher Wahrscheinlichkeit auftreten. Anders ausgedrückt:

$$\rm Pr(\it m_{\nu}|m_{\nu-\rm 1}) = \rm Pr(\it m_{\nu}).$$

Dies entspricht genau der Definition der statistischen Unabhängigkeit.

3. Die 2D–WDF besteht aus vier Diracfunktionen, jeweils mit dem Gewicht 1/4. Man erhält dieses Ergebnis beispielsweise durch Auswertung der Tabelle auf der Angabenseite.

Da f_xm(x_ν, m_ν) gleich dem Produkt f_x(x_ν) · f_m(m_ν) ist, sind die Größen x_ν und m_ν statistisch unabhängig. Statistisch unabhängige Zufallsgrößen sind aber natürlich auch linear statistisch unabhängig, also mit Sicherheit unkorreliert. Richtig sind also der zweite und der letzte Lösungsvorschlag.

4. Innerhalb der Folge 〈a_ν〉 der algebraischen Summe gibt es statistische Bindungen ⇒ Vorschlag 2. Man erkennt dies daran, dass die unbedingte Wahrscheinlichkeit Pr(a_ν = 0) = 1/8 ist, während zum Beispiel Pr(a_ν = 0 | a_ν–1 = 3) gleich 0 ist.

5. Wie bei der Teilaufgabe (3) erhält man wieder vier Diracfunktionen, diesmal aber nicht mit jeweils gleichem Impulsgewicht 1/4.

Die zweidimensionale WDF lässt sich nicht als Produkt der zwei Randwahrscheinlichkeitsdichten schreiben. Das bedeutet aber, dass statistische Bindungen zwischen a_ν und m_ν bestehen müssen.

Für den gemeinsamen Erwartungswert erhält man:

$$\rm E[\it a\cdot \it m] = \rm \frac{1}{8}\cdot 0 \cdot 0 +\frac{3}{8}\cdot 2 \cdot 0 +\frac{3}{8}\cdot 1 \cdot 1 + \frac{1}{8}\cdot 3 \cdot 1 = \frac{3}{4}.$$

Mit den linearen Mittelwerten E[a] = 1.5 und E[m] = 0.5 folgt damit für die Kovarianz:

$$\mu_{am}= \rm E[\it a\cdot m] - \rm E[\it a]\cdot \rm E[\it m] = \rm 0.75-1.5\cdot 0.5 = \rm 0.$$

Damit ist auch der Korrelationskoeffizient ρ_am = 0. Das heißt: Die vorhandenen Abhängigkeiten sind nichtlinear. Die Größen a_ν und m_ν sind zwar statistisch abhängig, aber trotzdem unkorreliert. Richtig sind der erste und der letzte Lösungsvorschlag.

	Die Zufallsgrößen $x_\nu$ und $m_\nu$ sind statistisch abhängig.
	Die Zufallsgrößen $x_\nu$ und $m_\nu$ sind statistisch unabhängig.
	Die Zufallsgrößen $x_\nu$ und $m_\nu$ sind korreliert.
	Die Zufallsgrößen $x_\nu$ und $m_\nu$ sind unkorreliert.

	Die Zufallsgrößen $a_\nu$ und $m_\nu$ sind statistisch abhängig.
	Die Zufallsgrößen $a_\nu$ und $m_\nu$ sind statistisch unabhängig.
	Die Zufallsgrößen $a_\nu$ und $m_\nu$ sind korreliert.
	Die Zufallsgrößen $a_\nu$ und $m_\nu$ sind unkorreliert.

	Die Folgenelemente $m_\nu$ sind statistisch unabhängig.
	Es bestehen statistische Bindungen innerhalb der Folge $\langle m_\nu \rangle$.

	Die Folgenelemente $a_\nu$ sind statistisch unabhängig.
	Es bestehen statistische Bindungen innerhalb der Folge $\langle a_\nu \rangle$.