arXiv · quant-ph· Amin Shiraz Gilani, François Le Gall, Xingyu Zhou·· 3 天前精选
布尔矩阵乘积验证的量子查询界改进
Improved Quantum Query Bounds for Boolean Matrix Product Verification
arXiv:2609.40180v2阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Amin Shiraz Gilani, François Le Gall, Xingyu Zhou
首次提交：2026-10-01 01:05
研究任务与主要进展
Amin Shiraz Gilani、François Le Gall 和 Xingyu Zhou 改进了布尔矩阵乘积验证（BMPV）的量子查询复杂度界，对 n×n 矩阵给出 Õ(n^{17/12}) 的上界，优于此前基于 Grover 搜索的 上界。
阶段、条件与复现 · 深读核对
- 任务输出与输入访问模型是什么？
- 在什么假设、规模与资源条件下成立？
- 与哪种经典基线比较，是否计入编码与读出？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
本站判断
该论文针对布尔矩阵乘积验证的量子查询复杂度，给出首个非平凡上界并同步改进下界，核心方法建立在与正交向量问题的等价关系上。研究还证明行向量查询变体的紧确界，并推出图半径与直径问题的量子查询复杂度多项式分离；当前结论基于论文摘要，具体证明细节和适用模型需结合全文核对。
来源：arXiv · quant-ph · arxiv.org