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 11 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 this collection computes, 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

Named alongside it

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

TensorCharacterCrystal classAnisotropyPoint groupAxial tensorCentrosymmetricChiralityFerroelectricityInvariantLimiting groupMeasurement

All concepts