記事を探す

量子エラー訂正を、数式なしで学んでみる

銘柄情報

会社名ティッカー・市場記事で見る技術・分野
NTT9432・東証光量子
富士通6702・東証量子・量子HPC
IonQIONQ・NYSEイオントラップ
Rigetti ComputingRGTI・NASDAQ超伝導
SEALSQLAES・NASDAQ量子安全・耐量子暗号
D-Wave QuantumQBTS・NASDAQ量子アニーリング・ゲート型
Quantum Computing Inc.(QCi)QUBT・NASDAQ光・フォトニクス・半導体
IBMIBM・NYSE超伝導・量子サービス
じいじと量子ビットを守る盾を描いたアイキャッチ
じいじと量子ビットを守る盾を描いたアイキャッチ

今回の疑問

量子コンピュータの記事を読んでいると、「エラー訂正」「論理量子ビット」「フォールトトレラント(誤りが起きても計算を続けられるようにする考え方)」という言葉が出てきます。最初の私は、普通のパソコンにある誤字の修正のようなものだと思いました。ところが量子の世界では、情報そのものを直接のぞき込むと状態を壊してしまうことがあります。間違いを見つけたいのに、見方まで工夫しなければならない。ここが難しいところです。

IBM Quantum Learningの教材は、量子情報が非常に壊れやすいと説明しています。計算の正しさに影響するのは、周囲の環境、操作の不正確さ、測定などです。量子エラー訂正は、この難しさを前提にして、大きな計算をより正確に行うために研究されている考え方です。

この記事では、具体的な数式や符号の名前を覚えません。何を守ろうとしているのか、何を測っているのか、企業の発表を読むときに何を分ければよいかを、初心者の言葉で整理します。

なぜ量子情報は間違いやすいのか

普通のデジタル情報は、0と1をはっきり分けて扱います。多少の雑音が入っても、ある程度の幅をもたせて0か1かを判断できる場合があります。一方で量子ビットは、量子の状態を保ちながら操作し、最後に測定する必要があります。周囲との思わぬやり取りや、操作の小さなずれによって、望んだ状態から離れることがあります。

量子コンピュータを作る側は、周囲の影響を減らし、操作を正確にし、測定を改善しようとします。しかし、影響を減らす工夫だけで、長い計算のすべての誤りをなくせるわけではありません。だから、装置を良くする取り組みと、誤りを見つけて扱う計算上の工夫の両方が話題になります。

私はここを「壊れやすい荷物を、静かに運びながら中身を確かめる仕事」と覚えています。ただし荷物のたとえでは、量子状態をそのまま開けて見られない点を表せません。たとえは入口にして、実際には資料の説明へ戻ります。

量子情報が壊れやすい理由として、周囲の環境、操作のずれ、測定の影響を示す図
量子情報が壊れやすい理由として、周囲の環境、操作のずれ、測定の影響を示す図 図を拡大して見る ↗

エラー訂正は「答えを直接のぞかずに手がかりを得る」工夫

量子エラー訂正では、一つの大事な量子情報を、複数の物理量子ビットのまとまりとして扱う考え方があります。守りたい情報をそのまま測るのではなく、誤りが起きたかどうかを示す手がかりを得て、必要な処理を考えます。この手がかりは、教材ではシンドロームと呼ばれます。

大切なのは、シンドロームが「元の答えそのもの」ではないことです。どこかに誤りらしい変化があるかを知らせる印のようなものです。検査結果を集め、どのような誤りが起きた可能性があるかを考え、訂正の操作を選びます。すべての誤りをいつでも完全に直せる、という意味ではありません。

ここで「複数の量子ビットを使うなら、数が多いほど安全」と短く結論づけないようにします。どんな符号を使うのか、操作と測定の誤差はどの程度か、検査をどれだけ繰り返せるかなどが関係します。数字を見たら、物理量子ビットの数なのか、論理量子ビットの数なのか、検査の条件は何かを確認します。

複数の量子ビットと検査の手がかりで誤りを見つける考え方を学ぶ男性じいじの図解
複数の量子ビットと検査の手がかりで誤りを見つける考え方を学ぶ男性じいじの図解 図を拡大して見る ↗

物理量子ビットと論理量子ビットを分ける

