Lefschetz-thimble path integral and its physical...

Lefschetz-thimble path integraland its physical application

Yuya Tanizaki

Department of Physics, The University of Tokyo

Theoretical Research Division, Nishina Center, RIKEN

May 21, 2015 @ KEK Theory CenterCollaborators: Takuya Kanazawa (RIKEN)

Kouji Kashiwa (YITP, Kyoto), Hiromichi Nishimura (Bielefeld)

Yuya Tanizaki (University of Tokyo, RIKEN) Lefschetz-thimble path integral May 21, 2015 @ KEK 1 / 41

Motivation

Introduction and Motivation

Motivation

Path integral with complex weights appear in many importantphysics:

Finite-density lattice QCD,spin-imbalanced nonrelativistic fermions

Gauge theories with topological θ terms

Real-time quantum mechanics

Oscillatory nature hides many important properties of partitionfunctions.

Motivation

Example: Airy integralLet’s consider a one-dimensional oscillatory integration:

Ai(a) =

2πexp i

RHS is well defined only if Ima = 0, though Ai(z) is holomorphic.

-8 -6 -4 -2 0 2 4 6 8

’10*’cos(x3/3+x)exp(-0.5x)*cos(x3/3)

Figure : Real parts of integrands for a = 1 (×10) & a = 0.5i

Motivation

Contents

How can we circumvent such oscillatory integrations?⇒ Lefschetz-thimble integrations[Witten, arXiv:1001.2933, 1009.6032]

[YT, Koike, Ann. Physics 351 (2014) 250]

Applications of this new technique for path integralsI Study on phase transitions of matrix models.I Lefschetz-thimble method elucidates Lee-Yang zeros.

[Kanazawa, YT, JHEP 1503 (2015) 044]

I General theorem ensuring that Z ∈ R.Sign problem in MFA can be solved.

I Application of the theorem to the SU(3) matrix model[YT, Nishimura, Kashiwa, arXiv:1504.02979[hep-th], to appear in PRD]

Lefschetz-thimble integrations

Introduction to Lefschetz-thimble integrations

Lefschetz-thimble method= Steepest descent integration

Oscillatory integrals with many variables can be evaluated using the“’steepest descent” cycles Jσ:∫

Rndnx eiS(x) =

∫Jσ

dnz eiS(z).

Jσ are called Lefschetz thimbles, and Im[iS] is constant on it.

nσ: intersection numbers of duals Kσ and Rn.

Example: Airy integral

Airy integral:

Ai(a) =

2πexp i

The integrand is holomorphic w.r.t x⇒ The contour can be deformed continuously without changing thevalue of the integration!

Rewrite the Airy integral

There exists two Lefschetz thimbles Jσ (σ = 1, 2) for the Airyintegral:

Ai(a) =∑σ

∫Jσ

2πexp i

nσ: intersection number of the steepest ascent contour Kσ and R.

Figure : Lefschetz thimbles J and duals K (a = exp(0.1i), exp(πi))

Tips: Airy integral & Airy equation

Let us consider the “equation of motion”:∫dz

dzei(z3/3+az) = 0.

This is nothing but the Airy equation:(d2

da2− a)

Ai(a) = 0.

Two possible integration contours= Two linearly independent solutions of eom.

Generalization to multiple integrals

Model integral:

dx1 · · · dxn expS(xi).

What properties are required for Lefschetz thimbles J ?

1 J should be an n-dimensional object in Cn.

2 Im[S] should be constant on J .

Short note on technical aspects

Complexified variables (a = 1, . . . , n): za = xa + ipa.

Regard xa as coordinates and pa as momenta,so that Poisson bracket is given by

{f, g} =∑a=1,2

∂pa− ∂g

Short note on technical aspects

Hamilton equation with the Hamiltonian H = Im[S(za)]:

df(x, p)

dt= {H, f}

