Showing 1–38 of 38 results for author: Thuswaldner, J

Measure and dimension theory of permeable sets and its applications to fractals

Authors: Gunther Leobacher, Tapio Rajala, Alexander Steinicke, Jörg Thuswaldner

Abstract: We study {\it permeable} sets. These are sets \(Θ\subset \mathbb{R}^d\) which have the property that each two points \(x,y\in \mathbb{R}^d\) can be connected by a short path \(γ\) which has small (or even empty, apart from the end points of \(γ\)) intersection with \(Θ\). We investigate relations between permeability and Lebesgue measure and establish theorems on the relation of permeability with… ▽ More We study {\it permeable} sets. These are sets \(Θ\subset \mathbb{R}^d\) which have the property that each two points \(x,y\in \mathbb{R}^d\) can be connected by a short path \(γ\) which has small (or even empty, apart from the end points of \(γ\)) intersection with \(Θ\). We investigate relations between permeability and Lebesgue measure and establish theorems on the relation of permeability with several notions of dimension. It turns out that for most notions of dimension each subset of \(\mathbb{R}^d\) of dimension less than \(d-1\) is permeable. We use our permeability result on the Nagata dimension to characterize permeability properties of self-similar sets with certain finiteness properties. △ Less

Submitted 14 April, 2025; v1 submitted 3 October, 2024; originally announced October 2024.

MSC Class: 51M25; 28A75; 54F45; 28A80

A finiteness condition for complex continued fraction algorithms

Authors: Charlene Kalle, Fanni M. Sélley, Jörg M. Thuswaldner

Abstract: It is desirable that a given continued fraction algorithm is simple in the sense that the possible representations can be characterized in an easy way. In this context the so-called finite range condition plays a prominent role. We show that this condition holds for complex $\boldsymbolα$-Hurwitz algorithms with parameters $\boldsymbolα\in\mathbb{Q}^2$. This is equivalent to the existence of certa… ▽ More It is desirable that a given continued fraction algorithm is simple in the sense that the possible representations can be characterized in an easy way. In this context the so-called finite range condition plays a prominent role. We show that this condition holds for complex $\boldsymbolα$-Hurwitz algorithms with parameters $\boldsymbolα\in\mathbb{Q}^2$. This is equivalent to the existence of certain finite partitions related to these algorithms and lies at the root of explorations into their Diophantine properties. Our result provides a partial answer to a recent question formulated by Lukyanenko and Vandehey. △ Less

Submitted 10 December, 2024; v1 submitted 26 June, 2024; originally announced June 2024.

Comments: 12 pages, 6 figures

MSC Class: 11J70

Generalizations of Sturmian sequences associated with $N$-continued fraction algorithms

Authors: Niels Langeveld, Lucía Rossi, Jörg M. Thuswaldner

Abstract: Given a positive integer $N$ and $x$ irrational between zero and one, an $N$-continued fraction expansion of $x$ is defined analogously to the classical continued fraction expansion, but with the numerators being all equal to $N$. Inspired by Sturmian sequences, we introduce the $N$-continued fraction sequences $ω(x,N)$ and $\hatω(x,N)$, which are related to the $N$-continued fraction expansion of… ▽ More Given a positive integer $N$ and $x$ irrational between zero and one, an $N$-continued fraction expansion of $x$ is defined analogously to the classical continued fraction expansion, but with the numerators being all equal to $N$. Inspired by Sturmian sequences, we introduce the $N$-continued fraction sequences $ω(x,N)$ and $\hatω(x,N)$, which are related to the $N$-continued fraction expansion of $x$. They are infinite words over a two letter alphabet obtained as the limit of a directive sequence of certain substitutions, hence they are $S$-adic sequences. When $N=1$, we are in the case of the classical continued fraction algorithm, and obtain the well-known Sturmian sequences. We show that $ω(x,N)$ and $\hatω(x,N)$ are $C$-balanced for some explicit values of $C$ and compute their factor complexity function. We also obtain uniform word frequencies and deduce unique ergodicity of the associated subshifts. Finally, we provide a Farey-like map for $N$-continued fraction expansions, which provides an additive version of $N$-continued fractions, for which we prove ergodicity and give the invariant measure explicitly. △ Less

Submitted 14 February, 2023; v1 submitted 2 September, 2022; originally announced September 2022.

Comments: 23 pages, 2 figures. Implemented suggestions of the referee

MSC Class: 68R15; 11J70; 37A44

Rational self-affine tiles associated to standard and nonstandard digit systems

Authors: Lucía Rossi, Wolfgang Steiner, Jörg M. Thuswaldner

Abstract: We consider digit systems $(A,\mathcal{D})$, where $ A \in \mathbb{Q}^{n\times n}$ is an expanding matrix and the digit set $\mathcal{D}$ is a suitable subset of $\mathbb{Q}^n$. To such a system, we associate a self-affine set $\mathcal{F} = \mathcal{F}(A,\mathcal{D})$ that lives in a certain representation space $\mathbb{K}$. If $A$ is an integer matrix, then $\mathbb{K} = \mathbb{R}^n$, while in… ▽ More We consider digit systems $(A,\mathcal{D})$, where $ A \in \mathbb{Q}^{n\times n}$ is an expanding matrix and the digit set $\mathcal{D}$ is a suitable subset of $\mathbb{Q}^n$. To such a system, we associate a self-affine set $\mathcal{F} = \mathcal{F}(A,\mathcal{D})$ that lives in a certain representation space $\mathbb{K}$. If $A$ is an integer matrix, then $\mathbb{K} = \mathbb{R}^n$, while in the general rational case $\mathbb{K}$ contains an additional solenoidal factor. We give a criterion for $\mathcal{F}$ to have positive Haar measure, i.e., for being a rational self-affine tile. We study topological properties of $\mathcal{F}$ and prove some tiling theorems. Our setting is very general in the sense that we allow $(A,\mathcal{D})$ to be a nonstandard digit system. A standard digit system $(A,\mathcal{D})$ is one in which we require $\mathcal{D}$ to be a complete system of residue class representatives w.r.t. a certain naturally chosen residue class ring. Our tools comprise the Frobenius normal form and character theory of locally compact abelian groups. △ Less

Submitted 8 July, 2024; v1 submitted 18 October, 2021; originally announced October 2021.

MSC Class: 11A63

Rational matrix digit systems

Authors: Jonas Jankauskas, Jörg M. Thuswaldner

Abstract: Let $A$ be a $d \times d$ matrix with rational entries which has no eigenvalue $λ\in \mathbb{C}$ of absolute value $|λ| < 1$ and let $\mathbb{Z}^d[A]$ be the smallest nontrivial $A$-invariant $\mathbb{Z}$-module. We lay down a theoretical framework for the construction of digit systems $(A, \mathcal{D})$, where $\mathcal{D}\subset \mathbb{Z}^d[A]$ finite, that admit finite expansions of the form \… ▽ More Let $A$ be a $d \times d$ matrix with rational entries which has no eigenvalue $λ\in \mathbb{C}$ of absolute value $|λ| < 1$ and let $\mathbb{Z}^d[A]$ be the smallest nontrivial $A$-invariant $\mathbb{Z}$-module. We lay down a theoretical framework for the construction of digit systems $(A, \mathcal{D})$, where $\mathcal{D}\subset \mathbb{Z}^d[A]$ finite, that admit finite expansions of the form \[ \mathbf{x}= \mathbf{d}_0 + A \mathbf{d}_1 + \cdots + A^{\ell-1}\mathbf{d}_{\ell-1} \qquad(\ell\in \mathbb{N},\;\mathbf{d}_0,\ldots,\mathbf{d}_{\ell-1} \in \mathcal{D}) \] for every element $\mathbf{x}\in \mathbb{Z}^d[A]$. We put special emphasis on the explicit computation of small digit sets $\mathcal{D}$ that admit this property for a given matrix $A$, using techniques from matrix theory, convex geometry, and the Smith Normal Form. Moreover, we provide a new proof of general results on this finiteness property and recover analogous finiteness results for digit systems in number fields a unified way. △ Less

Submitted 9 December, 2021; v1 submitted 29 July, 2021; originally announced July 2021.

Comments: 33 pages, 6 figures (11 illustrations), revised version v2.0, Def. 1 on p.4. reformulated, minor changes in text and corrected misprints

