応用数学解説

文献あり

四元数の行列表現からパウリ行列まで

四元数,パウリ行列

212

シリーズ：四元数の行列表現

四元数の虚数単位を複素2次正方行列で表現して、そこからパウリ行列を構成します。

四元数の基本的性質

四元数は実部と3つの虚数単位を持つ虚部からなる数体系で、一般的に以下のように表されます。

四元数

$a + b i + c j + d k (a, b, c, d \in R)$

ここで虚数単位 $i, j, k$ は以下の関係式を満たす。

$i^{2} = j^{2} = k^{2} = - 1$
$i j = - j i = k, j k = - k j = i, k i = - i k = j$

四元数は次のように2つの複素数の組として表現することもできます。

$a + b i + c j + d k = (a + b i) + (c + d i) j$

この形式は外側が $X + Y j$ の形になっています。この表現から、四元数の行列表現を考える際、まず外側の虚数単位 $j$ を複素数の虚数単位 $i$ に対応付けることから始めます。

行列表現には任意性があるため、扱いやすいようにまず $j$ を固定するということです。

四元数の行列表現

四元数の虚数単位 $i, j, k$ を $2 \times 2$ 行列で表現することを考えます。これらの行列は四元数全体の集合を表す $H$ を添字にして $I_{H}, J_{H}, K_{H}$ と表記します。

本記事での方針

単純に大文字にすると $I$ が単位行列と衝突します。それを避けるため $I_{H}$ などと表記します。

先ほどの動機付けから、まず $J_{H}$ を複素数の虚数単位 $i$ の行列表現として以下のように定義します。

四元数の虚数単位

j

の行列表現

$J_{H} = (\begin{matrix} 0 & - 1 \\ 1 & 0 \end{matrix})$

$J_{H}$ が複素数 $i$ の行列表現であることを確認します。実平面上のベクトルに $J_{H}$ を作用させます。

$J_{H} (\begin{matrix} x \\ y \end{matrix}) = (\begin{matrix} 0 & - 1 \\ 1 & 0 \end{matrix}) (\begin{matrix} x \\ y \end{matrix}) = (\begin{matrix} - y \\ x \end{matrix})$

これは複素数の演算 $i (x + y i) = - y + x i$ に対応します。

$J_{H}$ を複素数の虚数単位 $i$ と同一視することで、四元数の行列表現の出発点とします。

次に、四元数の性質を満たすためには、これらの行列は以下の条件を満たす必要があります。（ $I$ は単位行列）

${I_{H}}^{2} = {J_{H}}^{2} = {K_{H}}^{2} = - I$
$\begin{aligned} I_{H} J_{H} & = - J_{H} I_{H} & = K_{H} \\ J_{H} K_{H} & = - K_{H} J_{H} & = I_{H} \\ K_{H} I_{H} & = - I_{H} K_{H} & = J_{H} \end{aligned}$

$I_{H}$ の導出

$I_{H}$ を一般的な $2 \times 2$ 行列として

$I_{H} = (\begin{matrix} a & b \\ c & d \end{matrix})$

とおきます。条件 $I_{H} J_{H} = - J_{H} I_{H}$ より

$\begin{aligned} (\begin{array}{c} a & b \\ c & d \end{array}) (\begin{array}{c} 0 & - 1 \\ 1 & 0 \end{array}) & = - (\begin{array}{c} 0 & - 1 \\ 1 & 0 \end{array}) (\begin{array}{c} a & b \\ c & d \end{array}) \\ (\begin{array}{c} b & - a \\ d & - c \end{array}) & = (\begin{array}{c} c & d \\ - a & - b \end{array}) \end{aligned}$

よって $b = c, d = - a$ より

$I_{H} = (\begin{matrix} a & b \\ b & - a \end{matrix})$

${I_{H}}^{2} = - I$ の条件

${I_{H}}^{2} = {(\begin{matrix} a & b \\ b & - a \end{matrix})}^{2} = (\begin{matrix} a^{2} + b^{2} & 0 \\ 0 & a^{2} + b^{2} \end{matrix}) = (a^{2} + b^{2}) I$

