[论文解读] The Complexity of Quantum Systems on a One-dimensional Chain

Sandy Irani|ArXiv.org|May 28, 2007

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

一句话总结

本文证明，通过仅使用每粒子10种不同状态的一维粒子链，并采用两体最近邻哈密顿量，即可实现通用量子计算。此外，本文进一步证明，具有13种状态的粒子在一维链上的两体哈密顿量问题为QMA-完全，表明即使在一维量子系统中，也能捕捉到量子计算的全部复杂性。

ABSTRACT

We prove that adiabatic computation is equivalent to standard quantum computation even when the adiabatic quantum system is restricted to be a set of particles on a one-dimensional chain. We give a construction that uses a 2-local Hamiltonian on nearest neighbors using particles that can have ten distinct states. This implies a construction of a one-dimensional chain of qubits in which the Hamiltonian is 6-local. We adapt this construction to show that the 2-local Hamiltonian for 13-state particles is QMA-complete which in turn implies that the 8-local Hamiltonian restricted to a one-dimensional chain of qubits is QMA-complete.

研究动机与目标

• 确定尽管几何结构简单，一维量子系统是否能够支持通用量子计算。
• 研究两体哈密顿量问题的QMA-完全性是否可扩展至一维系统。
• 构建一个绝热量子计算模型，仅使用一维最近邻相互作用即可模拟任意量子电路。
• 建立在一维绝热量子计算中实现通用性的最小相互作用局域性和粒子态要求。

提出的方法

• 构建一个包含10种不同状态的一维粒子链，利用两体最近邻哈密顿量模拟通用量子电路。
• 通过定义时间依赖的哈密顿量 H(s) = (1-s)H_init + sH_final，应用绝热定理，确保系统从已知基态演化至期望的输出态。
• 使用历史态构造方法，将量子电路的演化编码在一维链中，其中各态代表计算步骤。
• 通过哈密顿量项 H_prop、H_legal、H_valid、H_in 和 H_out 施加约束，以确保电路演化和输入/输出条件的正确性。
• 应用谱隙分析与微扰理论，界定总哈密顿量的最小本征值，确保绝热演化成功。
• 将粒子态要求从10个减少至13个，以证明一维链上两体哈密顿量的QMA-完全性；进一步表明，对自旋比特链（两态粒子）的8体哈密顿量同样为QMA-完全。

实验结果

研究问题

• RQ1 是否可仅通过一维最近邻相互作用的绝热量子计算来模拟通用量子电路？
• RQ2 对于具有常数个状态的一维粒子链，两体哈密顿量问题是否为QMA-完全？
• RQ3 在一维绝热量子系统中实现QMA-完全性所需的最小粒子态维数是多少？
• RQ4 是否可将哈密顿量的局域性降低至两体，同时在一维系统中保持QMA-完全性？
• RQ5 系统的1D结构是否会限制量子系统的全部计算能力，还是仍可支持通用量子计算？

主要发现

• 任意量子电路可通过一维10状态粒子链上的两体最近邻哈密顿量，借助绝热量子计算实现模拟。
• 一维13状态粒子链上的两体哈密顿量为QMA-完全，确立了一维量子系统能够捕捉到量子计算的全部复杂性。
• 该结果意味着，对一维自旋比特链（两态粒子）的8体哈密顿量同样为QMA-完全。
• 该构造确保：若一个量子电路以高概率接受，则总哈密顿量的本征值小于 ε；若接受概率较低，则所有本征值均超过系统尺寸的多项式倒数。
• 系统的谱隙下界为 Ω(1/T_n^3)，当演化时间 T 足够大时，可确保绝热演化成功。
• 该证明依赖于历史态构造与微扰夹具，以确保正确电路演化与测量结果，基态编码了电路接受概率。