be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g....

14
( '" %)$!&# Collaborators: Riccardo Rossi (Flatiron Institute) Kris Van Houcke, Felix Werner (ENS Paris) Boris Svistunov, Nikolay Prokof’ev (University of Massachusetts, Amherst) Evgeny Kozik (King’s College, London) Takahiro Ohgoe Department of Applied Physics, The Univ. of Tokyo Nov. 20, 2018

Upload: others

Post on 09-Jun-2020

8 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

������ �����(����

'�������"���

�������%�)$ !�&#

Collaborators:Riccardo Rossi (Flatiron Institute)

Kris Van Houcke, Felix Werner (ENS Paris)

Boris Svistunov, Nikolay Prokof’ev (University of Massachusetts, Amherst)

Evgeny Kozik (King’s College, London)

����������� ������������������

Takahiro OhgoeDepartment of Applied Physics, The Univ. of Tokyo

Nov. 20, 2018

Page 2: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

Two component dilute Fermi gas

“Dilute” gas: Effective range of the interaction re<< Interpartice spacing n-1/3(~kF

-1)

→ At low temperatures,the interaction is characterized by the s-wave scattering length a.

• Highly controllable cold atom experiments

• BEC-BCS crossover

Features• Universal properties

C. A. R. Sa de Melo, Phys. Today 61 45–51 (2008)

• Pseudogap?

T/T F

1/kFa

Page 3: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

No finite size effects

Feynman-diagrams approach

Diagrammatic Monte Carlo method- Unbiased sampling of the Feynman diagrams

Conventional Feynman-diagrams approach- Widely used in various field of physics.

However, only particular types of diagrams are usually considered.e.g. Hartree-Fock, T-matrix approx., RPA, FLEX

To go beyond

G0

g0

We have to go to high orders

Page 4: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

Bold diagrammatic Monte Carlo

β μ

n(μ,

T)/n0(μ

,T)

MIT experiment

BDMC

Density

Bold diagrammatic Monte Carlo method(BDMC)

BDMC vs Experiments (2012)

To efficiently include many Feynman diagrams, we consider the expansion in terms of renormalized Green’s functions and interactions (G and Γ).

Recent new approach[Rossi, Ohgoe, Van Houcke, Werner (PRL 2018)]

- Convergence radius is zero (divergent series).Combined with the Borel resummation method,we obtained the accurate results.

Previous approach[Van Houcke et al. (Nat. Phys. 2012)]

- Convergence radius is assumed to be finite.

Page 5: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

Continuum limit of lattice modelLattice model with quadratic dispersion relation

bre ~

1Γ(0) p,Ωn( )

=14πa

−dk2π( )3

1k2+1− n↑

(0) p / 2+k( )− n↓(0) p / 2−k( )iΩn + 2µ − p

2 / 4− k2&

'(

)

*+∫

To eliminate the ultraviolet divergence, we introduce the ladder summation (T-matrix)

Relation between g0 and a :

g0

(lattice spacing)

Continuum limit

Page 6: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

Feynman diagram series

Ladder scheme or Bold scheme (Q = Self energy Σ )

Self-consistent calculationsare performed for G and Γ.

5

Γ : pair-propagator

Page 7: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

Large-order asymptotics

The order n-th expansion coefficient (Goursat’s formula)

Saddle point method (in terms of g and φ )

e.g. φ4 theory

: instanton which satisfies

[Lipatov, Sov. Phys. JETP 1977]Asymptotic estimation of aNIdea : Functional integral representation + Saddle point method

Page 8: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

. Its Taylor series is .

Case of the unitary Fermi gas

For fermionic theory, we utilize the Hubbard-Stratonovich transformationand integrate out the fermions.

Apply the Lipatov’s method

[Parisi, Itzykson, Zuber, Balian]

In our case, we introduce a coupling constant z by .

We finally evaluate .

Then, we consider

Convergence radius is zero

Page 9: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

Borel resummation method

[Le Guillou and Zinn-Justin, PRL 1977]

Borel resummation method

Integration path

Conformalmapping

8

− Mathematical procedure to reproduce the non-perturbative quantity Q(z=1) from the divergent series.

• Borel transform :

• Inverse Borel transform :

Nevanlinna theorem (1919)

Conformal mapping

Page 10: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

Results by Diagrammatic MC

Unitarity limit( )

9Highly accurate results with error of 0.2%.

Page 11: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

4th Virial Coefficient

10

Our data reveals the behavior at small ζ which the experiments could not.Our results reconcile the experiments and the Endo & Castin conjecture

[J. Phys. 2016].

Virial expansion ( powers of fugacity ) :

Page 12: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

Tan’s contact

11

S. Tan, Ann. Phys. 323 2971 (2008)Contact

Universal relations

S. Tan, Ann. Phys. 323 2952 (2008)

Sagi et al., PRL 2012 (JILA)

The results are not consistent with each other.

3π2 C

/kF4

etc.

Page 13: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

Situation of Tan’s contact in 2018

12

0.08

0.1

0.12

0.14

0.1 0.2 0.3 0.4 0.5 0.6 0.7

JILA experimentAFQMCDQMCBDMC (present work)

Page 14: be.nucl.ap.titech.ac.jpbe.nucl.ap.titech.ac.jp › ... › slides › 1120.12.ohgoe.pdfe.g. Hartree-Fock, T-matrix approx., RPA, FLEX To go beyond G 0 g 0 We have to go to high orders

Summary

• Feynman diagram series have zero convergence radius.

We have overcome the problem by the Borel resummation method.

• By the bold diagrammatic MC, we obtain highly-accurate resultsof density and Tan’s contact.

13

Theory of the unitary Fermi gas (continuum limit)

[1] R. Rossi, T. Ohgoe, K. Van Houcke and F. Werner, PRL 121 130405 (2018)

[2] R. Rossi, T. Ohgoe, et al, PRL 121 130406 (2018)

Future issuesSpectral function, imbalanced gas, superfuid phase, …