Scattering generator

In scattering theory, the scattering generator or S-generator is an effective Hamiltonian that directly generates the interaction-picture time evolution from far past to far future.

In quantum mechanics and quantum field theory, the scattering generator is the log of the S-matrix: $\hat{\mathrm{\Omega }}=i\hslash \log \hat{S}$. While the concept traces back to '80s, an active revival has taken place in the modern literature on scattering theory and its applications. In classical mechanics, the classical scattering generator describes the Hamiltonian generator of the S-symplectomorphism, which is the classical analog of the S-matrix. The quantum and classical scattering generators are related by the classical limit by a precise correspondence.

History and Motivation

Exponential representation of S-matrix

The idea of taking the log of S-matrix traces back to early days of quantum field theory and has been known as the exponential representation of S-matrix, which refers to the formula$$\begin{array}{c}\hat{S}=\exp \left(\frac{1}{i\hslash }\hat{\mathrm{\Omega }}\right).\end{array}$$

Exponential representation as unit-time flow

Modern literature interprets $\hat{\mathrm{\Omega }}$ as the unit-time generator of scattering, while prototypical observations trace back to the '80s. The above formula is viewed as an effective time evolution through dimensionless unit time:$$\begin{array}{c}\hat{S}=\exp \left(\frac{(\text{“}𝛥t=1\text{”})}{i\hslash }\hat{\mathrm{\Omega }}\right).\end{array}$$This means that the result of scattering $\hat{S}$ is directly reproduced within "one second" ($𝛥t=1$) by taking $\hat{\mathrm{\Omega }}$ as the Hamiltonian. In this sense, $\hat{\mathrm{\Omega }}$ is viewed as an "effective Hamiltonian" that encapsulates and summarizes the entire history of scattering from $t=-\mathrm{\infty }$ to $t=+\mathrm{\infty }$.

Manifest unitarity

The motivation behind the exponential representation is manifest unitarity in scattering, i.e., trivializing the conservation of probability. Provided hermiticity ${\hat{\mathrm{\Omega }}}^{†}=\hat{\mathrm{\Omega }}$,the S-matrix is automatically unitary as$$\begin{array}{c}{\hat{S}}^{†}\hat{S}=\exp \left(-\frac{1}{i\hslash }\hat{\mathrm{\Omega }}\right)\exp \left(\frac{1}{i\hslash }\hat{\mathrm{\Omega }}\right)=\hat{1}.\end{array}$$This also applies for the classical scattering generator as well, the conservation of classical probability in the sense of Liouville theorem.

Definition by Magnus Expansion

The S-matrix is concretely defined and computed by the Dyson series, which expands a time-ordered exponential.The scattering generator is concretely defined and computed by the Magnus series.

In quantum mechanics

For the quantum scattering generator $\hat{\mathrm{\Omega }}$, the Magnus series formula reads$$\begin{array}{cc}\hat{\mathrm{\Omega }}=& \int d{t}_1{\hat{V}}_{\text{I}}(t_1)+\frac{1}{2(i\hslash {)}^1}{\int }_{t_1>t_2}{d}^{2}t[{\hat{V}}_{\text{I}}(t_1),{\hat{V}}_{\text{I}}(t_2)]\\ & +\frac{1}{6(i\hslash {)}^2}{\int }_{t_1>t_2>t_3}{d}^{3}t\left([{\hat{V}}_{\text{I}}(t_1),[{\hat{V}}_{\text{I}}(t_2),{\hat{V}}_{\text{I}}(t_3)]]+[{\hat{V}}_{\text{I}}(t_3),[{\hat{V}}_{\text{I}}(t_2),{\hat{V}}_{\text{I}}(t_1)]]\right)+\cdots .\end{array}$$This describes a sum of integrals whose integrands are nested commutators between the interaction-picture potential ${\hat{V}}_{\mathrm{I}}(t)$ at different times. Provided the free and interaction Hamiltonians are Hermitian, the scattering generator $\hat{\mathrm{\Omega }}$ is also a Hermitian operator.

