English

On the characterization of Peth\H{o}'s Loudspeaker

Number Theory 2014-10-29 v1

Abstract

For dNd \in \mathbb{N} and rCd\mathbf{r} \in \mathbb{C}^d let γr:Z[i]dZ[i]d\gamma_\mathbf{r}: \mathbb{Z}[\mathrm{i}]^d \to \mathbb{Z}[\mathrm{i}]^d, where γr(a)=(a2,...,ad,\gamma_\mathbf{r}(\mathbf{a})=(a_2,...,a_d, ra)-\lfloor\mathbf{r}\mathbf{a}\rfloor) for a=(a1,...,ad)\mathbf{a}=(a_1,...,a_d), denote the (d-dimensional) Gaussian shift radix system associated with r\mathbf{r}. γr\gamma_\mathbf{r} is said to have the finiteness property iff all orbits of γr\gamma_\mathbf{r} end up in (0,...,0)(0,...,0); the set of all corresponding rCd\mathbf{r} \in \mathbb{C}^d is denoted by Gd(0)\mathcal{G}_{d}^{(0)}. It has a very complicated structure even for d=1d=1. In the present paper a conjecture on the full characterization of G1(0)\mathcal{G}_{1}^{(0)} - which is known as Peth\H{o}'s Loudspeaker - is formulated and proven in substantial parts. It is shown that G1(0)\mathcal{G}_{1}^{(0)} is contained in a conjectured characterizing set GC\mathcal{G}_C. The other inclusion is settled algorithmically for large regions leaving only small areas of uncertainty. Furthermore the circumference and area of the Loudspeaker are computed under the assumption that the conjecture holds. The proven parts of the conjecture also allow to fully identify all so-called critical and weakly critical points of G1(0)\mathcal{G}_{1}^{(0)}.

Keywords

Cite

@article{arxiv.1410.7667,
  title  = {On the characterization of Peth\H{o}'s Loudspeaker},
  author = {Mario Weitzer},
  journal= {arXiv preprint arXiv:1410.7667},
  year   = {2014}
}