(⇔ dza

dt= −

This is Morse’s flow equation (= gradient flow):

dtRe[S] = −

∣∣∣∣∣(∂S

)2∣∣∣∣∣ ≤ 0

⇒ We can find n good directions for J around saddle points!(This is because a π/2-rot. of coord. around a saddle point multiplies (−1) to an eigenvalue. )

[Witten, 2010]

Multiple integral: Lefschetz-thimble method

Oscillatory integrals with many variables can be evaluated using the“’steepest descent” cycles Jσ:∫

Rndnx eS(x) =

∫Jσ

dnz eS(z).

Jσ are called Lefschetz thimbles, and Im[S] is constant on it.

nσ: intersection numbers of duals Kσ and Rn.

Gross–Neveu-like model

Phase transition associated with symmetry

0-dim. Gross–Neveu-like model

The partition function of our model study is the following:

ZN(G,m) =

∫dψ̄dψ exp

{N∑a=1

ψ̄a(i/p+m)ψa +G

( N∑a=1

ψ̄aψa

ψ, ψ: 2-component Grassmannian variables with N flavors./p = p1σ1 + p2σ2.

Hubbard–Stratonovich transformation

Bosonization (σ ∼ 〈ψψ〉):

ZN(G,m) =

dσ e−NS(σ),

S(σ) ≡ σ2

G− log[p2 + (σ +m)2].

For simplicity, we putm = 0 in the following.

S has three saddle points:

0 =∂S(z)

G− 2z

p2 + z2=⇒ z = 0, ±

√G− p2 .

Behaviors of the flow

Figures for G = 0.7e−0.1i, 1.1e−0.1i at p2 = 1[Kanazawa, YT, arXiv:1412.2802]:

z = 0 is the unique critical point contributing to Z if G < p2.

All three critical points contribute to Z if G > p2.

Stokes phenomenon

The difference of the way of contribution can be described byStokes phenomenon. [Witten, arXiv:1001.2933, 1009.6032]

Figures of G-plane for ImS(0) = ImS(z±) [Kanazawa, YT, arXiv:1412.2802]:

Dominance of contribution

The Stokes phenomenon tells us the number of Lefschetz thimblescontributing to ZN .However, it does not tell which thimbles give main contribution.

ZN ∼ # exp(−NS(0)) + # exp(−NS(z±))

In order to obtain 〈σ〉 6= 0 in the large-N limit, z± should dominatez = 0.

⇒ ReS(z±) ≤ ReS(0)

Connection with Lee–Yang zero

Blue line: ImS(z±) = ImS(0).Green line: ReS(z±) = ReS(0).Red points: Lee-Yang zeros at N = 40. [Kanazawa, YT, arXiv:1412.2802]

Conclusions for studies with GN-like models

1 Decomposition of the integration path in terms of Lefschetzthimbles is useful to visualize different phases.

2 The possible link between Lefschetz-thimble decomposition andLee–Yang zeros is indicated.

Preliminary comments on a recent paper[Nishimura, Shimasaki, arXiv:1504.08359]from the Lefschetz-thimble viewpoint

Singularity of the drift term

Model:

∫dx(x+ iα)pe−x

Drift term in the complex Langevin equation:

∂z= z − p

z + iα.

The singularity of the drift term breaks the formal proof for thecorrectness of CLE at the stage of integration by parts.[Nishimura, Shimasaki, arXiv:1504.08359]

Expectation values of x2 for various α

CLE breaks down for α . 14 at p = 50.[Nishimura, Shimasaki, arXiv:1504.08359]

Structure of Lefschetz thimbles

The Stokes phenomenon happens at α =√

-10 -5 0 5 10

(a) α < 2√p

-10 -5 0 5 10

(b) α > 2√p

Is this phenomenon related to the breakdown of CLE?Looks interesting. No one can answer yet, though...

Sign problem in MFA Formal discussion

Sign problem in MFA and its solution: Formal discussion

Motivation

At finite-density QCD (in the heavy-dense limit), the Polyakov-loopeffective action looks like

Seff(`) '∫

d3x[eµ`(x) + e−µ`(x)

]6∈ R.

Even after the MFA, the effective potential becomes complex!

The integration over the order parameter plays a pivotal role forreality. (Fukushima, Hidaka, PRD75, 036002)

General set up

Consider the oscillatory multiple integration,

dnx exp−S(x).

To ensure Z ∈ R, suppose the existence of a linear map L, satisfying

S(x) = S(L · x).

L2 = 1.

Let’s construct a systematic computational scheme of Z withZ ∈ R.

Flow eq. and Complex conjugation

Morse’s downward flow:

(∂S(z)

Complex conjugation of the flow:

(∂S(z)

(∂S(L · z)

therefore z′ = L · z satisfy the same flow eqation:

dz′idt

(∂S(z′)

∂z′i

General Theorem: Saddle points & thimbles

Let us decompose the set of saddle points into three parts,Σ = Σ0 ∪ Σ+ ∪ Σ−, where

Σ0 = {σ | zσ = L · zσ},Σ± = {σ | ImS(zσ) ≷ 0}.

The antilinear map gives Σ+ ' Σ−.This correspondence also applies to Lefschetz thimbles.(YT, Nishimura, Kashiwa, arXiv:1504.02979[hep-th])

General Theorem

The partition function:

Z =∑σ∈Σ0

∫Jσ

dnz exp−S(z)

+∑τ∈Σ+

∫Jτ+JKτ

dnz exp−S(z).

Each term on the r.h.s. is real.(YT, Nishimura, Kashiwa, arXiv:1504.02979[hep-th])

Sign problem in MFA Application to QCD

Sign problem in MFA and its solution:Application to QCD-like theories

The QCD partition function at finite density

The QCD partition function:

ZQCD =

∫DA detM(µqk, A) exp−SYM[A],

w./ the Yang-Mills action SYM = 12tr∫ β

∫d3x|Fµν |2 (> 0), and

detM(µ,A) = det[γν(∂ν + igAν) + γ4µqk +mqk

is the quark determinant.

Charge conjugation

If µqk 6= 0, the quark determinant takes complex values⇒ Sign problem of QCD.

However, ZQCD ∈ R is ensured thanks to the charge conjugationA 7→ −At:

detM(µqk, A) = detM(−µqk, A†)

= detM(µqk,−A).

(First equality: γ5-transformation,Second equality: charge conjugation)

Polyakov-loop effective model

The Polyakov line L:

[ei(θ1+θ2), ei(−θ1+θ2), e−2iθ2

Let us consider the SU(3) matrix model:

ZQCD =

∫dθ1dθ2H(θ1, θ2) exp [−Veff(θ1, θ2)] ,

where H = sin2 θ1 sin2 ((θ1 + 3θ2)/2) sin2 ((θ1 − 3θ2)/2).

Charge conjugation in the Polyakov loop model

Charge conjugation acts as L↔ L†:

Veff(z1, z2) = Veff(z1,−z2).

Simple model for dense quarks (` := trL):

Veff = −h(32 − 1)

(eµ`3(θ1, θ2) + e−µ`3(θ1, θ2)

Behaviors of the flow

0 1 2 3

Figure : Flow at h = 0.1 and µ = 2 in the Re(z1)-Im(z2) plane.

The black blob: a saddle point.The red solid line: Lefschetz thimble J .The green dashed line: its dual K.(YT, Nishimura, Kashiwa, arXiv:1504.02979[hep-th])

Saddle point approximation at finite density

The saddle point approximation can now be performed.

Polyakov-loop phases (z1, z2) takes complex values, so that

〈`〉, 〈`〉 ∈ R.

Since Im(z2) < 0 and

3(2eiz2 cos θ1 + e−2iz2),

we can confirm that` > `.

(YT, Nishimura, Kashiwa, arXiv:1504.02979[hep-th])

Summary for the sign problem in MFA

Lefschetz-thimble integral is a useful tool to treat multipleintegrals.

Saddle point approximation can be applied without violatingZ ∈ R.

Sign problem of effective models of QCD is (partly) explored.

Lefschetz-thimble path integral and its physical...

Documents

Transcript of Lefschetz-thimble path integral and its physical...

COHERENT STATE PATH INTEGRAL FOR THE HARMONIC …

9 - The Propagator and the Path Integral

Path-integral analysis of passive graded-index waveguidesetheses.bham.ac.uk/581/1/Constantinou91PhD.pdf · Path-integral analysis of passive, graded-index waveguides applicable to

Master equations and path-integral formulation of variational

Path Integral - Hitoshi Murayama Home Page

Path Integral Representation for Schr˜odinger Operators ...

The Path Integral Formalism - univie.ac.at

Path Integral in Reinforcement Learning

Path integral Monte Carlo

1988 Trieste Path Integral Lectures

Motivation for Path Integral MC - Course Websites | The ...

Nonlinear Filtering and Path Integral Method (Paper Review)

the integral of a function f : R n R over a (parametrized) path (a path integral),

AN INTRODUCTION INTO THE FEYNMAN PATH INTEGRAL · PDF fileAN INTRODUCTION INTO THE FEYNMAN PATH INTEGRAL ... turn the path integral solutions for the Rosen-Morse V ... and Schulman

Testing the Integral Model of treatment motivation in ...

[Gert Roepstorff] Path Integral Approach to Quantu(BookFi.org)

221A Lecture Notes - Hitoshi Murayamahitoshi.berkeley.edu/221A/pathintegral.pdf · 221A Lecture Notes Path Integral 1 Feynman’s Path Integral Formulation Feynman’s formulation

MOTIVATION • PATH INTEGRAL APPROACH TO · 2013-01-04 · Department of Physics, TCOMP-EST Tapio Rantala: QUANTUM AND THERMAL MOTION IN MOLECULES FROM ... WSTC, 20 Dec 2012 PATH-INTEGRAL

Lefschetz-thimble path integral and its physical applicationnt1.c.u-tokyo.ac.jp/about/Tanizaki_KomabaSeminar_20150408.pdf · Lefschetz-thimble path integral and its physical application

The Path Integral Approach to Quantum Mechanics