量子科技中心_量科网

该团队提出了一种新颖的、面向软件的量子计算模型，其动机源于近期量子硬件的实际约束。在该模型中，门操作由泡利可观测量表达的约束条件来指定，每个不相交的门层都伴随着对设备进行成对或 \(k\)-局域量子态层析成像。该团队证明，该模型等价于耦合图限制的电路模型，因此对BQP具有通用性，且多项式开销为：在 \(N\) 个量子比特上模拟深度为 \(D\) 的电路最多需要 \(O(D^2 N \log N)\) 的复杂度。该模型形式化了现有工作中共享的一种范式，其范围从用于研究量子系统的量子虚时间演化，到在游戏中使用量子计算机进行程序化生成。因此，它为完全基于物理可观测量来设计量子软件提供了一种自然接口，对NISQ时代及容错量子计算均具有重要意义。