The Threshold Theorem in Watts: Fault Tolerance as a Question About Objective Probability

量子の大博打：完璧なコンピュータの構築が予想以上にコストのかかる理由

ハリケーンの真っ只中で、トランプの家を作ろうとしている場面を想像してみてください。カードはあなたの微細な情報の断片であり、ハリケーンは、それらを倒そうとし続けるノイズに満ちた混沌とした現実世界です。量子コンピューティングの世界では、科学者たちは今日のコンピュータでは不可能な問題を解決できるマシンを作ろうとしていますが、これらのマシンは極めて脆弱です。わずかな熱による「くしゃみ」や、小さな振動ひとつで、計算が台無しになってしまうのです。これを解決するために、エンジニアは「誤り訂正（エラー・コレクション）」と呼ばれる巧妙なトリックを使います。彼らは単一のカードを使うのではなく、一つの情報を表現するためにカードの束を使用します。もし風がカードの一枚を倒したとしても、他のカードを見れば、元のカードが本来どうあるべきだったかを知ることができるのです。

数十年にわたり、「閾値定理（しきいちていり）」と呼ばれる有名なルールが、量子業界全体のゴールデンチケットとなってきました。この定理は、もし風（ノイズ）を十分に静かにしておくことができれば、カードを高く積み重ねることで、決して倒れることのない計算の摩天楼を築けることを約束しています。定理によれば、エラー率がある極めて小さな数値以下であれば、間違いを修正するためにカードを増やし続けることができ、マシンは追加の労力を管理可能な範囲に抑えつつ、どんどん性能が向上していくというのです。この概念は非常に強力であり、量子スタートアップへの数十億ドルの投資や、将来のスーパーコンピュータのロードマップを動かす原動力となっています。しかし、落とし穴があります。この定理は、風が「唯一の」問題であると仮定した紙の上に書かれたものだったのです。カードを安定させるために必要な道具のコストや、部屋を冷やすためのエネルギー、あるいはカードが倒れたかどうかを確認するのにかかる時間は、計算に入れられていませんでした。

紙の上にある大きなアイデア：真のコストを数える

アミット・ハガー（Amit Hagar）によって書かれたこの論文は、シンプルかつ革命的な問いを投げかけています。「もし『閾値定理』が数学的には正しいとしても、電気代を計算に入れ忘れたために、実用的に不可能だとしたらどうなるだろうか？」という問いです。

ハガーは、確率に対する新しい見方を提案しています。確率を「推測」や「信念の感覚」として考えるのではなく、**「値札（価格）」**として考えることを提案しているのです。彼の見解では、コンピュータが特定の状態に正常に到達する確率は、そこに到達するためにどれだけのエネルギーと時間がかかるかに完全に従います。もし少量のエネルギーで済むなら、確率は高い（100%に近い）です。もし膨大なエネルギーが必要なら、確率はゼロに近くなります。彼はこれを「リソース限定的な実現可能性（resource-bounded realizability）」と呼んでいます。

この「エネルギーの値札」というアイデアを用いて、ハガーは閾値定理を再検証しています。彼は、元の定理はカードのコスト（量子ビット）のみを数え、テーブルやエアコン、あるいはカードをチェックする作業員のコストを数え忘れた予算案のようなものだと主張しています。彼は、元の数学が漏らしていた4つの巨大な「隠れたコスト」を特定しました。

1. キャリブレーション（校正）： マシンはドリフト（変動）し、調子が狂います。定期的に停止して再校正する必要があり、これには時間とエネルギーを要します。
2. デコーディング（復号）： エラーを修正するために、古典的なコンピュータがデータを読み取り、何が間違っていたのかを判断しなければなりません。この計算には時間と電力が必要であり、かつ次のエラーが発生する前に「即座に」行われなければなりません。
3. コヒーレンス・バッテリー（コヒーレンス電池）： 量子状態は、わずか数マイクロ秒という極めて短い時間しか持続しません。誤り訂正のプロセス全体は、この「電池」が切れる前に完了しなければなりません。もしプロセスが遅すぎれば、たとえ数学がどれほど優れていても、状態は崩壊してしまいます。
4. エントロピーの排出： エラーを修正するたびに、熱と混乱（エントロピー）が発生します。この混乱を絶えず捨て去り、新鮮で冷たい「アンシラ（補助的な部品）」を取り入れ続けなければなりません。これは、時速数百キロで走行しながら、常に車のオイル交換を繰り返すようなものです。

結論：電力メーターとの戦い

この論文は、これら4つの隠れたコストを予算に加えると、「閾値定理」はもはや平坦で簡単な道ではなくなるかもしれないことを示唆しています。代わりに、それは切り立った崖のように見えるかもしれません。

ハガーは、量子コンピュータの実現可能性を測定する新しい方法を導入しています。それが**「抑制されたエラーの1デケードあたりのワット数」**です。例えば、コンピュータの精度を10倍に高めたい（1「デケード」の改善）としましょう。そのとき、どれだけの電気代がかかるでしょうか？

• 楽観主義者の視点（定理）： コスト曲線は平坦であるはずです。マシンの規模がどれほど大きくなっても、コンピュータを10倍良くするためにかかるコストは、追加の電力としてほぼ同じであるはずです。
• ハガーの視点（現実的なチェック）： コスト曲線は急激に上昇している可能性があります。精度を10倍にするたびに、キャリブレーション、デコーディング、冷却のコストが、マシンが向上する速度よりも速く増大するため、電気代が跳ね上がるかもしれません。

この論文は、量子コンピュータが不可能であると主張しているわけではありません。閾値定理が数学的に間違っていると言っているわけでもありません。そうではなく、定理が前提としている「無料のリソース」（無料の校正や即時のデコーディングなど）が、物理的に非現実的であると論じているのです。著者は、これらのコストに関するデータポイントが既に存在することを指摘しています。例えば、ある実験ではマシンの再校正にかなりの時間が割かれたことが示されており、別の実験では冷却に必要な電力が膨大であることが示されています。

議論に終止符を打つ2つの測定法

ハガーは、最後に挑戦状を突きつけています。彼は、もはや理論やノイズモデルについて議論する必要はないと言います。ただ、電力メーターを差し込めばよいのだと。彼は、議論に決着をつけるための2つの具体的な測定方法を提案しています。

1. スロープ・テスト（傾斜テスト）： 量子コンピュータが大きくなり、精度が増していくにつれて、消費電力を測定します。具体的には、エラー率を1デケード（10分の1）改善するために、何ワットの電力を要するかを測定します。もし、マシンが成長してもラインが平坦であれば、閾値定理の勝利です。もしラインが急上昇すれば、「隠れたコスト」の勝利であり、フォールトトレラント（耐故障性）コンピューティングは、私たちが考えていたよりもはるかに困難なものになります。
2. 古典的比較： この量子のパワー曲線を、同じ作業を行う古典的なコンピュータと比較します。もし量子の電気代が高くなりすぎるようであれば、それは通常のコンピュータと比較して、エネルギーコストに見合わないものになるかもしれません。

論文は次のように結んでいます。量子コンピュータが機能するかどうかという30年にわたる議論は、前提条件についての議論のループに陥っていました。ハガーは、この議論を単純な会計問題に変えることで、そのループを打破することを提案しています。答えは哲学書や複雑なシミュレーションの中にあるのではなく、電力メーターの上にあるのです。もし電気代が低く抑えられるなら、私たちは摩天楼を築くことができます。もし電気代が跳ね上がるなら、結局のところ、私たちはハリケーンの中でトランプの家を作っているだけなのかもしれません。