Source author record

Wolfgang Steiner

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DS math.NT Discrete Mathematics Formal Languages and Automata Theory math.CO math.MG

Catalog footprint

Research overview

26works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Nonstationary Markov Partitions and Multidimensional Continued Fraction Algorithms

It is well known from results of Sina\uı and Bowen that a hyperbolic toral automorphism admits a Markov partition. Our aim is to generalize this concept to the nonstationary case, i.e., we associate Markov partitions to nonstationary sequences of toral automorphisms. Special emphasis is placed on sequences of toral automorphisms produced by strongly convergent multidimensional continued fraction algorithms. The convergence of the algorithms is expressed in terms of a Pisot type condition which yields hyperbolicity for the nonstationary dynamics with a splitting into two subspaces of dimension 1 and codimension 1, respectively. For a multidimensional continued fraction map, we first consider its natural extension, whose orbits are given by bi-infinite sequences of matrices with determinant $\pm 1$ . The Pisot type condition allows us to interpret an orbit of this natural extension as an Anosov mapping family, i.e., as a bi-infinite sequence of toral automorphisms with well-defined stable and unstable manifolds. We prove that this Anosov mapping family admits a bi-infinite sequence of explicit nonstationary Markov partitions. To obtain the atoms of the Markov partitions, a combinatorial structure, expressed in terms of symbolic dynamical systems, namely substitutive and $\mathcal{S}$ -adic shifts, has to be superimposed on the Anosov mapping family. In particular, the atoms of the Markov partitions are geometric realizations of $\mathcal{S}$ -adic shifts, defined by suspensions of so-called $\mathcal{S}$ -adic Rauzy fractals. These Markov partitions then provide a symbolic model as a nonstationary edge shift for the Anosov mapping family. Restacking of the Markov partition yields a renormalization process that allows us to interpret a multidimensional continued fraction algorithm as a sequence of iteratively induced toral rotations.

preprint2020arXiv

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

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.

preprint2020arXiv

On the ergodic theory of Tanaka-Ito type alpha-continued fractions

We show the ergodicity of Tanaka-Ito type $α$ -continued fraction maps and construct their natural extensions. We also discuss the relation between entropy and the size of the natural extension domain.

preprint2020arXiv

On the second Lyapunov exponent of some multidimensional continued fraction algorithms

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.

preprint2020arXiv

Recognizability for sequences of morphisms

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.

preprint2016arXiv

Linear recursive odometers and beta-expansions

The aim of this paper is to study the connection between different properties related to $β$ -expansions. In particular, the relation between two conditions, both ensuring pure discrete spectrum of the odometer, is analysed. The first one is the so-called Hypothesis B for the $G$ -odometers and the second one is denoted by (QM) and it has been introduced in the framework of tilings associated to Pisot $β$ -numerations.

preprint2016arXiv

On the regularity of the generalised golden ratio function

Given a finite set of real numbers $A$ , the generalised golden ratio is the unique real number $\mathcal{G}(A) > 1$ for which we only have trivial unique expansions in smaller bases, and have non-trivial unique expansions in larger bases. We show that $\mathcal{G}(A)$ varies continuously with the alphabet $A$ (of fixed size). What is more, we demonstrate that as we vary a single parameter $m$ within~ $A$ , the generalised golden ratio function may behave like $m^{1/h}$ for any positive integer $h$ . These results follow from a detailed study of $\mathcal{G}(A)$ for ternary alphabets, building upon the work of Komornik, Lai, and Pedicini (2011). We give a new proof of their main result, that is we explicitly calculate the function $\mathcal{G}(\{0,1,m\})$ . (For a ternary alphabet, it may be assumed without loss of generality that $A = \{0,1,m\}$ with $m\in(1,2)]$ .) We also study the set of $m \in (1,2]$ for which $\mathcal{G}(\{0,1,m\})=1+\sqrt{m},$ we prove that this set is uncountable and has Hausdorff dimension~ $0$ . We show that the function mapping $m$ to $\mathcal{G}(\{0,1,m\})$ is of bounded variation yet has unbounded derivative. Finally, we show that it is possible to have unique expansions as well as points with precisely two expansions at the generalised golden ratio.

