# Suite régulière

En théorie des nombres, en informatique théorique et en combinatoire des mots, une suite régulière ou plus précisément une suite k-régulière où k>1 est un entier, est une suite d'entiers qui est définie par des relations de dépendance linéaire de certaines de ses sous-suites. Les sous-suites sont celles dont les indices forment des progressions arithmétiques dont les raisons sont des puissances de k. La condition est que toutes ces sous-suites appartiennent à un espace vectoriel (ou un module) finiment engendré.
Il apparaît qu'un nombre considérable de suites d'entiers figurent dans cette catégorie. De plus, les suites k-régulières qui ne prennent qu'un nombre fini de valeurs sont exactement les suites k-automatiques.
La suite
    0, 1, 1, 2, 1, 2, 2, 3, 1, 2, 2, 3, 2, 3, 3, 4, 1, 2, 2, 3, 2, 3, 3, 4, 2, 3, 3, 4, 3, 4, . . .
qui compte la somme des bits dans l'écriture binaire des entiers naturels est un prototype de suite 2-régulière. C'est la suite  A000120. Un autre exemple est la suite
    0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, . . .
des exposants des plus hautes puissances de 2 divisant les entiers (appelée en anglais la « ruler function »). C'est la suite  A007814.
Le concept de suite k-régulière a été introduit par Allouche et Shallit. Ils en présentent un développement détaillé dans leur livre. Le lien avec les séries rationnelles en variables non commutatives, déjà mentionné dans leur article, est aussi détaillé dans le chapitre 5 du livre Berstel et Reutenauer 2011. Une présentation synthétique est donnée dans le premier chapitre (section 1.6.2 : Regular sequences) du livre Berthé et Rigo 2018.

## Définition

Comme pour les suites automatiques, il existe plusieurs définitions équivalentes : par un ensemble de relations de récurrence, par une représentation matricielle, Il est commode de noter une suite d'entiers de façon fonctionnelle, c'est-à-dire comme une fonction des entiers naturels dans les entiers.
Une première formulation de la définition est la suivante.

### Noyau

Soit $k\geq 2$ un entier. Une suite
    $a=(a(n))_{n\geq 0}$
d'entiers est dite $k$-régulière s'il existe un nombre fini $s$ de suites d'entiers
    $(b_{1}(n))_{n\geq 0},(b_{1}(n))_{n\geq 0},\ldots ,(b_{s}(n))_{n\geq 0}$
et, pour tout $i\geq 0$ et tout $0\leq j<k^{i}$, des entiers
    $c_{1},c_{2},\ldots ,c_{s}$
tels que pour tout $n\geq 0$, on a
    $a(j+k^{i}n)=c_{1}b_{1}(n)+c_{2}b_{2}(n)+\cdots +c_{s}b_{s}(n)$.
En d'autres termes, chacune des sous-suites
    $(a(j+k^{i}n))_{n\geq 0}$
est combinaison linéaire, à coefficients entiers, des suites données $(b_{1}(n))_{n\geq 0},(b_{1}(n))_{n\geq 0},\ldots ,(b_{s}(n))_{n\geq 0}$. Pour simplifier l'expression ci-dessus, il est utile de donner un nom aux sous-suites considérées. On appelle $k$-noyau de la suite $a$ l'ensemble
    $\mathrm {Ker} _{k}(a)=\{(a(j+k^{i}n))_{n\geq 0}\mid i\geq 0,0\leq j<k^{i}\}$
des sous-suites $(a(j+k^{i}n))_{n\geq 0}$ pour $i\geq 0$ et $0\leq j<k^{i}$. Alors, et de manière plus synthétique, la suite $a$ est $k$-régulière si son $k$-noyau $\mathrm {Ker} _{k}(a)$ est contenu dans un $\mathbb {Z}$-module finiment engendré de suites d'entiers.

### Représentation linéaire

Soit $A$ un alphabet fini et soit $K$ un demi-anneau. Une série formelle $S$ est une application de $A^{*}$ dans $K$. L'image d'un mot $w$ est noté $(S,w)$. La série elle-même est aussi notées $S=\sum _{w\in A^{*}}(S,w)$.
Une série formelle $S:A^{*}\to K$ est dite $K$-reconnaissable s'il existe un entier $m\geq 1$, des vecteurs $\lambda \in K^{1\times m}$ , $\gamma \in K^{m\times 1}$ et un morphisme $\mu :A^{*}\to K^{m\times m}$ telle que
    $(S,w)=\lambda \mu (w)\gamma$ pour tout $w$.
Le triple $(\lambda ,\mu ,\gamma )$est une représentation linéaire de $S$.
Une suite $a$ est $k$-régulière si la série formelle
    $\sum _{w\in A^{*}}\mathrm {val_{k}} (w)w$
est $\mathbb {N}$-reconnaissable, où $A=\{0,1,\ldots ,k-1\}$. Ici
    $\mathrm {val_{k}} (d_{r}d_{r-1}\cdots d_{0})=d_{0}+d_{1}k+d_{2}k^{2}+\cdots +d_{r}k^{r}$
est le nombre représenté par son développement $d_{0}d_{1}\cdots d_{r}\in A^{*}$ en base $k$.

## Premiers exemples
### Somme des bits

La suite, traditionnellement notée $(s_{2}(n))_{n\geq 0}$ :
    0, 1, 1, 2, 1, 2, 2, 3, 1, 2, 2, 3, 2, 3, 3, 4, 1, 2, 2, 3, 2, 3, 3, 4, 2, 3, 3, 4, 3, 4, . . .
