[论文解读] Quantum circuits of c -- Z and SWAP gates optimization and entanglement

Marc Bataille, Jean-Gabriel Luque|arXiv (Cornell University)|Oct 2, 2018

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

一句话总结

本文研究仅由受控-Z（c-Z）和SWAP门组成的量子线路，证明其在复合下构成有限群。文章基于该群的代数结构提出一种高效的简化算法，并分析此类线路如何生成纠缠，特别是通过SLOCC等价性，揭示了特定纠缠态如V₃、V₉和V₁₄可仅通过这些门从|0000⟩态制备。

ABSTRACT

We have studied the algebraic structure underlying the quantum circuits composed by $\\cZ$ and $\\Swap$ gates. Our results are applied to optimize the circuits and to understand the emergence of entanglement when a circuit acts on a fully factorized state.

研究动机与目标

• 理解仅由c-Z与SWAP门组成的量子线路的代数与组合结构。
• 基于这些门构成的有限群，开发一种高效的线路简化算法。
• 研究当此类线路作用于可分输入态时，纠缠如何产生。
• 确定是否可通过仅使用c-Z与SWAP门达到不同的纠缠类，尤其是SLOCC不等价的类。
• 探索这些门在从|0000⟩态制备复杂纠缠态（如V₃、V₉与V₁₄）方面的潜力。

提出的方法

• 证明由c-Z与SWAP门生成的线路集合在复合下构成有限群，记为cZS_k。
• 使用群论技术，包括共轭类与表示理论，分析cZS_k的结构。
• 应用合作者建议的Dehn算法，通过减少门数来简化量子线路。
• 采用SLOCC（随机局部操作与经典通信）等价性对线路生成的纠缠类型进行分类。
• 分析特定纠缠态如|GHZ_k⟩、|W_k⟩以及V₃、V₉、V₁₄，以确定其可通过c-Z与SWAP操作实现的可达性。
• 使用几何与代数不变量（如L、M、N与Q_i）表征生成态的纠缠结构。

实验结果

研究问题

• RQ1 能否利用底层群结构高效解决c-Z与SWAP门的线路简化问题？
• RQ2 在k量子比特上，由c-Z与SWAP门生成的群的代数与组合结构是什么？
• RQ3 从可分输入态出发，仅使用c-Z与SWAP门能生成哪些纠缠类，尤其是SLOCC不等价的类？
• RQ4 能否仅通过c-Z与SWAP操作从|0000⟩态合成复杂纠缠态如V₃、V₉与V₁₄？
• RQ5 该群cZS_k是否存在多项式或Hopf代数结构，可为理论洞察提供支持？

主要发现

• 由c-Z与SWAP门组成的量子线路集合构成有限群cZS_k，支持系统化分析与简化。
• 基于群结构推导出高效的线路简化算法，减少门数并提升可靠性。
• 群cZS_k包含可生成|GHZ_k⟩与|W_k⟩等纠缠态的元素，表明其具备生成高深度纠缠的能力。
• 态V₃与V₁₄属于三阶扇面σ₃(ℙ¹×ℙ¹×ℙ¹×ℙ¹)，表明其具有特定的代数几何纠缠结构。
• 态V₉属于σ₃(ℙ³×ℙ³)，显示其纠缠类比V₃与V₁₄更一般，其中L ≠ 0但M = N = 0。
• 本文证明，典型纠缠态如V₃、V₉与V₁₄可仅通过c-Z与SWAP门从|0000⟩态制备，确认其在SLOCC下可达。