量子科技中心_量科网

量子复杂性理论中长期存在的开放性问题在于：作为NP量子类比的QMA是否等于其单侧错误变体QMA1。该研究团队证明QMA = QMA∞ = QMA∞₁，其中QMA∞₁类似于QMA1，但验证者在见证系统中拥有可实现高效移位（增量）操作的无限寄存器，研究人员将其称为“无限计数器”，并与拉斯维加斯算法中的程序计数器进行类比。QMA = QMA∞的结果表明，这种无限寄存器并未增强QMA的计算能力，但确实实现了完美完备性。 通过将该构造截断至有限维度，该团队获得了一种仅提升完备性而非可靠性的QMA放大器，其效率显著高于现有QMA放大器。新构造利用O(1)次原始验证器及其逆算子的调用，以及O(log q)个其他门操作，便实现了1−2^−q的完备性，证明QMA具有双指数逼近1的完备性——即对于任意多项式r，QMA = QMA(1−2^−2^r, 2^−r)。