一句话：提出用定点振幅放大加速量子程序统计测试，减少测量次数与运行时间且保持统计保证。
量子程序的输入/输出规约难以直接验证，因为量子态不可直接比较，通常只能通过重复执行、测量和统计比较进行测试，但这需要大量测量才能获得高置信度。本文提出将定点振幅放大（FPAA）适配到量子程序测试中，以加速统计测试。作者形式化描述了该技术，并证明其能在不牺牲原有统计保证的前提下减少所需测量次数并降低运行时间；案例研究进一步展示了其运行时效。
We present a new technique for accelerating quantum program testing. Given a quantum circuit with an input/output specification, our goal is to check whether executing the program on the input state produces the expected output. In quantum computing, however, it is impossible to directly check the equivalence of the two quantum states. Instead, we rely on statistical testing, which involves repeated program executions, state measurements, and subsequent comparisons with the specified output. To guarantee a high level of assurance, however, this method requires an extensive number of measurements. In this paper, we propose a solution to alleviate this challenge by adapting Fixed-Point Amplitude Amplification (FPAA) for quantum program testing. We formally present our technique, demonstrate its ability to reduce the required number of measurements as well as runtime cost without sacrificing the original statistical guarantee, and showcase its runtime effectiveness through case studies.
@article{KangLO24,
title = {Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification},
author = {Chan Gu Kang and Joonghoon Lee and Hakjoo Oh},
journal = {Proceedings of the ACM on Programming Languages},
volume = {8},
number = {OOPSLA2},
year = {2024},
doi = {10.1145/3689716}
}