Crystallography & Symmetry
patterns derived from their groups
Generator

the kagome net: 4, 8, 14, 18 at the first four shells

the kagome net: 4, 8, 14, 18 at the first four shells
the kagome net: 4, 8, 14, 18 at the first four shells. The vertices of the kagome net at graph distance one, two, three and four from a chosen vertex, each marked with its distance. Distance here is a number of edges and nothing else — no length enters, and the shells are drawn on the barycentric placement only so that they can be seen. The counts are 4, 8, 14, 18, 22, 28, 30, 38, 38, 48, 46, 58, which is the net's coordination sequence.

The vertices of the kagome net at graph distance one, two, three and four from a chosen vertex, each marked with its distance. Distance here is a number of edges and nothing else — no length enters, and the shells are drawn on the barycentric placement only so that they can be seen. The counts are 4, 8, 14, 18, 22, 28, 30, 38, 38, 48, 46, 58, which is the net's coordination sequence.

4 essays call net-shells. The drawing above is what it returns with no arguments at all; every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about. Every one of this site's 393 essays names its parameters at the call site, which the standard pass of 2026-08-09 established and param-floor holds.

Where it is called

Changing this generator changes every one of these figures.

a lattice triangle: 1 inside, 6 on the edge, area 3. a lattice triangle on its lattice, with the 1 points strictly inside it in the first colour and the 6 points on its boundary in the measured colour. Pick's theorem says the area is the interior count plus half the boundary count less one, which is 1 + 6/2 − 1 = 3; the shoelace formula on the same integer coordinates gives twice the area as 6. The two agree, and both sides are integers, so the check has no tolerance in it. The theorem holds for a non-convex polygon and a polygon with no interior point alike, neither of which the usual triangle-and-square picture makes obvious. Lattices

How many points a shape holds

Draw a polygon on a lattice, count the points inside, then double the polygon and count again. The counts are not approximately a polynomial in the scale — they are one, exactly, with the area as its leading coefficient and a constant term of one for every polygon there is.

 11 nets, and one accounting. Every plane net folds onto a torus when its own translations are divided out, and a torus has Euler characteristic zero — so the quotient's vertices, edges and faces satisfy n − e + f = 0 and the number of faces is not something to be counted off a drawing but e − n. Dividing through gives one over the mean face size plus one over the mean degree equal to a half, which is the same relation that forbids a plane tiling by pentagons, reached here with no geometry in it at all. It holds for every net in the table. The classification

Every net folds onto a torus

Divide a plane net by its own translations and the quotient is a finite graph drawn on a doughnut. A doughnut has Euler characteristic zero, so the number of faces is not something to count — it is forced, and with it a relation between how many edges meet at a vertex and how many bound a face.

 the kagome net: 4, 8, 14, 18 at the first four shells. The vertices of the kagome net at graph distance one, two, three and four from a chosen vertex, each marked with its distance. Distance here is a number of edges and nothing else — no length enters, and the shells are drawn on the barycentric placement only so that they can be seen. The counts are 4, 8, 14, 18, 22, 28, 30, 38, 38, 48, 46, 58, which is the net's coordination sequence. Symmetry at work

Counting outwards

How many vertices lie one step from a vertex, two steps, three? The counts settle into a straight line — but for some nets only along the even distances, with a different line along the odd ones, alternating for ever. The period is measured, and it is not always one.

 One vertex, two edges: one net. Three edges: no answer at all. Every net with one vertex and the stated number of edges, counted inside boxes of voltages of three sizes, up to change of basis and the sign of an edge. Two edges give one net whatever the box, and the reason is a sentence: two voltages that generate the translations are a basis of ℤ², and every basis is carried to every other. Three edges give more nets in every larger box, and that is not a failure of the search — normalise two of the voltages to a basis and the third is a free pair of integers, so the family is infinite. An enumeration inside a bound reports which of those two situations it is in rather than reporting the count it happened to reach. Symmetry at work

Every net with one vertex, counted

A net is a few vertices, a few edges and a pair of integers on each, so a census is available: fix the numbers, bound the integers, enumerate. Two edges give exactly one net at every bound. Three give three, then nineteen, then a hundred and forty-three — and the question changes.

The whole library · All essays