{"id":"arxiv/2608.29440","url":"https://arxiv.org/abs/2608.29440","tags":["math.GR"],"score":0,"title":"Decidability of the Orbit Problem Over $\\mathbb{Q}(X)$","domain":"math.GR","source":"arxiv","authors":["Joshua Holden","Alexa Renner"],"reviews":0,"subject":"math.GR","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-29","reactions":{}}