この記事は Physics Lab. 2022 Advent Calendar 17日目の記事です。

0. はじめに

はじめまして！Physics Lab. 2022 副統括、幾何班・量子物理学班所属のシャーペンといいます。 最初にPhysics Lab. 2022の宣伝を… Physics Lab. 2022は物理学科有志による五月祭企画（5/14(土), 15(日)）で、オンライン（virtual 会場）と対面の両方で開催される予定です。 様々な方にきっと物理の面白さを感じて頂けるようなものを準備してお待ちしておりますのでぜひお越しください！

さて、今回、Advent Calendarの記事として量子誤り訂正の気持ち的な所を簡単に紹介したいと思います。では、さっそく本編に入っていきましょう！

1.目的

今回は量子コンピュータの具体的な物理的実装や量子計算の厳密な定式化などは避けて、数学パズルとしてどういったことをやっているかを説明したいと思います. 流れとしては、 2. 準備(量子状態と測定)

3. 古典誤り訂正
4. 量子誤り訂正の基本(メイン) となります. なお、線形代数の基礎的な所(基底, 次元, 部分空間, 射影等)を前提知識として仮定しています。

これは個人的な考え方ですが、記事や参考書には少なからず著者の解釈や物事を見る角度というものが反映されると思うので、同じテーマについても様々な教科書・記事を読んでみることをお勧めします。 そのため、参考文献に挙げているようなものや、量子誤り訂正についての教材もぜひ参考にしてみてください。 本記事も量子誤り訂正についての理解の一助となれば幸いです。

2.準備

2.1 qubitの状態

量子コンピュータの状態や測定についてはIBMなどが提供している教材等のほか、インターネット上にも多くの記事が充実しているため、細かい説明はそちらに譲って、必要なものだけ定義していきます。

まず、量子コンピュータの情報の基本単位はqubitです。 これは古典コンピュータのビットに対応しています。 古典コンピュータのビットは\(\hspace{0.2em}0\hspace{0.2em}\)または\(\hspace{0.2em}1\hspace{0.2em}\)の状態しかとる事が出来ませんが、 qubitは\(\hspace{0.2em}\ket{0}\hspace{0.2em}\)と\(\hspace{0.2em}\ket{1}\hspace{0.2em}\)を基底とした\(\hspace{0.2em}2\hspace{0.2em}\)次元複素数空間の単位球面上、すなわち

と書かれる状態すべてを取る事が出来ます。ただし、絶対値が\(\hspace{0.2em}1\hspace{0.2em}\)の複素数をかけて一致するものは同一の状態とみなされます。すなわち、\(\ket{\psi}\sim c\ket{\psi}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}(|c|=1, c\in\mathbb{C})\hspace{0.2em}\)です。 なお, 厳密には物理的に取る状態は古典的な混合状態と合わせて密度行列と\(\hspace{0.2em}1\hspace{0.2em}\)対\(\hspace{0.2em}1\hspace{0.2em}\)に対応し、上記のような形で書かれるものは純粋状態と言われます。\(\ket{0}\hspace{0.2em}\)と\(\hspace{0.2em}\ket{1}\hspace{0.2em}\)で張られる空間を\(\hspace{0.2em}1\hspace{0.2em}\)qubitの状態空間と呼びます。

次に、\(n\hspace{-0.2em}\hspace{0.2em}\) qubit \(\hspace{-0.2em}\hspace{0.2em}(n\geq 2)\hspace{0.2em}\)の状態空間はこれらのテンソル積空間で表され、取り得る状態はその単位球面上になります。テンソル積を知らなくてもこの場合は有限次元ですし直感的に理解は難しくありません。\(n\hspace{0.2em}\)桁のビット列としてあり得る\(\hspace{0.2em}2^n\hspace{0.2em}\)個それぞれに対応する基底が存在してどの\(\hspace{0.2em}2\hspace{0.2em}\)つも互いに直交するとし、それらによって張られる空間の事です。例えば、\(n=2\hspace{0.2em}\)ならばあり得る状態は

と書く事が出来ますし、\(n=3\hspace{0.2em}\)ならば状態空間は\(\hspace{0.2em}\ket{000}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{001}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{010}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{011}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{100}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{101}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{110}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{111}\hspace{0.2em}\)の\(\hspace{0.2em}2^3=8\hspace{0.2em}\)つの基底によって張られる\(\hspace{0.2em}8\hspace{0.2em}\)次元の空間です。

2.2 測定

次に測定についてです。今回はZ測定とX測定およびそれらを複数ビットにわたって測定するもののみを考えます。これはパウリ測定と呼ばれるものの一部です。測定についても測定型量子計算など様々な面白い話があるのですが、今回は割愛します。 まず、最初にZ基底, X基底とはそれぞれパウリXゲート, パウリZゲートの固有状態で、具体的には\(\hspace{0.2em}\ket{0}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{1}\hspace{0.2em}\)をZ基底, \(\hspace{-0.2em}\hspace{0.2em}\ket{+}=\frac{1}{\sqrt{2}}(\ket{0}+\ket{1})\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{-}=\frac{1}{\sqrt{2}}(\ket{0}-\ket{1})\hspace{0.2em}\)をX基底とよびます。Z測定, X測定はそれぞれの基底についての射影測定です。これは次のようなものをさします。 \(\hspace{0.2em}\ket{\psi}=\alpha\ket{0}+\beta\ket{1}\hspace{0.2em}\)とZ基底を用いて表されるとします。 これをZ測定すると, \(\hspace{-0.2em}\hspace{0.2em}\lvert\alpha\rvert^2\hspace{0.2em}\)の確率で\(\hspace{0.2em}0\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\lvert\beta\rvert^2\hspace{0.2em}\)の確率で\(\hspace{0.2em}1\hspace{0.2em}\)が結果として得られます。確率は測定結果をみたす空間に射影したときのノルムの\(\hspace{0.2em}2\hspace{0.2em}\)乗値と一致します。ここで大事なのは、測定後に状態が射影\(\hspace{0.2em}\to\hspace{-0.2em}\hspace{0.2em}\) 正規化される事です。つまり、\(0\hspace{0.2em}\)を結果として得たならば、元々\(\hspace{0.2em}\ket{\psi}\hspace{0.2em}\)だった状態は\(\hspace{0.2em}\ket{0}\hspace{0.2em}\)に、\(1\hspace{0.2em}\)を結果として得たならば\(\hspace{0.2em}\ket{1}\hspace{0.2em}\)へと変化します。測定も状態に影響を与えるというこの性質は量子コンピュータ特有のものです。 X測定は上の\(\hspace{0.2em}\ket{0}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{1}\hspace{0.2em}\)を\(\hspace{0.2em}\ket{+}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{-}\hspace{0.2em}\)に変換したものです。得られる測定結果は\(\hspace{0.2em}\ket{+}\hspace{0.2em}\)に\(\hspace{0.2em}0\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{-}\hspace{0.2em}\)に\(\hspace{0.2em}1\hspace{0.2em}\)が対応し、X測定においても\(\hspace{0.2em}0\hspace{0.2em}\)または\(\hspace{0.2em}1\hspace{0.2em}\)の測定結果を得ます。

ここで簡単な練習問題です。\(\ket{\psi}=\frac{\sqrt{3}}{2}\ket{0}+\frac{1}{2}\ket{1}\hspace{0.2em}\)をX測定するとどうなるでしょうか?

まず, \(\hspace{-0.2em}\hspace{0.2em}\ket{\psi}=\frac{\sqrt{6}+\sqrt{2}}{4}\ket{+}+\frac{\sqrt{6}-\sqrt{2}}{4}\ket{-}\hspace{0.2em}\)と書けます。これは上の\(\hspace{0.2em}\ket{+}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{-}\hspace{0.2em}\)を代入すれば分かります。これより、 \(\hspace{-0.2em}\left\lvert\frac{\sqrt{6}+\sqrt{2}}{4}\right\rvert^2=\frac{2+\sqrt{3}}{4}\hspace{0.2em}\)の確率で\(\hspace{0.2em}0\hspace{0.2em}\)を結果として得て、その後の状態は\(\hspace{0.2em}\ket{+}\hspace{0.2em}\)となります。また、\(\left\lvert\frac{\sqrt{6}-\sqrt{2}}{4}\right\rvert^2=\frac{2-\sqrt{3}}{4}\hspace{0.2em}\)の確率で\(\hspace{0.2em}1\hspace{0.2em}\)を結果として得て、その後の状態は\(\hspace{0.2em}\ket{-}\hspace{0.2em}\)となります。