preprint2015arXiv

The $S$ -adic Pisot conjecture on two letters

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.

preprint2014arXiv

A Combinatorial Characterization of the Critical Itineraries of a Uniform Dynamical System

For a function from the unit interval to itself with constant slope and one discontinuity, the itineraries of the point of discontinuity are called the critical itineraries. These critical itineraries play a significant role in the study of $β$ -expansions (with positive or negative $β$ ) and fractal transformations. A combinatorial characterization of the critical itineraries of such functions is provided.

preprint2013arXiv

Balancedness of Arnoux-Rauzy and Brun words

We study balancedness properties of words given by the Arnoux-Rauzy and Brun multi-dimensional continued fraction algorithms. We show that almost all Brun words on 3 letters and Arnoux-Rauzy words over arbitrary alphabets are finitely balanced; in particular, boundedness of the strong partial quotients implies balancedness. On the other hand, we provide examples of unbalanced Brun words on 3 letters.

preprint2013arXiv

Rational self-affine tiles

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.

preprint2013arXiv

Tilings for Pisot beta numeration

For a (non-unit) Pisot number $β$ , several collections of tiles are associated with $β$ -numeration. This includes an aperiodic and a periodic one made of Rauzy fractals, a periodic one induced by the natural extension of the $β$ -transformation and a Euclidean one made of integral beta-tiles. We show that all these collections (except possibly the periodic translation of the central tile) are tilings if one of them is a tiling or, equivalently, the weak finiteness property (W) holds. We also obtain new results on rational numbers with purely periodic $β$ -expansions; in particular, we calculate $γ(β)$ for all quadratic $β$ with $β^2 = a β+ b$ , $\gcd(a,b) = 1$ .

preprint2012arXiv

Balance properties of Arnoux-Rauzy words

The paper deals with balances and imbalances in Arnoux-Rauzy words. We provide sufficient conditions for $C$ -balancedness, but our results indicate that even a characterization of 2-balanced Arnoux-Rauzy words on a 3-letter alphabet is not immediate.

preprint2012arXiv

Natural extensions and entropy of $α$ -continued fractions

We construct a natural extension for each of Nakada's $α$ -continued fractions and show the continuity as a function of $α$ of both the entropy and the measure of the natural extension domain with respect to the density function $(1+xy)^{-2}$ . In particular, we show that, for all $0 < α\le 1$ , the product of the entropy with the measure of the domain equals $π^2/6$ . As a key step, we give the explicit relationship between the $α$ -expansion of $α-1$ and of $α$ .

preprint2012arXiv

On digit patterns in expansions of rational numbers with prime denominator

We show that, for any fixed $\varepsilon > 0$ and almost all primes $p$ , the $g$ -ary expansion of any fraction $m/p$ with $\gcd(m,p) = 1$ contains almost all $g$ -ary strings of length $k < (5/24 - \varepsilon) \log_g p$ . This complements a result of J. Bourgain, S. V. Konyagin, and I. E. Shparlinski that asserts that, for almost all primes, all $g$ -ary strings of length $k < (41/504 -\varepsilon) \log_g p$ occur in the $g$ -ary expansion of $m/p$ .

preprint2012arXiv

Patterns in rational base number systems

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.

preprint2011arXiv

Digital expansions with negative real bases

Similarly to Parry's characterization of $β$ -expansions of real numbers in real bases $β> 1$ , Ito and Sadahiro characterized digital expansions in negative bases, by the expansions of the endpoints of the fundamental interval. Parry also described the possible expansions of 1 in base $β> 1$ . In the same vein, we characterize the sequences that occur as $(-β)$ -expansion of $\frac{-β}{β+1}$ for some $β> 1$ . These sequences also describe the itineraries of 1 by linear mod one transformations with negative slope.

