フォールトトレラント量子計算

フォールトトレラント量子計算（フォールトトレラントりょうしけいさん、fault-tolerant quantum computation）とは、量子計算を行う個々の素子（光、原子、スピン、量子ドットなど）に発生する雑音（デコヒーレンス）があっても、正確な量子計算の結果を得るための方法である。

雑音とデコヒーレンス

量子系では環境系との相互作用によってすぐに量子系としての性質（重ね合わせ状態やエンタングルメント）が失われてしまう。例えば、原子の内部状態は周りに存在する電磁場と相互作用することによってエネルギーや情報を失ってしまう（デコヒーレンス）。したがって実在する物理系を用いて量子ゲート（量子演算素子）を作ると、このようなデコヒーレンスの効果によって正常には作動せず、エラーが生じてしまう。このような量子ゲートにおけるエラーを訂正する方法が以下で述べる量子誤り訂正符号を用いた量子誤り訂正である。また、我々の日常生活において量子的性質（重ね合わせ状態やエンタングルメント、量子ジャンプ）があまり見られないのは、デコヒーレンスによると考えられている。

量子誤り訂正符号

例えば、古典情報処理では 0 を000、1を111と冗長化することによって古典情報に発生するエラーを訂正することができる。しかし、量子力学には複製不可能定理があるため、古典情報処理で行われている冗長化の技術をそのまま応用することはできない。さらに、量子情報は異なる量子状態の連続的な重ね合わせ状態をとるため、エラーを識別されるのが困難だと思われていた。しかし、1995年P. W. Shorは複数の量子ビットから構成される空間のうちの小さな部分空間に情報を符号化することによって、このような問題を克服できることを示した^[1]。これが世界で最初の量子誤り訂正符号である。その後、様々な人々によっていろいろな種類の量子誤り訂正符号が開発されている。