複数のqubitの場合は測定した結果のxorを得ることができます。ここでxorとは排他的論理和のことをさし、\(0 xor 0= 1 xor 1=0\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}0 xor 1=1 xor 0=1\hspace{0.2em}\)となります。例えば、次のようになります。

と書かれた状態に対して、\(Z_1Z_2\hspace{0.2em}\)測定を行う事を考えます。 \(\hspace{0.2em}Z_1Z_2\hspace{0.2em}\)とは\(\hspace{0.2em}1\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}2\hspace{0.2em}\)qubitに対してZ測定を行うという事です。これは\(\hspace{0.2em}1\hspace{0.2em}\)回の測定でxorした後の結果だけ得られ、個別に測定してあとでxorをとったものとは意味合いが全く異なる事に注意してください。得られる結果の確率分布は同じですが、測定後の状態が異なります。このような場合、測定として異なると考えます。 測定結果が\(\hspace{0.2em}0\hspace{0.2em}\)となる状態は\(\hspace{0.2em}\ket{00}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{11}\hspace{0.2em}\)の\(\hspace{0.2em}2\hspace{0.2em}\)つの状態で張られた空間の状態です。 すなわちその確率は \(\hspace{-0.2em}\hspace{0.2em}\sqrt{\lvert\alpha\rvert^2+\lvert\delta\rvert^2}\hspace{-0.2em}\hspace{0.2em}\) であり, 測定後の状態は射影ですから、\(\ket{\psi}^0_{after}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}=\frac{\alpha}{\sqrt{\alpha^2+\delta^2}}\ket{00}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}+\frac{\delta}{\sqrt{\alpha^2+\delta^2}}\ket{11}\hspace{0.2em}\)となります。 同様に測定結果が\(\hspace{0.2em}1\hspace{0.2em}\)となる確率は\(\hspace{0.2em}\sqrt{\beta^2+\gamma^2}\hspace{0.2em}\)であり測定後の状態は\(\hspace{0.2em}\ket{\psi}^1_{after}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}=\frac{\beta}{\sqrt{\beta^2+\gamma^2}}\ket{01}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}+\frac{\gamma}{\sqrt{\beta^2+\gamma^2}}\ket{10}\hspace{0.2em}\)となります。 \(\hspace{0.2em}1\hspace{0.2em}\)qubitのときとの違いとして、\(1\hspace{-0.2em}\hspace{0.2em}\) qubitのときは次元が\(\hspace{0.2em}2\hspace{0.2em}\)に対してあり得る状態の次元を\(\hspace{0.2em}2\hspace{0.2em}\)分の\(\hspace{0.2em}1\hspace{0.2em}\)に絞った事により測定後の状態が完全に\(\hspace{0.2em}\ket{0}\hspace{0.2em}\)か\(\hspace{0.2em}\ket{1}\)(または\(\hspace{0.2em}\ket{+}\hspace{0.2em}\)か\(\hspace{0.2em}\ket{-}\hspace{0.2em}\))と定まってしまい, \(\hspace{-0.2em}\hspace{0.2em}\alpha\hspace{0.2em}\)や\(\hspace{0.2em}\beta\hspace{0.2em}\)が消えてしまったのに対して、今回は次元が\(\hspace{0.2em}4\hspace{0.2em}\)に対して\(\hspace{0.2em}2\hspace{0.2em}\)つずつの基底からなる空間に分けたため、比の形で部分的に測定前の情報が残っているというのが分かると思います。

ここで、注記ですが、\(\ket{0}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{1}\hspace{0.2em}\)はZゲートに対する固有状態 \(\hspace{-0.2em}\hspace{0.2em}(Z\ket{0}=\ket{0},Z\ket{1}=-\ket{1})\hspace{-0.2em}\hspace{0.2em}\) であって、\(\ket{0}\leftrightarrow \ket{1}\hspace{-0.2em}\hspace{0.2em}\) の変換が起きるのは X ゲートを作用させた時ということに注意してください。

3.古典誤り訂正

3.1 誤り訂正とは

古典誤り訂正についても、必要な部分だけ触れていきます。 ビットとqubit の性質や測定の違いから、古典誤り訂正を量子誤り訂正にほぼそのままに適用することはできませんが、考え方や用語等多くのものを共有しています。そのため、量子誤り訂正について知るために古典誤り訂正を学ぶことは価値があると言えます。

まず、そもそも誤り訂正とは、アルゴリズム起因などで入るものではありません。 コンピュータに物理的な実在がある以上、ビット(量子コンピュータであればqubit)の情報の担い手であるものが何らかの理由(ゆらぎや、他にも(二次)宇宙線の衝突など)によって想定外の挙動をしてしまう事が考えられます。こういう時にそのエラーが計算結果に影響を与える確率を抑えて実用上問題無いようにしようというのが誤り訂正です。ここで、例えば確率を\(\hspace{0.2em}10^{-30}\hspace{0.2em}\)とかにしようと言っているのであって、\(0\hspace{0.2em}\)にすると言っているわけでは無い事に注意してください。 たとえ、どんなに注意して状態を分けたとしても、（それこそ猿がシェイクスピアの作品を打ち出すくらいの）ものすごい低確率で一方から他方に移り合う事が出来てしまうはずです。

3.2 多数決

さて、その具体的な手法を紹介しましょう。 とてもシンプルな例としては多数決があります。 これは計算前のビットをコピーして\(\hspace{0.2em}3\hspace{0.2em}\)つに分け, それぞれについて計算を行います。 そして得られた結果のうち多いものを結果として採用します。

各ビットのエラー率を \(\hspace{-0.2em}\hspace{0.2em}p\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}(p\ll 1)\hspace{0.2em}\)とすると、前者であればエラーの起きる確率は\(\hspace{0.2em}1-p\hspace{0.2em}\)になります。後者であれば\(\hspace{0.2em}1-3p^2+2p^3\hspace{0.2em}\)となります。この時、\(p\ll 1\hspace{0.2em}\)から、\(3p^2-2p^3 < p\hspace{0.2em}\)となります。 例えば\(\hspace{0.2em}p\sim 10^{-5}\hspace{0.2em}\)であれば、前者では\(\hspace{0.2em}\sim 10^{-5}\hspace{0.2em}\)ですが、後者では\(\hspace{0.2em}\sim 10^{-10}\hspace{0.2em}\)となります。 このようにして、 \(\hspace{-0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つ \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つのビットのエラー率より最終的な計算結果が誤ったものになる確率を落とす技術が誤り訂正の技術です。

ここで、この訂正は計算中に何度でも行えることが大事です。もし、複雑な計算を行う際、最後にだけこの訂正を行おうとした時、（現在の古典ビットではすでにそこまで精度は低くないのですが、）それまでに起きるエラーの確率は大きかったとするとすでに手遅れ、すなわち、\(0\hspace{-0.2em}\hspace{0.2em}\) と \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) がランダムに混ざり合った状態になってしまいます。しかし、\(1\hspace{-0.2em}\hspace{0.2em}\) ステップ計算を行うたびに訂正を行えば、それぞれの段階でエラーが起きているビットの数は少なく、最終的なエラー率は小さくなります。

また、厳密には非自明な話ですが、訂正を行わずともどのタイミングでどこにエラーが起きたか推定までできていればそこからの影響を逆算して結果を訂正することができます。例えば \(\hspace{-0.2em}\hspace{0.2em}101\hspace{-0.2em}\hspace{0.2em}\) 個のビットで計算を行った時、最終的に\(\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) が \(\hspace{-0.2em}\hspace{0.2em}50\hspace{-0.2em}\hspace{0.2em}\) 個, \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) が \(\hspace{-0.2em}\hspace{0.2em}51\hspace{-0.2em}\hspace{0.2em}\) 個 となっていたという情報だけでは \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) と \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) のどちらが正しい計算結果であるかはかなり怪しいです。しかし、途中過程で \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) が \(\hspace{-0.2em}\hspace{0.2em}20\hspace{-0.2em}\hspace{0.2em}\) 個, \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) が \(\hspace{-0.2em}\hspace{0.2em}81\hspace{-0.2em}\hspace{0.2em}\) 個となっており、その \(\hspace{-0.2em}\hspace{0.2em}20\hspace{-0.2em}\hspace{0.2em}\) 個のうちほとんどが最終結果 \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) となったとすると、明らかに途中過程の時点では正しい中間過程は \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) である可能性が高く、まだエラーが起きていなかったと考えられる \(\hspace{-0.2em}\hspace{0.2em}81\hspace{-0.2em}\hspace{0.2em}\) 個のうち多くが属する\(\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) の方が最終結果として尤もらしいと言うことになります。 これをより細かく分けていけば、各ステップでどのビットがエラーを起こしたか、変化が少ない方から推定していくことができます。（一般にはエラーを起こしてしまったビットは棄却せず、そのエラーの影響を逆算して考えます）そうすれば、最終的には \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) と \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) が半々となったとしても、途中の推定経過からより尤もらしい結果を出すことができます。 量子コンピュータでは実際推定まで考えてこの方法で結果を訂正する（訂正を遅延する）と言う考えもメジャーのようです。

