What are non-perturbative effects and how do we handle them?

Schwartz's QFT book contains the following passage.

To be precise, total derivatives do not contribute to matrix elements in perturbation theory. The term $$\epsilon^{\mu\nu\alpha\beta} F_{\mu\nu}F_{\alpha\beta}$$ is a total derivative. If we add this term to the Lagrangian, indeed nothing happens in perturbation theory. This term has effects that will never show up in Feynman diagrams, but are perfectly real.

This really disturbs me, because I don't know how to do anything besides evaluate Feynman diagrams -- even our brief introduction to path integrals just used them to find Feynman rules.

• Why is the effect of this term invisible to perturbation theory? I thought QED, with its tiny coupling constant, could tell us everything perturbatively.
• Is there any simple way to see what this term does? Does this term have an effect in classical field theory?
• How are non-perturbative effects calculated in general?
• I suppose that even if a total derivative does not contribute to diagram, such term must however respect the (gauge-)symmetry of the theory. It might be a way to restrict the possible symmetries? – Paganini Jan 30 '16 at 9:48
• Consider the function $e^{-\frac{1}{g}}$. This function is totally well-defined as $g\to 0$. Yet, it does not admit a Taylor series expansion (try it!). Thus, even for small $g$, this function can never be reproduced by any Taylor series expansions. It is functions of these types (produced due to instanton effects) that give rise to non-perturbative effects. – Prahar Jan 30 '16 at 16:22

1) As you know, $$\tag 1 \theta\epsilon^{\mu \nu \alpha \beta}F_{\mu \nu}F_{\alpha \beta} = \theta\partial_{\mu}K^{\mu},$$ where $K_{\mu}$ is the so-called Chern-Simons class.

The Feynman diagrams method tells us that the term $(1)$ defines the diagram which corresponds to the two-photon (or two-three-four non-abelian bosons) vertex $V_{A}$ (where the subscript $A$ denotes all of indices) times the delta-function with an argument of difference of ingoing and outgoing momenta times the difference of ingoing and outgoing momenta: $$V_{A} \sim \delta (\sum_{i}p_{i} - \sum_{f}p_{f})\times (\sum_{i}p_{i} - \sum_{f}p_{f})\times \text{constant tensor}$$ This is none but zero, so that the term $\int F\wedge F$ doesn't affect the perturbation theory.

2) Since $\epsilon_{\mu \nu \alpha \beta}$ is the pseudotensor, while $F$ is the tensor (here I would take into an account only the gluon stength tensor $F \equiv G_{\mu \nu}^{a}$, since the effects of corresponding electroweak and electromagnetic terms can be absorbed by chiral rotations of fermion fields), we have that under discrete Lorentz transformations $T$ (with $T_{\mu \nu}x^{\mu} = (-x_{0}, \mathbf x)_{\mu}$) and $P$ (with $P_{\mu \nu}x^{\nu} = (x_{0}, -\mathbf x)_{\mu}$) $$\hat{T}\epsilon_{\mu \nu \alpha \beta}G^{\mu \nu}_{a}G^{\alpha \beta}_{a}\hat{T} = -\epsilon_{\mu \nu \alpha \beta}G_{a}^{\mu \nu}G_{a}^{\alpha \beta}, \quad \hat{P}\epsilon_{\mu \nu \alpha \beta}G_{a}^{\mu \nu}G_{a}^{\alpha \beta}\hat{P} = -\epsilon_{\mu \nu \alpha \beta}G_{a}^{\mu \nu}G_{a}^{\alpha \beta}$$ I.e., $\theta \epsilon_{\mu \nu \alpha \beta}G^{\mu \nu}_{a}G^{\alpha \beta}_{a}$ term is the pseudoscalar.

So that this term, particularly, breaks $CP$ invariance of theory. What is the consequence of such breaking? If you look on the QCD lagrangian in zero temperature confined phase (which is computed nonperturbatively), for example, protons $p$, neutrons $n$ and pions $\pi$ nuclear interaction, this term acts as pseudoscalar (i.e., also $CP$-breaking) $\pi NN$ coupling: $$\tag 2 L_{\pi , p, n} = \bar{\Psi}\pi^{a}t_{a}(g_{\pi NN} + \bar{g}_{\pi NN}i\gamma_{5})\Psi , \quad \Psi = \begin{pmatrix} p\\ n \end{pmatrix}$$ where $\bar{g}_{\pi NN} \sim \theta$. By introducing the nuclear interaction with EM field, you can compute the diagram which defines neutron dipole moment, and see, that it is nonzero due pseudoscalar $CP$-violating coupling (it is proportional to it). How to understand this qualitatively? It is not hard to see this.

