19
$\begingroup$

Since this is a subtle and interesting question to me. I will give a rather detailed description. I hope you can keep reading it and find it interesting too.

For simplicity, in the following I will only discuss the one-dimensional instanton, that is, quantum mechanics. But the question applies to more general instantons such as BPST instanton in $SU(2)$ Yang-Mills theory. Let us begin with a simple quantum mechanical problem $S_M=\int dt\, L_M=\int dt\,[\frac{1}{2}(\frac{dx}{dt})^2-V(x)]$ with the potential being the double-well, shown as following:

Fig1

Let us denote the state when the particle is located at the left and right minima as $|L\rangle$ and $|R\rangle$, respectively. Let us consider the Euclidean transition amplitude: $$\lim_{\tau\rightarrow\infty}\langle R|e^{-H\tau}|L\rangle .\tag{1}$$ In the path integral formalism, it is $$\lim_{\tau\rightarrow\infty}\langle R|e^{-H\tau}|L\rangle=\int\mathcal{D}x\,e^{-\int d\tau[\frac{1}{2}(\frac{dx}{d\tau})^2+V(x)]},\tag{2}$$ with all the paths being fixed at left minimum at initial and right minimum at final Euclidean time $\tau$. Before we talk about how to evaluate it. Let us first compare it to the Minkowski path integral $$\lim_{t\rightarrow\infty}\langle R|e^{-iHt}|L\rangle=\int\mathcal{D}x\,e^{i\int d t[\frac{1}{2}(\frac{dx}{d t})^2-V(x)]}.\tag{3}$$ Eq.(2) can be obtained by a formal substitution $t=-i\tau$ in Eq.(3). Note that from the Euclidean action $$S_E=\int d\tau[\frac{1}{2}(\frac{dx}{d\tau})^2+V(x)]\tag{4}$$ Now in the action $S_E$, we can see that the potential is $-V(x)$, i.e., it is upside-down compared to the original in the $S_M$.

The path integral (2) can be evaluated through the method of steepest descent: expanding around the minima of the Euclidean action $S_E$. One of the minimum of Euclidean action gives a solution in the Euclidean spacetime (since we are discussing quantum mechanical situation, the Euclidean spacetime is one-dimensional): $$\frac{\delta S_E}{\delta x}=0,\tag{5}$$ which has the well-known kink solutioin: $$\bar{x}(\tau)=\tanh(\tau-\tau_0),\tag{6}$$ where $\tau_0$ is an arbitrary constant, originating from the $\tau-$translation symmetry of $S_E$. In the path integral we need to integrate $\tau_0$ to sum over all translated paths of expression (6). For simplicity, let us take $\tau_0=0$ to look into the profile of the solution. It is shown as following:

Kink solution in Euclidean spacetime.

Note that there is no classical solution in Minkowski spacetime to $$\frac{\delta S_M}{\delta x}=0 \tag{7}$$ with the same initial and final conditions because any path will break the energy conservation law. Now we can actually proceed further upon the method of steepest decent and obtain at the leading order: $$\lim_{\tau\rightarrow\infty}\langle R|e^{-H\tau}|L\rangle\sim e^{-S_E[\bar{x}(\tau)]}.\tag{8}$$

Up to here, everything is fine. But somehow people interpret the above result as the tunnelling rate from the left minimum to the right minimum. I know there are more things in the whole story. For instance, one may recognize the result Eq.(8) as the exponential suppression that one will obtain in a WKB calculation of solving the stationary Schrödinger equation and hence justify the interpretation.

But what I encounter more frequently is that, the reason we interpret Eq.(8) as the tunnelling rate because we can continue it back to the Minkowski result. Perhaps the logic is the following (Note, I infer this logic from sentences and there may be something deeper they mean. This is what I want to discuss in this post). Since the instanton action is ocassionally independent of $\tau$, when we continue back, formally substitute $\tau=it$, we still have such an exponential suppression.

The problem is that, as explained by Qmechanic's answer, we can never stop at the stationary point, which is only one piece of the complete Euclidean path integral, do the calculation and say, look, let us now continue the result back into the Minkowski spacetime. Actually, the stationary point itself will change simutaneously when we rotate the time. When we rotate back into the Minkowski spacetime, we do not have any stationary point at all if we still believe the positions are real numbers.

In particular, in the context of the instantons in gauge theory (with interactions with fermions). One may calculate the following transition amplitude in a gauge field instanton background $$\langle 0|0\rangle_{1-inst}$$ Due to fermioinc zero modes, one obtain a vanishing result. In order to obtain a non-vanishing result, we must insert the t' Hooft operators like $\bar\psi_R\psi_L$, that is $$\langle 0|\bar\psi_R\psi_L|0\rangle.$$

At this point, now it is really very frequent to see people say, this represents the chiral violation in real Minkowski spacetime through analytical continuation. But how? How can we continue a result near a Euclidean stationary point back into the Minkowski spacetime? When we do the continuation, should we simutaneousely continue the stationary point itself, i.e., continue the Euclidean instanton to the Minkowski spacetime?

