Algebraic sums and products of univoque bases (Q1653258)
From MaRDI portal
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Algebraic sums and products of univoque bases |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic sums and products of univoque bases |
scientific article |
Statements
Algebraic sums and products of univoque bases (English)
0 references
17 July 2018
0 references
Let \(x \in (0,1]\) and consider the set \({\mathcal U}(x)\) consisting of all \(\beta \in (1,2]\) such that the \(\beta\)-expansion of \(x\) is unique (the paper under review denotes \(\beta\) by \(q\)), i.e., such that there is a unique sequence \((d_i) \in \{0,1\}^{\mathbb N}\) with \(x = \sum_{i=1}^\infty d_i \beta^{-i}\). This is the set of univoque bases of \(x\). It was shown by \textit{F. Lü} et al. [Fundam. Math. 227, No. 1, 69--83 (2014; Zbl 1368.11089)] that \({\mathcal U}(x)\) is a Lebesgue null set of maximal Hausdorff dimension. In the paper under review, the authors show that for any real \(\lambda \neq 0\), the sum set \[ {\mathcal U}(x) + \lambda {\mathcal U}(x) = \{p+\lambda q : p,q \in {\mathcal U}(x)\}, \] as well as the quotient set \[ {\mathcal U}(x) \cdot {\mathcal U}(x)^\lambda = \{pq^\lambda : p,q \in {\mathcal U}(x)\}, \] contain an interval. The analogous result is also shown for the set of so-called non-matching parameters introduced by \textit{K. Dajani} and \textit{C. Kalle} [``Invariant measures, matching and the frequency of 0 for signed binary expansions'', Preprint, \url{arXiv:1703.06335}]. The proof depends on studying the associated symbolic space of sequences, using this to prove that a certain subset satisfies the property of thickness and then applying a result of \textit{S. Astels} [Trans. Am. Math. Soc. 352, No. 1, 133--170 (2000; Zbl 0967.11026)] to deduce the main result. For the special value \(x = 1\), setting \(\lambda = 1\), the main result implies that \({\mathcal U}(x) + {\mathcal U}(x)\) and \({\mathcal U}(x) \cdot {\mathcal U}(x)\) both contain an interval. However, it is shown towards the end of the paper that the sets are not themselves intervals. Nonetheless, the authors conjecture that the sets \({\mathcal U}(x) - {\mathcal U}(x)\) and \({\mathcal U}(x) \cdot {\mathcal U}(x)^{-1}\) are in fact intervals.
0 references
algebraic differences
0 references
non-integer base expansions
0 references
univoque bases
0 references
thickness
0 references
Cantor sets
0 references
non-matching parameters
0 references