{"id":"arxiv/2607.26478","url":"https://arxiv.org/abs/2607.26478","tags":["quant-ph","cs.CC","cs.CR"],"score":0,"title":"Explicit Separations for One-Query Unitary Synthesis","domain":"quant-ph","source":"arxiv","authors":["Fangqi Dong","Alex Lombardi","Fermi Ma"],"reviews":0,"subject":"quant-ph","summary":"The unitary synthesis problem (Aaronson-Kuperberg, CCC 2007) asks whether every $n$-qubit unitary $U$ is computable by efficient quantum circuits relative to some classical oracle $f = f_U$ depending on $U$. Recently, Lombardi-Ma-Wright (STOC 2024) proved that Haar-random unitaries cannot be efficiently synthesized by algorithms that make 1 query (or poly$(n)$ parallel queries) to an arbitrary classical oracle. In this work, we prove several results about the hardness (and easiness!) of variants of unitary synthesis. Our results include: (1) 1-query vs. 2-query unitary synthesis: we prove…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-07-29","reactions":{}}