In conclusion, my question is, how exactly understand the hand-wave word "analytical continuation" in these specific cases? I believe this has an answer in the Picard–Lefschetz theory.

(updated on 8 March 2021) I think most of my confusions were answered in a recent paper arXiv:1905.04236

The following is the original question which now is of relatively less relevance.

My question is about the tunneling interpretation of the kink solution and the Euclidean transition amplitude. People always say that a kink solution describes that a tunneling process happens from the left minimum at far past to the right minimum at far future. This picture to me is a bit vague. The questions is

(1) Is $\lim_{t\rightarrow\infty}\langle R|e^{-iHt}|L\rangle=\lim_{\tau\rightarrow\infty}\langle R|e^{-H\tau}|L\rangle$? Well, it seems that this is true usually by rough argument of Wick rotation (or I was mistaken). But even it is true, It is not justified at all to have $$\lim_{\tau\rightarrow\infty}\langle R|e^{-H\tau}|L\rangle_{\rm inst}={\rm leading\ order\ of} \lim_{t\rightarrow\infty}\langle R|e^{-iHt}|L\rangle$$

(2) Though the Minkowski action does not contain a classical solution. There should be quantum paths that can break the energy conservation law due to the uncertainty principle. What is the (dominant) quantum paths in the tunneling process. Our first guess may be $\bar{x}(t)=\tanh(it)$ with formal substitution $\tau=it$ back to the kink solution $\bar{x}(\tau)=\tanh(\tau)$. But $\tanh(it)$ is imaginary therefore unphysical as the position $x$. Is there any interpretation of the kink solution in Minkowski spacetime?

$\endgroup$
4
  • $\begingroup$ One approach, which I don't understand but you might: inspirehep.net/record/1453973/files/Rug_Tehseen.pdf $\endgroup$
    – Rob
    Commented Mar 4, 2018 at 7:29
  • $\begingroup$ Possible duplicates: physics.stackexchange.com/q/80889/2451 and links therein. $\endgroup$
    – Qmechanic
    Commented Mar 6, 2018 at 10:07
  • $\begingroup$ @WeinEld You shouldn't post a new question under an existing thread which already has an answer. Had you not already posted a bounty, I would say to create a new question and link to this one for context. $\endgroup$
    – Tyberius
    Commented May 30, 2018 at 22:44
  • $\begingroup$ @Tyberius Thanks for your suggestion. But I think it is basically my original confusion and I just polished it. $\endgroup$
    – Wein Eld
    Commented May 31, 2018 at 13:03

2 Answers 2

8
$\begingroup$

TL;DR: OP's title question (v7) about instantons in the Minkowski signature is physically meaningless. It is an irrelevant mathematical detour run amok. The connection to physics/Nature is established via a Wick rotation of the full Euclidean path integral, not bits and pieces thereof. Within the Euclidean path integral, it is possible to consistently expand over Euclidean instantons, but it meaningless to Wick rotation the instanton picture to Minkowski signature.

In more details, let there be given a double-well potential

$$V(x)~=~\frac{1}{2}(x^2-a^2)^2. \tag{A}$$

The Minkowskian and Euclidean formulations are connected via a Wick rotation

$$ t^E e^{i\epsilon}~=~e^{i\frac{\pi}{2}} t^M e^{-i\epsilon}.\tag{B} $$

We have included Feynman's $i\epsilon$-prescription in order to help convergence and avoid branch cuts and singularities. See also this related Phys.SE post.

I) On one hand, the Euclidean partition function/path integral is

$$\begin{align} Z^E~=~&Z(\Delta t^E e^{i\epsilon})\cr ~=~& \langle x_f | \exp\left[-\frac{H \Delta t^E e^{i\epsilon}}{\hbar}\right] | x_i \rangle \cr ~=~&N \int [dx] \exp\left[-\frac{S^E[x]}{\hbar} \right],\end{align}\tag{C} $$

with Euclidean action

$$\begin{align} S^E[x] ~=~&\int_{t^E_i}^{t^E_f} \! dt^E \left[ \frac{e^{-i\epsilon}}{2} \left(\frac{dx}{dt^E}\right)^2+e^{i\epsilon}V(x)\right]\cr ~=~& \int_{t^E_i}^{t^E_f} \! dt^E \frac{e^{-i\epsilon}}{2} \left(\frac{dx}{dt^E}\mp e^{i\epsilon}\sqrt{2V(x)}\right)^2 \cr &\pm \int_{x_i}^{x_f} \! dx ~\sqrt{2V(x)}.\end{align}\tag{D}$$

and real regular kink/anti-kink solution$^1$

$$\begin{align} \frac{dx}{dt^E}\mp e^{i\epsilon}\sqrt{2V(x)}~\approx~&0 \cr ~\Updownarrow~ & \cr x(t^E) ~\approx~&\pm a\tanh(e^{i\epsilon}\Delta t^E). \end{align}\tag{E}$$

