[论文解读] Vertex-Minor Universal Graphs for Generating Entangled Quantum Subsystems

Maxime Cautrès, Nathan Claudet+4 more|arXiv (Cornell University)|Jan 1, 2024

Quantum Computing Algorithms and Architecture被引用 1

一句话总结

本文引入了k-稳定子通用图态——一种量子态，可通过局域操作和经典通信（LOCC）协议在任意k个量子比特上生成任意稳定子态，利用图论中的顶点极小关系。论文证明了此类态的存在性，其量子比特数为Θ(k²)，并利用有限射影平面的关联图构造出显式族，实现了k-配对性，且量子比特数为O(k⁴)，相比先前的指数级构造有重大改进。

ABSTRACT

We study the notion of k-stabilizer universal quantum state, that is, an n-qubit quantum state, such that it is possible to induce any stabilizer state on any k qubits, by using only local operations and classical communications. These states generalize the notion of k-pairable states introduced by Bravyi et al., and can be studied from a combinatorial perspective using graph states and k-vertex-minor universal graphs. First, we demonstrate the existence of k-stabilizer universal graph states that are optimal in size with n = Θ(k²) qubits. We also provide parameters for which a random graph state on Θ(k²) qubits is k-stabilizer universal with high probability. Our second contribution consists of two explicit constructions of k-stabilizer universal graph states on n = O(k⁴) qubits. Both rely upon the incidence graph of the projective plane over a finite field 𝔽_q. This provides a major improvement over the previously known explicit construction of k-pairable graph states with n = O(2^{3k}), bringing forth a new and potentially powerful family of multipartite quantum resources.

研究动机与目标

• 将k-配对性推广至k-稳定子通用性，通过LOCC协议在任意k个量子比特上生成任意稳定子态。
• 利用图态中的顶点极小关系，从组合角度刻画k-稳定子通用性。
• 构造显式、确定性的k-顶点极小通用图族，其量子比特数在k上呈多项式增长。
• 改进先前关于k-配对态的指数规模构造（n = O(2³ᵏ)），实现多项式规模。

提出的方法

• 利用图态形式化方法，将量子LOCC协议映射为图操作，特别是顶点删除与局部补全。
• 定义k-顶点极小通用性：若图G的每个k-顶点子图均为G的顶点极小图，则称G为k-顶点极小通用图。
• 利用有限域Fq上射影平面的关联图，构造出两组显式k-顶点极小通用图族。
• 利用射影平面的性质，确保通过受控的局部补全与顶点删除序列，可获得所有k-顶点图作为顶点极小图。
• 通过顶点极小操作与使用Pauli测量和Clifford门的LOCC协议之间的等价性，证明所得图态为k-稳定子通用态。
• 分析渐近规模，表明双分图与约化图构造均产生O(k⁴)量子比特态，其中双分图版本略为高效。

实验结果

研究问题

• RQ1 能否以k的多项式数量级的量子比特构造出k-稳定子通用图态，而非指数规模？
• RQ2 是否存在一个确定性、显式的k-顶点极小通用图构造，其规模为O(k²)量子比特，与概率下界一致？
• RQ3 有限射影平面的关联图是否能系统性地通过LOCC生成任意k量子比特上的稳定子态？
• RQ4 当每方仅持有一个量子比特时，能否以多项式数量的量子比特实现k-配对性，从而解决Bravyi等人提出的一个开放问题？
• RQ5 k-稳定子通用性是否严格强于k-配对性？是否存在k-配对态但不是2k-稳定子通用态的情况？

主要发现

• 本文证明了存在k-顶点极小通用图，其规模n = Θ(k²)，达到理论最小尺寸。
• 提供了概率构造方法，表明在Θ(k²)量子比特上的随机图态以高概率为k-稳定子通用态。
• 给出了两组显式构造：一组基于射影平面的关联图（双分图版本），另一组基于约化图，两者均产生规模为n = O(k⁴)的k-顶点极小通用图。
• 双分图构造的规模为n₂ = 2(q₂² + q₂ + 1) ∼ 49/8 k⁴，而约化图构造的规模为n₁ = q₁² + q₁ + 1 ∼ 25/4 k⁴，后者在渐近意义上更高效。
• 双分图构造对应的图态|Gq₂⟩等价于CSS态，可能在容错量子信息处理中带来优势。
• 从顶点极小构造步骤中显式推导出生成任意所需k-量子比特稳定子态的LOCC协议，提供了完整的操作框架。