113 citations · 260 across the 57 of their papers we have counts for
7 papers · 1 filter
Transcendence of Hecke-Mahler Series
Florian Luca, Joel Ouaknine, James Worrell
We prove transcendence of the Hecke-Mahler series , where is a non-constant polynomial is a real numbe…
Linear dynamical systems with continuous weight functions
Rajab Aghamov, Christel Baier, Toghrul Karimov +2
In discrete-time linear dynamical systems (LDSs), a linear map is repeatedly applied to an initial vector yielding a sequence of vectors called the orbit of the system. A weight fu…
Transcendence for Pisot Morphic Words over an Algebraic Base
Pavol Kebis, Florian Luca, Joel Ouaknine +2
It is known that for a uniform morphic sequence and an algebraic number such that , the number $[\![\boldsymbol{u} ]\!]…
The 2-Dimensional Constraint Loop Problem is Decidable
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine +1
A linear constraint loop is specified by a system of linear inequalities that define the relation between the values of the program variables before and after a single execution of…
Multiple Reachability in Linear Dynamical Systems
Toghrul Karimov, Edon Kelmendi, Joël Ouaknine +1
We consider reachability decision problems for linear dynamical systems: Given a linear map on , together with source and target sets, determine whether there is a p…
On the Counting Complexity of the Skolem Problem
Gorav Jindal, Joël Ouaknine
The Skolem Problem asks, given an integer linear recurrence sequence (LRS), to determine whether the sequence contains a zero term or not. Its decidability is a longstanding open p…
Twisted rational zeros of linear recurrence sequences
Yuri Bilu, Florian Luca, Joris Nieuwveld +2
We introduce the notion of a twisted rational zero of a non-degenerate linear recurrence sequence (LRS). We show that any non-degenerate LRS has only finitely many such twisted rat…