Symmetry at work

The fast faces are the ones that vanish

A crystal has two predicted shapes and they are not the same. One minimises surface energy and is what a crystal settles into; the other is what growth leaves behind, and in it a face that grows quickly grows itself out of existence.

Assumes Which faces a crystal shows and A form is an orbit, and whether it closes is an integer question.

Which faces a crystal shows makes a prediction: rank the faces by interplanar spacing, correct for the extinctions the lattice centring imposes, and the widely spaced planes are the ones a reader sees on the specimen. That rule works, and it is a rule about growth rates.

There is a second prediction, from a completely different question, and it usually gives a different answer.

Equilibrium and growth are different shapes. Two predictions for the habit of the same cubic crystal, computed through the same intersection of half-spaces. The equilibrium shape puts each face at a distance proportional to its surface energy, which is Wulff's construction; the growth shape puts it at a distance proportional to its growth rate, taken here from this site's own spacing rule. They differ — the equilibrium shape carries {111}, {110}, {100} and the growth shape {100} — and the difference is between two rules rather than between two pieces of code. A crystal on a bench has grown; a crystal annealed long enough has relaxed; the two look different and neither picture is wrong.
Fig. 1 Two predictions for the same cubic crystal, computed through the same intersection of half-spaces. On the left, the shape of least surface energy at fixed volume; on the right, the shape growth leaves behind. They carry different faces.

The two questions

Equilibrium. Of all the shapes a given volume of crystal could take, which has the least total surface energy? A liquid drop answers sphere, because its surface energy is the same in every direction. A crystal’s is not, and the answer is a polyhedron.

Wulff’s answer, from 1901: put each face at a distance from a common centre proportional to its surface energy, and take the intersection of the half-spaces. A face with a high energy sits far out, is cut away by its cheaper neighbours before it reaches the surface, and does not appear at all.

The rule looks arbitrary until the arithmetic behind it is written out, and it is short enough to be worth writing. A polyhedron built by intersecting half-spaces at distances hᵢ has volume ⅓ Σ hᵢ Aᵢ, where Aᵢ is the area of the face at distance hᵢ — every face together with the centre makes a pyramid of that volume, and the pyramids fill the solid. Its surface energy is Σ γᵢ Aᵢ. So minimising Σ γᵢ Aᵢ at fixed ⅓ Σ hᵢ Aᵢ is minimising one weighted sum of the same areas against another, and the two agree exactly when hᵢ is proportional to γᵢ. The construction is not a heuristic that happens to work; it is what the constraint reduces to once the volume is written in terms of the distances rather than in terms of anything else.

That also says why a face can be absent rather than small. The half-spaces are intersected, so a plane whose distance exceeds what its neighbours already cut off contributes no area at all — it has Aᵢ = 0 and drops out of both sums. A shape’s list of forms is therefore a discrete answer coming out of a continuous minimisation, which is why a small change in the bonding can add a whole form at once.

Growth. A crystal in a supersaturated solution is nowhere near equilibrium. Its faces advance at rates set by how readily material attaches, and the shape that results follows a rule with the same form and a different meaning: a face’s distance from the centre grows in proportion to its rate. So a fast face runs away from the centre and is cut off by its slow neighbours — the fast faces are the ones that vanish, and the surviving habit is made of the slowest.

The two constructions are the same geometry over different numbers. That is what makes them comparable and it is also the trap: a picture of one is indistinguishable from a picture of the other, and the caption is where the difference lives.

Where the energies come from

A table of surface energies would be a table, and this site does not run on tables. So the energies are computed from the simplest model that is not one.

Cleaving a crystal along a plane breaks the bonds that cross it. Count them per unit area of the exposed surface, and that count is the energy, up to the strength of a bond. For a simple cubic lattice with nearest-neighbour bonds only, the count for (hkl) is |h| + |k| + |l| divided by the square root of h² + k² + l² — one bond direction crossed per index, over the area of the plane’s own mesh.

The equilibrium shape: cube. The Wulff shape of a simple cubic crystal whose surface energies come from a broken-bond count with second neighbours at 0 of a first neighbour. Each face sits at a distance from the centre proportional to its energy, so the cheap faces sit close in and dominate the surface while the expensive ones are cut away by their neighbours. The percentages are the fraction of the total area each form contributes, which is what a measurement of a real crystal reports.
Fig. 2 Nearest-neighbour bonds alone: the equilibrium shape is a cube. Every other plane breaks more bonds per unit area than {100} does, so every other plane sits further out and is cut away.

