Water is complicated and fascinating stuff! There are at least sixteen known crystal phases of ice, many shown in this diagram based on the work of Martin Chaplin:

(Click for a larger version.)

For example, ordinary ice is called ice I_{h}, because it has hexagonal crystals. But if you cool it below -37 °C, scientists believe it will gradually turn into a cubic form, called ice I_{c}. In this form of ice the water molecules are arranged like carbons in a diamond! And apparently some of it can be found in ice crystals in the stratosphere.

But if you wait longer, ice below -37 °C will turn into ice XI. The transformation process is slow, but ice XI has been found in Antarctic ice that’s 100 to 10,000 years old. This ice is ferroelectric, meaning that it spontaneously become electrically polarized, just like a ferromagnet spontaneously magnetizes.

That’s the usual textbook story, anyway. The true story may be even more complicated:

• Simon Hadlington, A question mark over cubic ice’s existence, *Phys.org*, 9 January 2012.

But now a team led by Benjamin Murray at the University of Leeds has carried out work that suggests that cubic ice may not in fact exist. The researchers searched for cubic ice by suspending water droplets in oil and gradually cooling them to -40 °C while observing the X-ray diffraction pattern of the resulting crystals. “We modelled the diffraction pattern we obtained and compared it to perfect cubic and perfect hexagonal ice, and it was clearly neither of them,” Murray says. “Nor is it merely a mixture of the two. Rather it is something quite distinct.”

Analysis of the diffraction data shows that in the ice crystals the stacking of the atomic layers is disordered. “The crystals that form have randomly stacked layers of cubic and hexagonal sequences,” Murray says. “As each new layer is added, there is a 50% probability of it being either hexagonal or cubic.” The result is a novel, metastable form of ice with a stacking-disordered structure.

Re-examination of what had previously been identified as cubic ice suggests that this was stacking-disordered structures too, Murray says. “Cubic ice may not exist.”

Even plain old ice I_{h} is surprisingly tricky stuff. The crystal structure is subtle, first worked out by Linus Pauling in 1935. Here’s a nice picture by Steve Lower:

There’s a lot of fun math here. First focus on the oxygen atoms, in red. What sort of pattern do they form?

### Close-packings

To warm up for that question, it really helps to start by watching this video:

It’s not flashy, but it helped me understand something that had been bothering me for *decades!* This is truly beautiful stuff: part of the geometry of nature.

But I’ll explain ice I_{h} from scratch—and while I’m at it, ice I_{c}.

First we need to think about packing balls. Say you’re trying to pack equal-sized balls as densely as possible. You put down a layer in a hexagonal way, like the balls labelled ‘a’ here:

Then you put down a second hexagonal layer of balls. You might as well put them in the spots labelled ‘b’. There’s another choice, but the symmetry of the situation means it doesn’t matter which you pick!

The fun starts at the third layer. If you want, you can put these balls in the positions labelled ‘a’, directly over the balls in the first layer. And you can go on like this forever, like this:

This gives you the **hexagonal close packing**.

But there’s another choice for where to put the balls in the third layer… and now it *does matter which choice you pick!* The other choice is to put these balls in the spots labelled ‘c’:

And then you can go on forever like this:

This gives you the **cubic close packing**.

There’s also an uncountable infinity of other patterns that all give you equally dense packings. For example:

You just can’t repeat the same letter twice in a row!

To review, here’s the difference between the hexagonal and cubic close packings:

But what’s ‘cubic’ about the cubic close packing? Well, look at this. At left we see a bit of a hexagonal close packing, while at right we see a bit of a cubic close packing:

The dashed white circle at right shows what you *shouldn’t* do for a cubic close packing. But the red lines at right show why it’s called ‘cubic’! If you grab that cube and pull it out, it looks like this:

As you can see, there’s a ball at each corner of a cube, but also one at the middle of each face. That’s why this pattern is also called a **face-centered cubic**.

If we shrink the balls a bit, the face-centered cubic looks like this:

What used to confuse me so much is that the cubic close packing looks very different from different angles. For example, when you see it like this, the cubical symmetry is hard to spot:

