Ich konnte beide Formeln bestätigen, vorausgesetzt, die Operatoren sind fermionisch und normal geordnet.
Hier ist der allgemeine Algorithmus zum Generieren eines kumulierten Durchschnitts vonN
Variablen (entnommen von Seite Seite 34 von GWGardiner, Stochastic Methods: A Handbook for the Natural and Social Sciences , zugeschrieben van Kampen):
GC(X1,X2, … ,XN) =∑p = 0n − 1( -1 _)PCP(X1,X2, … ,XN)
Wo
CP(X1,X2, … ,XN) = G (X1) G (X2,X3, … ,XN) + …
ist die Summe über alle verschiedenen Partitionen von
N
Variablen hinein
P
Teilmengen, mit der Mittelungsfunktion
G
auf jede Teilmenge angewendet. Wenn die Operatoren fermionisch sind, dann ist jeder Term in
CP
muss mit dem Vorzeichen der gewünschten Permutation multipliziert werden.
Hier die Verweise auf die Originalarbeiten:
- E. Meeron, J.Chem. Phys. 27, 1238 (1957); DOI:10.1063/1.1743985
- NG van Kampen, Physica 74, 215 (1973); 74, 239 (1973.)
Nun zur Computeralgebra: Mit dieser Antwort ist es einfach, einen Mathematica-Code zu schreibenCP
und somitGC
für den allgemeinen Fall.
Unter der Annahme, dass alle Ihre Variablen bis 3 Erzeugungsoperatoren sind und von 4 bis 6 Vernichtungsoperatoren (oder umgekehrt) und dass die Teilchenzahl wohldefiniert ist, müssen wir nur Mittelwerte von einer gleichen Anzahl von Erzeugungs- und halten Vernichtungsoperatoren. Auf diese Weise kann ich die Gültigkeit jedes Begriffs in beiden zitierten Formeln bestätigen .
Als "Proof of Work" kann ich Ihnen die verbundene Funktion von 8 Variablen anbieten (hoffe, es macht MathJax in Ihrem Browser nicht kaputt):
GC( 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 ) = − 6 G ( 1 , 8 ) G ( 2 , 7 ) G ( 3 , 6 ) G ( 4 , 5 ) + 6 G ( 1 , 8 ) 7 ) G ( 2 , 8 ) G ( 3, 6 ) G ( 4 , 5 )+ 6 G ( 1 , 8 ) G ( 2 , 6 ) G ( 3 , 7 ) G ( 4 , 5 ) − 6 G ( 1 , 6 ) G ( 2 , 8 ) G ( 3 , 7 ) G ( 4 , 5 ) − 6 G ( 1 , 7 ) G( 2 , 6 ) G ( 3 , 8 ) G ( 4 , 5 )+ 6 G ( 1 , 6 ) G ( 2 , 7 ) G ( 3 , 8 ) G ( 4 , 5 ) + 2 G ( 3 , 8 ) G ( 1 , 2 , 6 , 7 ) G ( 4 , 5 ) − 2 G ( 3 , 7 ) G ( 1, 2 , 6 , 8 ) G ( 4 , 5 )+ 2 G ( 3 , 6 ) G ( 1 , 2 , 7 , 8 ) G ( 4 , 5 ) − 2 G ( 2 , 8 ) G ( 1 , 3 , 6 , 7 ) G ( 4 , 5 ) + 2 G ( 2 , 7 ) G ( 1 , 3, 6 , 8 ) G ( 4 , 5 )− 2 G ( 2 , 6 ) G ( 1 , 3 , 7 , 8 ) G ( 4 , 5 ) + 2 G ( 1 , 8 ) G ( 2 , 3 , 6 , 7 ) G ( 4 , 5 ) − 2 G ( 1 , 7 ) G ( 2 , 3, 6 , 8 ) G ( 4 , 5 )+ 2 G ( 1 , 6 ) G ( 2 , 3 , 7 , 8 ) G ( 4 , 5 ) − G ( 1 , 2 , 3 , 6 , 7 , 8 ) G ( 4 , 5 ) + 6 G ( 1 , 8 ) G ( 2 , 7 ) G (3 , 5 ) G ( 4 , 6 )− 6 G ( 1 , 7 ) G ( 2 , 8 ) G ( 3 , 5 ) G ( 4 , 6 ) − 6 G ( 1 , 8 ) G ( 2 , 5 ) G ( 3 , 7 ) G ( 4 , 6 ) + 6 G ( 1 , 5 ) G( 2 , 8 ) G ( 3 , 7 ) G ( 4 , 6 )+ 6 G ( 1 , 7 ) G ( 2 , 5 ) G ( 3 , 8 ) G ( 4 , 6 ) − 6 G ( 1 , 5 ) G ( 2 , 7 ) G ( 3 , 8 ) G ( 4 , 6 ) − 6 G ( 1 , 8 ) G( 2 , 6 ) G ( 3 , 5 ) G ( 4 , 7 )+ 6 G ( 1 , 6 ) G ( 2 , 8 ) G ( 3 , 5 ) G ( 4 , 7 ) + 6 G ( 1 , 8 ) G ( 2 , 5 ) G ( 3 , 6 ) G ( 4 , 7 ) − 6 G ( 1 , 5 ) G( 2 , 8 ) G ( 3 , 6 ) G ( 4 , 7 )− 6 G ( 1 , 6 ) G ( 2 , 5 ) G ( 3 , 8 ) G ( 4 , 7 ) + 6 G ( 1 , 5 ) G ( 2 , 6 ) G ( 3 , 8 ) G ( 4 , 7 ) + 6 G ( 1 , 7 ) G( 2 , 6 ) G ( 3 , 5 ) G ( 4 , 8 )− 6 G ( 1 , 6 ) G ( 2 , 7 ) G ( 3 , 5 ) G ( 4 , 8 ) − 6 G ( 1 , 7 ) G ( 2 , 5 ) G ( 3 , 6 ) ( 2 , 7 G ( 4 , 8 ) + 6 G ( 1 , 5 ) G ) G ( 3 , 6 ) G ( 4 , 8 )+ 6 G ( 1 , 6 ) G ( 2 , 5 ) G ( 3 , 7 ) G ( 4 , 8 ) − 6 G ( 1 , 5 ) G ( 2 , 6 ) G ( 3 , 7 ) G ( 4 , 8 ) + 2 G ( 3 , 8 ) G( 4 , 7 ) G ( 1 , 2 , 5 , 6 )− 2 G ( 3 , 7 ) G ( 4 , 8 ) G ( 1 , 2 , 5 , 6 ) − 2 G ( 3 , 8 ) G ( 4 , 6 ) G ( 1 , 2 , 5 , 7 ) + 2 G ( 3 , 6 ) G ( 4 , 8) G ( 1 , 2 , 5 , 7 )+ 2 G ( 3 , 7 ) G ( 4 , 6 ) G ( 1 , 2 , 5 , 8 ) − 2 G ( 3 , 6 ) G ( 4 , 7 ) G ( 1 , 2 , 5 , 8 ) − 2 G ( 3 , 5 ) G ( 4 , 8) G ( 1 , 2 , 6 , 7 )+ 2 G ( 3 , 5 ) G ( 4 , 7 ) G ( 1 , 2 , 6 , 8 ) − 2 G ( 3 , 5 ) G ( 4 , 6 ) G ( 1 , 2 , 7 , 8 ) − 2 G ( 2 , 8 ) G ( 4 , 7) G ( 1 , 3 , 5 , 6 )+ 2 G ( 2 , 7 ) G ( 4 , 8 ) G ( 1 , 3 , 5 , 6 ) + 2 G ( 2 , 8 ) G ( 4 , 6 ) G ( 1 , 3 , 5 , 7 ) − 2 G ( 2 , 6 ) G ( 4 , 8) G ( 1 , 3 , 5 , 7 )− 2 G ( 2 , 7 ) G ( 4 , 6 ) G ( 1 , 3 , 5 , 8 ) + 2 G ( 2 , 6 ) G ( 4 , 7 ) G ( 1 , 3 , 5 , 8 ) + 2 G ( 2 , 5 ) G ( 4 , 8) G ( 1 , 3 , 6 , 7 )− 2 G ( 2 , 5 ) G ( 4 , 7 ) G ( 1 , 3 , 6 , 8 ) + 2 G ( 2 , 5 ) G ( 4 , 6 ) G ( 1 , 3 , 7 , 8 ) + 2 G ( 2 , 8 ) G ( 3 , 7) G ( 1 , 4 , 5 , 6 )− 2 G ( 2 , 7 ) G ( 3 , 8 ) G ( 1 , 4 , 5 , 6 ) − 2 G ( 2 , 8 ) G ( 3 , 6 ) G ( 1 , 4 , 5 , 7 ) + 2 G ( 2 , 6 ) G ( 3 , 8) G ( 1 , 4 , 5 , 7 )+ 2 G ( 2 , 7 ) G ( 3 , 6 ) G ( 1 , 4 , 5 , 8 ) − 2 G ( 2 , 6 ) G ( 3 , 7 ) G ( 1 , 4 , 5 , 8 ) + 2 G ( 2 , 8 ) G ( 3 , 5) G ( 1 , 4 , 6 , 7 )− 2 G ( 2 , 5 ) G ( 3 , 8 ) G ( 1 , 4 , 6 , 7 ) − 2 G ( 2 , 7 ) G ( 3 , 5 ) G ( 1 , 4 , 6 , 8 ) + 2 G ( 2 , 5 ) G ( 3 , 7) G ( 1 , 4 , 6 , 8 )+ 2 G ( 2 , 6 ) G ( 3 , 5 ) G ( 1 , 4 , 7 , 8 ) − 2 G ( 2 , 5 ) G ( 3 , 6 ) G ( 1 , 4 , 7 , 8 ) + 2 G ( 1 , 8 ) G ( 4 , 7) G ( 2 , 3 , 5 , 6 )− 2 G ( 1 , 7 ) G ( 4 , 8 ) G ( 2 , 3 , 5 , 6 ) − G ( 1 , 4 , 7 , 8 ) G ( 2 , 3 , 5 , 6 ) − 2 G ( 1 , 8 ) G ( 4 , 6 ) G (2 , 3 , 5 , 7 )+ 2 G ( 1 , 6 ) G ( 4 , 8 ) G ( 2 , 3 , 5 , 7 ) + G ( 1 , 4 , 6 , 8 ) G ( 2 , 3 , 5 , 7 ) + 2 G ( 1 , 7 ) G ( 4 , 6 ) G ( 2 ,3 , 5 , 8 )− 2 G ( 1 , 6 ) G ( 4 , 7 ) G ( 2 , 3 , 5 , 8 ) − G ( 1 , 4 , 6 , 7 ) G ( 2 , 3 , 5 , 8 ) − 2 G ( 1 , 5 ) G ( 4 , 8 ) G 2 ( , 3 , 6 , 7 )− G ( 1 , 4 , 5 , 8 ) G ( 2 , 3 , 6 , 7 ) + 2 G ( 1 , 5 ) G ( 4 , 7 ) G ( 2 , 3 , 6 , 8 ) + G ( 1 , 4 , 5 , 7 ) G ( 2 , , 36 , 8 )− 2 G ( 1 , 5 ) G ( 4 , 6 ) G ( 2 , 3 , 7 , 8 ) − G ( 1 , 4 , 5 , 6 ) G ( 2 , 3 , 7 , 8 ) − 2 G ( 1 , 8 ) G ( 3 , 7 ) G ( 2 , 4 , 5 , 6 )+ 2 G ( 1 , 7 ) G ( 3 , 8 ) G ( 2 , 4 , 5 , 6 ) + G ( 1 , 3 , 7 , 8 ) G ( 2 , 4 , 5 , 6 ) + 2 G ( 1 , 8 ) G ( 3 , 6 ) G (2 , 4 , 5 , 7 )− 2 G ( 1 , 6 ) G ( 3 , 8 ) G ( 2 , 4 , 5 , 7 ) − G ( 1 , 3 , 6 , 8 ) G ( 2 , 4 , 5 , 7 ) − 2 G ( 1 , 7 ) G ( 3 , 6 ) G 2 (, 4 , 5 , 8 )+ 2 G ( 1 , 6 ) G ( 3 , 7 ) G ( 2 , 4 , 5 , 8 ) + G ( 1 , 3 , 6 , 7 ) G ( 2 , 4 , 5 , 8 ) − 2 G ( 1 , 8 ) G ( 3 , 5 ) G 2 ( , 4 , 6 , 7 )+ 2 G ( 1 , 5 ) G ( 3 , 8 ) G ( 2 , 4 , 6 , 7 ) + G ( 1 , 3 , 5 , 8 ) G ( 2 , 4 , 6 , 7 ) + 2 G ( 1 , 7 ) G ( 3 , 5 ) G (2 , 4 , 6 , 8 )− 2 G ( 1 , 5 ) G ( 3 , 7 ) G ( 2 , 4 , 6 , 8 ) − G ( 1 , 3 , 5 , 7 ) G ( 2 , 4 , 6 , 8 ) − 2 G ( 1 , 6 ) G ( 3 , 5 ) G 2 ( , 4 , 7 , 8 )+ 2 G ( 1 , 5 ) G ( 3 , 6 ) G ( 2 , 4 , 7 , 8 ) + G ( 1 , 3 , 5 , 6 ) G ( 2 , 4 , 7 , 8 ) + 2 G ( 1 , 8 ) G ( 2 , 7 ) G (3 , 4 , 5 , 6 )− 2 G ( 1 , 7 ) G ( 2 , 8 ) G ( 3 , 4 , 5 , 6 ) − G ( 1 , 2 , 7 , 8 ) G ( 3 , 4 , 5 , 6 ) − 2 G ( 1 , 8 ) G ( 2 , 6 ) G (3 , 4 , 5 , 7 )+ 2 G ( 1 , 6 ) G ( 2 , 8 ) G ( 3 , 4 , 5 , 7 ) + G ( 1 , 2 , 6 , 8 ) G ( 3 , 4 , 5 , 7 ) + 2 G ( 1 , 7 ) G ( 2 , 6 ) G (3 , 4 , 5 , 8 )− 2 G ( 1 , 6 ) G ( 2 , 7 ) G ( 3 , 4 , 5 , 8 ) − G ( 1 , 2 , 6 , 7 ) G ( 3 , 4 , 5 , 8 ) + 2 G ( 1 , 8 ) G ( 2 , 5 ) G (3 , 4 , 6 , 7 )− 2 G ( 1 , 5 ) G ( 2 , 8 ) G ( 3 , 4 , 6 , 7 ) − G ( 1 , 2 , 5 , 8 ) G ( 3 , 4 , 6 , 7 ) − 2 G ( 1 , 7 ) G ( 2 , 5 ) G (3 , 4 , 6 , 8 )+ 2 G ( 1 , 5 ) G ( 2 , 7 ) G ( 3 , 4 , 6 , 8 ) + G ( 1 , 2 , 5 , 7 ) G ( 3 , 4 , 6 , 8 ) + 2 G ( 1 , 6 ) G ( 2 , 5 ) G (3 , 4 , 7 , 8 )− 2 G ( 1 , 5 ) G ( 2 , 6 ) G ( 3 , 4 , 7 , 8 ) − G ( 1 , 2 , 5 , 6 ) G ( 3 , 4 , 7 , 8 ) + G ( 4 , 8 ) G ( 1 , 2 , 3 , 5, 6 , 7 )− G ( 4 , 7 ) G ( 1 , 2 , 3 , 5 , 6 , 8 ) + G ( 4 , 6 ) G ( 1 , 2 , 3 , 5 , 7 , 8 ) − G ( 3 , 8 ) G ( 1 , 2 , 4 , 5 , 6 ,7 )+ G ( 3 , 7 ) G ( 1 , 2 , 4 , 5 , 6 , 8 ) − G ( 3 , 6 ) G ( 1 , 2 , 4 , 5 , 7 , 8 ) + G ( 3 , 5 ) G ( 1 , 2 , 4 , 6 , 7 ,8 )+ G ( 2 , 8 ) G ( 1 , 3 , 4 , 5 , 6 , 7 ) − G ( 2 , 7 ) G ( 1 , 3 , 4 , 5 , 6 , 8 ) + G ( 2 , 6 ) G ( 1 , 3 , 4 , 5 , 7 ,8 )− G ( 2 , 5 ) G ( 1 , 3 , 4 , 6 , 7 , 8 ) − G ( 1 , 8 ) G ( 2 , 3 , 4 , 5 , 6 , 7 ) + G ( 1 , 7 ) G ( 2 , 3 , 4 , 5 , 6 ,8 )− G ( 1 , 6 ) G ( 2 , 3 , 4 , 5 , 7 , 8 ) + G ( 1 , 5 ) G ( 2 , 3 , 4 , 6 , 7 , 8 ) + G ( 1 , 2 , 3 ). , 4 , 5 , 6 , 7 , 8 )
Slawen
zischen