Neumann's principle — the series · Crystallography & Symmetry

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.

part 1 · point-groups

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.

part 2 · point-groups

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.

part 3 · point-groups

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.

part 4 · point-groups

How many components a property may have, at each rank and in each class. One row per plane point group, one column per rank of a fully symmetric property tensor, with the number of independent components in each cell — counted by averaging the tensor over the group index by index, and equal at every entry to the Molien coefficient of that degree. A symmetric property of rank r is a form of degree r, so Neumann's principle and the invariant ring are the same arithmetic in two notations. The last column is the elastic tensor, which is not fully symmetric — symmetric within each pair of indices and under exchanging the pairs — and its counts are not in the table to its left. A property with its own symmetries needs its own average, and that is why the elastic constants are not read off a degree.

The parts a property splits into

A symmetric property of rank r is a polynomial of degree r wearing indices, so the number of components a class permits it is a coefficient of an invariant ring's series. The elastic tensor is not a polynomial in disguise, and its counts are not in that table — which is the most useful thing about it.

part 5 · point-groups