Resurgence in sineGordon quantum mechanics: Exact agreement between multiinstantons and uniform WKB
Abstract
We compute multiinstanton amplitudes in the sineGordon quantum mechanics (periodic cosine potential) by integrating out quasimoduli parameters corresponding to separations of instantons and antiinstantons. We propose an extension of Bogomolnyi–ZinnJustin prescription for multiinstanton configurations and an appropriate subtraction scheme. We obtain the multiinstanton contributions to the energy eigenvalue of the lowest band at the zeroth order of the coupling constant. For the configurations with only instantons (antiinstantons), we obtain unambiguous results. For those with both instantons and antiinstantons, we obtain results with imaginary parts, which depend on the path of analytic continuation. We show that the imaginary parts of the multiinstanton amplitudes precisely cancel the imaginary parts of the Borel resummation of the perturbation series, and verify that our results completely agree with those based on the uniformWKB calculations, thus confirming the resurgence : divergent perturbation series combined with the nonperturbative multiinstanton contributions conspire to give unambiguous results. We also study the neutral bion contributions in the model on with a small circumference, taking account of the relative phase moduli between the fractional instanton and antiinstanton. We find that the sign of the interaction potential depends on the relative phase moduli, and that both the real and imaginary parts resulting from quasimoduli integral of the neutral bion get quantitative corrections compared to the sineGordon quantum mechanics.
I Introduction
In the recent study on quantum field theories and quantum mechanics, topologically neutral soliton molecules, which are locally composed of (fractional) instantons and antiinstantons, have been attracting a great deal of attention in relation to the IRrenormalonUnsal:2007vu (); Unsal:2007jx (); Shifman:2008ja (); Poppitz:2009uq (); Anber:2011de (); Poppitz:2012sw (); Argyres:2012vv (); Argyres:2012ka (); Dunne:2012ae (); Dunne:2012zk (); Dabrowski:2013kba (); Dunne:2013ada (); Cherman:2013yfa (); Basar:2013eka (); Dunne:2014bca (); Cherman:2014ofa (); Behtash:2015kna (); Bolognesi:2013tya (); Misumi:2014jua (); Misumi:2014raa (); Misumi:2014bsa (); Nitta:2015tua (); Nitta:2014vpa (); Shermer:2014wxa (); Dunne:2015ywa (). Imaginary ambiguities arising in amplitudes of such topologically neutral configurations can cancel out those arising in nonBorelsummable perturbative series (IRrenormalon) in quantum theories under certain conditions on the spacetime manifold Argyres:2012vv (); Argyres:2012ka (); Dunne:2012ae (); Dunne:2012zk (); Dabrowski:2013kba (); Dunne:2013ada (); Cherman:2013yfa (); Basar:2013eka (); Dunne:2014bca (); Cherman:2014ofa (); Bolognesi:2013tya (); Misumi:2014jua (); Misumi:2014raa (); Misumi:2014bsa (); ’tHooft:1977am (); Fateev:1994ai (); Fateev:1994dp (). In field theories on compactified spacetime with a small compact dimension, these objects are termed as “bions” Argyres:2012vv (); Argyres:2012ka (); Dunne:2012ae (); Dunne:2012zk (). It is expected that full semiclassical expansion including perturbative and nonperturbative sectors as bions, which is called “resurgent” expansion Ec1 (); Marino:2007te (); Marino:2008ya (); Marino:2008vx (); Pasquetti:2009jg (); Drukker:2010nc (); Aniceto:2011nu (); Marino:2012zq (); Hatsuda:2013gj (); Schiappa:2013opa (); Hatsuda:2013oxa (); Aniceto:2013fka (); Santamaria:2013rua (); Kallen:2013qla (); Honda:2014ica (); Grassi:2014cla (); Sauzin (); Kallen:2014lsa (); CousoSantamaria:2014iia (); Honda:2014bza (); Aniceto:2014hoa (); CousoSantamaria:2015wga (); Honda:2015ewa (); Hatsuda:2015owa (); Aniceto:2015rua (); Dorigoni:2015dha (), leads to unambiguous and selfconsistent definition of field theories in the same manner as the conjecture in quantum mechanics Bogomolny:1980ur (); ZinnJustin:1981dx (); ZinnJustin:1982td (); ZinnJustin:1983nr (); ZinnJustin:2004ib (); ZinnJustin:2004cg (); Jentschura:2010zza ().
The resurgence in theoretical physics was at first investigated in the matrix model and topological string theory Marino:2007te (); Marino:2008ya (); Marino:2008vx (); Pasquetti:2009jg (); Marino:2012zq (); Hatsuda:2013oxa (). Then, the study on the topic has been extended to ABJM theory Drukker:2010nc (); Hatsuda:2013gj (); Honda:2014ica (); Kallen:2014lsa (), string and supersymmetric gauge theories Aniceto:2011nu (); Grassi:2014cla (); CousoSantamaria:2014iia (); Aniceto:2014hoa (), and general quantum systems Schiappa:2013opa (); Aniceto:2013fka (); Santamaria:2013rua (); Kallen:2013qla (); Sauzin (); Honda:2014bza (); CousoSantamaria:2015wga (); Honda:2015ewa (); Hatsuda:2015owa (); Aniceto:2015rua (); Dorigoni:2015dha (). Bions and resurgence in nonSUSY field theories, especially in the lowdimensional models, have been extensively investigated for the model Dunne:2012ae (); Dunne:2012zk (); Dabrowski:2013kba (); Bolognesi:2013tya (); Misumi:2014jua (); Shermer:2014wxa (), the Grassmann sigma model Misumi:2014bsa (); Dunne:2015ywa (), the principal chiral model Cherman:2013yfa (); Cherman:2014ofa (); Nitta:2015tua (), and the model Nitta:2014vpa (); Dunne:2015ywa (). According to these studies, the leadingorder renormalon ambiguity arising in nonBorelsummable perturbative series, which corresponds to the singularity closest to the origin on the Borel plane, is compensated by the amplitude of neutral bions. On the other hand, it is expected but not verified that the ambiguities corresponding to singularities further from the origin (, ,…) are cancelled by amplitudes of bion molecules with more than four instanton constituents.
In the case of quantum mechanics, not only the sector of zero instanton charge but also those of nonzero instanton charge contribute to physical observables such as the energy levels. The authors in Refs. ZinnJustin:1981dx (); ZinnJustin:1982td (); ZinnJustin:1983nr (); ZinnJustin:2004ib (); ZinnJustin:2004cg (); Jentschura:2010zza () investigated quantum mechanics with several types of potential including the sineGordon type. They showed that the leading instanton contributions are consistent with the perturbative calculation, and conjectured the explicit equation connecting perturbative and instanton contributions, which they call the generalized quantization condition. Recently the authors in Refs. Dunne:2013ada (); Dunne:2014bca () adopted the uniformWKB method based on the boundary condition, which is equivalent to the quantization condition in Refs. ZinnJustin:1981dx (); ZinnJustin:1982td (); ZinnJustin:1983nr (); ZinnJustin:2004ib (); ZinnJustin:2004cg (); Jentschura:2010zza (), and pointed out the general relation between perturbative and nonperturbative contributions. Explicit calculations of multiinstanton amplitudes at each configuration level are expected to clarify the structure of resurgence and to verify the conjectured relation between perturbative and nonperturbative contributions ZinnJustin:1981dx (); ZinnJustin:1982td (); ZinnJustin:1983nr (); ZinnJustin:2004ib (); ZinnJustin:2004cg (); Jentschura:2010zza (); EscobarRuiz:2015nsa (); Dunne:2013ada (); Dunne:2014bca ().
In this paper, we focus on a quantum mechanical system with the sineGordon potential, and we calculate the multiinstanton amplitude by explicitly integrating quasi moduli parameters corresponding to separations of instantonconstituents in a semiclassical limit, in comparison with the uniform WKB calculations Dunne:2013ada (); Dunne:2014bca (); ZinnJustin:2004ib (); ZinnJustin:2004cg (). We adopt an extension of Bogomolnyi–ZinnJustin prescription Bogomolny:1980ur (); ZinnJustin:1981dx () for multiinstanton configurations with an appropriate subtraction scheme for divergent parts. We calculate contributions to the energy eigenvalue of the lowest band from each multiinstanton configuration in a semiclassical limit (). For the configurations with only instantons (antiinstantons) such as , and , we have unambiguous results without imaginary parts. Here, we have denoted an instanton (antiinstanton) as (). For configurations containing both instantons and antiinstantons such as , and , the results contain ambiguous imaginary parts, which depend on the path of analytic continuation. These imaginary parts correspond to the largeorder behavior of perturbation series around the saddle point without the pair. For instance, we show explicitly that the imaginary part of the multiinstanton amplitude cancels the imaginary part of the Borel resummation of the largeorder perturbation series around the nontrivial background with a single instanton . By investigating the uniformWKB calculations in detail, we verify that all of our results agree completely with those based on the uniformWKB calculations up to a fourinstanton order.
While the sineGordon quantum mechanics is worth to study on its own, another strong motivation lies in its close relationship to small circumference limit of the twodimensional model on (circumference ) with the symmetric twisted boundary condition Dunne:2012ae (); Dunne:2012zk (). However, we observe that some of the field configurations of the model are not faithfully represented by means of the sineGordon quantum mechanics. One can derive the sineGordon quantum mechanics from the twodimensional model by applying the ScherkSchwarz dimensional reduction, which requires a particular dependence of the phases of fields on the coordinate of compactified dimension (). It is important to realize that only parts of field configuration of model can be consistent with this dependence. For instance, the BPS solution of two fractional instantons is not consistent with the ScherkSchwarz reduction, and hence its small circumference limit cannot be described by the sineGordon quantum mechanics. On the other hand, two adjacent instantons in the sineGordon quantum mechanics are mutually nonBPS, although each individual instanton may be understood as a limit of BPS fractional instanton (with a different dependence). Even in the instanton and antiinstanton configurations, model has a significant difference compared to the sineGordon quantum mechanics: The phase moduli of the fractional instantons in the model are neglected in the sineGordon quantum mechanics. For the configuration of a neutral bion composed of a fractional instanton and an antifractional instanton, we find that the interaction between them strongly depends on the relative phase of constituents. We calculate the neutral bion contribution in the model, based on the interaction potential with the quasi moduli parameter corresponding to the relative phase between the fractional instanton and antiinstanton. We find that this calculation gives a correction factor compared to the neutral bion amplitude obtained in the sineGordon quantum mechanics Dunne:2012ae (); Dunne:2012zk ().
This paper is organized as follows. In Sec. II, we review instantons and their interactions in the quantum mechanics with sineGordon potential and the Borel summation. In Sec. III we calculate amplitudes of multiinstanton configurations in sineGordon quantum mechanics by integrating out the moduli parameters. In Sec. IV we discuss the results from the uniform WKB calculations, and show that they completely agree with the instanton moduli calculations. In Sec. V we discuss the neutral bion contributions in the compactified model based on the interaction potential including the relative phase parameter. Section VI is devoted to a summary and discussion. In Appendix A we give some details of fourinstanton calculations.
Ii Quantum mechanics with the sineGordon potential
In this article, we focus on the sineGordon quantum mechanics described by the Schrödinger equation
(1) 
where we follow the notation in Refs. ZinnJustin:2004ib (); Dunne:2013ada ()
except is replaced by here
(2) 
In the limit, it reduces to the Schrödinger equation of the harmonic oscillator.
The energy eigenvalues of periodic potentials split into bands of states. Within each band, they are labeled by the Bloch angle defined by
(3) 
In this article, we are interested in the lowest band, although excited bands can be treated similarly. The energy eigenvalue of the lowest band can be expressed in terms of the pathintegral
(4) 
For weak coupling, the pathintegral has contributions around the perturbative vacuum, as well as contributions from nonperturbative saddle points
(5) 
Perturbation series in powers of coupling constant in quantum field theories or in quantum mechanics are extremely useful, but are usually factorially divergent
(6) 
It is useful to define the Borel transform
(7) 
The Borel resummation of the divergent series is defined as an integral of the Borel transform along the positive real axis in the complex Borel plane
(8) 
If the factorially divergent series is alternating, the Borel transform has no singularities along the positive real axis, and the Borel resummation becomes welldefined (Borelsummable). For the potential with degenerate minima such as the sineGordon quantum mechanics, however, the perturbation series is nonalternating factorially divergent. In that case, the Borel transform is convergent with the finite radius of convergence, but the Borel resummation is illdefined because of singularities in the complex Borel plane. Since the series become alternating and the Borel resummation is unambiguous for , we can analytically continue it from to the physical region to obtain a real analytic function . If there is no complex singularities, we obtain a branch cut along the positive real axis of complex plane. The imaginary part at is related to the largeorder behavior () of perturbation series in Eq.(6) through the dispersion relation ZinnJustin:1989mi ()
(9) 
This largeorder behavior corresponds to the singularities of the Borel transform in the complex Borel plane . Of course this ambiguous (pathdependent) imaginary part is unacceptable, and should disappear, since the energy eigenvalue should be real, and ambiguity due to the choice of path is unphysical. In fact, it has been found that the leading term of the imaginary ambiguities is cancelled by the contributions from nonperturbative saddle points associated with neutral objects composed of instantons Dunne:2013ada (); Dunne:2014bca (). This phenomenon is called the resurgence of the perturbation series.
Let us now consider nonperturbative saddle points. By rescaling the variable
(10) 
the Euclidean Lagrangian in Eq.(2) can be rewritten as
(11) 
and the instanton number as a topological charge may be defined by
(12) 
Single instanton solution () is given by
(13) 
whereas single antiinstanton solution () is given by
(14) 
with the Euclidean action
(15) 
The moduli parameter is a zero mode (moduli) associated to the
breakdown of translation, representing the location of the
(anti)instanton.
For even , the solutions (13) and
(14) satisfy the following BPS equation
(16) 
For odd , they satisfy the antiBPS equation saturating the antiBPS bound for
(17) 
By integrating over the translational zero mode , one finds the contribution of single instanton to the energy as
(18) 
Suppose, for instance, we have a BPS instanton in Eq.(13) with and wish to place another instanton or antiinstanton to its right, we are forced to take either instanton with in Eq.(13) or antiinstanton with in Eq.(14), both of which are antiBPS configurations. Therefore two successive (anti)instantons are inevitably nonBPS. The energy of the nonBPS configuration of two successive instantons should be more than the sum of individual instanton energies. They are found to repel each other with the potential Manton:2004tk () for large separations
(19) 
The nonBPS configuration of successive instanton and antiinstantons are found to attract each other with the potential for large separations
(20) 
For later convenience, we introduce the uniformWKB ansatz by following Ref. Dunne:2013ada (). With the coordinate variable in Eq.(10), Eq.(1) can be rewritten as
(21) 
We define the potential as . By using the parabolic cylinder function satisfying the differential equation
(22) 
we introduce an ansatz for the wave functionalvarez (); langer (); cherry (); millergood (); galindo ()
(23) 
where the parameter is the shift of energy eigenvalue from the ground state energy of the harmonic oscillator ( limit). Then the Schrödinger equation (21) becomes
(24) 
with . In the limit, Eq.(24) just reduces to , whose solution is
(25) 
which gives the zerothorder argument of the parabolic cylinder function in Eq.(23) and solves the Schrödinger equation of the harmonic oscillator.
Iii Multiinstanton amplitudes in SineGordon quantum mechanics
iii.1 General setting
In this section we calculate multiinstanton amplitudes in sineGordon quantum mechanics. We need to integrate over the distances between instantons and (anti)instantons as quasimoduli. Since the interaction (19) and (20) between instantons and (anti)instantons vanish at large distances, we need to regulate the integral by introducing a factor into the effective potential
(26) 
where is for the instantoninstanton repulsive interaction and for the instanton–antiinstanton attractive interaction. The regularization parameter can be identified as the number of fictitious fermionsBogomolny:1980ur (); ZinnJustin:1981dx (); ZinnJustin:1982td (); Jentschura:2010zza (); Jentschura:2011zza (); Dunne:2012ae (). After subtracting divergences, we need to take the limit .
Even after eliminating the divergence arising from large separations (), we have another source of divergence for the case of the attractive instanton–antiinstanton interaction: the integrand becomes divergent as , contrary to the repulsive case. Therefore the moduliintegral gets divergent contributions from small regions, and is illdefined in the semiclassical limit (). This is why we need to introduce the Bogomolnyi–ZinnJustin (BZJ) prescription Bogomolny:1980ur (); ZinnJustin:1981dx (): We first regard as real positive () to make the integral welldefined in the semiclassical limit, and then we analytically continue back to in the complex plane at the end of the calculation.
The energy eigenvalue of the lowest band has contributions from the amplitude of instanton and antiinstanton configuration as
(27) 
(28) 
where stands for the sum of configurations which can be composed of instantons and antiinstantons in all possible orderings. As shown in Ref. ZinnJustin:2004ib (), the contribution contains with being the instanton charge since the Bloch angle shows up in a topological term in the Euclidian action in Eq.(4). We perform the quasimoduli integral taking only interactions between neighboring instantons among the () instantons. We should perform this multiintegral in the semiclassical region , and subtract the divergent parts appropriately at each level of the multiintegral. We will evaluate them explicitly from the next subsection.
iii.2 2 instantons
The amplitude of two instantons shown in Fig. 1 is obtained as
(29) 
where is the Euler constant and is an instanton factor defined by
(30) 
Here we have neglected terms of order or higher. To simplify the formula, we divide the amplitude by and . Precisely speaking, the interaction energy between instantons at small separation may not be precisely represented by the potential in Eq.(26). However, our result is unchanged as long as is satisfied. We need to subtract the divergent term while the term disappears in the limit. The contribution from this amplitude to the energy eigenvalue of the lowest band is then given by
(31) 
where the superscript stands for twoinstanton and zero–antiinstanton amplitude. We note that the contribution from the two antiinstanton amplitude is obtained by replacing by .
iii.3 1 instanton 1 antiinstanton
The amplitude of one instanton and one antiinstanton amplitude is composed of two configurations and , as shown in Fig. 2. In these cases, the interaction between the two constituents is attractive, and the quasi moduli integral is illdefined. Therefore we introduce the Bogomolnyi–ZinnJustin (BZJ) prescription Bogomolny:1980ur (); ZinnJustin:1981dx (): we first evaluate the integral by taking , and then we analytically continue the result from back to in the complex plane. This procedure provides the imaginary ambiguity depending on the path of the analytic continuation as .
The amplitude of oneinstanton and one antiinstanton configuration corresponding to the left of Fig. 2 is obtained as
(32) 
where we perform the integral in the first line by considering , and in the second line analytically continue back to in the complex plane Bogomolny:1980ur (); ZinnJustin:1981dx (). The third line shows a twofold ambiguous expression of depending on the path of analytic continuation as . As with the twoinstanton case, we have subtracted the divergent part while the term disappears in the limit.
Another amplitude of oneinstanton and one antiinstanton configurations corresponding to the right of Fig. 2 turns out to give identical contribution as that in Eq.(32). The total contribution is given by the sum of them with dropping and terms,
(33) 
Its contribution to the energy eigenvalue of the lowest band is then given by
(34) 
If the resurgence idea is valid, this imaginary ambiguity should cancel the imaginary ambiguity of the nonBorel summable divergent series of the perturbative contribution.
(35) 
If we insert Eqs.(34) and (35) into the dispersion relation in Eq.(9), we should be able to reproduce the largeorder behavior of the perturbation series
(36) 
in accordance with the leading largeorder behavior of the perturbation series ZinnJustin:1981dx (). Thus we find that the imaginary ambiguity of the instanton–antiinstanton amplitude correctly cancels the imaginary ambiguity of the Borel resummation of the (nonBorel summable) perturbation series.
iii.4 3 instantons
For the threeinstanton amplitude shown in Fig. 3, we have two quasi modulus corresponding to the separations between adjacent instantons. For multiple moduli integral of each given configuration, we need to specify subtraction scheme explicitly, and propose the following:

Enumerate possible ordering of quasi moduli integrations, such as and for the three instanton case.

Subtract possible poles like for the first integration, and then perform the next integration successively, and retain the finite piece.

Average the results of all possible orderings.
Incorporating the repulsive potentials between adjacent instantons,
we obtain the three instanton amplitude as
(37) 
In the three instanton case, we have two possible orderings of the multi integral, each of which gives the identical contribution. Then the three instanton contribution to the energy eigenvalue of the lowest band is given by
(38) 
We note that the contribution from the three antiinstanton amplitude is obtained by replacing by .
iii.5 2 instantons 1 antiinstanton
The twoinstanton and one–antiinstanton amplitudes consist of three types of configurations, as shown in Fig. 4.
The first one is , where the antiinstanton is sandwiched between two instantons. For this type of configuration, adjacent constituent (anti)instantons attract each other. Therefore we first take in order to apply the BZJ prescription to the integral, and follow our subtraction prescription
(39) 
where we again subtract in the first integral, before integrating the second quasimoduli.
The second type of configuration is , where one pair of constituents is repulsive and the other attractive. In order to apply the BZJ prescription only to the attractive part of the interaction, we temporarily distinguish two coupling constants for the repulsive interaction and for the attractive interaction, and apply the BZJ prescription to , but not to . After analytic continuation, we identify as the original at the end of the calculation. The moduliintegral of is given by
(40) 
For this configuration , we have two possible orderings of moduli integral. The first ordering is to integrate over and to subtract the pole, before integrating over . We call this ordering as
(41) 
We call the result of another ordering as , which is given by integrating over first and then over
(42) 
In the final expressions for , we implicitly put back to after analytic continuation. We obtain the amplitude of as an average of and with dropping and terms
(43) 
The third type of configuration is , which gives the identical result as the second type in Eq.(43) : .
By taking the sum of all three types of configurations, we end up with
(44) 
Its contribution to the energy eigenvalue of the lowest band is then given by
(45) 
We note that the two–antiinstanton and oneinstanton contribution is obtained by replacing by .
Resurgence implies that the two–antiinstanton and oneinstanton amplitude should correspond to the largeorder behavior of the perturbation series around the oneinstanton saddle point. Using the cancellation between imaginary ambiguities of Borel resummed perturbation series around oneinstanton saddle point and of the two–antiinstanton and oneinstanton amplitude, the largeorder behavior of the perturbation series around the one instanton saddle point can be estimated from the imaginary part of (45) by means of the dispersion relation as
(46) 
where is the Stirling number of the first kind, which is the solution of the recurrence relation . The first few numbers are given as for . In Ref. ZinnJustin:1981dx (), the largeorder perturbative series around one instanton is numerically calculated as
(47) 
which is consistent with Eq. (46) for large .
iii.6 4 instantons
For the fourinstanton amplitude, the interaction between each pair of instantons is repulsive, as shown in Fig. 5. Since all the possible orderings of multimoduli integral has the identical contribution, we easily obtain the amplitude using the polygamma function defined as
(48) 
where we have first subtracted in the first integral , and subtracted in the next integral , and finally dropped the term in the integral . Its contribution to the eigenvalue of the lowest band is then given by
(49) 
The four antiinstanton contribution is obtained by replacing by .
iii.7 3 instantons 1 antiinstanton
The threeinstanton and one–antiinstanton amplitudes consist of four types of configurations , , and , as shown in Fig. 6.
In the first configuration , two pairs of adjacent instantons have repulsive interactions, and the other is attractive. We again apply the BZJ prescription only to the integral for the pair with the attractive interaction, where we denote the coupling as , evaluate the integral at , and analytically continue to , while keeping for the repulsive interactions. The multimoduli integral is given by
(50) 
Here we have three orderings of the multiintegral, distinguished by the ordering of (attractive interaction) relative to . We denote the results , , and as the first, the second, and the third integral, respectively. Referring the calculations given in Appendix A, we just show the result
(51) 
We obtain the amplitude of as the average of , and ,