Resurgence in Quantum Theories: Resurgence Real Transseries - - PowerPoint PPT Presentation

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence in Quantum Theories: Perturbative Theory and Beyond

Inˆ es Aniceto

(Based on ongoing work with R. Schiappa and M. Vonk, 1106.5922 and 1308.1115)

University of Minnesota, 21 November 2013

(21 November) Resurgence in Quantum Theories 1 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Perturbation Theory & Asymptotic Series

Perturbation theory: fundamental in computations of

◮ ground-state energies in quantum mechanics ◮ beta-functions in quantum field theory ◮ genus expansions of string theory ◮ large N expansion of non-abelian gauge theories

· · · BUT... most perturbative expansions are asymptotic, i.e. zero radius of convergence!

◮ Why? existence of singularities in the complex Borel plane,

usually related to

◮ instantons ◮ renormalons (21 November) Resurgence in Quantum Theories 2 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Perturbation Theory

Perturbative expansion of quantity F(z) in parameter z ∼ ∞ F(z) ≃

• g≥0

Fg z−g−1 , Asymptotic series: Fg ∼ g!

◮ How to find F(z)?

◮ Borel transform B[F]: ”

remove”the factorial growth

◮ Analytically continue B[F] to full complex plane ◮ Define resummation SF by the inverse Borel transform

◮ BUT: SF is just a Laplace transform - needs an integration

contour to be properly defined! What happens when the contour of integration meets a singularity in the complex plane?

(21 November) Resurgence in Quantum Theories 3 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Perturbation Theory

Perturbative expansion of quantity F(z) in parameter z ∼ ∞ F(z) ≃

• g≥0

Fg z−g−1 , Asymptotic series: Fg ∼ g!

◮ How to find F(z)?

◮ Borel transform B[F]: ”

remove”the factorial growth

◮ Analytically continue B[F] to full complex plane ◮ Define resummation SF by the inverse Borel transform

◮ BUT: SF is just a Laplace transform - needs an integration

contour to be properly defined!

◮ If we have a singularity in the complex Borel plane:

Nonperturbative ambiguity: ambiguity in choosing how integration contour will avoid the singularity

(21 November) Resurgence in Quantum Theories 3 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Aside: Borel Transform & Resummation

Asymptotic series: F(z) ≃

• g≥0

Fg z−g−1 , with Fg ∼ g!

◮ Borel transform:

B[F](s) =

∞

• g=0

Fg g! sg Rule: B

• 1

zα+1

• (s) = sα/Γ(α + 1)

◮ finite radius of convergence - find function B[F](s) ◮ In general B[F](s) will have singularities

◮ Borel resummation of F is the Laplace transform

SF(z) = ˆ ∞ ds B[F](s)e−s z

(21 November) Resurgence in Quantum Theories 4 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Nonperturbative Ambiguity

Borel resummation of F along direction θ is the Laplace transform SθF(z) = ˆ eiθ∞ ds B[F](s)e−s z

◮ Take B[F](s) with singularities in direction θ:

Nonperturbative ambiguity:

◮ B[F](s) ∼

1 s−A in direction θ

S+F(z) − S−F(z) ∼ exp (−z)

◮ around z ∼ ∞ this is non-analytic ◮ Singularities in the Borel plane occur along Stokes lines

Perturbative series is non-Borel resummable along Stokes lines

(21 November) Resurgence in Quantum Theories 5 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Example: Reality of the Airy Function

Airy differential equation

Z”(κ) − κZ(κ) = 0

Objective: finding a real solution in the whole real line κ ∈ R

◮ First look at κ > 0:

ZAi(κ) = 1 2√πκ1/4 e− 1

2 Aκ3/2Φ−1/2(κ) ◮ Φ−1/2 is an asymptotic expansion ◮ ZAi(κ) is Borel resummable at κ > 0 ◮ Can we analitically continue the solution to κ < 0?

No! Φ−1/2(κ) has a pole in Borel plane before κ < 0!

(21 November) Resurgence in Quantum Theories 6 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Example: Reality of the Airy Function

Airy differential equation

Z”(κ) − κZ(κ) = 0

Objective: finding a real solution in the whole real line κ ∈ R

◮ We need to understand how to reach κ < 0

ZAi(κ = eiθ)

