Concept

Symmetry — where it appears

A transformation that maps a mechanism to itself with its joints relabelled, so that a configuration and its image are both configurations. It is one of the two ways an assembly's constraints come to repeat one another — the other being a repeated unit — and it is what gives a framework of twelve bars and six joints a motion the count says it cannot have.

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

What each curve costs, in cosines. Every polynomial in the two arm angles is a constant plus a sum of terms A cos(mα + nβ + φ) with whole-number m and n, and the number of those terms is what a machine has to build. The count is not the degree and not the monomial count: a circle costs one term, a general line two, and a lemniscate — degree four — costs five, fewer than the cubic above it, because its symmetry cancels frequency pairs the cubic keeps. Each row's expansion was checked against a direct evaluation of its own polynomial at random angles, worst disagreement 1.8e-14.

A circle costs one term

A line expands to two cosines, a circle to one, a general conic to six. A lemniscate is degree four and costs five; a general cubic is degree three and costs eight. What a curve costs is not its degree — it is how many frequency pairs its own symmetry fails to cancel.

computing · Compute
The ring a count says cannot move. 8 pairs of angulated elements, each pair two mirror-image bent bars pinned at their kinks, with each pair joined to the next at two pins on a common radius. 16 bodies and 24 pins give Grübler's 3(n − 1) − 2j = 0: no freedom at all, a structure. The rank of the constraint Jacobian is 44 of 48, which leaves 4 — the three rigid motions of the whole ring and one deployment — and 4 constraints that repeat what the others have already said. The kink angle is not a style: it is 135.0000°, a half turn less the 45.0000° the ring subtends per pair, and any other value gives a ring that will not deploy. Inner radius 0.6876, outer 2.2688. positioned by solving, not by drawing.

The ring that closes at every size

Two bent bars pinned at their kinks hold the angle between their connection lines at 135.000000° whatever you do to them, and two straight ones hold it at nothing. That is the whole difference between a scissor chain that grows in a line and a ring of eight that opens and shuts — and the count says the ring cannot move.

networks · Network
Crank angle θ and crank angle −θ, joined. The coupler curve alone, with 12 chords, each joining the point the tracing point reaches at a crank angle θ between 0° and 180° to the point it reaches at −θ on the same assembly. Every chord is square to the dashed axis, to 7.5 × 10⁻¹⁶ in the cosine, and every midpoint lies on it. Measured at 48 pairs, the reflection of one point misses the other by at most 4.2 × 10⁻¹⁵. The crank's own angle is the pairing: the two places the curve crosses its axis are crank angles 0° and 180°, the only angles equal to their own negatives.

A symmetric curve from a lopsided machine

A four-bar with a crank of 1, a ground of 3 and a rocker of 2.5 has no symmetry anywhere in it. Make the rocker, the coupler and the arm from the rocker pin to the tracing point one length, and the curve it draws is its own mirror image to 4 × 10⁻¹⁵, about a line through the rocker pivot turned from the ground line by exactly half the coupler's angle at that pin.

curves · Coupler
The framework Maxwell's count calls a structure. Six joints and twelve bars in space. Three coordinates each gives eighteen unknowns, six rigid motions come off, and twelve bars is exactly twelve constraints — Maxwell's count is 6 against six rigid motions, which is the definition of isostatic: no mechanism, no redundancy, every bar carrying its own share and nothing spare. The rank is 11, not twelve. There is one dependency among the bars and one freedom left over, and the freedom is a genuine finite motion: walked here with every bar held to 4.4e-16 of its own length. The reason is a symmetry — three pairs of joints exchanged by a half turn about one line — and it is built into the coordinates rather than asserted about the result. positioned by solving, not by drawing.

Twelve bars and a symmetry

Six joints and twelve bars in space is Maxwell's count exactly: no mechanism, no redundancy, nothing spare. Place three pairs of the joints so that a half turn about one line exchanges them and it moves — a finite motion, walked with every bar held to five ten-thousand-billionths of its own length, on a framework the arithmetic calls a structure.

spatial · Spatial
A 4-sided bar, and the 13.6% it is out by. 3 flat jaws advancing together on a regular 4-sided bar of unit circumradius, with the bar turned 10.3° from square. The dashed circle is the axis the chuck is turning about and the marked point is where the bar's own centre has ended up: 0.13567 of a circumradius away. The arithmetic is one line — the jaws touch when c·u_k + h(u_k) = d, three unit vectors at 120° satisfy Σ u u ᵀ = 3/2 I, and so c = −⅔ Σ h(u_k) u_k — and it says that the offset vanishes exactly when the bar's own support function is unchanged by a 120° turn. Round, triangular, hexagonal, nine- and twelve-sided bars centre at any orientation; everything else does not, and by an amount that depends on how it happened to go in. Checked here against a linear program that closes the jaws without knowing the identity. positioned by solving, not by drawing.

