BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Jörg Thuswaldner

Jörg Thuswaldner contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.DSmath.NTmath.GNmath.MG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
12works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

12 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On cut sets of attractors of iterated function systems

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The geometry of non-unit Pisot substitutions

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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&#39;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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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&#39;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&#39;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$.

0 citations0 reviewsNo code linkedOpen access