論文の概要: Lean-QuantumAlg: A Framework for AI Agents to Produce Quantum Algorithms that Humans Can Trust

• arxiv url: http://arxiv.org/abs/2610.30216v2
• Date: Fri, 23 Oct 2026 02:17:00 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-27 01:38:06.228604
• Title: Lean-QuantumAlg: A Framework for AI Agents to Produce Quantum Algorithms that Humans Can Trust
• Title（参考訳）: Lean-QuantumAlg: 人間が信頼できる量子アルゴリズムを生成するAIエージェントのためのフレームワーク
• Abstract要約: 我々は、信頼できるAI支援量子アルゴリズムのためのフレームワークであるLean-QuantumAlgを紹介する。 我々は、Grover検索からRSA-2048とP-256に対する量子攻撃まで、9つのAI形式量子アルゴリズムのフレームワークを実証する。 再利用可能な数学的基盤、認定プリミティブ、実行基盤検証を統合することで、Lean-QuantumAlgは、AIエージェントが量子アルゴリズムを構築し、認証する基盤を提供する。
• 参考スコア（独自算出の注目度）: 14.66526517369539
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: AI agents are increasingly capable of constructing quantum algorithms and proofs, yet machine-checked proofs alone cannot guarantee that the intended problem is solved or that resource claims match the verified computation. Here we introduce Lean-QuantumAlg, a Lean 4 framework for trustworthy AI-assisted development of quantum algorithms. Its Algorithm-Solves-Problem contract binds correctness, success probability, borrowed-state restoration and quantum and classical resource bounds to a single execution, while separating the guarantees that Lean checks from the problem specifications and execution models that humans review. We demonstrate the framework on nine AI-formalized quantum algorithms, from Grover search to quantum attacks on RSA-2048 and P-256, with less than 1% of each algorithm's imported source code requiring statement-level human review once the shared framework has been audited. By integrating reusable mathematical foundations, certified algorithmic primitives and execution-grounded verification, Lean-QuantumAlg provides a basis for AI agents to construct and certify quantum algorithms, opening a path toward scalable AI-driven discovery of quantum algorithms.
• Abstract（参考訳）: AIエージェントは、量子アルゴリズムと証明を構築する能力がますます高まっているが、マシンチェックされた証明だけでは、意図した問題が解決されたり、リソースクレームが検証された計算に一致することを保証できない。 本稿では、信頼できるAI支援による量子アルゴリズム開発のためのLean 4フレームワークであるLean-QuantumAlgを紹介します。 Algorithm-Solves-Problemの契約は、正確性、成功確率、借用状態の復元、量子的および古典的リソースのバウンドを単一の実行に結合すると同時に、リーンが人間がレビューする問題仕様と実行モデルからチェックする保証を分離する。 我々は、Grover検索からRSA-2048とP-256に対する量子攻撃まで、9つのAI形式化された量子アルゴリズムのフレームワークを実証する。 再利用可能な数学的基盤、認証されたアルゴリズムプリミティブ、実行基盤検証を統合することで、Lean-QuantumAlgは、AIエージェントが量子アルゴリズムを構築し、認定するための基盤を提供し、スケーラブルなAI駆動による量子アルゴリズム発見への道を開く。

関連論文リスト

• Coherence Fraction in Grover Search Algorithm [17.812164427695926]
  エンタングルメントとコヒーレンスはグロバー探索アルゴリズムによって達成された量子的優位性を完全に説明できないことを示す。 また、量子最小化アルゴリズムにおけるコヒーレンス分数の役割についても検討する。 これらの発見は、新しい量子アルゴリズムを開発するための量子優位性とオープンパスの起源に関する洞察を与える。
  論文  参考訳（メタデータ） (2025-11-10T08:29:05Z)
• Quantum DPLL and Generalized Constraints in Iterative Quantum Algorithms [0.0]
  我々は,古典的欲求や局所探索アルゴリズムと密接に関連する,ハイブリッド量子アルゴリズムのクラスを探索する。 そこで我々は,よく知られた古典的デービス・プットナム・ローデマン・ローブランド(DPLL)アルゴリズムのハイブリッド量子バージョンを開発した。
  論文  参考訳（メタデータ） (2025-09-02T18:00:05Z)
• QCircuitBench: A Large-Scale Dataset for Benchmarking Quantum Algorithm Design [63.02824918725805]
  量子コンピューティングは、量子アルゴリズムによる古典的コンピューティングよりも大幅にスピードアップされていることが認識されている。 QCircuitBenchは、量子アルゴリズムの設計と実装におけるAIの能力を評価するために設計された最初のベンチマークデータセットである。
  論文  参考訳（メタデータ） (2024-10-10T14:24:30Z)
• The Algorithm for Solving Quantum Linear Systems of Equations With Coherent Superposition and Its Extended Applications [8.8400072344375]
  コヒーレント重ね合わせを持つ方程式の量子線型系を解くための2つの量子アルゴリズムを提案する。 2つの量子アルゴリズムは、ランクと一般解の両方を1つの測定で計算できる。 分析の結果,提案アルゴリズムは主に軽量対称暗号に対する攻撃に適していることがわかった。
  論文  参考訳（メタデータ） (2024-05-11T03:03:14Z)
• Quantum Subroutine for Variance Estimation: Algorithmic Design and Applications [80.04533958880862]
  量子コンピューティングは、アルゴリズムを設計する新しい方法の基礎となる。 どの場の量子スピードアップが達成できるかという新たな課題が生じる。 量子サブルーチンの設計は、従来のサブルーチンよりも効率的で、新しい強力な量子アルゴリズムに固い柱を向ける。
  論文  参考訳（メタデータ） (2024-02-26T09:32:07Z)
• Generalized quantum Arimoto-Blahut algorithm and its application to quantum information bottleneck [55.22418739014892]
  量子アリーモト・ブラフトアルゴリズムをRamakrishnanらにより一般化する。 3つの量子系を持つ量子情報ボトルネックに対して,我々のアルゴリズムを適用した。 数値解析により,我々のアルゴリズムはアルゴリズムよりも優れていることが示された。
  論文  参考訳（メタデータ） (2023-11-19T00:06:11Z)
• Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
  Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。 我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。 絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
  論文  参考訳（メタデータ） (2022-05-26T20:32:36Z)
• Establishing trust in quantum computations [0.0]
  本稿では, 量子コンピュータがアルゴリズムを実行できる忠実度を計測する手法を提案する。 提案手法は,アルゴリズムの量子回路を,効率よく成功率を計測できる密接な関連回路の集合に変換する。
  論文  参考訳（メタデータ） (2022-04-15T17:44:30Z)
• Synthesis of Quantum Circuits with an Island Genetic Algorithm [44.99833362998488]
  特定の演算を行うユニタリ行列が与えられた場合、等価な量子回路を得るのは非自明な作業である。 量子ウォーカーのコイン、トフォリゲート、フレドキンゲートの3つの問題が研究されている。 提案したアルゴリズムは量子回路の分解に効率的であることが証明され、汎用的なアプローチとして、利用可能な計算力によってのみ制限される。
  論文  参考訳（メタデータ） (2021-06-06T13:15:25Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。