机构名称：
¥ 6.0
尽管量子电路在量子计算中已经无处不在，但量子电路的第一个完整方程理论直到最近才引入。完整性保证量子电路上的任何真实方程都可以从方程理论中得出。我们通过两种方式改善了这种完整性结果：（i）我们通过证明可以从其余规则得出几个规则来简化方程理论。特别是，在三个最复杂的规则中，有两个被删除，第三个规则略微简化。（ii）可以将完整的方程理论扩展到带有Ancillae或Qubit的量子电路，以使用其他工作空间和混合量子计算分别表示量子计算。我们表明，在这些更具表现力的设置中可以极大地简化剩余的复杂规则，从而导致方程理论所有方程式在有限数量的Qubits上作用。为表达量子电路模型的简单和完整的方程理论的发展开辟了有关量子电路推理的新途径。它为各种编译任务提供了强大的正式基础，例如电路优化，硬件约束满意度和验证。
量子电路完整性：扩展和简化
主要关键词
相关文件推荐
