[论文解读] Computational Methods for Simulating Quantum Computers

Hans De Raedt, Kristel Michielsen|ArXiv.org|Jun 27, 2004

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

一句话总结

本文全面综述了用于模拟理想与物理模型量子计算机的数值算法和软件工具。文中详细介绍了时间积分算法、切比雪夫多项式及Suzuki-Trotter乘积公式等计算方法，并评估了其在Shor因数分解与Grover搜索等量子算法中的应用，表明在包含退相干等现实条件下的小规模量子系统（最多24量子比特）可实现高保真度的模拟。

ABSTRACT

This review gives a survey of numerical algorithms and software to simulate quantum computers.It covers the basic concepts of quantum computation and quantum algorithms and includes a few examples that illustrate the use of simulation software for ideal and physical models of quantum computers.

研究动机与目标

• 为解决现有文献中缺乏对量子计算机数值模拟方法，特别是含退相干的物理模型的全面综述的问题。
• 为研究人员和学生提供详细参考，以使用成熟的数值算法自行实现量子计算机模拟器。
• 通过综述现有模拟软件及其功能，弥合理论量子计算与实际数值实验之间的鸿沟。
• 证明即使在NMR类动力学和退相干等现实条件下，经典计算机模拟量子算法的可行性。
• 通过整理现有工具并结合具体示例（如三量子比特加法器和Grover算法）说明其使用方法，支持量子计算机仿真器的开发。

提出的方法

• 利用时变哈密顿量和幺正时间演化来模拟量子处理器在物理模型中的动力学行为。
• 采用数值积分技术，如切比雪夫多项式算法和短迭代Lanczos方法，以高效实现量子态的时间演化。
• 应用Suzuki-Trotter乘积公式，将复杂的时间演化算符分解为一系列更简单的量子门序列。
• 对小系统实施完全对角化，以计算精确本征态和时间演化，作为大尺度模拟的基准。
• 将这些方法整合到一个框架中，用于模拟理想量子线路和包含退相干的现实硬件模型（如基于NMR的系统）。
• 通过量子算法的具体实现，评估并比较多种模拟工具（如QCE、QSS、QGame、QCS）的性能。

实验结果

研究问题

• RQ1 在模拟量子计算机中量子系统的时序演化时，哪些数值算法最为有效？
• RQ2 如何利用现有模拟软件在经典计算机上准确模拟Shor因数分解与Grover搜索等量子算法？
• RQ3 在模拟物理量子计算机时，特别是涉及退相干和NMR类动力学时，主要挑战是什么？
• RQ4 在功能、易用性及对现实量子计算场景的支持方面，不同模拟工具（如QCE、QSS、QGame）之间有何差异？
• RQ5 经典计算机在现实物理条件下最多可模拟多大规模的量子系统（如24量子比特），其局限性是什么？

主要发现

• 切比雪夫多项式算法与短迭代Lanczos方法在大尺度量子系统中提供了高效且精确的时间演化，其性能在量子比特数量超过小规模时优于完全对角化方法。
• Suzuki-Trotter乘积公式通过将演化分解为小而可积的步骤，实现了对时变哈密顿量的稳定模拟，这对建模物理量子处理器至关重要。
• 量子计算机模拟器如QCE和QSS支持包含退相干和NMR类动力学的现实模拟，使研究人员能在实验约束条件下调试量子算法。
• 在理想模型与NMR类模型上对Shor算法和Grover算法的模拟结果证实了在经典硬件上模拟量子算法的可行性，且结果与理论预测一致。
• QCE模拟器支持最多24个量子比特，并包含三量子比特加法器、周期寻找与数划分等示例，展示了其在算法开发中的实际应用价值。
• 存在大量免费可用的模拟软件，包括QCE（Windows/Linux）、QSS（Windows）、QGame（Mac）和QCS（C++），为科研与教育提供了广泛可及性。