The Polytope-Collision Problem

Shaull Almagor, Joël Ouaknine, James Worrell

The Orbit Problem consists of determining, given a matrix $A\in {\mathbb{R}}^{d\times d}$ and vectors $x,y\in {\mathbb{R}}^d$, whether there exists $n\in \mathbb{N}$ such that $A^n=y$.…