さて、符号理論の用語の話に入っていきます。

まず、符号状態とは誤りが起きていない正常な状態として考えられる状態をさし、符号状態の集合（古典の場合は基本的に有限個の要素からなる集合（特に線形符号の場合は有限個の基底からなる\(\hspace{0.2em}F_2\hspace{-0.2em}\hspace{0.2em}\) 上の線形空間）, 量子の場合は有限個の基底からなる複素線形空間）を符号空間と呼びます。 今回で言えば、誤りが起きていなければ \(\hspace{-0.2em}\hspace{0.2em}3\hspace{-0.2em}\hspace{0.2em}\) つの計算結果は一致するはずですから、 000 と 111 が符号状態、符号空間は \(\hspace{-0.2em}\hspace{0.2em}\{000,111\}\hspace{-0.2em}\hspace{0.2em}\) ということになります。

次に、誤りについて検出可能と訂正可能という言葉に触れておきます。符号状態のうちどの \(\hspace{-0.2em}\hspace{0.2em}2\hspace{-0.2em}\hspace{0.2em}\) つを見ても\(\hspace{0.2em}d\hspace{0.2em}\)個以上のビットが異なっているとき、ある符号状態から \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) 個以上 \(\hspace{-0.2em}\hspace{0.2em}d-1\hspace{-0.2em}\hspace{0.2em}\) 個以下のビットがエラーを起こして元の状態にないとすれば、他の符号状態になることはできず、符号空間の外にあることになります。このとき \(\hspace{-0.2em}\hspace{0.2em}d-1\hspace{-0.2em}\hspace{0.2em}\) 個以下の誤りが検出可能であると言います。また、このときにある符号状態から \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) 個以上 \(\hspace{-0.2em}\hspace{0.2em}\lfloor \frac{d-1}{2}\rfloor\hspace{-0.2em}\hspace{0.2em}\) 個以下のビットがエラーを起こしたとき、この状態に最も 「近い」（=ビットの異なりが最も少ない）符号状態が一意に定まり、この状態はその符号状態からエラーが起きた可能性が最も高いと考えられます。（通常、各ビットにエラーが起きる確率は\(\hspace{0.2em}p\ll 1\hspace{0.2em}\)であり、その状態になった条件付き確率で考えて元の符号状態はビットの反転が少ないものである可能性が高い\(\hspace{0.2em}(d_1 < d_2\Rightarrow p^{d_1}\gg p^{d_2})\hspace{0.2em}\)からです）注意してほしいのは、上記の多数決による訂正という考え方もこの一例であるという事です。このように推定してエラーを訂正したとき、\(\lfloor \frac{d-1}{2}\rfloor\hspace{-0.2em}\hspace{0.2em}\) 個以下のビットが反転した状態をつねに正しい元の符号状態に訂正できます。よって、このとき\(\hspace{0.2em}\lfloor \frac{d-1}{2}\rfloor\hspace{0.2em}\)個以下の誤りが訂正可能であるといえます。

（\(\uparrow\hspace{0.2em}\)ここで、さらっと書きましたが訂正すべきビットの数が最も少ない符号状態が元の符号状態として最も尤もらしいという考え方は後にも出てくる復号の極めて重要な考え方です。）

余談ですが、基本的に同じ量の情報に対してより多くの誤りを訂正するには符号を長くする必要があります。しかし符号自体が長くなったらエラーを起こすbit の期待値が比例して増えてしまうから意味がないのではと考える人がいるかもしれません。しかし、実際には、訂正可能ビット数の増加によるエラー率の減少は指数的であるため、それは問題になりません。

3.3 線形符号

この他にも様々な古典的な誤り訂正が存在します。 上の多数決は線形符号と呼ばれる符号の一例です。 ここで、線形符号をもう \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つ紹介しておきます。 この例を無視しても、量子誤り訂正の理解は可能ですが、この例を通じて、より複雑な符号空間の例、また、シンドローム測定およびその測定結果のパリティと符号状態および訂正の関係を知っておくことは後で量子誤り訂正符号における、スタビライザー測定を元にした復号(エラー推定)を理解する上で役に立つはずです。

\(\hspace{0.2em}4\hspace{-0.2em}\hspace{0.2em}\) bit の情報を \(\hspace{-0.2em}\hspace{0.2em}7\hspace{-0.2em}\hspace{0.2em}\) bit で表す符号を考えます。 以下, 列ベクトルと ビット列を対応させて考えます。 具体的には、ビット列 \(\hspace{-0.2em}\hspace{0.2em}b_1b_2\ldots b_k\hspace{-0.2em}\hspace{0.2em}\) に対して\(\hspace{0.2em}F_2\hspace{-0.2em}\hspace{0.2em}\) 上の列ベクトル \(\hspace{-0.2em}\hspace{0.2em}\mathbf{v}={}^t(b_1,b_2,\ldots, b_k)\hspace{0.2em}\)を対応させます。（\(F_2\hspace{-0.2em}\hspace{0.2em}\) がよく分からない人はベクトルの各要素が \(\hspace{-0.2em}\hspace{0.2em}\{0,1\}\hspace{-0.2em}\hspace{0.2em}\) からなり、\(a\hspace{-0.2em}\hspace{0.2em}\) と \(\hspace{-0.2em}\hspace{0.2em}b\hspace{-0.2em}\hspace{0.2em}\) の和が \(\hspace{-0.2em}\hspace{0.2em}a+b\hspace{-0.2em}\hspace{0.2em}\) を \(\hspace{-0.2em}\hspace{0.2em}2\hspace{-0.2em}\hspace{0.2em}\) で割った余りで表されるものとして考えてください。） 各要素が \(\hspace{-0.2em}\hspace{0.2em}F_2\hspace{-0.2em}\hspace{0.2em}\) の元であるような \(\hspace{-0.2em}\hspace{0.2em}4\times 7\hspace{-0.2em}\hspace{0.2em}\) の行列 \(\hspace{-0.2em}\hspace{0.2em}G\in M_{4,7}(F_2)\hspace{-0.2em}\hspace{0.2em}\) を