θ = 2 π 3

?

◮ We start with ZAi for κ > 0 ◮ Analytically continue until

arg κ = 2π

3

◮ Pole in the Borel plane! ◮ ZAi is asymptotically same

before and after

◮ We need to understand how to

jump the dicontinuous direction

(21 November) Resurgence in Quantum Theories 6 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Beyond Perturbation Theory?

How can we make sense out of perturbation theory?

(21 November) Resurgence in Quantum Theories 7 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Beyond Perturbation Theory?

Learn from the example of anharmonic potential in QM

[Vainshtein’64, Bender,Wu’73] ◮ Coefficients of perturbative series of ground-state energy obey

Fg ∼ g! A−g , g ≫ 1

◮ Borel plane: singularity in positive real axis, governed by real

instanton action A

◮ Resummation along real axis leads to a nonperturbative ambiguity

BUT: not only the perturbative sector which has an ambiguity!!!

◮ Perturbatively expand around a fixed multi-instanton sector

n − instanton sector: F (n)(z) = e−nAz F (n)

g z−g

Expansion is also asymptotic, with large-order behaviour F (n)

g

∼ g! n A−g , g ≫ 1 Any multi-instanton series suffers from nonperturbative ambiguities!

(21 November) Resurgence in Quantum Theories 7 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Problem or Solution?

◮ Multi-instanton series suffers from nonperturbative ambiguities! ◮ In most cases there is an infinite number of instanton sectors...

Seems to make the problem with perturbation theory even worse!

◮ BUT: for the ground state energy of double-well potential [Bogomolny,Zinn-Justin,’80-83]

◮ ambiguity in 2-instanton sector precisely cancels ambiguity in

perturbative expansion

◮ ambiguity in 3-instanton sector cancels ambiguity in

1-instanton sector

◮ · · ·

Multi-instantonic ambiguities are the solution to our problem!

(21 November) Resurgence in Quantum Theories 8 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Beyond Perturbation Theory!

Ground-state energy = sum over all multi-instanton sectors

◮ usual asymptotic perturbative expansion ◮ all asymptotic expansions around each nonperturbative (instanton)

sector Ambiguities arising in different sectors will conspire to cancel each other The final result is real and free from any nonperturbative amiguities! How to implement this sum? Transseries ansatz! Transseries: formal power series in two or more variables, each a function of the parameter z

F(z, σ) =

• n≥0

σnF (n)(z) , F (n)(z) ≃ e−nAz

g≥1

F (n)

g

z−g

◮ our case has e−Az and z ◮ σ: instanton counting parameter

(21 November) Resurgence in Quantum Theories 9 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Ambiguities along Stokes lines

◮ Nonperturbative ambiguity of F(z) along a Stokes line:

◮ B[F] has singularities along corresponding singular direction θ ◮ Lateral Borel resummations Sθ±F differ

(Sθ+ − Sθ−) F = 0

◮ BUT: these lateral resummations are still related via the Stokes

automorphism Sθ: Sθ+F = Sθ− ◦ SθF

◮ Discontinuity in the direction θ of the Borel transform:

Sθ = 1 − Discθ

◮ Sθ = 1 encodes information on the Stokes transition at θ ◮ Determined up to unknowns called Stokes Constants Sk ◮ How? Via Alien Calculus and Resurgence

Determine the nonperturbative ambiguities using the Stokes automorphism

(21 November) Resurgence in Quantum Theories 10 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence [´

Ecalle’81]

The cancelation of nonperturbative ambiguities in multi-instanton sectors is but an example of a larger structure behind perturbation theory! Resurgence analysis and Transseries Given a transseries:

F(z, σ) =

• n≥0

σnF (n) , F (n)(z) ≃ e−nAz

g≥0

F (n)

g z−g

defines a resurgent function if it relates the asymptotics of multi- instanton contributions F (ℓ)

n

in terms of F (ℓ′)

n

where ℓ′ is close to ℓ How does it work?

(21 November) Resurgence in Quantum Theories 11 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence at play[IA,Schiappa,Vonk’11]

A A 2 A 3 A 4 A 5 A ... Instanton

Instanton action singularities Multi-instanton singularities

Singularities in the Borel Plane

(21 November) Resurgence in Quantum Theories 12 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence at play[IA,Schiappa,Vonk’11]

