[论文解读] The Local Consistency Problem for Stoquastic and 1-D Quantum Systems

Yi-Kai Liu|ArXiv.org|Dec 10, 2007

Quantum Computing Algorithms and Architecture参考文献 26被引用 6

一句话总结

该论文建立了从局部一致性问题到一维量子系统和Stoquastic系统中局部哈密顿量问题的多项式时间预言机归约，证明了在这些特殊情形下，尽管两者均非QMA-难，其复杂度仍等价。关键创新在于提出了一种基于对偶性的新归约方法，利用半定规划（SDP），在保持系统结构的同时揭示了这两种问题在受限情形下的根本联系。

ABSTRACT

The Local Hamiltonian problem (finding the ground state energy of a quantum system) is known to be QMA-complete. The Local Consistency problem (deciding whether descriptions of small pieces of a quantum system are consistent) is also known to be QMA-complete. Here we consider special cases of Local Hamiltonian, for ``stoquastic'' and 1-dimensional systems, that seem to be strictly easier than QMA. We show that there exist analogous special cases of Local Consistency, that have equivalent complexity (up to poly-time oracle reductions). Our main technical tool is a new reduction from Local Consistency to Local Hamiltonian, using SDP duality.

研究动机与目标

• 研究在局部一致性与局部哈密顿量问题均未被证明为QMA-难的受限量子设置中，二者复杂度是否等价。
• 开发一种保留量子系统结构特性的新型归约技术，区别于以往基于QMA-完全性的归约方法。
• 证明在一维qudit链和Stoquastic系统中，可通过半定规划对偶性将局部一致性归约为局部哈密顿量问题。
• 探讨此类归约是否意味着当局部哈密顿量问题可解时，局部一致性问题在这些设置中具有可解性。
• 通过将Stoquastic系统与StoqMA类关联，并评估局部一致性是否属于该类，厘清Stoquastic系统的复杂度。

提出的方法

• 提出一种基于半定规划（SDP）强对偶性的新归约方法，将局部一致性归约为局部哈密顿量问题，避免使用QMA-完全性相关工具。
• 构建一个关于变量 x ∈ [0,1]^D 和 s ∈ [1−2D,1+2D] 的原始SDP优化问题，约束条件为 F(x) ⪯ sI，其中 F(x) = Σx_p F_p + I。
• 推导出对偶SDP规划：在 Z ⪰ 0 且 tr(Z) = 1 的条件下，最大化 g(Z) = inf_{x∈[0,1]^D} tr(Z F(x))，其中 g(Z) = Σx_p tr(Z F_p) + 1。
• 利用强对偶性（p* = d*）将原始与对偶规划的最优值联系起来，从而实现从局部一致性到局部哈密顿量问题的归约。
• 将该归约方法应用于一维系统，通过确保局部相互作用沿一条线排列；应用于Stoquastic系统，通过将系数限制为非负实数。
• 采用广义Slater条件以保证强对偶性，并对可行集的条件数进行有界，以确保多项式时间可解。

实验结果

研究问题

• RQ1 是否可以在不依赖QMA-完全性的情况下，将一维量子系统中的局部一致性归约为局部哈密顿量问题？
• RQ2 半定规划对偶性是否能实现特殊量子系统中局部一致性与局部哈密顿量问题之间的结构保持型归约？
• RQ3 在Stoquastic系统中，尽管两者均未被证明为QMA-难，局部一致性的复杂度是否与局部哈密顿量问题等价？
• RQ4 该基于对偶性的归约能否适配于具有局部相互作用和非负矩阵元的系统，如Stoquastic哈密顿量？
• RQ5 该归约是否意味着在Stoquastic系统中，局部一致性属于StoqMA或相关复杂度类？

主要发现

• 通过SDP对偶性，为一维系统建立了从局部一致性到局部哈密顿量问题的多项式时间预言机归约，保持了量子比特数量和相互作用结构。
• 对于Stoquastic系统，相同的基于对偶性的归约表明，局部一致性可归约为局部哈密顿量问题，且对偶规划的最优值可区分YES与NO实例。
• 由于广义Slater条件的存在，该归约实现了强对偶性（p* = d*），确保原始域中存在严格可行点。
• 原始SDP的可行集K的条件数有界于poly(D)，从而可通过局部哈密顿量预言机实现高效成员测试。
• 在Stoquastic局部一致性的YES情形下，原始最优值p* ≥ 1；在NO情形下，p* ≤ 1−β（β > 0），从而可通过能量估计进行决策。
• 该方法避免了基于QMA的归约所导致的指数级开销，无需模拟验证者，从而保持了系统完整性，并实现了结构保持型归约。