MSC Class: 11A63; 11C20; 11H06; 11P21; 15A30; 15B10; 52A40; 90C05

On self-affine tiles that are homeomorphic to a ball

Authors: Jörg M. Thuswaldner, Shu-Qin Zhang

Abstract: Let $M$ be a $3\times 3$ integer matrix which is expanding in the sense that each of its eigenvalues is greater than $1$ in modulus and let $\mathcal{D} \subset \mathbb{Z}^3$ be a digit set containing $|\det M|$ elements. Then the unique nonempty compact set $T=T(M,\mathcal{D})$ defined by the set equation $MT=T+\mathcal{D}$ is called an integral self-affine tile if its interior is nonempty. If… ▽ More Let $M$ be a $3\times 3$ integer matrix which is expanding in the sense that each of its eigenvalues is greater than $1$ in modulus and let $\mathcal{D} \subset \mathbb{Z}^3$ be a digit set containing $|\det M|$ elements. Then the unique nonempty compact set $T=T(M,\mathcal{D})$ defined by the set equation $MT=T+\mathcal{D}$ is called an integral self-affine tile if its interior is nonempty. If $\mathcal{D}$ is of the form $\mathcal{D}=\{0,v,\ldots, (|\det M|-1)v\}$ we say that $T$ has a collinear digit set. The present paper is devoted to the topology of integral self-affine tiles with collinear digit sets. In particular, we prove that a large class of these tiles is homeomorphic to a closed $3$-dimensional ball. Moreover, we show that in this case $T$ carries a natural CW complex structure that is defined in terms of the intersections of $T$ with its neighbors in the lattice tiling $\{T+z\,:\, z\in \mathbb{Z}^3\}$ induced by $T$. This CW complex structure is isomorphic to the CW complex defined by the truncated octahedron. △ Less

Submitted 15 May, 2024; v1 submitted 26 July, 2021; originally announced July 2021.

Comments: 31 pages, 9 Figures

MSC Class: Primary: 28A80; 57M50. Secondary: 51M20; 52C22; 54F65

Weyl sums over integers with digital restrictions

Authors: Igor E. Shparlinski, Jörg M. Thuswaldner

Abstract: We estimate Weyl sums over the integers with sum of binary digits either fixed or restricted by some congruence condition. In our proofs we use ideas that go back to a paper by Banks, Conflitti and the first author (2002). Moreover, we apply the "main conjecture" on the Vinogradov mean value theorem which has been established by Bourgain, Demeter and Guth (2016) as well as by Wooley (2016, 2019).… ▽ More We estimate Weyl sums over the integers with sum of binary digits either fixed or restricted by some congruence condition. In our proofs we use ideas that go back to a paper by Banks, Conflitti and the first author (2002). Moreover, we apply the "main conjecture" on the Vinogradov mean value theorem which has been established by Bourgain, Demeter and Guth (2016) as well as by Wooley (2016, 2019). We use our result to give an estimate of the discrepancy of point sets that are defined by the values of polynomials at arguments having the sum of binary digits restricted in different ways. △ Less

Submitted 11 May, 2021; originally announced May 2021.

A number system with base $-\frac32$

Authors: Lucía Rossi, Jörg M. Thuswaldner

Abstract: In the present paper we explore a way to represent numbers with respect to the base $-\frac32$ using the set of digits $\{0,1,2\}$. Although this number system shares several properties with the classical decimal system, it shows remarkable differences and reveals interesting new features. For instance, it is related to the field of $2$-adic numbers, and to some ``fractal'' set that gives rise to… ▽ More In the present paper we explore a way to represent numbers with respect to the base $-\frac32$ using the set of digits $\{0,1,2\}$. Although this number system shares several properties with the classical decimal system, it shows remarkable differences and reveals interesting new features. For instance, it is related to the field of $2$-adic numbers, and to some ``fractal'' set that gives rise to a tiling of a non-Euclidean space. △ Less

Submitted 22 February, 2021; originally announced February 2021.

Comments: A substantially extended version of this article has been accepted for publication in The American Mathematical Monthly, published by Taylor & Francis

MSC Class: 11A63; 28A80

Sur la répartition jointe de la représentation d'Ostrowski dans les classes de résidue

Authors: Myriam Amri, Lukas Spiegelhofer, Jörg Thuswaldner

Abstract: For two distinct integers $m_1,m_2\ge2$, we set $α_1=[0;\overline{1,m_1}]$ and $α_2=[0;\overline{1,m_2}]$ and we denote by $S_{α_1}(n)$ and $S_{α_2}(n)$ respectively the sum of digits functions in the Ostrowski $α_1$ and $α_2-$representations of $n$. Let $b_1,b_2 $ be positive integers satisfying $(b_1,m_1)=1$ and $(b_2,m_2)=1$, we obtain an estimation with an error term $O(N^{1-δ})$ for the cardi… ▽ More For two distinct integers $m_1,m_2\ge2$, we set $α_1=[0;\overline{1,m_1}]$ and $α_2=[0;\overline{1,m_2}]$ and we denote by $S_{α_1}(n)$ and $S_{α_2}(n)$ respectively the sum of digits functions in the Ostrowski $α_1$ and $α_2-$representations of $n$. Let $b_1,b_2 $ be positive integers satisfying $(b_1,m_1)=1$ and $(b_2,m_2)=1$, we obtain an estimation with an error term $O(N^{1-δ})$ for the cardinal of the following set $$\Big\{ 0\leq n<N;\ S_{α_1}(n)\equiv a_1\pmod{b_1},\ S_{α_2}(n)\equiv a_2\pmod{b_2}\Big\},$$ for all integers $a_1$ and $a_2.$ Our result should be compared to that of Bésineau and Kim who treated the case of the $q-$representations in different bases (that are coprimes). △ Less

Submitted 12 June, 2020; originally announced June 2020.

Comments: 16 pages, in French

MSC Class: 11A37; 11N05; 11J71

Multidimensional continued fractions and symbolic codings of toral translations

Authors: Valérie Berthé, Wolfgang Steiner, Jörg M. Thuswaldner

Abstract: It has been a long standing problem to find good symbolic codings for translations on the $d$-dimensional torus that enjoy the beautiful properties of Sturmian sequences like low factor complexity and good local discrepancy properties. Inspired by Rauzy's approach we construct such codings in terms of multidimensional continued fraction algorithms that are realized by sequences of substitutions. I… ▽ More It has been a long standing problem to find good symbolic codings for translations on the $d$-dimensional torus that enjoy the beautiful properties of Sturmian sequences like low factor complexity and good local discrepancy properties. Inspired by Rauzy's approach we construct such codings in terms of multidimensional continued fraction algorithms that are realized by sequences of substitutions. In particular, given any exponentially convergent continued fraction algorithm, these sequences lead to renormalization schemes which produce symbolic codings of toral translations and bounded remainder sets at all scales in a natural way. The exponential convergence properties of a continued fraction algorithm can be viewed in terms of a Pisot type condition imposed on an attached symbolic dynamical system. Using this fact, our approach provides a systematic way to confirm purely discrete spectrum results for wide classes of symbolic dynamical systems. Indeed, as our examples illustrate, we are able to confirm the Pisot conjecture for many well-known families of sequences of substitutions. These examples comprise classical algorithms like the Jacobi--Perron, Brun, Cassaigne--Selmer, and Arnoux--Rauzy algorithms. As a consequence, we gain symbolic codings of almost all translations of the $2$-dimensional torus having factor complexity $2n+1$ that are balanced for words, which leads to multiscale bounded remainder sets. Using the Brun algorithm, we also give symbolic codings of almost all $3$-dimensional toral translations having multiscale bounded remainder sets. △ Less

Submitted 29 October, 2021; v1 submitted 26 May, 2020; originally announced May 2020.

Comments: 45 pages, 4 figures, to appear in the Journal of the European Mathematical Society (JEMS)

MSC Class: 37B10; 37A30; 11K50; 28A80

On the second Lyapunov exponent of some multidimensional continued fraction algorithms

Authors: Valérie Berthé, Wolfgang Steiner, Jörg Thuswaldner