One parameter turns it into a sequence. Second neighbours run along the face diagonals, and a plane cuts a different number of them; adding them with an adjustable strength makes {110} and {111} relatively cheaper and they appear as truncations.

One parameter, and the habit changes. The Wulff shape of a simple cubic crystal as the strength of the second-neighbour bond is raised from nothing. With nearest neighbours only the answer is a cube, because every other plane breaks more bonds per unit area. Turning up the second neighbours makes the {110} and {111} planes relatively cheaper — they cut fewer of the diagonal bonds — and they appear as truncations, growing as the parameter grows. Nothing here is fitted to a real crystal; what the sequence shows is that a habit is a consequence of bonding rather than of symmetry, since the symmetry is the same throughout.
Fig. 3 The equilibrium shape as the second-neighbour bond is turned up from nothing. Cube, then a cube truncated at its edges and corners, with the truncations growing as the parameter grows. The symmetry is the same throughout: what changes is the bonding.

Which is the lesson worth taking from the model rather than from its numbers. The habit is a consequence of bonding, not of symmetry. Every shape in that sequence has the full cubic symmetry — they are all unions of complete forms, as a form is an orbit requires — and the classification cannot distinguish them at all. Five classes grow the same cube makes the same point from the other side.

Both shapes are unions of forms, and that is forced

Neither construction was told about the point group, and both produce shapes with its full symmetry. That is worth pausing on because it is a small theorem rather than a coincidence.

{110} in class m3̅m. The form {110} of crystal class m3̅m: 12 faces, being the orbit of one face under the 48 operations of the class, with a stabiliser of order 4. 8 poles lie in the upper hemisphere or in the plane of the page and are drawn filled; the other 4 lie below and are drawn open at the same positions, which is the stereographic convention and the reason only the upper ones carry their indices. The form is closed: the faces enclose a volume, so a crystal can be bounded by this form alone.
Fig. 4 The form {110} in the cubic holohedry: twelve faces, the orbit of one face under the class. A face’s surface energy and its growth rate are properties of the plane, so symmetry-related faces share both — which means a construction that treats faces one at a time still produces whole forms.

A symmetry operation of the crystal carries a face to a face with the same energy, because it carries the whole structure to itself and the two surfaces are indistinguishable. So faces in one orbit — one form — get the same distance in either construction, and either the whole form appears or none of it does.

That is why the shapes above can be described by naming forms rather than faces, and why the counts are 6, 8, 12 rather than arbitrary numbers. It is also why the habit is such weak evidence about the class: the construction respects the symmetry it was given, so a shape can tell a reader the lattice symmetry it was built with, and cannot distinguish two classes sharing it.

How many forms each crystal class has. Every crystal class, with the number of distinct forms it has: 113 in all, of which 43 enclose a volume and 70 do not. A form is counted once for each distinct symmetry a face can have — the general position and every special one — so the count is the number of kinds of face, not the number of faces. Twelve classes have no closed form at all, so a crystal in one of them cannot be bounded by a single form and always shows a combination. The bar length is the number of forms.
Fig. 5 How many faces each form has, class by class, from the orbit calculation. The equilibrium and growth shapes above are assembled entirely out of these counts, which is the sense in which both constructions are downstream of the classification rather than independent of it.

Testing the theorem instead of quoting it

Wulff’s construction is a theorem: it produces the shape of least surface energy at fixed volume. That is checkable, and checking it is what turns the construction from an assertion into a measurement.

Every perturbation raises the energy. Wulff's theorem says the construction gives the shape of least surface energy at fixed volume, and this is that statement as a measurement. Each form's distance is multiplied by a factor, the shape is rebuilt, and its energy is evaluated with the true surface energies rather than the perturbed distances — the distinction that makes the test a test. Every perturbation raises the energy per unit volume, in twenty-four attempts across every form and four factors.
Fig. 6 Each form’s distance multiplied by a factor, the shape rebuilt, and its energy per unit volume compared with the Wulff shape’s. Twenty-four perturbations, and every one of them raises the energy.