The interaction hamiltonian of uncharged particle with spin $\mathbf S$ and EM field $\mathbf E, \mathbf B$ is $$\tag 3 H = -\mu \left(\mathbf B \cdot \frac{\mathbf S}{|\mathbf S|}\right) - d\left( \mathbf E \cdot \frac{\mathbf S}{S}\right)$$ Since the magnetic field $\mathbf B$ is pseudovector, the electric field is vector and the spin $\mathbf S$ is pseudovector, we have that under $P$ transformation $$\hat{P}\left(\mathbf B \cdot \frac{\mathbf S}{|\mathbf S|}\right)\hat{P} = \left(\mathbf B \cdot \frac{\mathbf S}{|\mathbf S|}\right),$$ $$\hat{P}\left(\mathbf E \cdot \frac{\mathbf S}{|\mathbf S|}\right)\hat{P} = -\left(\mathbf E \cdot \frac{\mathbf S}{|\mathbf S|}\right)$$ So that the presence of nonzero dipole moment in $(3)$ directly violates $CP$ invariance of theory, $$\hat{P}H\hat{P} \neq H$$ Formally it is computed in the way which I've described above: the gluon $\theta$ term $(1)$ generates pseudoscalar nuclear coupling $(2)$, while this coupling generates the vertex between the neutron and EM field which defines dipole moment.

An effect of $\theta$ term doesn't arise in classical physics, since it affects on physics only through quantum loops.

3) When nonperturbative effects arise

Formally the information about all of nonperturbative effects is contained in the path integral of theory, which is equal to the Green function in Heisenberg representation. It is lost, however, in cases when we try to use completely perturbative approach at all scales of theory.

Note that there are three important facts which are connected with "tiny" couplings expansion (QED, QCD etc.).

The first one is related to the fact that in interacting theories couplings are running ones, i.e. they are different on the different scales. For example, QED coupling is small up to very large energies, but there are scale where it grows fast (near the so-called Landau pole), so that the perturbation theory is unapplicable; the one more example: QCD coupling quickly grows with decreasing the scale to $\sim \Lambda_{QCD}$, below which the perturbative theory becomes unapplicable.

The second one is related to the changing of the expansion coupling constants near infrared zones of momentum. Two examples:

1. Electron-proton interaction. You know that electron-proton scattering matrix element in momentum representation must have the pole in the point $p_{0}^{\text{pole}} = m_{P} + m_{e} - 13.6 \text{ eV}$. But there are no perturbation theory term which generates such pole; we need to take into an account the sum of all diagrams near the given pole. The reason of such pole is not hard to understand if we take into an account the diagram, for which in CM frame electron and proton momentums are small, $|\mathbf p| << m_{e}$, while their intermediate state of scattering is characterized by the slightly different momentums. It can be shown that such diagram has effective coupling constant $\frac{e^{2}m_{e}}{q^{2}}$, which is large for $q^{2} < e^{2}m_{e}$. Such scale is the scale of the bound state. In general, the each bound state is invisible in terms of perturbation theory, since the renormalization constant $Z$ is zero for them.

2. EW phase transition. When we compute effective action of EW theory near the point of the phase transition, we can't use perturbative approach based on the naive expansion on $\sim \frac{m(\langle H \rangle)}{T}$, since the temperature partition function of bosons are large at small energies (in infrared zone). We have instead of naive thinking that the effective coupling constant is $\sim \frac{T}{m(\langle H \rangle )}$.

The third one arises when we try to summing all of the diagrams of perturbation theory. Since perturbation theory series (on coupling constant) has zero convergence radius (expansion terms grow as $n!$), we need to use some technics like Borel resummation to restore the full result. However, in such cases it is unapplicable. The first important case is the classical solutions of equations of motion of the theory called instantons. They are stationar points of the quantity $\int D\varphi \oint dg g^{-n-1}e^{-S[g, \varphi]}$, where $n$ is an integer quantity. Corresponding Borel series usually has the negative sign pole (as in the QCD). The second case is infrared renormalon, which arises in operator expansion, for example, of all of the diagrams which contain two 4-currents in QCD. Corresponding set of diagrams generate positive pole, which makes using of perturbation theory completely inapplicable.

