Alt's Problem
In the authors' words
We prove there are four-bar coupler curves through nine generic points in the plane, and thus resolve Alt's problem. We obtain this proof in three steps. First, we identify the space of coupler curves with a Zariski open subset of . Next, we formulate the polynomial system representing the nine-point path synthesis problem in these coordinates and modify it to obtain the mixed volume . Finally, we prove that of the branches of the generic sparse polynomial system with that support escape the torus in the sparse limit. Thus, we obtain an upper bound of for the generic solution count. A lower bound of is achieved via numerical certification on one instance.
Appeared: Monday, September 21. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 32 pages, 6 figures