[论文解读] The k-local Pauli Commuting Hamiltonians Problem is in P
该论文证明了k-局部泡利对易哈密顿量问题——即确定一个量子态是否同时最小化所有对易泡利项——属于P类，意味着它可以在经典计算机上高效求解。该解法利用了稳定子形式，并将问题简化为在辛向量空间上的XOR-SAT实例，表明即使在拓扑序系统（如表面码）中，该约束下的问题也具有经典可解性。
Given a Hamiltonian that is a sum of commuting few-body terms, the commuting Hamiltonian problem is to determine if there exists a quantum state that is the simultaneous eigenstate of all of these terms that minimizes each term individually. This problem is known to be in the complexity class quantum Merlin-Arthur, but is widely thought to not be complete for this class. Here we show that a limited form of this problem when the individual terms are all made up of tensor products of Pauli matrices is efficiently solvable on a classical computer and thus in the complexity class P. The problem can be thought of as the classical XOR-SAT problem over a symplectic vector space. This class of problems includes instance Hamiltonians whose ground states possess topological entanglement, thus showing that such entanglement is not always a barrier for the more general problem.
研究动机与目标
- 确定k-局部泡利对易哈密顿量问题的计算复杂性。
- 研究对易哈密顿量中的拓扑序是否意味着量子计算困难。
- 确定由泡利算符构成的对易哈密顿量是否可被经典计算机高效求解。
- 探索稳定子码与量子多体问题经典可解性之间的联系。
- 澄清拓扑纠缠是否构成对易哈密顿量系统中高效经典模拟的障碍。
提出的方法
- 将问题重新表述为在辛向量空间上的一组对易泡利算符系统。
- 应用高斯消去法与 Clifford 操作（CNOT、Hadamard、S 门）将哈密顿量变换为规范形式。
- 该变换将问题简化为检查稳定子矩阵中是否存在 -I 行，若存在则表示无解。
- 若在约化过程中未出现 -I 行，则系统被简化为一组单量子比特的 ±X 算符，其在计算基态中始终有解。
- 整个约化过程被证明可在多项式时间内完成，使用了稳定子码理论中的已知技术。
- 该问题被映射为在二元辛空间上的XOR-SAT实例，已知该问题属于P类。
实验结果
研究问题
- RQ1k-局部泡利对易哈密顿量问题是否可在经典计算机上以多项式时间求解？
- RQ2对易哈密顿量中的拓扑序是否可与经典可解性共存？
- RQ3稳定子形式是否能实现对易泡利哈密顿量的高效经典模拟？
- RQ4当限制在泡利算符时，对易哈密顿量问题是否属于NP类？
- RQ5对易哈密顿量的哪些结构性特征决定了其复杂性，而不仅仅是拓扑序？
主要发现
- k-局部泡利对易哈密顿量问题属于P类，意味着它可在经典计算机上以多项式时间求解。
- 该解法依赖于使用 Clifford 操作与高斯消去法将哈密顿量变换为规范形式。
- 若在约化过程中出现 -I 行，则返回无解，表示不存在同时的基态。
- 若约化过程未出现 -I 行，则解始终存在，对应于计算基态的张量积。
- 该问题可约化为在辛向量空间上的XOR-SAT实例，已知该问题属于P类。
- 包括基塔耶夫表面码在内的拓扑序系统属于此类，且在此形式下仍保持经典可解。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。