Abstract: We study the strong convergence of certain multidimensional continued fraction algorithms. In particular, in the two-dimensional case, we prove that the second Lyapunov exponent of Selmer's algorithm is negative and bound it away from zero. Moreover, we give heuristic results on several other continued fraction algorithms. Our results indicate that all classical multidimensional continued fraction… ▽ More We study the strong convergence of certain multidimensional continued fraction algorithms. In particular, in the two-dimensional case, we prove that the second Lyapunov exponent of Selmer's algorithm is negative and bound it away from zero. Moreover, we give heuristic results on several other continued fraction algorithms. Our results indicate that all classical multidimensional continued fraction algorithms cease to be strongly convergent for high dimensions. The only exception seems to be the Arnoux-Rauzy algorithm which, however, is defined only on a set of measure zero. △ Less

Submitted 18 September, 2020; v1 submitted 21 October, 2019; originally announced October 2019.

The level of distribution of the sum-of-digits function of linear recurrence number systems

Authors: Manfred G. Madritsch, Jörg M. Thuswaldner

Abstract: Let $G=(G_j)_{j\ge 0}$ be a strictly increasing linear recurrent sequence of integers with $G_0=1$ having characteristic polynomial $X^{d}-a_1X^{d-1}-\cdots-a_{d-1}X-a_d$. It is well known that each positive integer $ν$ can be uniquely represented by the so-called greedy expansion $ν=\varepsilon_0(ν)G_0+\cdots+\varepsilon_\ell(ν)G_\ell$ for $\ell \in \mathbb{N}$ satisfying… ▽ More Let $G=(G_j)_{j\ge 0}$ be a strictly increasing linear recurrent sequence of integers with $G_0=1$ having characteristic polynomial $X^{d}-a_1X^{d-1}-\cdots-a_{d-1}X-a_d$. It is well known that each positive integer $ν$ can be uniquely represented by the so-called greedy expansion $ν=\varepsilon_0(ν)G_0+\cdots+\varepsilon_\ell(ν)G_\ell$ for $\ell \in \mathbb{N}$ satisfying $G_\ell \le ν< G_{\ell+1}$. Here the digits are defined recursively in a way that $0\le ν- \varepsilon_{\ell}(ν) G_\ell - \cdots - \varepsilon_j(ν) G_j < G_j$ holds for $0 \le j \le \ell$. In the present paper we study the sum-of-digits function $s_G(ν)=\varepsilon_0(ν)+\cdots+\varepsilon_\ell(ν)$ under certain natural assumptions on the sequence $G$. In particular, we determine its level of distribution $x^{\vartheta}$. To be more precise, we show that for $r,s\in\mathbb{N}$ with $\gcd(a_1+\cdots+a_d-1,s)=1$ we have for each $x\ge 1$ and all $A,\varepsilon\in\mathbb{R}_{>0}$ that \[ \sum_{q<x^{\vartheta-\varepsilon}}\max_{z<x}\max_{1\leq h\leq q} \lvert\sum_{\substack{k<z,s_G(k)\equiv r\bmod s\\ k\equiv h\bmod q}}1 -\frac1q\sum_{k<z,s_G(k)\equiv r\bmod s}1\rvert \ll x(\log 2x)^{-A}. \] Here $\vartheta=\vartheta(G) \ge \frac12$ can be computed explicitly and we have $\vartheta(G) \to 1$ for $a_1\to\infty$. As an application we show that $\#\{ k\le x \,:\, s_G(k) \equiv r \pmod{s}, \; k \hbox{ has at most two prime factors} \} \gg x/\log x $ provided that the coefficient $a_1$ is not too small. Moreover, using Bombieri's sieve an "almost prime number theorem" for $s_G$ follows from our result. Our work extends earlier results on the classical $q$-ary sum-of-digits function obtained by Fouvry and Mauduit. △ Less

Submitted 21 September, 2019; v1 submitted 18 September, 2019; originally announced September 2019.

Comments: 22 pages, 1 figure, 1 table

MSC Class: 11A63; 11L07; 11N05

$\boldsymbol{S}$-adic sequences. A bridge between dynamics, arithmetic, and geometry

Authors: Jörg M. Thuswaldner

Abstract: A Sturmian sequence is an infinite nonperiodic string over two letters with minimal subword complexity. In two papers, the first written by Morse and Hedlund in 1940 and the second by Coven and Hedlund in 1973, a surprising correspondence was established between Sturmian sequences on one side and rotations by an irrational number on the unit circle on the other. In 1991 Arnoux and Rauzy observed t… ▽ More A Sturmian sequence is an infinite nonperiodic string over two letters with minimal subword complexity. In two papers, the first written by Morse and Hedlund in 1940 and the second by Coven and Hedlund in 1973, a surprising correspondence was established between Sturmian sequences on one side and rotations by an irrational number on the unit circle on the other. In 1991 Arnoux and Rauzy observed that an induction process (invented by Rauzy in the late 1970s), related with the classical continued fraction algorithm, can be used to give a very elegant proof of this correspondence. This process, known as the Rauzy induction, extends naturally to interval exchange transformations (this is the setting in which it was first formalized). It has been conjectured since the early 1990s that these correspondences carry over to rotations on higher dimensional tori, generalized continued fraction algorithms, and so-called $S$-adic sequences generated by substitutions. The idea of working towards such a generalization is known as Rauzy's program. Recently Berthé, Steiner, and Thuswaldner made some progress on Rauzy's program and were indeed able to set up the conjectured generalization of the above correspondences. Using a generalization of Rauzy's induction process in which generalized continued fraction algorithms show up, they proved that under certain natural conditions an $S$-adic sequence gives rise to a dynamical system which is measurably conjugate to a rotation on a higher dimensional torus. Moreover, they established a metric theory which shows that counterexamples like the one constructed in 2000 by Cassaigne, Ferenczi, and Zamboni are rare. It is the aim of the present chapter to survey all these ideas and results. △ Less

Submitted 29 August, 2020; v1 submitted 16 August, 2019; originally announced August 2019.

Comments: 68 pages, 20 figures

On self-affine tiles whose boundary is a sphere

Authors: Jörg Thuswaldner, Shu-qin Zhang

Abstract: Let $M$ be a $3\times 3$ integer matrix each of whose eigenvalues is greater than $1$ in modulus and let $\mathcal{D}\subset\mathbb{Z}^3$ be a set with $|\mathcal{D}|=|\det M|$, called digit set. The set equation $MT = T+\mathcal{D}$ uniquely defines a nonempty compact set $T\subset \mathbb{R}^3$. If $T$ has positive Lebesgue measure it is called a $3$-dimensional self-affine tile. In the present… ▽ More Let $M$ be a $3\times 3$ integer matrix each of whose eigenvalues is greater than $1$ in modulus and let $\mathcal{D}\subset\mathbb{Z}^3$ be a set with $|\mathcal{D}|=|\det M|$, called digit set. The set equation $MT = T+\mathcal{D}$ uniquely defines a nonempty compact set $T\subset \mathbb{R}^3$. If $T$ has positive Lebesgue measure it is called a $3$-dimensional self-affine tile. In the present paper we study topological properties of $3$-dimensional self-affine tiles with collinear digit set, i.e., with a digit set of the form $\mathcal{D}=\{0,v,2v,\ldots, (|\det M|-1)v\}$ for some $v\in\mathbb{Z}^3\setminus\{0\}$. We prove that the boundary of such a tile $T$ is homeomorphic to a $2$-sphere whenever its set of neighbors in a lattice tiling which is induced by $T$ in a natural way contains $14$ elements. The combinatorics of this lattice tiling is then the same as the one of the bitruncated cubic honeycomb, a body-centered cubic lattice tiling by truncated octahedra. We give a characterization of $3$-dimensional self-affine tiles with collinear digit set having $14$ neighbors in terms of the coefficients of the characteristic polynomial of $M$. In our proofs we use results of R. H. Bing on the topological characterization of spheres. △ Less

Submitted 20 June, 2019; v1 submitted 16 November, 2018; originally announced November 2018.

Comments: 30 pages, 10 figures

MSC Class: 28A80; 57M50; 57N05; Secondary: 51M20; 52C22; 54F65

Number systems over general orders

Authors: Jan-Hendrik Evertse, Kálmán Győry, Attila Pethő, Jörg M. Thuswaldner

