Voir la source de Quantification (signal)

{{Voir homonymes|quantification}}

En [[traitement des signaux]], la '''quantification''' est le procédé qui permet d'approcher un signal continu par les valeurs d'un ensemble [[Système discret|discret]] d'assez petite taille. On parle aussi de quantification pour approcher un signal à valeurs dans un ensemble discret de grande taille par un ensemble plus restreint.

L'application la plus courante de la quantification est la [[Convertisseur analogique-numérique|conversion analogique-numérique]] mais elle doit le développement de sa théorie aux problèmes de quantification pour la [[Compression de données|compression]] de signaux audio ou [[Imagerie informatique|image]].

Le but de la quantification est, à partir d'une valeur d'entrée donnée d'un espace ''E'', de déterminer la valeur la plus proche dans l'ensemble ''F'' d'arrivée.
Dans le cas d'une conversion analogique-numérique, l'ensemble ''E'' est continu, on peut prendre <math>E=\mathbb{R}</math> et l'ensemble d'arrivée est discret, de taille finie. Cet ensemble est généralement appelé dictionnaire.
[[Image:Quantized.signal.svg|right|thumb|300px|Exemple de quantification (en rouge) d'un signal continu]]

Depuis l'essor de l'[[apprentissage automatique]] au début du vingt-et-unième siècle, les chercheurs se penchent sur l'application de la quantification dans ce domaine, dans le but d'augmenter les performances de calculs<ref>{{en}} [https://arxiv.org/abs/2209.05433 Rethinking floating point for deep learning]</ref>{{,}}<ref>{{en}} [https://spectrum.ieee.org/floating-point-numbers-posits-processor Posits, a New Kind of Number, Improves the Math of AI]</ref>{{,}}<ref>{{en}} [https://arxiv.org/abs/2209.05433 FP8 formats for deep learning]</ref>.

== Quantification scalaire ==
On parle de quantification scalaire lorsque le dictionnaire est de dimension 1, c'est-à-dire ses valeurs sont des scalaires. La quantification scalaire est la forme la plus simple de quantification, le cas où le dictionnaire est un espace de dimension supérieure à 1 est appelé la [[quantification vectorielle]].

Un quantifieur scalaire de taille ''n'' est une [[Fonction (mathématiques)|application]] {{mvar|Q}}, de <math>\mathbb{R}</math> dans un ensemble discret fini ''F'', de dimension 1 et de taille {{mvar|n}}, <math>F=\{\hat{x_1}\ldots \hat{x_n}\}</math>, <math>Q: \mathbb{R} \to F</math>. On note <math>\hat{x}=Q(x)</math>.

Un quantifieur peut se définir comme un ensemble d'intervalles de l'espace de départ, {{math|[''t{{ind|k}}'' , ''t''{{ind|''k''+1}}]}}, où les {{mvar|t{{ind|k}}}} sont appelés niveaux de décision. À chaque intervalle {{math|[''t{{ind|k}}'' , ''t''{{ind|''k''+1}}]}}, on fait correspondre une seule valeur de l'espace d'arrivée, {{mvar|r{{ind|k}}}}, appelée niveau de reconstruction. La forme typique d'un quantifieur est donc une [[fonction en escalier]]. D'une manière générale, la largeur d'un intervalle n'est pas constante : <math>q_k=t_{k+1}-t_k\ne cste</math>. Cette largeur est appelée le pas de quantification. En général, les niveaux de reconstruction ne sont pas non plus uniformément répartis : <math>r_{k+1}-r_k\ne cste</math>.

=== Quantifieur scalaire uniforme ===
[[Image:Quantif uniforme.svg|thumb|300px|right|Quantificateur uniforme avec un pas de quantification de 1]]

C'est le type de quantifieur le plus simple, où les intervalles sont de longueur constante.

Le pas de quantification est donc fixe : {{math|''t''{{ind|''k'' + 1}} – ''t''{{ind|''k''}} {{=}} ''q''}} pour tout {{mvar|k}}.

Les niveaux de reconstructions sont aussi uniformément répartis. Il est parfois appelé quantifieur scalaire symétrique.

=== Quantifieur à zone morte ===

C'est un type spécial de quantifieur, où l'intervalle autour de zéro est plus large. La ''zone morte'' ou ''dead-zone'' qualifie donc cet intervalle autour de zéro, qui permet à l'ensemble des valeurs de source considérées comme ''petites'', d'être quantifiées à une seule même valeur (généralement zéro).

Ce type de quantifieur est donc non uniforme (ou asymétrique). Toutefois, si l'ensemble des autres intervalles sont uniformes, on qualifie généralement ce type de quantifieur d'uniforme à zone morte.

Ce type de quantifieur est très utilisé en compression d'image, où à la suite d'une transformation de l'image par [[ondelette]] ou [[Transformée en cosinus discrète|DCT]], il existe de très nombreuses valeurs autour de zéro, non significatives, qui pénaliseraient la suite du processus de codage. Typiquement, les valeurs comprises dans la zone morte sont quantifiées à zéro, et ne sont donc pas considérées par le [[codage entropique]]. Il existe alors de très nombreux coefficients quantifiés à zéro, ce qui permet d'utiliser des méthodes comme le [[Run-length encoding|RLE]].

La [[Normes et standards industriels|norme]] [[JPEG 2000]] utilise un quantifieur scalaire uniforme à zone morte.

=== Autres quantifieurs scalaires non uniformes ===

De manière générale, on peut répartir les niveaux de quantification de toutes les façons possibles.

Pour un signal de parole, dont la plupart des valeurs sont autour de zéro, on utilisera un quantifieur avec beaucoup de niveaux autour de zéro et peu de niveaux ailleurs.

== Pas de discrétisation ==
Un signal analogique peut avoir des variations infinitésimales. La quantification correspondant à des niveaux discrets, il en résulte une perte d'information, pour peu que l'on puisse mesurer des variations inférieures aux longueurs d'intervalle de quantification avec des moyens analogiques.

Le signal quantifié est en général un [[signal électrique]], avec un [[convertisseur analogique-numérique]] — s'il est d'une autre nature, on le transforme en signal électrique, avec un [[transducteur]]. Appelons {{math|Δ''V''}} l'amplitude maximale du signal en [[tension électrique|tension]], et {{math|δ''V''}} la plus petite variation du signal numérisé, le '''pas de discrétisation'''. Dans le cas d'une quantification uniforme, si l'on a ''N'' seuils, on a alors :
: <math>\delta V = \frac{\Delta V}{N- 1}.</math>
En général, ''N'' est grand pour que la quantification soit « fine », on peut donc écrire :
: <math>\delta V \simeq \frac{\Delta V}{N}.</math>
En général, le signal numérisé est codé en [[base deux]] pour un stockage informatique (voir l'article [[Format de données]]). La variation minimale {{math|δ''V''}} correspond alors au [[bit de poids faible]] ; {{math|δ''V''}} est de fait fréquemment désigné par le [[sigle]] LSB, pour ''{{lang|en|least significant bit}}''. Si le signal est codé sur ''n'' bits, on a alors ''N'' = 2<sup>''n''</sup> et
:<math>\delta V_{\textrm{LSB}} \simeq \frac{\Delta V}{2^n}.</math>

== Bruit de quantification ==
[[Image:Quanterr_fr.png|thumb|350px|Quantification d'un signal analogique sur 2 bits (4 valeurs).<br /> Graphique du bas : différence entre les deux signaux du graphique du haut (l'accumulation des erreurs de quantification représente le bruit).]]
La quantification est une opération destructrice d'information. Elle introduit une erreur (ou un [[bruit]]) entre le signal quantifié et le signal source. Cette erreur est généralement mesurée par la distance suivante :

:<math>e(n)=\hat{x}(n) - x(n)</math>

Cette erreur de quantification est aussi appelée '''distorsion'''.

Considérons un quantificateur de {{mvar|n}}-bits avec une excursion de tension d'entrée de <math>\pm V_{\max}</math>. Le pas de quantification est donné par <math>\delta V=\frac{2V_{\max}}{2^n}</math>.

Pour mesurer l'erreur de quantification, nous supposons que l'erreur est uniformément distribuée entre <math>-\delta V / 2 < e(n) < \delta V / 2</math> (hypothèse raisonnable pour les faibles valeurs de {{math|δ''V''}}).
La probabilité totale d'erreur étant de 1, l'amplitude de la fonction de densité de probabilité de l'erreur de quantification {{mvar|p{{ind|e}}}} est de <math>1/ \delta V</math> pour <math>-\delta V / 2 < e(n) < \delta V / 2</math> et 0 ailleurs.

d'où une puissance de bruit (ou variance) :

:<math>\sigma_e^2 = \int_{-\delta V / 2}^{\delta V / 2} e^2 \frac{1}{\delta V} \mathrm{d}e = \frac{\delta V^2}{12} = \frac{V_\text{max}^2 2^{-2n}}{3}</math>

== Quantifieur scalaire optimal ==

Le quantifieur optimal est celui qui minimise la distorsion.

Le quantifieur scalaire uniforme est optimal si l'amplitude de la source suit une distribution [[Loi uniforme continue|uniforme]]. Les signaux audio ou image ne peuvent cependant être considérés comme des sources uniformes, ce qui a conduit à la recherche d'algorithmes permettant de générer un quantifieur optimal, pour tous types de sources. Ce quantifieur est donné par l'[[algorithme de Lloyd-Max]], basé sur les conditions d'optimalités définies par [[Stuart P. Lloyd|Lloyd]] en 1957.

== Notes et compléments ==
=== Articles connexes ===
* [[Loi A]]
* [[Loi Mu]]
* [[Dither (audio)]]
* [[Quantification vectorielle]]
* [[Compression d'image]]

== Références ==
{{Références}}
* {{chapitre
| langue = fr
| prénom1 = M
| nom1 = Antonini
| prénom2 = Vincent
| nom2 = Ricordel
| titre chapitre = Quantification
| auteurs ouvrage = Michel Barlaud et Claude Labit (dir.)
| titre ouvrage = Compression et codage des images et des vidéos
| sous-titre ouvrage = Traité IC2, Série traitement du signal et de l’image
| numéro d'édition = 1
| lieu = Paris
| éditeur = Hermes
| mois = Janvier
| année = 2002
| page début chapitre = 45
| pages totales = 28
| isbn = 2-7462-0328-6
| lire en ligne = http://www.lavoisier.fr/livre/notice.asp?id=3LKWX3AO23SOWI
| consulté le = 26/04/2012
}}
* Quantization Robert M. Gray, David L. Neuhoff, IEEE Trans. on Inf. Theory, 1998
* Source Coding Theory, Robert M. Gray 
* S. P. Lloyd, “Least squares quantization in PCM”, IEEE Trans. Inform. Theory, vol. IT-28, {{p.|129-137}}, {{date-|mars 1982}}

=== Liens externes ===
* [http://www.quantize.maths-fi.com Site web consacré à la quantification optimale]
* [http://www.dsplog.com/2007/03/19/signal-to-quantization-noise-in-quantized-sinusoidal/  Bruit de quantification d'une sinusoide quantifiée] - Analyse de l'erreur de quantification d'une sinusoïde.

{{Portail|électricité et électronique|Télécommunications|imagerie numérique|mathématiques}}

[[Catégorie:Traitement numérique du signal]]
[[Catégorie:Compression d'image]]