Machine Kinematics
solved, then drawn
Concept

Refinement — where it appears

Halving a computation's step and comparing, so that an error's order tells what kind of error it is. The order that comes out names the kind of error: first order is a one-sided difference, second is a symmetric one, and zeroth order is a bug.

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

Colour by degree, recolour by neighbours' colours, stop when nothing changes. The cheap half of every isomorphism routine there is, and the half that does most of the work. Start by colouring each link with how many pins it carries. Then repeatedly recolour it with its own colour plus the multiset of its neighbours', until a pass changes nothing. On this chain the process ends with 3 classes of sizes 2, 2, 2, and two links of different colours are certainly different links — no relabelling can carry one to the other. What refinement cannot do is separate links that are alike to every local measurement, and that residue is what the backtracking search is for. It is also, exactly, why a spectral test fails: an eigenvalue is a global average over walks and has no more to say about two locally identical links than the refinement does.

Deciding that two chains are one

Two chains are the same chain when a relabelling of the links carries one to the other. Ten links admit 3,628,800 relabellings, and the census asks the question 26,335 times — so the answer is not a search but a rule that picks one labelling out of the graph itself, and asking whether the two strings match.

topology · Topology The path a towed wheel takes. The front wheel is given a path; the rear one obeys a single equation — roll along your own heading, and stay attached. The rod is drawn every twelfth sample and is never imposed: the integrator carries the axle's position and heading and nothing else, and the distance from hitch to axle comes out constant to 1.4e-13 m over the whole run. The rear track cuts every corner, which is off-tracking, and it is the reason a long vehicle needs a wide turn.

The path a towed wheel takes

A towed axle obeys one line: roll along your own heading, and stay attached. Nothing tells it to keep its distance from the hitch and it keeps it to 10⁻¹³ anyway, it settles onto a circle of exactly √(R² − L²), and the residual against that is not the integrator — it is the difference between a circle and the polygon it was sampled as, and it falls by four when the sampling doubles.

rolling · Rolling Four positions brought together. Burmester's construction for four prescribed positions gives a curve of points that can be fixed pivots. Bring the four positions together and it has to become the cubic of stationary curvature, because a circle through four coalescing positions is a circle of four-point contact. Measured along one ray from the pole: the finite curve crosses at one radius and the cubic at another, and the gap between them falls as the square of the spread — fitted exponent 2.024, and 7.9e-5 coupler lengths at a spread of 0.01 radians. The finite construction is the same concyclic test the site's four-position synthesis is built on, so this compares that machinery against the infinitesimal one rather than against a re-implementation of either.

Four positions brought together

Burmester's construction finds the points of a moving plane whose four prescribed positions lie on a circle. Bring the four positions together and the curve it draws has to become the cubic of stationary curvature — and the gap between the two closes as the square of the spread, with the exponent measured rather than assumed.

curvature · Curvature A ball that remembers the area. Roll a ball round a closed loop on the plane, without ever twisting it about the vertical, and it comes back to the same place turned. The angle is the loop's area divided by r², and the dashed line is that law with nothing fitted to it. The departure at the top is not an integration error: it grows as the square of the angle — a fitted exponent of 1.99 — which is what a leading term's first correction does. The rotation is composed from exact exponentials, so the drawing carries no drift of its own.

The ball that remembers where it has been

Roll a ball round a closed loop on a table without ever twisting it, and it comes back to the same place pointing somewhere else. The angle is the loop's area divided by the square of the radius — 0.0016 radians for a 2 mm square under a 50 mm ball — and it is exact in the limit with a departure that is second order in the angle itself.

rolling · Rolling A corner in a curve, and the reason for it. This coupler point traces a curve with a cusp — a corner, where the curve stops and reverses rather than turning. The reason is that a cusp happens where the tracing point is momentarily still, and the only point of a moving plane that is momentarily still is the pole. So the cusps of a coupler curve are the instants when the pole passes through the tracing point: they are the crossings of the tracing point by the moving centrode, which is a statement about two curves in the coupler's own plane with the fixed plane not involved at all. This point was chosen by taking the pole's body coordinate at one instant, so it is on the moving centrode by construction; at the corner its speed is 9.9e-15 against 2.87 a fifth of a radian later. positioned by solving, not by drawing.

Where a curve has a corner

Some coupler curves have corners in them — points where the curve stops, turns round and comes back. A corner happens where the tracing point is momentarily still, the only point of a moving plane that is momentarily still is the pole, and so the corners of a coupler curve are decided entirely inside the coupler's own plane.

curvature · Curvature The search generates 3,000 candidates for 1,878 answers. How much work the enumeration does, against how much it has to show for it. The upper line is the number of complete labelled graphs the search reaches and the lower is the number of distinct graphs they turn out to be, so the vertical gap is waste — every candidate above the lower line is a graph the search had already found under a different labelling. At eight links the unpruned version of this search generated 8,494 candidates for the same 71 answers, and at ten links it did not finish at all; with the pruning it generates 3,000 for 1,878 in 442 milliseconds. The rule that does it is one line long: when two links carry the same number of pins, reject the labelling that would be lexicographically smaller if they were swapped. It cannot reject a labelling that is the largest in its class, so nothing is lost, and it is not a complete test, which is why the canonical form is still taken at the end.

The candidates a search throws away

The obvious enumeration generates every labelling of every chain and keeps one. At eight links that is 8,494 complete graphs for 71 answers; at ten it does not finish. One rule — reject the labelling that a swap of two equal links would improve — takes it to 3,000 candidates for 1,878 answers in half a second, and twelve links is still out of reach.

topology · Topology The two curves the pole rolls along, at 60°. The pole is a different point at every instant, and it traces one curve in the fixed plane and another in the moving one. Those are the centrodes, and the whole motion is the second rolling without slipping on the first — a statement with no mechanism in it, which is why two completely different linkages with the same centrodes produce the same motion. The moving centrode is drawn here in the position it occupies at this instant, and it touches the fixed one at the pole to 0.0e+0 of a unit. positioned by solving, not by drawing.

The linkage, put back from two curves

This field opened by saying the mechanism drops out, and that every planar motion is one curve rolling on another. Both are true and neither had been measured. The rolling reproduces the four-bar's own placement to a residual that quarters when the sampling halves, and the two curves lay equal arc to a part in a billion.

curvature · Curvature

Named alongside it

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

AutomorphismCanonical formCentrodeDegenerate chainGraph isomorphismKinematic chainLink assortmentMoving planeOrbitRolling constraintRouletteType synthesis

All concepts