Abstract: Let $\mathcal{O}$ be an order, that is a commutative ring with $1$ whose additive structure is a free $\mathbb{Z}$-module of finite rank. A generalized number system (GNS for short) over $\mathcal{O}$ is a pair $(p,\mathcal{D} )$ where $p\in\mathcal{O}[x]$ is monic with constant term $p(0)$ not a zero divisor of $\mathcal{O}$, and where $\mathcal{D}$ is a complete residue system modulo $p(0)$ in… ▽ More Let $\mathcal{O}$ be an order, that is a commutative ring with $1$ whose additive structure is a free $\mathbb{Z}$-module of finite rank. A generalized number system (GNS for short) over $\mathcal{O}$ is a pair $(p,\mathcal{D} )$ where $p\in\mathcal{O}[x]$ is monic with constant term $p(0)$ not a zero divisor of $\mathcal{O}$, and where $\mathcal{D}$ is a complete residue system modulo $p(0)$ in $\mathcal{O}$ containing $0$. We say that $(p,\mathcal{D})$ is a GNS over $\mathcal{O}$ with the finiteness property if all elements of $\mathcal{O}[x]/(p)$ have a representative in $\mathcal{D}[x]$ (the polynomials with coefficients in $\mathcal{D}$). Our purpose is to extend several of the results from a previous paper of Pethő and Thuswaldner, where GNS over orders of number fields were considered. We prove that it is algorithmically decidable whether or not for a given order $\mathcal{O}$ and GNS $(p,\mathcal{D})$ over $\mathcal{O}$, the pair $(p,\mathcal{D})$ admits the finiteness property. This is closely related to work of Vince on matrix number systems. Let $\mathcal{F}$ be a fundamental domain for $\mathcal{O} \!\otimes_{\mathbb{Z}}\! \mathbb{R}/\mathcal{O}$ and $p\in \mathcal{O}[X]$ a monic polynomial. For $α\in\mathcal{O}$, define $p_α(x):=p(x+α)$ and $\mathcal{D}_{\mathcal{F} ,p(α)}:= p(α)\mathcal{F}\cap\mathcal{O}$. Under mild conditions we show that the pairs $(p_α,\mathcal{D}_{\mathcal{F},p(α)}\,)$ are GNS over $\mathcal{O}$ with finiteness property provided $α\in\mathcal{O}$ in some sense approximates a sufficiently large positive rational integer. In the opposite direction we prove under different conditions that $(p_{-m},\mathcal{D}_{\mathcal{F} ,p(-m)}\,)$ does not have the finiteness property for each large enough positive rational integer $m$. △ Less

Submitted 9 March, 2019; v1 submitted 23 October, 2018; originally announced October 2018.

Comments: 16 pages

MSC Class: 11A63; 11R04

Topology of planar self-affine tiles with collinear digit set

Authors: Shigeki Akiyama, Benoît Loridant, Jörg Thuswaldner

Abstract: We consider the self-affine tiles with collinear digit set defined as follows. Let $A,B\in\mathbb{Z}$ satisfy $|A|\leq B\geq 2$ and $M\in\mathbb{Z}^{2\times2}$ be an integral matrix with characteristic polynomial $x^2+Ax+B$. Moreover, let $\mathcal{D}=\{0,v,2v,\ldots,(B-1)v\}$ for some $v\in\mathbb{Z}^2$ such that $v,M v$ are linearly independent. We are interested in the topological properties of… ▽ More We consider the self-affine tiles with collinear digit set defined as follows. Let $A,B\in\mathbb{Z}$ satisfy $|A|\leq B\geq 2$ and $M\in\mathbb{Z}^{2\times2}$ be an integral matrix with characteristic polynomial $x^2+Ax+B$. Moreover, let $\mathcal{D}=\{0,v,2v,\ldots,(B-1)v\}$ for some $v\in\mathbb{Z}^2$ such that $v,M v$ are linearly independent. We are interested in the topological properties of the self-affine tile $\mathcal{T}$ defined by $M\mathcal{T}=\bigcup_{d\in\mathcal{D}}(\mathcal{T}+d)$. Lau and Leung proved that $\mathcal{T}$ is homeomorphic to a closed disk if and only if $2|A|\leq B+2$. In particular, $\mathcal{T}$ has no cut point. We prove here that $\mathcal{T}$ has a cut point if and only if $2|A|\geq B+5$. For $2|A|-B\in \{3,4\}$, the interior of $\mathcal{T}$ is disconnected and the closure of each connected component of the interior of $\mathcal{T}$ is homeomorphic to a closed disk. △ Less

Submitted 9 January, 2018; originally announced January 2018.

Characterization of rational matrices that admit finite digit representations

Authors: Jonas Jankauskas, Jörg Thuswaldner

Abstract: Let $A$ be an $n \times n$ matrix with rational entries and let \[ \mathbb{Z}^n[A] := \bigcup_{k=1}^{\infty} \left( \mathbb{Z}^n + A\mathbb{Z}^n + \dots + A^{k-1}\mathbb{Z}^n\right) \] be the minimal $A$-invariant $\mathbb{Z}$-module containing the lattice $\mathbb{Z}^n$. If $\mathcal{D}\subset\mathbb{Z}^n[A]$ is a finite set we call the pair $(A,\mathcal{D})$ a digit system. We say that… ▽ More Let $A$ be an $n \times n$ matrix with rational entries and let \[ \mathbb{Z}^n[A] := \bigcup_{k=1}^{\infty} \left( \mathbb{Z}^n + A\mathbb{Z}^n + \dots + A^{k-1}\mathbb{Z}^n\right) \] be the minimal $A$-invariant $\mathbb{Z}$-module containing the lattice $\mathbb{Z}^n$. If $\mathcal{D}\subset\mathbb{Z}^n[A]$ is a finite set we call the pair $(A,\mathcal{D})$ a digit system. We say that $(A,\mathcal{D})$ has the finiteness property if each $\mathbf{z} \in \mathbb{Z}^n[A]$ can be written in the form \[ \mathbf{z} = \mathbf{d}_0 + A\mathbf{d}_1 + \dots + A^k\mathbf{d}_k, \] with $k\in\mathbb{N}$ and digits $\mathbf{d}_j \in \mathcal{D}$ for $0\le j\le k$. We prove that for a given matrix $A \in M_n(\mathbb{Q})$ there is a finite set $\mathcal{D}\subset\mathbb{Z}^n[A]$ such that $(A, \mathcal{D})$ has the finiteness property if and only if $A$ has no eigenvalue of absolute value $< 1$. This result is the matrix analogue of the height reducing property of algebraic numbers. In proving this result we also characterize integer polynomials $P \in \mathbb{Z}[x]$ that admit digit systems having the finiteness property in the quotient ring $\mathbb{Z}[x]/(P)$. △ Less

Submitted 2 August, 2018; v1 submitted 5 January, 2018; originally announced January 2018.

Comments: Revised version, accepted for publication by Linear Algebra and its Applications, 8 pages. Corrections of 3 misprints and a light changes in text of first paragraph on page 2

MSC Class: 11A63 (Primary) 11K16; 11R04; 11C20; 13G05; 15B36; 37A45 (Secondary)

The finiteness property for shift radix systems with general parameters

Authors: Attila Pethő, Jörg Thuswaldner, Mario Weitzer

Abstract: There are two-dimensional expanding shift radix systems (SRS) which have some periodic orbits. The aim of the present paper is to describe such unusual points as well as possible. We give all regions that contain parameters the corresponding SRS of which generate obvious cycles like $(1), (-1), (1,-1), (1,0), (-1,0)$. We prove that if $\mathbf{r}=(r_0,r_1)\in \mathbb{R}^2$ neither belongs to the a… ▽ More There are two-dimensional expanding shift radix systems (SRS) which have some periodic orbits. The aim of the present paper is to describe such unusual points as well as possible. We give all regions that contain parameters the corresponding SRS of which generate obvious cycles like $(1), (-1), (1,-1), (1,0), (-1,0)$. We prove that if $\mathbf{r}=(r_0,r_1)\in \mathbb{R}^2$ neither belongs to the aforementioned regions nor to the finite region $1\le r_0\le 4/3, -r_0 \le r_1 <r_0-1$, then $τ_{\mathbf{r}}$ only has the trivial bounded orbit $\mathbf{0}$, which is a natural generalization of the established finiteness property for SRS with non-periodic orbits. The further reduction should be quite involving, because for all $1\le r_0< 4/3$ there exists at least one interval $I$ such that for the point $(r_0,r_1)$ this is not true whenever $r_1\in I$. △ Less