The subtle part is which energies the comparison uses. A perturbed shape is built from wrong distances and must be evaluated with the right energies — the true γ of each face that actually reaches the surface, times its area. Reading the energy off the distances the shape was built from would report every shape as optimal, since it would be measuring the shape against its own definition.

That distinction is the whole test, and it is the same shape of care the phasing refusals needed: a check whose threshold is generous enough tests the threshold rather than the claim.

And the test has to be able to fail. A perturbation that changes nothing — a form already cut away at both distances — gives a rise of exactly zero, and those are reported separately rather than counted as successes. What the check rests on is the perturbations that do change the shape: every one of them raises the energy, and if any had lowered it the construction or the energy model would have been wrong with nothing in the picture to say so.

A face too expensive to appear is absent, not small. Giving {111} five times its energy removes it from the shape entirely rather than shrinking it — the construction has a hard cut-off, and a face is either on the surface or cut away by its neighbours. That is the property that makes the shape a prediction rather than a description: the model says which forms occur, not merely how big they are.

Where the two shapes disagree, and why

The equilibrium shape: cube truncated at edges and corners. The Wulff shape of a simple cubic crystal whose surface energies come from a broken-bond count with second neighbours at 0.3 of a first neighbour. Each face sits at a distance from the centre proportional to its energy, so the cheap faces sit close in and dominate the surface while the expensive ones are cut away by their neighbours. The percentages are the fraction of the total area each form contributes, which is what a measurement of a real crystal reports.
Fig. 7 The equilibrium shape at a moderate second-neighbour strength, with the fraction of the total area each form contributes. Three forms present, and the percentages are what a measurement of a real crystal would report.
Three lattices at 2 forms each: 6, 14, 12 faces. The shape each cubic lattice predicts, built as the solid bounded by its top 2 forms, with each face's distance from the centre inversely proportional to its interplanar spacing. The three lattices have the same metric and the same list of indices; every difference between these solids comes from which reflections are systematically absent. Pm-3m leads on {100} and comes out with 6 faces; Fm-3m leads on {111} and comes out with 14 faces; Im-3m leads on {110} and comes out with 12 faces. Taking more than the leading form matters only where the extinction correction has moved something: in a cubic metric a form's planes are placed at a distance proportional to the root of the sum of the squares of its indices, which is exactly where the corresponding corner of the cube already is, so an uncorrected second form arrives tangent and cuts nothing off.
Fig. 8 The growth prediction from the previous rung, for the three cubic lattices: cube, octahedron, rhombic dodecahedron, decided entirely by which reflections are systematically absent. The same geometry, ranked on spacings instead of energies.

The disagreement is not a defect in either rule. They answer different questions and a real crystal is somewhere between them, depending on how it was made:

  • A crystal grown quickly from solution is a growth shape: the faces present are the slow ones and the fast ones have gone.
  • A crystal annealed at temperature for long enough relaxes towards the equilibrium shape, because surface diffusion lets material move to where it lowers the energy. Small particles do this readily and large ones essentially never.
  • A crystal grown slowly in near-equilibrium conditions is somewhere in between, and which faces it shows may depend on the solvent, on impurities that adsorb preferentially on one face and slow it down, and on the supersaturation.

And a twin is a third possibility. A crystal that twinned during growth presents re-entrant angles where the two orientations meet, and material attaches at a re-entrant corner far more readily than on a flat face — so a twinned crystal grows in a direction the untwinned one does not, and takes a shape neither construction predicts. A twin is a symmetry the lattice has and the crystal does not, and the plate-like habits of many minerals are the visible consequence of one.

The last of those is the standard way a habit is engineered. An additive that sticks to one face slows its growth, and slowing a face makes it larger in the final shape — the opposite of the intuition that a fast-growing face should dominate. That inversion is the content of the growth rule and it is worth stating twice: making a face grow more slowly makes it bigger.

