arXiv (Cornell University)
Towards Efficient Verification of Computation in Quantum Devices
August 2025 • Peng Yan, Nengkun Yu
Designing quantum processors is a complex task that demands advanced verification methods to ensure their correct functionality. However, traditional methods of comprehensively verifying quantum devices, such as quantum process tomography, face significant limitations because of the exponential growth in computational resources. These limitations arise from treating the system as a black box and ignoring its design structure. Consequently, new testing methods must be developed considering the design structure. In …