[論文レビュー] The simplified Toffoli gate implementation by Margolus is optimal

Guang Song, Andreas Klappenecker|ArXiv.org|Dec 31, 2003

Quantum Computing Algorithms and Architecture参考文献 4被引用数 11

ひとこと要約

この論文は、マーロスが提唱した簡略化されたトフォリゲート（標準的なトフォリゲートとはグローバル位相シフトを除き同等）が、いかなる量子回路実装においても最小で3つの制御ノットゲートと4つの単一キュービットゲートを必要とするということを証明している。証明により、マーロスが提示した回路構造は最適であるだけでなく、これらの制約によって一意に定義されることも示され、量子回路設計における効率性と構造的必妥性が確認された。

ABSTRACT

Unitary operations are expressed in the quantum circuit model as a finite sequence of elementary gates, such as controlled-not gates and single qubit gates. We prove that the simplified Toffoli gate by Margolus, which coincides with the Toffoli gate up to a single change of sign, cannot be realized with less than three controlled-not gates. If the circuit is implemented with three controlled-not gates, then at least four additional single qubit gates are necessary. This proves that the implementation suggested by Margolus is optimal.

研究の動機と目的

• 簡略化されたトフォリゲートを実装するために必要な制御ノットゲートおよび単一キュービットゲートの最小数を特定すること。
• マーロスの回路構成がゲート数の観点から最適であることを証明すること。
• 簡略化されたトフォリゲートの最適実装は、本質的にマーロスの設計と同じ構造的形態をとらなければならないことを示すこと。
• ゲート分解ともつれ制約を用いた、量子回路複雑性に対する厳密な下界証明を提供すること。

提案手法

• 3キュービット回路における3つの制御ノットゲートの27通りのすべての配置をケース別に分析する。
• もつれの生成とゲートの疎らかさを分析するための補題を構築し、特に制御ユニタリゲートがもつれた出力を生成する場合に注目する。
• アダマールゲートによる共役操作により、制御ノットゲートを再配置可能であるという事実を活用し、分析対象の配置数を削減する。
• 回路恒等式とトレースの議論を用いて、目標ユニタリ写像Mを実現できない配置を除外する。
• 必要なユニタリ変換を満たすのは、マーロスの構成と等価な唯一の回路配置に限られることを示す。
• ユニタリ行列の性質、固有状態、および対角・反対角型単一キュービットゲートの構造を用いて、ゲートの振る舞いを制約する。

実験結果

リサーチクエスチョン

• RQ1 簡略化されたトフォリゲートは、3つ未満の制御ノットゲートで実装可能か？
• RQ2 マーロスの回路構成は、制御ノットゲート数の観点から最小実装か？
• RQ3 正確に3つの制御ノットゲートを用いる場合、必要な単一キュービットゲートの最小数は何か？
• RQ4 マーロスの設計とは本質的に異なるが、同じゲート数を達成する代替回路構造は存在するか？
• RQ5 マーロスの回路は最適性の制約によって一意に定義されるか？

主な発見

• 簡略化されたトフォリゲートは、3つ未満の制御ノットゲートでは実装不可能である。
• 正確に3つの制御ノットゲートを用いる実装では、少なくとも4つの単一キュービットゲートが必要である。
• ゲートを実装可能な唯一の回路構成は、マーロスの構成と構造的に同等である。
• すべての最適実装は、同じ3つの制御ノットゲートの配置とゲート配置を有しており、異なるのは単一キュービットゲートのパラメータのみである。
• 証明により、マーロスの回路は単に効率的であるのではなく、与えられた制約下で一意に最適であることが示された。
• この結果により、マーロス回路の洗練された構造は偶然ではなく、最小性を満たすために数学的に必妥であることが確認された。