Crystallography & Symmetry
patterns derived from their groups
Concept

Neumann principle — where it appears

That a physical property of a crystal must be unchanged by every symmetry the crystal has. It reduces to arithmetic: how many independent components a property may have is a character averaged over the point group, exact in integers.

Named by 14 essays across one field — each of them below, with the objects they name alongside it.

Neumann's principle for elastic constants in mmm. Each bar is one operation's contribution to the character of the representation the elastic constants live in — the stiffness of the crystal in every direction and shear. The identity contributes the unconstrained count of 21; every other operation of mmm subtracts from it, and the average over all 8 is 9, which is how many independent components the property may have. The sum is exact in integers and is taken in the lattice basis, so no Cartesian frame is chosen anywhere in it.

Neumann's principle, as one sum

A physical property of a crystal must be unchanged by every symmetry the crystal has. That is a whole subject in one sentence, and it reduces to arithmetic: how many independent components a property may have is a character averaged over the point group, exact in integers.

point-groups · Neumann's principle Neumann's principle for elastic constants in 6/mmm. Each bar is one operation's contribution to the character of the representation the elastic constants live in — the stiffness of the crystal in every direction and shear. The identity contributes the unconstrained count of 21; every other operation of 6/mmm subtracts from it, and the average over all 24 is 5, which is how many independent components the property may have. The sum is exact in integers and is taken in the lattice basis, so no Cartesian frame is chosen anywhere in it.

A character does not know its basis

The number of independent elastic constants a hexagonal crystal has is computed here from integer matrices in a lattice basis, having never chosen a Cartesian frame. That looks wrong the first time: a physical tensor lives in an orthonormal frame and these matrices are not orthogonal.

point-groups · Neumann's principle Every property count, in every class. For each of these 32 classes, how many independent components a property may have: elastic constants from 21 down to 3, dielectric tensor from 6 down to 1. Every number is a character averaged over the class's own operations, computed in the lattice basis with integer arithmetic. A zero means the symmetry forbids the property outright; a positive number means it does not forbid it, which is a weaker statement than it is usually read as.

Twenty-one, thirteen, nine, three

The number of independent elastic constants runs 21, 13, 9, 7, 6, 5, 3 down the crystal systems. Two of those systems carry two numbers rather than one, and which classes take which is not predicted by counting operations — a class with six of them can have more constants than a class with six of them.

point-groups · Neumann's principle Every property count, in every class. For each of these 32 classes, how many independent components a property may have: piezoelectric moduli from 18 down to 0, pyroelectric vector from 3 down to 0, gyration tensor from 6 down to 0. Every number is a character averaged over the class's own operations, computed in the lattice basis with integer arithmetic. A zero means the symmetry forbids the property outright; a positive number means it does not forbid it, which is a weaker statement than it is usually read as.

Permitted is not present

A symmetry argument says which components of a property may be non-zero. It is routinely read as saying they are — and the gap between the two is where every practical use of this table either works or quietly fails.

point-groups · Neumann's principle A spontaneous vector in 222. Averaging each of the three axes over the 4 operations of 222 leaves 0 independent components. No direction survives, so the class permits no spontaneous polarisation at all — which is a statement about what is forbidden, not about any measurement.

The ten with a direction of their own

A crystal has a spontaneous electric polarisation only if some direction is left completely alone by every one of its symmetry operations. Ten of the thirty-two classes have such a direction, and the same ten are computed here twice by routes that share nothing but the group.

point-groups · Properties What the inversion does to three sums in 4/mmm. The 16 operations of 4/mmm come in pairs — every operation together with its own negative, because the class contains the inversion — and each row pairs the two terms they contribute. For an even-rank polar property the pair is two equal bars: the inversion changes an even number of indices and the character cannot see it, so the average is whatever it was before the inversion was added. For an odd-rank polar property and for an axial one the pair is a bar and its reflection, and the sum is exactly zero — which is why piezoelectric moduli and gyration tensor are forbidden here outright rather than merely small. Neither statement is about this class: the cancellation is checked over all 11 centrosymmetric classes and all four odd or axial properties every time this figure is drawn.

Twenty of the twenty-one

Twenty-one crystal classes have no centre of symmetry, and twenty of them permit piezoelectricity. The exception is 432, which has twenty-four operations, no inversion, and a character sum that cancels to nothing — and the reason it fails is not that it has too much symmetry in any ordinary sense.

point-groups · Properties May be piezoelectric, against may be optically active. Two questions asked of all thirty-two classes, and the classes where the answers part company. 14 classes are in both lists, 6 in only the first, 1 in only the second and 11 in neither. Both lists are computed from the same character sum with a different tensor, so a class appearing in one and not the other is a statement about which representation survives rather than about anything measured. Every entry is a permission: a class in a column is a class whose symmetry fails to forbid the effect, which is a weaker statement than it is usually read as.

Each permits what the other forbids

432 and 4̅3m are both cubic, both of order twenty-four, both without a centre. One of them can be piezoelectric and the other can be optically active, and it is not the same one — which is as clean a demonstration as the subject offers that "amount of symmetry" is not a quantity.

point-groups · Properties Every property count, in every class. For each of these 32 classes, how many independent components a property may have: elastic constants from 21 down to 3, piezoelectric moduli from 18 down to 0, dielectric tensor from 6 down to 1, pyroelectric vector from 3 down to 0, gyration tensor from 6 down to 0. Every number is a character averaged over the class's own operations, computed in the lattice basis with integer arithmetic. A zero means the symmetry forbids the property outright; a positive number means it does not forbid it, which is a weaker statement than it is usually read as.

