Fermi Ma talk at 4pm on Tuesday 11/21

[Vinod Vaikuntanathan]

Dear cryptographers,

The following talk is likely relevant to this list:

Fermi Ma (currently at Berkeley/Simons) is visiting us this coming Monday and Tuesday, and will be giving a talk in the TOC colloquium on his recent work on the unitary synthesis problem (https://arxiv.org/pdf/2310.08870.pdf, title and abstract below). The talk is at 4:00 PM in room 32-G449  (in the Stata center).

-Vinod

Title: A one-query lower bound for unitary synthesis and breaking quantum cryptography

Abstract: The Unitary Synthesis Problem (Aaronson-Kuperberg 2007) asks whether any n-qubit unitary U can be implemented by an efficient quantum algorithm A augmented with an oracle that computes an arbitrary Boolean function f. In other words, can the task of implementing any unitary be efficiently reduced to the task of implementing any Boolean function?

In this work, we prove a one-query lower bound for unitary synthesis. We show that there exist unitaries U such that no quantum polynomial-time oracle algorithm A^f can implement U, even approximately, if it only makes one (quantum) query to f. Our approach also has implications for quantum cryptography: we prove (relative to a random oracle O) the existence of quantum cryptographic primitives that remain secure against all one-query adversaries A^f. Since such one-query algorithms can decide any language, solve any classical search problem, and even prepare any quantum state, this result suggests that implementing random unitaries and breaking quantum cryptography may be harder than all of these tasks.

No background in quantum computing will be assumed.

This is a joint work with Alex Lombardi and John Wright. arXiv: https://arxiv.org/pdf/2310.08870.pdf