Dissemin is shutting down on January 1st, 2025

Published in

Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, Quantum, (4), p. 223, 2020

DOI: 10.22331/q-2020-01-13-223

Links

Tools

Export citation

Search in Google Scholar

From estimation of quantum probabilities to simulation of quantum circuits

Journal article published in 2020 by Hakop Pashayan ORCID, Stephen D. Bartlett ORCID, David Gross
This paper is made freely available by the publisher.
This paper is made freely available by the publisher.

Full text: Download

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Green circle
Published version: archiving allowed
Data provided by SHERPA/RoMEO

Abstract

Investigating the classical simulability of quantum circuits provides a promising avenue towards understanding the computational power of quantum systems. Whether a class of quantum circuits can be efficiently simulated with a probabilistic classical computer, or is provably hard to simulate, depends quite critically on the precise notion of ``classical simulation'' and in particular on the required accuracy. We argue that a notion of classical simulation, which we call EPSILON-simulation (orϵ-simulation for short), captures the essence of possessing ``equivalent computational power'' as the quantum system it simulates: It is statistically impossible to distinguish an agent with access to anϵ-simulator from one possessing the simulated quantum system. We relateϵ-simulation to various alternative notions of simulation predominantly focusing on a simulator we call apoly-box. A poly-box outputs1/polyprecision additive estimates of Born probabilities and marginals. This notion of simulation has gained prominence through a number of recent simulability results. Accepting some plausible computational theoretic assumptions, we show thatϵ-simulation is strictly stronger than a poly-box by showing that IQP circuits and unconditioned magic-state injected Clifford circuits are both hard toϵ-simulate and yet admit a poly-box. In contrast, we also show that these two notions are equivalent under an additional assumption on the sparsity of the output distribution (poly-sparsity).