论文标题
量化：用于量子电路的资源分析和设计验证的框架
QUANTIFY: A framework for resource analysis and design verification of quantum circuits
论文作者
论文摘要
量子资源分析对于设计量子电路以及评估任意（错误校正）量子计算的生存能力至关重要。为此，我们引入了量化，这是用于定量分析量子电路的开源框架。它基于Google CIRQ，并在Clifford+T电路中开发，它包括处理Toffoli+H和更广泛的受控量子门的必要方法。量化的关键特征包括：（1）与表面代码兼容的分析和优化方法，（2）在不同的自动化（混合极性）Toffoli门分解，（（3）半自动量子电路和量子门插入方法之间的选择，（3）与已知门通勤规则或（4）相同的符合的验证（4）相合的量子（4）相合的量子插入方法（（3），（3）具有相应的量子，以及（4）的数字，（4）均等（4）的循环效果。电线）。为了基准测试，量化包括量子记忆和量子算术电路。实验结果表明，该框架的性能缩放到具有数千个Qubits的电路。
Quantum resource analysis is crucial for designing quantum circuits as well as assessing the viability of arbitrary (error-corrected) quantum computations. To this end, we introduce QUANTIFY, which is an open-source framework for the quantitative analysis of quantum circuits. It is based on Google Cirq and is developed with Clifford+T circuits in mind, and it includes the necessary methods to handle Toffoli+H and more generalised controlled quantum gates, too. Key features of QUANTIFY include: (1) analysis and optimisation methods which are compatible with the surface code, (2) choice between different automated (mixed polarity) Toffoli gate decompositions, (3) semi-automatic quantum circuit rewriting and quantum gate insertion methods that take into account known gate commutation rules, and (4) novel optimiser types that can be combined with different verification methods (e.g. truth table or circuit invariants like number of wires). For benchmarking purposes QUANTIFY includes quantum memory and quantum arithmetic circuits. Experimental results show that the framework's performance scales to circuits with thousands of qubits.
