[论文解读] Models to Reduce the Complexity of Simulating a Quantum Computer

Kevin Obenland, Alvin M. Despain|ArXiv.org|Dec 2, 1997

Quantum Computing Algorithms and Architecture参考文献 1被引用 3

一句话总结

本文提出分层模拟模型以降低模拟量子计算机的计算复杂度，从而实现对误差效应的可行分析。通过提出更粗粒度的模型，在保持准确性的前提下显著减少指数级的资源需求，作者证明退相干误差与不准确误差之间互不相关，从而大幅减少评估量子计算机可行性所需模拟的次数。

ABSTRACT

Recently Quantum Computation has generated a lot of interest due to the discovery of a quantum algorithm which can factor large numbers in polynomial time. The usefulness of a quantum com puter is limited by the effect of errors. Simulation is a useful tool for determining the feasibility of quantum computers in the presence of errors. The size of a quantum computer that can be simulat ed is small because faithfully modeling a quantum computer requires an exponential amount of storage and number of operations. In this paper we define simulation models to study the feasibility of quantum computers. The most detailed of these models is based directly on a proposed imple mentation. We also define less detailed models which are exponentially less complex but still pro duce accurate results. Finally we show that the two different types of errors, decoherence and inaccuracies, are uncorrelated. This decreases the number of simulations which must be per formed.

研究动机与目标

• 为解决模拟量子计算机带来的指数级资源需求，这些需求限制了对误差效应的研究。
• 开发计算复杂度更低但不牺牲准确性的模拟模型。
• 研究量子系统中退相干与不准确误差之间的相关性。
• 在现实误差条件下，实现更高效的量子计算机可行性研究。
• 提供一种可扩展的框架，以减少资源需求来模拟量子计算。

提出的方法

• 提出从高度详细到粗粒度抽象的分层模拟模型，以平衡准确性与计算成本。
• 设计比全态模拟指数级更简单的模型，同时仍能产生准确结果。
• 采用基于直接实现的模型作为最详细的参考基准以验证结果。
• 应用统计与分析技术，评估不同模型层级下的误差行为。
• 形式化退相干与不准确误差的模型，以评估其独立性。
• 通过将不同抽象层级的结果与详细模型对比，验证模型的准确性。

实验结果

研究问题

• RQ1 更粗粒度的模拟模型是否能在保持量子计算机模拟准确性的同时显著降低计算复杂度？
• RQ2 在量子系统中，退相干与不准确误差在相关性方面如何关联？
• RQ3 误差类型之间的独立性在多大程度上可减少所需模拟的次数？
• RQ4 在模拟量子误差动力学时，模型保真度与计算效率之间存在何种权衡？
• RQ5 分层建模能否实现大规模量子系统在现实误差条件下的可扩展模拟？

主要发现

• 所提出的较不详细模拟模型在保持高准确性的同时，将计算复杂度降低了指数级因子。
• 研究发现，量子系统中的退相干与不准确误差之间互不相关，从而减少了评估误差鲁棒性所需模拟的次数。
• 分层建模方法使得在真实误差特征下对量子计算机进行可行模拟成为可能。
• 详细模型可作为验证粗粒度模型的可靠基准。
• 误差类型的独立性支持模块化分析，从而提升模拟效率。
• 该框架支持在实际误差约束下对量子计算机进行可扩展的可行性研究。