1. DIAGRAMMATIC MONTE CARLO: From polarons to path-integrals (with worm, of course) Les Houches, June 2006, Lecture 2 Nikolay Prokofiev, Umass, Amherst Boris Svistunov, Umass, Amherst Igor Tupitsyn, PITP Vladimir Kashurnikov, MEPI, Moscow Evgeni Burovski, Umass, Amherst Andrei Mishchenko, AIST, Tsukuba Many thanks to collaborators on major algorithm developments NASA

2. Let … Diagram order Same-order diagrams Integration variables Contribution to the answer or the diagram weight (positive definite, please) ENTER

3. Polaron problem: electronphononsel.-ph. interaction Green function: + + … Sum of all Feynman diagrams

4. Feynman digrams Positive definite in momentum-imaginary time representation

5. Diagrams for: there are also diagrams for optical conductivity, etc.

6. Monte Carlo (Metropolis) cycle: Diagramsuggest a change Accept with probability Same order diagrams: Business as usual Updating the diagram order: Ooops

7. Balance Equation: If the desired probability density distribution of diagrams in the stochastic sum is (in most cases it is the same as the diagram weight ) then the MC process of updating diagrams should be stationary with respect to (equilibrium condition) Flux out of Flux to Is the probability density of “making” new variables, if any Detailed Balance: solve it for each pair of updates separately.

8. Equation: e.g. Solution: Example: for Frohlich polaron

10. Lattice path-integrals for bosons and spins are “diagrams” of closed loops! imaginary time + +

11. Diagrams for imaginary time lattice site Diagrams for imaginary time lattice site The rest is conventional worm algorithm in continuous time

12. M II I I M

13. Path-integrals in continuous space are “diagrams” of closed loops too! P 1 2 P

14. Not necessarily for closed loops! Feynman (space-time) diagrams for fermions with contact interaction (attractive) Rubtsov ’03 Burovski et al. ’03 connect vortexes with and sum over all possible connections NOT EASY BUTTON Pair correlation function

15. NOT EASY BUTTON