But it’s there! If you stack some balls in the hexagonal close packing, they look different:

And to my eye, they look uglier—they’re less symmetrical.

Anyway, perhaps now we’re in a better position to understand what Benjamin Murray meant when he said:

As each new layer is added, there is a 50% probability of it being either hexagonal or cubic.

I’m guessing that means that at each layer we *randomly* make either of the two choices I mentioned. I’m not completely sure. My guess makes the most sense if the ice is growing by accretion one layer at a time.

### Diamonds

But there’s more to ice than close-packed spheres. If we ignore the hydrogen atoms and focus only on the oxygens, the two kinds of ice we’re talking about—the hexagonal ice I_{h} and the cubic ice I_{c}, assuming it exists—are just like two kinds of diamond!

The oxygens in ice I_{c} are arranged in the same pattern as carbons in an ordinary diamond:

This pattern is called a **diamond cubic**. We can get it by taking the cubic close packing, making the balls smaller, and then putting in new ones, each at the center of a tetrahedron formed by the old ones. I hope you can see this. There’s a ball at each corner of the cube and one at the center of each face, just as we want for a face-centered cubic. But then there are are 4 more!

But what about good old ice I_{h}? Here the oxygens are arranged in the same pattern as carbons in a *hexagonal* diamond.

You’ve heard about diamonds, but you might not have heard about hexagonal diamond, also known as lonsdaelite. It forms when graphite is crushed… typically by a meteor impact! It’s also been made in the lab.

Its crystal structure looks like this:

We get this pattern by taking a hexagonal close packing, making the balls smaller, and then putting in new ones, each at the center of a tetrahedron formed by the old ones. Again, I hope you can see this!

### Entropy

Now we understand how the oxygens are arranged in good old ice I_{h}. They’re the red balls here, and the pattern is exactly like lonsdaelite, though viewed from a confusingly different angle:

But what about the hydrogens? They’re very interesting: they’re arranged in a somewhat *random* way!

Pick any oxygen near the middle of the picture above. It has 4 bonds to other oxygens, shown in green. But only 2 of these bonds have a hydrogen *near* your oxygen! The other 2 bonds have hydrogens *far away*, at the other end.

There are many ways for this to happen, and they’re all allowed—so ice is like a jigsaw puzzle that you can put together in lots of ways!

So, even though ice is a crystal, it’s disordered. This gives it entropy. Figuring out how much entropy is a nice math puzzle: it’s about 3/2 times Boltzmann’s constant per water molecule. Why?

Rahul Siddharthan explained this to me over on Google+. Here’s the story.

The oxygen atoms form a bipartite lattice: in other words, they can be divided into two sets, with all the neighbors of an oxygen atom from *one* set lying in the *other* set. You can see this if you look.

Focus attention on the oxygen atoms in one set: there are of them. Each has 4 hydrogen bonds, with two hydrogens close to it and two far away. This means there are

allowed configurations of hydrogens for this oxygen atom. Thus there are configurations that satisfy these atoms.

But now consider the remaining oxygen atoms: in general they won’t be satisfied: they won’t have precisely two hydrogen atoms near them). For each of those, there are

possible placements of the hydrogen atoms along their hydrogen bonds, of which 6 are allowed. So, naively, we would expect the total number of configurations to be

Using Boltzmann’s ideas on entropy, we conclude that

where is Boltzmann’s constant. This gives an entropy of 3.37 joules per mole per kelvin, a value close to the measured value. But this estimate is ‘naive’ because it assumes the 6 out of 16 hydrogen configurations for oxygen atoms in the second set can be independently chosen, which is false. More complex methods can be employed to better approximate the exact number of possible configurations, and achieve results closer to measured values.

By the way: I’ve been trying to avoid unnecessary jargon, but this randomness in ice I_{h} has such a cool name I can’t resist mentioning it. It’s called **proton disorder**, since the hydrogens I’ve been talking about are really just hydrogen nuclei, or protons. The electrons, which form the bonds, are smeared all over thanks to the wonders of quantum mechanics.

### Higher pressures

