发表机构
UC Berkeley（加州大学伯克利分校）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文证明 2-重 Forrelation 问题在逆多对数承诺间隙下可由多项式规模 QAC$^0$ 电路求解，并在常数间隙下实现 QAC$^0$ 与 AC$^0$ 的承诺问题分离。
AI 中文摘要
我们证明，具有逆多对数承诺间隙的 2-重 Forrelation 问题可由多项式规模的 QAC$^0$ 电路以有界误差求解。与基于标准预言机的 Forrelation 算法不同，我们的电路以显式形式接收输入，与已知 Forrelation 对其困难的 AC$^0$ 电路输入形式相同。在常数间隙下，这给出了 QAC$^0$ 与 AC$^0$ 之间一个自然的承诺问题分离。
英文摘要
We show that 2-fold Forrelation with inverse-polylogarithmic promise gap can be solved, with bounded error, by polynomial-size QAC$^0$ circuits. Unlike the standard oracle-based Forrelation algorithm, our circuits receive the input explicitly, in the same form as the AC$^0$ circuits against which Forrelation is known to be hard. At constant gap, this yields a natural promise-problem separation between QAC$^0$ and AC$^0$.
