Exercise 4.3: Algebraic and Modulo Sum

• Return to book

Ein „getakteter” Zufallsgenerator liefert eine Folge 〈x_ν〉 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_ν ∈ {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 〈a_ν〉 und 〈m_ν〉 gebildet. Hierbei bezeichnet:

a_ν die algebraische Summe:

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

m_ν 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:

Hinweis: Die Aufgabe bezieht sich auf den Inhalt von Kapitel 4.1.

Fragebogen

1

Berechnen Sie die Wahrscheinlichkeiten der Zufallsgröße m_ν. Wie groß ist die Wahrscheinlichkeit, dass die Modulo-2-Summe gleich 0 ist?

$Pr(mν = 0)$ =

2

Bestehen statistiche Abhängigkeiten innerhalb der Folge 〈m_ν〉?

	Die Folgenelemente mν sind statistisch unabhängig.
	Es bestehen statistische Bindungen innerhalb der Folgen 〈mν〉.

3

Ermitteln Sie die Verbund-WDF f_xm(x_ν, m_ν) und bewerten Sie aufgrund des Resultats die nachfolgenden Aussagen (zutreffend oder nicht).

	Die Zufallsgröße xν und mν sind statistisch abhängig.
	Die Zufallsgröße xν und mν sind statistisch unabhängig.
	Die Zufallsgröße xν und mν sind korreliert.
	Die Zufallsgröße xν und mν sind unkorreliert.

4

Bestehen innerhalb der Folge 〈a_ν〉 statistische Abhängigkeiten?

	Die Folgenelemente aν sind statistisch unabhängig.
	Es bestehen statistische Bindungen innerhalb der Folgen 〈aν〉.

5

Ermitteln Sie die 2D-WDF f_am(a_ν, m_ν) und den Korrelationskoeffizienten ρ_am. Welche der nachfolgenden Aussagen treffen zu?

	Die Zufallsgröße aν und mν sind statistisch abhängig.
	Die Zufallsgröße aν und mν sind statistisch unabhängig.
	Die Zufallsgröße aν und mν sind korreliert.
	Die Zufallsgröße aν und mν sind unkorreliert.

Musterlösung

Solution

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.