[论文解读] Code Generator for Quantum Simulated Annealing

Robert R. Tucci|ArXiv.org|Aug 12, 2009

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

一句话总结

本论文介绍了 QuSAnn v1.2 和 Multiplexor Expander v1.2，这两款免费的 Java 应用程序，可基于 Wocjan 等人提出的算法（arXiv:0804.4259）生成用于量子模拟退火的量子线路。该算法通过使用 Grover 固定点搜索替代量子 Zeno 效应，改进了 Somma 等人的方法。QuSAnn 输出使用量子多路复用器的线路，而 Multiplexor Expander 则将其分解为受控-非门和旋转等基本门，从而实现在近期量子硬件上的实际应用。该工具提供两种扩展选项：精确或预言式近似。

ABSTRACT

This paper introduces QuSAnn v1.2 and Multiplexor Expander v1.2, two Java applications available for free. (Source code included in the distribution.) QuSAnn is a "code generator" for quantum simulated annealing: after the user inputs some parameters, it outputs a quantum circuit for performing simulated annealing on a quantum computer. The quantum circuit implements the algorithm of Wocjan et al. (arXiv:0804.4259), which improves on the original algorithm of Somma et al. (arXiv:0712.1008). The quantum circuit generated by QuSAnn includes some quantum multiplexors. The application Multiplexor Expander allows the user to replace each of those multiplexors by a sequence of more elementary gates such as multiply controlled NOTs and qubit rotations.

研究动机与目标

• 开发一种量子模拟退火的代码生成器，实现 Wocjan 等人提出的算法，该算法在经典模拟退火基础上实现了更优的缩放性能。
• 通过将复杂的量子多路复用器分解为受控-NOT 门和单量子比特旋转等基本门，实现量子线路在实际硬件上的可实施性。
• 通过提供两种扩展模式（精确合成与预言式近似），为用户提供灵活的线路生成方式，提升与当前量子硬件的兼容性。
• 通过提供开源、可扩展的工具及共享代码库（QLib），支持研究人员和实践者探索量子优化，促进量子线路设计的开发。

提出的方法

• QuSAnn 基于 Wocjan 等人提出的算法，生成用于模拟退火的量子线路，该算法利用 Szegedy 量子行走算符和相位估计算法，实现对函数最小值的寻找，并具有更优的缩放性能。
• 线路构建基于三个简化假设：线性退火调度（β₀=0，Δβ>0）、二次能量函数 E(x)=(x−NS/2)²，以及最近邻跃迁（|x−y|≤1）。
• 输出的线路包含量子多路复用器，随后由 Multiplexor Expander 处理，将其替换为受控-NOT 门和量子比特旋转等基本门的序列。
• Multiplexor Expander 提供两种扩展策略：精确合成（基于酉矩阵分解）和预言式近似（基于预言机构造），两者均旨在减少线路深度和门数。
• 该工具以 Java 实现，并通过 QLib 代码库共享源码，支持模块化集成与复用，适用于各类量子线路开发工作流。
• 生成的线路以人类可读的英文文本和可视化图片格式输出，便于验证，并可进一步编译为标准量子线路格式。

实验结果

研究问题

• RQ1 如何通过 Wocjan 等人提出的算法，自动为量子模拟退火生成量子线路，该算法通过将所需操作数从 O(1/δ) 减少到 O(1/√δ)，实现对经典模拟退火的改进？
• RQ2 如何有效将复杂的量子多路复用器分解为适用于当前含噪声中等规模量子（NISQ）设备的、适合实现的基本量子门序列？
• RQ3 在 Wocjan 等人算法中，使用 Grover 固定点搜索替代量子 Zeno 效应，是否能带来更稳定且高效的量子优化收敛性能？
• RQ4 如何使线路生成流程具备可扩展性与用户友好性，以支持不具备量子线路编译深度知识的研究人员？
• RQ5 在多路复用器分解中，精确与预言式近似之间的权衡是什么，特别是在线路深度、门数和保真度方面？

主要发现

• QuSAnn 工具成功为 Wocjan 等人提出的量子模拟退火算法生成了量子线路，该算法通过仅需 O(1/√δ) 次操作，而非 O(1/δ)，实现了相对于经典模拟退火的二次加速。
• 该量子线路包含多路复用器，这些多路复用器对于实现算法中的 Szegedy 量子行走和相位估计算法组件至关重要。
• Multiplexor Expander 有效地将每个多路复用器分解为受控-NOT 门和单量子比特旋转等基本门的序列，使线路可编译用于 NISQ 时代量子处理器。
• 该工具支持两种分解策略：精确合成与预言式近似，使用户能够在线路保真度与资源开销之间灵活权衡。
• 生成的线路以文本（英文）和图像（Picture）两种格式输出，且准确统计了基本操作数量，包括循环展开。
• 整个系统为开源，共享 Java 代码库（QLib），促进了可扩展性，并可集成到更广泛的量子算法开发工作流中。