A Compiler for Fault Tolerant Quantum Computing
本論文は、マルチレベルのコンパイル・パイプラインを通じて重要な誤り訂正メタデータを保持するように設計された、耐故障量子コンピューティングのためのオープンソースMLIRダイアレクトであるFTQCを紹介するものであり、これにより検証可能なコード固有の意思決定を可能にし、多様なハードウェアターゲットにわたる隠れたアーキテクチャコストを明らかにする。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
量子コンピュータは、古典的なマシンが数千年もかかる問題を解決することを約束していますが、それらは非常に脆弱です。熱や振動によるわずかな乱れでも、保持している情報をかき乱し、計算を失敗させてしまいます。これを克服するために、科学者たちは、完璧でエラーのない部品に依存しない「フォールトトレラント（耐故障性）」な量子コンピュータを構築しています。その代わりに、多くの物理的粒子をグループ化して、単一の安定した「論理的」な情報単位を形成します。もしグループ内の1つの粒子に不具合が生じても、他の粒子が間違いを検出し、データを失うことなく修正することができます。量子誤り訂正として知られるこのプロセスは、未来のマシンの基礎となりますが、それには大きな代償が伴います。一つの有用な計算を行うために、数百万もの物理的粒子が一体となって働く必要があるかもしれないのです。
課題は、ハードウェアを構築することだけでなく、それを制御するためのソフトウェアを書くことにもあります。現在の量子コンピュータ用プログラミングツールは、今日のノイズが多く小規模なデバイス向けに設計されています。それらは、エラーの兆候を示す「シンドローム」をどのように追跡するか、あるいは困難な計算に必要な特別なリソースをどのように準備するかといった、誤り訂正を管理するために必要な複雑なルールを理解していません。誤り訂正の言語を話すソフトウェアシステムがなければ、エンジニアは高レベルのアイデアを、実際のマシンが実行できる物理回路へと確実に翻訳することができません。オークリッジ国立研究所の研究チームは、新しいコンパイラ、つまり人間が書いた論理と、未来の量子コンピュータの厳格な誤り訂正の世界との間の翻訳者として機能するソフトウェアを作成することで、このギャップに対処しました。
研究者たちは、FTQC（Fault-Tolerant Quantum Computing：耐故障性量子コンピューティング）と呼ばれるシステムを構築しました。コンパイラを、プログラムが高レベル言語で書かれたものを、マシンが理解できる特定の命令へと変換する翻訳者だと考えてください。量子界では、マシンは単にプログラムを実行するだけでなく、常に自身を監視してエラーを検出し、修正しなければならないため、これは困難な作業です。この新しいシステムは、これらの誤り訂正された単位をコード内で直接記述する方法を導入しています。論理量子ビットを単純な変数として扱うのではなく、ソフトウェアはその中にエラー訂正のルールを含む特定のアイデンティティを与えます。これにより、コンパイラは、行われている操作が、その特定の種類の誤り保護に対して有効であるかどうかを、あらゆるステップでチェックすることができます。もしプログラマーが、互いに適合しない2種類の誤り訂正を混ぜようとした場合、コンパイラはコードがマシンに到達する前に、そのエラーを検知して停止します。
複雑さを管理するために、研究者たちはシステムを2つの明確なレベルで設計しました。トップレベルは論理的な命令、つまり科学者が実行したい高レベルの数学や論理を扱います。ボトムレベルは物理的な現実、つまり個々の粒子とそれらを操作する特定のゲートを扱います。その中間にある特殊なプロセスが、論理的な命令を物理的な命令へと翻訳し、単一の論理コマンドを大規模な物理操作のブロックへと展開します。この設計により、同じ論理プログラムを、書き直すことなく異なるタイプのハードウェアに送ることが可能になります。また、システムには、与えられたタスクにどれだけの物理的粒子が必要かを推定する組み込みの計算機が含まれています。これは、誤り訂正のコストが高いため極めて重要です。単純な計算であっても、メインのデータを安全に保つために、追加の粒子の工場が必要になることがあるからです。
チームは、データ検索の手法や分子の特性を分析するテクニックを含む、いくつかの標準的な量子アルゴリズムを用いてシステムをテストしました。彼らはシミュレータ上でこれらのテストを実行し、ソフトウェアが翻訳とリソース計数をどのように処理するかを確認しました。結果は、コンパイラが、ステイン符号（Steane code）や表面符号（surface code）を含む異なる種類の誤り訂正符号に対して、論理プログラムを物理回路へと正常に変換できることを示しました。最も示唆に富む発見の一つは、「量子フーリエ変換」として知られる3量子ビットの計算を分析した際に得られました。コンパイラは、この計算を実行するためには、数学に必要な特別な状態を準備するための専用のリソースブロックである「マジックステート・ファクトリー（魔法の状態の工場）」が必要であることを特定しました。この工場は、エンコードされた回路全体よりも5倍多くの物理的粒子を必要としました。これは、フォールトトレラント・コンピューティングにおける隠れたコスト、すなわち、システムを維持するために必要なリソースが、計算自体に必要なリソースをしばしば上回ってしまうという事実を浮き彫りにしています。
シミュレーションを超えて、研究者たちは自分たちの成果を実際のハードウェアにも適用しました。彼らは、オークリッジ国立研究所にある20量子ビットの超伝導量子コンピュータを対象としました。彼らはこのコンパイラを使用して、単純な論理回路をマシンのネイティブ命令へと翻訳しました。マシンが完全な誤り訂正計算を実行するには小さすぎるため、彼らはコンパイラを使用して物理回路を生成し、実行後に古典的なデコーディングプロセスを結果に適用しました。結果は有望でした。コンパイラによって生成された誤り訂正情報を使用することで、論理的な読み出しエラーを3.3分の1に低減することができました。これは、最終的な答えが、マシンの生のデータよりも大幅に正確であったことを意味しており、コンパイラの出力が物理ハードウェアに正常に到達し、結果の質を向上させられることを証明しました。
この研究は、フォールトトレラント・コンピュータの構築という問題を解決したと主張するものではありません。実験は規模が限定されており、誤り訂正が完全に効果を発揮する閾値（スレッショルド）を実証したわけではありません。シミュレーションでは特定の複雑な操作に対して簡略化されたモデルを使用しており、ハードウェアテストはフルスケールのデモンストレーションではなく、概念実証の実行でした。しかし、このシステムは次の開発段階のための実践的な基礎を提供しています。誤り訂正のルールをソフトウェア内で可視化し、管理可能にすることで、研究者たちは、設計が構築される前に、エンジニアが設計を検査、検証、および最適化できるツールを作り上げました。この明快さは、理論的なアイデアから、次世代の量子コンピューティングに求められる巨大で複雑なシステムへと移行するために不可欠なものです。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。