量子科技中心_量科网

该研究团队探讨了PRODSAT-QSAT(k)问题：给定一组秩为一的k局部投影算子，判断某个量子k-SAT实例是否允许存在满足条件的乘积态。研究人员提出了一种基于冲突驱动子句学习(CDCL)的反证框架，该框架在搜索每个量子比特布洛赫球面有限划分的同时，通过几何方法对每个约束条件的投影振幅进行可靠上近似，由理论求解器验证区域可行性。当理论求解器证明某区域内不存在满足特定约束的量子态时，会生成可靠冲突子句来屏蔽该区域；累积的阻塞子句最终可得出全局性的乘积态不可满足性结论(UN-PRODSAT)。该工作对问题进行了形式化定义，证明了子句学习规则的可靠性，并描述了实用算法及具体实现方案。