nLab Dyson formula

Contents

Context

Quantum systems

quantum logic


quantum physics


quantum probability theoryobservables and states


quantum information


quantum computation

qbit

quantum algorithms:


quantum sensing


quantum communication

Contents

In quantum mechanics

In quantum mechanics what is called the Dyson formula is what in mathematics is called the iterated integral-expression for parallel transport: It an expression for the solution to a differential equation of the form

ddtψ(t)=iH(t)ψ(t) \frac{d}{d t} \psi(t) \;=\; i H(t) \psi(t)

where tψ(t)t \mapsto \psi(t) \in \mathcal{H} is a one-parameter family of elements of some Hilbert space and tH(t)t \mapsto H(t) is a one-parameter family of linear operators on this Hilbert space.

This appears prominently in the expression of the Schrödinger equation in the interaction picture, in which case H(t)H(t) is the interaction Hamiltonian in the Heisenberg picture of the free theory. In this case the Dyson series gives the S-matrix. This is the context in which the term “Dyson formula” orginates. But of course also the plain Schrödinger equation (“in the Schrödinger picture”) is already of this form if the Hamiltonian is time-dependent.

The idea is to think of the solution as given by the limit

ψ(t)=limN(id+iNH(t))(id+iNH(t(N1)/N))(id+iNH(t/N))Nfactorsψ(0) \psi(t) \;=\; \underset{N \to \infty}{\lim} \underset{N \, \text{factors}}{ \underbrace{ \left( id + \tfrac{i}{N}H(t) \right) \left( id + \tfrac{i}{N}H(t(N-1)/N) \right) \cdots \left( id + \tfrac{i}{N}H(t/N) \right) } } \psi(0)

and to think of this as the result of forming the exponential expression exp( [0,t]H(t)dt)\exp(\int_{[0,t] } H(t)\,d t) and then re-ordering in the resulting sum of products all the factors of H(t)H(t) such that they are time ordered with larger values of tt ordered to the left of smaller values.

Accordingly, in the physics literature solutions to this equation are written

ψ(t)=T(exp( [0,t]iH(t)dt))ψ(0), \psi(t) \;=\; T\left( \exp\left( \int_{[0,t]} i H(t) \,d t \right) \right) \psi(0) \,,

with T()T(-) the time ordering operator producing time-ordered products. The corresponding series of iterated integrals

ψ(t)=(n=0(i) n0t 1t ntH(t n)H(t n1)H(t 1))ψ(0) \psi(t) \;=\; \left( \underoverset{n = 0}{\infty}{\sum} (i)^n \underset{0 \leq t_1 \leq \cdots \leq t_n \leq t}{\int} H(t_n) H(t_{n-1})\cdots H(t_1) \right)\psi(0)

is called the Dyson series.

In quantum field theory

The idea generalizes to relativistic field theory perturbative quantum field theory on Lorentzian spacetimes if due care is exercised (including adiabatic switching and point extension of operator-valued distributions). Here the “time ordering” is generalized to a causal ordering, this is the content of the construction of the S-matrix and the interacting field algebra in causal perturbation theory.

See at time-ordered product and S-matrix for details.

Examples

Kontsevich integral is Dyson formula of KZ-connection

For the Definition of the Knizhnik-Zamolodchikov connection we need the following notation:

  1. configuration spaces of points

    For N fN_{\mathrm{f}} \in \mathbb{N} write

    (1)Conf {1,,N f}( 2)( 2) n\FatDiagonal \underset{{}^{\{1,\cdots,N_{\mathrm{f}}\}}}{Conf}(\mathbb{R}^2) \;\coloneqq\; (\mathbb{R}^2)^n \backslash FatDiagonal

    for the ordered configuration space of n points in the plane, regarded as a smooth manifold.

    Identifying the plane with the complex plane \mathbb{C}, we have canonical holomorphic coordinate functions

    (2)(z 1,,z N f):Conf {1,,n}( 2) N f. (z_1, \cdots, z_{N_{\mathrm{f}}}) \;\colon\; \underset{{}^{\{1,\cdots,n\}}}{Conf}(\mathbb{R}^2) \longrightarrow \mathbb{C}^{N_{\mathrm{f}}} \,.
  2. horizontal chord diagrams

    (3)𝒜 N f pbSpan(𝒟 N f pb)/4T \mathcal{A}^{{}^{pb}}_{N_{\mathrm{f}}} \;\coloneqq\; Span\big(\mathcal{D}^{{}^{pb}}_{N_{\mathrm{f}}}\big)/4T

    for the quotient vector space of the linear span of horizontal chord diagrams on nn strands by the 4T relations (infinitesimal braid relations), regarded as an associative algebra under concatenation of strands (here).

