[论文解读] Commutative version of the k-local Hamiltonian problem and common eigenspace problem

Sergey Bravyi, M. Vyalyi|ArXiv.org|Aug 4, 2003

Spectral Theory in Mathematical Physics参考文献 16被引用 16

一句话总结

本文研究了在可交换局部哈密顿量和可分解投影算符条件下，公共特征空间（CES）问题的量子复杂度，表明在特定情况下（例如，k-局部且k=2，d=2），该问题属于NP。它建立了可分解投影算符的CES问题可约化为具有零特征值和秩一投影算符的特例，并证明了某些病态配置——与Kochen-Specker语境性相关——会阻碍一般性约化，揭示了在特殊情形之外NP包含性的结构性障碍。

ABSTRACT

We study the complexity of a problem "Common Eigenspace" -- verifying consistency of eigenvalue equations for composite quantum systems. The input of the problem is a family of pairwise commuting Hermitian operators H_1,...,H_r on a Hilbert space (C^d)^{\otimes n} and a string of real numbers h_1,...,h_r. The problem is to determine whether a common eigenspace specified by equalities (H_a - h_a)|ψ>=0, a=1,...,r, has a positive dimension. We consider two cases: (i) all operators H_a are k-local; (ii) all operators H_a are factorized. It can be easily shown that both problems belong to the class QMA - the quantum analogue of NP, and that some NP-complete problems can be reduced to either (i) or (ii). A non-trivial question is whether the problems (i) or (ii) belong to NP? We show that the answer is positive for some special values of k and d. Also we prove that the problem (ii) can be reduced to its special case, such that all operators H_a are factorized projectors and all h_a=0.

研究动机与目标

• 确定可交换局部哈密顿量的公共特征空间（CES）问题的经典复杂度。
• 研究k-局部可交换哈密顿量或可分解投影算符的CES问题是否属于NP，尽管其属于QMA。
• 将一般可分解投影算符的CES问题约化为具有零特征值和秩一投影算符的规范形式。
• 识别与Kochen-Specker语境性相关的结构性障碍，这些障碍阻止了在特殊情形之外的一般性NP约化。

提出的方法

• 将CES问题形式化为验证一组两两可交换的厄米算符是否存在具有指定特征值的公共特征向量。
• 在可交换设定下分析k-局部哈密顿量问题，表明其属于QMA，并识别出其属于NP的条件。
• 将一般可分解投影算符的CES问题约化为所有特征值为零且所有投影算符均为秩一的规范形式。
• 当所有算符以规则方式相互作用时，使用容斥公式计算公共特征空间的维数。
• 应用量子语境性（Kochen-Specker定理）的结果，证明某些配置无法约化为规范形式。
• 采用图论与线性代数技术，分析算符表中的可交换性结构与秩约束。

实验结果

研究问题

• RQ1 对于小的k值和d值，可交换k-局部哈密顿量问题是否属于NP？
• RQ2 一般可分解投影算符的CES问题能否约化为所有特征值为零且所有投影算符为秩一的规范形式？
• RQ3 是否存在超越常规可交换性模式的结构性障碍，阻碍CES问题进入NP？
• RQ4 Kochen-Specker语境性现象在多大程度上阻碍了CES问题向更简形式的约化？
• RQ5 在何种条件下，公共特征空间的维数可被经典多项式时间计算？

主要发现

• 当k=2且d=2时，可交换k-局部哈密顿量问题属于NP，展示了超越QMA的非平凡包含关系。
• 一般可分解投影算符的CES问题可约化为所有特征值为零且所有投影算符为秩一的规范形式，从而简化了问题结构。
• 当d≥3时，该约化在一般情况下不成立，原因在于存在Kochen-Specker语境，阻止了对基态的投影算符一致赋值。
• 当所有算符以规则方式相互作用时（例如，通过其作用域的一致着色），可使用容斥公式计算公共特征空间的维数。
• 该问题仍属于QMA，但NP包含性在所有参数范围内并非保证成立，尤其在出现非规则可交换性模式时。
• 本文指出，具有混合规则与奇异可交换性模式的‘病态’配置是实现NP约化困难的根本原因。