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

From MaRDI portal





scientific article; zbMATH DE number 4087772
Language Label Description Also known as
English
Caractérisation des ensembles normaux substitutifs. (Characterization of normal substitutional sets)
scientific article; zbMATH DE number 4087772

    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