A short proof of the Aaronson-Ambainis Conjecture via the completion framework
本文利用完备性框架（completion framework）和经典对抗度量（classical adversary measure），对 Aaronson-Ambainis 猜想进行了简短证明，展示了确定性算法可以在其大部分定义域上计算一个部分布尔函数，且其查询复杂度与量子查询复杂度呈多项式相关。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
在计算领域，经典机器与量子机器解决问题的方式之间存在着根本性的分歧。经典计算机是我们日常使用的、按位处理信息的机器，就像开关的开与关。而量子计算机（目前仍主要处于实验阶段）则利用奇特的物理定律来处理信息，这种方式在处理某些特定任务时可以表现出极高的效率。几十年来，研究人员一直试图理解这种量子优势究竟从何而来，更重要的是，如果我们愿意接受微小的误差范围，经典机器能在多大程度上模拟这种优势。核心问题在于：如果一台量子计算机能够快速解决某个问题，是否意味着只要允许经典计算机在大多数情况下得到正确答案（而非每一次都完全正确），它也能快速解决该问题？这个问题正是被称为“阿伦森-安拜恩猜想”（Aaronson-Ambainis conjecture）的长久谜题的核心，该猜想认为，量子加速并不像最初看起来那样神秘或不可逾越，而是根植于经典算法最终可以揭示的属性之中。
来自斯托尼布鲁克大学的一个研究小组现在为这一猜想提供了一个简洁的证明，为理解量子计算与经典计算之间的关系提供了一条清晰的路径。他们的工作聚焦于“部分函数”（partial functions），即这类问题只需要计算机对输入数据的特定子集给出答案，而非针对所有可能的数据组合。研究人员证明，如果一台量子计算机可以使用一定数量的问题（或称查询，queries）来解决这样一个问题，那么经典计算机也可以通过与该量子查询数相关（尽管可能更大）的查询次数，实现高准确度的求解。具体而言，他们证明了经典算法可以通过询问一定数量的问题，在至少 的有效输入比例上正确计算出答案（其中 是一个任意小的正数），而这些问题的数量会根据量子复杂度及输入集的大小进行可预测的增长。这一结果证实，在这种特定语境下，量子计算的力量并不依赖于魔法或难以触及的物理学，而是依赖于经典逻辑最终可以映射出的结构性特征。
该证明依赖于研究人员此前开发的名为“补全框架”（completion framework）的方法。要理解这一点，请想象一个拼图游戏：你得到一张有几个缺失部分的图片，目标是填补这些空白，使整个画面变得合理，即使你并不确切知道原本缺失的部分是什么样子。在本次研究的背景下，“图片”是计算机试图解决的函数，而“缺失的部分”是函数未定义的输入。研究人员表明，如果量子计算机可以解决已知部分的拼图，那么就有可能将解法扩展到覆盖缺失的部分，并使之符合经典计算机的逻辑。他们通过构建一个与原始量子解法在几乎所有重要输入上都保持一致的完整版本的问题来实现这一点。这个过程涉及舍弃极小比例的困难案例，这些案例可能会让经典计算机感到吃力，从而确保剩余的案例足够容易被高效解决。
他们发现的核心在于一种被称为“经典对手度量”（classical adversary measure）的数学工具，该工具的作用是衡量一个问题对输入变化的敏感程度。研究人员证明，如果这种敏感度度量较低，经典算法就可以通过提出正确的问题来系统地减少问题的确定性。他们展示了通过反复选择信息量最大的问题，算法可以缩小可能性范围，直到达到答案清晰可见的程度。这一过程由“影响”（influence）的概念引导，该概念衡量翻转单个数据位会对最终答案产生多大的改变。团队证明，随着算法不断提出问题，剩余未知部分的总体影响会稳步下降。通过追踪这种下降，他们可以保证算法能在可预测的步骤内，为绝大多数输入得出正确答案。
他们工作中的一个关键部分是解决了一个在以往尝试证明该猜想时曾造成障碍的具体不等式。虽然最近另一位研究人员通过一篇篇幅很长的论文解决了这个不等式，但斯托尼布鲁克团队找到了自行证明该不等式特例的方法，从而保持了论证的自洽且简洁。他们利用这一结果表明，经典算法不需要了解量子解法的精确结构即可运作；它只需要知道这样的解法确实存在。这一发现强化了这样一种观点：量子加速在本质上并非异于经典逻辑的存在，而仅仅是效率与结构的问题。研究人员还扩展了他们的证明，以展示这一逻辑适用于一个更强的猜想版本，该版本涉及单个位的“影响”如何在问题中分布。
这项工作的意义在于其清晰性与简洁性。通过对近期一份 60 页预印本论文的简短化证明，研究人员使阿伦森-安拜恩猜想的底层逻辑对更广泛的科学界而言变得更加易于理解。他们表明，在特定条件下——即当我们愿意接受微小的误差率时——量子计算与经典计算之间的差距是可以弥合的。这并不意味着经典计算机很快就会在所有任务上取代量子计算机，但它确实意味着量子优势的理论基础比之前认为的更扎根于经典原理。该证明证实，量子算法的力量并非不可渗透的谜团，而是一种可以被经典方法理解、模拟并界定的属性。
最后，该论文为理论计算机科学领域悬而未决的一个问题提供了明确答案，该问题紧随 2026 年 11 月发布的一篇预印本之后。它确立了这样一个事实：一台量子计算机快速解决问题的能力，是经典计算机也能快速解决该问题的强有力指标，前提是允许经典计算机跳过一小部分最难的案例。这一结果让我们离统一的计算理解更近了一步，即量子与经典之间的区别不是一道墙，而是一个可以用正确的工具进行导航的梯度。研究人员不仅解开了一个谜题，还提供了一个看待两种机器能力的新视角，暗示着计算的未来可能不在于在两者之间做出选择，而在于理解它们如何互补。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。