[论文解读] Quantum information science and complex quantum systems

Michael A. Nielsen|ArXiv.org|Oct 1, 2002

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

一句话总结

本文主张，通过利用逻辑深度、量子纠缠和动态强度度量等概念，量子信息科学为研究复杂量子系统提供了一个强大的科学框架。它表明量子动力学可作为通用量子计算的可互换资源，并引入一种基于度量的强度度量，从而推导出计算复杂性的下界，为分析涌现的量子现象提供了新工具。

ABSTRACT

What makes quantum information science a science? This paper explores the idea that quantum information science may offer a powerful approach to the study of complex quantum systems.

研究动机与目标

• 通过将量子信息科学视为理解复杂量子系统的一种工具，将其确立为根本的科学学科，而非仅限于工程学。
• 通过将其与多体量子系统中涌现现象的研究相联系，阐明量子信息科学的内在科学价值。
• 开发可量化度量——特别是动态强度度量——以表征量子操作的复杂性和计算能力。
• 证明量子动力学操作具有可互换性，即仅通过任意一个纠缠两-qudit 门与局部操作，即可实现通用量子计算。
• 通过量子信息概念探测复杂量子行为，将量子计算理论与更广泛的多体物理联系起来。

提出的方法

• 利用Bennett提出的逻辑深度概念，将复杂性定义为生成系统所需近似最优程序的运行时间，从而区分简单、随机与复杂系统。
• 将此框架应用于量子系统，表明在经典计算下，分解大整数是逻辑上深奥的（即复杂度高），但在量子计算下并非如此，原因在于Shor算法。
• 将单位门操作的度量强度定义为与局部酉操作的最小距离，以量化非局域性与计算能力。
• 引入三个公理化性质——链式性、稳定性和局域性——以确保强度度量的一致性与物理相关性。
• 构建一种构造性、近似最优的算法，使用任意纠缠两-qudit 单位门与局部门来模拟CNOT门，从而证明动力学可互换性。
• 利用强度度量推导出电路深度的下界，将动态复杂性与计算复杂性相联系。

实验结果

研究问题

• RQ1 量子信息科学为何是一种科学而非仅工程学？它如何为复杂量子系统的内在科学洞察提供支持？
• RQ2 逻辑深度的概念能否被适配于量子系统，以量化其复杂性，特别是在Shor等量子算法的背景下？
• RQ3 所有纠缠量子动力学操作在通用量子计算中是否具有同等计算能力？能否通过构造性方法证明这一点？
• RQ4 如何定义单位门操作的强度度量，使其既能反映物理特性，又能体现计算特性，包括非局域性与计算复杂性？
• RQ5 此类强度度量能否用于推导实现特定量子操作所需门数的下界？

主要发现

• 在经典计算下，大整数的质因数分解列表是逻辑上深奥的（即复杂度高），但在量子计算下并非如此，原因在于Shor算法，这表明在复杂性方面存在量子优势。
• 量子动力学操作具有可互换性：任何纠缠两-qudit 单位门，配合局部操作，均可用于实现通用量子计算，该结论由Bremner等人[9]的构造性算法证明。
• 定义为与局部酉操作最小距离的强度度量满足关键物理性质：链式性、稳定性和局域性，使其成为非局域性的一种稳健且有意义的度量。
• 满足这些公理的强度度量可推导出电路深度的下界：若某单位门的强度呈超多项式增长，则实现其所需的CNOT门数量也必须呈超多项式增长。
• 该框架为量子信息科学与多体物理之间建立了新的理论桥梁，使通过量子纠缠与动态复杂性研究复杂量子系统成为可能。
• 结果表明，量子信息概念——尤其是与量子纠缠和动态强度相关的概念——可作为统领性理论，用于理解复杂量子系统中的涌现行为。