Caractérisation des ensembles normaux substitutifs. (Characterization of normal substitutional sets) (Q1115908)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Caractérisation des ensembles normaux substitutifs. (Characterization of normal substitutional sets)
scientific article

    Statements

    Caractérisation des ensembles normaux substitutifs. (Characterization of normal substitutional sets) (English)
    0 references
    0 references
    1989
    0 references
    Let \(u:=(u_ n)_{n\geq 0}\), be a given sequence of real numbers and define the normal set B(u) of u as the set of real numbers x such that the sequence \((xu_ n)_ n\) is uniformly distributed modulo 1. This definition is due to \textit{M. Mendès France} [Acta Arith. 15, 189-192 (1969; Zbl 0177.072)]. From a result of \textit{A. Zame} [Acta Arith. 20, 147-154 (1972; Zbl 0242.10031)] for every countable-dimensional vector space E over \({\mathbb{Q}}\) that contains \({\mathbb{Q}}\), there exists a strictly increasing sequence u of integers such that \(B(u)={\mathbb{R}}\setminus E.\) The author proves (Theorem 2) that E is an algebraic extension of finite degree over \({\mathbb{Q}}\) if and only if there exists a sequence of integers u generated by an irreducible substitution \(\Sigma\) over a finite alphabet A (in other words, \(\Sigma\) has a connected graph and u is given by the sequence of rank where a given letter occurs in an infinite word \(w:=w_ 0w_ 1w_ 2,...,w_ i\in A\), such that if we replace each \(w_ i\) by the word \(\Sigma (w_ i)\), we still get w). Moreover for such a sequence u, let E(u) be the set of real numbers x satisfying for some integer k, \(\lim_{n\to \infty}e^{2\pi i\ell_ a(n)x}=1\) for all \(a\in A\), where \(\ell_ a(n)\) is the number of letters (length) of the word \(\Sigma^ n(a)\). Then (Proposition 1) \(B(u)={\mathbb{R}}\setminus E\). The sequence u in the above theorem is exhibited from a matrix whose entries are strictly positive integers and the minimal polynomial is that of a Pisot-Vijayaraghavan number \(\theta\) such that \(E={\mathbb{Q}}(\theta)\).
    0 references
    uniform distribution
    0 references
    normal set
    0 references
    substitution
    0 references

    Identifiers