+ All Categories
Home > Documents > Distance between configurations in MCMC...

Distance between configurations in MCMC...

Date post: 30-Oct-2019
Category:
Upload: others
View: 11 times
Download: 0 times
Share this document with a friend
43
Distance between configurations in MCMC simulations and the emergence of AdS geometry in the simulated tempering algorithm N. Matsumoto (Kyoto Univ) and N. Umeda (PWC) Masafumi Fukuma (Dept of Phys, Kyoto Univ) ESI, July 9, 2018 Matrix Models for Noncommutative Geometry and String Theory [arXiv:1705.0609, JHEP 1712 (2017) 001 (FMN1), arXiv:1806.10915 (FMN2)] based on work with
Transcript
Page 1: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Distance between configurationsin MCMC simulations and

the emergence of AdS geometryin the simulated tempering algorithm

N. Matsumoto (Kyoto Univ) and N. Umeda (PWC)

Masafumi Fukuma (Dept of Phys, Kyoto Univ)

@ESI, July 9, 2018“Matrix Models for Noncommutative Geometry

and String Theory ”

[arXiv:1705.0609, JHEP 1712 (2017) 001 (FMN1), arXiv:1806.10915 (FMN2)]

based on work with

Page 2: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

1. Introduction

Page 3: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Motivation (1/2)There has long been an expectationthat quantum mechanics has its origin in randomness.

Question: Can quantum gravity be treated in such a framework?

Main purpose of my talk is to show:

• One can introduce a geometry to any stochastic systemwhich is based on Markov-chain Monte Carlo (MCMC), s.t. it reflects the difficulty of transitions betweentwo configurations.

• Such geometry possesses a larger (or largest) symmetryif the algorithm is optimized s.t. distances are minimized.

• This distance gives another method to introducea geometry to matrix models

[Nelson, Parisi-Wu, ...]

Page 4: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

( )2 2( ) ( 1) 12

To think more concretely, let us consider the action

S x xβ β= −

Separation of and that of are almost the same in space.

B B Cx

A −−

A B C

can be reached from easily cannot be reached from easily

BC BA “close” in MC

“far” in MC

We introduce a measure that enumerates this “distance”.

However, in MCMC simulations,

potential barrier

x

( )S xMotivation (2/2)

Page 5: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

- This definition is universal for MCMC algorithmsthat generate local moves in configuration space

- The distance gives an AdS geometrywhen a simulated tempering is implemented for multimodal distributions with optimized parameters

x x

β

1−1−

1+1+

{ }original config space x {( , )}extended config space x β

geodesic in AdS space

Main resultsMain results

( )2 2( ) ( 1) 12

S x xβ β= −

- This gives another method to introduce a distancein matrix models

Page 6: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Plan

1. Introduction (done)2. Definition of distance

- preparation- definition of distance- universality of distance

3. Examples- unimodal case- multimodal case

4. Distance for simulated tempering- simulated tempering- emergence of AdS geometry- AdS geometry from matrix models

5. Conclusion and outlook

Page 7: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Plan

1. Introduction2. Definition of distance

- preparation- definition of distance- universality of distance

3. Examples- unimodal case- multimodal case

4. Distance for simulated tempering- simulated tempering- emergence of AdS geometry- AdS geometry from matrix models

5. Conclusion and outlook

Page 8: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

{ }( )

: configuration space: action

xS x

=

( )( ) ( )

( ) :1( ) ( )

We want to estimate VEVs of operators S x S xdx

x

x e xZ

dxZ e− −≡ =∫ ∫

In MCMC simulations:

0

( )

1 1

1( )

( ) ( |( ) ( ) ( |) ) ( )( ) ( )

eq

eq s.t. converges uniquely to in the

- Regard as a PDF

- Introduce a Markov chain

li

mit

S x

nn n n

n

P x

p x eZ

p x p x dy p y dy P x y p yp x p n

yx

− −

→ = =

→∞∫ ∫

Preparation 1: MCMC simulation (1/3)

( )0( | ) ( )eqi.e., n x y pP x n n≥

transition probability matrix

Page 9: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

