量子物理和计算机科学相交的一个基本问题是计算n个相互作用粒子系统的能量水平。这些是局部汉密尔顿H的特征值,这是一种作用于张量产品h≃(c d)⊗n的共轭 - 对称(Hermitian)线性操作员。局部属性意味着h是术语hη⊗i的总和,其中hη是k = o(1)张量因子的操作员,而i是其余因子上的身份。使用| v |的局部性结构产生了g =(v,e)的HyperGraph g =(v,e) = n,并由M Hyperedgesη∈E索引。根据张量产品空间的尺寸,计算能量水平的标准对角线化程序将需要指数时间。此类别中最著名的问题侧重于计算最低特征值,即基态能量。这概括了计算约束满意度问题的最佳值的问题Max-CSP,但是现在“可变分配”是具有指数级参数的向量。计算最低特征值,直到已知QMA [1](NP的量子类似物)已知为一定的逆多项式准确性。一个主要的开放问题是量子pcp-conture [2],它认为QMA是近似于Hamiltonian H = P
主要关键词