La dimension des images est N_x colonnes par N_y lignes.

X désigne un vecteur, formé par les pixels d'une image dans l'ordre lexicographique.
X_s est la valeur du site (ou pixel) s.
X_ij est la valeur du pixel situé à la colonne i et à la ligne j.
Xⁿ est le n-ième vecteur de la suite (Xⁿ).
Par abus de notation on écrit P(X) au lieu de P(x=X).

X₀ désigne l'image non dégradée.
Y est l'observation (image dégradée).
H est l'opérateur de convolution (matrice de dimension N_xN_y).

B^x, B^y et W sont des vecteurs de même dimension que X.

h est le générateur de H, c'est la réponse impulsionnelle de la fonction de flou.

D_x et D_y sont les opérateurs de dérivation sur les images,
par rapport aux colonnes et aux lignes :

d_x et d_y sont les générateurs de D_x et D_y.

h⁴ est le générateur de H⁴, H⁴ étant une matrice de dimension (2N_x)²(2N_y)² obtenue par extension de H (ajout de zéros).

d⁴_x et d⁴_y sont les générateurs de D⁴_x et D⁴_y, opérateurs de dérivation sur les images symétrisées de dimension 2N_x2N_y.

désigne la transformée de Fourier.

est l'espace de configuration, ensemble des images
de dimension N_xN_y à pixels réels, soit