Representation by an automaton of continuous functions of the torus
type: Item
instance of: scholarly article
title: Representation by an automaton of continuous functions of the torus
zbMATH Open document ID: 0881.58035
author: Alejandro Maass
author: François Blanchard
author: Bernard Host
published in: Journal de Théorie des Nombres de Bordeaux
publication date: 1998-02-19T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/225363
full work available at URL: jtnb8-1.html
review text: A function \(f\) from the torus into itself is called base-\(p\) representable if there exists \(Zf\subset (\{0, \dots, p-1\}^\mathbb{N})^2\) such that \((x,y)\in Zf\) if and only if, for \(x\) admitting \(x\) as base-\(p\) expansion, \(y\) is a base-\(p\) expansion of \(f(x)\), and such that the first projection of \(Zf\) on \(\{0, \dots, p-1\}^\mathbb{N}\) is onto. The authors prove that a function is base-\(p\) representable if and only if \[ \exists n\in\mathbb{Z} \quad \exists m\in \{0, \dots, p-1\}, \quad f(x)= \left(nx+ {m\over p-1} \right) \bmod p, \] if and only if the function is representable in base-\(p\) by a transducer. An essential tool is that a continuous function on the torus commuting with the multiplication by \(p\) has the form \(f(x)= (ux+ {m\over p-1}) \bmod 1\) [see also \textit{A. Johnson} and \textit{D. J. Rudolph}, Ergodic Theory Dyn. Syst. 12, No. 4, 743-748 (1992; Zbl 0787.58027)]. Some (minor) remarks: The choice of the letter \(p\) for the base might be misleading \((p\) is not necessarily prime); some misprints occurred (first page, replace ``appellé'' by ``appelé''; and in the bibliography reference [JR] (given above) is not complete, and the year is missing in reference [B]). Finally note that reference [M] appeared also with the same title in IEEE Trans. Comput. 43, 752-755 (1994).
Mathematics Subject Classification ID: 37B99
Mathematics Subject Classification ID: 68Q80
Mathematics Subject Classification ID: 26A15
Mathematics Subject Classification ID: 11B85
Mathematics Subject Classification ID: 68R15
zbMATH DE Number: 912507
zbMATH Keywords: coupling
zbMATH Keywords: continuous function of the torus
zbMATH Keywords: automata
zbMATH Keywords: transducer
zbMATH Keywords: base \(p\) expansion
reviewed by: Jean-Paul Allouche
MaRDI profile type: Publication
OpenAlex ID: W2334435246
cites work: Q3940289
cites work: Generic sequences, transducers and multiplication of normal numbers
cites work: Q3977253
cites work: Commuting endomorphisms of the circle
DOI: 10.5802/JTNB.165
Recommended article: Operations on R-numbers
Recommended article: Q4941884
Recommended article: On-line digit set conversion in real base.
Recommended article: Digit set conversion by on-line finite automata
Recommended article: Another representation of finite transducers over real numbers
Recommended article: Q3984975
Recommended article: Real functions computable by finite automata using affine representations.
Recommended article: Invertible Transductions and Iteration
Recommended article: Iterating transducers
Recommended article: Q3377531
description: scientific article; zbMATH DE number 912507