Provable and Verifiable Quantum Advantage in Sample Complexity

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Benedetti, Marcello, Buhrman, Harry, Weggemans, Jordi
Formato: Preprint
Publicado: 2025
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866911409716068352
author Benedetti, Marcello
Buhrman, Harry
Weggemans, Jordi
author_facet Benedetti, Marcello
Buhrman, Harry
Weggemans, Jordi
contents Consider a fixed universe of $N=2^n$ elements and the uniform distribution over elements of some subset of size $K$. Given samples from this distribution, the task of complement sampling is to provide a sample from the complementary subset. We give a simple quantum algorithm that uses only a single quantum sample -- a single copy of the uniform superposition over elements of the subset. When $K=N/2$, we show that the quantum algorithm succeeds with probability $1$, whereas any classical algorithm that succeeds with bounded probability of error requires a number of samples of the order of $N$. This shows that in a sample-to-sample setting, quantum computation can achieve the largest possible separation over classical computation. We show that the same bound can be lifted to prove average-case hardness, paving the way for demonstrations on noisy intermediate-scale quantum (NISQ) computers. It follows that under the assumption of the existence of one-way functions, complement sampling gives provable, verifiable and NISQable quantum advantage in a sample complexity setting.
format Preprint
id arxiv_https___arxiv_org_abs_2502_08721
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Provable and Verifiable Quantum Advantage in Sample Complexity
Benedetti, Marcello
Buhrman, Harry
Weggemans, Jordi
Quantum Physics
Consider a fixed universe of $N=2^n$ elements and the uniform distribution over elements of some subset of size $K$. Given samples from this distribution, the task of complement sampling is to provide a sample from the complementary subset. We give a simple quantum algorithm that uses only a single quantum sample -- a single copy of the uniform superposition over elements of the subset. When $K=N/2$, we show that the quantum algorithm succeeds with probability $1$, whereas any classical algorithm that succeeds with bounded probability of error requires a number of samples of the order of $N$. This shows that in a sample-to-sample setting, quantum computation can achieve the largest possible separation over classical computation. We show that the same bound can be lifted to prove average-case hardness, paving the way for demonstrations on noisy intermediate-scale quantum (NISQ) computers. It follows that under the assumption of the existence of one-way functions, complement sampling gives provable, verifiable and NISQable quantum advantage in a sample complexity setting.
title Provable and Verifiable Quantum Advantage in Sample Complexity
topic Quantum Physics
url https://arxiv.org/abs/2502.08721