Submitted 3 October, 2019; v1 submitted 27 November, 2017; originally announced November 2017.

Number systems over orders

Authors: Attila Pethő, Jörg Thuswaldner

Abstract: Let $\mathbb{K}$ be a number field of degree $k$ and let $\mathcal{O}$ be an order in $\mathbb{K}$. A \emph{generalized number system over $\mathcal{O}$} (GNS for short) is a pair $(p,\mathcal{D})$ where $p \in \mathcal{O}[x]$ is monic and $\mathcal{D}\subset\mathcal{O}$ is a complete residue system modulo $p(0)$ containing $0$. If each $a \in \mathcal{O}[x]$ admits a representation of the form… ▽ More Let $\mathbb{K}$ be a number field of degree $k$ and let $\mathcal{O}$ be an order in $\mathbb{K}$. A \emph{generalized number system over $\mathcal{O}$} (GNS for short) is a pair $(p,\mathcal{D})$ where $p \in \mathcal{O}[x]$ is monic and $\mathcal{D}\subset\mathcal{O}$ is a complete residue system modulo $p(0)$ containing $0$. If each $a \in \mathcal{O}[x]$ admits a representation of the form $a \equiv \sum_{j =0}^{\ell-1} d_j x^j \pmod{p}$ with $\ell\in\mathbb{N}$ and $d_0,\ldots, d_{\ell-1}\in\mathcal{D}$ then the GNS $(p,\mathcal{D})$ is said to have the \emph{finiteness property}. To a given fundamental domain $\mathcal{F}$ of the action of $\mathbb{Z}^k$ on $\mathbb{R}^k$ we associate a class $\mathcal{G}_\mathcal{F} := \{ (p, D_\mathcal{F}) \;:\; p \in \mathcal{O}[x] \}$ of GNS whose digit sets $D_\mathcal{F}$ are defined in terms of $\mathcal{F}$ in a natural way. We are able to prove general results on the finiteness property of GNS in $\mathcal{G}_\mathcal{F}$ by giving an abstract version of the well-known "dominant condition" on the absolute coefficient $p(0)$ of $p$. In particular, depending on mild conditions on the topology of $\mathcal{F}$ we characterize the finiteness property of $(p(x\pm m), D_\mathcal{F})$ for fixed $p$ and large $m\in\mathbb{N}$. Using our new theory, we are able to give general results on the connection between power integral bases of number fields and GNS. △ Less

Submitted 10 May, 2018; v1 submitted 16 August, 2017; originally announced August 2017.

Comments: 20 pages

MSC Class: 11A63; 52C22

Recognizability for sequences of morphisms

Authors: Valérie Berthé, Wolfgang Steiner, Jörg Thuswaldner, Reem Yassawi

Abstract: We investigate different notions of recognizability for a free monoid morphism $σ: \mathcal{A}^* \to \mathcal{B}^*$. Full recognizability occurs when each (aperiodic) point in $\mathcal{B}^\mathbb{Z}$ admits at most one tiling with words $σ(a)$, $a \in \mathcal{A}$. This is stronger than the classical notion of recognizability of a substitution $σ: \mathcal{A}^*\to\mathcal{A}^*$, where the tiling… ▽ More We investigate different notions of recognizability for a free monoid morphism $σ: \mathcal{A}^* \to \mathcal{B}^*$. Full recognizability occurs when each (aperiodic) point in $\mathcal{B}^\mathbb{Z}$ admits at most one tiling with words $σ(a)$, $a \in \mathcal{A}$. This is stronger than the classical notion of recognizability of a substitution $σ: \mathcal{A}^*\to\mathcal{A}^*$, where the tiling must be compatible with the language of the substitution. We show that if $|\mathcal A|=2$, or if $σ$'s incidence matrix has rank $|\mathcal A|$, or if $σ$ is permutative, then $σ$ is fully recognizable. Next we investigate the classical notion of recognizability and improve earlier results of Mossé (1992) and Bezuglyi, Kwiatkowski and Medynets (2009), by showing that any substitution is recognizable for aperiodic points in its substitutive shift. Finally we define recognizability and also eventual recognizability for sequences of morphisms which define an $S$-adic shift. We prove that a sequence of morphisms on alphabets of bounded size, such that compositions of consecutive morphisms are growing on all letters, is eventually recognizable for aperiodic points. We provide examples of eventually recognizable, but not recognizable, sequences of morphisms, and sequences of morphisms which are not eventually recognizable. As an application, for a recognizable sequence of morphisms, we obtain an almost everywhere bijective correspondence between the $S$-adic shift it generates, and the measurable Bratteli-Vershik dynamical system that it defines. △ Less

Submitted 22 May, 2020; v1 submitted 29 April, 2017; originally announced May 2017.

Comments: Final version

MSC Class: 37B10 37A05 68R15

Discrepancy bounds for $\boldsymbolβ$-adic Halton sequences

Authors: Jörg M. Thuswaldner

Abstract: Van der Corput and Halton sequences are well-known low-discrepancy sequences. Almost twenty years ago Ninomiya defined analogues of van der Corput sequences for $β$-numeration and proved that they also form low-discrepancy sequences if $β$ is a Pisot number. Only very recently Robert Tichy and his co-authors succeeded in proving that $\boldsymbolβ$-adic Halton sequences are equidistributed for cer… ▽ More Van der Corput and Halton sequences are well-known low-discrepancy sequences. Almost twenty years ago Ninomiya defined analogues of van der Corput sequences for $β$-numeration and proved that they also form low-discrepancy sequences if $β$ is a Pisot number. Only very recently Robert Tichy and his co-authors succeeded in proving that $\boldsymbolβ$-adic Halton sequences are equidistributed for certain parameters $\boldsymbolβ=(β_1,\ldots,β_s)$ using methods from ergodic theory. In the present paper we continue this research and give discrepancy estimates for $\boldsymbolβ$-adic Halton sequences for which the components $β_i$ are $m$-bonacci numbers. Our methods are quite different and use dynamical and geometric properties of Rauzy fractals that allow to relate $\boldsymbolβ$-adic Halton sequences to rotations on high dimensional tori. The discrepancies of these rotations can then be estimated by classical methods relying on W.~M.~Schmidt's Subspace Theorem. △ Less

Submitted 4 May, 2017; v1 submitted 17 October, 2016; originally announced October 2016.

Comments: 15 pages

MSC Class: 11K38; 11B83 (Primary); 11A63 (Secondary)

Distribution results on polynomials with bounded roots

Authors: Peter Kirschenhofer, Jörg Thuswaldner

Abstract: For $d \in \mathbb{N}$ the well-known Schur-Cohn region $\mathcal{E}_d$ consists of all $d$-dimensional vectors $(a_1,\ldots,a_d)\in\mathbb{R}^d$ corresponding to monic polynomials $X^d+a_1X^{d-1}+\cdots+a_{d-1}X+a_d$ whose roots all lie in the open unit disk. This region has been extensively studied over decades. Recently, Akiyama and Pethő considered the subsets $\mathcal{E}_d^{(s)}$ of the Schu… ▽ More For $d \in \mathbb{N}$ the well-known Schur-Cohn region $\mathcal{E}_d$ consists of all $d$-dimensional vectors $(a_1,\ldots,a_d)\in\mathbb{R}^d$ corresponding to monic polynomials $X^d+a_1X^{d-1}+\cdots+a_{d-1}X+a_d$ whose roots all lie in the open unit disk. This region has been extensively studied over decades. Recently, Akiyama and Pethő considered the subsets $\mathcal{E}_d^{(s)}$ of the Schur-Cohn region that correspond to polynomials of degree $d$ with exactly $s$ pairs of nonreal roots. They were especially interested in the $d$-dimensional Lebesgue measures $v_d^{(s)}:=λ_d(\mathcal{E}_d^{(s)})$ of these sets and their arithmetic properties, and gave some fundamental results. Moreover, they posed two conjectures that we prove in the present paper. Namely, we show that in the totally complex case $d=2s$ the formula \[ \frac{v_{2s}^{(s)}}{v_{2s}^{(0)}} = 2^{2s(s-1)}\binom {2s}s \] holds for all $s\in\mathbb{N}$ and in the general case the quotient $v_d^{(s)}/v_d^{(0)}$ is an integer for all choices $d\in \mathbb{N}$ and $s\le d/2$. We even go beyond that and prove explicit formulæ for $v_d^{(s)} / v_d^{(0)}$ for arbitrary $d\in \mathbb{N}$, $s\le d/2$. The ingredients of our proofs comprise Selberg type integrals, determinants like the Cauchy double alternant, and partial Hilbert matrices. △ Less

