https://johncarlosbaez.wordpress.com/2017/12/07/wigner-crystals/ Azimuth * Home * About Wigner Crystals [wigner_-cl] I'd like to explain a conjecture about Wigner crystals, which we came up with in a discussion on Google+. It's a purely mathematical conjecture that's pretty simple to state, motivated by the picture above. But let me start at the beginning. Electrons repel each other, so they don't usually form crystals. But if you trap a bunch of electrons in a small space, and cool them down a lot, they will try to get as far away from each other as possible--and they can do this by forming a crystal! This is sometimes called an electron crystal. It's also called a Wigner crystal, because the great physicist Eugene Wigner predicted in 1934 that this would happen. Only since the late 1980s have we been able to make electron crystals in the lab. Such a crystal can only form if the electron density is low enough. The reasons is that even at absolute zero, a gas of electrons has kinetic energy. At absolute zero the gas will minimize its energy. But it can't do this by having all the electrons in a state with zero momentum, since you can't put two electrons in the same state, thanks to the Pauli exclusion principle. So, higher momentum states need to be occupied, and this means there's kinetic energy. And it has more if its density is high: if there's less room in position space, the electrons are forced to occupy more room in momentum space. When the density is high, this prevents the formation of a crystal: instead, we have lots of electrons whose wavefunctions are 'sitting almost on top of each other' in position space, but with different momenta. They'll have lots of kinetic energy, so minimizing kinetic energy becomes more important than minimizing potential energy. When the density is low, this effect becomes unimportant, and the electrons mainly try to minimize potential energy. So, they form a crystal with each electron avoiding the rest. It turns out they form a body-centered cubic: a crystal lattice formed of cubes, with an extra electron in the middle of each cube. To know whether a uniform electron gas at zero temperature forms a crystal or not, you need to work out its so-called Wigner-Seitz radius. This is the average inter-particle spacing measured in units of the Bohr radius. The Bohr radius is the unit of length you can cook up from the electron mass, the electron charge and Planck's constant: \displaystyle{ a_0=\frac{\hbar^2}{m_e e^2} } It's mainly famous as the average distance between the electron and a proton in a hydrogen atom in its lowest energy state. Simulations show that a 3-dimensional uniform electron gas crystallizes when the Wigner-Seitz radius is at least 106. The picture, however, shows an electron crystal in 2 dimensions, formed by electrons trapped on a thin film shaped like a disk. In 2 dimensions, Wigner crystals form when the Wigner-Seitz radius is at least 31. In the picture, the density is so low that we can visualize the electrons as points with well-defined positions. So, the picture simply shows a bunch of points x_i trying to minimize the potential energy, which is proportional to \displaystyle{ \sum_{i \ne j} \frac{1}{\|x_i - x_j\|} } The lines between the dots are just to help you see what's going on. They're showing the Delauney triangulation, where we draw a graph that divides the plane into regions closer to one electron than all the rest, and then take the dual of that graph. Thanks to energy minimization, this triangulation wants to be a lattice of equilateral triangles. But since such a triangular lattice doesn't fit neatly into a disk, we also see some 'defects': [wigner_-cl] Most electrons have 6 neighbors. But there are also some red defects, which are electrons with 5 neighbors, and blue defects, which are electrons with 7 neighbors. Note that there are 6 clusters of defects. In each cluster there is one more red defect than blue defect. I think this is not a coincidence. Conjecture. When we choose a sufficiently large number of points x_i on a disk in such a way that \displaystyle{ \sum_{i \ne j} \frac{1}{\|x_i - x_j\|} } is minimized, and draw the Delauney triangulation, there will be 6 more vertices with 5 neighbors than vertices with 7 neighbors. Here's a bit of evidence for this, which is not at all conclusive. Take a sphere and triangulate it in such a way that each vertex has 5, 6 or 7 neighbors. Then here's a cool fact: there must be 12 more vertices with 5 neighbors than vertices with 7 neighbors. Puzzle. Prove this fact. If we think of the picture above as the top half of a triangulated sphere, then each vertex in this triangulated sphere has 5, 6 or 7 neighbors. So, there must be 12 more vertices on the sphere with 5 neighbors than with 7 neighbors. So, it makes some sense that the top half of the sphere will contain 6 more vertices with 5 neighbors than with 7 neighbors. But this is not a proof. I have a feeling this energy minimization problem has been studied with various numbers of points. So, there either be a lot of evidence for my conjecture, or some counterexamples that will force me to refine it. The picture shows what happens with 600 points on the disk. Maybe something dramatically different happens with 599! Maybe someone has even proved theorems about this. I just haven't had time to look for such work. The picture here was drawn by Arunas.rv and placed on Wikicommons on a Creative Commons Attribution-Share Alike 3.0 Unported license. Related This entry was posted on Thursday, December 7th, 2017 at 4:41 pm and is filed under mathematics, physics. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site. Post navigation << Previous Post Next Post >> 22 Responses to Wigner Crystals 1. [872] HaroldW says: 7 December, 2017 at 5:21 pm Why is the potential energy \frac{1}{\|x_i - x_j\|^2} and not \ frac{1}{\|x_i - x_j\|^1} ? Reply + [101] jessemckeown says: 7 December, 2017 at 9:03 pm I was going to ask why, in the 3-d case, the cloud doesn't condense into a thin shell on the boundaries of the box? Because that's what, in school, we were told happens to extra charge on a round conductor... Reply + [347] John Baez says: 7 December, 2017 at 10:32 pm Sorry, I was rushing and made a mistake. I'll fix it. Reply + [347] John Baez says: 8 December, 2017 at 5:21 pm The main reason all the charge doesn't go to the boundary of the disk is that we're working in two dimensions yet using the potential \phi = 1/r that's the solution of the Poisson equation \nabla^2 \phi = \frac{1}{4 \pi} \delta in three dimensions. If we minimized potential energy for the potential that solved Poisson's equation in two dimensions, the charge particles would indeed cluster on the boundary of the disk... ... at least in the limit where the number of particles approaches infinity. In the 3-dimensional case, for finite numbers of particles confined to a ball minimizing the potential energy \displaystyle{ \sum_{i \ne j} \frac{1}{\|x_i - x_j\|} ,} the particles don't always lie on the surface of the ball! In the 2-dimensional case, with the potential energy appropriate to 2 dimensions \displaystyle{ - \sum_{i \ne j} \ln \|x_i - x_j\| , } I think the case of 7 particles would be a good one to try, to see this effect. Reply o [a37] Pradeep Kumar says: 23 August, 2018 at 3:49 pm An electron gas where the particle motion is limited in two dimensions but the field lines are not limited, will have 1/r interaction. Reply o [347] John Baez says: 24 August, 2018 at 4:08 am Yes, that's what I said in my article. Reply 2. [edb] witzar01 says: 7 December, 2017 at 6:08 pm Puzzle solution: Let v, e, f be respectively the number of vertices, edges and faces of the triangulation, and let d be the difference between number of vertices with 5 edges and vertices with 7 edges. By counting edges using faces we get e = 3f/2, and by counting vertices using faces we get v = (3f + d)/6. Plugging it all into Euler characteristics (v - e + f = 2) we get the equation (3f + d)/6 - 3f/2 + f = 2, where all f's magically cancel out and we are left with d = 12. Reply + [347] John Baez says: 8 December, 2017 at 12:55 am Yes! Nice! It's neat to see how the 12 pops out, though it's not exactly surprising. [icosahedro] Reply 3. [101] jessemckeown says: 7 December, 2017 at 8:30 pm Sub-conjectures, then: electrons on the boundary always have four neighbours each (so pasting in a second copy of the whole makes a sphere, and introduces no 5- or 7-neighbour electrons); and any configurations with 4 or 8 neighbours can relax further. Reply + [347] John Baez says: 7 December, 2017 at 10:31 pm Right: Theorem. Given a triangulated disk, if each vertex in the interior has 5, 6 or 7 neighbors, and each vertex on the boundary has 4, then there are six more vertices with 5 neighbors than with 7. Proof. Take two copies of the triangulated disk and attach them in the obvious way, attaching each point on the boundary of one to the corresponding point on the boundary of the other, to form a triangulated sphere. Now the vertices that were on the boundary all have 6 neighbors. Thus, every vertex in the triangulated sphere has 5, 6, or 7 neighbors. However, because the Euler characteristic of a sphere is 2, there must be exactly twelve more vertices with 5 neighbors than with 7. (See the proof earlier in these comments.) Thus, in each copy of the triangulated disk, there must be six more vertices with 5 neighbors than with 7. Reply o [337] Tamfang says: 8 December, 2017 at 4:09 am Of course you mean "because the Euler characteristic of a sphere is 2," and each 5-way vertex accounts for 1/6 of this. Reply o [347] John Baez says: 8 December, 2017 at 7:06 am Right--I fixed that. A reasonable way to think about it is to imagine all the triangles as equilateral (even if they're not really). Then a vertex with 6 neighbors is flat, a vertex with 5 neighbors has an angle deficit of 60deg a vertex with 7 neighbors has an angle excess of 60deg, and so on. This, combined with the fact that any triangulation of a 2-sphere needs to have a total angle deficit of 720deg, gets the job done. It's a discretized version of the Gauss--Bonnet theorem. Reply 4. [337] Tamfang says: 7 December, 2017 at 8:52 pm Related question: when N>>120 balls are packed in S3 (positively curved 3space), presumably they form regions of face-centred cubic and/or body-centred cubic, but what are the defects like? Are they concentrated around 120 points, or along arcs, or what? Reply + [347] John Baez says: 8 December, 2017 at 1:03 am That's an interesting question. In flat space, the 'packing balls as densely as possible problem' leads to the face-centered cubic (or infinitely many other equally dense packings which are not lattices in the mathematical sense). The 'minimizing energy of particles repelling each other with an inverse square force law' problem leads to the body-centered cubic (uniquely?). The body-centered cubic is less dense than the face-centered cubic, and presumably the body-centered cubic has less energy per particle than the face-centered cubic. Now, on to the 3-sphere. I don't know the solution to either problem in this case. In the limit of large numbers of balls (resp. particles) I'd expect large patches of face-centered cubic (resp. body-centered cubic). But I don't know what the defects are like. Does anyone know? Reply + [347] John Baez says: 8 December, 2017 at 4:57 pm Hre are pictures of configurations of points on the 2-sphere that minimize the energy \displaystyle{ \sum_{i \ne j} \|x_i - x_j\|^{-1} } * Ann Davis, Scott Malloy, Michael Neubauer, Mark Schilling, William Watkins, Joel Zeitlin, Potential minimizing configurations of points on the sphere. The pictures go up to 75 points, with some gaps. Here is the case of 72 points, where apparently there are some squares: [n72bpic] Reply o [337] Tamfang says: 8 December, 2017 at 7:30 pm I've got a little list . . . Reply o [347] John Baez says: 10 December, 2017 at 5:06 pm Nice! Maybe you should add some information about particles on discs to your list. This is the best thing I've found so far, but it has references to more: * A. Worley, Minimal energy configurations for charged particles on a thin conducting disc: the perimeter particles. Reply 5. [316] A says: 8 December, 2017 at 2:27 pm I'd imagine you want to look into Burgers vectors if you haven't already, since there are conservation laws related to them that can be applied to defects in crystals. Decent summary can be found in this book: Click to access UploadFile_6472.pdf Reply 6. [347] John Baez says: 8 December, 2017 at 5:34 pm Here is a paper on minimizing \displaystyle{ \sum_{i \ne j} \|x_i - x_j\|^{-1} } for a collection of points on the disk: * A. Worley, Minimal energy configurations for charged particles on a thin conducting disc: the perimeter particles. One interesting thing I hadn't guessed is that the particles often lie on concentric shells. Abstract. The lowest energy configurations for N equal charged particles confined to a thin conducting disc have been investigated in detail up to N = 160 and in outline for further values up to N = 500. For all values of N up to 160 the particle configurations can be described in terms of concentric shells. The number of perimeter particles p appears to be simply related to N and to the mean radius of the outermost internal shell. Justification for these relations is obtained from a simple model based on the well-known distribution of continuous charge on a conducting disc. In the N - [?] limit the density of particles in the unit disk is proportional to \displaystyle{ \frac{1}{\sqrt{ 1- r^2}} } Other interesting things: In the range N <= 80, the configuration for N + 1 is, with one exception, the same as that for N with the addition of one particle to an existing shell or the creation of a new shell with a particle placed at the centre. The single exception is the pair N = 55 (with shell structure 5-13-37) and N = 56 (with shell structure 1-6-12-37). For the range 81 <= N <= 160 there are four exceptions to the usual pattern: N = 97-98, 117-118, 150-151 and 152-153. The first case where the particles don't lie on concentric shells is N = 185. [charged_pa] Reply + [872] HaroldW says: 9 December, 2017 at 2:44 pm An interesting contrast is "Topological defect motifs in two-dimensional Coulomb clusters" by Arunas Radzvilavicius and Egidijus Anisimovas where the particles are confined by a parabolic energy well, rather than a square well. They write, "Distribution of defects in a parabolic confinement is by large determined by a conflict between the circular boundary and the bulk-like interior where a hexagonal lattice is preferred. Small clusters (N <= 70) have no bulk and exhibit a shell structure defined by the circular symmetry of the confinement." Their Figure 5 (N=520) is similar to the figure at the top of your post. Reply o [347] John Baez says: 11 December, 2017 at 4:36 pm There are very nice results in this paper - for example, a description of some common defect patterns. Such patterns should appear in a large 2d Wigner crystal for a large variety of potentials (i.e. parabolic potential, square well potential on a disc, etc.). Reply 7. Wigner Crystals - The web development company says: 15 August, 2021 at 5:43 pm [...] Article URL: https://johncarlosbaez.wordpress.com/2017/12/07/ wigner-crystals/ [...] Reply You can use Markdown or HTML in your comments. You can also use LaTeX, like this: $latex E = m c^2 $. The word 'latex' comes right after the first dollar sign, with a space after it. Cancel reply Enter your comment here... [ ] Fill in your details below or click an icon to log in: * * * * * Gravatar Email (required) (Address never made public) [ ] Name (required) [ ] Website [ ] WordPress.com Logo You are commenting using your WordPress.com account. ( Log Out / Change ) Google photo You are commenting using your Google account. ( Log Out / Change ) Twitter picture You are commenting using your Twitter account. ( Log Out / Change ) Facebook photo You are commenting using your Facebook account. ( Log Out / Change ) Cancel Connecting to %s [ ] Notify me of new comments via email. [ ] Notify me of new posts via email. [Post Comment] [ ] [ ] [ ] [ ] [ ] [ ] [ ] [ ] This site uses Akismet to reduce spam. Learn how your comment data is processed. * latest posts: + Information Geometry (Part 20) + Information Geometry (Part 19) + Information Geometry (Part 18) + Structured vs Decorated Cospans (Part 2) + Information Geometry (Part 17) + Thermodynamics and Economic Equilibrium + The Ideal Monatomic Gas + Fisher's Fundamental Theorem (Part 4) + Complex Adaptive System Design (Part 10) + Nonequilibrium Thermodynamics in Biology (Part 2) * latest comments: [347] John Baez on Information Geometry (Part... [68c] Toby Bartels on Information Geometry (Part... [347] John Baez on Information Geometry (Part... [347] John Baez on Information Geometry (Part... [347] John Baez on Information Geometry (Part... Wigner Crystals - Th... on Wigner Crystals [cac] francisrlb on Information Geometry (Part... [68c] Toby Bartels on Information Geometry (Part... [bcf] Emmy Blumenthal on Information Geometry (Part... Information Geometry... on Classical Mechanics versus The... * How To Write Math Here: You can include math in your comments using LaTeX, but you need to do it this way: $latex E = mc^2$ You need the word 'latex' right after the first dollar sign, and it needs a space after it. Double dollar signs don't work, and other limitations apply, some described here. You can't preview comments here, but I'm happy to fix errors. * Read Posts On: + art (3) + astronomy (29) + azimuth (60) + biodiversity (38) + biology (107) + carbon emissions (78) + chemistry (74) + climate (155) + computer science (57) + conferences (81) + culture (4) + economics (32) + energy (50) + engineering (11) + game theory (29) + geography (4) + health (4) + history (2) + information and entropy (91) + jobs (11) + journals (5) + mathematics (472) + music (3) + networks (185) + oceans (13) + physics (198) + probability (91) + psychology (6) + publishing (19) + puzzles (14) + quantum technologies (28) + questions (3) + risks (48) + seminars (21) + software (19) + strategies (36) + sustainability (71) + the practice of science (27) + this week's finds (18) * also visit these: + Azimuth Blog Overview + Azimuth Project + Bit Tooth Energy + Brave New Climate + Do the Math + Dot Earth + Environment 360 + Planet3.0 + RealClimate + Serendipity + The Science of Doom + Yale Environment 360 * RSS feeds: RSS Feed RSS - Posts RSS Feed RSS - Comments * Email Subscription: Enter your email address to subscribe to this blog and receive notifications of new posts by email. Join 5,186 other followers Email Address: [ ] Sign me up! * SEARCH: Search[ ] [Search] * Blog Stats: + 4,140,729 hits Blog at WordPress.com. [b]