The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste...
Transcript of The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste...
![Page 1: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/1.jpg)
Marco Serone, SISSA, Trieste
February 2017
The Power of Perturbation Theory
1
based on 1612.04376 and to appear, with G. Spada and G. Villadoro
![Page 2: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/2.jpg)
2
All observables in a one-dimensional quantum mechanical system with a bounded potential can be entirely computed from a single perturbative series
Main result:
![Page 3: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/3.jpg)
It is known that perturbative expansions in QM and QFT are only asymptotic with zero radius of convergence
Most perturbative expansions are not Borel resummable
3
Introduction and Motivation
In special cases, like the anharmonic oscillator in QM and �42,3 QFT
it has been proved that perturbation theory is Borel resummable
and leads to the exact results (no non-perturbative contributions)
[Loeffel et al, 1969; Simon and Dicke, 1970; Eckmann, Magnen and Seneor, 1975; Magnen and Seneor, 1977]
Technically, this is due to the appearance of singularities of the Borel function along an integral needed to perform to get the answerThe singularity can be avoided by deforming the contour
but the result present an ambiguitiy of order exp(�a/�n)
[Dyson, 1952]
![Page 4: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/4.jpg)
If one is able to find a semi-classical instanton like configuration (and its whole series) leading to the same factors, one might hope to remove the ambiguity
A systematic way to proceed along these lines uses the theory of resurgence
• Even if Borel summability is somehow proven, convergence to the exact result requires the knowledge of some analytic
properties of the observable, in general hard to verify
Unfortunately, one encounters various difficulties using this approach
4
[Ecalle, 1981]
• Beyond the weak coupling regime, one needs to consider an infinite number of instantons (impractical)
![Page 5: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/5.jpg)
Alternative geometric picture starts from path integral
Perturbation theory is infinite dimensional generalization of steepest-descent method to evaluate ordinary integrals
5
Understanding which instantons contribute to a given observable amounts to understand which saddles of the action should be considered in the path integral
[Witten, 2011]
We can hope to address this point using generalization to infinite dimensions of known mathematical methods.
They provide a geometric alternative to the resurgence program
Key question:
Under what conditions only one saddle point (trivial vacuum) contributes so that perturbation theory gives the full answer?
We answered this question in QM.
![Page 6: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/6.jpg)
Plan
Conclusions
One dimensional integrals
Path integralExamples
6
Lefschetz thimbles
Borel sums
Exact perturbation theory
![Page 7: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/7.jpg)
7
One dimensional integrals
Z(�) ⌘ 1p�
Z 1
�1dx g(x) e�f(x)/�
Convergent for any � � 0
We can compute the integral exactly using steepest-descent methods:
1. Determine the saddle points contributing to Z 2. Resum the “perturbative” expansion around each saddle
Consider first point 1.
Z(�) =1p�
Z
Cx
dz g(z) e�f(z)/�
Analytically continue in complex plane
![Page 8: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/8.jpg)
8
Saddle points z�: f 0(z�) = 0
F (z) ⌘ �f(z)/�
For each saddle we call downward and upward flows and the lines where Re F decrease and increase, respectively, and Im F is constant
J� K�
J� is the path of steepest descent. If it flows to Re F = �1it is called a Lefschetz thimble (or just thimble).
By construction, the integral over a thimble is always well defined and convergent.If hits another saddle point, the flow splits int two branches
and ambiguity arises (Stokes line). J�
Picard-Lefschetz theory: deform the contour Cx
in a contour : C
C =X
�
J�n� n�
= hCx
,K�
i
h. . .i denotes intersection pairings hJ�,K⌧ i = ��⌧[Witten, 1001.2933]
![Page 9: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/9.jpg)
9
Z(�) =X
�
n�Z�(�)
Z�(�) ⌘1p�
Z
J�
dz g(z) e�f(z)/�
Not all saddles contribute to the integral, only those with n� 6= 0
Example: i)
Three saddles:
f(x) =1
2x
2 +1
4x
4, g(x) = 1
z0 = 0, z± = ±i
J� = K⌧If intersection not well defined. Ambiguity resolved by assigning a small imaginary part to �
Degenerate situation. Give a small imaginary part to �
![Page 10: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/10.jpg)
10
1
z0
z+
z≠
J0
K0
J+ K+
K≠ J≠
≠4 ≠2 0 2 4≠4
≠2
0
2
4
1
z0
z+
z≠J0
K0
J+K+
K≠J≠
≠4 ≠2 0 2 4≠4
≠2
0
2
4Im � > 0 Im � < 0
n0 = 1, n± = 0Only saddle at the origin contributes to the integral.
No need to deform the original contour of integration (thimble itself)No “non-perturbative” contributions
![Page 11: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/11.jpg)
11
Example: ii)Three saddles: Again degenerate situation.z0 = 0, z± = ±1
f(x) = �1
2x
2 +1
4x
4, g(x) = 1
1
z0z+z≠
J0K0
J+
K+
K≠
J≠
≠4 ≠2 0 2 4≠4
≠2
0
2
4
1
z0z+z≠
J0K0
J+
K+
K≠
J≠
≠4 ≠2 0 2 4≠4
≠2
0
2
4Im � > 0 Im � < 0
C+ = J� � J0 + J+ C� = J� + J0 + J+
The integral is on a Stokes line and the intersection numbers depend on the deformation. Ending result of the integral will eventually be unambiguous
There are “non-perturbative” contributions
![Page 12: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/12.jpg)
12
Borel Sums
Z�(�) ⌘1p�
Z
J�
dz g(z) e�f(z)/�
can be computed using a saddle-point expansion. Resulting series is asymptotic
Z(�)�NX
n=0
Zn�n = O(�N+1) , as � ! 0
Borel transform to reconstruct function: assume Zn ⇠ n!annc
If no singularities for t>0 and under certain assumptions
ZB(�) = Z(�)
BbZ(t) =1X
n=0
Zn
�(n+ b+ 1)tn ZB(�) =
Z 1
0dt e�ttbBbZ(t�)
(Borel Le Roy function)
![Page 13: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/13.jpg)
13
Analytic structure of Borel function close to the origin can be determined by the large-order behaviour of the series coefficients
Singularity dangerous or not depending on the sign of a:
a>0 (same sign series) singularity for t>0
😀a<0 (alternating series) singularity for t < 0
☹
Lateral Borel summation: move the contour off the real positive axis to avoid singularity for t>0.
Result is ambiguous and ambiguity signals presence of non-perturbative contributions to Z not captured by ZB
Deformation to define the lateral Borel sum corresponds to the one we did to avoid Stokes line
for Zn ⇠ n!an, B0Z(t) =P
n(at)n ⇠ 1
1�at
![Page 14: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/14.jpg)
14
Thimbles are Borel Resummable
Z�(�) ⌘1p�
Z
J�
dz g(z) e�f(z)/�
is Borel resummable to the exact result.
Proof: Change variable t =f(z)� f(z�)
�
Z�(�) = e�f(z�)
�
Z 1
0dt t�1/2 e�tB�(�t) B�(�t) ⌘
X
k=1,2
g(zk(�t))
|f 0(zk(�t)|p�t .
For any z 2 J�, t is real and non-negative
By definition, on a thimble f 0(z) 6= 0 for z 6= z� =) B�(t) regular for t > 0
But this is exactly the expression one would get by considering the Borel transform with b=-1/2!
q.e.d.
[Berry, Howls 1991]
![Page 15: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/15.jpg)
15
Summarizing
Z(�) ⌘ 1p�
Z 1
�1dx g(x) e�f(x)/� =
X
�
n
�
Z
�
(�)
Each Z�(�) is Borel resummable to the exact result
1 saddle contributes: Z(�) reconstructable from perturbation theory
More saddles contribute: Z(�) given by multi-series
(non-perturbative corrections)
Example first case:f(x) =
1
2x
2 +1
4x
4
Zn =p2(�)n
�(2n+ 12 )
n!B�1/2Z(t) =
s1 +
p1 + 4t
1 + 4t
Z 1
0dt t�
12 e�tB�1/2Z(�t) =
1p2�
e18�K 1
4
⇣ 1
8�
⌘
Exact result
![Page 16: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/16.jpg)
16
Example second case:f(x) = �1
2x
2 +1
4x
4
Z±,n =��2n+ 1
2
�
n!Coefficients at minima:
Coefficients at maximum: iZ0,n
B�1/2Z±(�t) =
s1 +
p1� 4�t
2(1� 4�t)
For real � B�1/2Z not Borel resummable
Recall we need Im � 6= 0 to avoid Stokes line
The thimble decomposition instructs us how to consistently perform lateral Borel sums and consistently sum up the different contributions:
Z�(�)� Z0(�) + Z+(�)
Z�(�) + Z0(�) + Z+(�)
Im � > 0
Im � < 0
Exact result
=⇡p4�
e18�
I� 1
4
✓1
8�
◆+ I 1
4
✓1
8�
◆�
![Page 17: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/17.jpg)
17
Exact Perturbation TheoryWhen the decomposition in thimbles is non-trivial, the
intersection numbers have to be determinedn�
This is easy for one-dimensional integrals, but very complicated in the path integral case, where in general they will be infinite
Key idea: the thimble decomposition can be modified by a simple trick
The decomposition of the integral Z in terms of thimbles is governed by the function f(z) and not by g(z). Define
Z(�,�0) ⌘1p�
Z 1
�1dx e
�f(x)/�g(x,�0)
f(x) ⌘ f(x) + �f(x) , g(x,�0) ⌘ g(x)e�f(x)/�0 lim|x|!1
�f(x)
f(x)= 0
By construction
Z(�,�0 = �) = Z(�)
![Page 18: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/18.jpg)
18
Saddle-point expansion in � at fixed �0:
�f in
ˆf : “classical” deformation
�f in g: “quantum” deformation”
Thimble decomposition is determined by f
By a proper choice of �f , we can generally trivialize the thimble decomposition
=) one real saddle and no need to deform the contour of integration
Series expansion of
ˆZ(�,�0) in � at fixed �0:
Exact Perturbation Theory (EPT)
Non-perturbative contributions of Z are all contained in the perturbative expansion of Z
![Page 19: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/19.jpg)
19
f(x) = �1
2x
2 +1
4x
4Consider again
�f(x) = x
2
ˆ
f(x) =
1
2
x
2+
1
4
x
4, g(x,�0) = exp
⇣� x
2
�0
⌘
and choose so that
Only saddle at origin contributes. We have
B�1/2Z(�t,�0) =
s1 +
p1 + 4�t
1 + 4�te
p1+4�t�1
�0
Z 1
0dt t�
12 e�tB�1/2Z(�t,�)
Exact result is now completely perturbative
=⇡p4�
e18�
I� 1
4
✓1
8�
◆+ I 1
4
✓1
8�
◆�
![Page 20: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/20.jpg)
20
Path Integral These results can be generalized to higher-dimensional integrals
Z�(�) = ��n/2
Z
J�
dz g(z) e�f(z)/�
Z�(�) = e�f(z�)/�
Z 1
0dt tn/2�1 e�t B�(�t) ,
B�(�t) ⌘ (�t)1�n/2
Z
J�
dz g(z) �[f(z)� f(z�)� �t]
= (�t)1�n/2
Z
⌦�t
d⌃g(z)
|rf(z)|
![Page 21: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/21.jpg)
21
We can take the continuum for the path integral case.
Consider quantum mechanics where divergencies are all reabsorbed by the path integral measure (UV limit not expected to be problematic)
Z(�) =
ZDx(⌧)G[x(⌧)]e�S[x(⌧)]/�
S[x] =
Zd⌧
1
2x
2 + V (x)
�
V (x) analytic function of x
V (x) ! 1 for |x| ! 1Discrete spectrum
If the action S[x(⌧)] has only one real saddle point x0(⌧), the formal series
expansion of Z(�) around � = 0 is Borel resummable to the exact result.
Key result:
![Page 22: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/22.jpg)
22
Remarks: 1. Number of saddles depends on boundary conditions
and the infinite time limit 2. Depending on the system, some observables are, and
some other are not, Borel reconstructable
If V admits only one minimum, the above subtleties do not arise.
Like in the one-dimensional case, we can define an EPT as follows
V = V0 +�V
1. V0 has a single non-degenerate critical point (minimum);
2. lim|x|!1 �V/V0 = 0 .
Suppose such that
Z(�,�0) =
ZDx G[x] e
Rd⌧ �V�0
e
�S0�, S0 ⌘
Zd⌧
1
2x
2 + V0
�
Z(�,�) = Z(�)
![Page 23: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/23.jpg)
23
ˆZ is guaranteed to be Borel resummable to the exact answer
All observables in a quantum mechanical system with a bounded potential can be entirely computed
from a single perturbative series (EPT)
We have then proved the statement made at the beginning:
(provided points 1. and 2. above apply)
No need of resurgence, thimble decomposition, trans-series.
Even observables in systems known to have instanton corrections will be reconstructed by a single perturbative series
Time to show explicit results
We will denote by Standard Perturbation Theory (SPT) the usual perturbative computation (instantons included)
Large arbitrariness in the choice of EPT. In principle all choices equally good, although in numerical studies some choices better than others
![Page 24: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/24.jpg)
24
ExamplesNumerical analysis to test our results. We compute N orders using package
Pade
Results are compared with other methods (such as Rayleigh-Ritz) to get exact answers in QM
V (x;�) =1
2x
2 + ↵
p�x
3 +�
2x
4
For |↵| < 2
p2/3 V has a unique minimum at x = 0
In principle no need of EPT, being SPT Borel resummable
Yet, EPT greatly improves the accuracy of result at a given order in perturbation theory
[Sulejmanpasic, Unsal, 1608.08256]
At fixed order N of perturbative terms, we use approximants for the Borel function, that is then numerically integrated.
![Page 25: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/25.jpg)
25
V0 =1
2x
2 +�
2x
4, �V = ↵�
3/2x
3
SPT
EPT
200 300 400 500 60010
-41
10-31
10-21
10-11
N
E0/E
0
= 1/20
SPT
EPT
200 300 400 500 60010
-30
10-20
10-10
1
NE
0/E
0
= 5
At weal coupling SPT better than EPT, viceversa at strong coupling, where SPT is inaccurate
![Page 26: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/26.jpg)
26
Symmetric double well
V =�
2
✓x
2 � 1
4�
◆2
Prototypical system where instanton occurs. Write
V0 =⇣ 1
32�+
�0
2x
2 +�
2x
4⌘, �V = �
⇣�0 +
1
2
⌘x
2
2
Already at small coupling, EPT is able to resolve the instanton contribution to the ground state energy.
At � = �0 = 1/25, N = 200
�E0
E0⇡ 10�8 �E1
E1⇡ 4 · 10�14
Einst0 ⇡ 2p
⇡�e�
16� ⇡ 0.087
![Page 27: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/27.jpg)
27
At larger values of the coupling, instanton computation breaks down
EPT works better and better
No need of many perturbative terms.
With just 2 (using a conformal mapping method) at � = 1 we get
�E0
E0' 3%
We have also computed higher energy states and eigenfunctions. In all cases EPT give excellent agreement with other methods. No
signal of missing non-perturbative contributions.
![Page 28: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/28.jpg)
28
SUSY double well
V (x;�) =�
2
⇣x
2 � 1
4�
⌘2+
p�x
Notable tilted double well:
E0 = 0 to all orders in SPT due to SUSY
Potential one obtains integrating out fermions in SUSY QM
E0 6= 0Yet, by instanton effects that dynamically break supersymmetry
![Page 29: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/29.jpg)
29
We can approach this system in three ways:
1. ordinary instanton methods, SPT
[Jentschura, Zinn-Justin, hep- ph/0405279]
3. EPT
V0 =⇣ 1
32�+
�0
2x
2 +�
2x
4⌘, �V =
�0p�
x�⇣�0 +
1
2
⌘x
2
2
2. Turn the quantum tilt into classical. Alternative perturbation theory (APT), sort of inverse of EPT
VAPT =�
2
⇣x
2 � 1
4�
⌘2+
�0p�
x
![Page 30: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/30.jpg)
30
×××
××××××××××××××××××××
×××××
×+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +SPT APT
EPT
10 -2 0.1 1 10 10010 -40
10 -30
10 -20
10 -10
1
λ
ΔE
0/E0
×××××××××××××××
×××××××××××××××××
+++++ + + + + + + + + + + + + + + + + + + + + + + + + + + + +1
10 -5
10 -10
10 -15
E0
N=200
![Page 31: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/31.jpg)
31
V fv (x;1)
Vfv (x;1,∞)
E0fv
E0fv (EPT)
E0fv
- 1 0 1 2- 2.0
- 1.5
- 1.0
- 0.5
0.0
0.5
1.0
x
V(x)
False vacuum
![Page 32: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/32.jpg)
k E(4)k
�E(4)k
/E(4)k
E(6)k
�E(6)k
/E(6)k
0 1.0603620904 3 · 10�45 0.5724012268 2 · 10�19
1 3.7996730298 2 · 10�44 2.1692993557 3 · 10�19
2 7.4556979379 9 · 10�37 4.5365422804 9 · 10�17
3 11.6447455113 4 · 10�36 7.4675848174 7 · 10�16
4 16.2618260188 4 · 10�36 10.8570827110 2 · 10�16
Table 2: Energy eigenvalues E(2`)k and the corresponding accuracies �E(2`)
k /E(2`)k of the first five levels
of the pure anharmonic x4 and x6 potentials, computed using EPT with N = 200. Only the first tendigits after the comma are shown (no rounding on the last digit).
of the pure x4 and x6 oscillators computed comparing EPT to the results from RR methods.
We used N = 200 orders of perturbation theory and in eq.(4.19) we chose c1 = 2 for ` = 2 and
c1 = 4, c2 = 2 for ` = 3. Notice the accuracy of E(4)0 up to 45 digits! At fixed N , similarly to the
RR method, the accuracy decreases as the energy level and the power ` in eq.(4.18) increase (in
contrast to the WKB method where the opposite occurs) All the energy eigenvalues reported
in table 2 are in agreement with those reported in table 1 of ref. [39], tables I and II of ref. [38]
and table 2 of ref. [29], in all cases computed with less precision digits than our results.14 The
accuracy of our results sensibly depend on the choice of the coe�cients cj
in eq.(4.19). We have
not performed a systematic search of the optimal choice that minimizes the errors, so it is well
possible that at a fixed order N a higher accuracy than that reported in tab. 2 can be achieved.
5 Conclusions and Future Perspectives in QFT
In this paper we have studied one-dimensional QM systems with bounded potentials and discrete
spectra. When the potential admits only one extremum (minimum), we have shown that the
loopwise expansion in the euclidean path integral is Borel resummable and reproduces the full
answer. Several known results in the literature about the Borel summability of certain QM
systems, such as the quartic anharmonic oscillator [2, 3], are rederived and generalized in this
new perspective.
A properly defined perturbative expansion (EPT) allows us to extend the above result to po-
tentials admitting more than one extremum. Remarkably, EPT encodes all the non-perturbative
corrections of the ordinary (SPT) perturbative semi-classical expansion, providing the full an-
swer for any value of the coupling constant. In particular, EPT works at its best at strong
coupling, where the high accuracy obtained confirms its validity. All complications occurring in
SPT, related to the need of a resurgence analysis to make sense of otherwise ambiguous results,
or of a highly non-trivial Lefschetz thimble decomposition of the path integral, are bypassed
14Note however that the numerical computations based on the Rayleigh-Ritz methods remain superior for thesesimple potentials.
35
Pure anharmonic potentials:
H = p2 + x2l
Usual perturbation theory breaks down
32
![Page 33: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/33.jpg)
Conclusions and future perspectives
Is it possible to get the same results directly in Minkowski space?
We have introduced a new perturbation theory in quantum mechanics (EPT) that allows us to compute observables perturbatively
No need of trans-series and to worry for possibly ambiguous results (possible addressed by resurgence or by thimble decomposition)
Generalize to higher dimensional QM systems
33
![Page 34: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/34.jpg)
Is renormalization an issue?
Borel summability of theories suggest a promising development in QFT and is the next thing to do
What about QFT?
A new approach to strongly coupled physics has begun …
34
UV problem
Infinite volume limit, spontaneous symmetry breaking? IR problem
�42,3
![Page 35: The Power of Perturbation Theorywebtheory.sns.it/seminars1617/serone.pdfMarco Serone, SISSA, Trieste February 2017 The Power of Perturbation Theory 1 based on 1612.04376 and to appear,](https://reader036.fdocuments.us/reader036/viewer/2022063004/5f9294d8f7d56b4457309f18/html5/thumbnails/35.jpg)
Thank You
35