Where the jaws put it

Three jaws closing on a bar put its axis at −⅔ Σ h(u_k) u_k, which vanishes exactly when the section's support function is unchanged by a 120° turn. So a three-jaw chuck centres round, triangular and hexagonal stock perfectly and a square bar by up to 17.3 per cent of its own circumradius — and the workshop rule about symmetry that predicts this is wrong, because a six-jaw chuck centres a square.

holding · Restraint
A dwell six-bar built on the vertex of a symmetric coupler curve. The four-bar with ground 3, crank 1, and coupler, rocker and arm all 2.5, with the angle at the rocker pin set to 120.8024°, so that its coupler curve is its own mirror image about the dashed line. The curve crosses that line at crank angle 0°, and a link of the osculating radius there, 5.7691, runs from the tracing point to a pin at the centre of curvature; an output link of 3 from a third ground pivot holds that pin, square to the dwell link at the vertex. Faintly, the dwell link and output 50° of crank either side. The output swings 7.43° over a whole turn, and near the vertex its angle changes only at sixth order in the crank's.

The flattest dwell is not the longest

A coupler curve that is its own mirror image has no odd terms in its distance from a circle centred on the mirror line, so one angle of the coupler can remove the fourth-order term and leave a dwell of sixth order, with no search of the curve. A six-bar built there dwells for 58.7° of crank inside 0.1% of its swing. Turned two degrees away from that angle it dwells for 80.1°, and the searched six-bar for 24.4°.

curves · Coupler
Where the pad touches, and the rule that fixes it. The contact point's travel across the valve tip through one cam event, for a rocker squared up with the valve shut and for the same rocker squared up at mid-lift. The first wipes 1.35 mm and the second 0.34 mm — a factor of 4.0 for a shim under a stud. The rule an engine builder is taught is that the geometry is symmetric about wherever it is set square, so setting it square at rest puts the entire lift on one side of the symmetry. It is folklore that turns out to be geometry, and the same shim brings the peak lift back to 12.84 mm against 12.78.

Where the pad touches

A rocker's pad slides 1.35 mm across the valve tip through one cam event when the geometry is squared up with the valve shut, and 0.34 mm when it is squared up at mid-lift. The engine builder's rule about shimming a rocker stud is folklore that turns out to be geometry, and the same shim brings the peak lift back to what the ratio promised.

applied · Cam
Two circles, one term. The curve r² = 1.44 together with r² = 2.56, whose squared radii sum to 4.00 — four times the square of the arm's link length. Their product equation expands to 1 term, which is what either circle costs on its own, so the second circle is free. The machine compiled from it has 17 bars against 11 for the single circle, runs over 5.200 radians against 1.560, and stays on the outer component throughout: its radius varies by 4.15e-13 over 240 solved positions. A mechanism moves continuously and the two circles are disjoint, so no assembly of it reaches both.

Two circles for the price of one

Search every multiple of a curve's equation by a polynomial of degree two and the cheapest is the curve's own equation, on four curves and by exhaustion. On the circle a second multiplier ties — and what it describes is two concentric circles, whose squared radii sum to four times the arm's link length squared, at exactly the cost of one.

computing · Compute
Three laws in the band: a third, a sixth and a sixth. For bands from 3% to 10 ppm of the output's swing, three things measured on the symmetric six-bar itself: the longest dwell at any angle at the rocker pin, the dwell at the sixth-order angle γ = 120.8024°, and how far below γ the best angle sits. The dots are measurements and the lines are the two-term model's predictions from two coefficients read off the output's even part. Over the four tightest bands the fitted exponents are 0.173, 0.172 and 0.333, against a sixth, a sixth and a third. At 10 ppm the best angle is 0.490° below γ against a prediction of 0.488°, and the dwell at γ is 26.43° against 26.23°. The loosest bands sit above the lines, where the terms the model leaves out are no longer small.

The dip that buys the dwell

A symmetric coupler curve's six-bar dwells longest a little below the angle that makes its error sixth order, and three bands gave three numbers. Across three and a half decades of tolerance the best angle's distance from that angle grows as the cube root of the band, both dwells as its sixth root, and their ratio is (27/4)^(1/6) = 1.3747 at every band — because the best machine spends the whole band on one dip and ends its dwell where the output comes back.

curves · Coupler

Named alongside it

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

Coupler curveDwellOsculating circleAlgebraic curveDegreeFrequency pairMobilityNetworkRedundant constraintSix-barToleranceTrigonometric polynomial

All concepts