研究主线
算法、模拟、优化、机器学习与资源估计
72 条精选近 30 天 66 条共收录 470 条
Zhengyi Han、Yuanchen Zhao 和 Zi-Wen Liu 在论文摘要中证明，足够弱相互作用的局域费米系统吉布斯态可表示为费米高斯态的凸组合。基于这一结构，他们通过在叶子为高斯态的树上进行 Metropolis 更新，构造了多项式时间经典采样器；该结果适用于任意有限温度和任意空间维度，但摘要未说明具体阈值。
本站判断：论文摘要提出：足够弱相互作用的费米系统，其任意有限温度、任意空间维度下的吉布斯态可表示为费米高斯态的凸组合，并据此构造了多项式时间经典采样器。其价值在于为特定弱相互作用区域提供经典可模拟性依据，但摘要未给出相互作用阈值、采样复杂度细节或与经典基线的定量比较。
作者提出无需预供催化剂的任意单量子比特门合成方法：在对数宽度的广义Toffoli门下可实现常深度电路，并仅使用Hadamard、T和广义Toffoli门即可消除Fan-Out。
本站判断：论文的核心增量是把任意单量子比特门合成的深度与辅助资源联系起来：允许对数宽度的多量子比特门时可达到常深度，而在标准有界宽度门模型下，作者报告了匹配的Θ(log log(1/ε))深度下界。其对浅层量子电路复杂性及QAC与Forrelation关系的影响目前仅依据论文摘要，关键条件是门宽度、辅助比特和误差定义的口径。本站设想：可在统一误差、辅助比特和多量子比特门成本口径下，对两类门模型的端到端资源进行比较。
Wonseok Choi、Minki Hhan和Junyoung Jang在论文摘要中声称证明：对任意r≥2的独立随机排列异或，任何q查询量子算法将其与随机函数区分的优势受多项式分式上界约束，且q远小于2^n时仍保持安全性，范围超过量子碰撞攻击的2^(n/3)界。方法采用傅里叶分析的多项式方法，将至多2q阶傅里叶分量与输入输出数据联系起来；作者还提出启发式攻击以考察部分查询范围下界的紧致性。
本站判断：该工作研究随机排列异或构造在量子查询攻击下的安全性，作者在摘要中给出覆盖完整查询范围的理论上界，并通过傅里叶分析处理低阶分量。其影响取决于界对不同查询规模的实际紧致性，材料同时提出启发式攻击但未提供完整证明细节或独立验证。
基于论文摘要，Joseph Carolan 和 Andrew M. Childs 提出两种有序搜索量子算法，查询复杂度均为 1/π·ln n+o(log n)，作者称其达到最优结果。两种方法分别基于连续松弛得到零误差算法，以及基于 Farhi、Goldstone、Gutmann 和 Sipser 多项式程序的解析解；材料未提供完整证明、实验或基准细节。
本站判断：该论文摘要提出两种有序搜索量子算法，均将查询复杂度推进到作者所称的渐近最优值 1/π·ln n+o(log n)，并分别基于连续松弛与多项式程序的解析求解。核心价值在于缩小经典二分搜索与量子算法之间的常数因子差距，但当前仅见摘要，尚不能据此判断证明细节、实现条件或完整比较基准。
Sandia National Laboratories 开发 QUOPS 量子通用运算性能系统，用于统一衡量物理比特与逻辑比特系统的性能，Quantinuum 和 NVIDIA 参与输入。
本站判断：QUOPS把随机电路成功阈值、计算规模与速率纳入统一能力区域，可用于比较不同架构的系统级表现。
Quantinuum团队在System Model H2上运行数千个电路，实验验证补采样游戏中量子策略相对经典策略的可证明优势，相关成果发表于《Nature Communications》。该测试不依赖纠缠或经典计算困难度假设，经典系统可高效验证其是否违反性能上界，实验得分接近理论预测。作者同时指出，实现依赖输入状态制备假设，结果仍需谨慎解读。
本站判断：该实验将可高效验证的经典性能上界与H2实测结合，为判断设备是否展现非经典能力提供更直接的验证思路。
AWS与JPMorganChase合作提出面向近端量子硬件的组合优化分解流程、Rydberg原子阵列编译工具和混合算法qReduMIS。实验显示，分解流程可将真实投资组合优化问题规模降低约80%，并在最多1500个变量的问题上实现3倍求解时间缩短；qReduMIS在Amazon Braket上使用QuEra Aquila设备进行最多231量子比特的实验，困难实例平均成功率超过约89%。
本站判断：三项研究把组合优化分解、硬件编译与量子经典协同串成工具链，并报告真实设备实验指标，便于比较近端量子优化方案。
研究团队将基于经典密度泛函理论的材料能量模型映射到QuEra Aquila中性原子量子硬件，用量子退火采样氮掺杂石墨烯的热力学状态。在28位点系统上通过穷举将有效温度校准为41μK，在78位点系统上与无偏蒙特卡洛比较，并展示通过4.0、4.5和5.0微米原子间距调节有效温度。该工作是概念验证，QPU每个数据点运行1000次，最终仅保留初始构型完全占据的运行。
本站判断：以小规模穷举和经典蒙特卡洛作为基线，给出中性原子量子退火用于无序材料热力学采样的概念验证。
Microsoft发布QDK v1.30.0和QDK for chemistry v2.0.0，引入分层、可组合的开源资源估计器，并增强量子程序模拟能力。资源估计器支持Q#、Cirq、OpenQASM、QIR及逻辑计数，可组合应用、硬件架构与纠错模型，计算物理比特数、运行时间和累积误差并生成帕累托最优配置。
本站判断：把应用、架构与纠错模型解耦，可直接比较不同量子硬件和纠错方案的物理比特与运行时间权衡。
AWS、LBNL、NASA与NVIDIA研究人员发布量子与经典工作流性能模型，以通信计算比判断低延迟紧耦合是否必要。模型区分实时控制与量子纠错所需低延迟，以及应用层工作流通信；前者必须跟上设备时序，使用逻辑比特时也需要高性能经典计算。
本站判断：将实时控制与工作流通信分层，并以通信计算比分析SQD、GQE和QE-MCMC，为混合架构选型提供定量依据。
PennyLane 0.45.0 发布，新增 SumOfSlatersPrep 稀疏态制备、QSVT 角度求解器和资源估计模板，并提供图分解规则及路径检查工具。该版本还增强 qjit 工作流的 specs、标记和电路图检查能力；Iterative-Optax QSVT 求解器需要安装 optax，NumPy 支持升级为 2.0 或更高版本。
本站判断：新增态制备、分解检查和资源估计能力，覆盖量子算法开发与编译流程，便于定位实现成本和资源开销。
NVIDIA 发布 cuQuantum SDK v25.11，新增 cuPauliProp 和 cuStabilizer，用于在 GPU 上加速 Pauli 传播与稳定子模拟。
本站判断：文章给出两类大规模量子模拟的 GPU 用法、代码示例与 CPU 基线，帮助理解新增组件的适用范围和性能入口。