qui compte la somme des bits dans l'écriture binaire des entiers naturels est un prototype de suite 2-régulière. C'est la suite  A007814 de l'Encyclopédie en ligne des suites de nombres entiers). Pour le vérifier, calculons son 2-noyau. On prend d'abord les deux sous-suites dont les indices sont pairs ou impairs, ce qui donne :
    0, 1, 1, 2, 1, 2, 2, 3, 1, 2, 2, 3, . . .
et
    1, 2, 2, 3, 2, 3, 3, 4, 2, 3, . . .
La première sous-suite est égale à la suite de départ, la deuxième est égale à suite de départ dont chaque terme est augmenté de 1. Plus généralement, comme on a
    $s_{2}(j+2^{i}n)=s_{2}(j)+s_{2}(n)$,
tout élément du 2-noyau est une combinaison linéaire de la suite de départ et de la suite constante $(1)$.
Une représentation linéaire de la série $s_{2}$ est donnée par
    $\lambda =(10),\ \mu (0)={\begin{pmatrix}1&0\\0&1\end{pmatrix}},\ \mu (1)={\begin{pmatrix}1&0\\1&1\end{pmatrix}},\ \gamma ={\binom {1}{0}}$.
On a alors, pour $n=\mathrm {val_{k}} (w)$, $n\neq 0$ :
    $\mu (w)={\begin{pmatrix}s_{2}(n)&1\\0&1\end{pmatrix}}$

### Valuation 2-adique

La valuation 2-adique $\nu _{2}(n)$ d'une entier n (aussi appelée « ruler function ») est l'exposant de la plus grande puissance de 2 divisant n : ainsi $\nu _{2}(8)=3$ et $\nu _{2}(9)=0$. Les premières valeurs de la suite (c'est la suite  A007814) sont, en commençant par n=1 :
    0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 4, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2, 0, 1, 0, 5, 0, 1, 0, 2, 0, 1, 0, 3, 0, 1, 0, 2,
La sous-suite des indices pairs est la suite nulle, la suite des indices impairs est la suite de départ dont chaque terme est augmenté de 1. À nouveau, le 2-noyau est formé de la suite de départ et de la suite constante $(1)$.

## Propriétés générales
### Suites régulières et suites automatiques

* Toute suite k-automatique est k-régulière.
* Une suite k-régulière qui ne prend qu'un nombre fini de valeurs est k-automatique.
* Si une suite $(a(n))_{n\geq 0}$ est k-régulière, alors la suite $(a(n){\bmod {m}})_{n\geq 0}$ est k-automatique pour tout $m\geq 1$ (mais la réciproque est fausse).

### Propriétés de fermeture

* La famille des suites k-régulières est fermée par addition, par multiplication par une constante, par multiplication terme-à-terme (produit de Hadamard) et par produit de Cauchy
    Le produit terme-à-terme (aussi appelé produit de Hadamard) de deux suites $(a(n))_{n\geq 0}$ et $(b(n))_{n\geq 0}$ est la suite
       $(a(n)b(n))_{n\geq 0}$
    Le produit de Cauchy des deux suites est la suite $(c(n))_{n\geq 0}$ définie par
       $c(n)=\sum _{i+j=n}a(i)b(j)$.
* Si $(a(n))_{n\geq 0}$ est une suite $k$-régulière et si $p$ et $q$ sont des entiers naturels, alors la suite $(a(pn+q))_{n\geq 0}$ est $k$-régulière.

### Croissance des coefficients

* Les termes d'une suite k-régulière croissent au plus polynomialement en fonction de leur indice. La suite $f(n)_{n\geq 0}$ des valeurs d'un polynôme à valeurs entières $f(x)$ est k-régulière pour tout entier $k\geq 2$.

### Généralisation à un anneau noethérien

La notion de suite k-régulière s'étend comme suit à un anneau $R$. Soit $R'$ un sous-anneau noethérien commutatif de $R$. Une séquence $a(n)_{n\geq 0}$ d'éléments de $R$ est '$(R',k)$-régulièresi le $R'$-module engendré par les
       $(a(k^{e}n+b))_{n\geq 0}$ pour $e\geq 0$ et $0\leq b<k^{e}$
est finiment engendré.

## Autres exemples de suites
### Somme cumulée de digits

Soit $s_{k}(n)$ la somme des digits de l'écriture de $n$ en base $k$ et soit
    $S_{k}(n)=\sum _{0\leq i\leq n}s_{k}(i)$.
La suite $(S_{k}(n))_{n\geq 0}$ est le produit de Cauchy de la suite $(s_{k}(n))_{n\geq 0}$ et de la suite constante $(1)$. Elle est donc $k$-régulière.

### La suite de Kimberling

La suite de Kimberling est la suite $(c(n))_{n\geq 0}$ définie par $c(0)=0$ et pour $n>0$ par
    $c(n)={\frac {1}{2}}(n/2^{\nu _{2}(n)}+1).$
Ici $2^{\nu _{2}(n)}$ est la plus haute puissance de 2 qui divise $n$. Les premières valeurs sont
    0, 1, 1, 2, 1, 3, 2, 2, 4, 1, 5, . . .
C'est la suite A003602 de l'OEIS. On vérifie facilement que $c(2n)=c(n)$ et $c(2n-1)=n$ pour $n\geq 1$, donc la suite est 2-régulière.