A A 2 A 3 A 4 A 5 A

...

Perturbative series: Instanton series:

Multi-instanton asymptotic series

Fnz enA z

g1

• Fg

n zg

F0z

g0

• Fg

0 zg1

F1 F2 F3 F4 F5 F1 Fz

n0

• Σn Fnz

(21 November) Resurgence in Quantum Theories 12 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence at play[IA,Schiappa,Vonk’11]

A A 2 A 3 A 4 A 5 A

...

Large-order behaviour (g >>1): Use Cauchy's Theorem for each Fnz Fz 1 2 Πi

Disc0 FΩ

Ω z Ω 1 2 Πi

DiscΠ FΩ

Ω z Ω

F1 F2 F3 F4 F5

(21 November) Resurgence in Quantum Theories 12 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence at play[IA,Schiappa,Vonk’11]

...

Large-order behaviour - Perturbative series for large g

F1 F2 F3 F4 F5

Fg

0S1 n0

ang Fn

1 2g S1 2 n0

bng Fn

2 ...

Fg

S1 Fn

1

S1

2

2g Fn

2

S1

3

3g Fn

3

S1

4

4g Fn

4

S1

k

kg Fn

k

...

All multi-instanton sectors contribute to the large-order behavior of coefficients Fg

(21 November) Resurgence in Quantum Theories 12 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence at play[IA,Schiappa,Vonk’11]

...

Equivalently: Perturbative series for large g ENCODES all other sectors

F1 F2 F3 F4 F5

Fg

0S1 F1 1

A g 1 F2

1 ... O2g

Fg

S1 F1

1 ...

From the leading large g behaviour of Fg

0:

determine F1

1, F2 1, ...

(21 November) Resurgence in Quantum Theories 12 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence at play[IA,Schiappa,Vonk’11]

...

Equivalently: Perturbative series for large g ENCODES all other sectors

F2 F3 F4 F5

Fg

0 S1 n0

ang Fn

12g S1 2 F1 2 2 A

g 1 F2

2 ... O3g

Fg

S1

2

2g F1

2 ...

Re-summing results for F1: next leading behaviour: determines F1

2, F2 2, ...

F1

(21 November) Resurgence in Quantum Theories 12 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence at play[IA,Schiappa,Vonk’11]

...

Large-order behaviour - 1-instanton series for large g

F2 F3 F4 F5

Fg

1 S1 Fn

2

S1

2

2g Fn

3

S1

3

3g Fn

4

S1

k

kg Fn

k1

...

Fg

1S1 n0

ang Fn

2 2g S1 2 n0

bng Fn

3 ...

(21 November) Resurgence in Quantum Theories 12 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence at play[IA,Schiappa,Vonk’11]

...

Large-order behaviour - 2-instanton series for large g

F3 F4 F5 fSΓ 1g Fn

1

S1 Fn

3

S1

2

2g Fn

4

S1

k

kg Fn

k2

...

Fg

2S1 ang Fn 3 2g S1 2 bng Fn 4 1g fSΓ cng Fn 1 ...

F1

Fg

2

...

(21 November) Resurgence in Quantum Theories 12 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence at play[IA,Schiappa,Vonk’11]

Large order behaviour r instanton series for large g

Fg

r f1SΓ 1g Fn

r1

fkSΓ kg Fn

rk

...

S1

2

2g Fn

r2

... ... ...

S1 Fn

r1

S1

k

kg Fn

kr

Fg

rS1 a1g F1 3 1g f1SΓ c1g F1 r1 ...

(21 November) Resurgence in Quantum Theories 12 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence at play[IA,Schiappa,Vonk’11]

3 Ak 2 Ak Ak A1 2 A1 3 A1

...

A1 2 A2 3 A3

...

Ak 2 Ak 3 Ak

... ...

Fg

ri

... ... Several instanton Actions : Ak Ak ei Θk

(21 November) Resurgence in Quantum Theories 12 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Cancelling Ambiguities!

We are now ready to see how non-perturbative ambiguities cancel!

(21 November) Resurgence in Quantum Theories 13 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Recall: Ambiguities along Stokes lines

◮ Nonperturbative ambiguity of F(z) along a Stokes line:

