[论文解读] Quantum Proofs for Classical Theorems

Andrew Drucker, Ronald de Wolf|arXiv (Cornell University)|Oct 18, 2009

Quantum Computing Algorithms and Architecture参考文献 103被引用 12

一句话总结

本文综述了如何利用量子计算技术——如量子查询算法、量子信息理论和量子查询下界——来证明理论计算机科学与数学中的经典定理。研究表明，受量子启发的方法能为通信复杂性、电路下界、多项式逼近和矩阵理论等领域的结果提供优雅、强大且常常更简洁的证明。

ABSTRACT

Alongside the development of quantum algorithms and quantum complexity theory in recent years, quantum techniques have also proved instrumental in obtaining results in classical (non-quantum) areas. In this paper we survey these results and the quantum toolbox they use.

研究动机与目标

• 展示量子技术可为经典数学与计算定理提供出人意料且优美的证明。
• 综述量子工具（如量子查询复杂度和量子信息理论）在非量子领域中的应用。
• 说明受量子启发的推理如何在通信复杂性和电路下界等领域带来更强或更简洁的界。
• 激励即使在没有物理量子计算机的情况下，也使用量子直觉作为证明技术。
• 强调量子方法与经典问题之间的联系，例如霍恩问题（Horn’s problem）和多项式逼近。

提出的方法

• 利用量子查询算法推导出经典复杂性度量（如公式大小和通信复杂性）的下界。
• 应用量子信息理论工具，如熵和相对熵（例如冯·诺伊曼散度），以界定组合对象的大小。
• 使用量子对抗方法建立布尔函数敏感度和度数的下界。
• 在经典设定中采用受量子启发的推理，例如使用 PostBQP 证明复杂性类的封闭性质。
• 通过模拟技术将量子通信下界转化为经典电路深度和公式大小的下界。
• 利用量子类比——如将随机矩阵视为量子态——以证明表示理论和渐近组合学中的结果。

实验结果

研究问题

• RQ1 量子技术能否为复杂性理论与组合学中的经典定理提供更简单或更强的证明？
• RQ2 量子查询复杂度如何用于推导出电路和决策树等经典计算模型的下界？
• RQ3 在何种方式下，量子信息理论——尤其是熵和相对熵——可用于界定组合集合的大小？
• RQ4 受量子启发的方法能否帮助解决经典复杂性中的开放问题，如电路下界或完备不变量的存在性？
• RQ5 在涉及后选择或非物理量子模型的情况下，量子推理在多大程度上可作为证明工具？

主要发现

• 量子查询下界通过量子对抗方法，对许多函数（包括奇偶性和多数函数）蕴含公式大小的二次下界。
• 量子信息理论技术利用熵的次可加性，对有界汉明权重的集合大小给出紧致界，例如 $ \sum_{i=0}^{\alpha n} \binom{n}{i} \leq e^{nH(\alpha)} $。
• 量子对抗方法对随机函数的公式大小提供了近乎立方的下界，接近已知极限。
• 量子技术被用于重新证明与霍恩问题相关的表示理论结果，表明谱条件与群表示约束等价。
• 受量子启发的推理通过随机矩阵模型，帮助证明了乔汉森定理关于半标准杨表渐近形状的结果。
• 论文分析中使用 PostBQP 提供了复杂性类 PP 封闭性质的新证明，展示了非物理量子模型作为证明工具的强大能力。