论文标题
验证量子电路的随机刺激产生
Random Stimuli Generation for the Verification of Quantum Circuits
论文作者
论文摘要
验证量子电路对于确保各种抽象级别的量子算法和/或量子描述的正确性至关重要。在这项工作中，我们表明有一些有希望的方法可以使用模拟验证和随机刺激来检查量子电路的正确性。为此，我们研究了如何正确生成刺激以有效检查量子电路的正确性。更确切地说，我们介绍，说明和分析三个方案，以产生量子刺激的产生 - - 在误差检测率（以及所需的刺激次数）和效率之间提供权衡。与经典领域中的验证相反，我们（从理论和经验上）表明，即使仅考虑了少数随机选择的刺激（从建议的方案产生），也可以达到量子电路的高误差检测率。这些概念和理论考虑因素的结果也得到了经验证实 - 在50 000个基准实例中进行了大约$ 10^6 $的仿真。
Verification of quantum circuits is essential for guaranteeing correctness of quantum algorithms and/or quantum descriptions across various levels of abstraction. In this work, we show that there are promising ways to check the correctness of quantum circuits using simulative verification and random stimuli. To this end, we investigate how to properly generate stimuli for efficiently checking the correctness of a quantum circuit. More precisely, we introduce, illustrate, and analyze three schemes for quantum stimuli generation---offering a trade-off between the error detection rate (as well as the required number of stimuli) and efficiency. In contrast to the verification in the classical realm, we show (both, theoretically and empirically) that even if only a few randomly-chosen stimuli (generated from the proposed schemes) are considered, high error detection rates can be achieved for quantum circuits. The results of these conceptual and theoretical considerations have also been empirically confirmed---with a grand total of approximately $10^6$ simulations conducted across 50 000 benchmark instances.