◮ B[F] has singularities along corresponding singular direction θ ◮ Lateral Borel resummations Sθ±F differ

(Sθ+ − Sθ−) F = 0

◮ Lateral resummations are related via the Stokes automorphism Sθ

Determine the nonperturbative ambiguities using the Stokes automorphism

(21 November) Resurgence in Quantum Theories 14 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Median Resummation

◮ Re-write the lateral Borel resummations as

S± = 1 2 (S+ + S−) ± 1 2 (S+ − S−)

◮ To cancel ambiguities set

S+ − S− ∼ 0 at the level of the transseries

◮ We are left with an unambiguous result given by

Smed ∼ 1 2 (S+ + S−) which is just the median resummation!

◮ In terms of Stokes automorphism: [Delabaere,Pham,’99]

Smed = S+ ◦ S−1/2

θ

= S− ◦ S1/2

θ

Note: For multi-parameter transseries, appearance of extra singularities and Stokes constants severely increases difficulty [IA,Schiappa,’13]

(21 November) Resurgence in Quantum Theories 15 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Constructing a real Transseries F(z, σ)

◮ Physical set-up for coupling z real positive: [IA,Schiappa,’13]

◮ Stokes line in the positive real axis: θ = 0 - singular direction ◮ Coefficients of transseries F (n)

g

real

◮ Nonperturbative ambiguities for each F (n) are imaginary

ImF (n) = 1 2i (S+ − S−) F (n)

(21 November) Resurgence in Quantum Theories 16 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Real Transseries: cancelations

Constructing the real transseries

We want to cancel the ambiguities coming from perturbative expansion:

F0 Fz, Σ 0

(21 November) Resurgence in Quantum Theories 17 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Real Transseries: cancelations

F0 e F0 i m F0

Constructing the real transseries

Where the nonperturbative ambiguity of F0 is: 2 i m F0

m1

• S1m Fm

S1 e F1 1 2 S13 e F3 S15 e F5 ...

(21 November) Resurgence in Quantum Theories 17 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Real Transseries: cancelations

F0 e F0 1 2 S1 e F1 1 4 S13 e F3 ...

Constructing the real transseries

1 2 S1 F1 1 2 S1 e F1 i 2 S1 m F1

To cancel the first imaginary term we need to add

(21 November) Resurgence in Quantum Theories 17 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Real Transseries: cancelations

e F0 1 4 S13 e F3 i 2 S1 m F1 ...

Constructing the real transseries

F0 1 2 S1 F1

||

Nonperturbative ambiguity of F1 is: 2 i m F1Α e F2 Β e F3 ...

(21 November) Resurgence in Quantum Theories 17 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Real Transseries: cancelations

e F0 1 2 S12 e F2 1 4 S13 e F3 1 2 S14 e F4 ...

Constructing the real transseries

F0 1 2 S1 F1

||

Second imaginary term we need cancel against

Α F2 Α e F2 Α i m F2 Β F3 Β e F3 Β i m F3

(21 November) Resurgence in Quantum Theories 17 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Real Transseries: cancelations

Constructing the real transseries

Repeating the same procedure iteratively, we finally find the real transseries:

...........

Fz, Σ 0

n0 S1n

2n Fn Fz, 1 2 S1

(21 November) Resurgence in Quantum Theories 17 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Constructing a real Transseries F(z, σ)

◮ Physical set-up for coupling z real positive: [IA,Schiappa,’13]

◮ Stokes line in the positive real axis: θ = 0 - singular direction ◮ Coefficients of transseries F (n)

g

real

◮ Nonperturbative ambiguities for each F (n) are imaginary

ImF (n) = 1 2i (S+ − S−) F (n)

◮ Canceling these defines an unambiguous real transseries in the

positive real axis FR(z, σ) = SmedF = S−F(z, σ + 1 2S1) = ReF (0) + σReF (1) +

• σ2 − 1

2S2

1

• ReF (2) + · · ·

where σ ∈ R and S1 is Stokes constant.

All instanton sectors contribute! Even when σ = 0 ...

(21 November) Resurgence in Quantum Theories 18 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Airy Function - Asymptotic Solutions

Airy differential equation

Z”(κ) − κZ(κ) = 0

Two independent solutions

ZAi(κ) = 1 2√πκ1/4 e− 1