Note that a priori space $x$ and time $t^E$ are real coordinates in the path integral (C). To evaluate the Euclidean path integral (C) via the method of steepest descent, we need not complexify space nor time. We are already integrating in the direction of steepest descent!

II) On the other hand, the corresponding Minkowskian partition function/path integral is

$$\begin{align} Z^M~=~&Z(i \Delta t^M e^{-i\epsilon})\cr ~=~& \langle x_f | \exp\left[-\frac{iH \Delta t^M e^{-i\epsilon}}{\hbar} \right] | x_i \rangle\cr ~=~& N \int [dx] \exp\left[\frac{iS^M[x]}{\hbar} \right],\end{align}\tag{F} $$

with Minkowskian action

$$\begin{align} S^M[x]~=~&\int_{t^M_i}^{t^M_f} \! dt^M \left[ \frac{e^{i\epsilon}}{2} \left(\frac{dx}{dt^M}\right)^2-e^{-i\epsilon}V(x)\right]\cr ~=~& \int_{t^M_i}^{t^M_f} \! dt^M \frac{e^{-i\epsilon}}{2} \left(\frac{dx}{dt^M}\mp i e^{i\epsilon}\sqrt{2V(x)}\right)^2 \cr &\pm i \int_{x_i}^{x_f} \! dx ~\sqrt{2V(x)},\end{align}\tag{G}$$

and imaginary singular kink/anti-kink solution

$$\begin{align} \frac{dx}{dt^M}\mp i e^{i\epsilon}\sqrt{2V(x)}~\approx~&0 \cr ~\Updownarrow~ & \cr x(t^M)~\approx~&\pm i a\tan(e^{-i\epsilon}\Delta t^M)\cr ~=~&\pm a\tanh(i e^{-i\epsilon}\Delta t^M). \end{align}\tag{H}$$

It is reassuring that the $i\epsilon$ regularization ensures that the particle starts and ends at the potential minima:

$$ \lim_{\Delta t^M\to \pm^{\prime}\infty} x(t^M)~=~(\pm a) (\pm^{\prime} 1). \tag{I}$$

Unfortunately, that seems to be just about the only nice thing about the solution (H). Note that a priori space $x$ and time $t^M$ are real coordinates in the path integral (F). We cannot directly apply the method of steepest descent to evaluate the Minkowski path integral. We need to deform the integration contour and/or complexify time and space in a consistent way. This is governed by Picard-Lefschetz theory & the Lefschetz thimble. In particular, the role of the imaginary singular kink/anti-kink solution (H) looses its importance, because we cannot expand perturbatively around it in any meaningful way.

--

$^1$ The explicit (hyperbolic) tangent solution (E) is an over-simplified toy solution. It obscures the dependence of finite initial (and final) time $t^E_i$ (and $t^E_f$), moduli parameters, and multi-instantons. We refer to the literature for details.

$\endgroup$
2
  • $\begingroup$ Thank you very much for your answer and I am very sorry for my very slow reaction to arrive at the picture you described here. I completely agree that it is meaningless (or at least to my current understanding) to continue bits or pieces of the Euclidean path integral back to the Minkowski spacetime. But it seems that in many cases, people really continue the transition amplitudes in an instanton background to the Minkowski results. $\endgroup$
    – Wein Eld
    Commented May 29, 2018 at 12:19
  • $\begingroup$ Continue..., One particular result is the baryon and lepton number violation, which is seemingly obtained by continuing the Euclidean transition amplitude in an instantion background (the BPST instanton) to Minkowski spacetime. As I accepted your opinion, how can I see clearly that it is legal to continue results obtained around a Euclidean stationary point (hence truncated and only a bit of the complete Euclidean path integral) back to Minkowski spacetime? $\endgroup$
    – Wein Eld
    Commented May 29, 2018 at 12:21
8
+100
$\begingroup$

In the recent years there is a renewed understanding of the role of the analytic continuation in path integrals, please see the following work by Witten. The consequences of this understanding are really exciting. They allow for example to understand the Chern-Simons theory for non-integer levels (again Witten).

The analytic continuation techniques are based on the Picard-Lefschetz theory which basically states that a saddle point integral can be associated with a convergent integral over a cycle in a complexified space. The convergent integration cycles are known by the name Lefshetz thimbles.

The integration over complex trajectories was already encountered in coherent states path integrals; please see for example the following work by Stone, Park and Garg. These integrals are formulated on phase space which can be considered as a complexification of the configuration space.

As for the case of the double-well: Please see the following work by Cherman and Ünsal, where they consider a family of analytic continuations of time: $$t = e^{i\alpha} \tau \quad0 \lt \alpha \le \frac{\pi}{2}$$ (The Euclidean path integral corresponds to the special case of $\alpha = \frac{\pi}{2}$). For each value of $\alpha$ they find a complex instanton solution whose corresponding saddle point action is equal to the correct value. The only problem is that the limit to the Minkowskian value $\alpha = 0$ is singular.

For a more thorough explanation on the Picard- Lefschetz theory and more examples, please see the following thesis by: Yuya Tanizaki

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.