Verification of Quantum Computation: An Overview of Existing Approaches
Verification of Quantum Computation: An Overview of Existing Approaches
Quantum computers promise to efficiently solve not only problems believed to be intractable for classical computers, but also problems for which verifying the solution is also considered intractable. This raises the question of how one can check whether quantum computers are indeed producing correct results. This task, known as quantum …