2 Aκ3/2Φ−1/2(κ);

ZBi(κ) = 1 2√πκ1/4 e+ 1

2 Aκ3/2Φ+1/2(κ),

◮ Instanton action: A = 4/3 ◮ Asymptotic expansions:

Φ±1/2(κ) ≃

• n≥0

(∓1)n anκ− 3

2 n

◮ ”

Physical”variable: κ

◮ ”

Working”variable: z = κ3/2 Transseries solution: Z(κ, σ1, σ2) = σ1 ZAi(κ) + σ2 ZBi(κ)

(21 November) Resurgence in Quantum Theories 19 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Aside - Steepest descent contours

Airy partition function ZΓ(λ) = ˆ

Γ

dx e−V (x) , V (x) = −κ x + 1 3x3

◮ Γ passes through saddle point x∗ Ai = −eiκ/2 (x∗ Bi = eiκ/2) ◮ infinite oriented path of steepest descent

Im (V (x) − V (x∗)) = 0

◮ Changing κ = eiθ leads to different paths: choose Γ s.t.

Re (V (x) − V (x∗)) > 0 for x large

Moving in κ space: Stokes phenomena

Π 6 Π 3 2 Π 3 5 Π 6 Π

(21 November) Resurgence in Quantum Theories 20 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Airy Function- Stokes Automorphism

Transseries solution: Z(z = k3/2, σ1, σ2) = σ1 ZAi(z) + σ2 ZBi(z) Two Stokes transitions in singular directions arg z = 0, π

S0Z(z, σ1, σ2) = Z (z, σ1 − i σ2, σ2) SπZ(z, σ1, σ2) = Z (z, σ1, σ2 − i σ1)

In the ” physical”variable κ, Stokes lines unfold:

Stokes line at arg z = 0 ⇒ Stokes lines at arg κ = 0, 4π 3 , 2π 3 Stokes line at arg z = π ⇒ Stokes lines at arg κ = 2π 3 , 0, 4π 3

(21 November) Resurgence in Quantum Theories 21 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Airy Function- ” Physical”vs ” Working

Stokes line at arg z = 0 ⇒ Stokes lines at arg κ = 0, 4π 3 , 2π 3 Stokes line at arg z = π ⇒ Stokes lines at arg κ = 2π 3 , 0, 4π 3

Π Π Π

Objective: Real solution in whole real line, i.e. for arg κ = 0, π

(21 November) Resurgence in Quantum Theories 22 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Airy Function- Real Transseries

Objective: Real solution in whole real line, i.e. for arg κ = 0, π

◮ At arg κ = 0:

◮ Stokes line! ◮ Cancel the non-perturbative ambiguity to obtain real solution ◮ Type of transition S0Z(z, σ1, σ2) = Z (z, σ1 − i σ2, σ2)

◮ Median resummation (Smed

≡ S0+ ◦ S−1/2 )

ZR+ (z, σ1, σ2) = Smed Z (z, σ1, σ2) = S0+Z

• z, σ1 + i

2σ2, σ2

• ◮ Choose σ1 = 1, σ2 = 0: usual Airy function solution

ZR+(z) ≡ S0+Z (z, 1, 0) = S0+Z (z, 1, 0) = S0+ZAi (z)

(21 November) Resurgence in Quantum Theories 23 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Airy Function- Real Transseries

Objective: Real solution in whole real line, i.e. for arg κ = 0, π

◮ At arg κ = 0:

ZR+(κ) ≡ S0+Z (κ, 1, 0) = S0+ZAi (κ)

◮ At arg κ = π:

◮ No Stokes line... ◮ ... but we cross one at arg κ = 2π/3! ◮ type of transition:

SπZ(z, σ1, σ2) = Z (z, σ1, σ2 − i σ1)

Π Π Π

◮ At arg κ =π:

ZR−(κ) ≡ SπZ (κ, 1, −i) = SπZAi (κ) − i SπZBi (κ) =

• αn cos (Θ + (−1)nπ/4)

Solution is real in the whole real line, defined by ZR±(κ)

(21 November) Resurgence in Quantum Theories 23 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Resurgence & large-N duality:Quartic MM

One-matrix model partition function (N × N matrix M) Z(N, gs) ∝ ˆ dM exp

• − 1