How to calculate nonperturbative effects

So that, because of existence of many cases where perturbative theory fails, there are also exist many approaches to calculate corresponding nonperturbative results.

1. If you want to calculate the poles associated with the bound states, you have to solve the EOM for the one-particle state which is one of constituent particles, in which the effects of other constituents (i.e., their operators in EOM) are replaced by external potential (for example, for electron-proton task the proton effect is the Coulomb central potential). Then for such range of energies you may introduce elementary Hydrogen atom field in the lagrangian by Hubbard-Stratonovich transformation of the path integral (an example given in Weinberg's QFT Vol. 1, paragraph 14).

2. Also famous exactly solvable case is the spontaneous symmetry breaking (in the result of which $p^{2} = 0$ poles arise), for which you have to do following:

3. determine the unbroken group;
4. extract the Goldstone degrees of freedom (the number of which coincide with the number of broken generators of the symmetry group) by their parametrization of coordinates of elements of broken group;
5. then by explicit calculations to construct invariant forms from these elements, which determine the lagrangian of effective degrees of freedom after symmetry breaking.

Obtained theory contains elementary fields correspons to bound states of underlined theory.

1. If you want to calculate the effects of solutions of classical EOM in quantum theory (you have to take into an account these solutions because the cluster decomposition principle of the S-matrix fails when you haven't, which is well explained in Weinberg's QFT vol. 2) you have to find the homogopy group of the symmetry group of the given theory, then find nontivial representations of the homotopy classes of such groups (i.e., solutions $\varphi_{\text{classical}}$ of EOM which correspond to different values of Maurer-Cartan invariant), then to find the number of collective degrees of freedom of the solution, and, finally, by having such results, to calculate coefficient factor near $e^{-S[\varphi_{\text{classical}}]}$ in path integral (an example given in Weinberg's QFT Vol. 2, paragraph 23.5).
• $K_\mu$ is (the components of) the Chern-Simons form, not the class. The Chern class is $\int\mathrm{tr}( F\wedge F)$. – ACuriousMind Jan 30 '16 at 16:33
• @ACuriousMind : Chern-Simons forms are certain secondary characteristic classes (often it is called simply as Chern-Simons character, not form or not characteristic class, as in Zahed and Brown "The Skyrme Model" article), so there is no mistake. For example, Weinberg in his QFT Vol. 2 calls $K_{\mu}$ Chern-Simons class. – Name YYY Jan 30 '16 at 17:55
• I didn't so much mean to imply it is a "mistake" as that it is imprecise terminology. (Your answer is otherwise excellent!) A "characteristic class" is a cohomology class, which are equivalence classes (of closed forms in the deRham viewpoint), and $K_\mu$ is a representant of such a class, but it is not the class itself. – ACuriousMind Jan 30 '16 at 20:41

Rather tautologically, a non-perturbative effect is one that is invisible to perturbation theory. An effect is invisible to perturbation theory exactly if it is in a non-analytic part of the partition function with respect to the coupling constant $g$.

Observe that perturbation theory is essentially the Taylor expansion of the partition function $Z$ (or rather its integrand) as a function of the coupling constant $g$ around the point of vanishing coupling $g=0$, i.e. $$Z = \sum_n Z_n g^n$$ and the $Z_n$ are the "perturbative contributions at order $n$". For this schematic argument I will not track whether $Z$ is the actual partition function or the integrand. Now, when you have non-perturbative effects like instantons, there is a non-perturbative sum over the different instantons, like $$Z = \sum_k f(k) Z(k)$$ (for a heuristic derivation see section 1.2. in this answer of mine) with $f(0) = 1$ for $k=0$, that is "no non-perturbative phenomenon". In particular, it turns out that $f(k)\propto \mathrm{e}^{-1/g}$ in terms of its dependence on the coupling constant in the Minkowskian theory. But $\mathrm{e}^{-1/g}$ is non-analytic at $g=0$, its Taylor series vanishes identically. So, when you do perturbation theory, what you get is: $$Z = \sum_k f(k) Z(k) = Z(0) + \sum_{k\neq 0}\mathrm{e}^{-1/g}Z(k)$$ and the second summand just vanishes when you try to expand it, so all you're left with is the perturbative $Z(0)$.

As to the relevance of such non-perturbative effects, instantons describe for example vacuum decay, and appear also as the chiral anomaly term.