The Semialgebraic Orbit Problem

01/30/2019
by   Shaull Almagor, et al.
0

The Semialgebraic Orbit Problem is a fundamental reachability question that arises in the analysis of discrete-time linear dynamical systems such as automata, Markov chains, recurrence sequences, and linear while loops. An instance of the problem comprises a dimension d∈N, a square matrix A∈Q^d× d, and semialgebraic source and target sets S,T⊆R^d. The question is whether there exists x∈ S and n∈N such that A^nx ∈ T. The main result of this paper is that the Semialgebraic Orbit Problem is decidable for dimension d≤ 3. Our decision procedure relies on separation bounds for algebraic numbers as well as a classical result of transcendental number theory---Baker's theorem on linear forms in logarithms of algebraic numbers. We moreover argue that our main result represents a natural limit to what can be decided (with respect to reachability) about the orbit of a single matrix. On the one hand, semialgebraic sets are arguably the largest general class of subsets of R^d for which membership is decidable. On the other hand, previous work has shown that in dimension d=4, giving a decision procedure for the special case of the Orbit Problem with singleton source set S and polytope target set T would entail major breakthroughs in Diophantine approximation.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/25/2019

On reachability problems for low dimensional matrix semigroups

We consider the Membership and the Half-space Reachability Problems for ...
research
04/26/2022

The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems

We study fundamental reachability problems on pseudo-orbits of linear dy...
research
06/16/2020

On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems

We consider the decidability of state-to-state reachability in linear ti...
research
08/02/2023

Skolem Meets Bateman-Horn

The Skolem Problem asks to determine whether a given integer linear recu...
research
01/14/2022

The Sassenfeld criterion revisited

The starting point of this article is a decades-old yet little-noticed s...
research
05/29/2018

Groups of automorphisms of p-adic integers and the problem of the existence of fully homomorphic ciphers

In this paper, we study groups of automorphisms of algebraic systems ove...
research
04/01/2022

Reachability Analysis of Linear System

In this paper, we propose a decision procedure of reachability for linea...

Please sign up or login with your details

Forgot password? Click here to reset