で定めて、\(4\hspace{-0.2em}\hspace{0.2em}\) bit の情報 \(\hspace{-0.2em}\hspace{0.2em}\mathbf{x}\hspace{-0.2em}\hspace{0.2em}\) に対応する符号 \(\hspace{-0.2em}\hspace{0.2em}\mathbf{y}\hspace{-0.2em}\hspace{0.2em}\) を\(\hspace{0.2em}\mathbf{y}={}^tG\mathbf{x}\hspace{-0.2em}\hspace{0.2em}\) で定めます。 例えば、\(\mathbf{x}={}^t(1,0,1,0)\hspace{0.2em}\)であれば、\(\mathbf{y}={}^t(1,0,1,0,1,0,1)\hspace{-0.2em}\hspace{0.2em}\) となります。この行列 \(\hspace{-0.2em}\hspace{0.2em}G\hspace{-0.2em}\hspace{0.2em}\) を生成行列と呼びます。

\(\hspace{0.2em}7\hspace{-0.2em}\hspace{0.2em}\) bitのbit列（\(2^7=128\hspace{-0.2em}\hspace{0.2em}\) 個）全体に対応するベクトル空間は \(\hspace{-0.2em}\hspace{0.2em}F_2\hspace{-0.2em}\hspace{0.2em}\) 上の \(\hspace{-0.2em}\hspace{0.2em}7\hspace{-0.2em}\hspace{0.2em}\) 次元空間 \(\hspace{-0.2em}\hspace{0.2em}(F_2)^7\hspace{-0.2em}\hspace{0.2em}\) として考えられます。 符号空間 \(\hspace{-0.2em}\hspace{0.2em}C\hspace{-0.2em}\hspace{0.2em}\) はこの空間の元の部分集合であるわけですが、符号状態の定められ方から、これは、 \(\hspace{-0.2em}{}^t G\hspace{0.2em}\)の各列を基底とした \(\hspace{-0.2em}\hspace{0.2em}(F_2)^7\hspace{-0.2em}\hspace{0.2em}\) の \(\hspace{-0.2em}\hspace{0.2em}4\hspace{-0.2em}\hspace{0.2em}\) 次元線形部分空間となっていることが分かります。

ちなみに、この符号は何個までの誤りをそれぞれ検出可能, 訂正可能でしょうか？答えはそれぞれ \(\hspace{-0.2em}\hspace{0.2em}3\hspace{-0.2em}\hspace{0.2em}\) 個, \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) 個です。直接確認しようとすると大変でしょう。比較的簡単に確認する方法があるので気になった人は線形符号の性質を調べてみてください。

ここで、符号空間は次のような空間として考えることもできます。 この視点の転換が後で出てくるスタビライザー状態という考え方のカギとなります。 次のパリティ検査行列 \(\hspace{-0.2em}\hspace{0.2em}H\in M_{3,7}(F_2)\hspace{-0.2em}\hspace{0.2em}\) というものを考えます。

そして符号空間 \(\hspace{-0.2em}\hspace{0.2em}C\hspace{-0.2em}\hspace{0.2em}\) は \(\hspace{-0.2em}\hspace{0.2em}H\mathbf{y}=\mathbf{0}\hspace{-0.2em}\hspace{0.2em}\) をみたす \(\hspace{-0.2em}\hspace{0.2em}(F_2)^7\hspace{-0.2em}\hspace{0.2em}\) の部分空間と言えます。これは次のようにも考えられます。(以下の説明は証明を与えようとしているものではありません。) 各行を \(\hspace{-0.2em}\hspace{0.2em}\mathbf{h}_1\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\mathbf{h}_2\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\mathbf{h}_3\hspace{-0.2em}\hspace{0.2em}\) とすると、\((F_2)^7\hspace{-0.2em}\hspace{0.2em}\) の \(\hspace{-0.2em}\hspace{0.2em}2^7\hspace{-0.2em}\hspace{0.2em}\) 個の元のうち、ちょうど半分が \(\hspace{-0.2em}\hspace{0.2em}h_1\mathbf{y}=0\hspace{0.2em}\), もう半分が \(\hspace{-0.2em}\hspace{0.2em}h_1\mathbf{y}=1\hspace{-0.2em}\hspace{0.2em}\) となります。 さらに前者のうちちょうど半分が\(\hspace{0.2em}h_2\mathbf{y}=0\hspace{0.2em}\), もう半分が\(\hspace{0.2em}h_2\mathbf{y}=1\hspace{-0.2em}\hspace{0.2em}\) となります。最後にさらにこの前者のうち半分が\(\hspace{0.2em}h_3\mathbf{y}=0\hspace{-0.2em}\hspace{0.2em}\) となり、\(2^7÷2^3=2^4\hspace{-0.2em}\hspace{0.2em}\) 個の元が条件をみたし、これが符号空間の元と完全に一致します。

これを確かめるには\(\hspace{0.2em}H{}^t G=\mathbf{O}\hspace{-0.2em}\hspace{0.2em}\) である事と、\(G\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}H\hspace{-0.2em}\hspace{0.2em}\) の各行がそれぞれ線形独立であることを確かめればよいです。 （興味があればぜひ確かめてみてください）

ここで、\(G\hspace{0.2em}\)と\(\hspace{0.2em}H\hspace{0.2em}\)の行があわせて線形独立である必要はなく、実際成り立ちません。これは生成行列 \(\hspace{-0.2em}\hspace{0.2em}G\hspace{-0.2em}\hspace{0.2em}\) の各行とパリティ検査行列\(\hspace{0.2em}H\hspace{-0.2em}\hspace{0.2em}\) の各行は行ベクトルで表記したとき見た目上は共通のものとなっていても実は本質的に異なるもの(双対空間の元)を指しており、比較すべき対象に無いことに起因しています。例えば、直交補空間のようなものとは異なります。実空間上でイメージすると、ちょうど一致するため、注意が必要です。

\(\hspace{0.2em}H\mathbf{y}=\mathbf{0}\hspace{0.2em}\)ならば訂正する必要はありません。 逆に言えば、そうでない場合は訂正する必要があります。 \(\hspace{0.2em}H\mathbf{y}\hspace{-0.2em}\hspace{0.2em}\) を（シンドローム）測定値(結果)と呼びます。 先にも書いたように訂正すべきビット数が最も少ないものがエラーが起きる前の状態として最も尤もらしいと考えられます。 この状態にするにはどのビットを反転させなければならないか考えてみましょう。

ここで、線形符号の面白い点はどの符号状態からエラーが起きたかによらず、測定結果だけから定まるという事です。 なぜなら \(\hspace{-0.2em}\hspace{0.2em}\mathbf{v}\hspace{-0.2em}\hspace{0.2em}\) を元の符号状態、\(\mathbf{e}\hspace{-0.2em}\hspace{0.2em}\) がエラーによる反転を表すとしたとき、 このエラーが起きた後の状態 \(\hspace{-0.2em}\hspace{0.2em}\mathbf{v}+\mathbf{e}\hspace{-0.2em}\hspace{0.2em}\) についての測定結果は、 \(\hspace{0.2em}H(\mathbf{v}+\mathbf{e})\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}=H\mathbf{v}+H\mathbf{e}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}=\mathbf{0}+H\mathbf{e}=H\mathbf{e}\hspace{0.2em}\) となり、\(\mathbf{v}\hspace{-0.2em}\hspace{0.2em}\) に依存しないからです。 どこを訂正すれば良いかは、次の手続きによって逆算できます。 まず、\(7\hspace{-0.2em}\hspace{0.2em}\) つのビットに対するエラーパターン \(\hspace{-0.2em}\hspace{0.2em}2^7=128\hspace{-0.2em}\hspace{0.2em}\) 通りそれぞれに対して、 測定結果がどうなるかということから逆算すれば良いです。 その上で各測定結果に対して、その測定結果になるようなエラーパターンのうちエラーの起きているビット数が 最も少ないものが最も尤もらしいエラーパターンとして考えられます。

