[論文レビュー] Jordan-Wigner formalism for classical simulation beyond binary matchgates

Richard Jozsa, Akimasa Miyake|arXiv (Cornell University)|Nov 13, 2013

Quantum Computing Algorithms and Architecture参考文献 12被引用数 3

ひとこと要約

この論文は、二進マッチゲートを超えるより広いクラスの量子回路を古典的にシミュレートできるように、ジョルダン＝ウィグナー形式を拡張する。特に、マッチゲート回路内の最初のキュービットラインにおける任意の単一キュービットゲートを含む回路を扱う。リー代数理論と明示的な構成を活用することで、これらの拡張された回路の効率的古典的シミュレーションを示し、ヴァリアントのマッチゲート形式を一般化するとともに、これまで抽象的であった結果を明確かつ透明に明らかにする。

ABSTRACT

The unitary matchgate circuits introduced by Valiant provide an interesting class of quantum circuits that are classically efficiently simulatable. They were shown by Terhal & DiVincenzo and Knill to be related to the physics of non-interacting fermions. The Jordan-Wigner (JW) formalism provides an efficient classical simulation of the latter, which turns out to be equivalent to the restricted case of circuits of binary (2-qubit) matchgates. Valiant's formalism allows further unitary gates: in particular we may include arbitrary 1-qubit gates on the first qubit line at any stage within a binary matchgate circuit. In this note we show how the JW formalism may be extended to provide an efficient classical simulation of such extended circuits, and we show how the simulability also follows from some elementary Lie algebra theory. The essential ingredients have been indicated previously by Knill in a condensed and abstract form, and our purpose is to make these results explicit and transparent.

研究の動機と目的

• マッチゲート回路内における最初のキュービットラインにおける任意の単一キュービットゲートを含む、二進マッチゲートを超えたジョルダン＝ウィグナー形式の拡張。
• この拡張された量子回路クラスの古典的シミュレータビリティを、透明かつ明示的な導出により提供すること。
• この拡張されたシミュレータビリティが、基本的なリー代数理論から導かれるものであり、キンノルの研究におけるこれまで抽象的であった結果をよりアクセス可能な形にすること。

提案手法

• フェルミオン系に非自明な単一キュービット操作を含む場合に、それらをキュービット回路に写像するためのジョルダン＝ウィグナー変換の適応。
• マッチゲート回路フレームワークに、最初のキュービットラインに任意の1キュービットゲートを統合しつつ、古典的シミュレータビリティを維持すること。
• リー代数的構造を用いて、拡張されたゲート集合の合成に関する閉包性を形式化すること。
• 変化後の回路クラスが依然として効率的にシミュレータブルであることを示すために、進化が可解な代数的構造内に留まることを示すこと。
• 元のマッチゲートフレームワークの古典的シミュレーション効率を維持する明示的な回路変換の提供。
• 量子シミュレーション分野の研究者にとってより明確でアクセス可能な形で、キンノルの抽象的結果を再構築し、明確化すること。

実験結果

リサーチクエスチョン

• RQ1 ジョルダン＝ウィグナー形式は、マッチゲート回路フレームワーク内における最初のキュービットラインに任意の単一キュービットゲートを含む量子回路をシミュレートするために拡張可能か？
• RQ2 この拡張された回路クラスの古典的シミュレータビリティを支える代数的構造は何か？
• RQ3 非二進マッチゲートと任意の1キュービットゲートの導入は、古典的シミュレーション効率にどのような影響を与えるか？
• RQ4 これらの回路のシミュレータビリティは、抽象的構成に依存せず、基本的なリー代数理論から導けるか？
• RQ5 拡張された回路クラスと追加の単一キュービット操作を伴う非相互作用フェルミオン系との明示的関係は何か？

主な発見

• ジョルダン＝ウィグナー形式は、マッチゲート回路内における最初のキュービットラインに任意の単一キュービットゲートを含む、より広いクラスの量子回路を古典的にシミュレートできるように体系的に拡張可能である。
• 拡張された回路クラスは、その背後にある進化が可解なリー代数に留まるため、依然として効率的にシミュレータブルである。
• これらの回路の古典的シミュレータビリティは、基本的なリー代数理論から導かれるものであり、シミュレーション結果のより深い代数的基盤を提供する。
• 本論文は、キンノルの研究におけるこれまで凝縮され抽象的だった結果を明示的かつ透明にし、より明確な理解と応用を可能にする。
• この拡張は、ヴァリアントのマッチゲート形式を二進マッチゲートを超えて一般化するとともに、効率的古典的シミュレーションを維持し、古典的にシミュレータブルな量子回路の範囲を拡大する。