行列積状態

行列積状態 (ぎょうれつせきじょうたい、)とは以下の形で書かれた量子多体系の純粋状態である:
ここでformula_2は次元がformula_3の複素正方行列である(formula_3は局所次元と呼ばれる)。 添字formula_5はformula_6番目の粒子の基底を動く。量子ビットの場合はformula_7である。次元がdの量子ビットでは、 formula_8である。
行列積状態は特に、一次元量子スピン系（など）の基底状態を表現するのに有用である。
パラメータformula_3は粒子間の量子もつれに関係している。特に、もし量子状態が全くもつれていないなら、 formula_10の行列積状態で記述できる。
並進対称性がある状態については、局所テンソルを次のように選ぶことができる:
一般的にどんな状態もformula_3が粒子数"N"に対して指数関数的に大きくなることを許せば行列積状態で記述できる。 しかしながら、 行列積状態はformula_3 が小さいとき、例えば粒子数に依存しないとき実用的である。 少数の例外を除いて (一部の例を後ほど述べる)、このようなことは可能ではないが、多くの場合で良い近似を与える。
行列積状態への分解は一意的でない。 解説は やを参考のこと。有限オートマトンの文脈ではを参考のこと。 テンソルネットワークのグラフ的表現に重点をおいた解説はを参考のこと。 
行列積状態の構成.
量子状態の行列積表現を得る一つの方法はを 回繰り返すことである。 あるいはその量子多体状態を生成する量子回路がわかっているなら、 その回路の行列積演算子から行列積状態を得ることもできる。 行列積演算子の局所テンソルは4つのインデックスを持つ。 行列積状態の局所テンソルは、行列積演算子の物理自由度を持つ片方のインデックスを量子回路に入力される状態と縮約を行うことで得られる。
例.
グリーンバーガー＝ホーン＝ツァイリンガー状態.
粒子系のグリーンバーガー＝ホーン＝ツァイリンガー状態は 個のゼロと個の1の重ね合わせである。
これは規格化因子を除き、以下のように行列積状態で書ける。
もしくはの記法を用いて、
と書ける。
この記法では (複素数の代わりに)状態ベクトルを成分にもつ行列を用い、行列の積をとるときは(複素数の積の代わりに)テンソル積を用いる。このような行列は、
のように構成される。
テンソル積は交換法則を満たさないことに注意すること。
例えば、 2つの行列"A"の積は
である。
W状態.
はハミング重みが1であるすべての状態の重ね合わせである。 この状態は並べ替えに対して不変であるが、 最も単純な行列積状態はそうなっていない。 以下は表現の一例である。
AKLT模型.
の基底状態は、行列積状態の歴史的に重要な例である。
次のように局所テンソルを選ぶことで表現することができる。
ここでformula_23はパウリ行列である。
あるいは、
である。
マジュンダー・ゴーシュ模型.
の基底状態は行列積状態で以下のように書ける。