例えば今回の符号でいえば、測定結果が全て \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) であれば、何も訂正しない（=訂正ビット数は \(\hspace{-0.2em}\hspace{0.2em}0\)）パターンが最も尤もらしいと考えられます。 測定結果としてあり得るもの \(\hspace{-0.2em}\hspace{0.2em}2^3=8\hspace{-0.2em}\hspace{0.2em}\) のうち残りの \(\hspace{-0.2em}\hspace{0.2em}7\hspace{-0.2em}\hspace{0.2em}\) 通りについては \(\hspace{-0.2em}\hspace{0.2em}7\hspace{-0.2em}\hspace{0.2em}\) つのビットのうちいずれか \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つを訂正する訂正パターン \(\hspace{-0.2em}\hspace{0.2em}7\hspace{-0.2em}\hspace{0.2em}\) 通りのいずれか \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つと対応し、下表のようになります。

先に上の行列で生成された線形符号は \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つまでの誤りを訂正可能と書きましたが、 この測定と訂正の手続きによって、その上限を達成できていることが分かります。 一般に、線形符号に対して訂正の上限はこのパリティ検査行列 （各行が独立、かつ、この行列を左から状態にかけて \(\hspace{-0.2em}\hspace{0.2em}\mathbf{0}\hspace{-0.2em}\hspace{0.2em}\) となる事と符号状態であることが同値であるようなもの） と上に書いたような手続きで求めたシンドローム測定値からのエラー推定（＝訂正パターンの決定） によって、達成出来ることが証明できます。 すでに述べてきた事実を整理すれば、そこまで難しい証明ではありません（人によっては自明に感じるかもしれません）ので ぜひ興味がある人はチャレンジしてみてください。

最後に練習問題を記しておきます。 先にこの章で最初に述べた多数決も線形符号の一種と述べましたが、 具体的には生成行列、パリティ検査行列、そして各測定結果から推定されるエラー推定はどのように与えられるでしょうか。

解答（クリックすると開きます）

これは解の一例ですが、

$$ G=\left( \begin{array}{ccc} 1 & 1 & 1 \\ \end{array} \right) , \quad H=\left( \begin{array}{ccc} 1 & 1 & 0 \\ 0 & 1 & 1 \\ \end{array} \right) $$

で、推定は以下の表のようになります。

測定結果	\(\hspace{-0.2em}\hspace{0.2em}{}^t(0,0)\hspace{-0.2em}\hspace{0.2em}\)	\(\hspace{-0.2em}\hspace{0.2em}{}^t(0,1)\hspace{-0.2em}\hspace{0.2em}\)	\(\hspace{-0.2em}\hspace{0.2em}{}^t(1,0)\hspace{-0.2em}\hspace{0.2em}\)	\(\hspace{-0.2em}\hspace{0.2em}{}^t(1,1)\hspace{-0.2em}\hspace{0.2em}\)
エラー推定	エラーなし	\(\hspace{0.2em}3\hspace{0.2em}\)番目の ビットにエラー	\(\hspace{-0.2em}\hspace{0.2em}1\hspace{0.2em}\)番目の ビットにエラー	\(\hspace{-0.2em}\hspace{0.2em}2\hspace{0.2em}\)番目の ビットにエラー

多数決でない線形符号の例から得られた大切な考え方として、 あくまで単純なコピーだけでなく、一般に、\(k\hspace{-0.2em}\hspace{0.2em}\) ビット分の情報を、\(n > k\hspace{-0.2em}\hspace{0.2em}\) なる \(\hspace{-0.2em}\hspace{0.2em}n\hspace{-0.2em}\hspace{0.2em}\) ビットを用いて表し、その余力を誤りの検出に割くことで誤り訂正ができるというものがあります。

ここまでお疲れ様でした。 次の章からはいよいよ量子誤りの訂正の話に入っていきます。 古典誤りと比較した時の量子誤りの難点と特性とそれをどのように回避・利用しているか、というところにぜひ注目して読んでください。

4.量子誤り訂正

4.1 量子誤り訂正の困難

量子誤りの難点の \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つはそのエラーの起こり方の多様性によります。

そもそも qubit には具体的な物理的実装に由来したさまざまなエラーが考えられ、その中にはqubitの消失エラーやリークエラー(\(\ket{0}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{1}\hspace{-0.2em}\hspace{0.2em}\) およびその重ね合わせ以外の状態にとんでしまうエラー)等、扱いが難しいエラーもありますが、ここではそれぞれのqubitの状態が他のqubitとは独立に少しだけずれてしまうようなものを考えます。

そこまで限定しても、古典ではビットに対するエラーとして正しいか\(\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) と \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) が反転しているかという単純な \(\hspace{-0.2em}\hspace{0.2em}2\hspace{-0.2em}\hspace{0.2em}\) 通りしか無かったものが、量子では例えば元々 \(\hspace{-0.2em}\hspace{0.2em}\ket{0}\hspace{-0.2em}\hspace{0.2em}\) だったものが、\(\alpha\ket{0}+\beta\ket{1}\hspace{-0.2em}\hspace{0.2em}\) になるという \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) qubit 分、すなわちおおよそ \(\hspace{-0.2em}\hspace{0.2em}\mathbb{R}^2\hspace{-0.2em}\hspace{0.2em}\) 程度の自由度があり、非可算無限個のエラーの起こり方があることになります。

これは一見、絶望的な事態に思えます。なぜなら、量子計算において系（今後時々用います、分からない人は計算に用いている qubit 全体を指してると思ってください）の情報を得るためにできることは有限回の測定であり、その結果から推定できるエラーのパターンは有限個しかないからです。また、仮に近似的な訂正を行うとしても、その測定結果のパターンからエラーの推定を個別に与えるのは至難の技と考えられるからです。 この事から、仮に先のように符号空間や測定のパターンを用いたとしても符号空間に 戻すという操作 が極めて困難だと分かります。

さらに、ここで測定について思い出すことで、もう \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つ困難があることに気づきます。先に、訂正においては計算過程の途中で細かく訂正、少なくとも推定する必要があると述べました。そして、訂正または推定を行うためには根拠となる情報が必要ですから、測定を行う必要があります。しかし、導入のところで述べたように測定を行うと 系の(qubitの)状態が変わってしまいます。系を変えない測定というのは情報との等価性からすでにどのような結果が出るか分かっている測定（すなわち無意味な測定）のみです。

また、No cloning theorem から系の状態を知らないままコピーするということはできず、細かく測定してそれぞれの段階での状態を知って途中過程の状態を再現して続きの計算を行う等を考えても、そもそもそのようなことができる程度の複雑さであれば、古典コンピュータでシミュレーションを行えるということになります。

4.2 量子誤り訂正

情報を得るための手段としては測定しかない、というのは事実です。 しかし、量子状態を符号空間に戻すためにできる事は測定結果をもとにこちらが指定する操作だけではありません。 測定による系の変化を、系を符号状態に戻すために使う というのが鍵となるアイデアです。（厳密には測定により変化させた後の状態を、測定結果に依存する操作によって補正する、という形になります。）

測定が系の状態を変えてしまう、というのは先ほどまで量子誤り訂正における困難でしたが、これが裏返る事で、量子誤り訂正が急に実現可能なものに見えてきます。

まず、\(3\hspace{-0.2em}\hspace{0.2em}\) 章の最後で述べた誤り訂正の考え方、持ちたい情報に対して過剰なビット(qubit)を与え、その余剰分で誤り訂正を行うという事を思い出します。
それは、具体的には状態空間の部分空間としての符号空間という形で現れています。 符号空間が情報を表す空間であり、状態空間がそれよりも真に大きいというのがその余剰分と言えます。 そして、測定とは何も \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) qubit の情報を得るためのものではなく、状態を特定の空間（この空間はこちらが指定できず、測定結果に依存する）に射影するものであったことを思い出します。

