| 02 |
Is that quantum computer really working correctly?How to verify quantum computations by circuit partitioning 
|
|---|
The size of quantum computers is increasing year by year; accordingly, it becomes harder to verify whether errors occur during quantum computation. We introduce our recent research on how to verify whether a near-future quantum computer works correctly. Most known verification methods do not apply to near-future quantum computers, since they are tailored to fault-tolerant universal quantum computers. Our novel verification method can be applied to quantum computers even without fault-tolerance in the near-future. Verification of quantum computation is crucial to realize cloud quantum computing systems, in which no or only limited information on errors is known to users. Further improvement on our method will surely contribute to reliable cloud quantum computing systems, so that quantum computers will be available to anyone anytime and anywhere.
[1] Y. Takeuchi, Y. Takahashi, T. Morimae, S. Tani, “Divide-and-conquer verification method for noisy intermediate-scale quantum computation,” Quantum, Vol. 6, p. 758, 2022.
Yuki Takeuchi
Computing Theory Research Group, Media Information Laboratory