L2 ICFP: Difference between revisions
No edit summary |
|||
| Line 1: | Line 1: | ||
= Interfaces and manifolds = | = Interfaces and manifolds = | ||
Many physical systems are governed by elastic manifolds embedded in a higher-dimensional | Many physical systems are governed by elastic manifolds embedded in a higher-dimensional medium. Typical examples include domain walls in ferromagnets, dislocations in crystals, vortex lines in superconductors, and propagating fronts. | ||
medium. Typical examples include domain walls in ferromagnets, dislocations in crystals, | |||
vortex lines in superconductors, and propagating fronts. | |||
We introduce the following notation: | We introduce the following notation: | ||
* <math>d</math>: internal dimension of the manifold | * <math>d</math>: internal dimension of the manifold | ||
* <math>N</math>: dimension of the displacement (or height) field | * <math>N</math>: dimension of the displacement (or height) field | ||
* <math>D</math>: dimension of the embedding space | * <math>D</math>: dimension of the embedding space | ||
These satisfy | These satisfy | ||
<math display="block">D = d + N</math> | |||
Two important cases are: | Two important cases are: | ||
* '''Interfaces''' (<math>N = 1</math>): | * '''Interfaces''' (<math>N = 1</math>): | ||
The configuration is described by a scalar height field | The configuration is described by a scalar height field <math>h(\vec r,t)</math>, where <math>\vec r \in \mathbb{R}^d</math> is the internal coordinate. | ||
<math>h(\vec r,t)</math>, where <math>\vec r \in \mathbb{R}^d</math> is the internal coordinate. | |||
* '''Directed polymers''' (<math>d = 1</math>): | * '''Directed polymers''' (<math>d = 1</math>): | ||
The configuration is described by a vector function <math>\vec x(t)</math> embedded in | The configuration is described by a vector function <math>\vec x(t)</math> embedded in <math>D = 1 + N</math> dimensions. | ||
<math>D = 1 + N</math> dimensions. | |||
'''Remark.''' | '''Remark.''' | ||
With this notation, a one-dimensional interface (<math>d=1</math>, <math>N=1</math>) | With this notation, a one-dimensional interface (<math>d=1</math>, <math>N=1</math>) can be viewed both as an interface and as a directed polymer. | ||
can be viewed both as an interface and as a directed polymer. | |||
In this lecture we focus on thermal interfaces. | In this lecture we focus on thermal interfaces. | ||
= Thermal interfaces: Langevin dynamics = | = Thermal interfaces: Langevin dynamics = | ||
We consider an interface at thermal equilibrium at temperature <math>T</math>. | We consider an interface at thermal equilibrium at temperature <math>T</math>. Two assumptions are made: | ||
Two assumptions are made: | |||
* Overhangs and pinch-off are neglected, so <math>h(\vec r,t)</math> is single-valued. | * Overhangs and pinch-off are neglected, so <math>h(\vec r,t)</math> is single-valued. | ||
| Line 41: | Line 33: | ||
The Langevin equation of motion reads | The Langevin equation of motion reads | ||
<math display="block"> | |||
\partial_t h(\vec r,t) | \partial_t h(\vec r,t) | ||
= -\mu \frac{\delta E_{\mathrm{pot}}}{\delta h(\vec r,t)} + \eta(\vec r,t). | = -\mu \frac{\delta E_{\mathrm{pot}}}{\delta h(\vec r,t)} + \eta(\vec r,t). | ||
</math | </math> | ||
Here <math>\mu</math> is the mobility and <math>\eta(\vec r,t)</math> is a Gaussian thermal noise, | Here <math>\mu</math> is the mobility and <math>\eta(\vec r,t)</math> is a Gaussian thermal noise, with | ||
with | <math display="block"> | ||
\langle \eta(\vec r,t)\rangle = 0, | \langle \eta(\vec r,t)\rangle = 0, | ||
\qquad | \qquad | ||
\langle \eta(\vec r,t)\eta(\vec r',t')\rangle | \langle \eta(\vec r,t)\eta(\vec r',t')\rangle | ||
= 2 d D \,\delta^d(\vec r-\vec r')\,\delta(t-t'). | = 2 d D \,\delta^d(\vec r-\vec r')\,\delta(t-t'). | ||
</math | </math> | ||
The diffusion constant is fixed by the Einstein relation | The diffusion constant is fixed by the Einstein relation | ||
<math display="block">D = \mu k_B T.</math> | |||
In the following we set <math>\mu = k_B = 1</math>. | In the following we set <math>\mu = k_B = 1</math>. | ||
== Elastic energy and Edwards–Wilkinson equation == | == Elastic energy and Edwards–Wilkinson equation == | ||
The elastic energy associated with surface tension can be written as | The elastic energy associated with surface tension can be written as | ||
<math display="block"> | |||
E_{\mathrm{pot}} | E_{\mathrm{pot}} | ||
= \nu \int d^d r \sqrt{1+(\nabla h)^2} | = \nu \int d^d r \sqrt{1+(\nabla h)^2} | ||
\simeq \text{const.} + \frac{\nu}{2}\int d^d r (\nabla h)^2, | \simeq \text{const.} + \frac{\nu}{2}\int d^d r (\nabla h)^2, | ||
</math | </math> | ||
where <math>\nu</math> is the stiffness. | where <math>\nu</math> is the stiffness. | ||
Keeping only the lowest-order term in gradients, the equation of motion becomes | Keeping only the lowest-order term in gradients, the equation of motion becomes the Edwards–Wilkinson (EW) equation: | ||
the Edwards–Wilkinson (EW) equation: | <math display="block"> | ||
\partial_t h(\vec r,t) = \nu \nabla^2 h(\vec r,t) + \eta(\vec r,t). | \partial_t h(\vec r,t) = \nu \nabla^2 h(\vec r,t) + \eta(\vec r,t). | ||
</math | </math> | ||
=== Symmetries and scaling invariance === | === Symmetries and scaling invariance === | ||
The EW equation is invariant under global height shifts | The EW equation is invariant under global height shifts <math>h(\vec r,t) \to h(\vec r,t) + c</math>. This symmetry forbids any local term depending on the absolute height and ensures the absence of a characteristic length scale, leading to scale invariance of the form | ||
<math>h(\vec r,t) \to h(\vec r,t) + c</math>. This symmetry forbids any local term depending on the absolute height and ensures the absence of a characteristic length scale, leading to scale invariance of the form | <math display="block"> | ||
h(b\vec r, b^z t) \overset{\text{in law}}{\sim} b^\alpha h(\vec r,t), | h(b\vec r, b^z t) \overset{\text{in law}}{\sim} b^\alpha h(\vec r,t), | ||
</math | </math> | ||
where <math>z</math> is the dynamical exponent and <math>\alpha</math> the roughness exponent. | where <math>z</math> is the dynamical exponent and <math>\alpha</math> the roughness exponent. | ||
A simple dimensional analysis gives | A simple dimensional analysis gives | ||
<math display="block"> | |||
b^{\alpha-z}\partial_t h | b^{\alpha-z}\partial_t h | ||
= b^{\alpha-2}\nabla^2 h + b^{-d/2-z/2}\eta. | = b^{\alpha-2}\nabla^2 h + b^{-d/2-z/2}\eta. | ||
</math | </math> | ||
From this one finds | From this one finds | ||
<math display="block"> | |||
z = 2, | z = 2, | ||
\qquad | \qquad | ||
\alpha = \frac{2-d}{2}. | \alpha = \frac{2-d}{2}. | ||
</math | </math> | ||
Thus the interface is rough for <math>d<2</math> and marginal at <math>d=2</math>. | Thus the interface is rough for <math>d<2</math> and marginal at <math>d=2</math>. | ||
| Line 104: | Line 91: | ||
== Solution in Fourier space == | == Solution in Fourier space == | ||
We now focus on a one-dimensional interface (<math>d=1</math>) of size <math>L</math> with periodic boundary conditions. We use the Fourier decomposition | |||
<math display="block"> | |||
We now focus on a one-dimensional interface (<math>d=1</math>) of size <math>L</math> | |||
with periodic boundary conditions. We use the Fourier decomposition | |||
\hat h_q(t) | \hat h_q(t) | ||
= \frac{1}{L}\int_0^L dx\, e^{iqx} h(x,t), | = \frac{1}{L}\int_0^L dx\, e^{iqx} h(x,t), | ||
\qquad | \qquad | ||
h(x,t)=\sum_q e^{-iqx}\hat h_q(t), | h(x,t)=\sum_q e^{-iqx}\hat h_q(t), | ||
</math | </math> | ||
with wavevectors | with wavevectors | ||
<math display="block"> | |||
q=\frac{2\pi n}{L}, | q=\frac{2\pi n}{L}, | ||
\qquad | \qquad | ||
n=\ldots,-1,0,1,\ldots | n=\ldots,-1,0,1,\ldots | ||
</math | </math> | ||
For these discrete wavevectors, the Fourier modes satisfy the orthogonality relation | For these discrete wavevectors, the Fourier modes satisfy the orthogonality relation | ||
<math display="block">\int_0^L dx\, e^{i(q_1+q_2)x} = L\,\delta_{q_1,-q_2}.</math> | |||
< | Assuming a spatially and temporally white noise, <math>\langle \eta(x,t)\eta(x',t')\rangle = 2T\,\delta(x-x')\,\delta(t-t')</math>, one finds that the Fourier components of the noise satisfy | ||
<math display="block">\langle \eta_{q_1}(t')\eta_{q_2}(t)\rangle = \frac{2T}{L}\,\delta_{q_1,-q_2}\,\delta(t-t').</math> | |||
With these definitions, the Edwards–Wilkinson equation becomes diagonal in Fourier space: | |||
<math display="block"> | |||
With these definitions, the Edwards–Wilkinson equation becomes diagonal in | |||
Fourier space: | |||
\partial_t \hat h_q(t) | \partial_t \hat h_q(t) | ||
= -\nu q^2 \hat h_q(t) + \eta_q(t). | = -\nu q^2 \hat h_q(t) + \eta_q(t). | ||
</math | </math> | ||
The solution of this linear equation is | The solution of this linear equation is | ||
<math display="block"> | |||
\hat h_q(t) | \hat h_q(t) | ||
= \hat h_q(0)e^{-\nu q^2 t} | = \hat h_q(0)e^{-\nu q^2 t} | ||
+ \int_0^t ds\, e^{-\nu q^2(t-s)}\eta_q(s). | + \int_0^t ds\, e^{-\nu q^2(t-s)}\eta_q(s). | ||
</math | </math> | ||
Assuming a flat initial condition, <math>\hat h_q(0)=0</math>, one finds | Assuming a flat initial condition, <math>\hat h_q(0)=0</math>, one finds | ||
<math display="block"> | |||
\langle \hat h_q(t)\hat h_{-q}(t)\rangle | \langle \hat h_q(t)\hat h_{-q}(t)\rangle | ||
= | = | ||
| Line 154: | Line 134: | ||
& q=0. | & q=0. | ||
\end{cases} | \end{cases} | ||
</math | </math> | ||
The mode <math>q=0</math> corresponds to the spatial average of the height, i.e.\ | The mode <math>q=0</math> corresponds to the spatial average of the height, i.e.\ to the center-of-mass position of the interface. Its fluctuations grow diffusively, | ||
to the center-of-mass position of the interface. | <math display="block"> | ||
Its fluctuations grow diffusively, | |||
\langle \hat h_0(t)^2\rangle = \frac{2T}{L}\,t, | \langle \hat h_0(t)^2\rangle = \frac{2T}{L}\,t, | ||
</math | </math> | ||
with a diffusion constant proportional to <math>1/L</math>, reflecting the fact | with a diffusion constant proportional to <math>1/L</math>, reflecting the fact that the interface is composed of <math>L</math> degrees of freedom. | ||
that the interface is composed of <math>L</math> degrees of freedom. | |||
The modes with <math>q\neq 0</math> describe internal fluctuations of the | The modes with <math>q\neq 0</math> describe internal fluctuations of the interface. The relaxation time of a mode of wavevector <math>q</math> scales as | ||
interface. The relaxation time of a mode of wavevector <math>q</math> scales as | <math display="block">\tau_q \sim \frac{1}{\nu q^2}.</math> | ||
\tau_q \sim \frac{1}{\nu q^2}. | |||
</math | |||
Since <math>q</math> has the dimension of an inverse length, this relaxation time suggests the existence of a growing dynamical length scale | Since <math>q</math> has the dimension of an inverse length, this relaxation time suggests the existence of a growing dynamical length scale | ||
<math display="block"> | |||
\ell(t) \sim t^{1/z}, | \ell(t) \sim t^{1/z}, | ||
\qquad z=2, | \qquad z=2, | ||
</math | </math> | ||
such that modes with wavelength smaller than <math>\ell(t)</math> | such that modes with wavelength smaller than <math>\ell(t)</math> (i.e. <math>q \gg 1/\ell(t)</math>) have already equilibrated, while at longer wavelengths the interface still retains memory of the initial flat condition. Form dimensional analysis, the equilibrium decay <math>\sim 1/(L q^2)</math> is consistent with the roughness exponent <math>\alpha = 1/2</math>, as expected for the Edwards–Wilkinson universality class in one dimension. | ||
(i.e. <math>q \gg 1/\ell(t)</math>) have already equilibrated, while at longer | |||
wavelengths the interface still retains memory of the initial flat condition. | |||
Form dimensional analysis, the equilibrium decay <math>\sim 1/(L q^2)</math> is consistent with the | |||
roughness exponent <math>\alpha = 1/2</math>, as expected for the | |||
Edwards–Wilkinson universality class in one dimension. | |||
== Width of the interface == | == Width of the interface == | ||
The squared width of the interface is defined as | The squared width of the interface is defined as | ||
<math display="block"> | |||
w_2(t) | w_2(t) | ||
= \int_0^L \frac{dr}{L} | = \int_0^L \frac{dr}{L} | ||
| Line 192: | Line 161: | ||
h(r,t) - \int_0^L \frac{dr}{L} h(r,t) | h(r,t) - \int_0^L \frac{dr}{L} h(r,t) | ||
\right]^2. | \right]^2. | ||
</math | </math> | ||
Using the Fourier decomposition and Parseval’s theorem, one finds | Using the Fourier decomposition and Parseval’s theorem, one finds | ||
<math display="block">w_2(t) = \sum_{q\neq 0} |\hat h_q(t)|^2.</math> | |||
w_2(t) = \sum_{q\neq 0} |\hat h_q(t)|^2. | |||
</math | |||
Taking the average over the thermal noise yields | Taking the average over the thermal noise yields | ||
<math display="block"> | |||
\langle w_2(t)\rangle | \langle w_2(t)\rangle | ||
= \frac{T}{L\nu} | = \frac{T}{L\nu} | ||
\sum_{q\neq 0}\frac{1-e^{-2\nu q^2 t}}{q^2}. | \sum_{q\neq 0}\frac{1-e^{-2\nu q^2 t}}{q^2}. | ||
</math | </math> | ||
For periodic boundary conditions, with <math>q = 2\pi n/L</math>, this can be | For periodic boundary conditions, with <math>q = 2\pi n/L</math>, this can be rewritten as | ||
rewritten as | <math display="block"> | ||
\langle w_2(t)\rangle | \langle w_2(t)\rangle | ||
= \frac{T L}{2\pi^2\nu} | = \frac{T L}{2\pi^2\nu} | ||
\sum_{n=1}^{\infty} | \sum_{n=1}^{\infty} | ||
\frac{1-e^{-8\pi^2\nu t n^2/L^2}}{n^2}. | \frac{1-e^{-8\pi^2\nu t n^2/L^2}}{n^2}. | ||
</math> | </math> | ||
=== Long-time behavior === | === Long-time behavior === | ||
At long times, <math>t \gg L^2</math>, all modes have relaxed and the exponential | At long times, <math>t \gg L^2</math>, all modes have relaxed and the exponential term can be neglected. One obtains | ||
term can be neglected. One obtains | <math display="block"> | ||
\langle w_2(t)\rangle | \langle w_2(t)\rangle | ||
\sim \frac{T L}{2\pi^2\nu} | \sim \frac{T L}{2\pi^2\nu} | ||
\sum_{n=1}^{\infty}\frac{1}{n^2} | \sum_{n=1}^{\infty}\frac{1}{n^2} | ||
= \frac{T}{\nu}\frac{L}{12}. | = \frac{T}{\nu}\frac{L}{12}. | ||
</math | </math> | ||
Thus the width saturates at a value proportional to the system size. | Thus the width saturates at a value proportional to the system size. | ||
| Line 232: | Line 195: | ||
=== Short-time behavior === | === Short-time behavior === | ||
At short times, <math>t \ll L^2</math>, the sum can be approximated by an integral. | At short times, <math>t \ll L^2</math>, the sum can be approximated by an integral. Replacing <math>\sum_n \to \frac{L}{2\pi}\int dq</math>, one finds | ||
Replacing | <math display="block"> | ||
<math>\sum_n \to \frac{L}{2\pi}\int dq</math>, one finds | |||
\langle w_2(t)\rangle | \langle w_2(t)\rangle | ||
\simeq \frac{T}{\nu} | \simeq \frac{T}{\nu} | ||
\int_0^{\infty} \frac{dq}{2\pi} | \int_0^{\infty} \frac{dq}{2\pi} | ||
\frac{1-e^{-2\nu q^2 t}}{q^2}. | \frac{1-e^{-2\nu q^2 t}}{q^2}. | ||
</math | </math> | ||
Evaluating the integral gives | Evaluating the integral gives | ||
<math display="block"> | |||
\langle w_2(t)\rangle | \langle w_2(t)\rangle | ||
\sim T\sqrt{\frac{2t}{\pi\nu}}, | \sim T\sqrt{\frac{2t}{\pi\nu}}, | ||
\qquad t \ll L^2. | \qquad t \ll L^2. | ||
</math | </math> | ||
Latest revision as of 15:41, 1 March 2026
Interfaces and manifolds
Many physical systems are governed by elastic manifolds embedded in a higher-dimensional medium. Typical examples include domain walls in ferromagnets, dislocations in crystals, vortex lines in superconductors, and propagating fronts.
We introduce the following notation:
- : internal dimension of the manifold
- : dimension of the displacement (or height) field
- : dimension of the embedding space
These satisfy
Two important cases are:
- Interfaces ():
The configuration is described by a scalar height field , where is the internal coordinate.
- Directed polymers ():
The configuration is described by a vector function embedded in dimensions.
Remark. With this notation, a one-dimensional interface (, ) can be viewed both as an interface and as a directed polymer.
In this lecture we focus on thermal interfaces.
Thermal interfaces: Langevin dynamics
We consider an interface at thermal equilibrium at temperature . Two assumptions are made:
- Overhangs and pinch-off are neglected, so is single-valued.
- The dynamics is overdamped; inertial effects are neglected.
The Langevin equation of motion reads
Here is the mobility and is a Gaussian thermal noise, with
The diffusion constant is fixed by the Einstein relation
In the following we set .
Elastic energy and Edwards–Wilkinson equation
The elastic energy associated with surface tension can be written as where is the stiffness.
Keeping only the lowest-order term in gradients, the equation of motion becomes the Edwards–Wilkinson (EW) equation:
Symmetries and scaling invariance
The EW equation is invariant under global height shifts . This symmetry forbids any local term depending on the absolute height and ensures the absence of a characteristic length scale, leading to scale invariance of the form where is the dynamical exponent and the roughness exponent.
A simple dimensional analysis gives
From this one finds
Thus the interface is rough for and marginal at .
Solution in Fourier space
We now focus on a one-dimensional interface () of size with periodic boundary conditions. We use the Fourier decomposition with wavevectors
For these discrete wavevectors, the Fourier modes satisfy the orthogonality relation
Assuming a spatially and temporally white noise, , one finds that the Fourier components of the noise satisfy
With these definitions, the Edwards–Wilkinson equation becomes diagonal in Fourier space:
The solution of this linear equation is
Assuming a flat initial condition, , one finds
The mode corresponds to the spatial average of the height, i.e.\ to the center-of-mass position of the interface. Its fluctuations grow diffusively, with a diffusion constant proportional to , reflecting the fact that the interface is composed of degrees of freedom.
The modes with describe internal fluctuations of the interface. The relaxation time of a mode of wavevector scales as
Since has the dimension of an inverse length, this relaxation time suggests the existence of a growing dynamical length scale such that modes with wavelength smaller than (i.e. ) have already equilibrated, while at longer wavelengths the interface still retains memory of the initial flat condition. Form dimensional analysis, the equilibrium decay is consistent with the roughness exponent , as expected for the Edwards–Wilkinson universality class in one dimension.
Width of the interface
The squared width of the interface is defined as
Using the Fourier decomposition and Parseval’s theorem, one finds
Taking the average over the thermal noise yields
For periodic boundary conditions, with , this can be rewritten as
Long-time behavior
At long times, , all modes have relaxed and the exponential term can be neglected. One obtains
Thus the width saturates at a value proportional to the system size.
Short-time behavior
At short times, , the sum can be approximated by an integral. Replacing , one finds
Evaluating the integral gives