preprint2011arXiv

Dynamical properties of the negative beta transformation

We analyse dynamical properties of the negative beta transformation, which has been studied recently by Ito and Sadahiro. Contrary to the classical beta transformation, the density of the absolutely continuous invariant measure of the negative beta transformation may be zero on certain intervals. By investigating this property in detail, we prove that the $(-β)$ -transformation is exact for all $β>1$ , confirming a conjecture of Góra, and intrinsic, which completes a study of Faller. We also show that the limit behaviour of the $(-β)$ -expansion of 1 when $β$ tends to 1 is related to the Thue-Morse sequence. A consequence of the exactness is that every Yrrap number, which is a $β>1$ such that the $(-β)$ -expansion of 1 is eventually periodic, is a Perron number. This extends a well-known property of Parry numbers. However, the set of Parry numbers is different from the set of Yrrap numbers.

preprint2011arXiv

On the Delone property of (-β)-integers

The (-β)-integers are natural generalisations of the β-integers, and thus of the integers, for negative real bases. They can be described by infinite words which are fixed points of anti-morphisms. We show that they are not necessarily uniformly discrete and relatively dense in the real numbers.

preprint2011arXiv

On the structure of ( $-β$ )-integers

The $(-β)$ -integers are natural generalisations of the $β$ -integers, and thus of the integers, for negative real bases. When $β$ is the analogue of a Parry number, we describe the structure of the set of $(-β)$ -integers by a fixed point of an anti-morphism.

preprint2011arXiv

Redundancy of minimal weight expansions in Pisot bases

Motivated by multiplication algorithms based on redundant number representations, we study representations of an integer $n$ as a sum $n=\sum_k ε_k U_k$ , where the digits $ε_k$ are taken from a finite alphabet $Σ$ and $(U_k)_k$ is a linear recurrent sequence of Pisot type with $U_0=1$ . The most prominent example of a base sequence $(U_k)_k$ is the sequence of Fibonacci numbers. We prove that the representations of minimal weight $\sum_k|ε_k|$ are recognised by a finite automaton and obtain an asymptotic formula for the average number of representations of minimal weight. Furthermore, we relate the maximal order of magnitude of the number of representations of a given integer to the joint spectral radius of a certain set of matrices.

preprint2010arXiv

Beta-expansions, natural extensions and multiple tilings associated with Pisot units

From the works of Rauzy and Thurston, we know how to construct (multiple) tilings of some Euclidean space using the conjugates of a Pisot unit $β$ and the greedy $β$ -transformation. In this paper, we consider different transformations generating expansions in base $β$ , including cases where the associated subshift is not sofic. Under certain mild conditions, we show that they give multiple tilings. We also give a necessary and sufficient condition for the tiling property, generalizing the weak finiteness property (W) for greedy $β$ -expansions. Remarkably, the symmetric $β$ -transformation does not satisfy this condition when $β$ is the smallest Pisot number or the Tribonacci number. This means that the Pisot conjecture on tilings cannot be extended to the symmetric $β$ -transformation. Closely related to these (multiple) tilings are natural extensions of the transformations, which have many nice properties: they are invariant under the Lebesgue measure; under certain conditions, they provide Markov partitions of the torus; they characterize the numbers with purely periodic expansion, and they allow determining any digit in an expansion without knowing the other digits.

preprint2010arXiv

Fractal tiles associated with shift radix systems

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).

preprint2010arXiv

Rational numbers with purely periodic $β$ -expansion