Submitted 21 April, 2017; v1 submitted 22 September, 2016; originally announced September 2016.

Comments: 19 pages

MSC Class: Primary: 05A10; 11C08; 33B20; Secondary: 05A05; 11C20

Rational digit systems over finite fields and Christol's Theorem

Authors: Manuel Joseph C. Loquias, Mohamed Mkaouar, Klaus Scheicher, Jörg M. Thuswaldner

Abstract: Let $P, Q\in \mathbb{F}_q[X]\setminus\{0\}$ be two coprime polynomials over the finite field $\mathbb{F}_q$ with $\operatorname{deg}{P} > \operatorname{deg}{Q}$. We represent each polynomial $w$ over $\mathbb{F}_q$ by \[w=\sum_{i=0}^k\frac{s_i}{Q}{\left(\frac{P}{Q}\right)}^i\] using a rational base $P/Q$ and digits $s_i\in\mathbb{F}_q[X]$ satisfying… ▽ More Let $P, Q\in \mathbb{F}_q[X]\setminus\{0\}$ be two coprime polynomials over the finite field $\mathbb{F}_q$ with $\operatorname{deg}{P} > \operatorname{deg}{Q}$. We represent each polynomial $w$ over $\mathbb{F}_q$ by \[w=\sum_{i=0}^k\frac{s_i}{Q}{\left(\frac{P}{Q}\right)}^i\] using a rational base $P/Q$ and digits $s_i\in\mathbb{F}_q[X]$ satisfying $\operatorname{deg}{s_i} < \operatorname{deg}{P}$. Digit expansions of this type are also defined for formal Laurent series over $\mathbb{F}_q$. We prove uniqueness and automatic properties of these expansions. Although the $ω$-language of the possible digit strings is not regular, we are able to characterize the digit expansions of algebraic elements. In particular, we give a version of Christol's Theorem by showing that the digit string of the digit expansion of a formal Laurent series is automatic if and only if the series is algebraic over $\mathbb{F}_q[X]$. Finally, we study relations between digit expansions of formal Laurent series and a finite fields version of Mahler's $3/2$-problem. △ Less

Submitted 11 September, 2016; v1 submitted 24 December, 2015; originally announced December 2015.

Comments: 26 pages, 3 figures

MSC Class: 11A63; 68Q70; 11B85

Journal ref: J. Number Theory 171 (2017) 358-390

The $S$-adic Pisot conjecture on two letters

Authors: Valérie Berthé, Milton Minervino, Wolfgang Steiner, Jörg Thuswaldner

Abstract: We prove an extension of the well-known Pisot substitution conjecture to the $S$-adic symbolic setting on two letters. The proof relies on the use of Rauzy fractals and on the fact that strong coincidences hold in this framework. We prove an extension of the well-known Pisot substitution conjecture to the $S$-adic symbolic setting on two letters. The proof relies on the use of Rauzy fractals and on the fact that strong coincidences hold in this framework. △ Less

Submitted 28 January, 2015; originally announced January 2015.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1410.0331

MSC Class: 37A30; 37B10

Salem numbers from a class of star-like trees

Authors: Horst Brunotte, Jörg Thuswaldner

Abstract: We study the Coxeter polynomials associated with certain star-like trees. In particular, we exhibit large Salem factors of these polynomials and give convergence properties of their dominant roots. We study the Coxeter polynomials associated with certain star-like trees. In particular, we exhibit large Salem factors of these polynomials and give convergence properties of their dominant roots. △ Less

Submitted 22 January, 2015; originally announced January 2015.

Comments: 10 pages

MSC Class: 11K16

On cut sets of attractors of iterated function systems

Authors: Benoît Loridant, Jun Luo, Tarek Sellami, Jörg Thuswaldner

Abstract: In this paper, we study cut sets of attractors of iteration function systems (IFS) in $\mathbb{R}^d$. Under natural conditions, we show that all irreducible cut sets of these attractors are perfect sets or single points. This leads to a criterion for the existence of cut points of IFS attractors. If the IFS attractors are self-affine tiles, our results become algorithmically checkable and can be u… ▽ More In this paper, we study cut sets of attractors of iteration function systems (IFS) in $\mathbb{R}^d$. Under natural conditions, we show that all irreducible cut sets of these attractors are perfect sets or single points. This leads to a criterion for the existence of cut points of IFS attractors. If the IFS attractors are self-affine tiles, our results become algorithmically checkable and can be used to exhibit cut points with the help of Hata graphs. This enables us to construct cut points of some self-affine tiles studied in the literature. △ Less

Submitted 5 December, 2014; originally announced December 2014.

Comments: 13 pages

MSC Class: 28A80; 52C20; 54D05

Geometry, dynamics, and arithmetic of $S$-adic shifts

Authors: Valérie Berthé, Wolfgang Steiner, Jörg Thuswaldner

Abstract: This paper studies geometric and spectral properties of $S$-adic shifts and their relation to continued fraction algorithms. These shifts are symbolic dynamical systems obtained by iterating infinitely many substitutions. Pure discrete spectrum for $S$-adic shifts and tiling properties of associated Rauzy fractals are established under a generalized Pisot assumption together with a geometric coinc… ▽ More This paper studies geometric and spectral properties of $S$-adic shifts and their relation to continued fraction algorithms. These shifts are symbolic dynamical systems obtained by iterating infinitely many substitutions. Pure discrete spectrum for $S$-adic shifts and tiling properties of associated Rauzy fractals are established under a generalized Pisot assumption together with a geometric coincidence condition. These general results extend the scope of the Pisot substitution conjecture to the $S$-adic framework. They are applied to families of $S$-adic shifts generated by Arnoux-Rauzy as well as Brun substitutions. It is shown that almost all of these shifts have pure discrete spectrum. Using $S$-adic words related to Brun's continued fraction algorithm, we exhibit bounded remainder sets and natural codings for almost all translations on the two-dimensional torus. Due to the lack of self-similarity properties present for substitutive systems we have to develop new proofs to obtain our results in the $S$-adic setting. △ Less

Submitted 14 August, 2020; v1 submitted 1 October, 2014; originally announced October 2014.

Comments: After this paper was published in Ann. Inst. Fourier (Grenoble) (2019), we observed that Theorem 3.3 holds in a more general setting. The present manuscript contains this more general version of Theorem 3.3. To prove it we needed to change the last part of its proof (see p.32)

MSC Class: 37B10; 37A30; 11K50; 28A80

Journal ref: Ann. Inst. Fourier (Grenoble) 69 (2019) 1347-1409

Comments on the height reducing property II

Authors: Shigeki Akiyama, Jörg M. Thuswaldner, Toufik Zaïmi

Abstract: A complex number $α$ is said to satisfy the height reducing property if there is a finite set $F\subset \mathbb{Z}$ such that $\mathbb{Z}[α]=F[α]$, where $\mathbb{Z}$ is the ring of the rational integers. It is easy to see that $α$ is an algebraic number when it satisfies the height reducing property. We prove the relation $\operatorname{Card}(F)\geq \max\{2,\left\vert M_α(0)\right\vert \},$ where… ▽ More A complex number $α$ is said to satisfy the height reducing property if there is a finite set $F\subset \mathbb{Z}$ such that $\mathbb{Z}[α]=F[α]$, where $\mathbb{Z}$ is the ring of the rational integers. It is easy to see that $α$ is an algebraic number when it satisfies the height reducing property. We prove the relation $\operatorname{Card}(F)\geq \max\{2,\left\vert M_α(0)\right\vert \},$ where $M_α$ is the minimal polynomial of $α$ over the field of the rational numbers, and discuss the related optimal cases, for some classes of algebraic numbers $α$. In addition, we show that there is an algorithm to determine the minimal height polynomial of a given algebraic number, provided it has no conjugate of modulus one. △ Less

