Crystallography & Symmetry
patterns derived from their groups
Theme

The theme: Order without repetition — page 3

Periodicity and order are not the same thing, and separating them is what quasicrystals forced. A pattern can be perfectly determined and never repeat.
Two waves that are each symmetric enough make a lopsided pair. The first-order satellite amplitudes at h − q and h + q around the main reflections h = 1 to 4, for three chains: an occupation wave on the lattice, whose pairs are equal; the strain wave alone, the displacement the size effect produces with every site equally full, whose satellites are weak and grow with h; and both together. Together the pairs are unequal, the low side stronger, by an amount that grows from one reflection to the next — an imbalance neither wave has on its own, from a displacement of less than a hundredth of a spacing. Order without repetition

The strain wave that tips the satellites

An occupation wave puts equal satellites on both sides of every main reflection, and a strain wave a hundredth of a lattice spacing high is enough to tip them. Real composition waves drag such a strain with them, because atoms of different sizes want different spacings, and the tilt that results is not a nuisance. To first order it does not depend on how strong the occupation wave is at all. It reads the size mismatch directly, and its sign says which species is the larger.

 Second-order satellites that only the strain makes. Satellite intensities on a logarithmic scale around the first four main reflections of a chain whose occupation is a pure cosine wave, with no strain and with the strain a size factor of 0.1 brings. Without strain the second-order satellites are absent, down at the chain's numerical floor; with it they appear at between a ten-thousandth and a hundredth of the first order's intensity, larger on the outer side of each reflection and growing with its order. Order without repetition

The second order reads the strain again

An occupation wave with a pure cosine profile has no second harmonic, so on its own it makes no second-order satellites. Strain the chain by the size difference of its atoms and they appear. Their strength measures the square of the displacement and cannot see its phase, where the tilt of the first-order pair measures the displacement times the cosine of its phase. So the two give the size factor twice, and the two readings agree only if the strain sits where a size effect puts it.

 The h = 1 anomaly moves with the length of the chain. For a size-coupled chain with ε = 0.03, the ratio of the second-order pair's tilt, divided by k², to the first-order tilt at h = 1, from plain sums over the sites and from sums with a smooth window, for 22 chain lengths from 10,000 to 480,000 sites. The plain ratio swings between -0.08 and 5.60; at 30,000 and 120,000 sites, the two lengths first tried, it sits near 0.31 both times. The windowed ratio is one half at every length. Order without repetition

The satellite beside the zero-order reflection

An earlier essay found that the second-order satellites of a modulated chain tilt half as far as the first-order ones at every reflection but the first, where they tilted a third as far, the same on chains of 30,000 and 120,000 sites. It left the departure unexplained and proposed a higher order of the expansion. The expansion was never wrong. The weak satellite at h = 1 sits a quarter of a reciprocal unit from the strongest reflection a chain has, and a plain sum over a finite chain carries that reflection's tail, which does not shrink steadily as the chain grows. It swings, and the two lengths tried happened to swing to the same place.

 The exact third on every even rectangle. Square ice on twelve tori with both sides even, eight of them rectangles that are not squares, up to 6 × 12 and 8 × 8: the number of ice arrangements, the number whose two windings are both divisible by three, and their ratio. It is one third exactly, as a ratio of integers, on every one. Order without repetition

The third survives a rectangle

On every even square torus, exactly a third of the square-ice arrangements have both windings divisible by three, and the explanation offered was a theta function that is its own dual. A test was proposed: on a torus twice as long as it is wide the two windings have different stiffnesses, the explanation gives a different number, and the exact third should fail. It does not fail on any of eight rectangles. But the explanation, worked through properly for a rectangle, never predicted that it would. The two directions of a rectangle are each other's duals, and their factors cancel to a third at every shape.

 Every vertex of a Penrose patch, by the symmetry of what lies within three edges of it. A region of a Penrose rhomb tiling 15.2 edges across. Each vertex is marked by the local group of the patch of radius 3.05 edges about it: a short line along the mirror where that patch has one (98 vertices), a large dot where it has a five-fold centre (7), and a small dot where it has no symmetry at all (118). The mirrors are common and point in the tiling's ten directions; the five-fold centres are rare; nothing has a half-turn. Order without repetition

Five-fold centres stay few, and mirrors do not

The Fibonacci chain has one palindrome of every even length and two of every odd length, for ever. Run the same census on the patches of a Penrose tiling and the plane gives three different answers at once. Patches with a five-fold centre stop at four, however large they are drawn. Patches with a mirror grow in number with their radius, by about fifty for every edge. And no patch wider than a single tile has a half-turn at all. What decides which answer an operation gets is the size of the set it leaves fixed in internal space.

 Patches of an icosahedral quasicrystal grow with the dimension their symmetry fixes. The number of distinct patches about a vertex of the canonical icosahedral quasicrystal that keep a given symmetry, against the patch's radius in edges on logarithmic axes, counted per axis or per mirror plane: along a five-fold, a three-fold and a two-fold axis, and across a mirror plane. The axes' counts grow in proportion to the radius and the mirror's as its square, the slopes given are the last four points'. Along the bottom, the patches with an inversion centre: one up to a radius of 1.9 edges, and none from 2.15 on. Order without repetition

