[论文解读] Efficiently contractable quantum circuits cannot produce much entanglement

Nadav Yoran|ArXiv.org|Feb 8, 2008

Quantum Computing Algorithms and Architecture被引用 3

一句话总结

本文表明，具有高效可收缩张量网络的量子线路——其收缩复杂度较低，归因于有利的图拓扑结构——无法产生显著的量子纠缠。通过建立张量收缩方法与树状张量网络（TTN）表示之间的结构等价性，作者证明此类线路在经典上可模拟，且在纠缠生成方面具有本质限制，其施密特秩由量子比特数量的多项式函数有界。

ABSTRACT

We show a similarity between two different classical simulation methods for measurement based quantum computation -- one relying on a low entanglement (tree tensor network) representation of the computer's state, and the other a tensor contraction method based on the topology of the graph state. We use this similarity to show that any quantum circuit that can be efficiently simulated via tensor contraction cannot produce much entanglement.

研究动机与目标

• 阐明两种经典模拟方法之间的关系：低纠缠树状张量网络（TTN）与基于线路拓扑的张量收缩。
• 研究高效可收缩的量子线路是否能产生大量纠缠。
• 建立高效张量收缩意味着纠缠有界的结论，利用模拟方法之间的结构相似性。
• 证明任何具有高效张量收缩方案的量子线路，其在所有阶段均具有施密特秩多项式有界的TTN表示。
• 表明纠缠并非量子优势的唯一资源，因为某些非纠缠线路（如经典线路）仍难以实现高效收缩。

提出的方法

• 基于底层量子线路的图结构，为测量型量子计算（MQC）定义一种张量收缩方案。
• 从相同的图结构出发，构建一种树状张量网络（TTN）表示，其中内部边对应于施密特分解。
• 证明图的收缩复杂度（cc(G)）受其树宽（twd(G)）和秩宽（rwd(G)）的限制，且满足 rwd(G) = χwd(G)。
• 建立若线路的张量收缩高效（即 cc(Gc) 较小），则其对应的图态具有低秩 TTN 表示的结论。
• 利用度为2的顶点收缩下收缩复杂度的不变性，将线路的图（Gc）与图态的图（G）关联起来，得出 cc(G) ≤ cc(Gc)。
• 论证 MQC 中的单量子比特测量和局部操作不会增加施密特秩，因此任意子线路之后的态仍可通过 TTN 高效表示。

实验结果

研究问题

• RQ1 具有高效可收缩张量网络的量子线路能否产生高水平的纠缠？
• RQ2 张量收缩方法与树状张量网络（TTN）表示在模拟量子线路时的结构关系为何？
• RQ3 高效张量收缩是否意味着量子线路中纠缠有界？
• RQ4 是否存在产生极少纠缠但依然难以实现高效经典模拟（通过张量收缩）的量子线路？
• RQ5 通过树宽与秩宽表征的线路图拓扑，如何约束计算过程中量子态的纠缠？

主要发现

• 任何可通过张量网络方法高效收缩的量子线路，其在任意阶段的施密特秩均被量子比特数的多项式函数有界，因此无法产生大量纠缠。
• 线路图的张量收缩复杂度（cc(Gc)）受对应图态的张量收缩复杂度（cc(G)）的上界约束，确保线路中高效收缩意味着图态中存在高效 TTN 表示。
• 图的秩宽（rwd(G)）等于 χwd(G)，且满足不等式：(twd(G) - 1)/(2Δ²) ≤ rwd(G) ≤ Δ(twd(G) + 1) - 1，将拓扑参数与模拟效率联系起来。
• 量子计算机在任意子线路之后的态仍可通过 TTN 高效表示，因为单量子比特测量和局部操作不会增加施密特秩。
• 存在某些量子线路（如经典模幂运算）不产生任何纠缠，但仍缺乏高效的张量收缩方案，表明低纠缠并不意味着可实现高效经典模拟。
• TTN 与张量收缩方法之间的结构相似性表明，高效收缩意味着纠缠有界，从而为量子优势的边界提供了新的刻画。