If I were going to live forever, I’d *definitely* enjoy studying and explaining all sixteen known forms of ice. For example, I’d tell you the story of what happens to ordinary ice as we slowly increase the pressure, moving up this diagram until we hit ice XI:

Heck, I’d like to know what happens at every stage as we crush water down to neutronium! Unfortunately I’m mortal, with lots to do. So I recommend these:

• Martin Chaplin, Water phase diagram.

• Norman Anderson, The many phases of ice.

But there’s a bit of news I can’t resist mentioning…

Researchers at Sandia Labs in Albuquerque, New Mexico have been using the Z Machine to study ice. Here it is in operation, shooting out sparks:

Click for an even more impressive image of the whole thing.

How does it work? It fires a very powerful electrical current—about 20 million amps—into an array of thin, parallel tungsten wires. For a very short time, it uses a power of 290 terawatts. That’s 80 times the world’s total electrical power output! The current vaporizes the wires, and they turn into tubes of plasma. At the same time, the current creates a powerful magnetic field. This radially compresses the plasma tubes at speeds of nearly 100,000 kilometers per hour. And this lets the mad scientists who run this machine study materials at *extremely* high pressures.

Back in 2007, the Z Machine made ice VII, a cubic crystalline form of ice that coexists with liquid water and ice VI at 82 Celsius and about 20,000 atmospheres. Its crystal structure is theorized to look like this:

But now the Z Machine is making far more compressed forms of ice. Above 1 million atmospheres, ice X is stable… and above 8 million atmospheres, a hexagonal ferroelectric form called ice XI comes into play. This has a density over 2.5 times that of ordinary water!

Recent experiments with the Z Machine seem to show water is 30% less compressible than had been thought under conditions like those at the center of Neptune. These experiments seem to match new theoretical calculations, too:

• Experiments may force revision of astrophysical models: ice giant planets have more water volume than believed, *Science Daily*, 19 March 2012.

While it’s named after the Roman god of the seas, and it’s nice and blue, Neptune’s upper atmosphere is very dry. However, there seems to be water down below, and it has a heart of ice. A mix of water, ammonia and methane ice surrounding a rocky core, to be precise! But the pressure down there is about 8 million atmospheres, so there’s probably ice X and ice XI. And if that ice is less compressible than people thought, it’ll force some changes in our understanding of this planet.

Not that this matters much for most purposes. But it’s cool.

And if you don’t love math, this might be a good place to stop reading.

### A little more math

Okay… if you’re still reading, you must want more! And having wasted the day on this post, I might as well explain a bit of the math of the crystal structures I described. I’ll want to someday; it might as well be now.

A **lattice** in n-dimensional Euclidean space is a subset consisting of all linear combinations of basis vectors. The centers of the balls in the cubic close packing form a lattice called the face-centered cubic or A_{3} lattice. It’s most elegant to think of these as the vectors in 4-dimensional space having integer components and lying in the hyperplane

That way, you can see this lattice has the group of permutations of 4 letters as symmetries. Not coincidentally, this is the symmetry group of the cube.

In this description, you can take the three basis vectors to be

Note that they all have the same length and each lies at a 120° angle from the previous one, while the first and last are at right angles.

We can also get the A_{3} lattice by taking the center of each red cube in a 3d red-and-black checkerboard. That means taking all vectors in 3-dimensional space with integer coefficients that sum to an even number. In this description, you can take the three basis vectors to be

This seems like an ugly choice, but note: they all have the same length and each lies at a 120° angle from the previous one, while the first and last are at right angles. So, we know it’s the A_{3} lattice!

We see more symmetry if we look at *all* the shortest nonzero vectors in this description of the lattice:

These form the 12 midpoints of the edges of a cube, and thus the corners of a cuboctahedron:

So, in the cubic close packing each ball touches 12 others, centered at the vertices of a cuboctahedron, as shown at top here:

Below we see that in the hexagonal close packing each ball also touches twelve others, but centered at the vertices of a mutant cuboctahedron whose top has been *twisted* relative to its bottom. This shape is called a triangular orthobicupola.

