Heralded high-dimensional module-based quantum computation

技術要約：ヘラルド型高次元モジュールベース量子計算

問題提起
量子計算は古典的な計算手法に対して優位性を持つ一方で、ユニバーサル量子ゲート、特に制御NOT（CNOT）ゲートを実現することは依然として大きな課題である。高次元量子系（qudit、$d > 2$）のための既存のアーキテクチャは、ポストセレクション（事後選択）に依存することが多く、これが効率を制限したり、複雑なマルチ量子ビットもつれ状態を必要としたりする。高次元系はチャネル容量の増加やノイズ耐性などの利点を提供するが、高次元ユニバーサルゲートのためのスケーラブルで決定論的なアーキテクチャに関する理論的および実験的な研究は、二次元（qubit）系に比べて遅れている。具体的には、計算用quditを消費せず、基底の次元性に依存しない、決定論的かつヘラルド型（通知型）のスキームが必要とされている。

手法
著者らは、汎用的なパリティモジュールを基本構成要素として用いることで、決定論的な高次元汎用CNOTゲートを構築するスキームを提案している。この手法は、主に以下の3つの段階で進行する。

1. 汎用パリティモジュールの開発： 著者らは、2つの入力qudit $|i\rangle$ および $|j\rangle$ とアンシラ $|0\rangle$ を受け取り、出力として状態 $|ij\rangle|(j \ominus i) \mod d\rangle$ を返す汎用パリティモジュールを定義する。$(d-1)!$ 通り存在する可能な汎用パリティ「ソーター」（第2インデックスの置換）のうち、量子計算にユニバーサルであるのは、減算ベースのモジュール $P = (j \ominus i) \mod d$ と加算ベースのモジュール $P = (j \oplus i) \mod d$ の2つの特定の形式のみであることを特定している。
2. 汎用CNOTゲートの構築： これらのパリティモジュールを利用して、著者らは二qudit汎用CNOTゲートを実装するための回路（図1に示される）を設計している。その手順は以下の通りである：
   • コントロールquditとターゲットquditを、バランスの取れた重ね合わせ状態に準備されたアンシラとともに、第1のパリティモジュール（$P_1$）に注入する。
   • 単一quditフーリエ変換（$F_d$）を適用し、アンシラとターゲットに対して第2のパリティモジュール（$P_2$）を適用する。
   • アンシラを計算基底で測定する。
   • $P_1$、$P_2$、およびアンシラの測定結果に基づいて、コントロールquditとターゲットquditに対して古典的なフィードフォワード操作を行う。これらの操作により、位相エラーと置換エラーを補正し、目的のCNOT出力 $|x\rangle_c |(x \oplus y) \mod d\rangle_t$ を得る。
3. 光学的な実装： 著者らは、軌道角運動量（OAM）の自由度を用いた単一光子の汎用パリティモジュールを実装するための、具体的な光学アーキテクチャを提案している。このセットアップは以下を用いる：
   • 「経路同一性によるもつれ生成（Entanglement by Path Identity）」によって準備された6光子アンシラストート。
   • OAMパリティに基づいて光子をルーティングするための、ドーブ・プリズムを含むマイケルソン干渉計に基づく第1次（$PS_1$）および第2次（$PS_2$）パリティソーター。
   • 成功をヘラルド（通知）するための、光子数分解型検出器および単一光子検出器。

主な結果

• 決定論的かつヘラルド型の動作： 提案されたスキームは原理的に決定論的であり（計算用quditは消費されない）、かつヘラルド型である。成功は特定の検出器（$D_1$ および $D_2$）におけるクリックの不在によって示され、計算状態のポストセレクションを不要にする。
• 次元への非依存性： 本プロトコルは、計算基底の次元 $d$ に対して無感覚（依存しない）である。著者らはqutrit（$d=3$）での構築を実証しており、$d \geq 4$ の任意の $d$ に対する一般化も提供している。
• ユニバーサルソーターの特定： 本論文は、$(d-1)!$ 通りの可能なパリティソーターの中で、$P = (j \ominus i) \mod d$ および $P = (j \oplus i) \mod d$ のみが量子計算のユニバーサルな構成要素として機能することを確立している。他の置換は、もつれ状態生成などの特定のタスクには有用かもしれないが、ユニバーサル計算には不十分である。
• 実現可能性の分析： 光学的な実装は、プログラマブルな線形光学プラットフォーム、ドーブ・プリズムベースのパリティソーター、および高フィデリティの単一quditゲートを含む、既存の技術に依拠している。著者らは、空間・時間的なミスマッチ、ソーターの技術的な不完全性、検出器のダークカウントといった実用的な制限を認めているが、本プロトコルは実験的に実現可能であると主張している。

意義と主張
本論文は、従来の方式におけるスケーラビリティと効率性の問題を解決する、多用途な高次元量子計算のフレームワークを提供すると主張している。汎用パリティモジュールを利用することで、本スキームは以下を実現する：

• リソース効率： 追加のアンシラクディットを1つのみ必要とし、大規模なもつれ状態を必要としない。
• 非破壊測定： パリティモジュールは量子非破壊測定を介して実装され、さらなる処理のために入力状態を保持する。
• モジュール性： パリティモジュールは、量子計算だけでなく、量子通信タスクの構成要素としても機能する。

著者らは、本研究をスケーラブルな高次元量子アーキテクチャへの一歩として位置づけており、確率的でポストセレクションを必要とする手法に対する決定論的な代替案を提示している。彼らは、光学的な実装がOAM符号化された光子に対して詳細に記述されているものの、基礎となる概念は他の物理プラットフォームにも一般化可能であることを強調している。