A generalization of the question of Sierpiński on geometric progressions.
A prime number p is called a Schenker prime if there exists n ∈ ℕ₊ such that p∤n and p|aₙ, where is a so-called Schenker sum. T. Amdeberhan, D. Callan and V. Moll formulated two conjectures concerning p-adic valuations of aₙ when p is a Schenker prime. In particular, they conjectured that for each k ∈ ℕ₊ there exists a unique positive integer such that for each nonnegative integer m. We prove that for every k ∈ ℕ₊ the inequality v₅(aₙ) ≥ k has exactly one solution modulo . This confirms the...
We compare two sets of (infinite) binary sequences whose suffixes satisfy extremal conditions: one occurs when studying iterations of unimodal continuous maps from the unit interval into itself, but it also characterizes univoque real numbers; the other is a disguised version of the set of characteristic sturmian sequences. As a corollary to our study we obtain that a real number in is univoque and self-sturmian if and only if the -expansion of is of the form , where is a characteristic...
We compare two sets of (infinite) binary sequences whose suffixes satisfy extremal conditions: one occurs when studying iterations of unimodal continuous maps from the unit interval into itself, but it also characterizes univoque real numbers; the other is a disguised version of the set of characteristic Sturmian sequences. As a corollary to our study we obtain that a real number β in (1,2) is univoque and self-Sturmian if and only if the β-expansion of 1 is of the form 1v, where v is a characteristic...
A geometric progression of length k and integer ratio is a set of numbers of the form for some positive real number a and integer r ≥ 2. For each integer k ≥ 3, a greedy algorithm is used to construct a strictly decreasing sequence of positive real numbers with a₁ = 1 such that the set contains no geometric progression of length k and integer ratio. Moreover, is a maximal subset of (0,1] that contains no geometric progression of length k and integer ratio. It is also proved that there is...
Let J ⊂ ℝ² be the set of couples (x,q) with q > 1 such that x has at least one representation of the form with integer coefficients satisfying , i ≥ 1. In this case we say that is an expansion of x in base q. Let U be the set of couples (x,q) ∈ J such that x has exactly one expansion in base q. In this paper we deduce some topological and combinatorial properties of the set U. We characterize the closure of U, and we determine its Hausdorff dimension. For (x,q) ∈ J, we also prove new properties...