We show that it is decidable whether or not a given Q-rational series in several noncommutative variables has a cyclic image. By definition, a series r has a cyclic image if there is a rational number q such that all nonzero coefficients of r are integer powers of q.
We show that it is decidable whether or not a given Q-rational series in several noncommutative variables has a cyclic image. By definition, a series r has a cyclic image if there is a rational number q such that all nonzero coefficients of r are integer powers of q.
The aim of this work is to estimate exponential sums of the form , where Λ denotes von Mangoldt’s function, f a digital function, and β ∈ ℝ a parameter. This result can be interpreted as a Prime Number Theorem for rotations (i.e. a Vinogradov type theorem) twisted by digital functions.