量子科技中心_量科网

2004年，阿伦森[Aar04]提出了复杂度类PostBQP（带后选择的BQP）并证明其等价于PP类。该工作定义了一个新的复杂度类CorrBQP——通过对BQP进行扩展使其具备关联测量的能力，即可以对寄存器分区执行输出相同值的测量。研究团队证明CorrBQP完全等同于BPPPP，使其位于“略高于”PP的位置。实际上，该团队还表明BQP其他形而上学扩展（如BBJ16和Hir+25文献提出的可克隆任意量子态的CBQP）同样等价于BPPPP。 该研究团队证明CorrBQP在经典查询下具有自低性。与之相对，若其在量子查询下具有自低性，则计数层次（CH）将坍缩至BPPPP。最后，研究人员提出了一种有理度变体，该变体为BPPPP的查询复杂度提供了下界。