Concept

Orbit — where it appears

All the ways one object can be written once a group of operations is allowed, whose size is what a census divides by to count objects rather than writings. Its size is the number of ways one object can be drawn, so counting arrangements and counting cloths are different questions with different answers.

Named by 5 essays across 3 fields — each of them below, with the objects they name alongside it.

How many four-by-four weaves there are. The same census counted four ways. A draft is a notation; shifting the repeat's origin, turning the cloth over and turning it end for end all change the matrix and not the fabric. Each bar is the number of distinct objects left once those identifications are made, counted by canonical form and checked against Burnside's lemma.

How many cloths are there

Twenty-two thousand eight hundred and seventy-four four-by-four drafts. Four hundred and twenty-six four-by-four cloths. And the site's own separation rate — the fraction of drafts that look like fabric and are not — more than doubles when fabrics are counted instead of notations, which is the opposite of what was expected.

pattern · Pattern
2/2 twill: written at 4×4, repeating on 4. On the left the draft as written, with the smallest rectangle that tiles it outlined. On the right the same draft with every translation that leaves it unchanged marked from the top left corner: there are 4 of them, so a fundamental domain holds 4 intersections rather than the 16 the rectangle claims and the 16 the point paper carries. Nothing in the drawing on the left says so.

What a repeat repeats

Point paper is ruled in squares, and the rectangle a draft is written on is a decision by whoever drew it. The unit a cloth actually has is smaller — two intersections for a plain weave, four for a 2/2 twill — and it is not a rectangle at all.

cloth · Repeat
The basic weaves at four by four. Plain weave and the three twills a repeat of four admits, each drawn with its longest float and its layer count computed from the matrix. The fifth frame is empty: a satin needs a move coprime with its order and neither one nor one less than it, and four ends admits 0 such moves. So the smallest interesting repeat contains two of the three weaves every manual begins with.

The three basic weaves do not generate the rest

Every weaving manual opens with the same sentence: there are three basic weaves, and everything else is derived from them. The complete catalogue of the smallest interesting repeat is in hand, so the claim can be checked instead of repeated. Starting from plain weave, every twill and every satin, and applying every derivation the manuals name, reaches nine of the 426 cloths that exist there.

weaves · Derivation
How many cloths any one cloth derives into. The 426 four-by-four cloths sorted into the orbits the manuals' derivations cut them into. 12 orbits hold 1 cloth; 83 orbits hold 2 cloths; 62 orbits hold 4 cloths. The largest orbit in the whole catalogue holds 4, so no cloth derives into more than 3 others by any sequence of the named operations, however long. The derivations generate a group of 256 elements and it cuts the catalogue into 157 pieces. What the bars cannot show is which cloths are in which orbit, which is the next figure.

No cloth derives into more than three others

Every weaving manual opens by saying the three basic weaves generate the rest. This collection counted the reach and found nine of 426, and left the nine as a count. It is not a count: every derivation the manuals name is a relabelling of the grid or a complementation of it, both invertible, so they generate a group — and that group cuts the 426 cloths into 157 closed pieces of which the largest holds four. The claim is not merely wrong about how much derivation reaches; derivation cannot reach more than four cloths from anywhere, by any sequence of operations, however long.

weaves · Derivation
How many derivation orbits each measure separates. For the 426 four-by-four cloths in 157 derivation orbits, the number of classes each invariant measure cuts the orbits into: marks, up to exchanging face and back, 5; interlacings, 8; layers, 2; plane group, 12; floats of both faces, both systems, 60; changes of face per end and per pick, 12; distinct ends and distinct picks, 4; all seven familiar measures, 120; census of two-by-two patches, 127; all seven, and the two-by-two patches, 153; census of three-by-three patches, 157. Only the census of three-by-three patches reaches 157. What the bars cannot show is which orbits a measure confuses, which the pair figure draws for the seven measures together.

A cloth's derivation class is its census of small patches

The manuals' derivations cut the 426 four-by-four cloths into 157 orbits, and an orbit is found by searching a group of 256 operations. The question left was whether a short list of numbers read off a draft could do the same job. The familiar ones cannot. Marks, interlacings, layers, plane group, float lengths, crossings per thread and distinct ends and picks are all invariant, and all seven together tell 120 of the orbits apart. A census of the two-by-two patches a draft contains tells 127 apart. A census of its three-by-three patches tells all 157 apart — a complete invariant of derivation, computed by counting windows rather than by searching operations.

weaves · Derivation

Named alongside it

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

CensusDerivationPlane groupRepeatSymmetryBurnsideCatalogueCounterchangeSatinBasic weavesClosureCloth integrity

All concepts