.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
摘要量子电路编译包含许多计算上复杂的推理任务，这些任务位于#${\textsf{P}}$P及其判定对应类#${\textsf{PP}}$PP中。通用量子电路的经典模拟是一个核心示例。我们首次证明，通过加权模型计数并给出 Clifford+T电路的线性长度编码，可以高效地解决通用量子电路的强模拟问题。为此，我们利用 Knill、Gottesmann 和 Aaronson 提出的稳定器形式化方法，将量子态重新解释为稳定器态的线性组合。通过开源模拟器实现，我们从经验上证明，模型计数通常优于基于 ZX 微积分和判定图的最新模拟技术。我们的工作为将现有的强大经典推理工具应用于实现高效量子电路编译铺平了道路；这是通往量子优越性道路上的一项障碍。
期刊
暂无期刊信息
机构
暂无机构信息
引用论文
暂无论文信息