And the inversion is why the two rules can be told apart on a specimen at all. Both constructions put a face at a distance and intersect; what differs is what the distance is proportional to. So the same additive that makes a face larger in a growth shape would, if it lowered that face’s surface energy instead, make it smaller in an equilibrium one — a low-energy face sits close in, and sitting close in is what makes a face wide. The two rules therefore respond to the same intervention in opposite directions, and an experiment that changes one quantity and watches which way the habit moves is deciding which rule the crystal is obeying. That is a better test than comparing a photograph with a picture, because the two shapes are drawn by the same geometry and a single picture never says which numbers went into it.

Why a small crystal equilibrates and a large one does not

The two rules are not equally relevant at every size, and the reason is a competition between two quantities that scale differently.

Reaching the equilibrium shape means moving material. A crystal that grew into the wrong shape can only relax by transporting atoms from one face to another, over the surface or through the medium, and the distance they must travel is the size of the crystal. The energy to be gained is a surface term, going as the square of the size; the material to be moved goes as the cube.

So small crystals relax and large ones do not. A nanoparticle a few tens of atoms across takes its equilibrium shape readily and is routinely observed doing so; a centimetre of quartz will keep the shape it grew into for geological time. The equilibrium shape is the right prediction for a catalyst particle and the wrong one for a museum specimen, and the growth shape is the other way round.

The same competition sets the other famous size effect. A small crystal’s surface is a larger fraction of it, so its solubility is higher — the Gibbs–Thomson effect — and in a population of crystals the small ones dissolve while the large ones grow, which is Ostwald ripening. The habit and the ripening are the same surface term seen twice.

The equilibrium shape: cube truncated at edges and corners. The Wulff shape of a simple cubic crystal whose surface energies come from a broken-bond count with second neighbours at 0.8 of a first neighbour. Each face sits at a distance from the centre proportional to its energy, so the cheap faces sit close in and dominate the surface while the expensive ones are cut away by their neighbours. The percentages are the fraction of the total area each form contributes, which is what a measurement of a real crystal reports.
Fig. 9 The equilibrium shape at a strong second-neighbour bond, where the {111} truncations dominate. Between this and the plain cube is a continuum, and where a particular substance sits on it is a question about its bonding rather than about its symmetry.

Where the exactness stops

The construction is exact and the model is a model. The intersection of half-spaces, the volumes and the areas are computed geometry, and the check that no perturbation lowers the energy is a numerical statement about that geometry. The surface energies are a broken-bond count with one adjustable parameter, and nothing about them is fitted to any real crystal.

The face set is bounded. Faces with indices up to two in each direction are considered, which is thirteen forms. A high-index face has a high energy in this model and would be cut away, so the bound is unlikely to be doing harm — but “unlikely” is the right word, and a model with strongly directional bonding could put a high-index face on the shape. The honest form of the caveat is that the bound has not been tested: widening it and finding the shape unchanged would settle the question, and until that is done what the construction establishes is the least-energy shape among the orientations it was offered rather than among all of them.

Growth rates are taken from the spacing rule. The BFDH rule is a proxy for a growth rate, not a measurement of one; real rates are measured face by face in a growth cell and depend on temperature, supersaturation and solvent. So the right-hand shape is this site’s growth prediction rather than an observation.

Neither shape depends on the space group’s translations, only on the point symmetry and the lattice centring. That is why both constructions produce unions of complete forms, and why the shape does not name the class: several classes share a habit, and the habit was never enough to identify a crystal.

Without the extinctions, every lattice is a cube. The face ranking done twice for each cubic lattice: once on the interplanar spacings alone, and once with each spacing divided by the smallest multiple of its indices that is not systematically absent. Uncorrected, all three predict {100} and the rule says nothing about anything. Corrected, they predict a cube, an octahedron and a dodecahedron. The correction is not a refinement of the prediction — it is the prediction.
Fig. 10 The refusal the growth rule carries, from the previous rung: without the extinction correction all three cubic lattices predict a cube, because they share a metric and a list of indices. The correction is not a refinement of that prediction, it is the prediction — and the equilibrium construction has a refusal of the same shape, in the perturbation test above.

Who found it, and when

Georg Wulff stated the construction in 1901, in a paper on the growth and dissolution of crystals. He gave it as a rule and the proof came later — Dinghas in 1944, and a general treatment by Herring in 1951 that also gave the modern statement in terms of the γ-plot, the surface whose radius in each direction is the surface energy for that orientation.

