行列積状態

行列積状態 (ぎょうれつせきじょうたい、テンプレート:Lang-en)とは以下の形で書かれた量子多体系の純粋状態である:

$|\mathrm{\Psi }⟩=\sum _{\{s\}}\text{Tr}[A_1^{(s_1)}{A}_2^{(s_2)}\cdots A_N^{(s_N)}]|s_1{s}_2\dots s_N⟩$

ここで$A_i^{(s_i)}$は次元が$\chi$の複素正方行列である($\chi$は局所次元と呼ばれる)。 添字$s_i$は$i$番目の粒子の基底を動く。量子ビットの場合は$s_i\in \{0,1\}$である。次元がdの量子ビットでは、 $s_i\in \{0,1,\dots ,d-1\}$である。

行列積状態は特に、一次元量子スピン系（テンプレート:仮リンクなど）の基底状態を表現するのに有用である。 パラメータ$\chi$は粒子間の量子もつれに関係している。特に、もし量子状態が全くもつれていないなら、 $\chi =1$の行列積状態で記述できる。

並進対称性がある状態については、局所テンソルを次のように選ぶことができる:

$A_1^{(s)}=A_2^{(s)}=\cdots =A_N^{(s)}\equiv A^{(s)}.$

一般的にどんな状態も$\chi$が粒子数Nに対して指数関数的に大きくなることを許せば行列積状態で記述できる。 しかしながら、 行列積状態は$\chi$ が小さいとき、例えば粒子数に依存しないとき実用的である。 少数の例外を除いて (一部の例を後ほど述べる)、このようなことは可能ではないが、多くの場合で良い近似を与える。

行列積状態への分解は一意的でない。 解説は やを参考のこと。有限オートマトンの文脈ではを参考のこと。 テンソルネットワークのグラフ的表現に重点をおいた解説はを参考のこと。

行列積状態の構成

量子状態の行列積表現を得る一つの方法はテンプレート:仮リンクを テンプレート:Math回繰り返すことである。 あるいはその量子多体状態を生成する量子回路がわかっているなら、 その回路の行列積演算子から行列積状態を得ることもできる。 行列積演算子の局所テンソルは4つのインデックスを持つ。 行列積状態の局所テンソルは、行列積演算子の物理自由度を持つ片方のインデックスを量子回路に入力される状態と縮約を行うことで得られる。

例

グリーンバーガー＝ホーン＝ツァイリンガー状態

テンプレート:Math粒子系のグリーンバーガー＝ホーン＝ツァイリンガー状態は テンプレート:Math個のゼロとテンプレート:Math個の1の重ね合わせである。

$|\mathrm{G}\mathrm{H}\mathrm{Z}⟩=\frac{|0{⟩}^{\otimes N}+|1{⟩}^{\otimes N}}{\sqrt{2}}$

これは規格化因子を除き、以下のように行列積状態で書ける。

$A^{(0)}=\left[\begin{array}{cc}1& 0\\ 0& 0\end{array}\right]A^{(1)}=\left[\begin{array}{cc}0& 0\\ 0& 1\end{array}\right],$

もしくはの記法を用いて、

$A=\left[\begin{array}{cc}|0⟩& 0\\ 0& |1⟩\end{array}\right].$

と書ける。

この記法では (複素数の代わりに)状態ベクトルを成分にもつ行列を用い、行列の積をとるときは(複素数の積の代わりに)テンソル積を用いる。このような行列は、

$A\equiv |0⟩A^{(0)}+|1⟩A^{(1)}+\dots +|d-1⟩A^{(d-1)}.$

のように構成される。 テンソル積は交換法則を満たさないことに注意すること。

例えば、 2つの行列Aの積は

$AA=\left[\begin{array}{cc}|00⟩& 0\\ 0& |11⟩\end{array}\right].$

である。

W状態

テンプレート:仮リンクはハミング重みが1であるすべての状態の重ね合わせである。 この状態は並べ替えに対して不変であるが、 最も単純な行列積状態はそうなっていない。 以下は表現の一例である。

$A_1=\left[\begin{array}{cc}|0⟩& 0\\ |0⟩& |1⟩\end{array}\right]A_2=\left[\begin{array}{cc}|0⟩& |1⟩\\ 0& |0⟩\end{array}\right]A_3=\left[\begin{array}{cc}|1⟩& 0\\ 0& |0⟩\end{array}\right]$

AKLT模型

テンプレート:仮リンクの基底状態は、行列積状態の歴史的に重要な例である。 次のように局所テンソルを選ぶことで表現することができる。

$A^{+}=\sqrt{\frac{2}{3}}{\sigma }^{+}=\left[\begin{array}{cc}0& \sqrt{2/3}\\ 0& 0\end{array}\right]$

$A^0=\frac{-1}{\sqrt{3}}{\sigma }^z=\left[\begin{array}{cc}-1/\sqrt{3}& 0\\ 0& 1/\sqrt{3}\end{array}\right]$

$A^{-}=-\sqrt{\frac{2}{3}}{\sigma }^{-}=\left[\begin{array}{cc}0& 0\\ -\sqrt{2/3}& 0\end{array}\right]$

ここで$\sigma$はパウリ行列である。

あるいは、

$A=\frac{1}{\sqrt{3}}\left[\begin{array}{cc}-|0⟩& \sqrt{2}|+⟩\\ -\sqrt{2}|-⟩& |0⟩\end{array}\right]$

である。

マジュンダー・ゴーシュ模型

テンプレート:仮リンクの基底状態は行列積状態で以下のように書ける。

$A=\left[\begin{array}{ccc}0& |\uparrow ⟩& |\downarrow ⟩\\ \frac{-1}{\sqrt{2}}|\downarrow ⟩& 0& 0\\ \frac{1}{\sqrt{2}}|\uparrow ⟩& 0& 0\end{array}\right].$

このようになる。

関連項目

• 密度行列繰り込み群法
• 変分法
• くりこみ群
• マルコフ連鎖

外部リンク

• State of Matrix Product States – Physics Stack Exchange
• A Practical Introduction to Tensor Networks: Matrix Product States and Projected Entangled Pair States
• Hand-waving and Interpretive Dance: An Introductory Course on Tensor Networks
• Tensor Networks in a Nutshell: An Introduction to Tensor Networks