[论文解读] Quantum Chaos and Universal Trotterisation Behaviours in Digital Quantum Simulations

Cahit Kargı, Manatuly, Angsar+8 more|arXiv (Cornell University)|Oct 21, 2021

Quantum Computing Algorithms and Architecture被引用 6

一句话总结

该论文识别出数字量子模拟性能中的一个普遍阈值，其成因是 Trotter 化动力学中由量化引起的量子混沌，表明在该阈值以上，由于算法误差，量子混沌行为会涌现。该研究揭示了在阈值前存在具有准周期动力学和可解析处理的 Trotter 误差的显著前阈值区域，为可观测量、量子态和酉算符提供了统一的框架，以优化量子模拟资源的使用。

ABSTRACT

Digital quantum simulation (DQS) is one of the most promising paths for achieving first useful real-world applications for quantum processors. Yet even assuming rapid progress in device engineering and development of fault-tolerant quantum processors, algorithmic resource optimisation will long remain crucial to exploit their full power. Currently, Trotterisation provides state-of-the-art resource scaling. And recent theoretical studies of Trotterised Ising models suggest that even better performance than expected may be possible up to a distinct breakdown threshold in empirical performance. Here, we study multiple paradigmatic DQS models with experimentally realisable Trotterisations, and evidence the universality of a range of Trotterisation performance behaviours, including not only the threshold, but also new features in the pre-threshold regime that is most important for practical applications. In each model, we observe a distinct Trotterisation threshold shared across widely varying performance signatures; we further show that an onset of quantum chaotic dynamics causes the performance breakdown and is directly induced by digitisation errors. In the important pre-threshold regime, we are able to identify new distinct regimes displaying qualitatively different quasiperiodic performance behaviours, and show analytic behaviour for properly defined operational Trotter errors. Our results rely crucially on diverse new analytical tools, and provide a previously missing unified picture of Trotterisation behaviour across local observables, the global quantum state, and the full Trotterised unitary. This work provides new insights and tools for addressing important questions about the algorithm performance and underlying theoretical principles of sufficiently complex Trotterisation-based DQS, that will help in extracting maximum simulation power from future quantum processors.

研究动机与目标

• 理解由 Trotter 化误差引起的数字量子模拟（DQS）性能下降的原因。
• 识别在不同 DQS 模型中普遍存在的动力学行为，特别是在前阈值区域。
• 将性能退化现象的出现与量化引起的量子混沌联系起来。
• 为可观测量、量子态和酉算符中的 Trotter 化动力学建立统一的分析框架。
• 为近期及未来量子处理器中的算法资源使用提供优化工具。

提出的方法

• 分析多个典型 DQS 模型（例如 A2A-Ising 模型、Dicke 模型），其 Trotter 化方式可在实验中实现。
• 采用随机矩阵理论（RMT）通过最近邻能级间距统计和 $X^2_{\text{RMT}}$ 测度来量化量子混沌。
• 使用精确对角化和时间演化模拟，比较不同步长和系统尺寸下的理想动力学与 Trotter 化动力学。
• 引入一个明确定义的操作性 Trotter 误差，以揭示前阈值区域中的解析行为。
• 研究腔体截断（$\dim_{\text{c}} \sim \frac{1}{2}\dim_j$）的作用，并确认结果对截断微小变化的鲁棒性。
• 应用 Holstein-Primakoff 变换和经典对应关系，验证 Dicke 模型中的量子混沌。

实验结果

研究问题

• RQ1 Trotter 化数字量子模拟中的性能崩溃是由什么引起的？它在不同模型中是否具有普遍性？
• RQ2 在 DQS 中，量化误差是否能引发量子混沌动力学？这与 Trotter 步长有何关联？
• RQ3 在 Trotter 化模拟的前阈值区域中是否存在不同的动力学区域？其特征是什么？
• RQ4 如何定义操作性 Trotter 误差，使其在前阈值区域表现出解析行为？
• RQ5 所观察到的阈值在系统参数变化（如腔体截断或模型参数）下具有多大程度的鲁棒性？

主要发现

• 在多个 DQS 模型中观察到一个普遍的性能崩溃阈值，其特征是模拟误差的急剧增加。
• 该阈值与 Trotter 化过程中由量化误差引起的量子混沌动力学的出现直接相关。
• 在前阈值区域中，出现具有不同特征的准周期动力学行为，表明模拟动力学具有定性差异。
• 操作性 Trotter 误差在前阈值区域表现出解析行为，从而能够对模拟保真度进行预测建模。
• 即使在 Dicke 模型的量子混沌参数区域中，同样可观测到相同的阈值行为，证实了其鲁棒性。
• 在阈值之外，Trotter 化动力学表现出更强的混沌特征：准周期性丧失，PR 值比理想情况高出一个数量级，子系统熵达到最大。