J. Worrell

activity

20072026

most citedOn the decidability and complexity of Metric Temporal Logic over finite words

113 citations · 317 across the 70 of their papers we have counts for

collaborators

Showing 2024 · math.NTShow all

3 papers · 2 filters

math.NT2024

Transcendence of Hecke-Mahler Series

Florian Luca, Joel Ouaknine, James Worrell

We prove transcendence of the Hecke-Mahler series $\sum_{n = 0}^{\infty} f (⌊ n θ + α ⌋) β^{- n}$ , where $f (x) \in Z [x]$ is a non-constant polynomial $α$ is a real numbe…

math.NT2024

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 $u = ⟨ u_{n} ⟩_{n = 0}^{\infty}$ and an algebraic number $β$ such that $∣ β ∣ > 1$ , the number $[\![\boldsymbol{u} ]\!]…

math.NT2024

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…