Given a 0-1 sequence x in which both letters occur with density 1/2, do there exist arbitrarily long arithmetic progressions along which x reads 010101...? We answer the above negatively by showing that a certain regular triadic Toeplitz sequence does not have this property. On the other hand, we prove that if x is a generalized binary Morse sequence then each block can be read in x along some arithmetic progression.

On sait (Cobham) qu’une suite $2$- et $3$-automatique est une suite rationnelle. Une question de Loxton et van der Poorten étend ce résultat au cas $2$- et $3$-régulier. On montre dans cet article que, si une suite vérifie une récurrence $2$- et $3$-mahlérienne d’ordre un, elle est rationnelle.

In the study of the $2$-adic sum of digits function $S_2\left(n\right)$, the arithmetical function $u\left(0\right)=0$ and $u\left(n\right)={(-1)}^{n-1}$ for $n\ge 1$ plays a very important role. In this paper, we firstly generalize the relation between $S_2\left(n\right)$ and $u\left(n\right)$ to a bijective relation between arithmetical functions. And as an application, we investigate some aspects of the sum of digits functions $S_{𝒢}\left(n\right)$ induced by binary infinite Gray codes $𝒢$. We can show that the difference of the sum of digits function, $S_{𝒢}\left(n\right)-S_{𝒢}(n-1)$, is realized by an automaton. And the summation formula of the sum...

Soient $A_p=\{0,\cdots ,p-1\}$ et $Z\subseteq A_p^{\mathbb{N}}\times A_p^{\mathbb{N}}$ un sous-système. $Z$ est une représentation en base $p$ d’une fonction $f$ du tore si pour tout point $x$ du tore, ses développements en base $p$ sont liés par le couplage $Z$ aux développements en base $p$ de $f\left(x\right)$. On prouve que si $f$ est représentable en base $p$ alors $f\left(x\right)=(ux+\frac{m}{p-1})\text{mod}1$, où $u\in \mathbb{Z}\text{et}m\in A_p$. Réciproquement, toutes les fonctions de ce type sont représentables en base $p$ par un transducteur. On montre finalement que les fonctions du tore qui peuvent être représentées par automate cellulaire sont exclusivement les multiplications...

Soit $q\in \mathbb{N}$, $q\ge 2$. Pour $n\in \mathbb{N}$, on note $s_q\left(n\right)$ la somme des chiffres de $n$ en base $q$. Nous donnons des majorations de sommes d’exponentielles de la forme$$G(x,y,\theta ;\alpha ,𝐡)=\sum _{x\<n\le x+y}exp\left(2i\pi ({\alpha }_1{s}_q\left(h_{1}n\right)+\cdots +{\alpha }_r{s}_q\left(h_{r}n\right)+\theta n)\right),$$pour $r\in {\mathbb{N}}^{*}$, $𝐡\in {\mathbb{N}}^{*r}$ et $\theta \in r$. De telles sommes ont déjà été étudiées dans le cas $r=1$ par Gelfond, et pour $r\ge 2$ entre autre par Coquet et Solinas. Nos résultats étendent le domaine de validité en $𝐡$ de ces précédents travaux pour $r\ge 2$, sont plus précis et ont l’avantage d’être uniformes en $x$ et $r$ et effectifs en $𝐡$. Ce contrôle soigneux des paramètres nous permet d’obtenir divers types d’applications....

We prove that every Sturmian word ω has infinitely many prefixes of the form UnVn3, where |Un| < 2.855|Vn| and limn→∞|Vn| = ∞. In passing, we give a very simple proof of the known fact that every Sturmian word begins in arbitrarily long squares.

We prove that a Sturmian bisequence, with slope $\alpha$ and intercept $\rho$, is fixed by some non-trivial substitution if and only if $\alpha$ is a Sturm number and $\rho$ belongs to $\mathbb{Q}\left(\alpha \right)$. We also detail a complementary system of integers connected with Beatty bisequences.

In this paper we study multi-dimensional words generated by fixed points of substitutions by projecting the integer points on the corresponding broken halfline. We show for a large class of substitutions that the resulting word is the restriction of a linear function modulo $1$ and that it can be decided whether the resulting word is space filling or not. The proof uses lattices and the abstract number system associated with the substitution.

Une substitution est un morphisme de monoïdes libres : chaque lettre a pour image un mot, et l'image d'un mot est la concaténation des images de ses lettres. Cet article introduit une généralisation de la notion de substitution, où l'image d'une lettre n'est plus un mot mais un motif, c'est-à-dire un “mot à trous”, l'image d'un mot étant obtenue en raccordant les motifs correspondant à chacune de ses lettres à l'aide de règles locales. On caractérise complètement les substitutions par des motifs...

Let $\varphi$ be a substitution over a 2-letter alphabet, say $\{a,b\}$. If $\varphi \left(a\right)$ and $\varphi \left(b\right)$ begin with $a$ and $b$ respectively, $\varphi$ has two fixed points beginning with $a$ and $b$ respectively.We characterize substitutions with two cofinal fixed points (i.e., which differ only by prefixes). The proof is a combinatorial one, based on the study of repetitions of words in the fixed points.