Experimental Quantum Bernoulli Factories via Bell-Basis Measurements

技术摘要：通过贝尔基测量实现的实验性量子伯努利工厂

问题陈述
伯努利工厂问题旨在解决如何将不完美的随机源（即具有未知偏差 $p$ 的硬币，或称 $p$-硬币）转化为具有特定偏差 $f(p)$ 的新硬币，且仅使用有限数量的样本，而不进行对 $p$ 的估计。在经典领域（经典伯努利工厂或 CBF），可精确构造函数的集合受到严重限制。具体而言，那些在趋近于 0 或 1 时过于迅速，或在定义域内部（$p \in (0,1)$）达到 $\{0, 1\}$ 值的函数，无法通过任何以概率 1 停止的算法进行构造。此外，即使对于可构造函数，其期望样本复杂度也可能很大，并且对 $p$ 具有强依赖性，在 $p$ 趋向于 0 或 1 时会发生发散。

方法论
本研究展示了在 IBM 超导硬件上实现的量子伯努利工厂（QBF）实验方案。该协议利用两个相同的输入“量子硬币”（quoin），其中偏差 $p$ 被相干地编码在量子比特态 $|p\rangle = \sqrt{1-p}|0\rangle + \sqrt{p}|1\rangle$ 中。

核心方法论涉及对两个量子比特系统 $|p\rangle \otimes |p\rangle$ 进行单次贝尔基测量。贝尔基定义为：
$$|\Phi^\pm\rangle = \frac{|00\rangle \pm |11\rangle}{\sqrt{2}}, \quad |\Psi^\pm\rangle = \frac{|01\rangle \pm |10\rangle}{\sqrt{2}}$$
当输入态在上述基底中展开时，其概率振幅揭示了特定的统计结果：

• 观测到 $|\Phi^+\rangle$ 的概率恰好为 $1/2$，且与 $p$ 无关。
• 在观测结果属于集合 $\{|\Phi^-\rangle, |\Psi^+\rangle\}$ 的条件下，观测到 $|\Psi^+\rangle$ 的条件概率给出了函数 $f(p) = 4p(1-p)$。
• 这些统计特性还允许实现“伯努利倍增”函数 $f(p) = 2p$（对于 $p \leq 1/2$）以及 $2(1-p)$（对于 $p > 1/2$）。

实验电路通过 $Y(\theta)$ 旋转（其中 $\theta = 2\sin^{-1}\sqrt{p}$）制备两个量子比特，随后应用一个 CNOT 门和一个 Hadamard 门将计算基转换为贝尔基，最后执行标准测量。测量结果被映射到相应的贝尔态，以生成所需的输出硬币。

主要贡献与结果
论文报告了三项主要的实验成就：

1. 实现经典不可构造函数： 作者成功演示了生成“伯努利倍增”原语 $f(p) = 2p$（及其对称形式）以及函数 $f(p) = 4p(1-p)$。这些函数在经典算法中是无法通过以概率 1 停止的算法精确构造的，因为它们在 $p=1/2$ 时达到 1。
2. 内部公平硬币生成： 不同于以往可能需要外部经典随机源作为子程序的方案，本实验直接从贝尔测量统计中生成精确的公平硬币（$f(p) = 1/2$）。观测到 $|\Phi^+\rangle$ 的概率对于任何输入偏差 $p$ 均为精确的 $1/2$。
3. 恒定资源效率： 实验表明，生成这些输出所需的平均输入量子硬币数量是恒定的，且与 $p$ 无关。具体而言，生成公平硬币需要两个量子硬币，而生成 $f(p) = 4p(1-p)$ 函数平均需要四个量子硬币。这与经典方法（例如 von Neumann 方案）形成鲜明对比，在后者中，所需硬币的数量在 $p \to 0$ 或 $p \to 1$ 时会发生发散。

作者将测得的输出偏差与理想理论预测进行了基准测试，并观察到了归因于超导硬件固有设备噪声的偏差。

意义
本文建立了一种简单、资源高效的量子到经典随机性处理的实验原语。通过利用纠缠和贝尔基测量，这项工作证明了量子资源可以在生成特定随机变量方面超越经典资源，而这些变量在经典条件下是严格无法构造的。作者认为，这些结果支持了量子伯努利工厂在未来量子增强随机模拟和采样任务中的可行性。该方法通过利用相同的测量统计特性在内部生成必要的公平硬币，从而避免了对额外外部随机源的需求，这使得该方法有别于以往的演示。