すなわち、系の状態を測定によって符号空間に射影する事を目標にします。 逆に言えば、元の \(\hspace{-0.2em}\hspace{0.2em}n\hspace{-0.2em}\hspace{0.2em}\) qubit の状態空間の中で、適当な条件（具体的には可換かつ独立）をみたすX,Z多体測定の組を指定し、 その測定全てに対して \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) を返すような空間を符号空間として定める事を考えます。 この測定を スタビライザー測定 と呼び、このような符号を スタビライザー符号 と呼びます。 当然測定結果は指定できないのでいくらかの確率で \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) となってしまい、誤った空間へ射影されます。 これを測定結果から正しい符号空間へ戻す手続きが先の線形符号におけるエラー推定に対応します。

（注 : 今回は測定の種類をやや限定していますが、一般にはスタビライザー符号と呼ぶ際、測定としてあり得るもの全体や、パウリ群のうち固有値が実数であるようなもの全体から測定を選ぶものを指すことが多いと思います。）

中途半端にずれている状態は測定によって一定の確率で真反対の状態に押し付けてしまうと同時にそれを検出し、線形符号と同様に訂正しようという事です。

具体的には、\(n\hspace{-0.2em}\hspace{0.2em}\) 個の physical qubit （後述）からなる状態空間は \(\hspace{-0.2em}\hspace{0.2em}2^n\hspace{-0.2em}\hspace{0.2em}\) 次元の複素ベクトル空間であり、測定は \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) または \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) に対応する固有空間でちょうど次元が半分の固有空間を指定するため、\(n\hspace{-0.2em}\hspace{0.2em}\) 個の physical qubit で \(\hspace{-0.2em}\hspace{0.2em}k\hspace{-0.2em}\hspace{0.2em}\) 個の logical qubit（後述）の情報を表す時、 \(\hspace{-0.2em}n-k\hspace{-0.2em}\hspace{0.2em}\) 個の測定によって、符号状態を指定します。さらに、残りの \(\hspace{-0.2em}\hspace{0.2em}k\hspace{-0.2em}\hspace{0.2em}\) 個の自由度も測定によって指定でき、これらは logical qubit の基底となります。 以下では、\(k=1\hspace{-0.2em}\hspace{0.2em}\) の場合を扱います。 \(\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) qubit 分の情報を符号化できれば同じものを各qubitに対して適応すれば誤り訂正できるため、現在多く研究されているものも 1 qubit 分の情報を表す訂正符号です。

ここで、情報を持つ実在するqubit を physical qubit、それらのうち符号状態で表される状態を logical qubit と呼びます。

4.3 Xエラーにのみ対応する量子誤り訂正符号

まず、多数決を元にした不完全な量子誤り訂正符号を例にあげます。 ここで、以下の符号が不完全である点は対応できるエラーが部分的である点であり、 手続き自体に欠陥がある訳では無い事を先に断っておきます。

\(\hspace{0.2em}3\hspace{-0.2em}\hspace{0.2em}\) qubit からなる符号で \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) qubit 分の情報量を表す事を考えます。 必要な測定は \(\hspace{-0.2em}\hspace{0.2em}2\hspace{-0.2em}\hspace{0.2em}\) つとなりますが、ここでは\(\hspace{0.2em}Z_1Z_2\hspace{-0.2em}\hspace{0.2em}\) と \(\hspace{-0.2em}\hspace{0.2em}Z_2Z_3\hspace{-0.2em}\hspace{0.2em}\) を指定します。 符号空間は\(\hspace{0.2em}\ket{000},\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}\ket{001},\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}\ket{010},\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}\ket{011},\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}\ket{100},\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}\ket{101},\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}\ket{110},\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}\ket{111}\hspace{-0.2em}\hspace{0.2em}\) で張られる \(\hspace{-0.2em}\hspace{0.2em}8\hspace{-0.2em}\hspace{0.2em}\) 次元の状態空間のうちの \(\hspace{-0.2em}\hspace{0.2em}2\hspace{-0.2em}\hspace{0.2em}\) 次元部分空間となる訳ですが、この時具体的にはどのような基底で書かれるでしょうか？ この場合は分かりやすく\(\hspace{0.2em}\ket{000},\ket{111}\hspace{-0.2em}\hspace{0.2em}\) によって張られる空間となります。この\(\hspace{0.2em}2\hspace{-0.2em}\hspace{0.2em}\) つの状態が\(\hspace{0.2em}Z_1Z_2,Z_2Z_3\hspace{-0.2em}\hspace{0.2em}\) 両方の固有値 \(\hspace{-0.2em}\hspace{0.2em}1\)(測定結果\(\hspace{0.2em}0\hspace{0.2em}\)) に対応する固有状態であることは明らかです。（これが分からない人はもう一度 2.2 測定について確認してください。） 以下では、logical qubit , すなわち \(\hspace{-0.2em}\hspace{0.2em}3\hspace{-0.2em}\hspace{0.2em}\) つの physical qubit で表される \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) qubit分の情報のその基底を \(\hspace{-0.2em}\hspace{0.2em}\ket{0}_L=\ket{000}\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\ket{1}_L=\ket{111}\hspace{0.2em}\)とします。すなわちlogical qubit の基底を定める測定を \(\hspace{-0.2em}\hspace{0.2em}Z_1Z_2Z_3\hspace{-0.2em}\hspace{0.2em}\) とします。(この定め方はスタビライザー測定の組みに対して一意ではありません。)

具体的な手続きは次のようになります。

1. （計算を行う。）
2. \(\hspace{-0.2em}\hspace{0.2em}Z_1Z_2\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}Z_2,Z_3\hspace{-0.2em}\hspace{0.2em}\) 測定を行う。
3. 測定結果を元に訂正を行う。
4. (次の計算を行う)

本来、1.の計算の結果として\(\hspace{0.2em}\ket{\psi}=\alpha\ket{0}+\beta\ket{1}\hspace{-0.2em}\hspace{0.2em}\) になるはずが エラーが起き、 \(\hspace{0.2em}\ket{0}_{error}=\left(1-\frac{\epsilon}{2}\right)\ket{0}+i\sqrt{\epsilon}\ket{1}\hspace{0.2em}\), \(\hspace{0.2em}\ket{1}_{error}=\left(1-\frac{\epsilon}{2}\right)\ket{1}+i\sqrt{\epsilon}\ket{0}\hspace{0.2em}\) として \(\hspace{0.2em}\ket{\psi}=\alpha\ket{0}_{error}+\beta\ket{1}_{error}\hspace{-0.2em}\) （ただし、\(\epsilon\ll 1\)）となってしまった場合を考えます。 (これは微小角度のX回転エラーの近似的表記です。) もちろん符号が無かったとすると、このままとなります。 もし \(\hspace{-0.2em}\hspace{0.2em}3\hspace{-0.2em}\hspace{0.2em}\) qubitの符号にこのようなエラーが起きると、 本来は\(\hspace{0.2em}\ket{\psi}_L=\alpha\ket{0}_L+\beta\ket{1}_L\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}=\alpha\ket{000}+\beta\ket{111}\hspace{-0.2em}\hspace{0.2em}\) となるはずが、 \(\hspace{0.2em}\ket{\psi}=\alpha\ket{0}_{error}\ket{0}_{error}\ket{0}_{error}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}+\beta\ket{1}_{error}\ket{1}_{error}\ket{1}_{error}\hspace{0.2em}\)となります。測定前の各状態の係数はそれぞれの項及び \(\hspace{-0.2em}\hspace{0.2em}\alpha, \beta\hspace{-0.2em}\hspace{0.2em}\) について \(\hspace{-0.2em}\hspace{0.2em}\epsilon\hspace{-0.2em}\hspace{0.2em}\) の次数が最も低い項のみを採用して

