[论文解读] Graph States, Pivot Minor, and Universality of (X,Z)-measurements

Mehdi Mhalla, Simon Perdrix|arXiv (Cornell University)|Feb 29, 2012

Quantum Mechanics and Applications参考文献 44被引用 22

一句话总结

本文通过量子信息技术证明，任一图均可作为平面图（具体为三角形格）的旋转极小化子。进一步证明仅在三角形图态上使用(X,Z)基测量的一方量子计算具有通用性，表明此最小测量基已足够实现通用量子计算，对物理实现与图论通用性具有重要意义。

ABSTRACT

The graph state formalism offers strong connections between quantum information processing and graph theory. Exploring these connections, first we show that any graph is a pivot-minor of a planar graph, and even a pivot minor of a triangular grid. Then, we prove that the application of measurements in the (X,Z)-plane over graph states represented by triangular grids is a universal measurement-based model of quantum computation. These two results are in fact two sides of the same coin, the proof of which is a combination of graph theoretical and quantum information techniques.

研究动机与目标

• 建立量子测量基量子计算与图论之间通过图态的深层联系。
• 证明任一图均可作为平面图（具体为三角形格）的旋转极小化子。
• 证明仅在三角形格图态上使用(X,Z)基测量的一方量子计算具有通用性。
• 证明量子信息技术可导出非平凡的经典图论结果，如旋转极小化子通用性。
• 通过证明单一测量平面即足以实现通用性，最小化物理资源需求，优于此前需多个测量基的模型。

提出的方法

• 使用图态形式化表示纠缠量子态为图，实现组合分析。
• 应用旋转操作——在边上进行局部补全的序列——以变换图并推导旋转极小化子。
• 引入带符号图态以扩展形式化体系，并分析测量诱导的变换。
• 通过图运算（包括局部补全）刻画X与Z测量对带符号图态的影响。
• 利用量子线路等价性与酉旋转技术，证明仅使用(X,Z)测量即可模拟(X,Y)测量。
• 利用局部补全与旋转极小化关系的不变性，通过图论闭包性质证明通用性。

实验结果

研究问题

• RQ1 是否每个有限图均可作为平面图的旋转极小化子？若可，何种平面图类已足够？
• RQ2 是否可在规则图态上仅使用(X,Z)测量平面的一量子比特测量实现通用量子计算？
• RQ3 能否使用量子信息技术证明经典图论中的非平凡结果，如旋转极小化嵌入？
• RQ4 为何在测量基量子计算背景下，三角形格比矩形或六边形格更具优势？
• RQ5 在一维量子计算模型中，实现通用性所需的最小测量基集合为何？

主要发现

• 任一有限图均为三角形格的旋转极小化子，构造大小受O(n⁴)限制，其中n为原图的顶点数。
• 在三角形格图态上应用(X,Z)基测量，对一维量子计算具有通用性，可模拟任意实酉变换。
• 旋转极小化子通用性的证明依赖于量子论证，表明量子信息技术可导出非平凡的经典图论结果。
• 三角形格是仅使用(X,Z)测量的测量基量子计算的通用资源，而矩形与六边形格则不是，因其双分图结构。
• 通过局部补全与酉旋转，实现了P(α)门在(X,Z)测量下的模拟，表明其与(X,Y)测量协议等价。
• 双分图的旋转极小化子仍为双分图，因此非双分图（如三角形）无法是矩形或六边形格的旋转极小化子，从而证明其在此情境下的局限性。