Matrices anticirculantes

En mathématiques, les matrices anticirculantes sont un cas particulier de matrices de Hankel ou de Toeplitz. Le mot peut désigner plusieurs types de matrices.

Anticirculantes standard

Une matrice anticirculante standard de taille n à coefficients complexes est de la forme générale :

$C=\left(\begin{array}{cccccc}{c}_0& c_1& c_2& \dots & \dots & c_{n-1}\\ c_1& & & c_{n-2}& c_{n-1}& c_0\\ c_2& & c_{n-2}& c_{n-1}& c_0& c_1\\ \dots & & & \dots & \dots \\ \dots & & & \dots & \dots \\ \dots & & & \dots & \dots \\ c_{n-1}& c_0& c_1& c_2& \dots & c_{n-2}\end{array}\right)$

où les coefficients c_i sont des complexes. La valeur des coefficients demeure constante sur les diagonales secondaires de la matrice et leur somme en ligne, comme celle en colonne demeure constante.

Anticirculantes de Hankel

Une autre définition donne les matrices anticirculantes de Hankel (Modèle:Lang ou Modèle:Lang) en opposition aux matrices circulantes de Hankel (ou f-circulant), comme les matrices de Hankel « antisymétriques » par rapport à la seconde diagonale de la matrice.

Elles sont de la forme :

$C=\left(\begin{array}{cccccc}{c}_0& c_1& c_2& \dots & \dots & 0\\ c_1& & & c_{n-2}& 0& -c_{n-2}\\ c_2& & c_{n-2}& 0& -c_{n-2}& -c_{n-3}\\ \dots & & & \dots & \dots \\ \dots & & & \dots & \dots \\ \dots & & & \dots & & -c_1\\ 0& -c_{n-2}& -c_{n-3}& \dots & -c_1& -c_0\end{array}\right).$

On montre que toute matrice de Hankel est somme d'une matrice circulante et d'une matrice anticirculante.

Anticirculante de Toeplitz

On appelle parfois matrices anticirculantes de Toeplitz, les matrices de la forme :

$C=\left(\begin{array}{ccccc}{c}_0& -c_1& -c_2& \dots & -c_{n-1}\\ c_{n-1}& c_0& -c_1& & -c_{n-2}\\ c_{n-2}& c_{n-1}& c_0& & -c_{n-3}\\ ⋮& & & \ddots & ⋮\\ c_1& c_2& c_3& \dots & c_0\end{array}\right).$

Elles sont également appelées matrices circulantes gauche (Modèle:Lang en anglais) et entrent dans la décomposition des matrices de Toeplitz.

Quelques propriétés des anticirculantes de type standard

Elles forment un sous-espace vectoriel de l'espace des carrés magiques.

Elles ne forment pas une sous-algèbre de l'algèbre des matrices carrées de taille n.

Elles sont diagonalisables dans ℂ (voir matrice de Hankel).

Cas particulier de la dimension 3

On montre que tout carré magique s'écrit comme somme d'une matrice circulante et d'une matrice anticirculante.

Cette décomposition n'est pas unique et n'a plus lieu dans les dimensions supérieures.