となります。このうち測定後の状態は、近似的に正規化して、大まかに
\(\hspace{0.2em}Z_1Z_2,Z_2Z_3\hspace{0.2em}\)測定の結果がそれぞれ\(\hspace{0.2em}0,0\hspace{0.2em}\)であった時、\(\ket{\psi}_{after}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}=(\alpha-i\epsilon^{\frac{3}{2}}\beta)\ket{000}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}+(\beta-i\epsilon^{\frac{3}{2}}\alpha)\ket{111}\hspace{0.2em}\),
\(\hspace{0.2em}Z_1Z_2,Z_2Z_3\hspace{0.2em}\)測定の結果がそれぞれ\(\hspace{0.2em}0,1\hspace{0.2em}\)であった時、\(\ket{\psi}_{after}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}=(\alpha+i\epsilon^{\frac{1}{2}}\beta)\ket{001}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}+(\beta+i\epsilon^{\frac{1}{2}}\alpha)\ket{110}\hspace{0.2em}\),
\(\hspace{0.2em}Z_1Z_2,Z_2Z_3\hspace{0.2em}\)測定の結果がそれぞれ\(\hspace{0.2em}1,0\hspace{0.2em}\)であった時、\(\ket{\psi}_{after}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}=(\alpha+i\epsilon^{\frac{1}{2}}\beta)\ket{010}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}+(\beta+i\epsilon^{\frac{1}{2}}\alpha)\ket{101}\hspace{0.2em}\),
\(\hspace{0.2em}Z_1Z_2,Z_2Z_3\hspace{0.2em}\)測定の結果がそれぞれ\(\hspace{0.2em}1,1\hspace{0.2em}\)であった時、\(\ket{\psi}_{after}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}=(\alpha+i\epsilon^{\frac{1}{2}}\beta)\ket{100}\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}+(\beta+i\epsilon^{\frac{1}{2}}\alpha)\ket{011}\hspace{0.2em}\),
となります。ちなみにそれぞれの結果となる確率はおよそ、\(1-3\epsilon\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\epsilon\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\epsilon\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}\epsilon\hspace{0.2em}\)です。

この時、訂正、すなわち測定結果を受けての補正としては次のようなものが適切なことがわかると思います。

この結果として、誤り訂正を何も用いないで \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) qubit で計算を行った時と比較して、\(1-3\epsilon\hspace{-0.2em}\hspace{0.2em}\) の確率でエラーが緩和(\(\sim \epsilon^{\frac{1}{2}}\to \sim \epsilon^{\frac{3}{2}}\hspace{0.2em}\))されていることが分かると思います。 なお、よりシンプルなエラーモデルとして一定確率でqubitが反転するものを考えた時、 （\(1\hspace{0.2em}\)つ以上）\(2\hspace{-0.2em}\hspace{0.2em}\) つ以下の qubit が反転したときに 測定値が全て \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) となることはないという意味で\(\hspace{0.2em}2\hspace{0.2em}\)つまでのXエラーが検出可能、\(1\hspace{-0.2em}\hspace{0.2em}\) つ以下のqubit が反転したときにこの補正がうまくいくと言う意味で、\(1\hspace{0.2em}\)つまでのXエラーが訂正可能であるといいます。 （あくまでここでは Xエラー が検出・訂正可能であることに注意してください。）

これが量子誤り訂正の例となります。

一方で、これは Z エラーに対して無力です。 例えば、元の状態\(\hspace{0.2em}\ket{\psi}_L=\alpha\ket{000}+\beta\ket{111}\hspace{0.2em}\)から\(\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) 番目のqubitが位相反転エラーZエラー）を起こしたとすると \(\hspace{-0.2em}\hspace{0.2em}\ket{\psi}_L=\alpha\ket{000}-\beta\ket{111}\hspace{-0.2em}\hspace{0.2em}\) となってしまい、状態として異なりますが、スタビライザー測定からは誤りを検出できません。

量子誤り訂正において\(\hspace{0.2em}a\hspace{0.2em}\)個までの誤りが検出可能・訂正可能とは Xエラー、Zエラーが足して\(\hspace{0.2em}a\hspace{0.2em}\)個以下であるとき常に検出・訂正できることを言います。

4.4 量子誤り訂正符号と符号距離

逆にX,Zの両エラーに対応できれば、\(Y=iXZ\hspace{0.2em}\)と書けることと、\(X,Y,Z\hspace{0.2em}\)方向の回転の合成で全ての回転エラーは書けることから測定によってこれらの誤りに対応できれば十分ということが言えます。（少し非自明） その上で各qubit が独立にエラーを起こすとした場合、それをどれくらいの確率で検出できるかという精度（\(\epsilon\hspace{0.2em}\)の指数部にあたるもの）はいくつのqubitが反転エラーを起こしたときに一方の符号状態から他方の符号状態へ動くかということに依存します。 ここで、\(Y\hspace{-0.2em}\hspace{0.2em}\) エラーは(全体位相を無視して)\(\hspace{0.2em}XZ\hspace{0.2em}\)と書けるため、あるqubit が X,Z 両方向のエラーを同時に起こす確率はどちらかのみを起こす確率と等しい事に注意すると、スタビライザー符号が与えられたときその性能は結局次のような（ある種ゲームのような）手続きで求まる値に強く関連します。

符号に用いるスタビライザー符号、特にスタビライザー測定が与えられたとします。 今考えているのは \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) qubit 分の符号であることに気をつけると、 これは\(\hspace{0.2em}n\hspace{-0.2em}\hspace{0.2em}\) qubitからなる符号であるとき \(\hspace{-0.2em}\hspace{0.2em}n-1\hspace{-0.2em}\hspace{0.2em}\) 個のスタビライザー測定が与えられます。 そして、これらはそれぞれ \(\hspace{-0.2em}\hspace{0.2em}X_i,Z_i\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}(1\leq i\leq n)\hspace{-0.2em}\hspace{0.2em}\) の積で書かれています。 このとき次の問題を考えます。

最初、全ての測定値は \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) であるとします。

1. \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) 以上 \(\hspace{-0.2em}\hspace{0.2em}n\hspace{-0.2em}\hspace{0.2em}\) 以下の相異なる \(\hspace{-0.2em}\hspace{0.2em}d\hspace{-0.2em}\hspace{0.2em}\) 個の整数 \(\hspace{-0.2em}\hspace{0.2em}i_1,i_2,\ldots,i_d\hspace{-0.2em}\hspace{0.2em}\) を選びます。
2. \(\hspace{-0.2em}\hspace{0.2em}j=i_1,i_2,\ldots,i_d\hspace{-0.2em}\hspace{0.2em}\) それぞれについて、\(X_j\hspace{-0.2em}\hspace{0.2em}\) を含む測定の値を全て反転（\(0\leftrightarrow 1\)）するか何も変えないか選びます。
3. \(\hspace{-0.2em}\hspace{0.2em}j=i_1,i_2,\ldots,i_d\hspace{-0.2em}\hspace{0.2em}\) それぞれについて、\(Z_j\hspace{-0.2em}\hspace{0.2em}\) を含む測定の値を全て反転（\(0\leftrightarrow 1\)）するか何も変えないか選びます。

2.3.合わせて少なくとも\(\hspace{0.2em}1\hspace{0.2em}\)回は反転させることを選んだ（実際に反転するような測定が存在しなくても良い）上で、全てのスタビライザー測定の値を \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) であるようにしたいです。 これを達成できる最小の \(\hspace{-0.2em}\hspace{0.2em}d\hspace{-0.2em}\hspace{0.2em}\) はいくつですか？

これの答えの \(\hspace{-0.2em}\hspace{0.2em}d\hspace{-0.2em}\hspace{0.2em}\) に対して、\(d-1\hspace{0.2em}\)個までの誤りが検出可能で\(\hspace{0.2em}\lfloor \frac{d-1}{2}\rfloor\hspace{-0.2em}\hspace{0.2em}\) 個の誤りが訂正可能であるといいます。

基本的に、エラー訂正符号によって訂正された後のエラーの精度は\(\hspace{0.2em}\sim \epsilon^{\lfloor \frac{d-1}{2}\rfloor+1}\hspace{0.2em}\)となるため、 これが大きいほど性能の良い符号であると言えます。ただし、性能の良い符号ほど \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) qubit 分の情報を表すために多くの physical qubit を利用するため、その点はトレードオフの関係にあります。

