arXivDaily arXiv每日学术速递 周一至周五更新
arXiv quant-ph/0308021quant-ph
收藏

k-局部Hamilton问题与公共本征空间问题的交换形式

Commutative version of the k-local Hamiltonian problem and common eigenspace problem

S. Bravyi, M. Vyalyi

摘要:

研究了复合量子系统特征值方程一致性验证问题“公共本征空间”的复杂性。问题的输入是一族两两交换的Hermitian算子H_1,...,Hilbert空间(C^d)^{ \otimes n}上的H_r和实数串h_1,.,h_r.问题是确定由等式(H_a-h_a)指定的公共特征空间是否为一个公共特征空间.| a>=0,a=1,.,r具有正的维度。我们考虑两种情形:(i)所有算子H_a是k-局部的;(ii)所有算子H_a是因子分解的。可以很容易地证明,这两个问题都属于QMA类-NP的量子类似物,并且一些NP完全问题可以简化为(i)或(ii)。一个重要的问题是问题(i)或(ii)是否属于NP?我们证明了对于k和d的某些特殊值,答案是肯定的。我们还证明了问题(ii)可以归结为它的特殊情形,使得所有算子H_a都是因子分解投影算子,并且所有算子h_a=0.

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