Hidden-State Proofs of Quantumness and the Discrete Fourier Transform (Session 2 of RIT in Quantum Information Science) Speaker Name: Carl Miller Speaker Institution : UMD and NIST Â
A cryptographic proof of quantumness is a hypothetical test that could be used to prove a quantum computational advantage based on hardness assumptions from cryptography. Â An experimental realization of such a test would be a major milestone in the development of quantum computation. Â However, error tolerance is a persistent challenge for implementing such tests: we need a test that not only can be passed by an efficient quantum prover, but one that can be passed by a prover that exhibits a certain amount of computational error. Â In this talk I will present a technique for improving the error-tolerance in a cryptographic proof of quantumness. Â The technique is based on hiding a Greenberger-Horne-Zeilinger (GHZ) state within a sequence of classical bits. Â After giving an overview of this new approach, I will discuss one of the central tools used in the security proof: a strengthened uncertainty principle for the discrete Fourier transform.