Decidability of the Orbit Problem Over $\mathbb{Q}(X)$
The orbit problem is the problem of whether, given $x, y\in \mathbb{Q}^n$ and an $n\times n$ matrix $A$, there exists an $i\in\mathbb{N}$ such that $A^ix = y$. In 1980, Kannan and Lipton proved that the orbit problem is decidable. We show that a generalization of the orbit problem, where the field is $\mathbb{Q}(X)$ for $X$ a countable set of transcendentals, is also decidable. We define the orbit power problem for an arbitrary group $G$ to be the problem of when, given $x, y\in G$, there exists an $n\in\mathbb{Z}$ such that $x^n = y$. We then use the main result to show that the power orbit…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.29440
curl -X POST /api/v1/records/arxiv/2608.29440/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.29440/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'