Recent work by Bravyi, Gosset, and Koenig showed that there exists a search problem that a constant-depth quantum circuit can solve, but that any constant-depth classical circuit with bounded fan-in cannot. They also pose the question: Can we achieve a similar proof of separation for an input-independent sampling task? In this paper, we show that the answer to this question is yes when the number of random input bits given to the classical circuit is bounded. We introduce a distribution $D_{n}$ over $\{0,1\}^n$ and construct a constant-depth uniform quantum circuit family $\{C_n\}_n$ such that $C_n$ samples from a distribution close to $D_{n}$ in total variation distance. For any $\delta < 1$ we also prove, unconditionally, that any classical circuit with bounded fan-in gates that takes as input $kn + n^\delta$ i.i.d. Bernouli random variables with entropy $1/k$ and produces output close to $D_{n}$ in total variation distance has depth $\Omega(\log \log n)$. This gives an unconditional proof that constant-depth quantum circuits can sample from distributions that can't be reproduced by constant-depth bounded fan-in classical circuits, even up to additive error. We also show a similar separation between constant-depth quantum circuits with advice and classical circuits with bounded fan-in and fan-out, but access to an unbounded number of i.i.d random inputs. The distribution $D_n$ and classical circuit lower bounds are inspired by work of Viola, in which he shows a different (but related) distribution cannot be sampled from approximately by constant-depth bounded fan-in classical circuits.

翻译：最近，Bravyi、Gosset 和 Koenig 的研究表明，存在一种搜索问题，恒定深度的量子电路可以解决，而任何具有有界扇入的恒定深度经典电路都无法解决。他们还提出了一个问题：我们能否为与输入无关的采样任务实现类似的分离证明？在本文中，我们表明，当经典电路接收的随机输入比特数量有界时，这个问题的答案是肯定的。我们引入了一个分布 $D_{n}$，其定义在 $\{0,1\}^n$ 上，并构造了一个恒定深度的均匀量子电路族 $\{C_n\}_n$，使得 $C_n$ 从总变差距离上接近 $D_{n}$ 的分布中采样。对于任意 $\delta < 1$，我们还无条件证明，任何以 $kn + n^\delta$ 个独立同分布伯努利随机变量（熵为 $1/k$）为输入、输出在总变差距离上接近 $D_{n}$ 的有界扇入门经典电路，其深度为 $\Omega(\log \log n)$。这给出了一个无条件证明：恒定深度的量子电路可以从恒定深度有界扇入经典电路（即使允许加法误差）无法复现的分布中采样。我们还展示了在拥有辅助信息的恒定深度量子电路与有界扇入扇出但可访问无限数量独立同分布随机输入的经典电路之间的类似分离。分布 $D_n$ 和经典电路下界受 Viola 工作的启发，他在其中表明另一个（相关但不同的）分布无法被恒定深度有界扇入经典电路近似采样。