[論文レビュー] Generic Quantum Fourier Transforms

Cristopher Moore, Daniel N. Rockmore+1 more|ArXiv.org|Apr 9, 2003

Quantum Computing Algorithms and Architecture参考文献 18被引用数 6

ひとこと要約

本稿では、可算なブラタエル図、適応的因子分解、ゲルファンド＝ツェトリン基底を用いて、古典的「変数分離」技法を量子化することで、アーベル群および非アーベル群の広いクラスにおける量子フーリエ変換（QFT）の汎用的量子回路構成を提示する。主たる貢献は、対称群、メタサイクル群、線型群GLₖ(q)、SLₖ(q)、および固定された素数冪qに対する他のリー型有限群を含む群における、多項式対数的サイズの量子回路を実現したことである。これは、従来未知であった指数的サイズ未満の回路サイズを達成するものである。

ABSTRACT

The quantum Fourier transform (QFT) is the principal algorithmic tool underlying most efficient quantum algorithms. We present a generic framework for the construction of efficient quantum circuits for the QFT by ``quantizing'' the separation of variables technique that has been so successful in the study of classical Fourier transform computations. Specifically, this framework applies the existence of computable Bratteli diagrams, adapted factorizations, and Gel'fand-Tsetlin bases to offer efficient quantum circuits for the QFT over a wide variety a finite Abelian and non-Abelian groups, including all group families for which efficient QFTs are currently known and many new group families. Moreover, the method gives rise to the first subexponential-size quantum circuits for the QFT over the linear groups GL_k(q), SL_k(q), and the finite groups of Lie type, for any fixed prime power q.

研究の動機と目的

• 多様な有限群にわたる効率的な量子フーリエ変換（QFT）回路を構築するための統一的・汎用的フレームワークの開発。
• 既知の効率的QFT構成をアーベル群およびメタアーベル群にとどまらず、GLₖ(q)やSLₖ(q)などのリー型有限群にまで拡張すること。
• 変数分離技法を介して、効率的な古典的フーリエ変換アルゴリズムと効率的な量子回路との間の定量的・体系的な関連を確立すること。
• 多項式対数的サイズのQFT回路を許容する群のクラスが、ホモトピー的拡張（homothetic extensions）を含む特定のアーベル拡張に関して閉じていることを示すこと。

提案手法

• 有限群の表現論的構造を符号化するための計算可能なブラタエル図を用い、QFTの階層的分解を可能にする。
• 群系列の適応的因子分解を用いて、QFTを部分群上のより小さな、取り扱いやすいユニタリ操作の系列に分解する。
• ゲルファンド＝ツェトリン基底を用いて、群の表現階層を尊重する計算基底を定義し、効率的な状態変換を可能にする。
• 特に群拡張が非分解的または非横断的である場合に、群要素作用に条件づけられた位相シフトと置換行列（twiddle factors）を統合する。
• Coppersmithのℤ₂ⁿ用QFT回路を一般化し、非分解的拡張（例：ℤₚᶻ over ℤₚˡ）に起因する同一の位相シフトを同定する。
• 群Gが適応的直径D、最大重複度M、最大指数Iを有する部分群塔を持つ場合、QFT回路のサイズがpoly(I × D × M × log|G|)であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 アーベル群にとどまらず、広いクラスの有限群（特に非アーベル群）に対し、効率的なQFT回路を構築する汎用的フレームワークを開発可能か？
• RQ2 フーリエ解析における古典的変数分離技法を、群論的フーリエ変換の量子的設定にどの程度適応可能か？
• RQ3 部分群塔、適応的因子分解、表現次元といった群の構造的性質が、得られるQFTの量子回路サイズにどのように寄与するか？
• RQ4 固定された素数冪qに対して、GLₖ(q) や SLₖ(q) といった線型群に対し、従来未知であった効率的QFT回路を構築可能か？
• RQ5 多項式対数的サイズのQFT回路を許容する群のクラスは、アーベル群によるホモトピー的拡張、あるいは有界指数のアーベル拡張に関して閉じているか？

主な発見

• 任意の多項式的に均一な群Gが適応的直径D、最大重複度M、最大指数Iを有する部分群塔を持つ場合、G上のQFTはサイズがpoly(I × D × M × log|G|)の量子回路で実装可能であることを確立した。
• 本フレームワークにより、任意の固定された素数冪qに対して、線型群GLₖ(q)、SLₖ(q)、PGLₖ(q)、PSLₖ(q)におけるQFTに対し、初めての指数的未満サイズの量子回路が得られた。
• 本手法により、対称群やメタサイクル群（例：二面体群やアフィン群）に対する既知の効率的QFT回路が再現され、先行研究と整合性を確認した。
• 多項式対数的サイズのQFT回路を許容する群のクラスは、アーベル群によるホモトピー的拡張に関して閉じており、特にすべての既約表現が1次元である正規部分群を有するすべてのメタアーベル群が含まれる。
• Coppersmithのℤ₂ⁿ用QFT回路を一般化し、位相シフトの起源が非分解的群拡張（例：ℤₚᶻ over ℤₚˡ）に起因することを同定した。
• 本手法により、古典的変数分離技法の量子的体系的適応が初めて実現され、古典的および量子的フーリエ変換の複雑さの間の定量的ブリッジを確立した。