Abstract
At one loop, quantum kinks are described by a sum of quantum harmonic oscillator Hamiltonians, and so their spectra are known exactly. We find the first correction beyond one loop to the quantum states corresponding to kinks with an excited bound or unbound normal mode, and also the corresponding two-loop correction to the energy cost of exciting the normal mode. In the case of unbound normal modes, this correction is equal to sum of the corresponding nonrelativistic kinetic energy plus the usual one-loop correction to the mass of the corresponding plane wave in the absence of a kink. We also sketch a diagrammatic method for such calculations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The scattering of kinks is a major industry. It has a long history, with quantum kink scattering already in Refs. [1, 2]. However quantum kink scattering has proved to be cumbersome and so the most interesting phenomenology [3,4,5,6,7] has only been revealed classically. Classically a key role in the resonance phenomenon [8], spectral walls [5] and even wobbling kink multiple scattering [9] appears to be played by bound normal modes. However the exact role played by these modes is unclear, as the resonances have been observed in kinks with no bound normal modes [10,11,12]. These modes themselves enjoy a rich phenomenology. They can be excited by external perturbations [13] and they can store energy from a collision [8].
Clearly it would be of interest to understand these phenomena in the full quantum theory. At one loop the exact spectrum of quantum kinks is known [14], as kinks are simply described by quantum harmonic oscillators for each normal mode together with a free quantum particle describing the center of mass.
Recently [15] a method was proposed which allows the practical calculation of higher-loop states. This method, to be reviewed in Sect. 2, constructs a kink sector Hamiltonian \(H^\prime \) and momentum \(P^\prime \) via a unitarity transformation of the defining Hamiltonian H and momentum P. Then states can be pushed beyond one loop by first imposing perturbatively that they be eigenstates of the momentum \(P^\prime \), which fixes the state up to a few coefficients, and then applying old-fashioned perturbation theory in \(H^\prime \) to fix these remaining coefficients. The corresponding eigenstates of H and P are recovered from this result via the inverse unitary transformation.
So far this method has only been applied to the kink ground state. However, in light of the above motivation, in the present paper we will apply it to kinks excited by a single continuum or bound normal mode, in their center of mass frame. We will find the first correction to the states beyond one loop and also will find the corresponding two-loop mass correction. With these states in hand, it will be possible in future work to compute their form factors and matrix elements, which in turn may be applied to compute fully quantum scattering amplitudes. While the one-loop form factors have long been known to be simply related to the classical kink solutions [2], it will be clear that at next order many matrix elements that vanish at one loop no longer vanish, presumably leading to novel physical effects in quantum scattering.
In Sect. 3 we will construct the leading order correction to the one-loop states corresponding to quantum kinks with excited continuum or discrete normal modes. In Sect. 4 we will find the corresponding two-loop mass shifts. Finally in Sect. 5 we will sketch a diagrammatic method to perform such calculations in general. The main notation is summarized in Table 1. In 1 we check that our state satisfies the most constraining component of the Schrodinger equation, which summarizes the condition that it be a Hamiltonian eigenstate. An example, the shape mode in the \(\phi ^4\) theory, is worked out explicitly in the companion paper [16].
2 Review
We now review the formalism introduced in Refs. [17, 18] that describes quantum kinks in a 1+1d real scalar field theory with Hamiltonian
The normal-ordering \({:}{:}_a\) is defined below.
Consider a kink solution
of the classical equations of motion. We will assume that \(V^{\prime \prime }[gf(-\infty )]=V^{\prime \prime }[gf(\infty )]\) and name this quantity \(M^2/2\). Each prime here is a functional derivative with respect to gf(x).
This paper will be entirely in the Schrodinger picture, and so the quantum field \(\phi \) only depends on x. One may expand the Schrodinger picture quantum field \(\phi (x)\) about its classical solution \(\phi (x)=f(x)+\eta (x)\). In this case \(\phi \rightarrow \eta =\phi -f\) could be interpreted as a passive transformation of the fields. Instead, following [14, 19], we employ an active transformation of the Hamiltonian and momentum functionals acting on the fields
The new observation [20] is that this transformation is a unitary equivalence because
where the displacement operator \({\mathcal {D}}_f\) is
It will be necessary to regularize and renormalize the Hamiltonian. In Eq. (2.1) all UV divergences are removed via normal ordering, but this would not be sufficient in theories with fermions or in more dimensions, and so we would like a formalism which may be applied to a general regularized Hamiltonian. We therefore adoptFootnote 1 (2.4) as our definition of \(H^\prime \) and \(P^\prime \) instead of (2.3), as it is well-defined for any regularized Hamiltonian H and agrees with (2.3) when the Hamiltonian is a functional of the unregularized fields. This approach has the advantage that one regularizes only once. This is in contrast with the traditional approach in which one separately regularizes H and \(H^\prime \) and so, to remove the regulator at the end of the calculation, one requires a regulator matching condition that affects the answer [22] but is in general is unknown.Footnote 2
Unitary equivalence (2.4) means that H and \(H^\prime \) have the same eigenvalues, with eigenvectors that are related by \({\mathcal {D}}_f\). This means that we may use whichever is more convenient to calculate any state or energy. We will see that perturbation theory may be used to calculate vacuum sector states using H and kink sector states using \(H^\prime \).
As \(g\sqrt{\hbar }\) is dimensionless,Footnote 3 we expand \(H^\prime \) in powers of g
where \(Q_0\) is the classical kink mass and \(V^{(n)}\) is the nth derivative of \(g^{n-2}V[g\phi (x)]\) with respect to its argument.
Consider the classical, linear wave equation corresponding to \(H_2\). The constant frequencyFootnote 4
solutions \(g_k(x)\) are continuum unbound normal modes, discrete bound normal modes with \(0<\omega _k<M\) which we will call shape modes and a zero-mode
k is real for continuum modes and imaginary for discrete modes. The definition (2.7) of \(\omega _k\) fixes the parametrization of k up to a sign. We will often need to sum over both continuum solutions and shape modes, and so it will be implicit that integrals written \(\int \frac{dk}{2\pi }\) also include a sum over the shape modes \(\sum _k\). Similarly, when k represents a shape mode, \(2\pi \delta (k-k^\prime )\) should be understood as \(\delta _{kk^\prime }\).
Using the normalization conditions
and conventions
the completeness relations can be written
Recall that the Schrodinger picture fields \(\phi (x)\) and \(\pi (x)\) are independent of time. Therefore, even in the full interacting theory, they may be expanded in any basis of functions. We will need expansions in terms of plane waves, which diagonalize the free part of H
and, following Ref. [27], also normal modes, which diagonalize \(H_2\)
To simplify later expressions, we have inserted factors of \(\sqrt{2\omega }\) into the operators so that A and \(A^\dag \), and similarly B and \(B^\dag \) are not Hermitian conjugate. For each decomposition we define a normal ordering. Plane wave normal ordering \({:}{:}_a\) places all \(A^\dag \) to the left. Normal mode normal ordering \({:}{:}_b\) places all \(\phi _0\) and \(B^\dag \) to the left. The canonical commutation relations satisfied by \(\phi (x)\) and \(\pi (x)\) imply
Our Hamiltonian H is defined in terms of plane wave normal ordering \({:}{:}_a\). The unitary transformation (2.4) preserves normal ordering [20] and so \(H^\prime \) is also plane wave normal-ordered. Thus \(H^\prime \) is defined in terms of the plane wave operators A and \(A^\dag \). Inserting (2.13) into the inverse of (2.12) one sees that the two sets of operators are related by a linear, Bogoliubov transform. Using this to express \(H^\prime \) in terms of normal mode operators B, \(B^\dag \), \(\phi _0\) and \(\pi _0\) one finds that \(H_2\) is a sum of harmonic oscillators with a free particle for the center of mass
Here \(Q_1\) is the one-loop kink mass. The ground state \(|0\rangle _0\) of \(H_2\) satisfies
and corresponds to the one-loop kink ground state. The exact spectrum of \(H_2\) is obtained by exciting normal modes with \(B^\dag _k\) and boosting with \(e^{i\phi _0 k/\sqrt{Q_0}}\). These correspond to the states of the one-kink sector at one loop.
More generally, the kink ground state corresponds to the eigenstate \(|0\rangle \) of \(H^\prime \). It may be expanded in powers of \(\sqrt{\hbar }\)
The n-loop ground state is this sum truncated at \(i=2n-2\).
3 Excited kink states
3.1 The normal mode state
Let \(|{\mathfrak {K}}\rangle \) be the eigenstate of \(H^\prime \) corresponding to a kink with a single excited continuous or discrete normal mode with \(k={\mathfrak {K}}\). Note that \({\mathcal {D}}_f|{\mathfrak {K}}\rangle \) is the corresponding eigenstate of the defining Hamiltonian H. We will use the semiclassical expansion, in powers of \(\sqrt{\hbar }\)
which we will further decompose in terms of normal mode creation operators acting on the state \(|0\rangle _0\)
To avoid clutter, we will leave the \({\mathfrak {K}}\)-dependence of \(\gamma \) implicit from here on.
The normal mode \(|{\mathfrak {K}}\rangle \) is the eigenstate of \(H^\prime \) which, at leading order in the semiclassical expansion, has coefficients
so that at one loop it is simply the harmonic oscillator eigenstate
Recall that this is an exact eigenstate of \(H_2\), and so it is the correct starting point for our semiclassical expansion of the corresponding eigenstate of \(H^\prime \). Note that, using our compact notation in which k runs over both real values for continuum modes and discrete indices for shape modes, if \({\mathfrak {K}}\) is a discrete shape mode then the right side of (3.3) should be the Kronecker delta \(\delta _{k_1{\mathfrak {K}}}\). We will continue to write the Dirac delta, reminding the reader that \(2\pi \delta \) is always to be read as a Kronecker delta in the discrete case.
3.2 Translation invariance
We will further impose that \({\mathcal {D}}_f|{\mathfrak {K}}\rangle \) is translation invariant, or equivalently we will work in its center of mass frame. This condition is
which implies the recursion relations [15, 18]
at all \(m>0\). Here we have defined the matrix
Before each application of the recursion relations, \(\gamma _i^{mn}\) must be symmetrized with respect to its arguments \(k_j\) [18].
The first recursion gives
Before proceeding to the second recursion, it is necessary to symmetrize the results of the first recursion
Let us pause to interpret the divergences in these terms. In the Sine-Gordon model, and we suspect more generally, \(\Delta _{k_1k_2}\) contains a summand equal to \(-ik_1 2\pi \delta (k_1+k_2)\). Therefore \(\gamma _1^{11}(k_1)\) will have a \(\delta (k_1-{\mathfrak {K}})\) term. One can see that with repeated recursions this is part of an \(\mathrm {exp}\left( -i {\mathfrak {K}}\phi _0/\sqrt{Q_0}\right) |0\rangle _0\) factor of \(|{\mathfrak {K}}\rangle \). This term has a simple interpretation. The condition that \(P^\prime \) annihilates \(|{\mathfrak {K}}\rangle \), implies that we are working in the center of mass frame of the excited kink. The operator \(B^\dag _{\mathfrak {K}}\) increases the center of mass momentum by roughly \({\mathfrak {K}}\) units, and this exponential term compensates with an opposing bulk motion of the kink. As \({\mathfrak {K}}/\sqrt{Q_0}\) is of order g, this bulk motion is slow, reflecting the fact that the kink is nonperturbatively heavy.
On the other hand the \(\delta (k_1-{\mathfrak {K}})\) appearing in \(\gamma _1^{13}\) and \(\gamma _1^{22}\) reflects the fact that these terms are part of \(B^\dag _{\mathfrak {K}}|0\rangle _1\). In other words, they should be interpreted as corrections \( |0\rangle _1\) to the kink ground state \(|0\rangle \). The bare normal mode \(B^\dag _{\mathfrak {K}}\) is then excited in this dressed ground state. In this sense, these terms are not caused by the excitation of the normal mode. To develop a theory of kink scattering, it would be desirable to introduce a suitable LSZ reduction formula. We suspect that this would eliminate the contributions of such terms to the S-matrix elements in which an asymptotic state is an excited kink \(|{\mathfrak {K}}\rangle \).
3.3 Finding Hamiltonian eigenstates
The \(\gamma _i^{0n}\) are not fixed by translation invariance [18]. We will now find them using old-fashioned perturbation theory.
In analogy with \(\gamma _i^{mn}(k_1\cdots k_n)\), which consists of the ith order coefficients of \(|{\mathfrak {K}}\rangle \) in a basis of the Fock space, we introduce \(\Gamma _i^{mn}(k_1\cdots k_n)\) consisting of ith order coefficients of \((H^\prime -E)|{\mathfrak {K}}\rangle \). More precisely, \(\Gamma \) is a solution of
The \(\Gamma \) matrices are clearly functions of the \(\gamma \) matrices, as these determine the state \(|{\mathfrak {K}}\rangle \) via (3.2).
The state \(|{\mathfrak {K}}\rangle \) is defined to be an eigenvector of \(H^\prime \). We will refer to the corresponding eigenvalue equation
as the Schrodinger Equation. Here \(E_i\) is the ith correction to the energy of \(|{\mathfrak {K}}\rangle \). A sufficient condition for a solution is
If one symmetrizes this condition over permutations of the arguments \(k_j\), then it is also a necessary condition.
As the \(\Gamma \) are functions of the \(\gamma \), this condition can be solved for \(\gamma \). We already used translation-invariance to find \(\gamma _i^{mn}\) at \(m>0\) and so now we need only solve for \(\gamma _i^{0n}\).
The leading order is \(i=0\). Recall that
and so
Therefore at leading order (3.10) is
The condition \(\Gamma _0=0\) implies
This is not a big surprise, it is just the statement that at leading order the mass \(E_1\) of a kink with an excited normal mode is greater than the ground state kink mass \(Q_1\) by \(\omega _{\mathfrak {K}}\).
The next order is \(i=1\), where we find
Using (3.16) we see that
Recall that
In the second line we have used Wick’s theorem [28] where the contraction factor \({\mathcal {I}}(x)\) is defined by
with the boundary condition fixed so that \({\mathcal {I}}(x)\) vanishes asymptotically.
Let us calculate the entries \(\Gamma _1^{0n}\) one at a time. Introducing the notation
there are three contributions to \(\Gamma _1^{00}\)
These lead to
Schrodinger’s equation \(\Gamma =0\) then yields
The contributions to \(\Gamma _1^{02}\) are similar, but there is also a contribution from \(:\phi ^3:_b|{\mathfrak {K}}\rangle _0\), or more precisely from terms of the form \(B^\dag B^\dag B|{\mathfrak {K}}\rangle _0\). Altogether we find
and
Adding these contributions we find
Schrodinger’s equation \(\Gamma =0\) then yields
As we will insert this into the recursion relation (3.6) later, we will need its symmetrized form
Finally, we will compute \(\Gamma _1^{04}\). As \(\gamma _1^{24}=0\) there are only two contributions
and
leading to
Thus the last matrix element at order \(i=1\) is
This completes our determination of \(\gamma _1^{mn}\) and so of the leading correction \(|{\mathfrak {K}}\rangle _1\) to the excited kink state \(|{\mathfrak {K}}\rangle \).
4 Mass shifts
In this section we will calculate the leading order correction to the masses of the normal modes. More precisely, \(E_2\) will be the two-loop correction to the energy of the excited kink. Subtracting \(Q_2\), the two-loop correction to the ground state energy found in Ref. [15], one obtains \(E_2-Q_2\), the two-loop correction to the energy required to excite the kink normal mode.
4.1 The next order Schrodinger equation
The leading order energy correction is \(E_2\), which can be computed from the \(i=2\) Schrodinger equation
As \(|{\mathfrak {K}}\rangle _0=B^\dag _{\mathfrak {K}}|0\rangle _0\), the energy \(E_2\) is fixed by terms that are proportional to \(B^\dag _{\mathfrak {K}}|0\rangle _0\).
More precisely, we need only calculate \(\Gamma _2^{01}\). In Sect. 3 we fixed \(|{\mathfrak {K}}\rangle _0\) and found \(|{\mathfrak {K}}\rangle _1\). The only terms in \(|{\mathfrak {K}}\rangle _2\) that contribute to \(\Gamma _2^{01}\) are \(\gamma _2^{01}\) and \(\gamma _2^{21}\), the first via the \(-\omega _{\mathfrak {K}}+\int \frac{dk}{2\pi } \omega _k B_k^\dag B_k\) term in \(H_2\) and the second via the \(\pi _0^2/2\) term.
At second order, the only \(m>0\) contribution to the energy arises from \(\gamma _2^{21}\) as the \(\pi _0^2\) maps it to the initial state \(m=0\), \(n=1\). Using the recursion relation (3.6) this is given by
Inserting the coefficients \(\gamma _0\) and \(\gamma _1\) found in Sect. 3 this becomes
Simplifying slightly this is
Now we will compute the various contributions to \(\Gamma _2^{01}\). Let us begin with the contributions to \((H_2-E_1)|{\mathfrak {K}}\rangle _2\) in (4.1). The operator is given in (3.18). The contribution from \(\gamma _2^{21}\) arises from
The contribution of \(\gamma _2^{01}\) is
The contribution to the energy arises from \(k_1={\mathfrak {K}}\) but in that case the \(\omega _{k_{1}}-\omega _{\mathfrak {K}}\) vanishes and so this term does not contribute. This is an important consistency check, as \(\gamma _2^{01}({\mathfrak {K}})\) can be absorbed into the arbitrary normalization of \(\gamma _0^{01}({\mathfrak {K}})\) and this choice should not affect an observable quantity like the energy.
There are three contributions from \(H_3|{\mathfrak {K}}\rangle _1\). The first is
![](http://media.springernature.com/lw390/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09739-9/MediaObjects/10052_2021_9739_Equ58_HTML.png)
The second is
![](http://media.springernature.com/lw525/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09739-9/MediaObjects/10052_2021_9739_Equ97_HTML.png)
The third contribution is
![](http://media.springernature.com/lw519/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09739-9/MediaObjects/10052_2021_9739_Equ59_HTML.png)
The last contribution to \(\Gamma _2^{01}\) is from \((H_4-E_2)|{\mathfrak {K}}\rangle _0^{01}\). This is easily evaluated using Wick’s theorem [28]
![](http://media.springernature.com/lw374/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09739-9/MediaObjects/10052_2021_9739_Equ60_HTML.png)
Therefore
![](http://media.springernature.com/lw330/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09739-9/MediaObjects/10052_2021_9739_Equ61_HTML.png)
Summing all of these contributions, one finds
for some function \(\mu (k_1)\). \(Q_2\) is the two-loop kink ground state energy found in Ref. [18] and repeated here in Eq. (5.1).
While \(\mu (k_1)\) is somewhat lengthy, only the case \(k_1={\mathfrak {K}}\) is relevant to the discussion of mass correctionsFootnote 5
We note in passing that the two \({\mathcal {I}}\) terms have an interesting property. If they are integrated over \({\mathfrak {K}}\), they produce exactly twice the first two terms in the \(Q_2\). This is reminiscent of the quantum harmonic oscillator, where the ground state energy is \(\omega /2\) and each excited state produces an additional \(\omega \), which is twice the ground state contribution. Thus in a free theory this relationship between the kink ground state energy \(Q_2\) and the normal mode excitation energy \(\mu ({\mathfrak {K}})\) would be expected. But why does it appear here? The reason is that if we normal mode normal order the kink Hamiltonian \(H^\prime \), then Wick’s theorem implies that the interaction terms \(H_3\) and \(H_4\) contribute to the linear and quadratic parts of the normal mode normal-ordered \(H^\prime \), with a contribution given by folding the \({\mathcal {I}}\) factor from Wick’s theorem into the corresponding potential \(V^{(3)}\) or \(V^{(4)}\). These new contributions to the free part of the Hamiltonian shift the oscillator frequencies by quantities proportional to various \(V_{\mathcal {I}}\), but suppressed by a power of the coupling as they arose from \(H_3\) or \(H_4\). Then, since the leading contribution to the (kink) ground state energy is half the integral of the normal mode frequencies, it is shifted by the integral of half of this frequency shift, while each excitation of a normal mode increases the energy by the frequency.
4.2 Continuum modes
If \({\mathfrak {K}}\) is a continuum mode then the term with the Dirac \(\delta \) in (4.11) is infinite and so, if \(\mu ({\mathfrak {K}})\) is finite, must vanish separately. This implies \(E_2=Q_2\) for all continuum modes \({\mathfrak {K}}\) with \(\mu ({\mathfrak {K}})\) finite. This is intuitive, the continuum modes are nonnormalizable and they only have finite overlap with the kink. Therefore the kink cannot shift their energy. The two-loop correction to the energy needed to excite the kink ground state to a normal mode state is \(E_2-Q_2=0\). Of course the one-loop correction \(E_1-Q_1=\omega _{k_{}}\) we have already seen is nonzero.
Is \(\mu ({\mathfrak {K}})\) finite? Divergences may only arise from divergences in \(\Delta \) or V or from the infinite integrals over continuum modes k. If the potential V is smooth then divergences in the V symbols will not arise. However \(\Delta \) has a divergence arising from the fact that continuum modes tend to plane waves far from a localized kink
Via \(\gamma _2^{21}(k_1)\), this contributes
If there are no other divergences in \(\mu \) then, setting to zero the coefficient of \(\delta ({\mathfrak {K}}-k_1)\) in (4.11), we find
In other words, the two-loop correction to the mass of a kink excited by a normal mode with \(k={\mathfrak {K}}\) is just the corresponding nonrelativistic kinetic energy.
The appearance of the nonrelativistic kinetic energy may be surprising as we are in the kink center of mass frame. However this is actually the nonrelativistic energy resulting from the fact that, as described beneath Eq. (3.9), in order to keep a total momentum of zero the nonrelativistic kink has a bulk motion which compensates that of the relativistic normal mode. Due to the mass difference, the kinetic energy of the normal mode affects the total energy at one loop while the kinetic energy of the bulk, which has an equal and opposite momentum, enters only at two loops.
Now let us consider potential divergences in the k integrals. The corresponding eigenfunctions tend to plane waves \(e^{ikx}\) far from the kink, up to a phase shift. In cases such as the Sine-Gordon and \(\phi ^4\) models the \(\Delta \) and \(V_{ijk}\) tend exponentially to zero in the sum of their indices, as the theories are gapped. Therefore the only divergence may arise from an infinite domain of integration in which the sum of the indices is within a fixed distance of zero. This requires a double integral, with \(k^\prime _1\sim -k^\prime _2\), and so divergences may only arise in the first term of (4.12).
At the large \(k^\prime \) on which these divergences are supported, \(g_{k^\prime }(x)\sim e^{ik^\prime x}\). The divergence is also supported at large x, where \(V^{(3)}\) tends to a constant, which on each side of the kink is just the third derivative of the potential supported on the corresponding vacuum. Let us say for simplicity that these two third derivatives have the same value, W, up to a sign. This is the case in the \(\phi ^4\) model, whereas in the Sine-Gordon model the third derivatives vanish at the vacua so \(W=0\). We have argued that, up to finite terms
Thus there are two \(\delta \) functions in the first integrand of (4.12). The first may be used to do one of the integrals, but then the other is a genuine \(\delta \) function divergence
It combines with the \(Q_2\) term to shift the energy \(E_2\) by
which just yields the usual one-loop correction to the mass of the plane wave in the absence of the kink. It shifts the mass of the normal mode.
4.3 Shape modes
In the case of shape modes, one recalls that the \(2\pi \delta (k_1-{\mathfrak {K}})\) in \(\gamma _0^{01}(k_1)\) is to be replaced by the Kronecker delta \(\delta _{k_1{\mathfrak {K}}}\). Thus (4.11) evaluated at \(k_1={\mathfrak {K}}\) is finite
The Schrodinger equation \(\Gamma =0\) then yields
Again \(\mu ({\mathfrak {K}})\) is given by (4.12). However the divergence (4.16) does not arise because \(g_{\mathfrak {K}}(x)\) is a bound state of the potential and so falls to zero at large x, exponentially in the case of the Sine-Gordon or \(\phi ^4\) models. This absence of divergences is fortunate as a divergent \(\mu ({\mathfrak {K}})\) would in this case have led to a divergent \(E_2\) as a result of (4.20).
5 A diagrammatic approach
5.1 The kink ground state
The two-loop energy of the kink ground state is [18]
Recalling from Refs. [29] that
the last two terms may be reexpressed in terms of \(|V_{Bk^\prime _1k^\prime _2}|^2\) and \( |V_{BBk^\prime }|^2\) respectively
The first three terms in \(Q_2\) are easily calculated using the diagrams in Fig. 1 to represent various contributions to \(H^\prime |0\rangle \). Operator ordering runs to the left. Each loop involving a single vertex brings a factor of \({\mathcal {I}}(x)\) and each n-point vertex brings a \(V^{(n)}\) which is integrated over x together with the normal modes \(g_k(x)\) arising from the attached lines and loop factors \({\mathcal {I}}(x)\) from attached loops. Each internal line corresponding to a normal mode k brings a factor of \(1/(2{\omega _{k_{}}} )\). In addition, each vertex except for the last brings a factor \(\left( \sum _i \omega _i-\sum _j\omega _j\right) ^{-1}\) where i runs over all outgoing k and j runs over all incoming k. Symmetry factors are calculated as for Feynman diagrams, for example in the first term each loop may be inverted and the two may be interchanged leading to a symmetry factor of \((1/2)^3\). In the second each loop may be inverted leading to \((1/2)^2\) while in the third the three propagators may be exchanged leading to 1/6.
What about the fourth and fifth terms? Clearly a corresponding diagram may be drawn by taking the third diagram in Fig. 1 and replacing one or two normal mode lines \(k^\prime \) with a zero-mode line B. However one may choose whether the vertices are to be constructed using \(H^\prime \) or \(P^\prime \). At higher orders this distinction is important because, for example, in the Sine-Gordon theory \(H^\prime \) has an infinite number of terms whereas in any theory \(P^\prime \) has only one term for each summand in the recursion relation (3.6). Thus there are multiple possible conventions for representing these terms diagrammatically, and the Feynman diagram convention of allowing each vertex to represent an interaction in \(H^\prime \) is not the most economical. We will leave the development of diagrammatic methods using \(P^\prime \) vertices to future work.
5.2 Normal modes
Next we will turn our attention to \(E_2\). Recall from Eq. (4.11) that there are two contributions. The first is equal to \(Q_2\) and arises from terms in \(H^\prime |{\mathfrak {K}}\rangle \) which contribute to \(\Gamma _2^{01}({\mathfrak {K}})\) without ever annihilating the \(B^\dag _{\mathfrak {K}}\) in \(|{\mathfrak {K}}\rangle _0\). In other words, these terms are contained in \(B^\dag _{\mathfrak {K}}H^\prime |0\rangle \). As a result the \({\mathfrak {K}}\) line is disconnected from the rest of the diagram, which is therefore equivalent to the corresponding diagrams for \(H^\prime |0\rangle \) which were already shown in Fig. 1. These disconnected diagrams are shown in Fig. 2.
Diagrams corresponding to the first three terms in the \(Q_2 2\pi \delta (k_1-{\mathfrak {K}})\) contribution to \(E_2\). The \(k_1={\mathfrak {K}}\) line is disconnected from the diagram. Therefore these are just contributions to the ground state energy \(Q_2\), and so they do not contribute to the energy \(E_2-Q_2\) needed to excite a normal mode in the kink background
The other contributions to the energy arise from \(\mu ({\mathfrak {K}})\) in (4.12). The first three terms are depicted in Fig. 3. Each diagram has a symmetry factor of 1/2. Note that in both the third and fourth graphs, the internal line begins at the first (chronologically) vertex and so contributes a factor of \(-1/(2\omega _{k^\prime _{}})\). As a result, the two graphs are equal. Again graphs for the last two terms are not given. Intuitively they correspond to the first two graphs with \(k^\prime \) internal lines replaced by zero-mode internal lines. However again one must choose whether the vertices represent terms in \(P^\prime \) or \(H^\prime \).
The first two diagrams give the first term in \(\mu ({\mathfrak {K}})\) as written in Eq. (4.12). The next two are equal and yield the second term. The last diagram corresponds to the third term. The other term may be obtained by respectively replacing one \(k^\prime \) in the first two diagrams with a zero mode
6 Remarks
We have now found the subleading correction to the normal mode states and their masses. Are we ready for scattering?
A few more steps are required. First of all, to calculate matrix elements we will need normalizable states. These can be made from wave packets of kinks at different momenta. However, as is, our recursion relation only applies to kinks in the center of mass frame. The generalization will be straightforward. Instead of implying that our states are annihilated by \(P^\prime \), we need only impose that they are annihilated by \(P^\prime -p\) for some constant p. This will add a single term to our recursion relation. As our states are already written in terms of \(B^\dag \), \(\phi _0\) and \({\mathcal {D}}_f\), it will be straightforward to calculate form factors and more general matrix elements with arbitrary polynomials in \(\phi (x)\) and \(\pi (x)\).
Next we will need to generalize our results to the interaction picture, as so far we have only considered the Schrodinger picture. Ideally one would like a suitable Kallen-Lehmann spectral representation and LSZ reduction formula [30,31,32,33,34]. Also the Wick’s theorem of Ref. [28] should be extended to interaction picture fields.
The easiest scattering process to approach would be meson-kink scattering, as this can be done considering the kink state that we have already constructed, adding the perturbative creation operators that create a meson. We already know their actions on our states, as we have consistently worked in the Fock basis. If one could prove a factorization theorem in this context, then kink-kink scattering may be treated in some approximation by combining kink-meson scattering with the appropriate form factors. Here the situation may prove to be much simpler than QCD as the form factors may be calculated perturbatively.
In the quantum theory we expect the phenomenology to be richer than in the classical case. For example, the normal modes are quantized. Thus one may expect interesting phenomena, perhaps analogous to [35], when integral multiples of the bound normal mode energy pass the threshold M for escape into the continuum.
To efficiently explore such states, it would be useful to complete our construction of a diagrammatic calculus in Sect. 5. In particular, one should construct rules for \(P^\prime \) vertices in addition to \(H^\prime \) vertices. In the supersymmetric case, vertices may also represent the supercharges \(Q'\). In the case of rotationally-invariant solitons, vertices may also be introduced for rotations.
While our perturbative expansion in \(P^\prime \) is much more economical than the exact treatment in the traditional collective coordinate methods of Refs. [1, 36], there is a price to be paid. As we do not impose that the states are exactly translation-invariant, our solutions are expansions in \(\phi _0\) and therefore cease to be reliable if \(\phi _0\) is of order O(1/g) corresponding to a kink center of mass position of order O(1/M). In other words, the kink cannot be coherently treated as its center moves by more than its size. In the kink rest frame, this is physically reasonable for a semiclassical expansion, it implies that the form factors are dominated by the classical kink solution and quantum corrections are subdominant [37]. However in kink scattering it is a limitation, as the kink may never move by O(1/M) in some frame. This may be an obstruction to constructing an S-matrix, as even scattering with a meson will impart some momentum to the kink which after a time O(1/(Mg)) will bring the kink out of this range.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There is no associated data, as this an entirely theoretical calculation concerning an idealized toy model. All calculations were performed analytically.]
Notes
This definition is sufficient to all orders in perturbation theory, however in general to eliminate tadpoles in \(H^\prime \) one must include a correction to f(x) which is exponentially suppressed in the regulator [21].
Some matching conditions yield the correct masses in examples at one loop and some do not. While there are several conjectured principles that determine which are correct [23, 24], none of these have been derived except in supersymmetric cases. In the case of theories with a single mass scale, it is often possible to avoid this ambiguity [25]. At one loop the ambiguity can also be avoided [26].
We set \(\hbar =1\).
There are also complex frequency solutions corresponding to quasinormal modes. In what follows, we will only need our modes to be a basis of the \(\delta \)-function normalizable functions, or more precisely to satisfy the completeness relation (2.11). The real frequency modes alone are sufficient for this goal. We do not expect the Hamiltonian to mix quasinormal modes with real frequency modes and so quasinormal modes should not contribute to our perturbative calculation of Hamiltonian eigenstates.
The fact that \(\mu (k_1)\) vanishes at \(k_1\ne {\mathfrak {K}}\) fixes \(\gamma _2^{01}(k_1)\).
References
N.H. Christ, T.D. Lee, Quantum expansion of soliton solutions. Phys. Rev. D 12, 1606 (1975). https://doi.org/10.1103/PhysRevD.12.1606
J. Goldstone, R. Jackiw, Quantization of nonlinear waves. Phys. Rev. D 11, 1486–1498 (1975). https://doi.org/10.1103/PhysRevD.11.1486
V.G. Makhankov, Dynamics of classical solitons in nonintegrable systems. Phys. Rept. 35, 1–128 (1978). https://doi.org/10.1016/0370-1573(78)90074-1
M. Moshir, Soliton–anti-soliton scattering and capture in \(\lambda \phi ^4\) theory. Nucl. Phys. B 185, 318–332 (1981). https://doi.org/10.1016/0550-3213(81)90320-5
C. Adam, K. Oles, T. Romanczukiewicz, A. Wereszczynski, Spectral walls in soliton collisions. Phys. Rev. Lett. 122(24), 241601 (2019). https://doi.org/10.1103/PhysRevLett.122.241601. arXiv:1903.12100 [hep-th]
Y. Zhong, X.L. Du, Z.C. Jiang, Y.X. Liu, Y.Q. Wang, Collision of two kinks with inner structure. JHEP 02, 153 (2020). https://doi.org/10.1007/JHEP02(2020)153. arXiv:1906.02920 [hep-th]
I.C. Christov, R.J. Decker, A. Demirkaya, V.A. Gani, P.G. Kevrekidis, A. Saxena, Kink–antikink collisions and multi-bounce resonance windows in higher-order field theories. Commun. Nonlinear Sci. Numer. Simul. 97, 105748 (2021). https://doi.org/10.1016/j.cnsns.2021.105748. arXiv:2005.00154 [hep-th]
D.K. Campbell, J.F. Schonfeld, C.A. Wingate, Resonance structure in Kink–antikink interactions in \(\phi ^{4}\) theory. Phys. D 9, 1 (1983) (FERMILAB-PUB-82-051-THY)
A. Alonso Izquierdo, J. Queiroga-Nunes, L.M. Nieto, Scattering between wobbling kinks. Phys. Rev. D 103(4), 045003 (2021). https://doi.org/10.1103/PhysRevD.103.045003. arXiv:2007.15517 [hep-th]
P. Dorey, K. Mersh, T. Romanczukiewicz, Y. Shnir, Kink-antikink collisions in the \(\phi ^6\) model. Phys. Rev. Lett. 107, 091602 (2011). https://doi.org/10.1103/PhysRevLett.107.091602. arXiv:1101.5951 [hep-th]
I. Takyi, H. Weigel, Collective coordinates in one-dimensional soliton models revisited. Phys. Rev. D 94(8) (2016). https://doi.org/10.1103/PhysRevD.94.085008. arXiv:1609.06833 [nlin.PS]
E. Belendryasova, V.A. Gani, Scattering of the \(\phi ^8\) kinks with power-law asymptotics. Commun. Nonlinear Sci. Numer. Simul. 67, 414–426 (2019). https://doi.org/10.1016/j.cnsns.2018.07.030. arXiv:1708.00403 [hep-th]
N.R. Quintero, A. Sanchez, F.G. Mertens, Resonances in the dynamics of \(\phi ^4\) kinks perturbed by ac forces. Phys. Rev. E 62, 5695–5705 (2000). https://doi.org/10.1103/PhysRevE.62.5695. arXiv:cond-mat/0006313 [cond-mat.stat-mech]
R.F. Dashen, B. Hasslacher, A. Neveu, Nonperturbative methods and extended hadron models in field theory 2. Two-dimensional models and extended Hadrons. Phys. Rev. D 10, 4130 (1974). https://doi.org/10.1103/PhysRevD.10.4130
J. Evslin, H. Guo, Alternative to collective coordinates. Phys. Rev. D 103(4), L041701 (2021). https://doi.org/10.1103/PhysRevD.103.L041701. arXiv:2101.08028 [hep-th]
J. Evslin, Evidence for the unbinding of the \(\phi ^{4}\) kink’s shape mode. JHEP 09, 009 (2021). https://doi.org/10.1007/JHEP09(2021)009. arXiv:2104.14387 [hep-th]
J. Evslin, Well-defined quantum soliton masses without supersymmetry. Phys. Rev. D 101(6), 065005 (2020). https://doi.org/10.1103/PhysRevD.101.065005. arXiv:2002.12523 [hep-th]
J. Evslin, H. Guo, Two-loop scalar kinks. Phys. Rev. D 103(12), 125011 (2021). https://doi.org/10.1103/PhysRevD.103.125011. arXiv:2012.04912 [hep-th]
R. Rajaraman, Some nonperturbative semiclassical methods in quantum field theory: a pedagogical review. Phys. Rept. 21, 227 (1975). https://doi.org/10.1016/0370-1573(75)90016-2
J. Evslin, Manifestly finite derivation of the quantum kink mass. JHEP 11, 161 (2019). https://doi.org/10.1007/JHEP11(2019)161. arXiv:1908.06710 [hep-th]
J. Evslin, B. Zhang, (2021) Cut-Off Kinks (in preparation)
A. Rebhan, P. van Nieuwenhuizen, No saturation of the quantum Bogomolnyi bound by two-dimensional supersymmetric solitons. Nucl. Phys. B 508, 449 (1997). https://doi.org/10.1016/S0550-3213(97)00625-1, https://doi.org/10.1016/S0550-3213(97)80021-1. arXiv:hep-th/9707163
A. Litvintsev, P. van Nieuwenhuizen, Once more on the BPS bound for the SUSY kink (2021). arXiv:hep-th/0010051
A.S. Goldhaber, A. Litvintsev, P. van Nieuwenhuizen, Local Casimir energy for solitons. Phys. Rev. D 67, 105021 (2003). https://doi.org/10.1103/PhysRevD.67.105021. arXiv:hep-th/0109110
H. Nastase, M.A. Stephanov, P. van Nieuwenhuizen, A. Rebhan, Topological boundary conditions, the BPS bound, and elimination of ambiguities in the quantum mass of solitons. Nucl. Phys. B 542, 471–514 (1999). https://doi.org/10.1016/S0550-3213(98)00773-1. arXiv:hep-th/9802074
N. Graham, R.L. Jaffe, Unambiguous one loop quantum energies of (1+1)-dimensional bosonic field configurations. Phys. Lett. B 435, 145–151 (1998). https://doi.org/10.1016/S0370-2693(98)00795-3. arXiv:hep-th/9805150
K.E. Cahill, A. Comtet, R.J. Glauber, Mass formulas for static solitons. Phys. Lett. B 64, 283–285 (1976). https://doi.org/10.1016/0370-2693(76)90202-1
J. Evslin, Normal ordering normal modes. Eur. Phys. J. C 81(1), 92 (2021). https://doi.org/10.1140/epjc/s10052-021-08890-7. arXiv:2007.05741 [hep-th]
J. Evslin, Constructing quantum soliton states despite zero modes (2021). arXiv:2006.02354 [hep-th]
A. Rouet, K. Yoshida, Scattering theory in the presence of a soliton asymptotic theory. Phys. Lett. B 70, 117–119 (1977). https://doi.org/10.1016/0370-2693(77)90358-6
K.A. Sveshnikov, Fermionic and bosonic scattering phases on a topological kink. Phys. Lett. A 134, 47–53 (1988). https://doi.org/10.1016/0375-9601(88)90545-2
N. Dorey, M.P. Mattis, J. Hughes, Soliton quantization and internal symmetry. Phys. Rev. D 49, 3598–3611 (1994). https://doi.org/10.1103/PhysRevD.49.3598. arXiv:hep-th/9309018
N. Dorey, T.J. Hollowood, Quantum scattering of charged solitons in the complex sine-Gordon model. Nucl. Phys. B 440, 215–236 (1995). https://doi.org/10.1016/0550-3213(95)00074-3. arXiv:hep-th/9410140
H.M. Babujian, A. Fring, M. Karowski, A. Zapletal, Exact form-factors in integrable quantum field theories: The Sine-Gordon model. Nucl. Phys. B 538, 535–586 (1999). https://doi.org/10.1016/S0550-3213(98)00737-8. arXiv:hep-th/9805185
C. Adam, K. Oles, T. Romanczukiewicz, A. Wereszczynski, Kink-antikink scattering in the \(\phi ^4\) model without static intersoliton forces. Phys. Rev. D 101(10), 105021 (2020). https://doi.org/10.1103/PhysRevD.101.105021. arXiv:1909.06901 [hep-th]
J.L. Gervais, A. Jevicki, B. Sakita, Perturbation expansion around extended particle states in quantum field theory. 1. Phys. Rev. D 12, 1038 (1975). https://doi.org/10.1103/PhysRevD.12.1038
R. Jackiw, Quantum meaning of classical field theory. Rev. Mod. Phys. 49, 681–706 (1977). https://doi.org/10.1103/RevModPhys.49.681
Acknowledgements
JE is supported by the CAS Key Research Program of Frontier Sciences grant QYZDY-SSW-SLH006 and the NSFC MianShang grants 11875296 and 11675223. JE also thanks the Recruitment Program of High-end Foreign Experts for support.
Author information
Authors and Affiliations
Corresponding author
Appendix A: Checking \(\Gamma _2^{21}\)
Appendix A: Checking \(\Gamma _2^{21}\)
Recall from (3.12) that our state \(|{\mathfrak {K}}\rangle \) is an eigenstate of the Hamiltonian if it satisfies the Schrodinger equation \(\Gamma _i^{mn}=0\). In the cases \(m=0\), at order \(i=2\), this condition was imposed by hand to obtain the matrix elements \(\gamma _2^{0n}\). However in Ref. [18] it was argued that the vanishing of \(\Gamma _i^{0n}\), together with translation invariance which was imposed via the recursion relations, is sufficient to make all components vanish. In this Appendix we will test this claim for the most nontrivial component at order \(i=2\), \(\Gamma _2^{21}\)=0.
We need to calculate all 12 terms that contribute to \(\Gamma _2^{21}\). \((H_2-E_2)|{\mathfrak {K}}\rangle _2\) contributes 2 terms, \(H_3|{\mathfrak {K}}\rangle _1\) contributes 8 terms and \(H_4|{\mathfrak {K}}\rangle _0\) contribute 2 terms. We will name these terms \(\Gamma _{2,j}^{21}\) and evaluate them one at a time.
The recursion relation yields
This leads to the first contribution
![](http://media.springernature.com/lw428/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09739-9/MediaObjects/10052_2021_9739_Equ76_HTML.png)
which contributes
The other contribution from \((H_2-E_1)|{\mathfrak {K}}\rangle _2\) is
![](http://media.springernature.com/lw494/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09739-9/MediaObjects/10052_2021_9739_Equ78_HTML.png)
yielding
Next we calculate the 8 contributions from \(H_3 |{\mathfrak {K}}\rangle _1\). The first four arise from
![](http://media.springernature.com/lw422/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09739-9/MediaObjects/10052_2021_9739_Equ80_HTML.png)
which respectively contribute
The other four arise from
![](http://media.springernature.com/lw485/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09739-9/MediaObjects/10052_2021_9739_Equ82_HTML.png)
and are respectively
Finally we arrive at the two contributions from \(H_4|{\mathfrak {K}}\rangle \). The first
![](http://media.springernature.com/lw304/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-021-09739-9/MediaObjects/10052_2021_9739_Equ84_HTML.png)
contributes
Using the identity [18]
this can be written
The last contribution arises from
and is equal to
The identity [18]
again allows terms involving the integrals of four g(x) to be eliminated, leaving
Without these identities we would not be able to show that \(\Gamma =0\).
Finally, summing all of the above contributions, we obtain
The first term is
where use the fact [18] that \(V_{{\mathcal {I}}B}=0\). The other terms are
and
As all three contributions vanish, we have shown that
as it must be if \(|{\mathfrak {K}}\rangle \) is indeed a Hamiltonian eigenstate to second order.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Evslin, J., Guo, H. Excited Kinks as Quantum States. Eur. Phys. J. C 81, 936 (2021). https://doi.org/10.1140/epjc/s10052-021-09739-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09739-9