Pfadordnung

Pfadordnung ist eine in der theoretischen Physik gebräuchliche mathematische Operation, gekennzeichnet durch den Pfadordnungsoperator 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/“:): {\displaystyle \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 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/“:): {\displaystyle \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/“:): {\displaystyle 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/“:): {\displaystyle O_i(x_i)} , die von einem Parameter $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/“:): {\displaystyle \pi} der Faktoren definiert

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/“:): {\displaystyle \mathcal P O_1 O_2 \cdots O_n := (\pm1)^{\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/“:): {\displaystyle 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/“:): {\displaystyle 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/“:): {\displaystyle (t>t^\prime)} bzw. eines Loches Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (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/“:): {\displaystyle 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/“:): {\displaystyle \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.