装置の中で実際に使う一つ一つの量子ビットを、物理量子ビットと呼びます。複数の物理量子ビットと検査の仕組みで守ろうとする、計算上のまとまりが論理量子ビットです。両方とも「量子ビット」と呼ばれるため、ニュースを読むときには特に混同しやすい言葉です。

論理量子ビットの話では、何個の物理量子ビットを使ったのかだけでなく、どのような誤りを扱う設計なのか、何回の検査をしたのか、どんな条件で結果を示したのかを確認します。発表に「論理」という言葉があっても、装置全体がどこまで訂正された状態で動くのかは、本文と出典を読まなければ分かりません。

物理量子ビットのまとまりと論理量子ビットを分けて学ぶ男性じいじの図解
物理量子ビットのまとまりと論理量子ビットを分けて学ぶ男性じいじの図解 図を拡大して見る ↗

企業を知る入口:IBM Quantum

IBM Quantum Learningは、量子エラー訂正の基礎として、量子情報の壊れやすさ、誤りを検出・訂正する符号、フォールトトレラントな計算を扱う教材を公開しています。企業の資料を読むときは、基礎の説明、実験で確認されたこと、今後の目標を同じ段落に混ぜないようにします。

この記事で確認できるのは、IBMが公開教材で量子エラー訂正を説明していることです。実証の範囲や、将来の計画は資料ごとに条件が違うため、見出しだけで完成度を決めません。

量子エラー訂正の企業資料を基礎説明実験目標に分けて読む男性じいじの図解
量子エラー訂正の企業資料を基礎説明実験目標に分けて読む男性じいじの図解 図を拡大して見る ↗

誤差緩和とエラー訂正は同じではない

量子コンピュータの記事には、エラー訂正のほかに「誤差緩和」という言葉も出ます。IBM Quantumの資料では、誤差緩和は、完全なフォールトトレラント計算を使わずに、回路の操作や後処理によって期待する値をより正確に見積もろうとする方法として扱われています。

初心者の私は、どちらも「誤りを減らす工夫」として最初は一つの箱に入れていました。しかし、完全なエラー訂正を前提にする将来の計算と、今ある装置の誤差を抑えたり見積もったりする工夫は、同じ言葉ではありません。発表資料では、どちらを説明しているのかを確かめます。

この区別は、進歩を小さく見るためではありません。いま確認できる工夫と、これから必要になる仕組みを混ぜずに学ぶためです。会社の資料にある「error」という英語を見たときも、訂正、緩和、抑制、検出のどれを指すのかをノートへ書きます。

エラー訂正と誤差緩和を別の箱に分けて読む男性じいじの図解
エラー訂正と誤差緩和を別の箱に分けて読む男性じいじの図解 図を拡大して見る ↗

企業の記事では四つに分けて読む

量子エラー訂正の発表は、専門用語が多くなりがちです。そこで私は、次の四つの箱に分けます。

この順番にすると、「訂正」という強い言葉だけで、実用化や会社の評価まで決めつけずに済みます。量子エラー訂正は、大きな計算を目指す上で重要な研究分野ですが、記事ごとに確認できる範囲は異なります。分からない条件は、分からないまま残すこともこの研究室の約束です。

量子エラー訂正の記事を装置工夫結果目標の四つに分ける男性じいじの図解
量子エラー訂正の記事を装置工夫結果目標の四つに分ける男性じいじの図解 図を拡大して見る ↗

今日覚えるのはこれだけ

量子エラー訂正は、壊れやすい量子情報を直接のぞかずに、複数の量子ビットと検査の手がかりを使って扱う考え方です。物理量子ビットの数、論理量子ビット、誤差緩和は同じ意味ではありません。

じいじ理解度:★★☆☆☆

エラー訂正が、単に間違いを消すボタンではないことは分かってきました。一方で、どの符号(誤りを見つけるための情報の組み立て方)がどんな誤りに強いのか、どの条件なら論理量子ビットとして機能したと言えるのかは、まだ勉強中です。次は、会社が公開した資料の発表日と、事実・目標・未確認の点を並べて読んでみます。

出典

次に読む企業記事

IONQとは?初心者じいじが最初に調べたこと

更新履歴

← 量子コンピュータ通信のトップへ戻る