# Path-ordering

Path-ordering

In theoretical physics, path-ordering is the procedure (or a meta-operator $\left\{mathcal P\right\}$) of ordering a product of many operators according to the value of one chosen parameter:

:$\left\{mathcal P\right\} left \left[O_1\left(sigma_1\right)O_2\left(sigma_2\right)dots O_N\left(sigma_N\right) ight\right] := O_\left\{p_1\right\}\left(sigma_\left\{p_1\right\}\right) O_\left\{p_2\right\}\left(sigma_\left\{p_2\right\}\right)dots O_\left\{p_N\right\}\left(sigma_\left\{p_N\right\}\right)$

Here $p:\left\{1,2,dots ,N\right\} o \left\{1,2,dots, N\right\}$ is a permutation that orders the parameters:

:$sigma_\left\{p_1\right\}leq sigma_\left\{p_2\right\}leq dots leq sigma_\left\{p_N\right\}$

For example

:$\left\{mathcal P\right\} left \left[ O_1\left(4\right) O_2\left(2\right) O_3\left(3\right) O_4\left(1\right) ight\right] :=O_4\left(1\right) O_2\left(2\right) O_3\left(3\right) O_1\left(4\right)$

Examples

If an operator is not simply expressed as a product, but as a function of another operator, we must first perform Taylor expansion of this function. This is the case of the Wilson loop that is defined as a path-ordered exponential; this guarantees that the Wilson loop encodes the holonomy of the gauge connection. The parameter $sigma$ that determines the ordering is a parameter describing the contour, and because the contour is closed, the Wilson loop must be defined as a trace in order to become gauge-invariant.

Time ordering

In quantum field theory it is useful to take the time-ordered product of operators. This operation is denoted by $\left\{mathcal T\right\}$. For two operators $A\left(x\right)$ and $B\left(y\right)$ that depend on spacetime locations x and y we define:

:Here $x_0$ and $y_0$ denote the time-coordinates of the points x and y.

Explicitly we have:$\left\{mathcal T\right\} left \left[A\left(x\right) B\left(y\right) ight\right] := heta \left(x_0 - y_0\right) A\left(x\right) B\left(y\right) + heta \left(y_0 - x_0\right) B\left(y\right) A\left(x\right),$where $heta$ denotes the Heaviside step function.

Since the operators depend on their location in spacetime (i.e. not just time) this time-ordering operation is only coordinate independent if operators at spacelike separated points commute. Note that the time-ordering is usually written with the time argument increasing from right to left.

The S-matrix in quantum field theory is an example of a time-ordered product. The S-matrix, transforming the state at $t=-infty$ to a state at $t=+infty$, can also be thought of as a kind of "holonomy", analogous to the Wilson loop. We obtain a time-ordered expression because of the following reason:

:$exp\left(h\right) = lim_\left\{N oinfty\right\} left\left(1+frac hN ight\right)^N.$

Now consider the discretized evolution operator

:$S = dots \left(1+h_\left\{+3\right\}\right)\left(1+h_\left\{+2\right\}\right)\left(1+h_\left\{+1\right\}\right)\left(1+h_0\right)\left(1+h_\left\{-1\right\}\right)\left(1+h_\left\{-2\right\}\right)dots$

where $1+h_\left\{j\right\}$ is the evolution operator over an infinitesimal time interval $\left[jepsilon,\left(j+1\right)epsilon\right]$. The higher order terms can be neglected in the limit $epsilon o 0$. The operator $h_j$ is defined by

:$h_j =frac\left\{1\right\}\left\{ihbar\right\} int_\left\{jepsilon\right\}^\left\{\left(j+1\right)epsilon\right\} dt int d^3 x , H\left(vec x,t\right).$

Note that the evolution operators over the "past" time intervals appears on the right side of the product. We see that the formula is analogous to the identity above satisfied by the exponential, and we may write

:$S = \left\{mathcal T\right\} exp left\left(sum_\left\{j=-infty\right\}^infty h_j ight\right) = \left\{mathcal T\right\} exp left\left(int dt, d^3 x , frac\left\{H\left(vec x,t\right)\right\}\left\{ihbar\right\} ight\right).$

The only subtlety we had to include was the time-ordering operator $\left\{mathcal T\right\}$ because the factors in the product defining $S$ above were time-ordered, too (and operators do not commute in general) and the operator $\left\{mathcal T\right\}$ guarantees that this ordering will be preserved.

ee also

* Ordered exponential describes essentially the same concept.
* Gauge theory
* S-matrix

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Path integral formulation — This article is about a formulation of quantum mechanics. For integrals along a path, also known as line or contour integrals, see line integral. The path integral formulation of quantum mechanics is a description of quantum theory which… …   Wikipedia

• path analysis — A form of multiple regression , in which standardized regression coefficients (path coefficients) are computed by stipulating the structure of hypothesized relationships between variables , in an explicitly formulated causal model . The causal… …   Dictionary of sociology

• Commitment ordering — In concurrency control of databases, transaction processing (transaction management), and related applications, Commitment ordering (or Commit ordering; CO; (Raz 1990, 1992, 1994, 2009)) is a class of interoperable Serializability techniques …   Wikipedia

• List of Fire Emblem: Path of Radiance characters — The group from Path of Radiance that appeared on Nasir s ship. Distinguished from left to right: Oscar, Rolf, Boyd, Mist, Mordecai, Lethe, Titania, Zihark, Rhys, Ike, Nephenee, Soren (front), Gatrie (back), Brom, Shinon, Mia (front), Marcia… …   Wikipedia

• Grove Street (PATH station) — Grove Street Station statistics Address Newark Avenue and Grove Street Jersey City, New Jersey …   Wikipedia

• Terminaison d'un systeme de reecriture — Terminaison d un système de réécriture On parle de terminaison d un système de réécriture lorsqu il n existe aucune chaîne infinie d objets Sommaire 1 Approche générale 1.1 Inte …   Wikipédia en Français

• Terminaison d'un système de réécriture — On parle de terminaison d un système de réécriture lorsqu il n existe aucune chaîne infinie d objets Sommaire 1 Approche générale 1.1 Interprétation …   Wikipédia en Français

• Wilson loop — In gauge theory, a Wilson loop (named after Kenneth Wilson) is a gauge invariant observable obtained from the holonomy of the gauge connection around a given loop. In the classical theory, the collection of all Wilson loops contains sufficient… …   Wikipedia

• Ordered exponential — The ordered exponential (also called the path ordered exponential) is a mathematical object, defined in non commutative algebras, which is equivalent to the exponential function of the integral in the commutative algebras. Therefore it is a… …   Wikipedia

• List of mathematical topics in quantum theory — This is a list of mathematical topics in quantum theory, by Wikipedia page. See also list of functional analysis topics, list of Lie group topics, list of quantum mechanical systems with analytical solutions. Contents 1 Mathematical formulation… …   Wikipedia