Machine Kinematics
solved, then drawn
Concept

Homotopy continuation — where it appears

Deforming a system whose solutions are known into the one wanted, and tracking each root along the way. It is how this site counts assemblies rather than finds one: every path is followed, and the paths that run to infinity are reported instead of being lost.

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

Every path, in the plane of one unknown. The 16 tracked paths of the 3-RPR platform, projected onto the complex plane of x. Each curve starts at a solution of the start system and ends at a solution of the target or leaves the frame on its way to infinity. This run is γ random, start constants complex, and it found 6 solutions.

Following a root from a problem already solved

Homotopy continuation solves a system nobody can solve by deforming one that anybody can, and following every root as it moves. The whole method rests on the deformation being generic, and the folklore says that is what the γ-trick is for. Running all four combinations says the folklore names one of two places the randomness can live, and either will do.

algebra · Algebra What became of Bézout's paths. four-bar coupler pin: 2 of 4 paths arrived at a solution and 2 went to infinity; 3-RPR platform: 6 of 16 paths arrived at a solution and 10 went to infinity; Gough, generic: 80 of 1458 paths arrived at a solution and 1378 went to infinity. The surplus is not merely wasted — it is cheap: a path on its way to infinity is abandoned in a handful of steps, while every path that arrives is tracked in full.

The paths that leave

Bézout's number over-counts, and the over-count is enormous — 1,458 tracked paths for 80 solutions. The obvious response is to find a method that tracks only the paths that arrive. That method exists, it was built, and it is four times slower, because the surplus paths are not merely surplus. They are cheap.

algebra · Algebra A lower bound that happened to be tight. The site's own Gough platform at its home pose. The search starts Newton from a spread of guesses and reports what it lands on: 16 from 400, 16 from 1200, 16 from 4000. Tracking every one of the 1458 Bézout paths says there are 28 poses in the complex numbers and 16 of them are real. The search was right. Nothing available to the search could have said so.

The search that was right

This site has reported sixteen assemblies for its Gough platform and labelled the number a lower bound found by search, everywhere it appears. Tracking every path says there are twenty-eight poses and sixteen of them are real. The lower bound was tight. Nothing available to the search could have said so, and a second method that was supposed to settle it turns out to have the same defect one level up.

algebra · Algebra A line across the four-bar's coupler curve. The curve traced by a point on the four-bar's coupler, over every real configuration, with the machine drawn faintly at one of them. A real line crosses it at 4 marked points. Written as polynomials, the machine and the line have 8 paths to track; 6 arrive, 2 leave for infinity, and the arrivals draw 6 distinct points — 4 real and 2 complex. A random complex line gives 6 as well, which is the curve's degree.

A degree counted on a line

A curve of degree six meets a general line in six points, and that sentence is a way to measure the degree with no equation in it. Written as polynomials, a four-bar and a random complex line have eight paths to track; six arrive on every line tried, the other two run off towards the circular points, and a sum of the six stays straight to fifteen figures only when none is missing.

algebra · Algebra Every body of the Stephenson six-bar, sliced by one line. One random complex line, and a point on each body of the Stephenson six-bar required to lie on it. Every system has Bézout number 32. crank: 8 configurations drawing 2 distinct points, each 4 times, so degree 2; ternary coupler: 12 configurations drawing 6 distinct points, each 2 times, so degree 6; rocker: 8 configurations drawing 2 distinct points, each 4 times, so degree 2; arm: 18 configurations drawing 18 distinct points, each 1 time, so degree 18; output: 12 configurations drawing 2 distinct points, each 6 times, so degree 2. The configurations are what the tracker counts; the points are what the curve has.

The curve nobody eliminates

A point on the arm of the site's dwell six-bar draws a curve whose equation nobody writes down and no fit can find: at degree eighteen a fit needs a hundred and ninety coefficients, and its singular values have no gap to decide by. Sliced by a random line, the same machine has thirty-two paths to track and eighteen arrive, on every line tried, all eighteen distinct and all on one curve.

algebra · Algebra The closed path of a geared five-bar's pin at four gear ratios. A five-bar with two cranks of length 1 on pivots 3 apart, couplers 3 and 2.5, and a gear on each crank, drawn over one whole cycle at ratios 1 : 1, which closes after 1 input turn; 2 : 1, which closes after 1 input turn; 3 : 2, which closes after 2 input turns; 5 : 3, which closes after 3 input turns. Both assembly branches of the coupler pin are drawn, one in each colour. The curves they make together have degree 6, 10, 16, 26.

Every rational gear ratio has a degree

Mesh a gear on each crank of a five-bar and the pin where its couplers meet draws a closed curve at every rational ratio. Its degree is 6 at 1 to 1, 16 at 3 to 2, 68 at 13 to 8 and 178 at 34 to 21: four times the larger term of the ratio plus twice the smaller, read off the span of one polynomial in one variable. Along the golden ratio's convergents the degree grows by the golden ratio at each step, and at the golden ratio itself no fit finds any.

algebra · Algebra

Named alongside it

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

MonodromyDegreeImplicit equationWitness setAlgebraic curveBezoutGough platformNewton–RaphsonPath trackingPolynomial systemTrace testAssembly branch

All concepts