CARVE-Q：量子提案、古典検証によるインタラクティブ運転修復

CARVE-Q論文は、Yifan Wang氏らによって2026年6月3日にarXivに提出され、自動運転における重要な問題を解決するための革新的な量子-AIハイブリッドアーキテクチャを提案しています。システムが操作を正しく拒否した後、その操作が安全でないかどうかだけでなく、阻止されたインタラクションが合法的、監査可能、かつ責任限定の修復を許容するかどうかが重要です。予測やゲーム理論に基づくプランナーはもっともらしい協調を提案できますが、修復がハードルール、優先権、コスト配分、自車の退避を尊重するという証明を返すことはできません。

研究者らはまず、CARVE（Certified Affordable Repair of Vetoed maneuvers via Envelopes）を提案しました。これは予測不要のインタラクティブ修復のための証明書アーキテクチャです。拒否された操作が与えられると、CARVEは有限の修復格子を構築し、拘束ルール、選択された共同修復、優先権スケーリングされた協調エンベロープ、責任加重コスト配分、自車のみの退避を記録した構造化証明書を生成します。しかし、この証明書の視点はアルゴリズムのボトルネックを明らかにします。マルチオーナー修復は積格子M = ∏_j |A_j|を誘発し、指数関数的に成長します。

この課題を克服するために、CARVE-Qが導入されました。これは検証器でシールドされた量子-AI探索層であり、量子最小探索をこのブラックボックス格子にのみ適用し、すべての安全権限は古典的に保持します。保守的な検証器-オラクルモデルでは、正確な古典的最小探索は最悪でΘ(M)回のクエリを必要とするのに対し、Durr-Hoyer/Grover最小探索は高い確率でO(√M)回のオラクルクエリで済みます。CARVE-Qは、検証器シールド証明書の健全性、優先権非抽出、ブラックボックス問い合わせ分離、有限精度可逆オラクルの構築可能性を証明します。

さらに、最大65,536割り当てのCARVE修復オラクルに対する状態ベクトル最小探索を実証し、Lanelet2ベースのINTERACTIONリプレイで証明書保存を検証し、100%の優先権尊重、100%の責任一貫性、ゼロの優先権誤検出を達成しました。この成果は、信頼に制限された量子-AIパターンを認証自律運転に提供します。量子が提案し、CARVEが認証します。本論文は9ページ、3図から構成され、大規模シナリオへの拡張が期待されます。