mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.9K
active users

This shows a 2-dimensional 'electron crystal', formed when very cold electrons at low density are confined to a disk. The vertices are the electrons. The edges are just to help you see the pattern.

To minimize energy, the pattern wants to be a lattice of equilateral triangles. But since such a lattice doesn’t fit neatly into a disk, there are also some red and blue ‘defects'.

5 triangles meet at each red vertex. 7 meet at each blue vertex.

Now it's time to make some conjectures!

(1/n)

Take N points 𝑥ᵢ on the unit disk, arranged so as to minimize the energy

ij1xixj

I conjecture that when N is large, when we form the Delauney triangulation of these points, most points will be connected to 6 others, while those on the boundary will be connected to 4. There will also be 'red and blue defects' - points connected to 5 or 7 others.

And I conjecture that there will be 6 more red defects than blue defects!

(2/n)

I don't have much evidence for this conjecture. But I have a hand-wavy argument for why there should be 6 more red defects than blue ones. It's here:

johncarlosbaez.wordpress.com/2

The easiest way forward would be to take N points on the unit disk, and use some algorithm to move them around until their energy is approximately minimized, and then work out the Delauney triangulation:

en.wikipedia.org/wiki/Delaunay

and count the defects of various kinds. If you give it a try, let me know!

(3/n, n = 3)

AzimuthWigner CrystalsBy John Baez

@johncarlosbaez Maybe Euler's formula can be used here? A related well-known fact about e.g. 3D meshes (triangulations of closed surfaces) is that on average every vertex has degree 6 (the exact value is 6-\chi(X)/12V or something like that).

John Carlos Baez

@lisyarus - yes, if you read my article about this you'll see I use Euler's formula to heuristically argue for 6 more red defects than blue ones:

johncarlosbaez.wordpress.com/2

But it's not a proof!

@johncarlosbaez Ah, I see!

Now I'm also incredibly tempted to write some simulation that would do the thing with any number of points...

@johncarlosbaez Interestingly, I consistently get results that look more like this, i.e. density gets higher closer to the disk edge

@johncarlosbaez Oh, I've read the wiki article and they say they have an extra parabolic potential added to the system. Gonna try that as well.

@lisyarus - Very nice result! Sorry, I forgot to mention the quadratic potential. If it's easy to run 100 simulations with different number of points and see if there are always 6 more red defects than blue ones, that would be cool.