巡回行列の対角化定理は，線形代数における巡回行列に関する定理です。巡回行列とは，各行がそ の前の行を巡回的にシフトした形になっている特殊な行列のことです。具体的には，$n \times n$ の巡回行列 $C$ は，その最初の行 $\left(c_0, c_1, c_2, \ldots, c_{n-1}\right)$ によって定義され，それ以降の行はこの最初の行 を巡回的にシフトすることで生成されます。
Circulant Diagonalization Theorem and discrete Fourier transform