L-3
Goal: This lecture is dedicated to a classical model in disordered systems: the directed polymer in random media. It has been introduced to model vortices in superconductur or domain wall in magnetic film. We will focus here on the algorithms that identify the ground state or compute the free energy at temperature T, as well as, on the Cole-Hopf transformation that map this model on the KPZ equation.
Polymers, interfaces and manifolds in random media
We consider the following potential energy
The first term represents the elasticity of the manifold and the second term is the quenched disorder, due to the impurities. In general, the medium is D-dimensional, the internal coordinate of the manifold is d-dimensional and the height filed is N-dimensional. Hence,the following equations always holds:
In practice, we will study two cases:
- Directed Polymers (), . Examples are vortices, fronts...
- Elastic interfaces (), . Examples are domain walls...
Today we restrict to polymers. Note that they are directed because their configuration is uni-valuated. It is useful to study the model using the following change of variable
Directed polymers
Dijkstra Algorithm and transfer matrix
We introduce a lattice model for the directed polymer (see figure). In a companion notebook we provide the implementation of the powerful Dijkstra algorithm.
Dijkstra allows to identify the minimal energy among the exponential number of configurations
We are also interested in the ground state configuration . For both quantities we expect scale invariance with two exponents for the energy and for the roughness
Universal exponents: Both are Independent of the lattice, the disorder distribution, the elastic constants, or the boudanry conditions. Note that , while for an interface .
Non-universal constants: are of order 1 and depend on the lattice, the disorder distribution, the elastic constants... However is independent on the boudanry conditions!
Universal distributions: are instead universal, but depends on the boundary condtions. Starting from 2000 a magic connection has been revealed between this model and the smallest eigenvalues of random matrices. In particular I discuss two different boundary conditions:
- Droplet: . In this case, up to rescaling, is distributed as the smallest eigenvalue of a GUE random matrix (Tracy Widom distribution )
- Flat: while the other end is free. In this case, up to rescaling, is distributed as the smallest eigenvalue of a GOE random matrix (Tracy Widom distribution )
Entropy and scaling relation
It is useful to compute the entropy
From which one could guess from dimensional analysis
We will see that this relation is actually exact.
Back to the continuum model
Let us consider polymers of length , starting in and ending in and at thermal equlibrium at temperature . The partition function of the model writes as
For simplicity, we assume a white noise, . Here, the partition function is written as a sum over all possible paths, corresponding to all possible polymer configurations that start at and end at , weighted by the appropriate Boltzmann factor.
Polymer partition function and propagator of a quantum particle
Let's perform the following change of variables: . We also identifies with and as the fine time.
Note that is the classical action of a particle with kinetic energy and time dependent potential , evolving from time zero to time . From the Feymann path integral formulation, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Z[x,\tilde t]} is the propagator of the quantum particle.
In absence of disorder, one can find the propagator of the free particle, that, in the original variables, writes:
Feynman-Kac formula
Let's derive the Feyman Kac formula for Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Z(x,t)} in the general case:
- First, focus on free paths and introduce the following probability
- Second, the moments generating function
- Third, the backward approach. Consider free paths evolving up to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t+dt} and reaching Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} :
Here is the average over all free paths, while is the average over the last jump, namely Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle \Delta x \rangle=0 } and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle \Delta x^2 \rangle=T d t } .
- At the lowest order we have
Replacing Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p=1/T} we obtain the partition function is the solution of the Schrodinger-like equation:
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Z[x,t=0]=\delta(x) }
Remarks
Remark 1:
This equation is a diffusive equation with multiplicative noise. Edwards Wilkinson is instead a diffusive equation with additive noise. The Cole Hopf transformation allows to map the diffusive equation with multiplicative noise in a non-linear equation with additive noise. We will apply this tranformation and have a surprise.
Remark 1: This hamiltonian is time dependent because of the multiplicative noise Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V(x,\tau)/T} . For a time independent hamiltonian, we can use the spectrum of the operator. In general we will have to parts:
- A discrete set of eigenvalues Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle E_n} with the eigenstates Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \psi_n(x)}
- A continuum part where the states Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \psi_E(x)} have energy Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle E} . We define the density of states (DOS) Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho(E)} , such that the number of states with energy in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (E, E+dE)} is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho(E) dE } .
In this case Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Z[x,t] } can be written has the sum of two contributions:
Exercise: free particle in 1D
- Step 1: The spectrum For a free particle there a no discrete eigenvalue, but only a continuum spectrum. In 1D the hamiltonian is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hat H =-(T/2) \partial_x^2} .
Shows that the continuum spectrum has the form
Here Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k } is a real number, while Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle E_k} is a positive number. Note that the states are delocalized on the entire real axis and they cannot be normalized.
- Step 2: From Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle E} For a given energy Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle E > } there are two states
Where the supercripts stay for left and right. Using Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho(E) \int_\{-\infty}^\infty dk \delta(E-E_k) } shows that for both left and right :
- Use the spectral decomposition of the propagator to recover
Cole Hopf Transformation
Replacing
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle T =2 \nu }
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = r }
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Z(x,t) = \exp\left(\frac{\lambda}{2 \nu} h(r,t) \right) }
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle - V(x,t)=\lambda \eta(r,t) }
You get
The KPZ equation!
We can establish a KPZ/Directed polymer dictionary, valid in any dimension. Let us remark that the free energy of the polymer is
At low temperature, the free energy approaches the ground state energy, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle E_{\min}} .
KPZ | KPZ exponents | Directed polymer | Directed polymer exponents |
---|---|---|---|
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r } | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r \sim t^{1/z}} | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x } | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\sim t^{\zeta}} |
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t} | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h(r,t) \sim t^{\alpha/z}} | ||
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h} | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h(r,t) \sim r^{\alpha}} | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F, E_{\min}} | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{(E_{\min} - \overline{E_{\min}})^2} \sim t^{2\theta} } |
We conclude that
Moreover, the scaling relation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \theta =2 \zeta- 1 } is a reincarnation of the Galilean invariance Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha +z =2 } .