[论文解读] Introduction to UniversalQCompiler

Raban Iten, Oliver Reardon-Smith+6 more|arXiv (Cornell University)|Apr 1, 2019

Quantum Computing Algorithms and Architecture参考文献 35被引用 16

一句话总结

UniversalQCompiler 是一个开源的 Mathematica 工具包，可将任意量子操作（如等距映射、量子通道、POVM 和仪器）分解为近似最优的单量子比特旋转与 CNOT 门序列。它可自动将量子协议编译为 CNOT 门数量最少的量子电路，支持导出为 LaTeX 和 OpenQASM，并与 QI 工具包集成，实现解析化的量子信息处理。

ABSTRACT

We introduce an open source software package UniversalQCompiler written in Mathematica that allows the decomposition of arbitrary quantum operations into a sequence of single-qubit rotations (with arbitrary rotation angles) and controlled-NOT (C-NOT) gates. Together with the existing package QI, this allows quantum information protocols to be analysed and then compiled to quantum circuits. Our decompositions are based on Phys. Rev. A 93, 032318 (2016), and hence, for generic operations, they are near optimal in terms of the number of gates required. UniversalQCompiler allows the compilation of any isometry (in particular, it can be used for unitaries and state preparation), quantum channel, positive-operator valued measure (POVM) or quantum instrument, although the run time becomes prohibitive for large numbers of qubits. The resulting circuits can be displayed graphically within Mathematica or exported to LaTeX. We also provide functionality to translate the circuits to OpenQASM, the quantum assembly language used, for instance, by the IBM Q Experience.

研究动机与目标

• 自动化将抽象量子操作编译为小规模量子系统的物理量子电路。
• 提供对等距映射、量子通道、POVM 和仪器的近似最优分解，分解为单量子比特旋转与 CNOT 门。
• 通过 Mathematica 中的 QI 工具包，实现与现有量子信息工具的无缝集成。
• 通过 OpenQASM 导出和外部编译管道，支持与量子硬件平台的互操作性。
• 提供针对特殊形式操作（如对角门和均匀控制门）的优化专用例程。

提出的方法

• 基于量子香农分解（Phys. Rev. A 93, 032318）的分解技术，以最小化 CNOT 门数量。
• 以 Kraus 或 Choi 矩阵形式表示量子操作，并通过等距扩展将其映射为等效的幺正演化。
• 使用辅助量子比特将非幺正操作（如通道、POVM）嵌入到幺正电路中，以支持标准电路编译。
• 在 Mathematica 环境内应用基本的电路简化规则，以减少分解后的门序列。
• 将生成的门序列转换为 OpenQASM 格式，用于 IBM Q Experience 及其他量子软件栈。
• 支持图形化可视化及 LaTeX（Q-circuit 格式）导出，便于文档撰写与发表。

实验结果

研究问题

• RQ1 如何将任意量子操作（包括非幺正操作）编译为 CNOT 门数量最少的量子电路？
• RQ2 该分解方法在通用等距映射和通道上的门数量与运行时间表现如何？
• RQ3 该工具包在处理对角门或均匀控制门等特殊形式操作时，能多大程度实现效率提升？
• RQ4 生成的电路与外部工具（如编译器或电路优化器）的接口效率如何？
• RQ5 该分解方法在更大规模量子系统（按量子比特数量）上的可扩展性如何，运行时间表现如何？

主要发现

• 该分解方法在通用等距映射上的 CNOT 门数量，与理论下限保持在常数因子（约两倍）以内。
• 对于通用量子通道和 POVM，基于量子香农分解框架，其 CNOT 门数量接近最优。
• 该工具包支持任意等距映射的编译，包括酉操作和态制备，并通过等距扩展处理量子仪器和 POVM。
• 已在工具包中直接实现电路简化规则，以减少分解后的门序列。
• 该工具包支持将电路导出为 LaTeX（Q-circuit 格式）和 OpenQASM，确保与主流量子软件生态系统的兼容性。
• 当量子比特数量较大时，运行时间变得不可接受，限制了其在小规模系统（通常 < 10 量子比特）中的实际应用。