The idea is older than the construction. Curie in 1885 had argued that a crystal at equilibrium minimises its total surface energy, and Gibbs’s treatment of surface thermodynamics is from the same decade. Wulff’s contribution is the geometry: the statement that the minimising shape is the intersection of half-spaces at distances proportional to the energies, which is what makes it computable.

The broken-bond model is Kossel’s and Stranski’s, from the 1920s, and it is the origin of the picture of a growing crystal as a surface with steps and kinks where atoms attach. The count of broken bonds per unit area is the crudest form of it and is still the first thing anyone computes.

Herring’s theorem is the reason the construction has teeth: an orientation whose γ-plot lies above the tangent construction is unstable and breaks up into a hill-and-valley structure of the orientations that are stable. So the faces missing from a Wulff shape are not merely small — a surface cut at that orientation will facet itself into others, which is observable and observed.

The temperature at which a face stops being a face

Both constructions produce polyhedra with flat faces and sharp edges, and real equilibrium shapes are often partly rounded. The rounding is not a failure of the model; it is a transition with a temperature, and it is worth naming because it says when the flat-faced picture applies.

A flat face costs a crystal something. Adding a step to it raises the energy — that is the whole of the growth argument — but a step also has entropy, because it can wander. At low temperature the energy wins and the face stays flat; above some temperature the entropy wins, steps proliferate at no net cost, and the surface becomes rough.

Above that temperature the face is no longer a facet at all. It has no sharp edge against its neighbours, it grows without needing a step source, and in the equilibrium shape it appears as a curved region rather than as a plane. The transition happens at a different temperature for each face, generally lowest for the faces with the smallest energy anisotropy, so a crystal warmed through a range loses its facets one form at a time.

That explains a feature of real equilibrium shapes the construction as stated cannot produce: a shape with some flat regions and some curved ones, the flat ones being the faces still below their roughening temperature. Wulff’s construction handles it, since a direction with no cusp in the energy simply contributes a curved patch — but only if the energies used are the ones at the temperature in question, which the broken-bond count is not.

Reading the energies off the shape

The construction runs one way here, from energies to a shape, and its most useful experimental application runs the other way.

Surface energies are hard to measure. There is no direct way to weigh one, and calculations of them disagree by tens of per cent. An equilibrium shape, however, is a picture of their ratios: the distance of each face from the centre is proportional to its energy, so measuring the distances on an equilibrated particle gives every ratio at once.

That is one of the few routes to the numbers, and it is used — small particles are annealed until they stop changing shape, imaged, and the ratios read off. What it cannot give is the absolute scale, since scaling every energy scales the shape and not its proportions, so one independent measurement is still needed to fix the unit.

And it requires the particle to have equilibrated, which is the condition the section above says holds for small particles and fails for large ones. A shape read this way from a crystal that grew rather than relaxed reports growth rates dressed as energies, which is a systematic error with no signature in the data.

Where this ladder goes

Two rungs of this anchor now make two predictions about the same specimen, from two rules with the same geometry.

The growth rule ranks faces by corrected spacing, and its content is the extinction correction: without it, all three cubic lattices predict a cube, and with it they predict a cube, an octahedron and a rhombic dodecahedron.

The equilibrium rule ranks faces by surface energy, and its content is the bonding: with nearest neighbours only, every cubic crystal is a cube, and the truncations that make real habits come from the longer-range interactions.

Both are also worth setting against the third prediction this field makes about shape: the law of rational indices, which says only that the faces have small whole-number indices and says nothing about which. It is the weakest of the three and the only one that is a theorem about lattices rather than a model of a process.

Between them they say why habit is such poor evidence about symmetry, which is the practical conclusion the field arrived at in the nineteenth century by other means. The angles belong to the substance and the shape to the specimen: the angles between faces are fixed by the lattice and are what Steno’s law is about; which faces are present, and how large, is a fact about how this particular crystal was made.

What this makes readable

Essays that name this one as a prerequisite.

Named alongside this one

Essays reaching for the same objects. Nobody chose these; they are what the concept index makes visible.

What links here

Every essay whose body links to this one.

The objects this essay names

Each one links to every other essay that touches it.

BfdhBroken-bondCrystal formCrystal habitEquilibriumInterplanar spacingMeasurementMorphologySurface energyWulff construction