[论文解读] Logical network implementation for cluster states and graph codes

Dirk Schlingemann|ArXiv.org|Feb 1, 2002

Interconnection Networks and Systems被引用 4

一句话总结

本文提出了一种基于逻辑网络框架的实现簇态与图码的方法，仅使用基本量子门，证明了簇态制备与图码编码均可通过 Hadamard 与受控-非门的系统性网络实现。关键贡献在于，针对单输入图码，提出了一种门计数优化的构造方法，仅需 $ n + l - 1 $ 次操作，显著降低了与标准实现相比的资源开销。

ABSTRACT

In a previous paper a straight forward construction method for quantum error correcting codes, based on graphs, has been presented. These graph codes are directly related to cluster states which have been introduced by Briegel and Raussendorf. We show that the preparation of a cluster state as well as the coding operation for a graph code, can be implemented by a logical network. Concerning the qubit case each vertex corresponds to an Hadamard gate and each edge corresponds to a controlled not gate.

研究动机与目标

• 开发一种系统性、基于逻辑网络的方法，用于在量子计算机上制备簇态并实现图码。
• 建立图结构与量子门网络之间的直接对应关系，实现纠错码的系统化设计。
• 最小化编码所需的基本量子门数量，尤其针对单输入图码的情况。
• 比较基于单-双量子比特门的网络与全局并行操作在门计数复杂度上的差异。

提出的方法

• 使用由每个顶点的 Hadamard 门和每条边的受控-非门构成的逻辑网络制备簇态，对于 $ v $ 个顶点和 $ l $ 条边的图，共需 $ v + l $ 次操作。
• 对于图码编码，该方法在输入量子比特上应用 Hadamard 门，执行簇态制备网络，并在测量前对输入再次应用一轮 Hadamard 门，以在计算基下进行测量。
• 该网络从图结构系统性推导而来，受控移位操作由边权定义，傅里叶变换用于实现类非 Clifford 动力学。
• 关键技巧在于：当输入量子比特之间无边连接时，可将傅里叶变换与受控操作交换，从而实现门计数的减少。
• 对于单输入码，通过组合傅里叶变换、受控操作与一种特殊等距算符，构造出仅含 $ n + l - 1 $ 个门的最小网络。
• 该构造依赖于酉算符 $ {f u}_\text{Γ} $、$ F $ 与 $ {f w}_0^* $ 的代数恒等式，通过一系列结构化门序列将输入态映射至编码输出态。

实验结果

研究问题

• RQ1 如何通过一-双量子比特门的逻辑网络系统性地制备簇态？
• RQ2 实现图码所需的最小门计数是多少，特别是当仅存在一个输入量子比特时？
• RQ3 基于门的网络与全局并行操作在量子计算中的门计数复杂度如何比较？
• RQ4 图的结构能否被直接映射为用于纠错码编码的量子电路？
• RQ5 支撑图码编码与簇态制备等价性的代数与酉恒等式是什么？

主要发现

• 对于具有 $ v $ 个顶点和 $ l $ 条边的图，制备簇态恰好需要 $ v + l $ 次基本门操作：每个顶点一个 Hadamard 门，每条边一个 CNOT 门。
• 对于具有 $ k $ 个输入量子比特、$ n $ 个输出量子比特和 $ l $ 条边的图码，编码网络最多需要 $ 3k + n + l $ 个门，但当输入量子比特之间无边连接时，可减少至 $ k + n + l $ 个门。
• 在单输入情形（$ k=1 $）下，编码网络仅需 $ n + l - 1 $ 个基本门即可实现，显著降低了资源成本。
• 最小网络通过一系列傅里叶变换、受控移位操作与特殊等距算符 $ {f b}_0^\Gamma $ 构建，该算符将输入态映射至编码输出态。
• 证明表明，单输入码的逻辑网络与标准编码程序在酉等价性上成立，确保正确性的同时最小化门计数。
• 该框架实现了基于图的系统化量子纠错码设计，提供明确的门序列与可量化的资源需求。