Alt's Problem
En palabras de los autores
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.
Apareció: lunes, 21 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 32 pages, 6 figures