Submitted 28 March, 2014; originally announced March 2014.

MSC Class: 11R04; 12D10; 11R06

Journal ref: Indagationes Mathematicae, 26 (2015) 28--39

Self-affine Manifolds

Authors: Gregory R. Conner, Jörg M. Thuswaldner

Abstract: This paper studies closed 3-manifolds which are the attractors of a system of finitely many affine contractions that tile $\mathbb{R}^3$. Such attractors are called self-affine tiles. Effective characterization and recognition theorems for these 3-manifolds as well as theoretical generalizations of these results to higher dimensions are established. The methods developed build a bridge linking geo… ▽ More This paper studies closed 3-manifolds which are the attractors of a system of finitely many affine contractions that tile $\mathbb{R}^3$. Such attractors are called self-affine tiles. Effective characterization and recognition theorems for these 3-manifolds as well as theoretical generalizations of these results to higher dimensions are established. The methods developed build a bridge linking geometric topology with iterated function systems and their attractors. A method to model self-affine tiles by simple iterative systems is developed in order to study their topology. The model is functorial in the sense that there is an easily computable map that induces isomorphisms between the natural subdivisions of the attractor of the model and the self-affine tile. It has many beneficial qualities including ease of computation allowing one to determine topological properties of the attractor of the model such as connectedness and whether it is a manifold. The induced map between the attractor of the model and the self-affine tile is a quotient map and can be checked in certain cases to be monotone or cell-like. Deep theorems from geometric topology are applied to characterize and develop algorithms to recognize when a self-affine tile is a topological or generalized manifold in all dimensions. These new tools are used to check that several self-affine tiles in the literature are 3-balls. An example of a wild 3-dimensional self-affine tile is given whose boundary is a topological 2-sphere but which is not itself a 3-ball. The paper describes how any 3-dimensional handlebody can be given the structure of a self-affine 3-manifold. It is conjectured that every self-affine tile which is a manifold is a handlebody. △ Less

Submitted 9 November, 2015; v1 submitted 12 February, 2014; originally announced February 2014.

Comments: 40 pages, 13 figures, 2 tables

MSC Class: 28A80; 57M50; 57N45; 55U10; 57Q25

The geometry of non-unit Pisot substitutions

Authors: Milton Minervino, Jörg Thuswaldner

Abstract: Let $σ$ be a non-unit Pisot substitution and let $α$ be the associated Pisot number. It is known that one can associate certain fractal tiles, so-called \emph{Rauzy fractals}, with $σ$. In our setting, these fractals are subsets of a certain open subring of the adèle ring $\mathbb{A}_{\mathbb{Q}(α)}$. We present several approaches on how to define Rauzy fractals and discuss the relations between t… ▽ More Let $σ$ be a non-unit Pisot substitution and let $α$ be the associated Pisot number. It is known that one can associate certain fractal tiles, so-called \emph{Rauzy fractals}, with $σ$. In our setting, these fractals are subsets of a certain open subring of the adèle ring $\mathbb{A}_{\mathbb{Q}(α)}$. We present several approaches on how to define Rauzy fractals and discuss the relations between them. In particular, we consider Rauzy fractals as the natural geometric objects of certain numeration systems, define them in terms of the one-dimensional realization of $σ$ and its dual (in the spirit of Arnoux and Ito), and view them as the dual of multi-component model sets for particular cut and project schemes. We also define stepped surfaces suited for non-unit Pisot substitutions. We provide basic topological and geometric properties of Rauzy fractals associated with non-unit Pisot substitutions, prove some tiling results for them, and provide relations to subshifts defined in terms of the periodic points of $σ$, to adic transformations, and a domain exchange. We illustrate our results by examples on two and three letter substitutions. △ Less

Submitted 9 February, 2014; originally announced February 2014.

Comments: 29 pages

Journal ref: Annales de l'Institut Fourier, Volume 64 (2014)

Characterization of the numbers which satisfy the height reducing property

Authors: Shigeki Akiyama, Jörg M. Thuswaldner, Toufik Zaïmi

Abstract: Let $α$ be a complex number. We show that there is a finite subset $F$ of the ring of the rational integers $\mathbb{Z}$, such that $F\left[ α\right] =\mathbb{Z}\left[ α\right]$, if and only if $α$ is an algebraic number whose conjugates, over the field of the rationals, are all of modulus one, or all of modulus greater than one. This completes the answer to a question, on the numbers satisfying t… ▽ More Let $α$ be a complex number. We show that there is a finite subset $F$ of the ring of the rational integers $\mathbb{Z}$, such that $F\left[ α\right] =\mathbb{Z}\left[ α\right]$, if and only if $α$ is an algebraic number whose conjugates, over the field of the rationals, are all of modulus one, or all of modulus greater than one. This completes the answer to a question, on the numbers satisfying the height reducing property, posed in [3]. △ Less

Submitted 23 March, 2014; v1 submitted 7 February, 2014; originally announced February 2014.

Comments: Indagationes Mathematicae (2014)

MSC Class: 11R06; 12D10; 11R04

Journal ref: Indagationes Mathematicae, 26 (2015) 24--27

Shift Radix Systems - A Survey

Authors: Peter Kirschenhofer, Jörg M. Thuswaldner

Abstract: Let $d\ge 1$ be an integer and ${\bf r}=(r_0,\dots,r_{d-1}) \in \mathbf{R}^d$. The {\em shift radix system} $τ_\mathbf{r}: \mathbb{Z}^d \to \mathbb{Z}^d$ is defined by $$ τ_{\bf r}({\bf z})=(z_1,\dots,z_{d-1},-\lfloor {\bf r} {\bf z}\rfloor)^t \qquad ({\bf z}=(z_0,\dots,z_{d-1})^t). $$ $τ_\mathbf{r}$ has the {\em finiteness property} if each ${\bf z} \in \mathbb{Z}^d$ is eventually mapped to… ▽ More Let $d\ge 1$ be an integer and ${\bf r}=(r_0,\dots,r_{d-1}) \in \mathbf{R}^d$. The {\em shift radix system} $τ_\mathbf{r}: \mathbb{Z}^d \to \mathbb{Z}^d$ is defined by $$ τ_{\bf r}({\bf z})=(z_1,\dots,z_{d-1},-\lfloor {\bf r} {\bf z}\rfloor)^t \qquad ({\bf z}=(z_0,\dots,z_{d-1})^t). $$ $τ_\mathbf{r}$ has the {\em finiteness property} if each ${\bf z} \in \mathbb{Z}^d$ is eventually mapped to ${\bf 0}$ under iterations of $τ_\mathbf{r}$. In the present survey we summarize results on these nearly linear mappings. We discuss how these mappings are related to well-known numeration systems, to rotations with round-offs, and to a conjecture on periodic expansions w.r.t.\ Salem numbers. Moreover, we review the behavior of the orbits of points under iterations of $τ_\mathbf{r}$ with special emphasis on ultimately periodic orbits and on the finiteness property. We also describe a geometric theory related to shift radix systems. △ Less

Submitted 2 December, 2013; originally announced December 2013.

Comments: 45 pages, 16 figures

MSC Class: 11A63

Journal ref: RIMS Kôkyûroku Bessatsu, B46 (2014) 1--59

On linear combinations of units with bounded coefficients and double-base digit expansions

Authors: Daniel Krenn, Jörg Thuswaldner, Volker Ziegler

Abstract: Let $\ord$ be the maximal order of a number field. Belcher showed in the 1970s that every algebraic integer in $\ord$ is the sum of pairwise distinct units, if the unit equation $u+v=2$ has a non-trivial solution $u,v\in\ord^*$. We generalize this result and give applications to signed double-base digit expansions. Let $\ord$ be the maximal order of a number field. Belcher showed in the 1970s that every algebraic integer in $\ord$ is the sum of pairwise distinct units, if the unit equation $u+v=2$ has a non-trivial solution $u,v\in\ord^*$. We generalize this result and give applications to signed double-base digit expansions. △ Less

Submitted 24 July, 2012; v1 submitted 22 May, 2012; originally announced May 2012.

MSC Class: 11R16; 11R11; 11A63; 11R67

Patterns in rational base number systems

Authors: Johannes F. Morgenbesser, Wolfgang Steiner, Jörg Thuswaldner