${I_{H}}^{2} = - I$ より $a^{2} + b^{2} = - 1$

この条件を満たす実数 $a, b$ は存在しないため、複素数の範囲で解を求めます。 $θ$ を任意の実数とすれば

$- 1 = i^{2} (\sin^{2} θ + \cos^{2} θ) = (i \sin θ)^{2} + (i \cos θ)^{2}$

よって

$a = i \sin θ, b = i \cos θ$

とパラメーター表示できます。

パラメーター表示の任意性

パラメーター表示には任意性があるため、例えば

$a = - i \cos θ, b = i \sin θ$

のような組み合わせも解となります。これは $θ$ の位相がずれるだけで本質的な違いではありません。

$K_{H}$ の導出

$K_{H} = I_{H} J_{H} = (\begin{matrix} a & b \\ b & - a \end{matrix}) (\begin{matrix} 0 & - 1 \\ 1 & 0 \end{matrix}) = (\begin{matrix} b & - a \\ - a & - b \end{matrix})$

パラメーター表示を用いると

$\begin{aligned} I_{H} & = i (\begin{array}{c} \sin θ & \cos θ \\ \cos θ & - \sin θ \end{array}) \\ K_{H} & = i (\begin{array}{c} \cos θ & - \sin θ \\ - \sin θ & - \cos θ \end{array}) \end{aligned}$

$I_{H}, J_{H}$ が四元数 $i, j$ と同じ性質を持つことから、その積によって得られた $K_{H}$ は自動的に $k$ と同じ性質を持ちます。

${K_{H}}^{2} = (I_{H} J_{H})^{2} = I_{H} J_{H} I_{H} J_{H} = - I_{H} I_{H} J_{H} J_{H} = - (- I) (- I) = - I$

四元数で $k$ を含む演算は、 $k = i j$ により $i, j$ のみの計算に還元できます。

行列表現の固定

$θ$ には任意性があります。取り扱いを容易にするため、 $\sin θ = 0$ となるように $θ$ を固定します。 $θ = π$ で固定すれば、四元数の虚数単位の行列表現は以下のようになります。

四元数の虚数単位の行列表現

$\begin{aligned} I_{H} & = i & (\begin{array}{c} \sin π & \cos π \\ \cos π & - \sin π \end{array}) & = (\begin{array}{c} 0 & - i \\ - i & 0 \end{array}) \\ J_{H} & = (\begin{array}{c} 0 & - 1 \\ 1 & 0 \end{array}) \\ K_{H} & = i & (\begin{array}{c} \cos π & - \sin π \\ - \sin π & - \cos π \end{array}) & = (\begin{array}{c} - i & 0 \\ 0 & i \end{array}) \end{aligned}$

$θ = 0$ とする方が素直に思えますが、後で構成するパウリ行列と辻褄を合わせるため $θ = π$ としています。

共役四元数とエルミート共役

複素数では虚部の符号を反転することで共役複素数を得ます。共役を $*$ で表し、以下のように定義します。

共役複素数

$(a + b i)^{*} = a - b i$

四元数の場合も、同様に虚部の符号を反転することで共役四元数を定義します。

共役四元数

$(a + b i + c j + d k)^{*} = a - b i - c j - d k$

複素数の虚数単位 $i$ の行列表現でもある $J_{H}$ は、転置によって符号が反転します。このことから、複素数の行列表現では転置が共役に対応付けられます。

転置で符号反転

${J_{H}}^{T} = {(\begin{matrix} 0 & - 1 \\ 1 & 0 \end{matrix})}^{T} = (\begin{matrix} 0 & 1 \\ - 1 & 0 \end{matrix}) = - J_{H}$

一方、 $I_{H}, K_{H}$ は転置で変化しません。このような性質を持つ行列を対称行列と呼びます。

対称行列

$\begin{aligned} {I_{H}}^{T} & = {(\begin{array}{c} 0 & - i \\ - i & 0 \end{array})}^{T} & = (\begin{array}{c} 0 & - i \\ - i & 0 \end{array}) & = I_{H} \\ {K_{H}}^{T} & = {(\begin{array}{c} - i & 0 \\ 0 & i \end{array})}^{T} & = (\begin{array}{c} - i & 0 \\ 0 & i \end{array}) & = K_{H} \end{aligned}$