Definition

(Knizhnik-Zamolodchikov form)

The universal Knizhnik-Zamolodchikov form is the horizontal chord diagram-algebra valued differential form (3) on the configuration space of points (1)

(4)ω KZΩ(Conf {1,,N f}(),𝒜 N f pb) \omega_{KZ} \;\in\; \Omega \big( \underset{{}^{\{1,\cdots,N_{\mathrm{f}}\}}}{Conf}(\mathbb{C}) \,, \mathcal{A}^{{}^{pb}}_{N_{\mathrm{f}}} \big)

given in the canonical coordinates (2) by:

(5)ω KZi<j{1,,n}d dRlog(z iz j)t ij, \omega_{KZ} \;\coloneqq\; \underset{ i \lt j \in \{1, \cdots, n\} }{\sum} d_{dR} log\big( z_i - z_j \big) \otimes t_{i j} \,,

where

is the horizontal chord diagram with exactly one chord, which stretches between the iith and the jjth strand.

Regarded as a connection form for a connection on a vector bundle, this defines the universal Knizhnik-Zamolodchikov connection KZ\nabla_{KZ}, with covariant derivative

ϕdϕ+ω KVϕ \nabla \phi \;\coloneqq\; d \phi + \omega_{KV} \wedge \phi

for any smooth function

ϕ:Conf {1,,N f}()𝒜 N f pbMod \phi \;\colon\; \underset{{}^{\{1,\cdots,N_{\mathrm{f}}\}}}{Conf}(\mathbb{C}) \longrightarrow \mathcal{A}^{{}^{pb}}_{N_{\mathrm{f}}} Mod

with values in modules over the algebra of horizontal chord diagrams modulo 4T relations.

The condition of covariant constancy

KZϕ=0 \nabla_{KZ} \phi \;=\; 0

is called the Knizhnik-Zamolodchikov equation.

Finally, given a metric Lie algebra 𝔤\mathfrak{g} and a tuple of Lie algebra representations

(V 1,,V N f)(𝔤Rep /) N f, ( V_1, \cdots, V_{N_{\mathrm{f}}} ) \;\in\; (\mathfrak{g} Rep_{/\sim})^{N_{\mathrm{f}}} \,,

the corresponding endomorphism-valued Lie algebra weight system

w V:𝒜 N f pfEnd 𝔤(V 1V N f) w_{V} \;\colon\; \mathcal{A}^{{}^{pf}}_{N_{\mathrm{f}}} \longrightarrow End_{\mathfrak{g}}\big( V_1 \otimes \cdots V_{N_{\mathrm{f}}} \big)

turns the universal Knizhnik-Zamolodchikov form (4) into a endomorphism ring-valued differential form

(6)ω KZi<j{1,,n}d dRlog(z iz j)w V(t ij)Ω(Conf {1,,N f}(),End(V 1V N f)). \omega_{KZ} \;\coloneqq\; \underset{ i \lt j \in \{1, \cdots, n\} }{\sum} d_{dR} log\big( z_i - z_j \big) \otimes w_V(t_{i j}) \;\in\; \Omega \big( \underset{{}^{\{1,\cdots,N_{\mathrm{f}}\}}}{Conf}(\mathbb{C}) \,, End\big(V_1 \otimes \cdot V_{N_{\mathrm{f}}} \big) \big) \,.

The universal formulation (4) is highlighted for instance in Bat-Natan 95, Section 4.2, Lescop 00, p. 7. Most authors state the version after evaluation in a Lie algebra weight system, e.g. Kohno 14, Section 5.

Proposition

(Knizhnik-Zamolodchikov connection is flat)

The Knizhnik-Zamolodchikov connection ω ZK\omega_{ZK} (Def. ) is flat:

dω ZK+ω ZKω ZK=0. d \omega_{ZK} + \omega_{ZK} \wedge \omega_{ZK} \;=\; 0 \,.
Proposition

(Kontsevich integral for braids)

The Dyson formula for the holonomy of the Knizhnik-Zamolodchikov connection (Def. ) is called the Kontsevich integral on braids.

(e.g. Lescop 00, side-remark 1.14)

References

Relation to the Magnus expansion:

Last revised on August 30, 2024 at 12:15:19. See the history of this page for a list of all contributions to it.