In classical mechanics

For the classical scattering generator $\mathrm{\Omega }$, the Magnus series formula reads$$\begin{array}{cc}\mathrm{\Omega }=& \int d{t}_1{V}_{\text{I}}(t_1)+\frac{1}{2}{\int }_{t_1>t_2}{d}^{2}t\{V_{\text{I}}(t_1),V_{\text{I}}(t_2)\}\\ & +\frac{1}{6}{\int }_{t_1>t_2>t_3}{d}^{3}t\left(\{V_{\text{I}}(t_1),\{V_{\text{I}}(t_2),V_{\text{I}}(t_3)\}\}+\{V_{\text{I}}(t_3),\{V_{\text{I}}(t_2),V_{\text{I}}(t_1)\}\}\right)+\cdots ,\end{array}$$which can be deduced by taking the classical limit to the above quantum formula n spirit of the correspondence principle and canonical quantization. This assumes a Hamiltonian system defined on a phase space equipped with a Poisson bracket. $\mathrm{\Omega }$ is a function on the phase space. $V_{\text{I}}(t)$ is a time-dependent function on the phase space, encoding the classical interaction Hamiltonian in the interaction picture.

More precisely, the frameworks of phase space formulation and deformation quantization have been employed to establish the relationship between $\hat{\mathrm{\Omega }}$ and $\mathrm{\Omega }$ in a rigorous fashion. The classical scattering generator is well-defined on Poisson manifolds.

The S-symplectomorphism $S$, i.e., the canonical transformation from the initial phase space to the final phase space in classical scattering, arises by exponentiating the Hamiltonian vector field of $\mathrm{\Omega }$.

Use

In quantum mechanics

In the interaction picture, the quantum Liouville equation reads $$\begin{array}{c}\frac{d}{dt}{\hat{\rho }}_{\mathrm{I}}(t)=\frac{1}{i\hslash }[{\hat{V}}_{\mathrm{I}}(t),{\hat{\rho }}_{\mathrm{I}}(t)],\end{array}$$ where ${\hat{\rho }}_{\mathrm{I}}(t)$ is the density matrix in the interaction picture. Solving this equation gives rise to the S-matrix $\hat{S}$ as $$\begin{array}{c}{\hat{\rho }}_{\mathrm{I}}(+\mathrm{\infty })=\hat{S}{\hat{\rho }}_{\mathrm{I}}(-\mathrm{\infty })\hat{S}{}^{-1}={\mathrm{A}\mathrm{d}}_{\hat{S}}{\hat{\rho }}_{\mathrm{I}}(-\mathrm{\infty }),\end{array}$$in terms of the adjoint action ${\mathrm{A}\mathrm{d}}_{\hat{S}}$. The formula $\hat{S}=e^{\hat{\mathrm{\Omega }}/i\hslash }$ then implies $$\begin{array}{cc}{\hat{\rho }}_{\mathrm{I}}(+\mathrm{\infty })& =\exp \left({\mathrm{a}\mathrm{d}}_{\hat{\mathrm{\Omega }}/i\hslash }\right){\hat{\rho }}_{\mathrm{I}}(-\mathrm{\infty }),\\ & =\exp \left(\frac{1}{i\hslash }[\hat{\mathrm{\Omega }},]\right){\hat{\rho }}_{\mathrm{I}}(-\mathrm{\infty }),\\ & ={\hat{\rho }}_{\mathrm{I}}(-\mathrm{\infty })+\frac{1}{i\hslash }[\hat{\mathrm{\Omega }},{\hat{\rho }}_{\mathrm{I}}(-\mathrm{\infty })]+\frac{1}{2!(i\hslash {)}^2}[\hat{\mathrm{\Omega }},[\hat{\mathrm{\Omega }},{\hat{\rho }}_{\mathrm{I}}(-\mathrm{\infty })]]+\cdots ,\end{array}$$which describes a sum of nested commutators.