成分が純虚数であることから、成分の共役を取ることで符号が反転します。

共役で符号反転

$\begin{aligned} {I_{H}}^{*} & = {(\begin{array}{c} 0 & - i \\ - i & 0 \end{array})}^{*} & = (\begin{array}{c} 0 & i \\ i & 0 \end{array}) & = - I_{H} \\ {K_{H}}^{*} & = {(\begin{array}{c} - i & 0 \\ 0 & i \end{array})}^{*} & = (\begin{array}{c} i & 0 \\ 0 & - i \end{array}) & = - K_{H} \end{aligned}$

$J_{H}$ は実行列のため共役で変化しないことから、 $I_{H}, J_{H}, K_{H}$ をすべて符号反転させるには、共役と転置を同時に行う必要があります。このような操作を $†$ で表し、エルミート共役と呼びます。

$\begin{aligned} {I_{H}}^{†} & = ({I_{H}}^{*})^{T} & = {(\begin{array}{c} 0 & i \\ i & 0 \end{array})}^{T} & = (\begin{array}{c} 0 & i \\ i & 0 \end{array}) & = - I_{H} \\ {J_{H}}^{†} & = ({J_{H}}^{*})^{T} & = {(\begin{array}{c} 0 & - 1 \\ 1 & 0 \end{array})}^{T} & = (\begin{array}{c} 0 & 1 \\ - 1 & 0 \end{array}) & = - J_{H} \\ {K_{H}}^{†} & = ({K_{H}}^{*})^{T} & = {(\begin{array}{c} i & 0 \\ 0 & - i \end{array})}^{T} & = (\begin{array}{c} i & 0 \\ 0 & - i \end{array}) & = - K_{H} \end{aligned}$

よって、四元数の行列表現のエルミート共役は、四元数の共役に対応します。

実行列表現での転置

$2 \times 2$ の複素行列は、成分の複素数を行列表現に置き換えることで、 $4 \times 4$ の実行列に変換できます。同じ性質を持つ異なる表現は、同型を表す $≅$ で結びます。

$(\begin{matrix} a + b i & c + d i \\ e + f i & g + h i \end{matrix}) ≅ (\begin{matrix} a & - b & c & - d \\ b & a & d & c \\ e & - f & g & - h \\ f & e & h & g \end{matrix})$

このように変換した実行列の転置を取ります。

${(\begin{matrix} a & - b & c & - d \\ b & a & d & c \\ e & - f & g & - h \\ f & e & h & g \end{matrix})}^{T} = (\begin{matrix} a & b & e & f \\ - b & a & - f & e \\ c & d & g & h \\ - d & c & - h & g \end{matrix})$

これを複素行列に戻せば、エルミート共役と一致します。

$(\begin{matrix} a & b & e & f \\ - b & a & - f & e \\ c & d & g & h \\ - d & c & - h & g \end{matrix}) ≅ (\begin{matrix} a - b i & e - f i \\ c - d i & g - h i \end{matrix}) = {(\begin{matrix} a + b i & c + d i \\ e + f i & g + h i \end{matrix})}^{†}$

つまり、複素行列は実行列の圧縮表現であると考えることで、転置に共役を伴うエルミート共役が自然な操作であると解釈できます。

パウリ行列の構成

四元数の虚数単位の行列表現は2乗で $- I$ になります。それらを $i$ 倍すれば、2乗で $I$ になる行列が得られます。そうして得られた行列を $σ_{1}, σ_{2}, σ_{3}$ と表記してパウリ行列と呼びます。

パウリ行列

