[論文レビュー] The Quantum Schur Transform: I. Efficient Qudit Circuits

Dave Bacon, Isaac L. Chuang+1 more|ArXiv.org|Dec 30, 2005

Quantum Computing Algorithms and Architecture参考文献 40被引用数 23

ひとこと要約

本稿では、次元 d の n 粋の量子チルクスに対して、精度 ε を達成するための効率的な量子回路構成を提示している。この構成は、n、d、および log(1/ε) に対して多項式的なゲート数を用いる。部分群適合基底と Wigner-Eckart の定理を活用することで、シュール変換の実用的実装が可能となり、スペクトル推定、エンタングルメント濃縮、参照フレームフリー通信といった、量子情報理論における主要なプロトコルの効率的量子回路が解き放たれる。

ABSTRACT

We present an efficient family of quantum circuits for a fundamental primitive in quantum information theory, the Schur transform. The Schur transform on n d-dimensional quantum systems is a transform between a standard computational basis to a labelling related to the representation theory of the symmetric and unitary groups. If we desire to implement the Schur transform to an accuracy of epsilon, then our circuit construction uses a number of gates which is polynomial in n, d and log(1/epsilon). The important insights we use to perform this construction are the selection of the appropriate subgroup adapted basis and the Wigner-Eckart theorem. Our efficient circuit construction renders numerous protocols in quantum information theory computationally tractable and is an important new efficient quantum circuit family which goes significantly beyond the standard paradigm of the quantum Fourier transform.

研究の動機と目的

• 量子情報理論における基本的変換のうち、無限大のリソースに依存するものに起因する、効率的な量子回路実装の欠如に対処すること。
• 次元 d の n 粋の量子チルクスに対するシュール変換のための効率的量子回路を構築すること。
• 従来、シュール変換の非効率性により実装が困難であった広範な量子情報プロトコルクラスを、計算的に扱えるようにすること。
• 標準的量子フーリエ変換を超える、対称性に配慮した新しいユニタリ変換を導入することで、量子アルゴリズムのツールキットを拡張すること。

提案手法

• 対称群およびユニタリ群の表現論に基づく部分群適合基底を用いた構成。
• シュール変換の行列要素を管理可能な成分に分解するために Wigner-Eckart の定理を適用。
• Clebsch-Gordan (CG) 変換の系列を用いてシュール変換を実装し、部分系を再帰的に組み合わせて全変換を構築。
• 簡略化された Wigner 演算子行列要素を効率的に計算する古典的アルゴリズムを活用し、量子回路合成を可能に。
• 全体の回路サイズは n · poly(d, log n, log(1/ε)) にスケーリングし、計算レジスタの圧縮にはオプションで poly(n) 時間を要する。
• 従来の qubit (d=2) の結果を、任意の qudit 維度 d ≥ 2 に一般化。

実験結果

リサーチクエスチョン

• RQ1 シュール変換は、n、d、および log(1/ε) に対して多項式的ゲート数で実装可能な量子回路によって実現可能か？
• RQ2 シュール変換の表現論的構造をどのように活用して効率的量子回路を設計できるか？
• RQ3 Wigner-Eckart の定理と部分群適合基底は、シュール変換の効率的回路合成にどのように寄与するか？
• RQ4 シュール変換は、スペクトル推定やエンタングルメント濃縮といったプロトコルにおける効率的量子アルゴリズムの構築要素として利用可能か？
• RQ5 他のアーベルでない群の Clebsch-Gordan 変換は、効率的量子回路構成に適しているか？

主な発見

• シュール変換は、n、d、および log(1/ε) に対して多項式的サイズの量子回路で実装可能であり、実用的応用において計算的に実行可能である。
• 回路構成は、変換に不可欠な簡略化された Wigner 演算子行列要素を効率的に計算する古典的アルゴリズムに依存している。
• 部分群適合基底と Wigner-Eckart の定理の使用により、シュール変換が管理可能な量子操作に再帰的に分解可能である。
• 全シュール変換は n · poly(d, log n, log(1/ε)) の時間で実装され、計算レジスタの圧縮にはオプションで poly(n) ステップを要する。
• 従来の qubit (d=2) の研究を任意の qudit 維度に一般化し、応用範囲を著しく拡大した。
• 効率的シュール変換により、最適スペクトル推定、ユニバーサルエンタングルメント濃縮、参照フレームフリー通信を含む多数の量子情報プロトコルの実用的実装が可能になった。