クロネッカー積

テンプレート:For 数学における行列のクロネッカー積（クロネッカーせき、テンプレート:Lang-en-short）⊗ は任意サイズの行列の間に定義される二項演算で、その結果は区分行列として与えられる。行列単位からなる標準基底に関する線型空間のテンソル積の行列として与えられる。クロネッカー積は通常の行列の積とはまったく異なる概念であるので、混同すべきではない。名称はレオポルト・クロネッカーに因む。

定義

A = (a_ij) を m × n 行列、B = (b_kl) を p × q 行列とすると、それらのクロネッカー積 A ⊗ B は

$A\otimes B=\left[\begin{array}{ccc}{a}_{11}B& \cdots & a_{1n}B\\ ⋮& \ddots & ⋮\\ a_{m1}B& \cdots & a_{mn}B\end{array}\right]$

で与えられる mp × nq 区分行列である。もっとはっきり成分を示せば、 A ⊗ B は

$\left[\begin{array}{cccccccccc}{a}_{11}{b}_{11}& a_{11}{b}_{12}& \cdots & a_{11}{b}_{1q}& \cdots & \cdots & a_{1n}{b}_{11}& a_{1n}{b}_{12}& \cdots & a_{1n}{b}_{1q}\\ a_{11}{b}_{21}& a_{11}{b}_{22}& \cdots & a_{11}{b}_{2q}& \cdots & \cdots & a_{1n}{b}_{21}& a_{1n}{b}_{22}& \cdots & a_{1n}{b}_{2q}\\ ⋮& ⋮& \ddots & ⋮& \ddots & \ddots & ⋮& ⋮& \ddots & ⋮\\ a_{11}{b}_{p1}& a_{11}{b}_{p2}& \cdots & a_{11}{b}_{pq}& \cdots & \cdots & a_{1n}{b}_{p1}& a_{1n}{b}_{p2}& \cdots & a_{1n}{b}_{pq}\\ ⋮& ⋮& \ddots & ⋮& \ddots & \ddots & ⋮& ⋮& \ddots & ⋮\\ ⋮& ⋮& \ddots & ⋮& \ddots & \ddots & ⋮& ⋮& \ddots & ⋮\\ a_{m1}{b}_{11}& a_{m1}{b}_{12}& \cdots & a_{m1}{b}_{1q}& \cdots & \cdots & a_{mn}{b}_{11}& a_{mn}{b}_{12}& \cdots & a_{mn}{b}_{1q}\\ a_{m1}{b}_{21}& a_{m1}{b}_{22}& \cdots & a_{m1}{b}_{2q}& \cdots & \cdots & a_{mn}{b}_{21}& a_{mn}{b}_{22}& \cdots & a_{mn}{b}_{2q}\\ ⋮& ⋮& \ddots & ⋮& \ddots & \ddots & ⋮& ⋮& \ddots & ⋮\\ a_{m1}{b}_{p1}& a_{m1}{b}_{p2}& \cdots & a_{m1}{b}_{pq}& \cdots & \cdots & a_{mn}{b}_{p1}& a_{mn}{b}_{p2}& \cdots & a_{mn}{b}_{pq}\end{array}\right]$

と書ける。行列 A および B が線型写像 V₁ → W₁ および V₂ → W₂ をそれぞれ表現するならば A ⊗ B はそれらの写像のテンソル積 V₁ ⊗ V₂ → W₁ ⊗ W₂ を表現する。

例えば、

$\left[\begin{array}{cc}1& 2\\ 3& 4\end{array}\right]\otimes \left[\begin{array}{cc}0& 5\\ 6& 7\end{array}\right]=\left[\begin{array}{cccc}1\cdot 0& 1\cdot 5& 2\cdot 0& 2\cdot 5\\ 1\cdot 6& 1\cdot 7& 2\cdot 6& 2\cdot 7\\ 3\cdot 0& 3\cdot 5& 4\cdot 0& 4\cdot 5\\ 3\cdot 6& 3\cdot 7& 4\cdot 6& 4\cdot 7\end{array}\right]=\left[\begin{array}{cccc}0& 5& 0& 10\\ 6& 7& 12& 14\\ 0& 15& 0& 20\\ 18& 21& 24& 28\end{array}\right]$

のような計算が成り立つ。

性質

双線型性と結合性

