Related papers: Automatic sequences are orthogonal to aperiodic mu…

We study the dynamics of the piecewise planar rotations $F_{\lambda}(z)=\lambda (z-H(z)), $ with $z\in\C$, $H(z)=1$ if $\mathrm{Im}(z)\ge0,$ $H(z)=-1$ if $\mathrm{Im}(z)<0,$ and $\lambda=\mathrm{e}^{i \alpha} \in\C$, being $\alpha$ a…

We consider dynamical systems arising from substitutions over a finite alphabet. We prove that such a system is linearly repetitive if and only if it is minimal. Based on this characterization we extend various results from primitive…

The beta transformation is the iterated map $\beta x\,\mod1$; it generates the base-$\beta$ expansion of a real number x. Every iterated piece-wise monotonic map is topologically conjugate to the beta transformation. For all but a countable…

Symbolic automata are finite state automata that support potentially infinite alphabets, such as the set of rational numbers, generally applied to regular expressions/languages over finite words. In symbolic automata (or automata modulo…

We study the notion of an asymptotically automatic sequence, which generalises the notion of an automatic sequence. While $k$-automatic sequences are characterised by finiteness of $k$-kernels, the $k$-kernels of asymptotically…

In this article, we show that the stabilized automorphism group of free exact odometers arising from actions of finitely generated residually finite groups coincides with the topological full group of the odometer acting on itself by right…

In this article we consider homeomorphisms of the open annulus $\mathbb{A}=\mathbb{R}/\mathbb{Z}\times \mathbb{R}$ which are isotopic to the identity and preserve a Borel probability measure of full support, focusing on the existence of…

An infinite permutation $\alpha$ is a linear ordering of $\mathbb N$. We study properties of infinite permutations analogous to those of infinite words, and show some resemblances and some differences between permutations and words. In this…

Let's fix a reasonable subsystem $T$ of arithmetic; why are natural extensions of $T$ pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. The goal of this work was to classify the recursive…

Many sequences of $p$-adic integers project modulo $p^\alpha$ to $p$-automatic sequences for every $\alpha \geq 0$. Examples include algebraic sequences of integers, which satisfy this property for every prime $p$, and some cocycle…

For a fixed alphabet A, an infinite sequence X is said to be normal if every word w over A appears in X with the same frequency as any other word of the same length. A classical result relates normality to finite automata as follows: a…

It is well-known that there exist infinite sequences that are the fixed point of non-uniform morphisms, but not $k$-automatic for any $k$. In this note we show that every $k$-automatic sequence is the image of a fixed point of a {\it…

We study natural linear representations of self-similar groups over finite fields. In particular, we show that if the group is generated by a finite automaton, then obtained matrices are automatic. This shows a new relation between two…

We consider a family of isometric extensions of the full shift on p symbols (for p a prime) parametrized by a probability space. Using Heath-Brown's work on the Artin conjecture, it is shown that for all but two primes p the set of limit…

Symbolic Finite Automata and Register Automata are two orthogonal extensions of finite automata motivated by real-world problems where data may have unbounded domains. These automata address a demand for a model over large or infinite…

Let $F=\{\mathbf{p}_0,\ldots,\mathbf{p}_n\}$ be a collection of points in $\mathbb{R}^d.$ The set $F$ naturally gives rise to a family of iterated function systems consisting of contractions of the form $$S_i(\mathbf{x})=\lambda \mathbf{x}…

We study the action of groups generated by bounded activity automata with infinite alphabets on their orbital Schreier graphs. We introduce an amenability criterion for such groups based on the recurrence of the first level action. This…

Consider a holomorphic automorphism acting hyperbolically on an invariant compact set. It has been conjectured that the arising stable manifolds are all biholomorphic to Euclidean space. Such a stable manifold is always equivalent to the…

We devise an algorithm which, given a bounded automaton A, decides whether the group generated by A is finite. The solution comes from a description of the infinite sequences having an infinite A-orbit using a deterministic finite-state…

The main result of this paper is a proof that for any integrable function $f$ on the torus, any sequence of its orthogonal projections $(\widetilde{P}_n f)$ onto periodic spline spaces with arbitrary knots $\widetilde{\Delta}_n$ and…