$\begin{aligned} σ_{1} & := i I_{H} & = i (\begin{array}{c} 0 & - i \\ - i & 0 \end{array}) & = (\begin{array}{c} 0 & 1 \\ 1 & 0 \end{array}) \\ σ_{2} & := i J_{H} & = i (\begin{array}{c} 0 & - 1 \\ 1 & 0 \end{array}) & = (\begin{array}{c} 0 & - i \\ i & 0 \end{array}) \\ σ_{3} & := i K_{H} & = i (\begin{array}{c} - i & 0 \\ 0 & i \end{array}) & = (\begin{array}{c} 1 & 0 \\ 0 & - 1 \end{array}) \end{aligned}$
${σ_{1}}^{2} = {σ_{2}}^{2} = {σ_{3}}^{2} = I$

テンソル積

$i J_{H}$ のような構造は、複素数と四元数のテンソル積 $i \otimes j$ として一般化されます。つまり、パウリ行列は複素数と四元数のテンソル積として理解できます。[1]

パウリ行列はエルミート共役で変化しません。このような性質を持つ行列をエルミート行列と呼びます。

エルミート行列

$\begin{aligned} {σ_{1}}^{†} & = {(\begin{array}{c} 0 & 1 \\ 1 & 0 \end{array})}^{†} & = (\begin{array}{c} 0 & 1 \\ 1 & 0 \end{array}) & = σ_{1} \\ {σ_{2}}^{†} & = {(\begin{array}{c} 0 & i \\ - i & 0 \end{array})}^{†} & = (\begin{array}{c} 0 & i \\ - i & 0 \end{array}) & = σ_{2} \\ {σ_{3}}^{†} & = {(\begin{array}{c} 1 & 0 \\ 0 & - 1 \end{array})}^{†} & = (\begin{array}{c} 1 & 0 \\ 0 & - 1 \end{array}) & = σ_{3} \end{aligned}$

エルミート行列と対称行列

「実行列表現での転置」で見たように、複素行列を実行列に変換すればエルミート共役は転置となるため、エルミート行列は対称行列となります。つまり、実行列における対称行列の概念を複素行列に拡張したのがエルミート行列です。

なお、 $σ_{1}$ と $σ_{3}$ は成分に虚数を含まないため、そのままでも対称行列です。

反エルミート行列

$I_{H}, J_{H}, K_{H}$ はエルミート共役によって符号が反転することから、反エルミート行列と呼ばれます。

$I_{H}, J_{H}, K_{H}$ に掛けた $i$ が共役によって符号反転することから、符号反転が相殺することでパウリ行列がエルミート行列になると解釈できます。

パウリ行列 $σ_{1}, σ_{2}, σ_{3}$ の性質を確認します。四元数の行列表現に還元することで、成分計算の手間が省けます。

$\begin{aligned} σ_{1} σ_{2} & = (i I_{H}) (i J_{H}) & = i i (I_{H} J_{H}) & = i (i K_{H}) & = i σ_{3} = - K_{H} \\ σ_{2} σ_{3} & = (i J_{H}) (i K_{H}) & = i i (J_{H} K_{H}) & = i (i I_{H}) & = i σ_{1} = - I_{H} \\ σ_{3} σ_{1} & = (i K_{H}) (i I_{H}) & = i i (K_{H} I_{H}) & = i (i J_{H}) & = i σ_{2} = - J_{H} \end{aligned}$
$\begin{aligned} σ_{2} σ_{1} & = (i J_{H}) (i I_{H}) & = i i (J_{H} I_{H}) & = - i (i K_{H}) & = - i σ_{3} = K_{H} & = - σ_{1} σ_{2} \\ σ_{3} σ_{2} & = (i K_{H}) (i J_{H}) & = i i (K_{H} J_{H}) & = - i (i I_{H}) & = - i σ_{1} = I_{H} & = - σ_{2} σ_{3} \\ σ_{1} σ_{3} & = (i I_{H}) (i K_{H}) & = i i (I_{H} K_{H}) & = - i (i J_{H}) & = - i σ_{2} = J_{H} & = - σ_{3} σ_{1} \end{aligned}$

i

の由来

$σ_{1} σ_{2} = i σ_{3}$ という結果だけ見ると、どこからか $i$ が湧き出したように見えます。（成分計算すればそうなるというのは当然として）

$(i I_{H}) (i J_{H}) = i (i K_{H})$ という計算過程により、元々含まれていた $i$ が片方だけ出てきたと解釈できます。

