The orbit problem in higher dimensions

DOI10.1145/2488608.2488728MaRDI QIDQ5495866zbMATH OpenOpenAlexFDO

Authors Ventsislav Chonev, Joël Ouaknine, James Worrell

Publication date 7 August 2014

Published in Proceedings of the forty-eighth annual ACM symposium on Theory of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2488608.2488728

zbMATH Keywords

orbit problemmatrix powersSkolem's problem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Linear transformations, semilinear transformations (15A04)

Recommendations

• On the complexity of the orbit problem
• scientific article; zbMATH DE number 7204476
• Polynomial-time algorithm for the orbit problem
• The polyhedron-hitting problem
• scientific article; zbMATH DE number 7559115

Cited in

(19)

• Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
• Polynomial-time algorithm for the orbit problem
• Algebraic model checking for discrete linear dynamical systems
• The Orbit Problem Is in the GapL Hierarchy
• scientific article; zbMATH DE number 7559115 (Why is no real title available?)
• On the Identity Problem for the Special Linear Group and the Heisenberg Group.
• On the complexity of algebraic numbers, and the bit-complexity of straight-line programs1
• Higher limits over the fusion orbit category
• On generalized conjugacy and some related problems
• On the complexity of the orbit problem
• Continuous-time orbit problems are decidable in polynomial-time
• On the identity and group problems for complex Heisenberg matrices
• The polyhedron-hitting problem
• First-order orbit queries
• The orbit problem is in the GapL hierarchy
• Hypergeometric dispersion and the orbit problem
• scientific article; zbMATH DE number 7559425 (Why is no real title available?)
• Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
• What's decidable about discrete linear dynamical systems?

This page was built for publication: The orbit problem in higher dimensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5495866)