[论文解读] SANQ: A Simulation Framework for Architecting Noisy Intermediate-Scale Quantum Computing System

Gushu Li, Yufei Ding+1 more|arXiv (Cornell University)|Apr 24, 2019

Quantum Computing Algorithms and Architecture参考文献 56被引用 11

一句话总结

SANQ 是一个针对嘈杂中等规模量子（NISQ）系统的全栈仿真框架，结合了优化的噪声量子电路仿真器与经典控制系统的架构仿真基础设施。通过消除冗余计算，其噪声仿真速度提升7倍，并在与真实IBM和代尔夫特控制系统的对比验证中，实现了<1%和10%的定时误差。

ABSTRACT

To bridge the gap between limited hardware access and the huge demand for experiments for Noisy Intermediate-Scale Quantum (NISQ) computing system study, a simulator which can capture the modeling of both the quantum processor and its classical control system to realize early-stage evaluation and design space exploration, is naturally invoked but still missing. This paper presents SANQ, a Simulation framework for Architecting NISQ computing system. SANQ consists of two components, 1) an optimized noisy quantum computing (QC) simulator with flexible error modeling accelerated by eliminating redundant computation, and 2) an architectural simulation infrastructure to construct behavior models for evaluating the control systems. SANQ is validated with existing NISQ quantum processor and control systems to ensure simulation accuracy. It can capture the variance on the QC device and simulate the timing behavior precisely (&lt;1% and 10% error for various real control systems). Several potential applications are proposed to show that SANQ could benefit the future design of NISQ compiler, architecture, etc.

研究动机与目标

• 解决缺乏能够同时建模量子处理器与经典控制系统之综合仿真工具的问题。
• 支持NISQ编译器、控制架构与量子处理器的早期阶段设计空间探索与性能评估。
• 通过提供高保真、可扩展的仿真环境，克服硬件访问限制，推动NISQ系统创新。
• 支持灵活的错误建模与精确的定时仿真，以真实反映NISQ系统的行为。
• 通过仿真量子与控制系统的动态行为，弥合理论量子系统设计与实际实现之间的鸿沟。

提出的方法

• 采用优化的蒙特卡罗仿真方法实现噪声量子电路仿真器，并通过消除冗余计算，使误差注入速度相比暴力方法提升7倍。
• 集成灵活且真实的错误模型（如退相干、振幅阻尼），这些模型源自实际NISQ设备，如IBM的超导处理器。
• 开发架构仿真基础设施，允许用户通过可重用硬件模块或自定义组件来建模经典控制系统。
• 基于编程模型与接口需求构建控制系统的行为模型，支持乱序指令调度与资源利用率分析。
• 通过与真实系统对比验证框架，包括IBM与代尔夫特大学的NISQ控制系统，确保执行定时与输出保真度的高保真度。
• 支持可扩展性，未来可扩展以支持更多仿真维度，如功耗与可靠性。

实验结果

研究问题

• RQ1 如何在统一的NISQ系统仿真环境中准确建模噪声量子处理器与经典控制系统？
• RQ2 哪些优化技术可显著加速噪声量子电路仿真，同时不损害结果保真度？
• RQ3 仿真控制系统在多大程度上能复现真实NISQ控制硬件的定时行为？
• RQ4 仿真框架如何支持NISQ编译器与控制架构的早期阶段设计空间探索？
• RQ5 在仿真真实NISQ系统时，关键的性能与保真度权衡是什么，以及如何最小化这些权衡？

主要发现

• SANQ框架通过消除蒙特卡罗误差注入中的冗余计算，在噪声量子电路仿真中实现了平均7倍的速度提升。
• 噪声量子仿真器能够高保真度地捕捉输出保真度的波动，与真实NISQ设备行为高度一致。
• 控制系统仿真器在模拟代尔夫特大学控制系统时实现<1%的定时误差，而在模拟IBM控制系统时误差为10%。
• 该框架支持全面的系统级评估，包括完整系统性能、设计空间探索，以及新优化机会的识别。
• SANQ已通过真实NISQ系统验证，包括IBM的超导处理器与两种不同的控制系统实现。
• 该框架具备可扩展性，未来可集成至GEM5等更大规模系统仿真器中，以支持主机-机器交互的建模。