In space, a five-fold axis is a line

In a Penrose tiling the patches with a five-fold centre stop at four, however large they are drawn, because a five-fold rotation fixes only a point of the tiling's internal space. Slice a quasicrystal from six dimensions instead of four and the internal space has three dimensions, where a rotation fixes a whole line. The five-fold patches of the icosahedral quasicrystal then grow in number with their radius, from five to forty-six per axis, while the patches with a centre of inversion, which fixes only a point, vanish past two edges. Counting them takes internal space: a sample of vertices cannot.

 The second-order satellites alone cannot measure the curvature of a size effect. The Cramér–Rao error in the quadratic size coefficient ε₂, as a fraction of its true value, from six sets of satellites of a modulated chain of 30,000 sites with 2% intensity error, and the correlation between the errors in ε₂ and the linear coefficient ε₁. From second-order satellites alone the error is thousands of times ε₂ at one reflection and still a hundred times it at three, with the two coefficients correlated at 1.000. With the first-order satellites added, one reflection gives ε₂ to about a third of itself and three to about a tenth. Order without repetition

The second order cannot see a curved size effect alone

When the spacing between atoms depends on composition along a curve rather than a line, the displacement of a modulated chain gains a second harmonic, and the second-order satellites should measure it. They cannot do it on their own. At every reflection a second-order satellite sees the straight part and the curved part of the size effect in almost the same proportion, so adding reflections adds copies of one equation. The first-order satellites, which see only the straight part, are what separates them.

 What each kind of satellite of a two-wave chain says about the curvature of the size effect. The Cramér–Rao error in the quadratic size coefficient ε₂, as a fraction of its true value, from seven sets of satellites of a chain modulated by two incommensurate waves, with 2% intensity error: with the two modulation amplitudes refined as well (upper bar of each pair) and with them known (lower bar). The sum or the difference satellites alone say almost nothing either way. Together, with the amplitudes known, they fix the curvature to under one per cent from a single reflection; with the amplitudes free they do not, and adding the first-order satellites, which fix the amplitudes, restores it. Order without repetition

Two waves measure the curvature one wave hides

A chain modulated by one wave cannot tell a curved size effect from a straight one at second order: every second-order satellite sees the two in the same proportion. Modulate it by two incommensurate waves and the curvature puts the product of the waves into the displacement, at their sum and at their difference. The satellites there see the curvature with opposite signs. Two equations of opposite sign separate two unknowns, and once the two waves' amplitudes are known, the mixed satellites of a single reflection fix the curvature to under one per cent.

 At the sum of all three wavevectors the cubic and the quadratic paths nearly cancel. The intensity of the satellite at h + q₁ + q₂ + q₃ for the first four reflections, computed with only one size coefficient switched on at a time and with all three. The cubic coefficient alone gives about 3 × 10⁻⁷ at h = 1, the quadratic alone about 2 × 10⁻⁷, the linear alone less than 10⁻¹⁰. With all three the satellite is ten times weaker than with the cubic alone, because the cubic term's displacement and the quadratic term's pair harmonic times a first-order wave arrive with opposite signs. Order without repetition

Three waves measure the cube through the slope

A size effect that bends twice puts the product of three modulation waves into the displacement, at the sums and differences of all three wavevectors, and nowhere else does a cubic term reach so directly. The satellites there were expected to measure it. They see it, but the strongest of them is ten times weaker than the cube alone would make it, because the quadratic term arrives at the same place with the opposite sign, and against any realistic background they say nothing. The cube is measured instead by the strongest satellites of all, the first-order ones, because it makes each wave's slope depend on how strong the other two waves are.

 Tribonacci keeps one number at every length, and its neighbours do not. The size of tr(ABC) − tr(ACB), computed in exact integers on three two-site tiles, at each application of four rules, on a logarithmic scale. Under tribonacci it stays 24 while the traces themselves reach dozens of digits. Under the plastic rule and the rule x³ = x² + 1, both of which can be undone, it wanders and grows. Under a rule that cannot be undone it passes through zero and runs off the scale. Order without repetition

Three tiles keep a number that asks which way they face

Two tiles always conserve something: every reversible rule keeps the trace of their commutator. Three letters were expected to conserve nothing, and most rules do conserve nothing. The tribonacci rule keeps exactly one number, the difference between a product of three matrices and the same product reversed. It is zero for any tile that reads the same both ways, so it measures direction rather than difference, and one rule in fifty keeps it, for a reason that can be read off the words.

 The error in the count, against tiles chosen at random. For clusters from about twenty-five hats to nearly two trillion, the distance of the reflected count from the exact share of all hats. For the hat it stays under one half. For independent random choice at the same share the expected error grows as the square root of the size, past 400,000 at the largest cluster. Order without repetition

The count of reflected hats is never one out

In a hat tiling one tile in about eight is reflected, and that ratio was only ever quoted here. Four clusters and a table of small integers give it exactly: seven plus three root five over two, the fourth power of the golden ratio. The same table says something the ratio does not. Grow a cluster to two trillion hats and its reflected count is still within half a tile of the exact share, where the same share chosen at random would be out by nearly half a million.

All themes · All essays