A filter of great precision and no predictive power

The whole table in one place — thirty-two classes, six properties, 192 exact integers. What it settles, what it merely permits, and why knowing which of the two is happening at any moment is the entire skill of using it.

point-groups · Properties 15 classes may rotate light, 11 of them chiral. A crystal is chiral when its point group contains no improper operation, and there are 11 such classes. A crystal may rotate the plane of polarisation when its class permits a non-zero gyration tensor, and there are 15. The four in the difference — 4̅, m, 4̅2m, mm2 — are achiral and may still rotate light, which is why the two words are not synonyms. In each of the four, symmetry forces the tensor to be traceless, so the rotation changes sign with direction and cancels in any average over directions.

Fifteen may rotate light, and eleven are chiral

Optical rotation and handedness are treated as the same thing and are not. Eleven crystal classes are chiral; fifteen permit a crystal to rotate the plane of polarisation; and the four in between are the reason quartz and sodium chlorate are the examples everybody uses.

point-groups · Optical What a crystal keeps of itself in a field. Each class, with what is left of it when a field is applied along the axis of its own setting. The residual is the intersection of the class with the field's own group, computed on matrices and matched against the thirty-two rather than named by hand. Where the residual is the class itself, the field takes nothing away — and for an electric field those are exactly the polar classes.

What a crystal keeps in a field

Curie's principle says the symmetry of an effect contains the intersection of the symmetries of its causes. Applied to a crystal in a field that is an intersection of two groups, one of them infinite — and it comes out exactly, class by class, as a subgroup that decides which effects are permitted next.

point-groups · Curie How many constants a texture permits. Every one of Curie's seven groups against every property in the census, as the number of independent components each permits. The counts are averages of a character over an infinite group, which is exact because the character is a trigonometric polynomial: the average is its constant term. A poled ceramic is the row ∞m, with one pyroelectric coefficient, two dielectric constants, three piezoelectric moduli and five elastic ones — and a zero for optical activity, which the mirrors forbid.

What a texture permits

A poled ceramic has no lattice, no cell and no class, and yet the number of piezoelectric moduli it may have is exactly three. The group is one of Curie's, the average over it is an integral, and the integral turns out to be a single Fourier coefficient — which is why the answer is exact and why a texture is indistinguishable from a hexagonal crystal until rank six.

point-groups · Curie Which way a fibre of achiral crystals rotates light. For three achiral classes that permit a gyration tensor, every crystal direction that could be aligned along a fibre texture's axis, drawn on a disc as seen from above the z axis, and shaded by the sign of the rotation the texture then shows along its axis. In each class the rotation takes both signs, in regions separated by a cone on which it vanishes. For 4̅2m and mm2 that cone is exactly the class's mirror planes, where the texture inherits a mirror and must be inactive; for 4̅, which has no mirrors, the cone is where the rotation passes through zero between a right-handed texture and a left-handed one.

A fibre of achiral crystals can rotate light

Four achiral crystal classes permit optical rotation, of both signs in different directions. Grind such a crystal into a random powder and the rotation averages away completely. Align the grains along one direction and it comes back: the texture rotates light along its axis exactly as one grain does, half as much the other way across it — and the direction chosen for the alignment decides the texture's hand.

point-groups · Curie A looser fibre with more longitudinal response. The three piezoelectric coefficients of a polar fibre of grains with d33 = 90, d31 = −33 and d15 = 560 pC/N, as the tilt spread grows from nothing to a uniform one, with the degree-one and degree-three parts of d33 dashed. The degree-one part is 265 and the degree-three part -175; the negative octupole decays faster, so d33 rises from 90 to 168 at a spread of 30° before falling to nothing.

A looser fibre, more piezoelectric

Spread the grains of a fibre about its axis and every property decays, but not at one rate: each spherical harmonic a property is built from is multiplied by its own average, and the higher the degree the faster it goes. A property made of two degrees therefore changes shape as the fibre loosens. For a polar grain whose shear coefficient dwarfs its longitudinal one, the fibre's longitudinal response nearly doubles before it falls; for another, a shear coefficient changes sign.

point-groups · Curie The fifty-eight black-and-white classes, sorted by reflection class. Every black-and-white magnetic point group, grouped by the smallest reflection class containing its underlying crystal class, with the degrees of the mirror products that generate its relative invariants for a polar and for an axial time-odd quantity. Every class's two series are exactly those sums of mirror products, and the number of generators is the class's index in its reflection class: one, two or four.

Every magnetic class counts its properties by mirrors

The invariants of every crystal class turned out to be products of mirrors of a reflection class, times that reflection class's own free invariants. A magnetic class asks for polynomials that some of its operations negate, which is harder in principle. It is not harder in fact: all fifty-eight black-and-white classes, for a time-odd quantity that is polar and for one that is axial, are counted by mirror products — provided the reflection class contains the whole class and not only its unprimed part, which for thirty of them it does not.

point-groups · Invariants

Named alongside it

The objects these essays reach for when they reach for this one.

TensorCharacterCrystal classLimiting groupAnisotropyAxial tensorChiralityOptical activityPiezoelectricityPoint groupTextureCentrosymmetric

All concepts