A sheet with no edge
Assumes Most of a patch is edge and Cutting a patch out of a plane.
Everything folded in this collection is a disc of paper. It has an edge, the edge is where the paper stops, and every piece of machinery assumes so: a folded state is built by walking outward from a starting panel until the panels run out, a vertex is interior when it has a full turn of paper around it, and a stacking is a list of panels from the bottom one to the top one.
A tessellation is not a disc of paper. It is a rule for filling the plane, and the squares this collection has been drawing of it are specimens. Reading a specimen and reporting what one finds is a perfectly good way to work — most of a patch is edge has been a useful thing to know, and so has what the edge does to the counts — but it leaves a question that no amount of drawing squares can settle: which of the things a square says are about the tessellation, and which are about the square.
Answering it needs the tessellation itself, as an object something can be run on. This essay is how one is built.
The rectangle that repeats
Every tiling here has a rectangle it repeats in. On the square grid it is one tiling unit by one. On the triangular grid, the honeycomb and the rhombille it is one by ; on the elongated triangular tiling it is one by .
None of those is the smallest cell the tiling has. The three middle ones are generated by steps of and , whose smallest cell is a rhombus, and every clip, face walk and figure in this collection takes a rectangle. The rectangle is a cell of the lattice generated by and , which sits inside the full one at index two: it is twice as much paper and exactly as periodic. That costs a factor of two in the panel count and buys everything else, which is a good trade.
Multiply the rectangle by a whole number in each direction and it still repeats. So a cell can be one period, or four, or nine, and the same construction describes all of them.
Where to put the corner
A rectangle has to be placed somewhere, and one placement is much better than the others.
The joining works by matching: a crease meeting the left side at a given height is the crease meeting the right side at the same height, and a panel touching one side is the panel touching the other. Matching by position is only unambiguous when the sides do not run through anything interesting. A side passing exactly through a twist polygon’s corner would have several creases arriving at one point and no way to say which is which; a side passing through a vertex would cut a vertex in half and leave two objects that are neither interior nor boundary.
So the corner goes where the sides are furthest from every drawn point. Reduced into one period, the x coordinates of every crease end form a ring of values; the largest gap in that ring is where the vertical sides should fall, and the same argument in the other coordinate places the horizontal ones. Two one-dimensional questions rather than one two-dimensional one, and it is the stricter reading as well as the faster: a point is a hazard if it is near a vertical side or a horizontal one, so both coordinates want clearing independently.
A cell whose best placement still leaves a side within a ten-thousandth of a sheet of some drawn point is refused rather than joined, because an identification matching creases that arrive at the same place is an identification matching the wrong things.
On the tilings here the clearance that placement achieves is comfortable — a few hundredths of a sheet width, against creases whose length is measured in tenths — so the refusal has never fired on a cell that was wanted. It exists because the failure it prevents is silent: two creases matched to each other by accident produce a perfectly well-formed object whose every count is plausible and whose relationship to the tessellation is nothing at all.
What the joining does
Three identifications, and each is a different kind of object being glued.
Creases. A crease running off one side runs back on at the other, so the two pieces the drawing shows are one crease and must carry one letter. On the two-period square cell that is forty drawn pieces and thirty-two creases: eight pairs.
Panels. A panel touching the left side and the panel touching the right side at the same height are one panel of the sheet, cut in two by the rectangle. Twenty-five drawn panels become sixteen. Each joining also records a displacement — the left-hand half is the right-hand half moved a period over — and those displacements are what make the pattern’s layer relations readable later.
Vertices. Nothing at all, and that is the interesting one. The sides are placed to miss every vertex, so a point where a crease crosses a side has two creases in line with each other and is not a vertex. The pattern’s vertices are exactly the ones inside the rectangle, and every one of them is now interior — not because anything was done to them, but because there is nowhere left to be otherwise.
The check that could fail
Three separate acts of identification produce three counts, and Euler’s formula relates them: a torus has .
Sixteen vertices, thirty-two creases, sixteen panels. Twelve, twenty-four, twelve on the triangular cell. Twenty, forty, twenty on the elongated. Every cell here gives nothing, over five tilings at three sizes.
That is a test rather than a restatement, and it is worth being clear about why. The vertex count is read off the crease graph by a routine that decides whether each vertex has a full turn of paper around it. The crease count is the result of a union-find over crease pieces paired by their endpoints on the sides. The panel count is the result of a different union-find, over faces found by walking the planarised graph, paired by probing across the sides at each face’s rim edge. Three procedures with almost nothing in common, and a mismatch in any of them moves one count without moving the others.
There is one more reason to like Euler’s formula as the check. It is a global statement, and the errors most likely in this construction are local — a single unmatched crease at one corner, a single panel joined to the wrong partner. A local error moves exactly one of the three counts by a small amount, and the sum is the only place a small amount is visible, because sixteen panels and seventeen panels look equally reasonable written down on their own.
The three other checks
Euler’s formula is the one that catches a systematic error. Three more catch inconsistencies.
Two routes must agree. Panels get joined in a chain — this one to that one across the left side, that one to a third across the bottom — and a panel reached two ways must be recorded as being the same number of periods away either way. The disagreements are counted and they are zero, with the underlying arithmetic agreeing to about one part in a hundred million million.
Every partner must exist. A crease ending on a side without a match on the opposite side, or a panel touching a side with nothing across from it, is counted. Both counts are zero on every cell here. A single orphan would mean the rectangle was not a period.
Every relation must belong to one crease. The folded state produces a relation for each pair of panels sharing a fold, and each has to be matched to exactly one crease of the drawing. A relation matching two creases, or none, is counted. Zero again.
None of these four is expensive, and all four run on every cell the collection builds. That is deliberate: a construction that is checked once when it is written and never again is a construction whose next parameter change breaks it quietly, and the failures worth fearing here are the silent ones.
What the object is good for
Three things, each of which was previously a guess.
It makes a controlled comparison possible. The same rectangle, the same drawing, the same vertices — cut out or joined — with the rim as the only thing that varies. That comparison inverts what the rim was thought to be doing, and no arrangement of patches could have made it.
It exposes a hypothesis. The test this collection uses for whether a lettering describes a possible stack of paper turns out to be a test for a disc, and on a sheet with no edge it is wrong. Nothing in the code says so, because nothing outside the class had ever been built.
And it gives the folded sheet’s own lattice, which is a quantity nothing here could previously compute. A panel and its partner across a side are one panel of the sheet, so the difference between the motions the fold gives them is where a cell of paper goes — and that turns out to be one similarity for every tiling.
The counts a square gets wrong
Set the two objects side by side and the specimen’s distortions are easy to name.
A two-period square of the square tessellation reports twenty-five panels; the pattern has sixteen. Nine of the twenty-five are halves and quarters of panels the square divided, and any statement of the form this pattern has so many panels per unit area read off the square is wrong by more than half.
It reports forty creases; the pattern has thirty-two. Eight of the forty are halves of creases, and each pair is reported as two independent objects with two independent letters, which is exactly the freedom that makes a square of a tessellation so much cheaper to letter than the tessellation.
It reports sixteen vertices, and that one is right, because the square was placed to miss them.
So the distortion is not uniform: it is severe in the panel count, severe in the crease count, and absent in the vertex count. A reader taking any per-unit-area quantity off a patch is taking a number whose error depends on which quantity it is, and the errors do not cancel.
What a period is not
Two things are worth guarding against, because both look like the object described here and are not.
It is not a bigger patch. A patch is a disc with a rim; nine periods of drawing cut into a square is still a disc with a rim, and it has the same slack a one-period square has, only proportionally less of it. Enlarging a patch approaches the tessellation in some senses and never reaches it, because the rim never goes away.
It is not a pattern with periodic boundary conditions in the folder’s sense. Nobody folds this. There is no sheet of paper whose left edge is its right edge, and the object is not a proposal for one. It is the pattern, considered as the mathematical thing every claim about a tessellation has always been about, with the finite square removed from the description.
Five tilings, five cells
The construction is the same on all five and the objects it produces are not, in a way that is worth reading as a fact about the tilings.
The square gives the smallest cell: four panels, four vertices, eight creases at one period. Its repeating rectangle is one tiling unit square, and its twist polygons are squares, so a period holds exactly one twist.
The triangular grid and the honeycomb give the same counts as each other — twelve panels, twelve vertices, twenty-four creases — which is not a coincidence, since the honeycomb’s vertices are the triangular grid’s tile centres and both repeat in the same rectangle. Their patterns are different and their cells are the same size.
The elongated triangular tiling’s rectangle is , nearly four times as tall, and its cell holds twenty panels — because a period of that tiling contains a row of squares and a row of triangles rather than one kind of tile.
The rhombille gives twenty-four panels, twenty-four vertices and forty-eight creases, the largest of the five, because it is the one tiling here whose vertices are not all alike and a period has to contain one of each kind.
So cell size tracks how much of the tiling a period has to hold, which is a statement about the tiling’s symmetry rather than about the twist construction laid over it. Every one of the five satisfies the same four checks.
What the reader can still fold
Everything, and by the ordinary route.
A period is a description, so any patch of the tessellation is a piece of it and prints exactly as it always did. What the joined object adds is that a lettering found on it can be written back onto any patch of any size, and the letters agree wherever two patches overlap, because they came from a rule about the plane rather than from a search on one square. That is the practical difference: a periodic lettering is one answer for every patch at once, and a lettering found on a patch is an answer for that patch.
The cost of building one
Modest, and worth stating because the construction is not free.
The drawing has to be generated over enough of the plane to cover the cell with a ring of complete twist polygons around it, because a polygon whose neighbour has none is drawn with a side and without one of its pleats — an odd vertex, failing the angle condition, several tiling units away from anything the cell contains. That failure shows up as a cell whose panels will not close, at a distance from its cause, and it is the one mistake in this construction that took real work to find.
So a polygon missing a neighbour is not drawn at all, and a cell asked for beyond the region that was generated is refused rather than clipped. The refusal is the important half: a cell with creases quietly missing at one corner would pass every check in this essay.
What the picture cannot show
A cell is drawn as a rectangle with a boundary, because that is the only way to draw it, and the boundary in the picture is exactly the thing the object does not have. The rings marking where creases cross it are the closest a static drawing gets to saying so.
Nor can a picture show that the pattern continues. Every figure here shows one period and the reader has to supply the plane, which is the same act of imagination any tiling figure asks for and slightly more consequential here, because in this case the continuation is where the mathematics lives rather than being decoration around a specimen.
And a rectangle is a choice. The pattern repeats under a whole lattice of translations, and the rectangle is one convenient cell of one convenient sublattice of it — twice the smallest cell on three of these tilings, and no more canonical than any other. Nothing in the object depends on the choice; every count above scales with it, and the checks hold at one period, four and nine alike. But a reader who wants the smallest description of a triangular twist tessellation will not find it here, and the reason is that a rhombus is harder to clip to than a rectangle rather than anything about paper.
What this makes readable
Essays that name this one as a prerequisite.
Named alongside this one
Essays reaching for the same objects. Nobody chose these; they are what the concept index makes visible.
- Where you cut hardly matters boundary · crease pattern · panel · periodicity · tessellation · twist
- A tessellation on a cylinder boundary · panel · periodicity · tessellation · twist
- The crease the drawing cannot show boundary vertex · crease pattern · interior vertex · panel · tessellation
- The edge was not what made it hard boundary · boundary vertex · panel · periodicity · tessellation
- A test imported without its hypothesis boundary · panel · periodicity · tessellation
- An order with no least element boundary · panel · periodicity · tessellation
What links here
The 8 essays that link to this one and share the most of its objects, of 11 that link here.
The objects this essay names
Each one links to every other essay that touches it.
BoundaryBoundary vertexCrease patternInterior vertexPanelPeriodicitySymmetryTessellationTilingTwist