I should talk more about the lattice associated to the hexagonal close packing, but I don’t understand it well enough. Instead I’ll wrap up by explaining the math of the diamond cubic:

The diamond cubic is *not* a lattice. We can get it by taking the union of two copies of the A_{3} lattice: the original lattice and a translated copy. For example, we can start with all vectors with integer coefficients summing to an even number, and then throw in all vectors This is called the D_{3}^{+} pattern.

The A_{3} lattice gives a dense-as-possible packing of balls, the cubic close packing, with density

The D_{3}^{+} pattern, on the other hand, gives a way to pack spheres with a density of merely

This is why ordinary ice actually becomes denser when it melts. It’s not packed in the diamond cubic pattern: that would be ice I_{c}. Ordinary ice is packed in a similar pattern built starting from the hexagonal close packing! But the hexagonal close packing looks just like the cubic close packing if you only look at two layers… so this similar pattern gives a packing of balls with the same density as the diamond cubic.

Finally, for a tiny taste of some more abstract math: in any dimension you can define a checkerboard lattice called D_{n}, consisting of all n-tuples of integers that sum to an even integer. Then you can define a set called D_{n}^{+} by taking the union of two copies of the D_{n} lattice: the original and another shifted by the vector

D_{n}^{+} is only a lattice when the dimension n is even! When the dimension is a multiple of 4, it’s an **integral** lattice, meaning that the dot product of any two vectors in the lattice is an integer. It’s also **unimodular**, meaning that the volume of the unit cell is 1. And when the dimension is a multiple of 8, it’s also **even**, meaning that the dot product of any vector with itself is even.

Now, D_{8}^{+} is very famous: it’s the only even unimodular lattice in 8 dimensions, and it’s usually called E_{8}. In week193, I showed you that in the packing of balls based on this lattice, each ball touches 240 others. It’s extremely beautiful.

But these days I’m trying to stay more focused on the so-called ‘real world’ of chemistry, biology, ecology and the like. This has a beauty of its own. In 3 dimensions, D_{3} = A_{3} is the face-centered cubic. D_{3}^{+} is the diamond lattice. So, in a way, diamonds come as close to E_{8} as possible in our 3-dimensional world.

The diamond cubic may seem mathematically less thrilling than E_{8}: not even a lattice. Ordinary ice is even more messy. But it has a different charm—the charm of lying at the bordeline of simplicity and complexity—and the advantage of manifesting itself in the universe we easily see around us, with a rich network of relationships to everything else we see.

In a more “Perspective” way one would probably prefer to write (a/d) + (b/d) + (c/d) + 1 = 0. But then again, we are still missing 5 out of 3 combinations (2 raised 3), not to mention the original 3 out of 16 (2 raised 4), so a second projection seems to be lurking somewhere. Should we write this as a/d and b/d divided by 1+(c/d)?

By the way, you can click on any picture to see its souce and learn more about it.

I would also like to see nice mathematical descriptons of the lattice for the hexagonal close packing and the pattern of oxygen atoms in ice I

_{h}(or in other words, the carbon atoms in lonsdaelite).Two other – maybe not so serious ;-) – interesting modifications of water are Ice-9 (I once had a complex systems student give a talk on physics and literature, specifically about Kurt Vonnegut’s “Cat’s Cradle”. We had a very interesting discussion about what would actually happen if Ice-9 with such properties existed.) and the “industrial tomato”.

One thing I learned from the Ice-9 talk was that similar things indeed do exist. Specifically, there now are at least two known drugs that have thermodynamically more stable forms than the desired one which autocatalytically cause the desired form to transform into the undesirable one. Weird stuff.

See (I know you like such curiosities, John):

http://unenumerated.blogspot.co.uk/2005/11/patent-goo-self-replicating-paxil.html

That’s really cool, Thomas! Vonnegut’s ice IX is very unlikely to exist, because the world is large and wet, so if there

