[论文解读] Self-testing graph states

Matthew McKague|arXiv (Cornell University)|Oct 11, 2010

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

一句话总结

本文提出了一种针对任意连通图态的自检测协议，仅使用少量线性数量的非局域关联——每量子比特两到三个测量设置——实现了对态和测量的装置无关验证。该测试具有鲁棒性，误差界按 𝒪(√ε + ε¹ᐟ⁴) 缩放，确保在噪声条件下与目标图态的保真度。

ABSTRACT

We give a construction for a self-test for any connected graph state. In other words, for each connected graph state we give a set of non-local correlations that can only be achieved (quantumly) by that particular graph state and certain local measurements. The number of correlations considered is small, being linear in the number of vertices in the graph. We also prove robustness for the test.

研究动机与目标

• 开发一种仅使用最少测量设置的装置无关自检测方法，适用于任意连通图态。
• 确保协议在噪声和非理想实验条件下的鲁棒性，并提供可量化的误差界。
• 在不假设系统希尔伯特空间维度或内部运作机制的前提下，验证量子态和测量。
• 通过实现自检测的图态制备，支持测量模型量子计算的应用。
• 将自检测技术从贝尔对和EPR对扩展至更广泛的纠缠资源态。

提出的方法

• 从图态上的稳定算符测量中构造一组非局域关联，使用每个量子比特及其邻居上的泡利-X和泡利-Z算符。
• 定义涉及如 $ D_u = \frac{X_u + Z_u}{\bar{2}} $ 等可观测量的测量设置，用于检验态与目标图态的一致性。
• 基于图结构采用递归构造方法，利用诱导子图和二部分解以降低复杂度。
• 应用算子范数与迹距离估计，通过三角不等式和算子范数界来限制与理想态的偏差。
• 通过微扰分析推导鲁棒性界，估计 $ \big\rfloor (D_u')^2 |\psi'\rangle - \frac{(X_u' + Z_u')^2}{2} |\psi'\rangle \big\rfloor_1 $ 以量化态保真度。
• 利用 $ \delta = (2n^3 + 4n^2 + n)\sqrt{\epsilon} + 13(\frac{1}{2}n^2 + n)\epsilon^{1/4} $ 确定误差标度，对簇态等特殊情况给出更紧的界。

实验结果

研究问题

• RQ1 能否仅使用线性数量的测量设置与关联，为任意连通图态构造出自检测？
• RQ2 在噪声或非理想实验条件下，此类自检测的鲁棒性应如何量化？
• RQ3 在不假设希尔伯特空间维度的前提下，该协议在多大程度上可验证底层量子态与测量？
• RQ4 自检测框架能否被调整以支持具有装置无关保证的测量模型量子计算？
• RQ5 在自检测协议中，测量设置数量与误差容限之间的最优权衡是什么？

主要发现

• 自检测仅需每量子比特两到三个测量设置，总关联数与顶点数呈线性关系。
• 该协议具有鲁棒性，误差界按 $ \mathcal{O}(\sqrt{\epsilon} + \epsilon^{1/4}) $ 缩放，其中 $ \epsilon $ 衡量与理想关联的偏离程度。
• 对于具有正方形晶格结构的簇态，误差界简化为 $ \delta = n\sqrt{\epsilon} + 39n\epsilon^{1/4} $，反映出更好的可扩展性。
• 该方法通过测试稳定算符关系与非局域关联，实现了对图态的装置无关验证，且无需对系统维度作先验假设。
• 分析表明，该协议可扩展至测试X-Y平面上的测量，具有在测量模型量子计算中应用的潜力。
• 鲁棒性分析显示，误差传播的标度与 [MM10] 中先前结果相似，支持在有界噪声下进行实际实现。