[论文解读] 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

一句话总结

本文将 Jordan-Wigner 形式化推广至更广泛的量子线路类，超越二元匹配门，包括在匹配门线路中第一量子比特线上任意单量子比特门的模拟。通过利用李代数理论与显式构造，本文展示了对这些扩展线路的高效经典模拟，推广了 Valiant 的匹配门形式化，并使此前抽象的结果变得明确且透明。

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.

研究动机与目标

• 将 Jordan-Wigner 形式化从二元匹配门推广至包含在匹配门线路中第一量子比特线上任意单量子比特门的更广范围。
• 为这一扩展的量子线路类提供经典可模拟性的透明且显式的推导。
• 表明该扩展的可模拟性源于基本的李代数理论，使 Knill 工作中此前抽象的结果更加易于理解。

提出的方法

• 将 Jordan-Wigner 变换适配于将具有非平凡单量子比特操作的费米子系统映射为量子比特线路。
• 在保持经典可模拟性的前提下，将第一量子比特线上的任意单量子比特门整合进匹配门线路框架。
• 利用李代数结构形式化扩展门集在复合下的封闭性质。
• 通过证明演化始终保留在可解代数结构内，表明所得线路类仍可高效模拟。
• 提供保持原始匹配门框架经典模拟效率的显式线路变换。
• 以更具体和易懂的形式重构并澄清 Knill 的抽象结果，使量子模拟研究者能够更清晰地理解与应用。

实验结果

研究问题

• RQ1 Jordan-Wigner 形式化能否被推广以模拟包含在匹配门线路框架中第一量子比特线上任意单量子比特门的量子线路？
• RQ2 这一扩展线路类的经典可模拟性背后的代数结构是什么？
• RQ3 非二元匹配门与任意单量子比特门的引入如何影响经典模拟效率？
• RQ4 这些线路的可模拟性能否从基本李代数理论推导，而非依赖于抽象构造？
• RQ5 扩展线路类与具有附加单量子比特操作的非相互作用费米子之间存在何种显式联系？

主要发现

• Jordan-Wigner 形式化可系统性地扩展，以经典方式模拟包含在匹配门线路中第一量子比特线上任意单量子比特门的更广范围量子线路。
• 由于底层演化位于可解李代数内，扩展后的线路类仍可高效模拟，确保了经典可处理性。
• 这些线路的经典可模拟性源于基本李代数理论，为模拟结果提供了更深层次的代数基础。
• 本文使 Knill 工作中此前浓缩且抽象的结果变得显式且透明，促进了更清晰的理解与应用。
• 该扩展将 Valiant 的匹配门形式化推广至超越二元匹配门的范围，同时保持高效经典模拟，从而扩大了经典可模拟量子线路的范围。