werea form of water more stable than liquid water at room temperature and pressure, random fluctuations would probably have made a little seed of it by now. I use the same type of argument to reassure myself that the Relativistic Heavy Ion Collider or Large Hadron Collider is unlikely to knock our vacuum into a more stable state that expands at the speed of light and destroys the Universe as we know it. But Ritonavir is new and rare, so my argument doesnotrule out the—still impressive—story you pointed out.Looking around for more information on this, I discovered a similar and very amusing story about Paxil, where a new form of a molecule converted the old unpatented form into the new patented form! Nick Szabo wrote:

You caused me to stop reading here, in the first paragraph:

But if you cool it below -37 °C, scientists believe it will gradually turn into a cubic form, called ice Ic.

“Scientists believe?” Is there something going on here that’s impossible to test?

If you venture beyond the first paragraph, your question will be answered. And believe it or not, scientists do believe things. Some are confirmed, some are disconfirmed.

One would assume they either know or do not know. Pretty pics, though.

Scientists are people too….and they believe in stuff just like normal people. Not everything HAS to be proven by evidence. Blown your bubble?

Knowledge only comes at the very end. When it comes to ice, we’re still midstream. The conventional beliefs on ice I

_{c}may have been overturned by better experiments at the atomic level last year. But I’d wait for more confirmation before making any definitive claims.Great post! And those “disappearing polymorph” stories are amazing.

A couple of typos:

I think this should be:

Also, for the A3 lattice in three dimensions:

I think this should be:

Whoops, thanks for catching those mistakes! I’ll fix them now.

Hey, people really liked this post:

That’s almost a record!

I have some trouble telling what people will like. I started writing this mainly to get a bunch of Google+ posts into one place. Then I started organizing the story and throwing in other stuff I knew, and I spent a whole day on it. I wrote the final section feeling a bit guilty for rambling on endlessly and becoming too technical. But people on Google+ loved the original chart showing phases of water, so there must be something about this subject that people like… not just me.

As a lay person I found your tutorials and explanations very clear and concise. The stories of real world applications were also very well done. I for one applaud your day of work it has added to my life and understanding of this wonderful world we live in.

Thanks! It’s a wonderful world, all right.

