Satz von Isserlis

Der Satz von Isserlis, auch Wicks Lemma oder Wicks Formel genannt, ist eine kombinatorische Formel um multivariate Produktmomente eines Gaußschen Vektors zu berechnen. In der Quantenfeldtheorie existiert ein Spezialfall des Theorems unter dem Namen Wicks Theorem.

Das Theorem ist nach Leon Isserlis und Gian-Carlo Wick benannt. Die im Artikel behandelte leichte Verallgemeinerung des Resultates stammt von C. S. Withers, jedoch sind beide Sätze unter dem Namen Satz von Isserlis verbreitet.

Sätze

Wir nennen eine Partition der Menge eine Paarpartition, wenn sie nur aus Paaren besteht: ${\dots, {α_{i}, α_{j}}, \dots}$ . Zum Beispiel ist ${{1, 4}, {2, 5}, {3, 6}}$ eine Paarpartition der Menge ${1, 2, 3, 4, 5, 6}$ .

Mit $𝔓_{2} (A)$ sei die Menge aller Paarpartitionen einer diskreten Menge $A$ notiert. Mit $A / σ$ notieren wir die Menge der Indizes $i$ , so dass die Paare in der Paarpartion $σ \in 𝔓_{2} (A)$ der Form ${{α_{i}, α_{σ (i)}} : i \in A / σ}$ sind.

Der verallgemeinerte Satz von Isserlis lässt im Gegensatz zur klassischen Variante auch mehrmaliges Vorkommen desselben Indexes zu.

Verallgemeinerter Satz von Isserlis

Sei $A = {α_{1}, \dots, α_{2 n}}$ mit $1 \leq α_{i} \leq d \forall i$ und $(X_{1}, \dots, X_{d})$ ein zentrierter Gaußscher Vektor, dann gilt

𝔼 [\prod_{α_{i} \in A} X_{α_{i}}] = \sum_{σ \in 𝔓_{2} (A)} \prod_{i \in A / σ} Cov [X_{α_{i}} X_{α_{σ (i)}}]

und für $A_{2} = {α_{1}, \dots, α_{2 n + 1}}$ gilt stets

𝔼 [\prod_{α_{i} \in A_{2}} X_{α_{i}}] = 0

.

Satz von Isserlis

Für $A := {1, 2, \dots, 2 n}$ und den zentrierten Gaußschen Vektor $(X_{1}, X_{2}, \dots, X_{2 n})$ erhält man den klassischen Satz von Isserlis

𝔼 [\prod_{i = 1}^{2 n} X_{i}] = \sum_{σ \in 𝔓_{2} (A)} \prod_{(i, j) \in σ} Cov [X_{i} X_{j}]

.

Beispiel

Sei $A = {1, 1, 4, 5}$ und $(X_{1}, \dots, X_{5}) \sim 𝒩_{5} (0, Σ)$ , dann gibt es drei mögliche Paar-Partitionen und es gilt

𝔼 [\prod_{α_{i} \in A} X_{α_{i}}] = Cov [X_{1} X_{1}] Cov [X_{4} X_{5}] + Cov [X_{1} X_{5}] Cov [X_{1} X_{4}] + Cov [X_{1} X_{4}] Cov [X_{1} X_{5}] .

Für $A = {1, 2, 3}$ gilt aufgrund der Symmetrie der Normalverteilung um ihren Erwartungswert

𝔼 [X_{1} X_{2} X_{3}] = 𝔼 [(- X_{1}) (- X_{2}) (- X_{3})] = - 𝔼 [X_{1} X_{2} X_{3}] = 0

Einzelnachweise

↑ G.C. Wick: The evaluation of the collision matrix. In: Physical Review. 80. Jahrgang, Nr. 2, 1950, S. 268–272 (englisch).
↑ C. S. Withers: The moments of the multivariate normal. In: Bulletin of the Australian Mathematical Society. Nr. 32, 1985, S. 103–107, doi:10.1017/S000497270000976X (englisch).

[1] G.C. Wick: The evaluation of the collision matrix. In: Physical Review. 80. Jahrgang, Nr. 2, 1950, S. 268–272 (englisch).

[2] C. S. Withers: The moments of the multivariate normal. In: Bulletin of the Australian Mathematical Society. Nr. 32, 1985, S. 103–107, doi:10.1017/S000497270000976X (englisch).