arXiv:2608.07743cs.AIcs.MA2026-08

用可审计流程自动验证量子加速假设,提升发现可信加速的效率。

QuantumMind: Constraint-Grounded Agentic Reasoning for Speedup Analysis in Quantum Computing

  • 通过角色化动作序列规范量子加速假设生成流程。
  • 在582个任务中平均得分53.1,超越最强基线48.2%,胜出355项。
  • 99.8%任务通过图审计,适合需要严谨性验证的研究者。

识别有意义的量子加速不仅需将经典问题匹配至熟悉的量子原语,还需保持任务完整性,尊重访问与输出模型,揭示必要假设,并处于可辩护的复杂度范围内。我们提出 QuantumMind,一种可审计的代理工作流,用于生成并保守筛选量子加速假设。固定顺序的类型化、角色专业化动作形式化了公开任务,分析结构与经典瓶颈,匹配带源链接的量子原语与障碍注册表,并构建有范围限制的候选方案。一个确定性的十检查验证器给出权威判决;已完成状态被编译为量子加速证据图,并通过仅向下传递的研究筛检,不可强化决策。我们在582个相同开放发现任务上评估 QuantumMind,对比七种适配任务的提示与代理基线。在冻结的开放发现得分(ODS)下,QuantumMind 平均得分为53.1,较最强基线高出17.3分(相对提升48.2%),在582组配对任务中胜出355次。其图审计通过率为99.8%,远高于最强基线的43.6%,并在所有七个任务族中排名第一。结果表明,类型化状态转移与确定性证据控制的作用超越单纯流畅生成。

原文摘要 · Abstract (English)

Identifying a meaningful quantum speedup requires more than matching a classical problem to a familiar quantum primitive: the claim must preserve the task, respect access and output models, expose required promises, and remain within a defensible complexity scope. We present QuantumMind, an auditable agentic workflow for generating and conservatively screening quantum-acceleration hypotheses. A fixed sequence of typed, role-specialized actions formalizes the public task, analyzes structure and classical bottlenecks, matches a source-linked registry of quantum primitives and barriers, and constructs a scoped candidate scheme. A deterministic ten-check validator assigns the authoritative verdict; completed states are compiled into a Quantum Acceleration Evidence Graph and passed through a downward-only research screen that cannot strengthen the decision. We evaluate QuantumMind against seven task-adapted prompting and agentic controls on 582 identical open-discovery tasks. Under the frozen Open-Discovery Score (ODS), QuantumMind obtains 53.1 mean ODS, exceeding the strongest baseline by 17.3 points (48.2% relative), and wins 355 of 582 paired tasks against that baseline. It passes the graph audit on 99.8% of tasks, compared with 43.6% for the strongest baseline, and ranks first in all seven task families. The results indicate that typed state transitions and deterministic evidence control contribute beyond fluent generation alone.

量子计算推理系统可审计性加速分析

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。