クロネッカー積はテンソル積の特別な場合であるから、双線型性と結合性を持つ。すなわち、A, B, C を適当なサイズの行列、k をスカラーとして

$A\otimes (B+C)=A\otimes B+A\otimes C,$

$(A+B)\otimes C=A\otimes C+B\otimes C,$

$(kA)\otimes B=A\otimes (kB)=k(A\otimes B),$

$(A\otimes B)\otimes C=A\otimes (B\otimes C)$

が成り立つ。

クロネッカー積は可換でなく、一般には A ⊗ B と B ⊗ A は異なる行列となる。しかし A ⊗ B と B ⊗ A とは置換同値、すなわち置換行列 P, Q で

$A\otimes B=P(B\otimes A)Q$

となるものが存在する。さらに A, B が正方行列の場合には、A ⊗ B と B ⊗ A とは置換相似、すなわち置換同値であって P = Q^⊤ とすることができる。

混合積性質

行列 A, B, C, D は行列の積 AC および BD が定義できるようなサイズの行列とすれば、

$(A\otimes B)(C\otimes D)=AC\otimes BD$

が成立する。これは行列の通常の積とクロネッカー積が混じっているので、混合積性質と呼ばれる。

逆元

上記の混合積性質から、A ⊗ B が正則行列となるための必要十分条件は A と B がともに正則となることであって、実際に逆元を

$(A\otimes B{)}^{-1}=A^{-1}\otimes B^{-1}$

と書くことができる。

転置行列

行列の転置をとる操作はクロネッカー積に分配的である。すなわち、

$(A\otimes B{)}^{\mathrm{\top }}=A^{\mathrm{\top }}\otimes B^{\mathrm{\top }}$

が成立する。

クロネッカー和と行列の指数

n-次正方行列 A, m-次正方行列 B および k-次単位行列 I_k に対して、クロネッカー和と呼ばれる演算 ⊕ を

$A\oplus B=A\otimes I_m+I_n\otimes B$

で定義する（これは行列の直和とは異なるものであることに注意）。この演算はリー環のテンソル積に関係がある。

行列の指数函数に関する公式

$e^{A\oplus B}=e^A\otimes e^B$

はある種の連続時間マルコフ過程の数値的評価において有用である テンプレート:Citation needed。物理学においても、相互作用しない形の集まりを考えるとき、クロネッカー和が自然に現れる。Hⁱ をそのような系の i-番目のハミルトニアンとすれば、系の集まり全体のハミルトニアンは

$H_{\mathrm{T}\mathrm{o}\mathrm{t}}=\underset{i}{⨁}{H}^i$

で与えられる。

スペクトル

A, B はそれぞれ m, n-次正方行列とし、重複度までこめて A の固有値が λ₁, …, λ_m, B の固有値が μ₁, …, μ_n であるとすると、A ⊗ B の固有値は

${\lambda }_i{\mu }_j(i=1,\dots ,m;j=1,\dots ,n)$

で与えられる。従って、クロネッカー積の蹟と行列式に関して

$\mathrm{tr}(A\otimes B)=\mathrm{tr}A\mathrm{tr}B,$

$\det (A\otimes B)=(\det A{)}^n(\det B{)}^m$

が成立することが分かる。

特異値

矩形行列 A, B に関してその特異値を考えることができる。行列 A が r_A 個の非零特異値

${\sigma }_{A,i}(i=1,\dots ,r_A)$

を持つものとし、同様に B の非零特異値を

${\sigma }_{B,i}(i=1,\dots ,r_B)$

で表せば、クロネッカー積 A ⊗ B は r_Ar_B 個の特異値

${\sigma }_{A,i}{\sigma }_{B,j}(i=1,\dots ,r_A;j=1,\dots ,r_B)$

を持つ。行列の階数はその非零特異値の個数に等しいから、

$\mathrm{rank}(A\otimes B)=\mathrm{rank}A\mathrm{rank}B$

も分かる。

抽象テンソル積との関係

