CARVE-Q：量子提议、经典认证的交互式驾驶修复框架
自动驾驶车辆在正确否决一个危险操作后，面临的下一个关键问题不仅是该操作是否安全，更在于被拦截的交互能否被合法、可审计且责任明确的修复。传统预测和博弈论规划器虽能提出可能的协作方案，却无法提供修复过程遵守硬性规则、路权、成本分配和自车后备方案的证明。针对这一痛点，一篇来自 arXiv 的最新论文提出了 CARVE（Certified Affordable Repair of Vetoed maneuvers via Envelopes） 架构，并引入量子增强版本 CARVE-Q，实现了“量子提议、经典认证”的可信修复模式。
核心架构：从否决到认证修复
CARVE 的核心思路是：当驾驶操作被否决后，系统构建一个有限的修复格（repair lattice），并输出一份结构化证书。该证书记录四类关键信息：
- 绑定规则：修复所依据的交通规则；
- 选定的联合修复方案；
- 按路权缩放的合作包络；
- 按责任加权的成本分配及自车仅靠自身的后备方案。
这种设计使得修复过程完全透明、可审计，且责任边界清晰。
计算瓶颈：多主体修复格的指数级增长
然而，CARVE 面临一个算法瓶颈：当修复涉及多个车主（multi-owner）时，修复格的大小呈乘积式增长。具体而言，若每个车主的可选动作集大小为 |A_j|，则总状态数 M = ∏_j |A_j|。在最坏情况下，经典精确最小查找需要 Θ(M) 次查询，这对于实时驾驶场景显然不可接受。
量子加速：Grover 搜索的巧妙应用
CARVE-Q 的解决方案是引入一个“验证器屏蔽”的量子 AI 搜索层。该层仅对作为黑盒的修复格应用量子最小查找（基于 Durr-Hoyer/Grover 算法），而所有安全认证权威仍保留在经典侧。理论分析表明，量子最小查找仅需 O(√M) 次 oracle 查询，且成功概率高。论文严格证明了验证器屏蔽下的证书可靠性、优先权非泄露性、黑盒查询分离性以及有限精度可逆 oracle 的可构造性。
实验验证：性能与安全性兼得
研究者在模拟中进行了状态向量级的最小查找实验，规模涵盖多达 65,536 种修复分配。同时，他们基于 Lanelet2 地图格式和 INTERACTION 数据集进行回放验证，结果显示：
- 100% 的路权尊重率；
- 100% 的责任分配一致性；
- 零 优先权误报。
这些结果有力证明了 CARVE-Q 在保持安全性的同时，大幅提升了修复效率。
行业意义：可信自治的新范式
CARVE-Q 提出了一种“信任有界”的量子-经典混合模式：量子负责在巨大搜索空间中快速提议候选修复，CARVE 经典层负责对候选方案进行形式化验证并签发证书。这种分工既利用了量子计算的加速潜力，又避免了将安全关键决策完全交给不可解释的量子过程。
对于自动驾驶行业而言，该研究为解决“黑盒决策”与“可审计安全”之间的矛盾提供了一条可行路径。随着量子硬件的发展，类似 CARVE-Q 的验证器屏蔽模式有望在更复杂的场景（如多车交互、城市道路博弈）中落地，推动自动驾驶从“功能安全”迈向“认证安全”。