gs TrV (M)

• ,

V (z) = 1 2z2 − 1 24λz4 Free energy has perturbative genus expansion (t = gsN) F ≃

• g≥0

Fg(t) g 2g−2

s

◮ Full nonperturbative solution include all backgrounds:

Z(σ1, σ2, σ3) =

• N1+N2+N3=N

σN1

1 σN2 2 σN3 3 Z(N1, N2, N3)

◮ Expand around background (instanton sector) {N∗

i } in gs

◮ Start: 1-cut background [David’91]

◮ Perturbative configuration: all N eigenvalues in cut C ◮ instanton corrections: eigenvalues in other saddles

◮ Resurgence: transseries with σ1, σ2, reach other sectors in gs plane

(21 November) Resurgence in Quantum Theories 24 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Phase Diagram & Large-N Duality

P1 P2 I II 2 1 1 2 1 1 2

[Bertola’07, Bertola, Tovbis’11] [IA,Schiappa,Vonk’13] ◮ light red: Stokes regions, standard

large N expansion

◮ I: 1-cut solution is dominant ◮ II: 2-cut sym solution dominant

◮ blue: anti-Stokes region,dominated

by 3-cuts solution, oscillatory behaviour; no genus expansion

◮ gray: 1-cut unstable configuration ◮ Re line in I and II: Stokes lines, exponentially supressed saddles are

as suppressed as possible

◮ Im line in blue region: anti-Stokes lines, 3 cuts with same size ◮ P1 (P2): DSL described by Painlev´

e I - 2d gravity (II - 2d sugra)

Ongoing work: how to jump across these regions? Resurgence!

(21 November) Resurgence in Quantum Theories 25 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Applications

◮ Exact quantisation conditions in QM:[Voros,Zinn-Justin,...]

◮ Orginally derived via WKB and Bohr-Sommerfeld; ◮ New developments using resurgent analysis

[Basar,Dunne,¨ Unsal,’13] ◮ In quantum field theory:[Dunne,¨ Unsal et al,’11-13]

◮ Semi-classical description of renormalons found; ◮ Problematic as their singularities are dominant compared to

instantons;

◮ In Principal Chiral Model other semi-classical descriptions

have also been found: unitons and fractons.

◮ String theory and Large-N duality:[Mari˜ no;IA,Schiappa et al,’10-13]

◮ Study of large order behaviour in string theory and large N

random matrix models

◮ Topological strings and Holomorphic Anomaly ◮ Large−N duality: phase diagram of matrix models and the

genus expansion

(21 November) Resurgence in Quantum Theories 26 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Summary and Future directions

Perturbation theory in a QM setting:

◮ All semi-classical sectors had a non-perturbative ambiguity

associated to the corresponding asymptotic series

◮ These ambiguities cancel between each other ◮ A proper way to define perturbation theory is to consider a sum of

all semi-classical sectors in a multi-parameter transseries

◮ The non-ambiguous result is given by the median resummation

Resurgence:

◮ Knowing all semi-classical sectors allows us to define the

non-ambigous result mentioned above via resurgence

◮ Equivalently resurgence tells us that all the other sectors are

encoded in the perturbative series

◮ In many cases we only know the perturbative expansion

◮ We can determine the full multi-instantonic sectors from the

large order behaviour of the perturbative series

(21 November) Resurgence in Quantum Theories 27 / 28

Resurgence in Quantum Theories Motivation Cancelling Ambiguities Resurgence Real Transseries Airy Quartic MM Summary/Future Directions

Summary and Future directions

More Beyond Quantum Mechanics?

The analysis presented works in a general setting, as long as the singularities in the Borel plane have a semi-classical description much like instantons do

QTFs and asymptotically free gauge theories

◮ Description of all singularities as semiclassical data & discovery of

• ther semi-classical objects: unitons and fractons

◮ Towards a nonperturbative definition, starting from perturbative

data, and augmenting them into transseries involving all types of semi-classical data

◮ multi-renormalons, -instantons, -unitons, -fractons, · · ·

String theory and integrable models:

◮ Large-N duality from phase diagram of matrix models ◮ Generalisation to gauge theories via localisation techniques ◮ Other semi-classical constructions: Integrable models?

(21 November) Resurgence in Quantum Theories 28 / 28