Abstract: Number systems with a rational number $a/b > 1$ as base have gained interest in recent years. In particular, relations to Mahler's 3/2-problem as well as the Josephus problem have been established. In the present paper we show that the patterns of digits in the representations of positive integers in such a number system are uniformly distributed. We study the sum-of-digits function of number syst… ▽ More Number systems with a rational number $a/b > 1$ as base have gained interest in recent years. In particular, relations to Mahler's 3/2-problem as well as the Josephus problem have been established. In the present paper we show that the patterns of digits in the representations of positive integers in such a number system are uniformly distributed. We study the sum-of-digits function of number systems with rational base $a/b$ and use representations w.r.t. this base to construct normal numbers in base $a$ in the spirit of Champernowne. The main challenge in our proofs comes from the fact that the language of the representations of integers in these number systems is not context-free. The intricacy of this language makes it impossible to prove our results along classical lines. In particular, we use self-affine tiles that are defined in certain subrings of the adéle ring $\mathbb{A}_\mathbb{Q}$ and Fourier analysis in $\mathbb{A}_\mathbb{Q}$. With help of these tools we are able to reformulate our results as estimation problems for character sums. △ Less

Submitted 22 March, 2012; originally announced March 2012.

Journal ref: Journal of Fourier Analysis and Applications 19, 2 (2013) 225-250

Rational self-affine tiles

Authors: Wolfgang Steiner, Jörg Thuswaldner

Abstract: An integral self-affine tile is the solution of a set equation $\mathbf{A} \mathcal{T} = \bigcup_{d \in \mathcal{D}} (\mathcal{T} + d)$, where $\mathbf{A}$ is an $n \times n$ integer matrix and $\mathcal{D}$ is a finite subset of $\mathbb{Z}^n$. In the recent decades, these objects and the induced tilings have been studied systematically. We extend this theory to matrices… ▽ More An integral self-affine tile is the solution of a set equation $\mathbf{A} \mathcal{T} = \bigcup_{d \in \mathcal{D}} (\mathcal{T} + d)$, where $\mathbf{A}$ is an $n \times n$ integer matrix and $\mathcal{D}$ is a finite subset of $\mathbb{Z}^n$. In the recent decades, these objects and the induced tilings have been studied systematically. We extend this theory to matrices $\mathbf{A} \in \mathbb{Q}^{n \times n}$. We define rational self-affine tiles as compact subsets of the open subring $\mathbb{R}^n\times \prod_\mathfrak{p} K_\mathfrak{p}$ of the adéle ring $\mathbb{A}_K$, where the factors of the (finite) product are certain $\mathfrak{p}$-adic completions of a number field $K$ that is defined in terms of the characteristic polynomial of $\mathbf{A}$. Employing methods from classical algebraic number theory, Fourier analysis in number fields, and results on zero sets of transfer operators, we establish a general tiling theorem for these tiles. We also associate a second kind of tiles with a rational matrix. These tiles are defined as the intersection of a (translation of a) rational self-affine tile with $\mathbb{R}^n \times \prod_\mathfrak{p} \{0\} \simeq \mathbb{R}^n$. Although these intersection tiles have a complicated structure and are no longer self-affine, we are able to prove a tiling theorem for these tiles as well. For particular choices of digit sets, intersection tiles are instances of tiles defined in terms of shift radix systems and canonical number systems. Therefore, we gain new results for tilings associated with numeration systems. △ Less

Submitted 30 August, 2013; v1 submitted 4 March, 2012; originally announced March 2012.

Digit systems over commutative rings

Authors: Klaus Scheicher, Paul Surer, Jörg M. Thuswaldner, Christiaan E. van de Woestijne

Abstract: Let $\E$ be a commutative ring with identity and $P\in\E[x]$ be a polynomial. In the present paper we consider digit representations in the residue class ring $\E[x]/(P)$. In particular, we are interested in the question whether each $A\in\E[x]/(P)$ can be represented modulo $P$ in the form $e_0+e_1 X + \cdots + e_h X^h$, where the $e_i\in\E[x]/(P)$ are taken from a fixed finite set of digits. Thi… ▽ More Let $\E$ be a commutative ring with identity and $P\in\E[x]$ be a polynomial. In the present paper we consider digit representations in the residue class ring $\E[x]/(P)$. In particular, we are interested in the question whether each $A\in\E[x]/(P)$ can be represented modulo $P$ in the form $e_0+e_1 X + \cdots + e_h X^h$, where the $e_i\in\E[x]/(P)$ are taken from a fixed finite set of digits. This general concept generalises both canonical number systems and digit systems over finite fields. Due to the fact that we do not assume that $0$ is an element of the digit set and that $P$ need not be monic, several new phenomena occur in this context. △ Less

Submitted 21 April, 2010; originally announced April 2010.

Comments: 21 pages, 1 figure; submitted.

MSC Class: 11A63

Similar dissection of sets

Authors: Shigeki Akiyama, Jun Luo, Ryotaro Okazaki, Wolfgang Steiner, Jörg Thuswaldner

Abstract: In 1994, Martin Gardner stated a set of questions concerning the dissection of a square or an equilateral triangle in three similar parts. Meanwhile, Gardner's questions have been generalized and some of them are already solved. In the present paper, we solve more of his questions and treat them in a much more general context. Let $D\subset \mathbb{R}^d$ be a given set and let $f_1,...,f_k$ be i… ▽ More In 1994, Martin Gardner stated a set of questions concerning the dissection of a square or an equilateral triangle in three similar parts. Meanwhile, Gardner's questions have been generalized and some of them are already solved. In the present paper, we solve more of his questions and treat them in a much more general context. Let $D\subset \mathbb{R}^d$ be a given set and let $f_1,...,f_k$ be injective continuous mappings. Does there exist a set $X$ such that $D = X \cup f_1(X) \cup ... \cup f_k(X)$ is satisfied with a non-overlapping union? We prove that such a set $X$ exists for certain choices of $D$ and $\{f_1,...,f_k\}$. The solutions $X$ often turn out to be attractors of iterated function systems with condensation in the sense of Barnsley. Coming back to Gardner's setting, we use our theory to prove that an equilateral triangle can be dissected in three similar copies whose areas have ratio $1:1:a$ for $a \ge (3+\sqrt{5})/2$. △ Less

Submitted 23 January, 2010; originally announced January 2010.

Journal ref: Geometriae Dedicata 150, 1 (2011) 233-247

Fractal tiles associated with shift radix systems

Authors: Valérie Berthé, Anne Siegel, Wolfgang Steiner, Paul Surer, Jörg Thuswaldner

Abstract: Shift radix systems form a collection of dynamical systems depending on a parameter $\mathbf{r}$ which varies in the $d$-dimensional real vector space. They generalize well-known numeration systems such as beta-expansions, expansions with respect to rational bases, and canonical number systems. Beta-numeration and canonical number systems are known to be intimately related to fractal shapes, such… ▽ More Shift radix systems form a collection of dynamical systems depending on a parameter $\mathbf{r}$ which varies in the $d$-dimensional real vector space. They generalize well-known numeration systems such as beta-expansions, expansions with respect to rational bases, and canonical number systems. Beta-numeration and canonical number systems are known to be intimately related to fractal shapes, such as the classical Rauzy fractal and the twin dragon. These fractals turned out to be important for studying properties of expansions in several settings. In the present paper we associate a collection of fractal tiles with shift radix systems. We show that for certain classes of parameters $\mathbf{r}$ these tiles coincide with affine copies of the well-known tiles associated with beta-expansions and canonical number systems. On the other hand, these tiles provide natural families of tiles for beta-expansions with (non-unit) Pisot numbers as well as canonical number systems with (non-monic) expanding polynomials. We also prove basic properties for tiles associated with shift radix systems. Indeed, we prove that under some algebraic conditions on the parameter $\mathbf{r}$ of the shift radix system, these tiles provide multiple tilings and even tilings of the $d$-dimensional real vector space. These tilings turn out to have a more complicated structure than the tilings arising from the known number systems mentioned above. Such a tiling may consist of tiles having infinitely many different shapes. Moreover, the tiles need not be self-affine (or graph directed self-affine). △ Less

Submitted 1 September, 2010; v1 submitted 28 July, 2009; originally announced July 2009.

Journal ref: Advances in Mathematics 226, 1 (2011) 139-175