循环矩阵

Template:NoteTA 在线性代数中，循环矩阵是一种特殊形式的 Toeplitz矩阵，它的列向量的每个元素都是前一个列向量各元素依次右移一个位置得到的结果。由于可以用离散傅立叶变换快速解循环矩阵，所以在数值分析中有重要的应用。

定义

形式为

C = [\begin{matrix} c_{0} & c_{n - 1} & \dots & c_{2} & c_{1} \\ c_{1} & c_{0} & c_{n - 1} & c_{2} \\ ⋮ & c_{1} & c_{0} & ⋱ & ⋮ \\ c_{n - 2} & ⋱ & ⋱ & c_{n - 1} \\ c_{n - 1} & c_{n - 2} & \dots & c_{1} & c_{0} \end{matrix}]

的 $n \times n$ 矩阵 C 就是循环矩阵。

循环矩阵遵循代数运算法则。对于两个循环矩阵 A 与 B 来说，A + B 也是循环矩阵。AB 也是循环矩阵，并且 $A B = B A$ 。

循环矩阵的特征向量矩阵是同样维数的离散傅立叶变换矩阵，因此循环矩阵的特征值可以很容易地通过快速傅立叶变换计算出来。具体对应关系为

λ_{j} = c_{0} + c_{n - 1} ω_{j} + c_{n - 2} ω_{j}^{2} + \dots + c_{1} ω_{j}^{n - 1}, j = 0, 1, \dots, n - 1 .

其中 $ω_{j} = \exp (i \frac{2 π j}{n})$ 。

对称矩阵 $C$ 附加一个条件 $c_{n - i} = c_{i}$ 。因此可由 $⌊ n / 2 ⌋ + 1$ 个元素定义。

C = [\begin{matrix} c_{0} & c_{1} & \dots & c_{2} & c_{1} \\ c_{1} & c_{0} & c_{1} & c_{2} \\ ⋮ & c_{1} & c_{0} & ⋱ & ⋮ \\ c_{2} & ⋱ & ⋱ & c_{1} \\ c_{1} & c_{2} & \dots & c_{1} & c_{0} \end{matrix}] .

实对称矩阵的所有特征值都是实数，对于上述定义的实对称循环矩阵，这些特征值在 $n$ 为偶数时为

λ_{j} = c_{0} + 2 c_{1} ℜ ω_{j} + 2 c_{2} ℜ ω_{j}^{2} + \dots + 2 c_{n / 2 - 1} ℜ ω_{j}^{n / 2 - 1} + c_{n / 2} ω_{j}^{n / 2}

在 $n$ 为奇数时为

λ_{j} = c_{0} + 2 c_{1} ℜ ω_{j} + 2 c_{2} ℜ ω_{j}^{2} + \dots + 2 c_{(n - 1) / 2} ℜ ω_{j}^{(n - 1) / 2}

其中 $ℜ$ 表示取实部。利用 $ℜ ω_{j}^{k} = \cos (2 π j k / n)$ ，可进一步简化。

设矩阵方程

𝐂 𝐱 = 𝐛

其中 C 是 n 维方形循环矩阵，这样就可以将方程表示成循环卷积

𝐜 * 𝐱 = 𝐛

其中 c 是循环矩阵 C 的第一列，c、x与b分别向每个方向循环。用离散傅立叶变换将循环卷积转换成两个变量之间的乘积

ℱ_{n} (𝐜 * 𝐱) = ℱ_{n} (𝐜) ℱ_{n} (𝐱) = ℱ_{n} (𝐛)

因此

𝐱 = ℱ_{n}^{- 1} [{(\frac{(ℱ_{n} (𝐛))_{ν}}{(ℱ_{n} (𝐜))_{ν}})}_{ν \in 𝐙}] .

这个算法比标准的高斯消去法的速度要快很多，尤其是当使用快速傅立叶变换的时候更是如此。

在图论中，邻接矩阵为循环矩阵的图与有向图叫作轮换图。同样，如果图的自同构群包含全部的循环，那么图就是轮换图。Möbius ladder 就是轮换图的例子。