テプリッツ行列

テプリッツ行列（テプリッツぎょうれつ、テンプレート:Lang-en-short）は、左から右の各下降対角線に沿って要素が一定であるような行列である。対角一定行列（たいかくいっていぎょうれつ、テンプレート:Lang-en-short）とも。名前の由来は数学者 テンプレート:Ill。テプリッツ行列は次のような行列である。

$\left[\begin{array}{ccccc}a& b& c& d& e\\ f& a& b& c& d\\ g& f& a& b& c\\ h& g& f& a& b\\ j& h& g& f& a\end{array}\right]$

任意の n×n 行列 A が次のような形式であれば、それをテプリッツ行列と呼ぶ。

$𝑨=\left[\begin{array}{cccccc}{a}_0& a_{-1}& a_{-2}& \dots & \dots & a_{-n+1}\\ a_1& a_0& a_{-1}& \ddots & & ⋮\\ a_2& a_1& \ddots & \ddots & \ddots & ⋮\\ ⋮& \ddots & \ddots & \ddots & a_{-1}& a_{-2}\\ ⋮& & \ddots & a_1& a_0& a_{-1}\\ a_{n-1}& \dots & \dots & a_2& a_1& a_0\end{array}\right]$

i 行目、j 列目の A の要素を A_i,j と記述するとき、以下が成り立つ。

$A_{i,j}=A_{i-1,j-1}$

特性

行列を使った方程式の一般形

$𝑨𝒙=𝒃$

は、n元線型方程式系を表す。この A がテプリッツ行列であった場合、その系はやや特殊となる（自由度が n² ではなく 2n − 1 になる）。したがって、テプリッツ系は通常より解きやすいと期待される。

これは次の変形で調べることができる。

$𝑨{𝑼}_n-{𝑼}_m𝑨$

これは階数が2で、${𝑼}_k$ は down-shift operator である。特に単純な計算で次のように示すことができる。

$𝑨{𝑼}_n-{𝑼}_m𝑨=\left[\begin{array}{cccc}{a}_{-1}& \cdots & a_{-n+1}& 0\\ ⋮& \ddots & & -a_{-n+1}\\ ⋮& & \ddots & ⋮\\ 0& \cdots & \cdots & -a_{n-n-1}\end{array}\right]$

ここで、行列の空の場所はゼロに置換されている。

特性

2つのテプリッツ行列の加算は O(n) の時間でなされ、テプリッツ行列とベクトルの乗算は O(n log n)、2つのテプリッツ行列の乗算は O($n^2$) の時間でなされる。

テプリッツ系 $𝑨𝒙=𝒃$ は、テンプレート:Illで Θ($n^2$) の時間で解ける。このアルゴリズムのバリエーションは James Bunch 的意味で弱安定性を有する（すなわち、良条件の線型系で数値的安定性を示す）。

有限次元空間に圧縮された三角関数多項式による乗算演算子はテプリッツ行列で表すことができるので、テプリッツ行列はフーリエ級数とも密接に関連する。

テプリッツ行列が $a_i=a_{i+n}$ という属性も持つ場合、それを巡回行列と呼ぶ。

テプリッツ行列は テンプレート:Illである。対称テプリッツ行列はテンプレート:Illであり、かつテンプレート:Illである。

畳み込みは行列の積で表すことができ、その際の入力の1つはテプリッツ行列に変換される。例えば、$𝒉$ と $𝒙$ の畳み込みは次のようになる。

$\begin{array}{cc}𝒚& =𝒉\ast 𝒙\\ & =\left[\begin{array}{ccccc}{h}_1& 0& \dots & 0& 0\\ h_2& h_1& \dots & ⋮& ⋮\\ h_3& h_2& \dots & 0& 0\\ ⋮& h_3& \dots & h_1& 0\\ h_{m-1}& ⋮& \dots & h_2& h_1\\ h_m& h_{m-1}& ⋮& ⋮& h_2\\ 0& h_m& \dots & h_{m-2}& ⋮\\ 0& 0& \dots & h_{m-1}& h_{m-2}\\ ⋮& ⋮& ⋮& h_m& h_{m-1}\\ 0& 0& 0& \dots & h_m\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ x_3\\ ⋮\\ x_n\end{array}\right]\\ {𝒚}^{⊺}& =\left[\begin{array}{cccccc}{h}_1& h_2& h_3& \dots & h_{m-1}& h_m\end{array}\right]\left[\begin{array}{cccccccccc}{x}_1& x_2& x_3& \dots & x_n& 0& 0& 0& \dots & 0\\ 0& x_1& x_2& x_3& \dots & x_n& 0& 0& \dots & 0\\ 0& 0& x_1& x_2& x_3& \dots & x_n& 0& \dots & 0\\ ⋮& ⋮& ⋮& ⋮& ⋮& \dots & ⋮& ⋮& \dots & 0\\ 0& \dots & 0& 0& x_1& \dots & x_{n-2}& x_{n-1}& x_n& ⋮\\ 0& \dots & 0& 0& 0& x_1& \dots & x_{n-2}& x_{n-1}& x_n\end{array}\right]\end{array}$

この手法は、自己相関、相互相関、移動平均などの計算にも拡張できる。

関連項目

• 巡回行列

外部リンク

• Toeplitz and Circulant Matrices: A Review, by R. M. Gray