This describes that the entire time evolution of the quantum (ensemble) state from ${\hat{\rho }}_{\mathrm{I}}(-\mathrm{\infty })$ to ${\hat{\rho }}_{\mathrm{I}}(+\mathrm{\infty })$ is reproduced by a unit-time, exponentiated adjoint action of the scattering generator $\hat{\mathrm{\Omega }}$.

In classical mechanics

In classical Hamiltonian mechanics, an analogous formula holds for the classical probability distribution $\rho (t)$, representing a statistical ensemble and evolving under the classical Liouville equation:$$\begin{array}{cc}{\rho }_{\mathrm{I}}(+\mathrm{\infty })& =\exp \left(\{\mathrm{\Omega },\}\right){\rho }_{\mathrm{I}}(-\mathrm{\infty }),\\ & ={\rho }_{\mathrm{I}}(-\mathrm{\infty })+\{\mathrm{\Omega },{\rho }_{\mathrm{I}}(-\mathrm{\infty })\}+\frac{1}{2!}\{\mathrm{\Omega },\{\mathrm{\Omega },{\rho }_{\mathrm{I}}(-\mathrm{\infty })\}\}+\cdots .\end{array}$$This is the nested Poisson bracket formula in the S-symplectomorphism framework.

Impulse formula

In quantum mechanics, the expectation value of an observable $\widehat{𝒪}$ with respect to the density matrix ${\hat{\rho }}_{\text{I}}(t)$ in the interaction picture is$$\begin{array}{c}⟨\widehat{𝒪}{⟩}_t=\mathrm{T}\mathrm{r}({\hat{\rho }}_{\text{I}}(t)\widehat{𝒪}).\end{array}$$The impulse of observables in quantum scattering is$$\begin{array}{cc}⟨\widehat{𝒪}{⟩}_{+\mathrm{\infty }}-⟨\widehat{𝒪}{⟩}_{-\mathrm{\infty }}& =e^{[,\hat{\mathrm{\Omega }}/i\hslash ]}\widehat{𝒪}-\widehat{𝒪}=\frac{1}{i\hslash }[\widehat{𝒪},\hat{\mathrm{\Omega }}]+\frac{1}{2!(i\hslash {)}^2}[[\widehat{𝒪},\hat{\mathrm{\Omega }}],\hat{\mathrm{\Omega }}]+\cdots .\end{array}$$In classical mechanics, the expectation value of an observable $𝒪$ with respect to the probability distribution ${\rho }_{\text{I}}(t)$ in the interaction picture is$$\begin{array}{c}⟨𝒪{⟩}_t=\int {\rho }_{\text{I}}(t)𝒪\mu ,\end{array}$$where $\mu$ is the Liouville measure. The impulse of observables in classical scattering is then$$\begin{array}{cc}⟨𝒪{⟩}_{+\mathrm{\infty }}-⟨𝒪{⟩}_{-\mathrm{\infty }}& =e^{\{,\mathrm{\Omega }\}}𝒪-𝒪=\{𝒪,\mathrm{\Omega }\}+\frac{1}{2!}\{\{𝒪,\mathrm{\Omega }\},\mathrm{\Omega }\}+\cdots .\end{array}$$In both cases, the scattering generator acts on the observables as a Hamiltonian (thus in terms of right adjoint action). Note that the classical impulse formula also follows by implementing the pullback by the inverse of the S-symplectomorphism, which maps functions on the final phase space to functions on the initial phase space.

Conventions and Terminology

Another prominent convention for the scattering generator uses the definition $\hat{N}=-i\hslash \log \hat{S}$ and the name "N-matrix." Technically speaking, the scattering generator should be distinguished from the Magnusian, which is a broader term that can refer to the logarithm of time-evolution maps (not necessarily in scattering). A clarification has been made between the classical scattering generator, the eikonal phase, and the on-shell action.

See also

• S-matrix
• Unitarity
• Liouville's theorem (Hamiltonian)
• Interaction picture
• Density matrix