arXiv · quant-ph· Zijian Gong, Zhaobin Lyu, Jingjing Hu, Dengfeng Li, Shuoming An·· 5 天前精选
相关性决定浅电路量子优势的可验证测试
Correlations decide a shallow-circuit advantage
arXiv:2610.04666v1阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Zijian Gong, Zhaobin Lyu, Jingjing Hu, Dengfeng Li, Shuoming An
首次提交：2026-10-04 01:27
研究任务与主要进展
作者提出一种仅凭经典样本检验常深度量子电路是否相对浅层经典电路具有优势的方法，指出关键在于经典采样器的单比特和成对相关性，而非距离。基于论文摘要，该测试包含一个由Lean 4机器证明的塌缩定理，并报告第五种相关性检查能够识别四种自然检查无法发现的远离目标的构造；实验落地仍受43量子比特、近0.99保真度纠缠资源状态限制。
阶段、条件与复现 · 深读核对
- 任务输出与输入访问模型是什么？
- 在什么假设、规模与资源条件下成立？
- 与哪种经典基线比较，是否计入编码与读出？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
本站判断
该研究把常深度量子电路相对浅层经典电路的优势检验，转化为对经典采样器单比特与成对相关性的分析，并给出基于不等式的测试。作者报告了Lean 4机器证明的塌缩定理及若干检查的有效性和可靠性边界；结论目前针对有限输入门类，距离和随机性受限的实验还受43量子比特、近0.99保真度纠缠资源约束，推广到完整类别仍取决于两个开放问题。
来源：arXiv · quant-ph · arxiv.org