結果をまとめます。積によって $i$ が現れ、四元数の虚数単位に対応します。

パウリ行列の積の関係

$\begin{aligned} σ_{1} σ_{2} & = - σ_{2} σ_{1} = i σ_{3} = - K_{H} \\ σ_{2} σ_{3} & = - σ_{3} σ_{2} = i σ_{1} = - I_{H} \\ σ_{3} σ_{1} & = - σ_{1} σ_{3} = i σ_{2} = - J_{H} \end{aligned}$

因数分解とクリフォード代数

$I_{H} = σ_{3} σ_{2}$ などの関係から、四元数の虚数単位を因数分解したのがパウリ行列だと解釈できます。この考え方は四元数よりもパウリ行列が基本的な構造であるという見方を反映しており、クリフォード代数につながります。

ホッジスター

$i$ は外積代数におけるホッジスターに対応します。

$i σ_{1} ≅ ⋆ e_{1} = e_{2} \land e_{3} ≅ σ_{2} σ_{3}$

パウリ行列は量子力学や量子計算において、電子のスピンや量子ビットの状態を表すための基本的な演算子として重要な役割を果たします。

双四元数

行列表現における係数の虚数単位を $h$ と表現することで、行列によらず四元数の拡張としてパウリ行列と同型の代数を表現できます。これを双四元数と呼びます。[1]

双四元数

$h ≅ i I = σ_{1} σ_{2} σ_{3}, h i ≅ i I_{H} = σ_{1}, h j ≅ i J_{H} = σ_{2}, h k ≅ i K_{H} = σ_{3}$

一般形：

$\begin{aligned} a_{0} + a_{1} h i + a_{2} h j + a_{3} h k + a_{4} i + a_{5} j + a_{6} k + a_{7} h \\ ≅ a_{0} I + a_{1} σ_{1} + a_{2} σ_{2} + a_{3} σ_{3} + a_{4} σ_{3} σ_{2} + a_{5} σ_{1} σ_{3} + a_{6} σ_{2} σ_{1} + a_{7} σ_{1} σ_{2} σ_{3} \\ = a_{0} I + a_{1} σ_{1} + a_{2} σ_{2} + a_{3} σ_{3} - a_{4} i σ_{1} - a_{5} i σ_{2} - a_{6} i σ_{3} + a_{7} i I \end{aligned}$

テンソル積

双四元数は、テンソル積の構造を「四元数の係数を複素数に拡張」という形で簡略化した表記だと解釈できます。

$σ_{2} = i J_{H} ≅ i \otimes j ≅ h j$

双四元数とパウリ行列の対応を把握すれば、パウリ行列と四元数の関係も理解が深まるでしょう。

${σ_{1}}^{2} ≅ (h i)^{2} = h^{2} i^{2} = (- 1) (- 1) = 1 ∵ (h i)^{2} ≅ (i I_{H})^{2} = i^{2} {I_{H}}^{2} = I$
$σ_{1} σ_{2} ≅ (h i) (h j) = h h (i j) = h (h k) ≅ i σ_{3}$

参考文献

[1]

Unknown, パウリ行列と四元数：双四元数による橋渡し, Mathlog, Thu Jul 11 2024, アクセス日: Wed May 07 2025

投稿日：20日前

更新日：15日前

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

7shi

7866

他の人のコメント

コメントはありません。

読み込み中

7shi

四元数の行列表現からパウリ行列まで

四元数の基本的性質
四元数の行列表現
$I_{H}$ の導出
${I_{H}}^{2} = - I$ の条件
$K_{H}$ の導出
行列表現の固定
共役四元数とエルミート共役
パウリ行列の構成
双四元数
参考文献

四元数の行列表現からパウリ行列まで

四元数の基本的性質

四元数の行列表現

IHの導出

IH2=−Iの条件

KHの導出

行列表現の固定

共役四元数とエルミート共役

パウリ行列の構成

双四元数

参考文献

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

$I_{H}$ の導出

${I_{H}}^{2} = - I$ の条件

$K_{H}$ の導出