先ほど考えたXエラーにのみ対応する量子誤り訂正符号で考えてみましょう。 X エラーしか考えない、というのは Z 測定の値のみ反転する、すなわち 2. では反転を常に行えず、3. においてのみ選択肢がある場合といえます。 \(\hspace{0.2em}Z_1Z_2\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}Z_2Z_3\hspace{-0.2em}\hspace{0.2em}\) がスタビライザー測定として与えられていますから、\(Z_1,Z_2,Z_3\hspace{0.2em}\)のうち少なくとも \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つの値を反転させた上で スタビライザー測定の値をともに \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) にする必要がありますが、これは\(\hspace{0.2em}Z_1,Z_2,Z_3\hspace{0.2em}\)すべてを反転させた時のみであり、\(d=3\hspace{-0.2em}\hspace{0.2em}\) と言えます。よって、\(2\hspace{0.2em}\)個以下のXエラーが検出可能であり、\(1\hspace{0.2em}\)個以下のXエラーが訂正可能です。

一方で、一般に誤り、すなわち2.3.の両方を考えたとき、 \(\hspace{-0.2em}d=1\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}i_1=1\hspace{-0.2em}\hspace{0.2em}\) として、\(X_1\hspace{-0.2em}\hspace{0.2em}\) を含むものを反転させるとそのようなスタビライザー測定は存在しないため全ての測定値は\(\hspace{0.2em}0\hspace{0.2em}\)のままであ流ので条件をみたしています。 よって、先ほどの符号は\(\hspace{0.2em}0\hspace{0.2em}\)個以下の誤りが検出可能、すなわち量子誤り訂正符号としては弱いと言えます。

4.4 \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つまで誤り検出可能な誤り訂正符号

では、どのようなものが条件をみたすでしょうか？ まず、\(d=2\hspace{0.2em}\)の例を挙げます。 \(\hspace{0.2em}n=5\hspace{0.2em}\), スタビライザー測定が \(\hspace{-0.2em}\hspace{0.2em}X_1X_2X_5\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}X_3X_4X_5\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}Z_1Z_3Z_5\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}Z_2Z_4Z_5\hspace{-0.2em}\hspace{0.2em}\) であるようなものを考えます。 これは可換かつ独立です。（定義が分かる人は確認してみてください。） このとき、ある\(\hspace{0.2em}i\hspace{-0.2em}\hspace{0.2em}\) を \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つ選んで \(\hspace{-0.2em}\hspace{0.2em}X_i\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}Z_i\hspace{-0.2em}\hspace{0.2em}\) を含む測定の結果を反転させても全てを \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) にすることができないことが分かるでしょう。 逆に、\(Z_1\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}Z_3\hspace{-0.2em}\hspace{0.2em}\) を含むものを（含んでいる個数だけ）それぞれ反転させると、全てを \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) にすることができてしまいます。 よって、この符号では \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つまでの誤りが検出可能、ただし訂正は \(\hspace{-0.2em}\hspace{0.2em}\lfloor \frac{2-1}{2}\rfloor=0\hspace{-0.2em}\hspace{0.2em}\) 個のためできないと分かります。

実はこの符号は表面符号と呼ばれる符号の\(\hspace{0.2em}d=2\hspace{-0.2em}\hspace{0.2em}\) のときにあたり、qubit と測定は下図のような関係があります。

4.5 \(\hspace{-0.2em}\hspace{0.2em}1\hspace{-0.2em}\hspace{0.2em}\) つまで誤り訂正可能な誤り訂正符号

最後に、\(d=3\hspace{0.2em}\)の例をあげます。 \(\hspace{0.2em}n=7\hspace{0.2em}\), スタビライザー測定が \(\hspace{-0.2em}\hspace{0.2em}X_1X_3X_5X_7\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}X_2X_3X_6X_7\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}X_4X_5X_6X_7\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}Z_1Z_3Z_5Z_7\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}Z_2Z_3Z_6Z_7\hspace{0.2em}\), \(\hspace{-0.2em}\hspace{0.2em}Z_4Z_5Z_6Z_7\hspace{-0.2em}\hspace{0.2em}\) であるようなものを考えます。 これは \(\hspace{-0.2em}\hspace{0.2em}d=3\hspace{-0.2em}\hspace{0.2em}\) となります。\(d=1,2\hspace{-0.2em}\hspace{0.2em}\) の時全ての測定結果を \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) にできないことは3.3 線形符号をヒントにぜひ確かめてみてください。 \(\hspace{0.2em}d=3\hspace{0.2em}\)のとき、\(X_1,X_2,X_3\hspace{-0.2em}\hspace{0.2em}\) を含むものを反転させると、全てを \(\hspace{-0.2em}\hspace{0.2em}0\hspace{-0.2em}\hspace{0.2em}\) にすることができ、 この符号では \(\hspace{-0.2em}\hspace{0.2em}2\hspace{-0.2em}\hspace{0.2em}\) つまでの誤りが検出可能、\(1\hspace{-0.2em}\hspace{0.2em}\) つまでの誤りが訂正可能ということがわかります。

4.6 展望

今回紹介するのはここまでですが、さらに先の符号を少しだけ紹介します。

毎回このような手続きで符号に対して符号距離 \(\hspace{-0.2em}\hspace{0.2em}d\hspace{-0.2em}\hspace{0.2em}\) を求めていては大変です。そこでしばしば、トポロジー的な性質を用いた符号が現れ、それらはトポロジカル符号とよばれます。 例えば、X測定、qubit、Z測定を面、辺、頂点にこの順に対応させて\(\hspace{0.2em}\partial(\partial D)=0\hspace{-0.2em}\hspace{0.2em}\) の性質から測定の可換性を保証するようなものです。 例えば、表面符号と呼ばれる符号はトーラスの性質から出来ています。 表面符号の例は実は \(\hspace{-0.2em}\hspace{0.2em}4.4\hspace{-0.2em}\hspace{0.2em}\) に登場しています。以下に\(\hspace{0.2em}d=3\hspace{-0.2em}\hspace{0.2em}\) の例も貼っておきますが、この一辺の長さを伸ばしていくことで符号距離をいくらでも大きくすることができます。

他にも color codeと呼ばれるものもあります。 表面符号は正方格子のような形をしていますが、他にもハニカム構造のような符号などもあります。 実は測定の際にはあまり多くのqubitに渡らない測定で行えるものが都合が良く(sparsity)、表面符号はいくら符号長を伸ばしても高々 \(\hspace{-0.2em}\hspace{0.2em}4\hspace{-0.2em}\hspace{0.2em}\) つのqubitにわたる測定しか行われない点で優れています。（他にも優れている点は多くあります。）さらに、ハニカム構造のものは高々 \(\hspace{-0.2em}\hspace{0.2em}3\hspace{-0.2em}\hspace{0.2em}\) つのqubitにわたる測定しか行われません。（六角格子を思い浮かべてみてください。） 符号やその復号アルゴリズムは現在も主要な研究対象であり、現在開発されている符号の中には面白い見た目のものや、その符号や復号のアルゴリズムが面白い符号が多く存在します。また、符号のlogical qubit に対して行いたい操作がphysical qubit に対してどう記述されるのかというのも面白い話題です。例えば、表面符号におけるCXゲートは格子手術等の形で行われ、これも面白い話題を含んでいます。 ぜひ興味があれば調べてみてください。

最後まで読んで下さった方々、ありがとうございました。 少しでも誤り訂正の雰囲気や面白さが伝われば幸いです。 続編（表面符号とその復号アルゴリズム等）は気が向いたら書こうと思います 所々説明を端折ったり省略しているところもあるので分からないこともあるかもしれません。この記事はQiita上でも公開していますので、そちらのコメント等で質問を頂ければと思います。

参考文献

1. "Quantum Computation and Quantum Information" M.A.Nielsen, I.L.Chuang. (Cambridge University Press)

2. "Quantum Error Correction for Beginners" S.J.Devitt, K.Nemoto, W.J.Munro. (arXiv:0905.2794 [quant-ph])