FYI, you’ve been linked on “Hacker News” (http://news.ycombinator.com/item?id=3844309), and maybe other sites (?), hence the peak I believe (I myself saw this post there).

There is one other very common substance besides water than gets denser when it melts: carbon. Since all the interesting phase transitions take place at over 3000K, they’re not quite as well exploted as for ice, but I understand they’re thought to be similarly complex, which is no great surprise. We already know carbon can arrange itself in many different ways.

Robert wrote:

That’s interesting! What happens when you heat a diamond at standard atmospheric pressure in an oxygen-free environment? Does it first turn to graphite and then melt, getting denser as it melts? Or does it just melt, getting denser as it melts? I could look this up but I’m starved for conversation on this topic. Thousands of people looked at this page and practically nobody said anything interesting about it!

In particular, I’m curious if the very loose diamond cubic structure is responsible for the phenomenon you describe, because that structure is very similar to (the hypothesized) ice I

_{c}.Heat carbon at pressures above the graphite-diamond-liquid triple point (10 GPa, 4000K) and it goes graphite->diamond->liquid. there’s a phase diagram here but it only goes up to 70 GPa:

If the melting point decreases with increasing pressure, the liquid is denser than the solid. On theoretical grounds, it’s expected that for all substances, the melting point increases without bound as the pressure increases, for sufficiently large pressures, assuming no chemical transformations. Normally, the phase boundaries don’t go vertical – the slope only changes sign at triple points – because going vertical implies the two phases have the same density.

Looking at that diagram, the melting point has only just started to increase from its minimum at 70 GPa. There are expected to be multiple allotropes above that point, with an eventual transition to a metal structure. It’s not known if the fullerene and linear (alternating single/triple bonds) structures are thermodynamically stable under any conditions. Somewhere off that chart, there’s also the upper critical point of the liquid-gas transition.

My understanding is that you’re right about the role of the loose diamond cubic structure in this, but I’m not an expert in the field, just an interested amateur, so I may not be up to date.

Thanks for that phase diagram! I’ve been meaning to cobble together some Google+ posts into an article on allotropes of carbon, and I’ll incorporate this information into that.

‘m curious about that “Solid III” near the top of the diagram. I’ve heard there are (at least) 3 known high-pressure solid phases of carbon; this must be one. But I don’t know much about them!

You’re right of course, a melting point that diminishes with increasing pressure means the liquid is denser than the solid. It’s fun to compare the phase diagram for water! Let me include one from Martin Chaplin’s website that zooms in on the region of interest:

There is also reason to believe that both carbon and water may have multiple liquid allotropes: http://cs-test.ias.ac.in/cs/Downloads/article_34041.pdf cites experimental evidence for phosphorus, and lists carbon, water, and other chemicals with the same diamond-type structure as probable candidates.

Information is scare on the high pressure allotropes of carbon, since both experiments and ab inito calculations are difficult. One obvious step is to compare the other elements in the same group, all of which have an allotrope with the diamond structure, but a quick check shows the phase diagram of silicon is obscure: http://www.ifisc.uib.es/gefenol/FisEs/05/Program/PDF/p61.pdf – which mentions six phases with unclear boundaries. Tin has a diamond-metal transition at near ambient conditions, and other allotropes too, but I can’t find any phase diagrams at the moment.

What trivial, or not so trivial, things can you say about water?…As recently described in John Baez’s blog[1], there are at least sixteen known crystal phases of ice! source: [1] https://johncarlosbaez.wordpress.com/2012/04/15/ice/…

I explained the face-centered cubic lattice in my recent post about ice. Now let’s look at the body-centered cubic.

You say that:

But I’d think that it would give the same density as a cubic packing, since if you look at 2 halves of layers they give the same density, and you can connect any 2 together(either cubic or hexagonal) so I’d expect the same density..

The cubic close packing and hexagonal close packing have density

The diamond cubic (as in Ice I

_{c}) and ice I_{h}have the lower densityIf you look at the pictures above, you can see that the latter two packings have much lower densities that the first two.

Thomas Hales seems to have proved that the densest packing of spheres in 3d space is the obvious one. (There are infinitely many other equally dense packings, as I explained earlier, but none denser.)

Hales’ proof is a hundred pages of writing together with about 3 gigabytes of computer calculations. If we wrote out those calculations in a text file, they’d fill about 2 million pages!

Reblogged this on Concrete Dreams and commented:

John Baez’s article on the many (at least sixteen) known crystal phases of water ice, on the blog for the Azimuth Project, described as “an international collaboration to create a focal point for scientists and engineers interested in saving the planet. Our goal is to make clearly presented, accurate information on the relevant issues easy to find, and to help people work together on our common problems.”

Over a year ago, I wrote here about ice. It has 16 known forms with different crystal geometries. The most common form on Earth, hexagonal ice I, is a surprisingly subtle blend of order and randomness […]

John Baez wrote:

Rahul Siddarthan wrote:

Did they do time series also at constant temperature ?

If one assumes that no heat energy would be transferred to a block of ice (I don’t know wether this could be seen as applying to the experiment, i.e. if this is an adiabatic process) and moreover if the block could be seen as isolated (pressure, volume) (again I don’t know to which extend this would apply here) then within a certain time there should on average be more disorder and this may refer not only to the hydrogen atoms but also to the oxygen atoms, moreover the disorder change should go together with different pressure, temperature and volume change of the block, i.e. dS = 1/T p dV

But then since the volume stays the same, where would the work come from? By sucking heat from the oil bath?

What one could also think of is that the particles may exchange positions without volume change but that the average acceleration per surface of the particles slows down/gets smaller with increasing entropy, i.e. there could eventually be a need for a term with a pressure differential . This goes eventually somewhat into the direction of what amarashiki was sort of thinking of, if one thinks of p as some average ??

Thanks but, as far as I had noticed I had fixed that already in the second comment, but there was still a problem, the problem might have been that I had placed smaller and bigger signs as brackets for indicating an average.

-> average

average over m \ddot{q}/A

somehow the latex is wrong I wrote in latex:

/A

You started your equation with

$\latex

instead of

$latex

A common mistake. I’ll fix it.