Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Deciding $\omega$-Regular Properties on Linear Recurrence Sequences   We consider the problem of deciding $\omega$-regular properties on infinite
traces produced by linear loops. Here we think of a given loop as producing a
single infinite trace that encodes information about the signs of program
variables at each time step. Formally, our main result is a procedure that
inputs a prefix-independent $\omega$-regular property and a sequence of numbers
satisfying a linear recurrence, and determines whether the sign description of
the sequence (obtained by replacing each positive entry with "$+$", each
negative entry with "$-$", and each zero entry with "$0$") satisfies the given
property. Our procedure requires that the recurrence be simple, \ie, that the
update matrix of the underlying loop be diagonalisable. This assumption is
instrumental in proving our key technical lemma: namely that the sign
description of a simple linear recurrence sequence is almost periodic in the
sense of Muchnik, Sem\"enov, and Ushakov. To complement this lemma, we give an
example of a linear recurrence sequence whose sign description fails to be
almost periodic. Generalising from sign descriptions, we also consider the
verification of properties involving semi-algebraic predicates on program
variables.

35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
21
The categories of this paper are: adap-org
25
The categories of this paper are: patt-sol
8
The categories of this paper are: hep-ex
36
The categories of this paper are: cmp-lg
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
2
The categories of this paper are: math