References & Citations
Quantum Physics
Title: Average-Case Verification of the Quantum Fourier Transform Enables Worst-Case Phase Estimation
(Submitted on 21 Sep 2021 (v1), last revised 2 Dec 2022 (this version, v3))
Abstract: The quantum Fourier transform (QFT) is a key primitive for quantum computing that is typically used as a subroutine within a larger computation, for instance for phase estimation. As such, we may have little control over the state that is input to the QFT. Thus, in implementing a good QFT, we may imagine that it needs to perform well on arbitrary input states. Verifying this worst-case correct behaviour of a QFT-implementation would be exponentially hard (in the number of qubits) in general, raising the concern that this verification would be impossible in practice on any useful-sized system. In this paper we show that, in fact, we only need to have good average-case performance of the QFT to achieve good worst-case performance for key tasks -- phase estimation, period finding and amplitude estimation. Further we give a very efficient procedure to verify this required average-case behaviour of the QFT.
Submission history
From: Ronald de Wolf [view email][v1] Tue, 21 Sep 2021 14:40:48 GMT (14kb)
[v2] Fri, 29 Jul 2022 11:22:22 GMT (22kb)
[v3] Fri, 2 Dec 2022 21:58:50 GMT (41kb,D)
Link back to: arXiv, form interface, contact.