Pfadordnung

Pfadordnung ist eine in der theoretischen Physik gebräuchliche mathematische Operation, gekennzeichnet durch den Pfadordnungsoperator $ {\mathcal {P}} $. Pfadordnung erlaubt die Verallgemeinerung bestimmter Reihenentwicklungen auf nichtkommutative algebraische Strukturen, wie sie in der Quantentheorie und Quantenfeldtheorie auftreten. Grob gesprochen entsteht durch die fehlende Vertauschbarkeit der Operatoren in Produkten eine natürliche „Ordnung“, die kompakt durch Pfadordnung ausgedrückt werden kann.

In nichtrelativistischen Theorien ist insbesondere Zeitordnung, d. h. Pfadordnung nach dem Parameter Zeit, von Bedeutung. Diese wird durch den Zeitordnungsoperator $ {\mathcal {T}} $ oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): T gekennzeichnet.

Der Pfadordnungsoperator (und damit auch der Zeitordnungsoperator) ist kein linearer Operator und wird deshalb manchmal auch als „Meta-Operator“ oder „Symbol“ bezeichnet.

Definition

Für ein Produkt von linearen Operatoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): O_i(x_i) , die von einem Parameter Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): x abhängen, ist das pfadgeordnete Produkt als jene Permutation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \pi der Faktoren definiert

$ {\mathcal {P}}O_{1}O_{2}\cdots O_{n}:=(\pm 1)^{\pi }O_{\pi (1)}O_{\pi (2)}\cdots O_{\pi (n)} $,

sodass die Operatoren nach dem Wert der Parameter geordnet auftreten:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): x_{\pi(1)} > x_{\pi(2)} > \cdots > x_{\pi(n)}

Tritt ein Parameterwert mehrfach auf, so ist die Pfadordnung nicht definiert. Da bei pfadgeordneten Produkten aber in der Regel über den Parameter integriert wird, verschwindet das Maß solcher Punkte. Das Vorzeichen ist für Bosonen immer +1, für Fermionen gleich dem Vorzeichen der Permutation (+1 falls die Anzahl an Vertauschungen gerade ist, ansonsten −1).

Beispiel: Kausale Greensche Funktion

In der theoretischen Festkörperphysik ist die kausale Greensche Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): G(t - t^\prime) von Bedeutung, die die Propagation eines Elektrons Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (t>t^\prime) bzw. eines Loches $ (t<t^{\prime }) $ in der Zeit angibt. In zweiter Quantisierung lässt sich diese Funktion mit Hilfe der Zeitordnung kompakt anschreiben:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): G(t - t^\prime) = -\mathrm i\left\langle\mathcal T\;\psi(t)\,\psi^\dagger\!(t^\prime)\right\rangle = \begin{cases} -\mathrm i\left\langle\psi(t)\,\psi^\dagger\!(t^\prime)\right\rangle & t > t^\prime \\ +\mathrm i\left\langle\psi^\dagger\!(t^\prime)\,\psi(t)\right\rangle & t < t^\prime \\ \end{cases}

Pfadgeordnetes Exponential

Häufig tritt Zeitordnung innerhalb einer Reihenentwicklung auf. Hier hat sich die zeitgeordnete Exponentialfunktion eingebürgert:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \begin{align} \mathcal T \exp\left(\int_0^t d\tau A(\tau)\right)  :&= \sum_{n=0}^\infty \frac{1}{n!} \iint\!\cdots\!\int_0^t d^n\tau\ \mathcal T\left[A(\tau_1) A(\tau_2) \cdots A(\tau_n)\right] \\ &= \sum_{n=0}^\infty \int_0^t d\tau_1 \int_0^{\tau_1} d\tau_2 \cdots \int_0^{\tau_{n-1}} d\tau_n\ A(\tau_1) A(\tau_2) \cdots A(\tau_n) \end{align}

Dies lässt sich auf beliebige Funktionen des Operators verallgemeinern.

Referenzen

• Alexandre M. Zagoskin: Quantum Theory of Many-Body Systems. In: Graduate Texts in Contemporary Physics. Springer, New York, NY 1998, ISBN 978-1-4612-6831-4, S. 24.