Alt's Problem
We prove there are $1442$ 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 $\textrm{Gr}(3,6)$. Next, we formulate the polynomial system representing the nine-point path synthesis problem in these coordinates and modify it to obtain the mixed volume $5538$. Finally, we prove that $4096$ 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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.22003
curl -X POST /api/v1/records/arxiv/2609.22003/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.22003/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'