From 3Blue1Brown.
Deriving the Boltzmann formula, defining temperature, and simulating liquid/vapor.
@SpectralCollective has the second part: https://youtu.be/yEcysu5xZH0
You can play with a simulation of this model here: https://vilas.us/simulations/liquidvapor/
These lessons are funded directly by viewers: https://3b1b.co/support
Home page: https://www.3blue1brown.com
Notes from Vilas:
1) This open problem is to prove the ergodicity of the deterministic dynamical systems that are used to model the molecule-level physics. A good example of such a dynamical system is the box with particles evolving according to Newton’s laws with elastic collisions, like in the video.
2) This video assumes that all probability distributions are discrete, which is the case in the simulations. But one can also set up this formalism for systems with continuous state spaces. Again, a good example is particles in a box, which are not restricted to a lattice, which is only used for visualization purposes in this video.
3) Strictly speaking, these "derivatives" don’t make sense since in our simulations the energy can only take on a discrete set of values. But a derivative is the right way to think about this, and is the correct notion in a limiting sense.
4) The factor of -T in the definition of the chemical potential is sort of a historical leftover, but including it has the convenient side effect of allowing the same Boltzmann formula to hold, with an energy function that depends on the chemical potential as well. It should also be noted that temperature must equalize in any situation where the chemical potential equalizes, since it is impossible for systems to exchange molecules without also exchanging energy.
5) This algorithm, where we only choose one pixel at a time, is called Glauber dynamics. There are multiple ways to parallelize it, but the method chosen in this video is to only update each pixel with a low probability at each call of the compute shader, to avoid (frequently) updating two neighboring pixels simultaneously. One could also alternate between updating the even or odd pixels at each step.
6) By "zooming out," what is meant, technically, is a renormalization operation whereby each 3×3 grid of pixels is replaced by just one pixel, which has a molecule exactly when 5 or more of the pixels in the 3×3 grid have molecules. But that is somewhat tough to simulate as the size has to increase by 9 at each step, so this video cheats a bit by just zooming out on a large simulation.
7) The "interesting behavior" referenced here is the fact that the interface between the up and down sections of the picture can be rescaled (as the size of the model goes to infinity) in a way that yields a universal random curve called Schramm-Loewner evolution. This family of random curves shows up in many seemingly-unrelated places in statistical mechanics and probability.
Chapter markers:
0:00 – What is phase change?
6:27 – The Boltzmann law and free energy
12:05 – A preliminary simulation
15:30 – Defining temperature
21:25 – Deriving the Boltzmann law
24:30 – Sampling with MCMC
28:30 – Chemical potential
33:20 – Interesting properties
This video made use of the following Creative Commons material:
https://commons.m.wikimedia.org/wiki/File:Blue_rotating_brain_animation.mpg
