{
"cells": [
{
"cell_type": "markdown",
"id": "b494220d",
"metadata": {},
"source": [
"---\n",
"title: \"量子情報\"\n",
"description: \"量子情報と量子計算に関する無料の IBM 講座\"\n",
"---\n",
"\n",
"{/* cspell:ignore Biggr, operatorname */}\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "39d3529f",
"metadata": {},
"source": [
"\n",
"\n",
"# 量子情報\n",
"\n",
"私たちは今、複数システムの設定における量子情報へと進む準備ができている。\n",
"単一システムに関する前回のレッスンと同様、複数システムの量子情報の数学的記述は、確率論的なケースとよく似ており、同様の概念と技法が用いられている。\n",
"\n",
"\n",
"\n",
"## 量子状態\n",
"\n",
"複数のシステムは、単一の複合システムとしてまとめて見ることができる。\n",
"我々はすでに確率論的な設定でこれを観察しており、量子的な設定もこれに類似している。\n",
"したがって、複数系の量子状態は、単一系の量子状態と同様に、複素数のエントリを持ち、ユークリッドノルムが $1,$ に等しい列ベクトルで表される。\n",
"複数システムの場合、これらのベクトルのエントリーは、個々のシステムに関連する古典的状態集合の*デカルト積に*対応して配置される。\n",
"\n",
"例えば、 $\\mathsf{X}$ と $\\mathsf{Y}$ が量子ビットである場合、一組の量子ビット $(\\mathsf{X},\\mathsf{Y}),$ を一つのシステムとして見たときの古典的な状態集合はデカルト積となる。 $\\{0,1\\}\\times\\{0,1\\}.$ 2進値の組を長さ2の2進文字列として表現することで、このデカルト積集合を集合 $\\{00,01,10,11\\}.$ 従って、以下のベクトルはすべてペアの量子状態ベクトルの例である。 $(\\mathsf{X},\\mathsf{Y}):$\n",
"\n",
"$$\n",
" \\frac{1}{\\sqrt{2}} \\vert 00 \\rangle\n",
" - \\frac{1}{\\sqrt{6}} \\vert 01\\rangle\n",
" + \\frac{i}{\\sqrt{6}} \\vert 10\\rangle\n",
" + \\frac{1}{\\sqrt{6}} \\vert 11\\rangle, \\quad\n",
" \\frac{3}{5} \\vert 00\\rangle - \\frac{4}{5} \\vert 11\\rangle,\n",
" \\quad \\text{and} \\quad\n",
" \\vert 01 \\rangle.\n",
"$$\n",
"\n",
"複数システムの量子状態ベクトルの表現方法にはバリエーションがあり、好みに合わせて選ぶことができる。\n",
"上記の最初の量子状態ベクトルの例をいくつか挙げよう。\n",
"\n",
"1. $\\vert ab\\rangle = \\vert a\\rangle \\vert b\\rangle$ （ $a$、 $b$ ）という事実を利用して、代わりに次のように書くことができる\n",
"\n",
"$$\n",
"\\frac{1}{\\sqrt{2}} \\vert 0\\rangle\\vert 0 \\rangle\n",
"- \\frac{1}{\\sqrt{6}} \\vert 0\\rangle\\vert 1\\rangle\n",
"+ \\frac{i}{\\sqrt{6}} \\vert 1\\rangle\\vert 0\\rangle\n",
"+ \\frac{1}{\\sqrt{6}} \\vert 1\\rangle\\vert 1\\rangle.\n",
"$$\n",
"\n",
"2. テンソル積の記号を明示的にこう書くこともできる：\n",
"\n",
"$$\n",
"\\frac{1}{\\sqrt{2}} \\vert 0\\rangle\\otimes\\vert 0 \\rangle\n",
"- \\frac{1}{\\sqrt{6}} \\vert 0\\rangle\\otimes\\vert 1\\rangle\n",
"+ \\frac{i}{\\sqrt{6}} \\vert 1\\rangle\\otimes\\vert 0\\rangle\n",
"+ \\frac{1}{\\sqrt{6}} \\vert 1\\rangle\\otimes\\vert 1\\rangle.\n",
"$$\n",
"\n",
"3. このように、ケツに添え字を付けて、それらがどのように考察されているシステムに対応しているかを示すことができる：\n",
"\n",
"$$\n",
"\\frac{1}{\\sqrt{2}} \\vert 0\\rangle_{\\mathsf{X}}\\vert 0 \\rangle_{\\mathsf{Y}}\n",
"- \\frac{1}{\\sqrt{6}} \\vert 0\\rangle_{\\mathsf{X}}\\vert 1\\rangle_{\\mathsf{Y}}\n",
"+ \\frac{i}{\\sqrt{6}} \\vert 1\\rangle_{\\mathsf{X}}\\vert 0\\rangle_{\\mathsf{Y}}\n",
"+ \\frac{1}{\\sqrt{6}} \\vert 1\\rangle_{\\mathsf{X}}\\vert 1\\rangle_{\\mathsf{Y}}.\n",
"$$\n",
"\n",
"もちろん、量子状態ベクトルを列ベクトルとして明示的に書くこともできる：\n",
"\n",
"$$\n",
" \\begin{pmatrix}\n",
" \\frac{1}{\\sqrt{2}}\\\\[2mm]\n",
" - \\frac{1}{\\sqrt{6}}\\\\[2mm]\n",
" \\frac{i}{\\sqrt{6}}\\\\[2mm]\n",
" \\frac{1}{\\sqrt{6}}\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"登場する文脈によっては、これらのバリエーションのいずれかが好まれるかもしれないが、同じベクトルを表すという意味では、これらはすべて等価である。\n",
"\n",
"\n",
"\n",
"### 量子状態ベクトルのテンソル積\n",
"\n",
"確率ベクトルの場合と同様に、量子状態ベクトルのテンソル積も量子状態ベクトルであり、やはりシステム間の*独立性を*表す。\n",
"\n",
"より詳細には、2つの系の場合から始め、 $\\vert \\phi \\rangle$ が系 $\\mathsf{X}$ の量子状態ベクトルであり、 $\\vert \\psi \\rangle$ が系の量子状態ベクトルであるとする。 $\\mathsf{Y}.$ テンソル積 $\\vert \\phi \\rangle \\otimes \\vert \\psi \\rangle,$。 $\\vert \\phi \\rangle \\vert \\psi \\rangle$ または $\\vert \\phi \\otimes \\psi \\rangle,$ は合同系の量子状態ベクトルである。 $(\\mathsf{X},\\mathsf{Y}).$ ここでも、このような状態を*積状態と*呼ぶ。\n",
"\n",
"直感的に言えば、一対の系 $(\\mathsf{X},\\mathsf{Y})$ が積の状態 $\\vert \\phi \\rangle \\otimes \\vert \\psi \\rangle,$ にあるとき、これは $\\mathsf{X}$ が量子の状態 $\\vert \\phi \\rangle,$ にあることを意味すると解釈できる。 $\\mathsf{Y}$ は量子の状態 $\\vert \\psi \\rangle,$ にあり、2つの系の状態は互いに関係ない。\n",
"\n",
"テンソル積ベクトル $\\vert \\phi \\rangle \\otimes \\vert \\psi \\rangle$ が確かに量子状態ベクトルであるという事実は、ユークリッドノルムがテンソル積に関して*乗法的*であることと矛盾しない：\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
" \\bigl\\| \\vert \\phi \\rangle \\otimes \\vert \\psi \\rangle \\bigr\\|\n",
" & = \\sqrt{\n",
" \\sum_{(a,b)\\in\\Sigma\\times\\Gamma}\n",
" \\bigl\\vert\\langle ab \\vert \\phi\\otimes\\psi \\rangle \\bigr\\vert^2\n",
" }\\\\[1mm]\n",
" & = \\sqrt{\n",
" \\sum_{a\\in\\Sigma} \\sum_{b\\in\\Gamma}\n",
" \\bigl\\vert\\langle a \\vert \\phi \\rangle\n",
" \\langle b \\vert \\psi \\rangle \\bigr\\vert^2\n",
" }\\\\[1mm]\n",
" & = \\sqrt{\n",
" \\biggl(\\sum_{a\\in\\Sigma}\n",
" \\bigl\\vert \\langle a \\vert \\phi \\rangle \\bigr\\vert^2\n",
" \\biggr)\n",
" \\biggl(\\sum_{b\\in\\Gamma}\n",
" \\bigl\\vert \\langle b \\vert \\psi \\rangle \\bigr\\vert^2\n",
" \\biggr)\n",
" }\\\\[1mm]\n",
" & = \\bigl\\|\n",
" \\vert \\phi \\rangle \\bigr\\| \\bigl\\| \\vert \\psi \\rangle\n",
" \\bigr\\|.\n",
"\\end{aligned}\n",
"$$\n",
"\n",
"$\\vert \\phi \\rangle$ と $\\vert \\psi \\rangle$ は量子状態ベクトルなので、 $\\|\\vert \\phi \\rangle\\| = 1$ と $\\|\\vert \\psi \\rangle\\| = 1,$ があり、したがって $\\|\\vert \\phi \\rangle \\otimes \\vert \\psi \\rangle\\| = 1,$ もあるので、 $\\vert \\phi \\rangle \\otimes \\vert \\psi \\rangle$ も量子状態ベクトルである。\n",
"\n",
"これは2つ以上のシステムに一般化される。\n",
"$\\vert \\psi_0 \\rangle,\\ldots,\\vert \\psi_{n-1} \\rangle$ がシステム $\\mathsf{X}_0,\\ldots,\\mathsf{X}_{n-1},$ の量子状態ベクトルだとすると、 $\\vert \\psi_{n-1} \\rangle\\otimes\\cdots\\otimes \\vert \\psi_0 \\rangle$ は合同システムの*積状態を*表す量子状態ベクトルである。 $(\\mathsf{X}_{n-1},\\ldots,\\mathsf{X}_0).$ ここでも、これが量子状態ベクトルであることがわかる。\n",
"\n",
"$$\n",
" \\bigl\\|\n",
" \\vert \\psi_{n-1} \\rangle\\otimes\\cdots\\otimes \\vert \\psi_0 \\rangle\n",
" \\bigr\\|\n",
" = \\bigl\\|\\vert \\psi_{n-1} \\rangle\\bigl\\| \\cdots\n",
" \\bigl\\|\\vert \\psi_0 \\rangle \\bigr\\| = 1^n = 1.\n",
"$$\n",
"\n",
"\n",
"\n",
"### もつれた状態\n",
"\n",
"複数システムの量子状態ベクトルがすべて積状態であるとは限らない。\n",
"例えば、量子状態ベクトル\n",
"\n",
"$$\n",
" \\frac{1}{\\sqrt{2}} \\vert 00\\rangle + \\frac{1}{\\sqrt{2}} \\vert 11\\rangle\n",
" \\tag{1}\n",
"$$\n",
"\n",
"つの量子ビットは積の状態ではない。\n",
"これを推論するには、前節で確率的状態について使ったのとまったく同じ議論に従えばよい。\n",
"つまり、もし $(1)$ が積状態であれば、以下のような量子状態ベクトル $\\vert\\phi\\rangle$ と $\\vert\\psi\\rangle$ が存在することになる\n",
"\n",
"$$\n",
" \\vert\\phi\\rangle\\otimes\\vert\\psi\\rangle\n",
" = \\frac{1}{\\sqrt{2}} \\vert 00\\rangle\n",
" + \\frac{1}{\\sqrt{2}} \\vert 11\\rangle.\n",
"$$\n",
"\n",
"しかし、そうなれば必然的に\n",
"\n",
"$$\n",
" \\langle 0 \\vert \\phi\\rangle\n",
" \\langle 1 \\vert \\psi\\rangle\n",
" = \\langle 01 \\vert \\phi\\otimes\\psi\\rangle\n",
" = 0\n",
"$$\n",
"\n",
"$\\langle 0 \\vert \\phi\\rangle = 0$、または $\\langle 1 \\vert \\psi\\rangle = 0$ (またはその両方）。\n",
"という事実と矛盾する\n",
"\n",
"$$\n",
" \\langle 0 \\vert \\phi\\rangle \\langle 0 \\vert \\psi\\rangle\n",
" = \\langle 00 \\vert \\phi\\otimes\\psi\\rangle\n",
" = \\frac{1}{\\sqrt{2}}\n",
"$$\n",
"\n",
"および\n",
"\n",
"$$\n",
" \\langle 1 \\vert \\phi\\rangle \\langle 1 \\vert \\psi\\rangle\n",
" = \\langle 11 \\vert \\phi\\otimes\\psi\\rangle\n",
" = \\frac{1}{\\sqrt{2}}\n",
"$$\n",
"\n",
"はともにゼロではない。\n",
"従って、量子状態ベクトル $(1)$ は2つのシステムの*相関を*表し、具体的にはシステムが*もつれ合うと*言う。\n",
"\n",
"$1/\\sqrt{2}$ 重要なのは、この値がゼロでないことだ。\n",
"したがって、例えば、量子状態\n",
"\n",
"$$\n",
" \\frac{3}{5} \\vert 00\\rangle + \\frac{4}{5} \\vert 11\\rangle\n",
"$$\n",
"\n",
"もまた、同じ論法で製品状態ではない。\n",
"\n",
"エンタングルメントは量子情報の本質的な特徴であり、後のレッスンで詳しく説明する。\n",
"エンタングルメントは、特に密度行列で記述できるようなノイズの多い量子状態の場合、複雑になることがあります (これは、 *「量子情報と計算の理解* 」シリーズの 3 番目のコースである *「量子情報の一般的な定式化」* コースで説明されています)。\n",
"しかし、量子状態ベクトルでは、もつれは相関と等価である。積状態でない量子状態ベクトルは、もつれた状態を表す。\n",
"\n",
"対照的に、量子状態ベクトル\n",
"\n",
"$$\n",
" \\frac{1}{2} \\vert 00\\rangle\n",
" + \\frac{i}{2} \\vert 01\\rangle\n",
" - \\frac{1}{2} \\vert 10\\rangle\n",
" - \\frac{i}{2} \\vert 11\\rangle\n",
"$$\n",
"\n",
"は製品状態の例である。\n",
"\n",
"$$\n",
" \\frac{1}{2} \\vert 00\\rangle\n",
" + \\frac{i}{2} \\vert 01\\rangle\n",
" - \\frac{1}{2} \\vert 10\\rangle\n",
" - \\frac{i}{2} \\vert 11\\rangle\n",
" =\n",
" \\biggl(\n",
" \\frac{1}{\\sqrt{2}}\\vert 0\\rangle - \\frac{1}{\\sqrt{2}}\\vert 1\\rangle\n",
" \\biggr)\n",
" \\otimes\n",
" \\biggl(\n",
" \\frac{1}{\\sqrt{2}}\\vert 0\\rangle + \\frac{i}{\\sqrt{2}}\\vert 1\\rangle\n",
" \\biggr)\n",
"$$\n",
"\n",
"したがって、この状態はもつれない。\n",
"\n",
"\n",
"\n",
"### ベルは述べる\n",
"\n",
"ここでは、多重量子ビットの量子状態の重要な例として、 *ベル状態から見て*いくことにしよう。\n",
"これらは以下の4つの2量子ビット状態である：\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
" \\vert \\phi^+ \\rangle & = \\frac{1}{\\sqrt{2}} \\vert 00 \\rangle + \\frac{1}{\\sqrt{2}} \\vert 11 \\rangle \\\\[3mm]\n",
" \\vert \\phi^- \\rangle & = \\frac{1}{\\sqrt{2}} \\vert 00 \\rangle - \\frac{1}{\\sqrt{2}} \\vert 11 \\rangle \\\\[3mm]\n",
" \\vert \\psi^+ \\rangle & = \\frac{1}{\\sqrt{2}} \\vert 01 \\rangle + \\frac{1}{\\sqrt{2}} \\vert 10 \\rangle \\\\[3mm]\n",
" \\vert \\psi^- \\rangle & = \\frac{1}{\\sqrt{2}} \\vert 01 \\rangle - \\frac{1}{\\sqrt{2}} \\vert 10 \\rangle\n",
"\\end{aligned}\n",
"$$\n",
"\n",
"ベル状態は、 ジョン・ベル にちなんでそう名付けられた。 $\\vert\\phi^+\\rangle$ が積状態ではないことを証明する同じ議論によって、他のどのベル状態も積状態ではないことが明らかになる。\n",
"\n",
"4つのベル・ステートすべてのコレクション\n",
"\n",
"$$\n",
" \\bigl\\{\\vert \\phi^+ \\rangle, \\vert \\phi^- \\rangle, \\vert \\psi^+ \\rangle, \\vert \\psi^- \\rangle\\bigr\\}\n",
"$$\n",
"\n",
"は*ベル基底として*知られている\n",
"その名の通り、これは基底である。2量子ビットの量子状態ベクトル、あるいは2ビットの4つの古典状態に対応するエントリを持つあらゆる複素ベクトルは、4つのベル状態の線形結合として表すことができる。\n",
"例:\n",
"\n",
"$$\n",
" \\vert 0 0 \\rangle\n",
" = \\frac{1}{\\sqrt{2}} \\vert \\phi^+\\rangle\n",
" + \\frac{1}{\\sqrt{2}} \\vert \\phi^-\\rangle.\n",
"$$\n",
"\n",
"\n",
"\n",
"### GHZ状態とW状態\n",
"\n",
"次に、3つの量子ビットの状態について、2つの興味深い例を考えてみよう。\n",
"最初の例は、 *GHZ状態*である（ダニエル・グリーンバーガー、マイケル・ホーン、アントン・ザイリンガーに敬意を表してこの名前が付けられた）：\n",
"\n",
"$$\n",
" \\frac{1}{\\sqrt{2}} \\vert 000\\rangle +\n",
" \\frac{1}{\\sqrt{2}} \\vert 111\\rangle.\n",
"$$\n",
"\n",
"つ目の例は、いわゆるWの状態である：\n",
"\n",
"$$\n",
" \\frac{1}{\\sqrt{3}} \\vert 001\\rangle +\n",
" \\frac{1}{\\sqrt{3}} \\vert 010\\rangle +\n",
" \\frac{1}{\\sqrt{3}} \\vert 100\\rangle.\n",
"$$\n",
"\n",
"つまり、3量子ビットの量子状態ベクトルのテンソル積として書くことはできない。\n",
"この2つの状態については、後ほど複数システムの量子状態の部分測定について説明するときに検証する。\n",
"\n",
"\n",
"\n",
"### その他の例\n",
"\n",
"これまで見てきた複数系の量子状態の例は、2つまたは3つの量子ビットの状態であったが、異なる古典状態セットを持つ複数系の量子状態を考えることもできる。\n",
"\n",
"例えば、 $\\mathsf{X},$、 $\\mathsf{Y},$、 $\\mathsf{Z},$ の3つのシステムの量子状態である。 $\\mathsf{X}$ の古典状態集合は2進アルファベットであり（従って、 $\\mathsf{X}$ は量子ビットである）、 $\\mathsf{Y}$ と $\\mathsf{Z}$ の古典状態集合は以下の通りである。 $\\{\\clubsuit,\\diamondsuit,\\heartsuit,\\spadesuit\\}:$\n",
"\n",
"$$\n",
" \\frac{1}{2} \\vert 0 \\rangle \\vert \\heartsuit\\rangle\n",
" \\vert \\heartsuit \\rangle\n",
" + \\frac{1}{2} \\vert 1 \\rangle \\vert \\spadesuit\\rangle\n",
" \\vert \\heartsuit \\rangle\n",
" - \\frac{1}{\\sqrt{2}} \\vert 0 \\rangle \\vert \\heartsuit\\rangle\n",
" \\vert \\diamondsuit \\rangle.\n",
"$$\n",
"\n",
"そして、 $\\mathsf{X},$ $\\mathsf{Y},$、 $\\mathsf{Z},$、すべて同じ古典的状態セットを共有する3つのシステムの量子状態の例である。 $\\{0,1,2\\}:$\n",
"\n",
"$$\n",
" \\frac{\n",
" \\vert 012 \\rangle\n",
" - \\vert 021 \\rangle\n",
" + \\vert 120 \\rangle\n",
" - \\vert 102 \\rangle\n",
" + \\vert 201 \\rangle\n",
" - \\vert 210 \\rangle\n",
" }{\\sqrt{6}}.\n",
"$$\n",
"\n",
"古典的な状態セット $\\{0,1,2\\}$ を持つ系は、しばしば*トリット（trits）* または（量子状態になりうると仮定して） *クトリット（qutrits* ）と呼ばれる。\n",
"*quditという*用語は、 $\\{0,\\ldots,d-1\\}$ の任意の選択に対する古典的な状態集合を持つシステムを指す。 $d.$\n",
"\n",
"\n",
"\n",
"## 量子状態の測定\n",
"\n",
"前回のレッスンでは、単一システムの量子状態の標準基底測定について説明しました。古典的状態セット $\\Sigma$ を持つシステムがベクトル $\\vert \\psi \\rangle,$ で表される量子状態にあり、そのシステムが測定された場合 (標準基底測定に関して)、各古典的状態 $a\\in\\Sigma$ 確率 $\\vert \\langle a \\vert \\psi \\rangle\\vert^2.$ で出現します。これは、複数のシステムの量子状態があり、複合システム全体を測定することを選択した場合に何が起こるかを示しています。これは、 *すべて*のシステムを測定することと同じです。\n",
"\n",
"これを正確に述べるために、 $\\mathsf{X}_0,\\ldots,\\mathsf{X}_{n-1}$ がそれぞれ古典的な状態セット $\\Sigma_0,\\ldots,\\Sigma_{n-1},$ を持つシステムであると仮定しよう。\n",
"このとき、 $(\\mathsf{X}_{n-1},\\ldots,\\mathsf{X}_0)$ をまとめて、古典的状態集合がデカルト積である1つの系とみなすことができる。 $\\Sigma_{n-1}\\times\\cdots\\times\\Sigma_0.$ この系の量子状態を量子状態ベクトル $\\vert\\psi\\rangle,$ で表し、すべての系を測定すると、それぞれの可能な結果 $(a_{n-1},\\ldots,a_0)\\in\\Sigma_{n-1}\\times\\cdots\\times\\Sigma_0$ が確率で現れる。 $\\vert\\langle a_{n-1}\\cdots a_0\\vert \\psi\\rangle\\vert^2.$\n",
"\n",
"例えば、システム $\\mathsf{X}$ と $\\mathsf{Y}$ が共同で量子状態にある場合、次のようになる\n",
"\n",
"$$\n",
"\\frac{3}{5} \\vert 0\\rangle \\vert \\heartsuit \\rangle\n",
"- \\frac{4i}{5} \\vert 1\\rangle \\vert \\spadesuit \\rangle,\n",
"$$\n",
"\n",
"とすれば、標準的な基礎測定で両システムを測定すると、確率 $9/25$ で結果 $(0,\\heartsuit)$、確率 $(1,\\spadesuit)$ で結果 が得られる。 $16/25.$\n",
"\n",
"\n",
"\n",
"### 部分的な測定\n",
"\n",
"ここで、ある量子状態にある複数の系があり、そのうちの適切な部分集合を測定するという状況を考えてみよう。\n",
"前回同様、古典的な状態セット $\\Sigma$ と $\\Gamma,$ をそれぞれ持つ2つのシステム $\\mathsf{X}$ と $\\mathsf{Y}$ から始める。\n",
"\n",
"一般に、 $(\\mathsf{X},\\mathsf{Y})$ の量子状態ベクトルは次のような形になる\n",
"\n",
"$$\n",
" \\vert \\psi \\rangle\n",
" = \\sum_{(a,b)\\in\\Sigma\\times\\Gamma} \\alpha_{ab} \\vert ab\\rangle,\n",
"$$\n",
"\n",
"ここで、 $\\{\\alpha_{ab} : (a,b)\\in\\Sigma\\times\\Gamma\\}$ は以下を満たす複素数の集まりである\n",
"\n",
"$$\n",
" \\sum_{(a,b)\\in\\Sigma\\times\\Gamma} \\vert \\alpha_{ab} \\vert^2 = 1,\n",
"$$\n",
"\n",
"これは、 $\\vert \\psi \\rangle$ が単位ベクトルであることと等価である。\n",
"\n",
"上記の議論から、 $\\mathsf{X}$ と $\\mathsf{Y}$ の両方が測定された場合、各可能な結果 $(a,b)\\in\\Sigma\\times\\Gamma$ が確率で現れることがすでに分かっている\n",
"\n",
"$$\n",
" \\bigl\\vert \\langle ab \\vert \\psi \\rangle \\bigr\\vert^2 = \\vert\\alpha_{ab}\\vert^2.\n",
"$$\n",
"\n",
"その代わりに、最初のシステム $\\mathsf{X}$ のみを測定すると仮定すると、各結果 $a\\in\\Sigma$ が現れる確率は以下のようになる\n",
"\n",
"$$\n",
" \\sum_{b\\in\\Gamma} \\bigl\\vert \\langle ab \\vert \\psi \\rangle \\bigr\\vert^{2} = \\sum_{b\\in\\Gamma} \\vert\\alpha_{ab}\\vert^2.\n",
"$$\n",
"\n",
"これは、確率論的な設定ですでに見たことや、現在の物理学の理解と一致している： $\\mathsf{X}$ が測定されたときにそれぞれの結果が現れる確率は、 $\\mathsf{Y}$ も測定されたかどうかに依存することはありえない。そうすれば光よりも速い通信が可能になるからだ。\n",
"\n",
"$\\mathsf{X},$ の標準基底測定の特定の結果 $a\\in\\Sigma$ を得た我々は、当然、 $\\mathsf{X}$ の量子状態が、単一系の場合と同じように、 $\\vert a\\rangle,$ と等しくなるように変化することを期待する。\n",
"しかし、 $\\mathsf{Y}$ の量子状態はどうなるのか？\n",
"\n",
"この質問に答えるために、まずベクトル $\\vert\\psi\\rangle$\n",
"\n",
"$$\n",
" \\vert\\psi\\rangle\n",
" = \\sum_{a\\in\\Sigma}\n",
" \\vert a \\rangle\n",
" \\otimes \\vert \\phi_a \\rangle,\n",
"$$\n",
"\n",
"ここで\n",
"\n",
"$$\n",
" \\vert \\phi_a \\rangle = \\sum_{b\\in\\Gamma} \\alpha_{ab} \\vert b\\rangle\n",
"$$\n",
"\n",
"それぞれについて $a\\in\\Sigma.$ ここでは、確率的な場合と同じ方法論に従って、測定されるシステムの標準的な基底状態を分離する。\n",
"$\\mathsf{X}$、各結果 $a$ を与える標準基底測定の確率は以下の通りである：\n",
"\n",
"$$\n",
" \\sum_{b\\in\\Gamma} \\vert\\alpha_{ab}\\vert^2 = \\bigl\\| \\vert \\phi_a \\rangle \\bigr\\|^2.\n",
"$$\n",
"\n",
"そして、 $\\mathsf{X}$ の標準基底測定の結果、 $a,$ ペア $(\\mathsf{X},\\mathsf{Y})$ の量子状態は次のようになる\n",
"\n",
"$$\n",
" \\vert a \\rangle \\otimes \\frac{\\vert \\phi_a \\rangle}{\\|\\vert \\phi_a \\rangle\\|}.\n",
"$$\n",
"\n",
"つまり、単一システムの場合と同じように状態は \"崩壊 \"するが、 $\\mathsf{X}$ の測定が結果をもたらしたことと状態が一致するために必要な範囲にとどまる。 $a.$\n",
"\n",
"非公式に言えば、 $\\vert a \\rangle \\otimes \\vert \\phi_a\\rangle$ は、 $\\mathsf{X}$ の測定結果と一致する $\\vert \\psi\\rangle$ の成分を表す。 $a.$ 次に、このベクトルを*正規化し*、ユークリッドノルム（ $\\|\\vert\\phi_a\\rangle\\|$ ）で割ることで、ユークリッドノルムが次のように等しい有効な量子状態ベクトルを得ます。 $1.$ この正規化のステップは、確率論的な設定において、確率ベクトルを得るためにベクトルをエントリの和で割ったときに行ったことに似ている。\n",
"\n",
"例として、冒頭の2つの量子ビット（ $(\\mathsf{X},\\mathsf{Y})$ ）の状態を考えてみよう：\n",
"\n",
"$$\n",
" \\vert \\psi \\rangle\n",
" = \\frac{1}{\\sqrt{2}} \\vert 00 \\rangle\n",
" - \\frac{1}{\\sqrt{6}} \\vert 01 \\rangle\n",
" + \\frac{i}{\\sqrt{6}} \\vert 10 \\rangle\n",
" + \\frac{1}{\\sqrt{6}} \\vert 11 \\rangle.\n",
"$$\n",
"\n",
"最初のシステム $\\mathsf{X}$ を測定したときに何が起こるかを理解するために、まず次のように書く\n",
"\n",
"$$\n",
" \\vert \\psi \\rangle\n",
" = \\vert 0 \\rangle \\otimes \\biggl(\n",
" \\frac{1}{\\sqrt{2}} \\vert 0 \\rangle\n",
" - \\frac{1}{\\sqrt{6}} \\vert 1 \\rangle \\biggr)\n",
" + \\vert 1 \\rangle \\otimes \\biggl(\n",
" \\frac{i}{\\sqrt{6}} \\vert 0 \\rangle\n",
" + \\frac{1}{\\sqrt{6}} \\vert 1 \\rangle \\biggr).\n",
"$$\n",
"\n",
"上の説明から、測定結果が $0$ になる確率は次のようになる\n",
"\n",
"$$\n",
" \\biggl\\|\\frac{1}{\\sqrt{2}} \\vert 0 \\rangle\n",
" -\\frac{1}{\\sqrt{6}} \\vert 1 \\rangle\\biggr\\|^2\n",
" = \\frac{1}{2} + \\frac{1}{6}\n",
" = \\frac{2}{3},\n",
"$$\n",
"\n",
"この場合、 $(\\mathsf{X},\\mathsf{Y})$ の状態は次のようになる\n",
"\n",
"$$\n",
" \\vert 0\\rangle \\otimes\n",
" \\frac{\\frac{1}{\\sqrt{2}} \\vert 0 \\rangle\n",
" -\\frac{1}{\\sqrt{6}} \\vert 1 \\rangle}{\\sqrt{\\frac{2}{3}}}\n",
" = \\vert 0\\rangle \\otimes\n",
" \\Biggl( \\frac{\\sqrt{3}}{2} \\vert 0 \\rangle - \\frac{1}{2} \\vert 1\\rangle\\Biggr);\n",
"$$\n",
"\n",
"であり、測定結果が $1$ になる確率は次のようになる\n",
"\n",
"$$\n",
" \\biggl\\|\\frac{i}{\\sqrt{6}} \\vert 0 \\rangle\n",
" + \\frac{1}{\\sqrt{6}} \\vert 1 \\rangle\\biggr\\|^2\n",
" = \\frac{1}{6} + \\frac{1}{6}\n",
" = \\frac{1}{3},\n",
"$$\n",
"\n",
"この場合、 $(\\mathsf{X},\\mathsf{Y})$ の状態は次のようになる\n",
"\n",
"$$\n",
" \\vert 1\\rangle \\otimes\n",
" \\frac{\\frac{i}{\\sqrt{6}} \\vert 0 \\rangle\n",
" +\\frac{1}{\\sqrt{6}} \\vert 1 \\rangle}{\\sqrt{\\frac{1}{3}}}\n",
" = \\vert 1\\rangle \\otimes\n",
" \\Biggl( \\frac{i}{\\sqrt{2}} \\vert 0 \\rangle\n",
" +\\frac{1}{\\sqrt{2}} \\vert 1\\rangle\\Biggr).\n",
"$$\n",
"\n",
"同じテクニックを対称的な方法で用いると、1つ目のシステムではなく2つ目のシステム（ $\\mathsf{Y}$ ）を測定した場合に何が起こるかを説明することができる。\n",
"今度は、ベクトル $\\vert \\psi \\rangle$ を次のように書き直す\n",
"\n",
"$$\n",
" \\vert \\psi \\rangle\n",
" = \\biggl(\n",
" \\frac{1}{\\sqrt{2}} \\vert 0 \\rangle\n",
" + \\frac{i}{\\sqrt{6}} \\vert 1 \\rangle\n",
" \\biggr) \\otimes \\vert 0\\rangle\n",
" + \\biggl(\n",
" -\\frac{1}{\\sqrt{6}} \\vert 0 \\rangle\n",
" +\\frac{1}{\\sqrt{6}} \\vert 1\\rangle\n",
" \\biggr) \\otimes \\vert 1\\rangle.\n",
"$$\n",
"\n",
"$\\mathsf{Y}$ の測定結果が $0$ になる確率は次の通りである\n",
"\n",
"$$\n",
"\\biggl\\| \\frac{1}{\\sqrt{2}} \\vert 0 \\rangle\n",
" + \\frac{i}{\\sqrt{6}} \\vert 1 \\rangle \\biggr\\|^2\n",
"= \\frac{1}{2} + \\frac{1}{6} = \\frac{2}{3},\n",
"$$\n",
"\n",
"この場合、 $(\\mathsf{X},\\mathsf{Y})$ の状態は次のようになる\n",
"\n",
"$$\n",
" \\frac{\\frac{1}{\\sqrt{2}} \\vert 0 \\rangle\n",
" + \\frac{i}{\\sqrt{6}} \\vert 1 \\rangle}{\\sqrt{\\frac{2}{3}}} \\otimes \\vert 0 \\rangle\n",
" = \\biggl(\\frac{\\sqrt{3}}{2} \\vert 0 \\rangle + \\frac{i}{2} \\vert 1 \\rangle\\biggr) \\otimes\\vert 0 \\rangle;\n",
"$$\n",
"\n",
"であり、測定結果が $1$ である確率は\n",
"\n",
"$$\n",
" \\biggl\\|\n",
" -\\frac{1}{\\sqrt{6}} \\vert 0 \\rangle\n",
" +\\frac{1}{\\sqrt{6}} \\vert 1\\rangle\n",
" \\biggr\\|^2\n",
" = \\frac{1}{6} + \\frac{1}{6} = \\frac{1}{3},\n",
"$$\n",
"\n",
"この場合、 $(\\mathsf{X},\\mathsf{Y})$ の状態は次のようになる\n",
"\n",
"$$\n",
"\\frac{\n",
" -\\frac{1}{\\sqrt{6}} \\vert 0 \\rangle\n",
" +\\frac{1}{\\sqrt{6}} \\vert 1\\rangle }{\\frac{1}{\\sqrt{3}}}\n",
" \\otimes \\vert 1\\rangle\n",
" = \\biggl(-\\frac{1}{\\sqrt{2}} \\vert 0\\rangle\n",
" + \\frac{1}{\\sqrt{2}} \\vert 1\\rangle\\biggr) \\otimes \\vert 1\\rangle.\n",
"$$\n",
"\n",
"\n",
"\n",
"### 縮約量子状態に関する注記\n",
"\n",
"それは、確率論的な場合のように、2つの系のうちの1つ（あるいは、任意の数の系の適切な部分集合）の量子状態を縮小（あるいは限界）して記述する方法を提供しないという点である。\n",
"\n",
"具体的には、確率ベクトル $(\\mathsf{X},\\mathsf{Y})$ によって記述される2つのシステムの確率的状態について、次のように記述する\n",
"\n",
"$$\n",
" \\sum_{(a,b)\\in\\Sigma\\times\\Gamma} p_{ab} \\vert ab\\rangle,\n",
"$$\n",
"\n",
"$\\mathsf{X}$、 *縮小された*、あるいは*限界的な*確率的状態を次のように書くことができる\n",
"\n",
"$$\n",
" \\sum_{a\\in\\Sigma} \\biggl( \\sum_{b\\in\\Gamma} p_{ab}\\biggr) \\vert a\\rangle =\n",
" \\sum_{(a,b)\\in\\Sigma\\times\\Gamma} p_{ab} \\vert a\\rangle.\n",
"$$\n",
"\n",
"量子状態ベクトルの場合、これに類似した方法はない。\n",
"特に、量子状態ベクトル\n",
"\n",
"$$\n",
" \\vert \\psi \\rangle = \\sum_{(a,b)\\in\\Sigma\\times\\Gamma} \\alpha_{ab} \\vert ab\\rangle,\n",
"$$\n",
"\n",
"ベクトル\n",
"\n",
"$$\n",
" \\sum_{(a,b)\\in\\Sigma\\times\\Gamma} \\alpha_{ab} \\vert a\\rangle\n",
"$$\n",
"\n",
"は一般的に量子状態ベクトルではなく、縮小状態や限界状態の概念を適切に表していない。\n",
"\n",
"その代わりに、 *量子情報の一般的な定式化の*コースで説明する*密度行列の*概念に目を向けることができる。\n",
"密度行列は、確率論的な設定に類似した、縮小された量子状態を定義する有意義な方法を提供してくれる。\n",
"\n",
"\n",
"\n",
"### 三つ以上のシステムに対する部分的な測定\n",
"\n",
"3つ以上のシステムの部分的な測定（システムの適切な部分集合が測定される）は、システムを2つのコレクション（測定されるものとされないもの）に分割することによって、2つのシステムの場合に縮小することができる。\n",
"具体的な例を挙げよう。\n",
"これは、ケットが表すシステムの名前で添え字をつけることがいかに有用であるかを具体的に示している--この場合、システムの並べ替えを記述する簡単な方法が得られるからである。\n",
"\n",
"この例では、5つのシステムの量子状態を考える。 $(\\mathsf{X}_4,\\ldots,\\mathsf{X}_0),$、これら5つのシステムはすべて同じ古典状態セットを共有する。 $\\{\\clubsuit,\\diamondsuit,\\heartsuit,\\spadesuit\\}:$\n",
"\n",
"$$\n",
"\\begin{gathered}\n",
"\\sqrt{\\frac{1}{7}}\n",
"\\vert\\heartsuit\\rangle \\vert\\clubsuit\\rangle \\vert\\diamondsuit\\rangle \\vert\\spadesuit\\rangle \\vert\\spadesuit\\rangle\n",
"+ \\sqrt{\\frac{2}{7}}\n",
"\\vert\\diamondsuit\\rangle \\vert\\clubsuit\\rangle \\vert\\diamondsuit\\rangle \\vert\\spadesuit\\rangle \\vert\\clubsuit\\rangle\n",
"+ \\sqrt{\\frac{1}{7}}\n",
"\\vert\\spadesuit\\rangle \\vert\\spadesuit\\rangle \\vert\\clubsuit\\rangle \\vert\\diamondsuit\\rangle \\vert\\clubsuit\\rangle \\\\\n",
"-i \\sqrt{\\frac{2}{7}}\n",
"\\vert\\heartsuit\\rangle \\vert\\clubsuit\\rangle \\vert\\diamondsuit\\rangle \\vert\\heartsuit\\rangle \\vert\\heartsuit\\rangle\n",
"- \\sqrt{\\frac{1}{7}}\n",
"\\vert\\spadesuit\\rangle \\vert\\heartsuit\\rangle \\vert\\clubsuit\\rangle \\vert\\spadesuit\\rangle \\vert\\clubsuit\\rangle.\n",
"\\end{gathered}\n",
"$$\n",
"\n",
"ここでは、1番目と3番目のシステムが測定され、残りのシステムは放置されている状況を考える。\n",
"\n",
"概念的に言えば、この状況は2つのシステムのどちらかが測定される場合と根本的な違いはない。\n",
"残念なことに、測定された系と測定されていない系が混在しているため、これらの計算を実行するために必要な式を書き出すのにハードルがある。\n",
"\n",
"上で提案したように、一つの方法として、ケツに添え字を付けて、どのシステムを指しているかを示す方法がある。\n",
"これによって、ケットの順序を入れ替えてもシステムを追跡できるようになり、数学がよりシンプルになる。\n",
"\n",
"まず、上記の量子状態ベクトルは次のように書くこともできる\n",
"\n",
"$$\n",
"\\begin{gathered}\n",
"\\sqrt{\\frac{1}{7}}\n",
"\\vert\\heartsuit\\rangle_4 \\vert\\clubsuit\\rangle_3 \\vert\\diamondsuit\\rangle_2 \\vert\\spadesuit\\rangle_1 \\vert\\spadesuit\\rangle_0\n",
"+ \\sqrt{\\frac{2}{7}}\n",
"\\vert\\diamondsuit\\rangle_4 \\vert\\clubsuit\\rangle_3 \\vert\\diamondsuit\\rangle_2 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\\\\\n",
"+ \\sqrt{\\frac{1}{7}}\n",
"\\vert\\spadesuit\\rangle_4 \\vert\\spadesuit\\rangle_3 \\vert\\clubsuit\\rangle_2 \\vert\\diamondsuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"-i \\sqrt{\\frac{2}{7}}\n",
"\\vert\\heartsuit\\rangle_4 \\vert\\clubsuit\\rangle_3 \\vert\\diamondsuit\\rangle_2 \\vert\\heartsuit\\rangle_1 \\vert\\heartsuit\\rangle_0\\\\\n",
"- \\sqrt{\\frac{1}{7}}\n",
"\\vert\\spadesuit\\rangle_4 \\vert\\heartsuit\\rangle_3 \\vert\\clubsuit\\rangle_2 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0.\n",
"\\end{gathered}\n",
"$$\n",
"\n",
"各ケットにどのシステムに対応するかを示す添え字が付いた以外は、何も変わっていない。\n",
"ここでは、 $0,\\ldots,4,$ という添え字を使っているが、システム名そのものを使うこともできる（たとえば、 $\\mathsf{X},$、 $\\mathsf{Y},$、 $\\mathsf{Z},$ のようなシステム名がある場合）。\n",
"\n",
"ここで、ケットを並べ替え、以下のように項を集めることができる：\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
"&\n",
"\\sqrt{\\frac{1}{7}}\n",
"\\vert\\heartsuit\\rangle_4 \\vert\\diamondsuit\\rangle_2 \\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\spadesuit\\rangle_0\n",
"+\n",
"\\sqrt{\\frac{2}{7}}\n",
"\\vert\\diamondsuit\\rangle_4 \\vert\\diamondsuit\\rangle_2 \\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\\\\\n",
"& \\quad +\n",
"\\sqrt{\\frac{1}{7}}\n",
"\\vert\\spadesuit\\rangle_4 \\vert\\clubsuit\\rangle_2 \\vert\\spadesuit\\rangle_3 \\vert\\diamondsuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"-i\n",
"\\sqrt{\\frac{2}{7}}\n",
"\\vert\\heartsuit\\rangle_4 \\vert\\diamondsuit\\rangle_2 \\vert\\clubsuit\\rangle_3 \\vert\\heartsuit\\rangle_1 \\vert\\heartsuit\\rangle_0\\\\\n",
"& \\quad -\\sqrt{\\frac{1}{7}}\n",
"\\vert\\spadesuit\\rangle_4 \\vert\\clubsuit\\rangle_2 \\vert\\heartsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\\\\[2mm]\n",
"& \\hspace{1.5cm} = \\vert\\heartsuit\\rangle_4 \\vert\\diamondsuit\\rangle_2\n",
"\\biggl(\n",
"\\sqrt{\\frac{1}{7}} \\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\spadesuit\\rangle_0\n",
"-i \\sqrt{\\frac{2}{7}} \\vert\\clubsuit\\rangle_3 \\vert\\heartsuit\\rangle_1 \\vert\\heartsuit\\rangle_0\n",
"\\biggr)\\\\\n",
"& \\hspace{1.5cm} \\quad\n",
"+ \\vert\\diamondsuit\\rangle_4 \\vert\\diamondsuit\\rangle_2\n",
"\\biggl(\n",
"\\sqrt{\\frac{2}{7}} \\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"\\biggr)\\\\\n",
"& \\hspace{1.5cm} \\quad + \\vert\\spadesuit\\rangle_4 \\vert\\clubsuit\\rangle_2\n",
"\\biggl(\n",
"\\sqrt{\\frac{1}{7}} \\vert\\spadesuit\\rangle_3 \\vert\\diamondsuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"- \\sqrt{\\frac{1}{7}} \\vert\\heartsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\\biggr).\n",
"\\end{aligned}\n",
"$$\n",
"\n",
"この例のように括弧が使われている場合でも、テンソル積は暗黙のままである。\n",
"\n",
"ケットの並べ替えについて明確にしておくと、テンソル積は可換ではない。 $\\vert \\phi\\rangle$ と $\\vert \\pi \\rangle$ がベクトルである場合、一般的に、 $\\vert \\phi\\rangle\\otimes\\vert \\pi \\rangle$ は $\\vert \\pi\\rangle\\otimes\\vert \\phi \\rangle,$ とは異なるし、3つ以上のベクトルのテンソル積についても同様である。\n",
"例えば、こうだ、 $\\vert\\heartsuit\\rangle \\vert\\clubsuit\\rangle \\vert\\diamondsuit\\rangle \\vert\\spadesuit\\rangle \\vert\\spadesuit\\rangle$ は $\\vert\\heartsuit\\rangle \\vert\\diamondsuit\\rangle \\vert\\clubsuit\\rangle \\vert\\spadesuit\\rangle \\vert\\spadesuit\\rangle.$ 私たちが今行ったようにケットを並べ替えることは、そうでないことを示唆していると解釈されるべきではない。\n",
"\n",
"そうではなく、計算を行うために、我々は単純に、以下の順番で並べるよりも、 $(\\mathsf{X}_4,\\mathsf{X}_2,\\mathsf{X}_3,\\mathsf{X}_1,\\mathsf{X}_0)$ の順番で並べる方が便利だという判断をしているのである。 $(\\mathsf{X}_4,\\mathsf{X}_3,\\mathsf{X}_2,\\mathsf{X}_1,\\mathsf{X}_0).$ ケッツの添え字は、これを整理しておくためのものであり、後で元の順序に戻したければ、自由に戻すことができる。\n",
"\n",
"ここで、システム $\\mathsf{X}_4$ と $\\mathsf{X}_2$ を測定した場合、異なる結果の（ゼロでない）確率は以下のようになることがわかる：\n",
"\n",
"* 測定結果 $(\\heartsuit,\\diamondsuit)$ は確率\n",
"\n",
"$$\n",
"\\biggl\\|\n",
"\\sqrt{\\frac{1}{7}} \\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\spadesuit\\rangle_0\n",
"-i \\sqrt{\\frac{2}{7}} \\vert\\clubsuit\\rangle_3 \\vert\\heartsuit\\rangle_1 \\vert\\heartsuit\\rangle_0\n",
"\\biggr\\|^2 = \\frac{1}{7} + \\frac{2}{7} = \\frac{3}{7}\n",
"$$\n",
"\n",
"* 測定結果 $(\\diamondsuit,\\diamondsuit)$ は確率\n",
"\n",
"$$\n",
"\\biggl\\|\n",
"\\sqrt{\\frac{2}{7}} \\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"\\biggr\\|^2 = \\frac{2}{7}\n",
"$$\n",
"\n",
"* 測定結果 $(\\spadesuit,\\clubsuit)$ は確率\n",
"\n",
"$$\n",
"\\biggl\\|\n",
"\\sqrt{\\frac{1}{7}} \\vert\\spadesuit\\rangle_3 \\vert\\diamondsuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"- \\sqrt{\\frac{1}{7}} \\vert\\heartsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"\\biggr\\|^2 = \\frac{1}{7} + \\frac{1}{7} = \\frac{2}{7}.\n",
"$$\n",
"\n",
"例えば、測定結果が $(\\heartsuit,\\diamondsuit),$、5つのシステムの結果は次のようになる\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
"& \\vert \\heartsuit\\rangle_4 \\vert \\diamondsuit \\rangle_2\n",
"\\otimes\n",
"\\frac{\n",
"\\sqrt{\\frac{1}{7}}\n",
"\\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\spadesuit\\rangle_0\n",
"- i\n",
"\\sqrt{\\frac{2}{7}}\n",
"\\vert\\clubsuit\\rangle_3 \\vert\\heartsuit\\rangle_1 \\vert\\heartsuit\\rangle_0}\n",
"{\\sqrt{\\frac{3}{7}}}\\\\\n",
"& \\qquad\n",
"=\n",
"\\sqrt{\\frac{1}{3}}\n",
"\\vert \\heartsuit\\rangle_4 \\vert\\clubsuit\\rangle_3 \\vert \\diamondsuit \\rangle_2\\vert\\spadesuit\\rangle_1 \\vert\\spadesuit\\rangle_0\n",
"-i\n",
"\\sqrt{\\frac{2}{3}}\n",
"\\vert \\heartsuit\\rangle_4 \\vert\\clubsuit\\rangle_3 \\vert \\diamondsuit \\rangle_2\\vert\\heartsuit\\rangle_1 \\vert\\heartsuit\\rangle_0.\n",
"\\end{aligned}\n",
"$$\n",
"\n",
"ここでは、最終的な答えとして、このようなことができることを説明するために、システムの順序を元に戻した。\n",
"その他の測定結果についても、同様の方法で状態を決定することができる。\n",
"\n",
"最後に、GHZ状態から始まる、先に約束した2つの例を紹介しよう\n",
"\n",
"$$\n",
"\\frac{1}{\\sqrt{2}} \\vert 000\\rangle + \\frac{1}{\\sqrt{2}} \\vert 111\\rangle.\n",
"$$\n",
"\n",
"$0$ $1/2,$ $1$ この場合、3つの量子ビットの状態は $\\vert 000\\rangle;$ となる。また、この場合、3つの量子ビットの状態は $1/2,$ となる。 $\\vert 111\\rangle.$\n",
"\n",
"一方、Wの状態については、最初のシステムだけが測定されると仮定して、この状態を次のように書き始める：\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
"&\n",
"\\frac{1}{\\sqrt{3}} \\vert 001\\rangle +\n",
"\\frac{1}{\\sqrt{3}} \\vert 010\\rangle +\n",
"\\frac{1}{\\sqrt{3}} \\vert 100\\rangle \\\\\n",
"& \\qquad\n",
"= \\vert 0 \\rangle \\biggl(\n",
"\\frac{1}{\\sqrt{3}} \\vert 01\\rangle +\n",
"\\frac{1}{\\sqrt{3}} \\vert 10\\rangle\\biggr)\n",
"+ \\vert 1 \\rangle \\biggl(\\frac{1}{\\sqrt{3}}\\vert 00\\rangle\\biggr).\n",
"\\end{aligned}\n",
"$$\n",
"\n",
"したがって、最初の量子ビットの測定結果が0になる確率は、次のようになる\n",
"\n",
"$$\n",
"\\biggl\\|\n",
"\\frac{1}{\\sqrt{3}} \\vert 01\\rangle +\n",
"\\frac{1}{\\sqrt{3}} \\vert 10\\rangle\n",
"\\biggr\\|^2 = \\frac{2}{3},\n",
"$$\n",
"\n",
"そして、この結果をもたらす測定を条件として、3つの量子ビットの量子状態は次のようになる\n",
"\n",
"$$\n",
"\\vert 0\\rangle\\otimes\n",
" \\frac{\n",
" \\frac{1}{\\sqrt{3}} \\vert 01\\rangle +\n",
" \\frac{1}{\\sqrt{3}} \\vert 10\\rangle\n",
" }{\n",
" \\sqrt{\\frac{2}{3}}\n",
" }\n",
" = \\vert 0\\rangle \\biggl(\\frac{1}{\\sqrt{2}} \\vert 01\\rangle\n",
" + \\frac{1}{\\sqrt{2}} \\vert 10\\rangle \\biggr)\n",
" = \\vert 0\\rangle\\vert \\psi^+\\rangle.\n",
"$$\n",
"\n",
"測定結果が1になる確率は $1/3,$、この場合3つの量子ビットの状態は次のようになる。 $\\vert 100\\rangle.$\n",
"\n",
"W状態は、量子ビットを並べ替えても変わらないという意味で対称的である。\n",
"したがって、1番目の量子ビットではなく、2番目あるいは3番目の量子ビットを測定する場合にも同様の記述が得られる。\n",
"\n",
"\n",
"\n",
"## 単項演算\n",
"\n",
"原理的には、ある系の古典的な状態に対応する行と列を持つユニタリー行列は、その系に対する有効な量子演算を表す。\n",
"もちろん、複合系の古典状態集合が、個々の系の古典状態集合のデカルト積である場合にも、これは当てはまる。\n",
"\n",
"2つの系に注目すると、 $\\mathsf{X}$ が古典状態集合 $\\Sigma,$ を持つ系で、 $\\mathsf{Y}$ が古典状態集合 $\\Gamma,$ を持つ系である場合、合同系 $(\\mathsf{X},\\mathsf{Y})$ の古典状態集合は $\\Sigma\\times\\Gamma.$ です。したがって、この合同系に対する量子操作は、行と列が集合 に対応するユニタリー行列で表されます。 $\\Sigma\\times\\Gamma.$ これらの行列の行と列の順序は、システムの量子状態ベクトルの順序と同じである。 $(\\mathsf{X},\\mathsf{Y}).$\n",
"\n",
"例えば、 $\\Sigma = \\{1,2,3\\}$ と $\\Gamma = \\{0,1\\},$ を仮定し、デカルト積 $\\{1,2,3\\}\\times\\{0,1\\}$ の要素の順序付けの標準的な慣例を思い出してみよう：\n",
"\n",
"$$\n",
"(1,0),\\;(1,1),\\;(2,0),\\;(2,1),\\;(3,0),\\; (3,1).\n",
"$$\n",
"\n",
"以下は、次の演算を表すユニタリー行列の例である。 $(\\mathsf{X},\\mathsf{Y}):$\n",
"\n",
"$$\n",
"U =\n",
"\\begin{pmatrix}\n",
" \\frac{1}{2} & \\frac{1}{2} & \\frac{1}{2} & 0 & 0 & \\frac{1}{2} \\\\[2mm]\n",
" \\frac{1}{2} & \\frac{i}{2} & -\\frac{1}{2} & 0 & 0 & -\\frac{i}{2} \\\\[2mm]\n",
" \\frac{1}{2} & -\\frac{1}{2} & \\frac{1}{2} & 0 & 0 & -\\frac{1}{2} \\\\[2mm]\n",
" 0 & 0 & 0 & \\frac{1}{\\sqrt{2}} & \\frac{1}{\\sqrt{2}} & 0\\\\[2mm]\n",
" \\frac{1}{2} & -\\frac{i}{2} & -\\frac{1}{2} & 0 & 0 & \\frac{i}{2} \\\\[2mm]\n",
" 0 & 0 & 0 & -\\frac{1}{\\sqrt{2}} & \\frac{1}{\\sqrt{2}} & 0\n",
"\\end{pmatrix}.\n",
"$$\n",
"\n",
"このユニタリー行列は特別なものではなく、単なる例だ。\n",
"$U$ がユニタリーであることをチェックするには、例えば $U^{\\dagger} U = \\mathbb{I},$ を計算してチェックすれば十分である。\n",
"あるいは、行（または列）が正規直交行列であることをチェックすることもできる。 $U.$\n",
"\n",
"例えば、標準基底ベクトル $\\vert 1, 1 \\rangle,$ に対する $U$ の作用は次の通りである\n",
"\n",
"$$\n",
"U \\vert 1, 1\\rangle =\n",
"\\frac{1}{2} \\vert 1, 0 \\rangle\n",
"+ \\frac{i}{2} \\vert 1, 1 \\rangle\n",
"- \\frac{1}{2} \\vert 2, 0 \\rangle\n",
"- \\frac{i}{2} \\vert 3, 0\\rangle,\n",
"$$\n",
"\n",
"これは、 $U,$ の2列目を見ればわかる。 $\\{1,2,3\\}\\times\\{0,1\\}.$\n",
"\n",
"どの行列でもそうだが、 $U$ をディラック記法を用いて表現することも可能である。この場合、 の20の非ゼロ項目に対して20の項が必要となる。 $U.$ しかし、これらの項をすべて書き記すとすると、 $6\\times 6$ 行列を書き記すのとは違って乱雑になり、行列式から明らかになるパターンもそれほど明確にはならないだろう。\n",
"簡単に言えば、ディラック記法は常に最良の選択というわけではない。\n",
"\n",
"3つ以上のシステムに対するユニタリー演算も同様に機能し、ユニタリー行列はシステムの古典的状態集合のデカルト積に対応する行と列を持つ。\n",
"このレッスンではすでに1つの例を見てきた\n",
"\n",
"$$\n",
"\\sum_{k = 0}^{7} \\vert (k+1) \\bmod 8 \\rangle \\langle k \\vert,\n",
"$$\n",
"\n",
"brasとketsの数字は、 $3$ -bitの2進符号化を意味する。\n",
"決定論的な操作であることに加え、これは単一操作でもある。\n",
"決定論的かつ単一的な演算は*可逆*演算と呼ばれる。\n",
"この行列の共役転置は次のように書ける：\n",
"\n",
"$$\n",
"\\sum_{k = 0}^{7} \\vert k \\rangle \\langle (k+1) \\bmod 8 \\vert\n",
"= \\sum_{k = 0}^{7} \\vert (k-1) \\bmod 8 \\rangle \\langle k \\vert.\n",
"$$\n",
"\n",
"これは元の演算の*逆*、数学用語では*逆演算を表して*おり、ユニタリー行列の共役転置に期待されるものである。\n",
"レッスンが進むにつれて、複数のシステムに対する単一操作の他の例も見ていくことになる。\n",
"\n",
"\n",
"\n",
"### 個々のシステムに対して独立して実行される単体操作\n",
"\n",
"ユニタリー演算が個々のシステムの集まりに対して独立に実行される場合、これらの独立した演算の複合作用は、それらを表すユニタリー行列のテンソル積によって記述される。\n",
"すなわち、 $\\mathsf{X}_{0},\\ldots,\\mathsf{X}_{n-1}$ が量子系、 $U_0,\\ldots, U_{n-1}$ がこれらの系に対する操作を表すユニタリー行列で、操作がそれぞれの系に対して独立に行われる場合、 $(\\mathsf{X}_{n-1},\\ldots,\\mathsf{X}_0)$ に対する複合作用は行列で表される。 $U_{n-1}\\otimes\\cdots\\otimes U_0.$ この点で、確率的設定と量子設定は類似していることがわかる。\n",
"\n",
"前の段落を読めば、ユニタリー行列の集まりのテンソル積がユニタリーであることは当然予想できる。\n",
"実際、これは真実であり、次のように検証することができる。\n",
"\n",
"まず、共役転置演算は以下を満たすことに注意\n",
"\n",
"$$\n",
" (M_{n-1} \\otimes \\cdots \\otimes M_0)^{\\dagger} = M_{n-1}^{\\dagger} \\otimes \\cdots \\otimes M_0^{\\dagger}\n",
"$$\n",
"\n",
"任意の行列 $M_0,\\ldots,M_{n-1}.$ これは、テンソル積と共役転置の定義に戻り、方程式の両辺の各項目が一致していることをチェックすることで確認できる。\n",
"This means that\n",
"\n",
"$$\n",
" (U_{n-1} \\otimes \\cdots \\otimes U_0)^{\\dagger} (U_{n-1}\\otimes\\cdots\\otimes U_0)\n",
" = (U_{n-1}^{\\dagger} \\otimes \\cdots \\otimes U_0^{\\dagger}) (U_{n-1}\\otimes\\cdots\\otimes U_0).\n",
"$$\n",
"\n",
"行列のテンソル積は乗法なので、次のようになる\n",
"\n",
"$$\n",
" (U_{n-1}^{\\dagger} \\otimes \\cdots \\otimes U_0^{\\dagger}) (U_{n-1}\\otimes\\cdots\\otimes U_0)\n",
" = (U_{n-1}^{\\dagger} U_{n-1}) \\otimes \\cdots \\otimes (U_0^{\\dagger} U_0)\n",
" = \\mathbb{I}_{n-1} \\otimes \\cdots \\otimes \\mathbb{I}_0.\n",
"$$\n",
"\n",
"ここでは、 $\\mathsf{X}_0,\\ldots,\\mathsf{X}_{n-1},$ システムの恒等演算を表す行列を指すために、 $\\mathbb{I}_0,\\ldots,\\mathbb{I}_{n-1}$ と表記している。つまり、これらの行列は恒等行列であり、その大きさは、 の古典的状態の数と一致する。 $\\mathsf{X}_0,\\ldots,\\mathsf{X}_{n-1}.$\n",
"\n",
"最後に、テンソル積 $\\mathbb{I}_{n-1} \\otimes \\cdots \\otimes \\mathbb{I}_0$ は、行列の行数と列数の積と一致する行数と列数を持つ恒等行列に等しい。 $\\mathbb{I}_{n-1},\\ldots,\\mathbb{I}_0.$ このより大きな恒等行列は、関節系の恒等演算を表す。 $(\\mathsf{X}_{n-1},\\ldots,\\mathsf{X}_0).$\n",
"\n",
"まとめると、次のような等号の並びがある：\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
" & (U_{n-1} \\otimes \\cdots \\otimes U_0)^{\\dagger} (U_{n-1}\\otimes\\cdots\\otimes U_0) \\\\\n",
" & \\quad = (U_{n-1}^{\\dagger} \\otimes \\cdots \\otimes U_0^{\\dagger}) (U_{n-1}\\otimes\\cdots\\otimes U_0) \\\\\n",
" & \\quad = (U_{n-1}^{\\dagger} U_{n-1}) \\otimes \\cdots \\otimes (U_0^{\\dagger} U_0)\\\\\n",
" & \\quad = \\mathbb{I}_{n-1} \\otimes \\cdots \\otimes \\mathbb{I}_0\\\\\n",
" & \\quad = \\mathbb{I}.\n",
"\\end{aligned}\n",
"$$\n",
"\n",
"従って、 $U_{n-1} \\otimes \\cdots \\otimes U_0$、一元的であると結論づける。\n",
"\n",
"ユニタリー・オペレーションが、より大きなジョイント・システム内の1つのシステム（またはシステムの適切なサブセット）だけに適用されるという重要な状況がしばしば発生する。\n",
"例えば、 $\\mathsf{X}$ と $\\mathsf{Y}$ が一緒になってひとつの複合システム $(\\mathsf{X},\\mathsf{Y}),$ を形成しているとみなすことができるシステムであり、そのシステムに対してだけ操作を行ったとしよう。 $\\mathsf{X}.$ 正確には、 $U$ が、 $\\mathsf{X},$ に対する操作を表すユニタリー行列であり、その行と列が、 の古典的状態に対応して配置されていると仮定しよう。 $\\mathsf{X}.$\n",
"\n",
"$U$ で表される操作をシステム $\\mathsf{X}$ に対してだけ行うということは、 $\\mathsf{Y},$ に対しては何もしないということであり、 $\\mathsf{X}$ に対しては $U$ を、 に対しては*同一性演算を*、それぞれ独立に行うということである。 $\\mathsf{Y}.$ つまり、 $\\mathsf{Y}$ に対して「何もしない」ということは、 $\\mathsf{Y},$ に対して恒等行列で表される恒等演算を行うことと等価である。 $\\mathbb{I}_\\mathsf{Y}.$ (ちなみに、 $\\mathsf{Y}$ という添え字は、 $\\mathbb{I}_\\mathsf{Y}$ が $\\mathsf{Y}.$ の古典的状態集合と一致する行と列の数を持つ恒等行列を指していることを示している）。 したがって、 $\\mathsf{X}$ に対して $U$ を実行し、 $\\mathsf{Y}$ に対して何もしないときに得られる $(\\mathsf{X},\\mathsf{Y})$ に対する操作は、ユニタリー行列によって表される。\n",
"\n",
"$$\n",
" U \\otimes \\mathbb{I}_{\\mathsf{Y}}.\n",
"$$\n",
"\n",
"例えば、 $\\mathsf{X}$ と $\\mathsf{Y}$ が量子ビットである場合、 $\\mathsf{X}$ にハダマード演算を行い、 $\\mathsf{Y}$ には何もしないことは、次の演算を行うことと同じである\n",
"\n",
"$$\n",
" H \\otimes \\mathbb{I}_{\\mathsf{Y}} =\n",
" \\begin{pmatrix}\n",
" \\frac{1}{\\sqrt{2}} & \\frac{1}{\\sqrt{2}}\\\\[2mm]\n",
" \\frac{1}{\\sqrt{2}} & -\\frac{1}{\\sqrt{2}}\n",
" \\end{pmatrix}\n",
" \\otimes\n",
" \\begin{pmatrix}\n",
" 1 & 0\\\\\n",
" 0 & 1\n",
" \\end{pmatrix}\n",
" = \\begin{pmatrix}\n",
" \\frac{1}{\\sqrt{2}} & 0 & \\frac{1}{\\sqrt{2}} & 0\\\\[2mm]\n",
" 0 & \\frac{1}{\\sqrt{2}} & 0 & \\frac{1}{\\sqrt{2}}\\\\[2mm]\n",
" \\frac{1}{\\sqrt{2}} & 0 & -\\frac{1}{\\sqrt{2}} & 0\\\\[2mm]\n",
" 0 & \\frac{1}{\\sqrt{2}} & 0 & -\\frac{1}{\\sqrt{2}}\n",
" \\end{pmatrix}\n",
"$$\n",
"\n",
"関節システムについて $(\\mathsf{X},\\mathsf{Y}).$\n",
"\n",
"同様にして、ユニタリー行列 $U$ で表される演算が $\\mathsf{Y}$ に適用され、 $\\mathsf{X},$ には何も行われない場合、 $(\\mathsf{X},\\mathsf{Y})$ に対する演算の結果はユニタリー行列で表される\n",
"\n",
"$$\n",
" \\mathbb{I}_{\\mathsf{X}} \\otimes U.\n",
"$$\n",
"\n",
"例えば、 $\\mathsf{X}$ と $\\mathsf{Y}$ の両方が量子ビットであり、 $U$ がハダマード演算であるという状況をもう一度考えてみると、 $(\\mathsf{X},\\mathsf{Y})$ に対する演算は次のような行列で表される\n",
"\n",
"$$\n",
" \\begin{pmatrix}\n",
" 1 & 0\\\\\n",
" 0 & 1\n",
" \\end{pmatrix}\n",
" \\otimes\n",
" \\begin{pmatrix}\n",
" \\frac{1}{\\sqrt{2}} & \\frac{1}{\\sqrt{2}}\\\\[2mm]\n",
" \\frac{1}{\\sqrt{2}} & -\\frac{1}{\\sqrt{2}}\n",
" \\end{pmatrix}\n",
" = \\begin{pmatrix}\n",
" \\frac{1}{\\sqrt{2}} & \\frac{1}{\\sqrt{2}} & 0 & 0\\\\[2mm]\n",
" \\frac{1}{\\sqrt{2}} & -\\frac{1}{\\sqrt{2}} & 0 & 0\\\\[2mm]\n",
" 0 & 0 & \\frac{1}{\\sqrt{2}} & \\frac{1}{\\sqrt{2}}\\\\[2mm]\n",
" 0 & 0 & \\frac{1}{\\sqrt{2}} & -\\frac{1}{\\sqrt{2}}\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"このように、系の集合に対するすべてのユニタリー演算が、ユニタリー演算のテンソル積として書けるわけではない。\n",
"例えば、後述する2つの量子ビットに対するスワップ演算も制御されたNOT演算も、ユニタリー演算のテンソル積として表現することはできない。\n",
"\n",
"\n",
"\n",
"### スワップ操作\n",
"\n",
"レッスンの締めくくりとして、 *スワップ・オペレーションから始めて*、複数システムに対するユニタリー・オペレーションの例を2クラス見てみよう。\n",
"\n",
"$\\mathsf{X}$ と $\\mathsf{Y}$ が同じ古典的状態集合を共有するシステムであるとする。 $\\Sigma.$ ペア $(\\mathsf{X},\\mathsf{Y})$ に対する*スワップ*操作は、2つのシステムの内容を交換する操作である。 $\\mathsf{X}$ の内容を交換する操作であるが、それ以外の点では両システムはそのままである。 $\\mathsf{Y}$ 右のままである。\n",
"この操作を $\\operatorname{SWAP},$ と呼ぶことにする。この操作は、古典的状態のあらゆる選択に対して次のように行われる。 $a,b\\in\\Sigma:$\n",
"\n",
"$$\n",
"\\operatorname{SWAP} \\vert a \\rangle \\vert b \\rangle = \\vert b \\rangle \\vert a \\rangle.\n",
"$$\n",
"\n",
"この演算に関連する行列をディラック記法を用いて書くと、次のようになる：\n",
"\n",
"$$\n",
"\\mathrm{SWAP} = \\sum_{c,d\\in\\Sigma} \\vert c \\rangle \\langle d \\vert \\otimes \\vert d \\rangle \\langle c \\vert.\n",
"$$\n",
"\n",
"この行列が $\\operatorname{SWAP},$ を表していることはすぐにはわからないかもしれないが、次の条件を満たしていることを確認できる。 $\\operatorname{SWAP} \\vert a \\rangle \\vert b \\rangle = \\vert b \\rangle \\vert a \\rangle$ を満たすことが確認できる。 $a,b\\in\\Sigma.$ 単純な例として、 $\\mathsf{X}$ と $\\mathsf{Y}$ が量子ビットであるとき、次のことがわかります。\n",
"\n",
"$$\n",
" \\operatorname{SWAP} =\n",
" \\begin{pmatrix}\n",
" 1 & 0 & 0 & 0\\\\\n",
" 0 & 0 & 1 & 0\\\\\n",
" 0 & 1 & 0 & 0\\\\\n",
" 0 & 0 & 0 & 1\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"\n",
"\n",
"### 制御された単一操作\n",
"\n",
"ここで、 $\\mathsf{Q}$ が量子ビットで、 $\\mathsf{R}$ が任意のシステムだとしよう。 状態セットであるとする。\n",
"システム $\\mathsf{R},$ に作用するすべてのユニタリー操作 $U$ に対して、 *コントロールされた*$U$ 操作は、次のように定義された組 に対するユニタリー操作である。 $(\\mathsf{Q},\\mathsf{R})$ 操作である：\n",
"\n",
"$$\n",
"CU =\n",
"\\vert 0\\rangle \\langle 0\\vert \\otimes \\mathbb{I}_{\\mathsf{R}} + \\vert 1\\rangle \\langle 1\\vert \\otimes U.\n",
"$$\n",
"\n",
"例えば、 $\\mathsf{R}$ が量子ビットでもあり、 $X$ のパウリ演算を考える場合、 の制御演算は次のように与えられる。 $\\mathrm{R},$ のパウリ演算を考えるとすると、制御された $X$ 演算は次式で与えられる。\n",
"\n",
"$$\n",
" CX =\n",
" \\vert 0\\rangle \\langle 0\\vert \\otimes \\mathbb{I}_{\\mathsf{R}} + \\vert 1\\rangle \\langle 1\\vert \\otimes X =\n",
" \\begin{pmatrix}\n",
" 1 & 0 & 0 & 0\\\\\n",
" 0 & 1 & 0 & 0\\\\\n",
" 0 & 0 & 0 & 1\\\\\n",
" 0 & 0 & 1 & 0\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"この操作は、古典的な情報操作と確率的操作の文脈で、レッスンの前半ですでに説明した。 という文脈でこの操作に遭遇した。\n",
"$\\mathsf{R}$ のパウリ $X$ オペレーションを $Z$ オペレーションに置き換えると、このようになる：\n",
"\n",
"$$\n",
" CZ =\n",
" \\vert 0\\rangle \\langle 0\\vert \\otimes \\mathbb{I}_{\\mathsf{R}} + \\vert 1\\rangle \\langle 1\\vert \\otimes Z =\n",
" \\begin{pmatrix}\n",
" 1 & 0 & 0 & 0\\\\\n",
" 0 & 1 & 0 & 0\\\\\n",
" 0 & 0 & 1 & 0\\\\\n",
" 0 & 0 & 0 & -1\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"その代わりに、 $\\mathsf{R}$ を2つの量子ビットとし、 $U$ をこの2つの量子ビット間の*スワップ演算と*すると、次のような演算が得られる。 を2つの量子ビット間のスワップ演算とすると、この演算が得られる：\n",
"\n",
"$$\n",
" \\operatorname{CSWAP} =\n",
" \\begin{pmatrix}\n",
" 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n",
" 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n",
" 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\\\\n",
" 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 \\\\\n",
" 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\\\\n",
" 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 \\\\\n",
" 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 \\\\\n",
" 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"この演算は*フレドキン・オペレーション、* またはより一般的には*フレドキン・ゲートとしても*知られている\n",
"標準的な基礎状態に対する作用は次のように説明できる：\n",
"\n",
"$$\n",
" \\begin{aligned}\n",
" \\operatorname{CSWAP} \\vert 0 b c \\rangle\n",
" & = \\vert 0 b c \\rangle \\\\[1mm]\n",
" \\operatorname{CSWAP} \\vert 1 b c \\rangle\n",
" & = \\vert 1 c b \\rangle\n",
" \\end{aligned}\n",
"$$\n",
"\n",
"最後に、 *Controlled-Controlled-NOT演算を* $CCX,$、 *トッフォリ演算*または*トッフォリゲートと*呼ぶ\n",
"その行列表現は次のようになる：\n",
"\n",
"$$\n",
" CCX =\n",
" \\begin{pmatrix}\n",
" 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0\\\\\n",
" 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0\\\\\n",
" 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0\\\\\n",
" 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0\\\\\n",
" 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0\\\\\n",
" 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0\\\\\n",
" 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1\\\\\n",
" 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"代わりにディラック記法を用いて次のように表現することもできる：\n",
"\n",
"$$\n",
" CCX = \\bigl(\n",
" \\vert 00 \\rangle \\langle 00 \\vert\n",
" + \\vert 01 \\rangle \\langle 01 \\vert\n",
" + \\vert 10 \\rangle \\langle 10 \\vert \\bigr) \\otimes \\mathbb{I}\n",
" + \\vert 11 \\rangle \\langle 11 \\vert \\otimes X.\n",
"$$\n",
"\n"
]
},
{
"cell_type": "markdown",
"metadata": {},
"id": "a1b8767d",
"source": "© IBM Corp., 2017-2026"
}
],
"metadata": {
"kernelspec": {
"display_name": "Python 3",
"language": "python",
"name": "python3"
},
"language_info": {
"codemirror_mode": {
"name": "ipython",
"version": 3
},
"file_extension": ".py",
"mimetype": "text/x-python",
"name": "python",
"nbconvert_exporter": "python",
"pygments_lexer": "ipython3",
"version": "3"
}
},
"nbformat": 4,
"nbformat_minor": 5
}