行列のクロネッカー積は線型写像に対する抽象的なテンソル積に対応する。具体的に、ベクトル空間 V, W, X, Y がそれぞれ基底 {v₁, …, v_m}, {w₁, …, w_n}, {x₁, …, x_d}, {y₁, …, y_e} を持つものとすると、行列 A, B がそれぞれ線型写像 S: V → X, T: W → Y を所期の基底に関して表現するならば、クロネッカー積 A ⊗ B は写像のテンソル積 S ⊗ T: V ⊗ W → X ⊗ Y を、V ⊗ W の基底 {v₁ ⊗ w₁, v₁ ⊗ w₂, …, v₂ ⊗ w₁, …, v_m ⊗ w_n} および X ⊗ Y の同様の基底に関して表現するもので、

A ⊗ B(v_i ⊗ w_j) = (Av_i)⊗(Bw_j)

なる性質が満たされる。ただし、i, j は適当な範囲を動く整数とする。

V, W がリー環で、S: V → V, T: W → W がリー環準同型のとき、A と B のクロネッカー積は誘導されたリー環準同型 V ⊗ W → V ⊗ W を表現する。

グラフの積との関係

グラフの隣接行列のクロネッカー積はグラフのテンソル積の隣接行列になる。また、グラフの隣接行列のクロネッカー和は直積グラフの隣接行列である。

行列方程式

クロネッカー積はある種の行列方程式の簡便な表現を得るのに利用することができる。例えば、A, B, C が与えられていて、X を未知とするときの、方程式 AXB = C を考えると、この方程式は

$(B^{\mathrm{\top }}\otimes A)\mathrm{vec}(X)=\mathrm{vec}(AXB)=\mathrm{vec}(C)$

の形に書き下すことができる。ここで、vec(X) は、行列 X の各列を縦に積んで一つの列ベクトルの形にした、X のベクトル化である。このときクロネッカー積の性質から、方程式 AXB = C がただ一つの解をもつための必要十分条件が A および B がともに非特異であること テンプレート:Harv が従う。

X を行順に列ベクトルとしたものを x とすれば AXB は (A ⊗ B^⊤)x と書ける テンプレート:Harv。

多変量統計

多変量統計におけるモーメントはクロネッカー積を用いて表すことができる。
x = (X₁, X₂, ... ) を多変量のベクトルとすれば、

• 一次のモーメントは、${\mu }_1=E[x]=(E[X_1],E[X_2],...)$
• 二次のモーメントは、${\mu }_2=E[x\otimes x^t]=(E[X_1^2],E[X_2^2],...,E[X_1{X}_2],E[X_1{X}_3],...)$

三変数での例

$\left[\begin{array}{c}a\\ b\\ c\end{array}\right]\otimes \left[\begin{array}{ccc}a& b& c\end{array}\right]=\left[\begin{array}{ccc}a\cdot a& a\cdot b& a\cdot c\\ b\cdot a& b\cdot b& b\cdot c\\ c\cdot a& c\cdot b& c\cdot c\end{array}\right]$

で共分散行列となる。

同様に、

• 三次モーメントは、${\mu }_3=E[x\otimes x^t\otimes x^t]$

２変数での例

$\left[\begin{array}{c}a\\ b\end{array}\right]\otimes \left[\begin{array}{cc}a& b\end{array}\right]\otimes \left[\begin{array}{cc}a& b\end{array}\right]=\left[\begin{array}{cc}a\cdot a& a\cdot b\\ b\cdot a& b\cdot b\end{array}\right]\otimes \left[\begin{array}{cc}a& b\end{array}\right]=\left[\begin{array}{cccc}aa\cdot a& aa\cdot b& ab\cdot a& ab\cdot b\\ ba\cdot a& ba\cdot b& bb\cdot a& bb\cdot b\end{array}\right]$

• 四次モーメントは、${\mu }_4=E[x\otimes x^t\otimes x^t\otimes x^t]$

一般に k 次モーメントは、${\mu }_k=E[x^{\otimes k}]$ と書かれる。

歴史

クロネッカー積はレオポルト・クロネッカーにその名を由来するが、クロネッカーが最初に定義をして用いたという証拠はわずかしかない。実際に過去には、ヨハン・ゲオルク・ツェーフスに因んでツェーフス行列 (テンプレート:Lang matrix) と呼ばれたこともある。

関連項目

• 行列の乗法

参考文献

• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation
• テンプレート:Citation

外部リンク

• テンプレート:Planetmath reference
• MathWorld Matrix Direct Product
• New Kronecker product problems
• Earliest Uses: The entry on The Kronecker, Zehfuss or Direct Product of matrices has historical information.