Satz von Isserlis
mathematischer Satz
From Wikipedia, the free encyclopedia
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.[1]
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.[2]
Sätze
Wir nennen eine Partition der Menge eine Paarpartition, wenn sie nur aus Paaren besteht: . Zum Beispiel ist eine Paarpartition der Menge .
Mit sei die Menge aller Paarpartitionen einer diskreten Menge notiert. Mit notieren wir die Menge der Indizes , so dass die Paare in der Paarpartion der Form sind.
Der verallgemeinerte Satz von Isserlis lässt im Gegensatz zur klassischen Variante auch mehrmaliges Vorkommen desselben Indexes zu.
Verallgemeinerter Satz von Isserlis
Sei mit und ein zentrierter Gaußscher Vektor, dann gilt
![{\displaystyle \mathbb {E} \left[\prod \limits _{\alpha _{i}\in A}X_{\alpha _{i}}\right]=\sum \limits _{\sigma \in {\mathfrak {P}}_{2}(A)}\prod \limits _{i\in A/\sigma }\operatorname {Cov} \left[X_{\alpha _{i}}X_{\alpha _{\sigma (i)}}\right]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/8e70a4491e07c249290151a2099acb460297814c)
und für gilt stets
- .
![{\displaystyle \mathbb {E} \left[\prod \limits _{\alpha _{i}\in A_{2}}X_{\alpha _{i}}\right]=0}](http://wikimedia.org/api/rest_v1/media/math/render/svg/df02bf0decd40bb5fe9c6507dd393444906d6304)
Satz von Isserlis
Für und den zentrierten Gaußschen Vektor erhält man den klassischen Satz von Isserlis
- .
![{\displaystyle \mathbb {E} \left[\prod \limits _{i=1}^{2n}X_{i}\right]=\sum \limits _{\sigma \in {\mathfrak {P}}_{2}(A)}\prod \limits _{(i,j)\in \sigma }\operatorname {Cov} \left[X_{i}X_{j}\right]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/108a8fa0277b54930867060b270beb0a3e38f73d)
Beispiel
Sei und , dann gibt es drei mögliche Paar-Partitionen und es gilt
![{\displaystyle \mathbb {E} \left[\prod \limits _{\alpha _{i}\in A}X_{\alpha _{i}}\right]=\operatorname {Cov} [X_{1}X_{1}]\,\operatorname {Cov} [X_{4}X_{5}]+\operatorname {Cov} [X_{1}X_{5}]\,\operatorname {Cov} [X_{1}X_{4}]+\operatorname {Cov} [X_{1}X_{4}]\,\operatorname {Cov} [X_{1}X_{5}].}](http://wikimedia.org/api/rest_v1/media/math/render/svg/937b093aba52902ec533ea00133869824b69eda3)
Für gilt aufgrund der Symmetrie der Normalverteilung um ihren Erwartungswert
![{\displaystyle \mathbb {E} \left[X_{1}X_{2}X_{3}\right]=\mathbb {E} \left[(-X_{1})(-X_{2})(-X_{3})\right]=-\mathbb {E} \left[X_{1}X_{2}X_{3}\right]=0}](http://wikimedia.org/api/rest_v1/media/math/render/svg/89d10cf33bda8b94dc9d50dff225580cf8261dd3)