We study real numbers $β$ with the curious property that the $β$ -expansion of all sufficiently small positive rational numbers is purely periodic. It is known that such real numbers have to be Pisot numbers which are units of the number field they generate. We complete known results due to Akiyama to characterize algebraic numbers of degree 3 that enjoy this property. This extends results previously obtained in the case of degree 2 by Schmidt, Hama and Imahashi. Let $γ(β)$ denote the supremum of the real numbers $c$ in $(0,1)$ such that all positive rational numbers less than $c$ have a purely periodic $β$ -expansion. We prove that $γ(β)$ is irrational for a class of cubic Pisot units that contains the smallest Pisot number $η$ . This result is motivated by the observation of Akiyama and Scheicher that $γ(η)=0.666 666 666 086 ...$ is surprisingly close to 2/3.

preprint2010arXiv

Regularities of the distribution of abstract van der Corput sequences

Similarly to $β$ -adic van der Corput sequences, abstract van der Corput sequences can be defined for abstract numeration systems. Under some assumptions, these sequences are low discrepancy sequences. The discrepancy function is computed explicitely, and a characterization of bounded remainder sets of the form $[0,y)$ is provided.

preprint2010arXiv

Similar dissection of sets

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$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Wolfgang Steiner

Research overview

Is this your work?

26 publications

Nonstationary Markov Partitions and Multidimensional Continued Fraction Algorithms

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

On the ergodic theory of Tanaka-Ito type alpha-continued fractions

On the second Lyapunov exponent of some multidimensional continued fraction algorithms

Recognizability for sequences of morphisms

Linear recursive odometers and beta-expansions

On the regularity of the generalised golden ratio function

The $S$ -adic Pisot conjecture on two letters

A Combinatorial Characterization of the Critical Itineraries of a Uniform Dynamical System

Balancedness of Arnoux-Rauzy and Brun words

Rational self-affine tiles

Tilings for Pisot beta numeration

Balance properties of Arnoux-Rauzy words

Natural extensions and entropy of $α$ -continued fractions

On digit patterns in expansions of rational numbers with prime denominator

Patterns in rational base number systems

Digital expansions with negative real bases

Dynamical properties of the negative beta transformation

On the Delone property of (-β)-integers

On the structure of ( $-β$ )-integers

Redundancy of minimal weight expansions in Pisot bases

Beta-expansions, natural extensions and multiple tilings associated with Pisot units

Fractal tiles associated with shift radix systems

Rational numbers with purely periodic $β$ -expansion

Regularities of the distribution of abstract van der Corput sequences

Similar dissection of sets

See the researcher in context

Building this map preview

Wolfgang Steiner

Research overview

Is this your work?

26 publications

Nonstationary Markov Partitions and Multidimensional Continued Fraction Algorithms

Geometry, dynamics, and arithmetic of SSS-adic shifts

On the ergodic theory of Tanaka-Ito type alpha-continued fractions

On the second Lyapunov exponent of some multidimensional continued fraction algorithms

Recognizability for sequences of morphisms

Linear recursive odometers and beta-expansions

On the regularity of the generalised golden ratio function

The SSS-adic Pisot conjecture on two letters

A Combinatorial Characterization of the Critical Itineraries of a Uniform Dynamical System

Balancedness of Arnoux-Rauzy and Brun words

Rational self-affine tiles

Tilings for Pisot beta numeration

Balance properties of Arnoux-Rauzy words

Natural extensions and entropy of ααα-continued fractions

On digit patterns in expansions of rational numbers with prime denominator

Patterns in rational base number systems

Digital expansions with negative real bases

Dynamical properties of the negative beta transformation

On the Delone property of (-β)-integers

On the structure of (−β-β−β)-integers

Redundancy of minimal weight expansions in Pisot bases

Beta-expansions, natural extensions and multiple tilings associated with Pisot units

Fractal tiles associated with shift radix systems

Rational numbers with purely periodic βββ-expansion

Regularities of the distribution of abstract van der Corput sequences

Similar dissection of sets

See the researcher in context

Building this map preview

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

The $S$ -adic Pisot conjecture on two letters

Natural extensions and entropy of $α$ -continued fractions

On the structure of ( $-β$ )-integers

Rational numbers with purely periodic $β$ -expansion