[论文解读] Qufinite ZX-calculus: a unified framework of qudit ZX-calculi

Quanlong Wang|arXiv (Cornell University)|Apr 13, 2021

Quantum Computing Algorithms and Architecture参考文献 13被引用 15

一句话总结

本文提出了 qufinite ZX演算，这是一种适用于任意有限维 d ≥ 2 的 qudit 量子力学的统一图形化框架。通过在 qubit ZX演算的基础上引入复相位 Z 蜘蛛、广义三角形节点以及新的维数分离器/绑定器生成元，该框架为任意有限维矩阵建立了规范形，证明了 universality（通用性），并为完备性证明及有限量子理论的图解重构铺平了道路。

ABSTRACT

ZX-calculus is graphical language for quantum computing which usually focuses on qubits. In this paper, we generalise qubit ZX-calculus to qudit ZX-calculus in any finite dimension by introducing suitable generators, especially a carefully chosen triangle node. As a consequence we obtain a set of rewriting rules which can be seen as a direct generalisation of qubit rules, and a normal form for any qudit vectors. Based on the qudit ZX-calculi, we propose a graphical formalism called qufinite ZX-calculus as a unified framework for all qudit ZX-calculi, which is universal for finite quantum theory due to a normal form for matrix of any finite size. As a result, it would be interesting to give a fine-grained version of the diagrammatic reconstruction of finite quantum theory [Selby2021reconstructing] within the framework of qufinite ZX-calculus.

研究动机与目标

• 将 qubit ZX演算系统性地推广至任意有限维 d ≥ 2 的 qudit 系统。
• 解决现有 qudit ZX演算中缺乏统一框架以处理混合维数系统的难题。
• 为 qudit 向量构建规范形，并将其扩展至任意有限维矩阵。
• 在统一的图形化演算中实现对有限量子理论的细粒度图解重构。
• 为在复数域及交换幺半环上证明 qudit 与 qufinite ZX演算的完备性奠定基础。

提出的方法

• 引入带有复数相位向量的 Z 蜘蛛以及新的广义三角形节点，作为 qudit ZX演算的核心生成元。
• 定义未归一化的 Hadamard 及其伴随节点，并将标准 qubit 重写规则扩展至 qudit 维度。
• 引入维数分离器与维数绑定器生成元，用于在导线上标记任意正整数，从而实现混合维数系统的组合。
• 通过推广 qubit 规范形，为 qudit 向量构建规范形，确保 qudit ZX演算的通用性。
• 通过维数分离器与维数绑定器规则组合 qudit 规范形，将规范形扩展至任意 m×n 矩阵。
• 证明该框架在任意交换幺半环上仍保持通用性，从而支持更广泛的代数推广。

实验结果

研究问题

• RQ1 qubit ZX演算能否在任意有限维 d ≥ 2 的 qudit 系统中，通过一组一致的重写规则实现系统性推广？
• RQ2 如何构建一个统一框架，以在单一图形演算中处理混合维数的 qudit 系统？
• RQ3 能否在 qudit ZX演算框架内推导出任意有限维矩阵的规范形，以确保通用性？
• RQ4 广义三角形节点以及维数分离器/绑定器生成元在实现异构 qudit 系统组合中起到何种作用？
• RQ5 qufinite ZX演算能否作为有限量子理论细粒度图解重构的基础？

主要发现

• 本文构建了带有复相位 Z 蜘蛛与广义三角形节点的 qudit ZX演算，实现了 qubit 重写规则向任意有限维 d ≥ 2 的直接推广。
• 建立了 qudit 向量的规范形，证明了 qudit ZX演算在表示任意有限维量子态方面的通用性。
• 引入了 qufinite ZX演算作为统一框架，支持任意正整数维数的导线，实现了混合维数系统间的组合。
• 通过维数分离器与维数绑定器生成元，构建了任意 m×n 矩阵的规范形，证明了 qufinite ZX演算在所有有限维量子理论中的通用性。
• 该框架可推广至任意交换幺半环，提示可通过类比 [14, 15] 中的方法实现完备性证明。
• 通过规范形的组合规则，直观且结构化地阐明了矩阵乘法类型匹配（t = u）的要求。