0 1 2

1

, ,...( | )

- Starting follow

from an initial valuing the transition m

e , generate atrix i i

x x xP x x −

1,...,{ }- Take a sample fter the system is well re a laxed m Mmy =

0 0 0 00 1 1 2n Mn n nx x x x x x+ + +→ → → → → →→ →

1y≡ 2y≡ My≡

relaxation ( )eqgenerated with p x

( )- Estimate VEVs of operators as a sample aver age:x

1

1( ) ( )M

mmx y

M =

≈ ∑

We first would like to establish a mathematical framework which enables the systematic understanding of relaxation

Preparation 1: MCMC simulation (2/3)

P P P P P P P P

Page 10: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

We assume that

( )( ) ( )

( | )( | ) ( ) ( | ) ( ) ( | ) ( | )eq eq

satisfies the detailed balance condition:

are po

(1)

(2) all of the eigenvalues sitive of

S y S x

P x yP x y p y P y x ep x P P y x

Pex y − −⇔ ==

NB : (2) is not too restrictive

2

In fact, if as the elementary transition matrix,

for which - all the eigenvalues are positiv

has n

e -

egative eigenvalues, then we

the same detailed balance co

instea

ndition

d ca

is

n u

sa

se

i

tisf

PP

2 ( ) 2 ( )( | ) ( | ) :

d a

e s

S y S xxP

P e ey P y x− −=

NB : (1) can be written asˆ ˆ( ) ( )ˆ ˆS x S x TePe P− −=

ˆ( | ) | |ˆ | |P x y x P yx dx x x x

= ⟨ ⟩ ≡ ⟩⟨ ∫

Preparation 1: MCMC simulation (3/3)

Page 11: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

ˆ ˆ( )/2 ( )/2ˆ ˆ S x S xT e Pe−≡

We introduce the “transfer matrix” :

properties:( )ˆ ˆ( ) ( )ˆ ˆ ˆ ˆ

ˆ(1)

(2) same eigenvalue se (thus t as a ll positive)

T S x S x TT T e eP P

P

− −== ⇔

0 1 21 0 We order the EVs as

λ λ λ= > ≥ ≥ >

spectral decomposition:

0 1| | 0ˆ | 0 | ||k k

k kT k kk kλ λ

≥ ≥

= ⟩⟨ = ⟩⟨ + ⟩⟨∑ ∑where

( )/21| 0 ( )eqS xx e x

Zp− =⟨ ⟩ =

Preparation 2: Transfer matrix (1/2)

( )( )/2 ( )/2(| ) |( )S x S yP x y eT x y e −⇔ =

[MF-Matsumoto-Umeda1]

Page 12: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Preparation 2: Transfer matrix (2/2)

relaxation to equilibrium

1

ˆ ˆ 0 | || 0 |n n nk

kP kT kλ

= ⟩⟨ + ⟩⟨⇔ ∑Note that

ˆ | 0 0 || 1

in the limi relaxation of to decoupling of modes

t with

nT nk k

⇔⇔

⟩⟨ →∞⟩ ≥

NB:

decoupling occurs earlier for higher modes (i.e. for larger )kNB:

1/1 ~ can be estimated frelaxat rom ion time e ττ λ −

1 ~ 1slow relaxation λ⇔

( )0 1 21 0λ λ λ= > ≥ ≥ >

Page 13: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Preparation 3: Connectivity between configs (1/3)

(set of sequences of processes in )n n≡X

1 2

2 1

, )(set of sequences of processes in that start from and end at

n xn

x x

x

X

1x2x

We define the connectivity between two configs as

1 21 2

( , )( , ) n

nn

xf

xx x ≡

XX

12

1 2 2

( ) ( )1 2 12 2 1

1 1( | ) ( | ) ( , )

(prob to obtain ) (prob to hav from e )S x S xn n

n

x x x

P x x e P x x e x xZ

fZ

− −

= ×

= = =

det balance

[MF-Matsumoto-Umeda1]

Page 14: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Preparation 3: Connectivity between configs (2/3)

normalized connectivity (“half-time overlap”):

1 21 2

1 1 2 2

1 21 2 2 1

1 1 2 2 1 1 2 2

)

