[论文解读] Tensor networks and graphical calculus for open quantum systems

Christopher J. Wood, Jacob Biamonte+1 more|arXiv (Cornell University)|Nov 29, 2011

Quantum Computing Algorithms and Architecture被引用 10

一句话总结

本文提出了一种基于张量网络的开放量子系统图形演算，可实现对完全正映射及其表示（如 Choi 矩阵、Kraus 表示、过程矩阵）的直观、可视化操作。它展示了如何通过导线弯折对偶性与张量收缩，简化不同表示之间的变换，并为平均门保真度和辅助系统过程层析条件等关键量子信息量提供简洁证明。

ABSTRACT

We describe a graphical calculus for completely positive maps and in doing so review the theory of open quantum systems and other fundamental primitives of quantum information theory using the language of tensor networks. In particular we demonstrate the construction of tensor networks to pictographically represent the Liouville-superoperator, Choi-matrix, process-matrix, Kraus, and system-environment representations for the evolution of quantum states, review how these representations interrelate, and illustrate how graphical manipulations of the tensor networks may be used to concisely transform between them. To further demonstrate the utility of the presented graphical calculus we include several examples where we provide arguably simpler graphical proofs of several useful quantities in quantum information theory including the composition and contraction of multipartite channels, a condition for whether an arbitrary bipartite state may be used for ancilla assisted process tomography, and the derivation of expressions for the average gate fidelity and entanglement fidelity of a channel in terms of each of the different representations of the channel.

研究动机与目标

• 通过张量网络统一并简化开放量子系统中基本量子通道表示（如 Choi 矩阵、Kraus 表示、过程矩阵）之间的表示与变换。
• 开发一种图形演算，使开放系统中量子操作的推理更加直观、图示化，从而降低代数复杂度。
• 通过更简单、更透明的图形化证明，展示该框架在推导量子信息理论中已知结果方面的实用性。
• 为处理复合系统、超算符和量子信息处理中的态平均，提供一种系统化、可视化的方法。
• 建立未来在量子过程层析、保真度分析和量子协议设计中使用图示推理的基础。

提出的方法

• 使用 Penrose 的张量网络记法，将量子通道和超算符表示为带有标记指标的图形张量。
• 通过 Choi-Jamiołkowski 对偶性应用导线弯折对偶性（wire-bending dualities），在 Liouville-超算符表示与 Choi 矩阵表示之间进行变换。
• 采用向量化与重排操作，将双粒子态转换为有效超算符，从而实现对辅助系统过程层析的分析。
• 利用 n 体系统对称子空间的投影算符，该算符表示为 n! 个置换算符（SWAP）之和，以计算态平均。
• 通过张量网络收缩，将涉及纯态平均 ∫|ψ⟩⟨ψ|⊗n 的表达式简化为对称子空间投影。
• 使用非线性、单向变换（如谱分解）在 Choi 矩阵与 Kraus 表示等不同表示之间进行转换，同时承认其中的酉自由度。

实验结果

研究问题

• RQ1 如何利用张量网络统一并简化开放量子系统中完全正映射不同表示之间的变换？
• RQ2 通过张量网络的图形演算能否为关键量子信息度量提供比代数推导更直观、更简洁的替代方法？
• RQ3 双粒子态可用于辅助系统过程层析的图形化条件是什么？能否以更简单的方式推导出该条件？
• RQ4 如何利用张量网络图和对称子空间投影算符推导量子通道的平均门保真度？
• RQ5 非线性变换（如谱分解）在一致的图形演算框架中在多大程度上可以被表示和操作？

主要发现

• 图形演算使得辅助系统过程层析中双粒子态可用性的必要与充分条件的证明更加简洁直观，且恢复通道的构造更为透明。
• 通过将态平均 ∫|ψ⟩⟨ψ|⊗n 表示为对称子空间的投影算符，该算符在张量网络形式中表示为 n! 个置换算符之和，从而更简洁地推导出量子通道的平均门保真度。
• 张量网络方法能够高效收缩涉及纯态 n 重张量积的复杂表达式，将其简化为单个对称子空间投影。
• 该框架表明，导线弯折变换（如通过 Choi-Jamiołkowski 对偶性）足以实现 Liouville-超算符与 Choi 矩阵等表示之间的线性、可逆映射。
• 非线性变换（如从 Choi 矩阵到 Kraus 表示）被证明为单向的，这是由于存在酉自由度，且在图形框架中通过虚线箭头进行可视化。
• 该方法为处理复合系统超算符和约化系统动力学提供了一种系统化且可视化的方法，支持对更大量子系统中子集的模块化更新。