( , )( , )( , ) ( , )

( ,( | ) ( | )( | ) ( | ) ( , ) ( , )

nn

n n

n nn

n nn n

f x xx xf x x f x x

K x xP

F

x x P x xP x x P x x K x x K x x

= =

( )1 2 1 2ˆ( , ) | |n

n x x x TK x≡ ⟨ ⟩

1 2( , ) is actually the overlap between two normalized "half-time" elapsed states:

n xF x

1 2 1 2( , ) , / 2 | , / 2n x x x n xF n≡ ⟨ ⟩

1x2x/ 2n

/ 2n

1

2

1 2( )

1 2

)2

(1

( , )1( | )1( | )

nS xn

S xn

f x x

P x x eZ

P x x eZ

=

=

( )/2 /2ˆ ˆ| , |/ 2 |||| |/n nx xx n T T⟩ ≡ ⟩ ⟩

1 1( , ) 1n xF x =

Page 15: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Preparation 3: Connectivity between configs (3/3)

1 2( , )properties of nF x x

( )( )

1 2 2 1

1 2

1 2 1 2

1 2 1 2

( , ) ( , )0 ( , ) 1

( , ) 1lim ( , ) 1 ,

(1) (2) (3) when is finite(4)

n n

n

n

nn

F x x F x xF x x

F x x x x nx x x xF

→∞

= ≤ ≤ = ⇔ =

= ∀

1 2

1 2

1 2

1 2

( , ) 1

( , ) 1

(A) If can be easily reached from in

(B) If and are separated by high potential barr

steps, then

, then

ie s

rn

n

x x nF x x

x xF x x

1 2 1 2 1 1 22 1 2

:ˆ | 0 0 |

ˆ( , ) | | | 0 0 | ( , ) ( , ).

proof of (4)In the limit , , and thus,n

nn n n

n TK x x x T x x x K x x K x x

→ ∞ → ⟩⟨ = ⟨ ⟩ → ⟨ ⟩⟨ ⟩ =

1 21 2

1 1 2 2

1 2

( ,( , )( , ) ( , )

, / 2 / 2

)

| ,

nn

n n

K x xx xK x x K x x

x n x n

F =

= ⟨ ⟩

Page 16: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Definition of distance

1 2( , )properties of n x xθ

( )( )

1 2 2 1

1 2

1 2 1 2

1 2 1 2

1 2 2 3 1 3

( , ) ( , )( , ) 0( , ) 0

lim ( , ) 0 ,( , ) ( , ) ( , )

(1) (2) (3) when is finite(4) (5)

n n

n

n

nn

n n n

x x x xx xx x x x n

x x x xx x x x x x

θ θθθ

θ

θ θ θ→∞

=

≥ = ⇔ = = ∀ + ≥

1 2

1 2

1 2

1 2

( , )

( , )

(A) If can be easily reached from in

(B) If and are separated by high potential ba

steps, then : small

,

rrithen : large

ersn

n

x x nx x

x xx x

θ

θ

1 2 1 2( , ) arccos( ( , ))n nx x F x xθ ≡[MF-Matsumoto-Umeda1]

Page 17: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Alternative definition of distance

21 2 1 2( , ) 2 ln ( , )n nd x x F x x≡ −

1 2 1 2( , ) arccos( ( , ))Instead of ,one can also use the following as distance:

n nx x F x xθ =

21 2 1 2( , ) 2[1 ln ( , )]n nD x x F x x≡ −or

we will mainly use this

21 2( , ) 2

1 2 1

1

(12

2

/2)

( ,1( , ) ( , )cos2

)

1

0They agree when

n

n

n

d x xn nx x D

x x

x

F

xeθ

θ

= = − ≈

=

NB: analogy in quantum information

1 21,2 1,2 1,2

1 2

( , )| , / 2 , / 2 |

( , ) : Bures length for two pure states : Bures distance

n

n

x xx n n

x xDx

θρ = ⟩⟨

[MF-Matsumoto-Umeda1]

Page 18: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Universality of distance (1/4)The above distance is expected to be universalfor MCMC algorithms that generate local moves in config space.

"universal" in the sense that differences of distance between two such local MCMC algorithmscan always be absorbed into a rescaling of n

In fact, 2

1 2 1 2 1 2ˆ

ˆ( , ) , |ˆ

) |( universality of univ. o

f

univ. of

nn n

H

xd x x K x x T xT e−

⇔ =

⟨ ⟩

ˆthen are expected to be local operatorsacting on fun

If algorithm

ctions over

s are sufficientl

in almost the

y l

sam

ocal,

e way.H

and,

| must be almosThe wave functi t the same for smalon l s x k k⟨ ⟩

[MF-Matsumoto-Umeda1]

Page 19: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Universality of distance (2/4)This expectation can be explicitly checked using a simple model.

algorithm 1: Langevin

1 ,( ) 2 with n n n n n m n mxx x S νν ν ν δ+ + − ′= ⟨ ⟩ =

( )

21 ( )ˆ 4 2

2

1ˆ| | | |4

( ) (1/ (1/ 2)4) ( ) ( ) with

x yx y VHx T y x e y e

V x S x S xπ

+ − − − − ⟨ ⟩

= −

= ⟨ ⟩

′ ′′

2(with Gaussian proposal of variance )σalgorithm 2: Metropolis

( )2

2

22

( )/2 ( )/2

1 ( )( ) ( ) ( )/2 ( )/222

1 1( ) ( ) ( )22

2

ˆ ˆ| | | |11,

21

2

min

S x S y

x yS x S y S x S y

x y S x S y

x T y x P y e

e e e

e

σ

σ

πσ

πσ

− −− +

− −−

=

=

⟩ = ⟨ ⟩ ×

×

Page 20: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Universality of distance (3/4)2 ~1ˆ ˆln 0,

| | | ( ) ( ) |

,

both Hamiltonians become local in the limit

and have the same tendency to enhance transitionswhen

With the identificati

and are small.

on

H T

x y S x S y

σ ≡ − →

− −

ˆThe l show e ouldnergy st be almoructu st thre e o .f sameH

The global structure of distan should be almost the sce ame.

In fact,the universality actually holds more than expectedeven for a single DOF

The argument for universality is more trustworthyas the DOF of the system become larger.

Page 21: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

0 0 0 0 01 7.81 x 10^(-4) 1 7.62 x 10^(-4) 12 36.2 4.63 x 10^4 34.2 4.49 x 10^43 58.2 7.45 x 10^4 54.7 7.17 x 10^4

Universality of distance (4/4)

(Lang)kE (Met)kE1/ (Lang)k EE 1/ (Met)k EE

eigenvalues :

eigenfunctions :| 0x⟨ ⟩ |1x⟨ ⟩ | 2x⟨ ⟩ | 3x⟨ ⟩

: Langevin: Metropolis (almost indistinguishable)

( )2 2( ) ( 1) 202

S x xβ β= − =

Page 22: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Plan

1. Introduction2. Definition of distance

- preparation- definition of distance- universality of distance

3. Examples- unimodal case- multimodal case

4. Distance for simulated tempering- simulated tempering- emergence of AdS geometry- AdS geometry from matrix models

5. Conclusion and outlook

Page 23: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Transfer matrix for Langevin

Langevin equation (continuum)0 0

'( )

2 ( ') witht

t tt t

tx xx S x

t tνν

ν ν δ= =′ −

=

⟨ ⟩ = −

ˆ( )/2 ( )/2( , ) ( | ) | |S x S y Ht tK x y e x y e x eP y− −= ⟨= ⟩

0 ,[ ])(t tx xx ν=

( ) ˆ0 0 0( | ) ,[ ]) | |( FPtH

t tP xx x x x x e xν

δ ν −⟨=≡ − ⟩

ˆ ( )][FPwith x xH S x′∂ ∂ += −

( )

ˆ ˆ( )/2 ( )/2 2

2

( )

(1/

ˆ ˆ ˆ

( ) (1/ 4) ( ) 2 () )FPwith S x S x

xH H x

V x S S

e

x

V

x

e−= = − +

∂ ′ ′′=

21 2

1 ( , )1 2 21 2

1 1 2 2

( , )( , )( , ) ( , )

td x xtt

t t

K x xx x eFK x x K x x

−= =

Page 24: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Example 1: Unimodal distribution (Gaussian)

ˆ

2 21 2 1 22

( , ) | |

exp [( ) cosh 22 (1 ) 4sinh

]

tHt

t

K x y x y

x x t x xe t

e

ω

ω ω ωπ ω

= ⟨ ⟩

= − +−

( )22

22

ˆ ˆ) ( ) (1/( (1/ 24) ( ) ( )

4

)

2

with

xH xV V x S x S x

xω ω′ ′′= − +∂

=

=

2 2 21 2 1 2 1 2( , ) | | ~ | |

2sinht

t x x x x e x xt

d ωωω

−= − −

2(2

)S x xω=

subtractszero-point energy

We see that:

2~ 1/ ~ ( )- geometry is flat and translationally invariant- is given by relaxation tim e V xτ τ ω ω ′′

Page 25: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Example 2: Unimodal dist. (non-Gaussian)

3 2 32 2 2

3 21 2

3

1

2 21 2

2 1 2 4

2

[12( 3 3 2 )

( 3 3 )( )3 ( 3 3 3 3 2 )( ) ]

( , ) | |2 8

( )

{

}

t s s c t ts ts c

s s tc x xs s tc t sc

x x x xs s

Ots x x

d ω λω

ω ω ω

ω ωω ω ω ω λ

− + + −

+ +

= −

+

− −

+ + − + +

− +

2 4

2( )

4xS xx ω λ

= +

We see that:

2~ 1/ ~ ( )- geometry is no longer flat or translationally invariant- is again give relaxa n by tion time V xτ τ ω ω ′′

perturbative expansion in :λ

( )cosh , sinht tc sω ω≡ ≡

Page 26: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Example 3: Multimodal dist. (double well) (1/2)

2 2 12

( ) ( 1) ( )S xx β β= −

2ˆ ˆ( ) x VH x+= −∂

2 6 2 4 2 2

2 2 2 2

2 ( )( ))( (

31)

x xV x xx x O

β β β β ββ β

− + ++

= −= −

with

( )S x ( )V x

2( )O β

)(O βx x

Page 27: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Example 3: Multimodal dist. (double well) (2/2)20For :β =

04

1

2

3

07.81 1036.258.2

EE

E

E

== ×==

( )V x

2( )O β

x

( )instanton Oe β−

( )| 2,3,|1

: decouple quickly : decouples very slowly

x k kx⟨ ⟩ = …⟨ ⟩

In fact,10 39.150 19.2100 16.9500 13.2

1,000 11.75,000 8.46

2ˆ ˆ( ) x VH x+= −∂

n 2 ( 1, 1)nd − +

decreases only very slowly

Page 28: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Plan

1. Introduction2. Definition of distance

- preparation- definition of distance- universality of distance

3. Examples- unimodal case- multimodal case

4. Distance for simulated tempering- simulated tempering- emergence of AdS geometry- AdS geometry from matrix models

5. Conclusion and outlook

Page 29: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Simulated tempering (1/3)

x x

β

1−1−

1+1+

{ }original config space x {( , )}extended config space x β

0( ; )( ; )

.

is multimodal,it often happens that becomes lesEven when th

s multimodale original

if we t

acti

ake

on

smaller

S xS x

ββ

β

Basic idea of tempering :

We extend the configuration spaces.t. configurations in different modes can be reachedfrom each other by passing through small 's.β

( )2 200 0( ; ) ( 1) 1

2S x x

ββ β= −

[Marinari-Parisi]

Page 30: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Simulated tempering (2/3)

{ }{ ( , )}( 0,1,..., ) to

- Extend the config spac ;

e

a

xX x x a Aβ

=× = = ∈ =

Realization

1( ; )

( ) ( )( ) ( ) ( , )eq eq

s.

- Introduce a stochastic process

t. a

n nS x

n a an

P X P XP X P X P x w e ββ

+−→∞

→→ = =

x

β

0β1β

NB :( ; )( ( ), )eq

-th subsampl(appearance probability e)

o

f aS x

a a a a

adx P x w dxZ eZ ββ −= = =∫ ∫

1/

( 1/ ( 1))

is often set as ,which ensures that the desired 0-th configs appearwith nonvanishing probability

a a aw w Z

A

= +

0- Estimate the VEV by only using the subsample with aβ =

considerationnot necessaryfor paralleltempering

Page 31: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Simulated tempering (3/3)

( , ) ( , ) direction,

with some proper algorithm (such as Langevin or Metropo

(1) Generate a transition in th

i

e

l s)

a a

xX x X xβ β′ ′= → =

Algorithm

NB :

0 0{( , )} ( 1,..., )(3) Extract a subsample with ; a mx m Mβ β= =

1( , )

( , )

( , ) ( , )

1,

direction, (2) Generate a transition in

with the probability mi

th

n

e

a

a

a a aS x

aS x

a

X x X xw ew e

β

β

ββ β

′= ±−

′−

′= → =

01

1( ) ( )(4) Evaluate VEVs as M

mm

x xMβ

=∑

-dependence of -direction is easy.

This adjustment is usually done manually or adaptively

should be chosen s.t. the transition in the

aa ββ

.We will show that this can be done geometrically.

x

β

xAβ

(1)(2)

0x

Page 32: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Distance for simulated tempering

The introduction of tempering should be seenas the reduction of distance.

In fact,

10 39.150 19.2100 16.9500 13.2

1,000 11.75,000 8.46

n 2 ( 1, 1)nd − +26.57.164.350.7080.106

2.78 x 10^(-8)

2 ( 1, 1)nd − +

w/o tempering w/ tempering

rapid decreasing

[MF-Matsumoto-Umeda1]

Page 33: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Coarse-grained configuration space (1/4)In MCMC simulations,the most expensive part is the transitionsbetween configs in different modes,and thus, configs in the same mode can beeffectively treated as a point.

This leads us to the idea of "coarse-grained config space"

We would like to show that

when the original config space is multimodal with high degeneracy, the extended coarse-grainined config space naturally has an AdS geometry

×

x

x1− 1+

1− 1+

[MF-Matsumoto-Umeda1,2]

Page 34: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Coarse-grained configuration space (2/4)[MF-Matsumoto-Umeda2]

21 2

1 2/2

1 2

1 2

( , )

1 2

1 2

( , )

( ,

( ,( , )

( o )s

)

, ) cthat are related with the half-time overlap as

We have two different distances, an

d

n

n

d x xn

n

n

n

F x xF x x e

x x

x

d x x

x

θ

θ −= =

1 2( , ) always satisfies triangle inequalitybut takes a complicated form even for Gaussian distribution.

n x xθ

1 2( , ) does not satisfy triangle ineq generically,but gives a flat geometry for Gaussian distribution. This does satisfy triangle ineq in the coarse-grained config space.

nd x x

[ ]( )( ,0)

1 cos2 w/o tempering

for the actiondistanc

e nd x

xS x β π= −

1 2( , )We will regard as more fundamentalwhen discussingcoarse-grained config space

nd x x

NB

Page 35: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Coarse-grained configuration space (3/4)

0 02( ; ) cos1action: xS x πβ β

− =

= original config space:

x

( )S x

coarse-grained config space: (1D lattice with spacin g )=

sim temp

[ ]{ ( , )}extended coarse-grained config space: (1D lattice with spacin ) g aX x xβ× = = ∈

x

Page 36: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Coarse-grained configuration space (4/4)

( )2 2( , ), ( , ) const. qn x x dx dxd β β β+ =

and set( )2 2( , ), ( , ) ( )nd x x d f dβ β β β β+ =

( )2 2

2 2

( , ), ( , ). )( const

Then we have n

q

ds d x x dx dd fx d

β β ββ β β

≡ +

= +

+

2( ) 1/If (#) is scale invariant (i.e., ),this gives an AdS metric:

f β β∝

---- (#)

( )2

2 2 2 22 2. .const const constq dds d dzdx x

zβββ

+= =+ ( )/2qz β −∝

We assume that

x

β

(This is actually an asymptotic AdS with a horizon)

horizon

boundary

xx dx+x11 when not tempered when tempered

qq=

<

Page 37: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

a

AdS geometry as a result of optimization (1/4)

/

00

( 0,1,..., )

,

is chosen as

di

If

one can show that geometry in becomes scale invariant, so that we will obtain an Ad

reS geometry,

as we saw befor

ction

e.

aa A

Aa

a Aβ

ββ ββ

β

=

=

------------------- (##)

One can actually confirm that (##) is the best choicefor minimizing the distance in simulated tempering:

[ ]

( )

0 01

2

1 2 82

0 0

( ; ) cos(2 )

{ , ,..., }(0, ), ( 1 )

1

,

Consider the action :

tha

Search fort minimize

i

n

iS x

d

β β π

β β ββ β

=

=

+

∑x

( )50 10β =

[MF-Matsumoto-Umeda2]

“horizon”1

10

310210

410

510

0 2 4 6 8

Page 38: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

AdS geometry as a result of optimization (2/4)That is,

( ) ( )

/

00

22 2 2 2 /2

2 2

( 0,1, 2,..., )

. .

for large

AdS metric :

optimize s.t. the distance is minimized

coconst const nst

a

a A

Aa a

q qi i d

a

dds dx dx zz

z

β

ββ β ββ

ββ ββ

= =

+= ∝+

=

This is the first example of the “emergence of AdS geometry” in nonequilibrium systems.

Page 39: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

AdS geometry as a result of optimization (3/4)

Algorithm to determine the metric2

2 2 22

1

(1) Set an ansatz: iq

i

N

d dxds β αββ =

=

+

( )( , ), ( , ) for various and (2) Calculate distances n a a ad β β β0 x x

( , ) ( , ) :geodesic distance betw and een β β0 x

( )2

/2

| | 16 | |( 4, ; ), , ln

4

q

q

q qq

qI

α β αβ α

β

−=+ +x x

x

( , , ) that m(3) Find th inimize thee val costues of functionqα

( ) 2, , ( , ), ( , ) ( , ; , )( ) ,n a a a

aC q d I qα β β β α ≡ − ∑∑

x0 x x

x

β0β

β

x0geodesic

Page 40: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

AdS geometry as a result of optimization (4/4)

Result

2 22 2 2

21

q

ii

dds dxβ αββ =

=

+

3

4

(5.3 0.3) 10(4.1 1.0) 10

0.020.39qα

− =

= ± ×= ± ×

±

0 2 4 6 8 10�y�

1

2

3

4

dn

a=0

0 2 4 6 8 10�y�

1

2

3

4

dn

a=1

0 2 4 6 8 10�y�

1

2

3

4

dn

a=2

| |x | |x | |x

nd nd nd0a = 1a = 2a =0( 0)10β = 1( 0)5β 2( 5)2β

( 2)N =

Page 41: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Plan

1. Introduction2. Definition of distance

- preparation- definition of distance- universality of distance

3. Examples- unimodal case- multimodal case

4. Distance for simulated tempering- simulated tempering- emergence of AdS geometry- AdS geometry from matrix models

5. Conclusion and outlook

Page 42: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Conclusion and outlookWhat we have done:- We introduced the concept of “distance between configs”

in MCMC simulations- The distance satisfies desired properties as distance- This can be used for the optimization of parameters,

and AdS geometry appears as a result of optimization

Future work:- Establish a systematic method for optimization

- Investigate the relationship between the obtained resultand the Einstein equation

- Investigate the geometry of matrix models further

( )[ ( )]

would be found by simply solving the E-L eq of some functionale.g.,

a a

I aβ β

β=

Page 43: Distance between configurations in MCMC simulationshomepage.univie.ac.at/harold.steinacker/MM-ESI-homepage/slides/Fukuma...Distance between configurations in MCMC simulations and the

Thank you.


Recommended