Fugu-MT 論文翻訳(概要): Reducing Trust Cost in Quantum Application Development Using AI

論文の概要: Reducing Trust Cost in Quantum Application Development Using AI

arxiv url: http://arxiv.org/abs/2610.14665v1
Date: Sat, 10 Oct 2026 07:24:35 GMT
ステータス: 翻訳完了
システム内更新日: 2026-10-20 12:23:26.682499
Title: Reducing Trust Cost in Quantum Application Development Using AI
Title（参考訳）: AIを用いた量子アプリケーション開発における信頼コストの削減
Abstract要約: 生成AIは、量子アプリケーションの設計と実装をサポートする強力なツールである。「本研究では、この人間の理解、確認、判断の負担を信頼コストとみなす。」本稿では,AIと形式検証を統合した開発手法を提案する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: Generative AI can be a powerful tool for supporting the design and implementation of quantum applications, whereas the burden of checking whether generated circuits realize the intended computation increases. In this study, we regard this burden of human understanding, checking, and judgment as ``trust cost,'' and propose a development methodology that integrates AI and formal verification to reduce it. In the proposed development methodology, the implementation is divided into three components: a target mathematical specification, a quantum circuit, and a correspondence theorem and its proof that prove the agreement between the two. This division separates the specifications and theorem statements checked by humans from the theorem proofs entrusted to mechanical checking. As a concrete development example of this proposal, we describe an implementation for the time evolution of a stochastic particle system and its results.
Abstract（参考訳）: 生成AIは量子アプリケーションの設計と実装を支援する強力なツールになり得るが、生成した回路が意図した計算量の増加に気づくかどうかを確認することの負担は増大する。本研究では,人間の理解,確認,判断の負担を「信頼コスト」とみなし,AIと形式検証を統合して削減する開発手法を提案する。提案手法では, 目的とする数学的仕様, 量子回路, 対応定理と, 両者の一致を証明するための証明の3つに分割した。この区分は、人間によってチェックされた仕様と定理のステートメントを、機械的チェックに委ねられた定理の証明から分離する。本提案の具体的開発事例として,確率的粒子系の時間発展とその結果について述べる。

関連論文リスト

Verifiable Sampling for Delegated Generative Quantum Machine Learning [0.03823356975862006]
本稿では、量子モデルの推論フェーズに使用できるサンプリングのためのブラインドで検証可能なプロトコルを提案する。このようなプロトコルは、Universal Blind Quantum Computingから盲点を継承し、既知のアプローチを利用して検証性を実現する。検証プロトコルを特徴付ける通常のAccept/Abort結果だけでなく、推論のためのサンプリングプロトコルも、悪意のあるサーバに対しても提供します。
論文参考訳（メタデータ） (2026-10-09T08:27:07Z)
Can PCE solve the factorisation problem via optimisation? [40.647387385951816]
整数分解は、RSAのような広く使われている暗号スキームと関係があるため、特に関心がある。因数分解の1つのアプローチは、問題をバイナリ最適化問題に変換することである。因数分解問題に対するパウリ相関アルゴリズムの適用可能性について検討する。
論文参考訳（メタデータ） (2026-07-26T15:50:43Z)
Verification of Quantum Computations: Hardware-Efficient Security Proofs [0.0]
この写本は、統計的(情報理論的な)セキュリティの下でこの問題に答えるための、最近の発展のいくつかの概念的な合成を提供する。検証を3つの独立したプリミティブに分割するモジュラーで構成可能なフレームワークを導入します。空間的オーバーヘッドを排除し、計算基底ダミー状態を作成する必要をなくし、単一光子源を信頼された局所回転や弱いコヒーレントパルスで置き換える方式をレビューする。
論文参考訳（メタデータ） (2026-07-04T18:44:43Z)
Quantization-Aware Collaborative Inference for Large Embodied AI Models [67.66340659245186]
大規模人工知能モデル(LAIM)は、AIアプリケーションを具現化するためのコアインテリジェンスエンジンとしてますます見なされている。この問題に対処するために、具体化されたAIシステムに対する量子化対応協調推論(コ推論)について検討する。
論文参考訳（メタデータ） (2026-02-13T16:08:19Z)
Advancing Mathematical Research via Human-AI Interactive Theorem Proving [16.40852561664514]
LLMを用いた対話型定理証明と発見のためのヒューマン・イン・ザ・ループ・ワークフローを提案する。人間の専門家は問題定式化と許容可能な仮定の制御を維持し、モデルは証明や矛盾を探索する。このワークフローを、多様体最適化とグロバーの量子探索アルゴリズムの接続に関するケーススタディでインスタンス化する。
論文参考訳（メタデータ） (2025-12-10T09:16:27Z)
Formal Verification of Variational Quantum Circuits [44.06507276521908]
変分量子回路(VQC)は多くの量子機械学習アルゴリズムの中心的なコンポーネントである。本稿では,VQCの形式的検証問題に関する基礎的および実践的研究について述べる。
論文参考訳（メタデータ） (2025-07-14T12:28:32Z)
Quantum Executor: A Unified Interface for Quantum Computing [46.36953285198747]
Quantum Executorは、不均一なプラットフォーム間で量子実験をオーケストレーションするために設計された、バックエンドに依存しない実行エンジンである。主な機能は、非同期および分散実行のサポート、カスタマイズ可能な実行戦略、量子実験を管理するための統一APIである。
論文参考訳（メタデータ） (2025-07-10T09:55:32Z)
Quantum Circuit Synthesis and Compilation Optimization: Overview and Prospects [59.07692103357675]
本調査では,アルゴリズムレベルから量子ハードウェアにまたがる,統合設計および最適化スキームの実現可能性について検討する。手動設計のコストを削減し、実行の精度と効率を高め、ハードウェア上での量子アルゴリズムの優位性の実装と検証を容易にする。
論文参考訳（メタデータ） (2024-06-30T15:50:10Z)
A scalable quantum gate-based implementation for causal hypothesis testing [0.0]
因果推論を高速化するための量子コンピューティングアルゴリズムについて検討する。我々は、量子回路の実装を開発し、それを用いて、前回の研究で導入された誤り確率が修正を必要とすることを示す。本稿では,バイオインフォマティクスと人工知能における因果推論の応用について論じる。
論文参考訳（メタデータ） (2022-09-05T15:36:36Z)
Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。 3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文参考訳（メタデータ） (2021-08-03T17:49:09Z)
Proving Quantum Programs Correct [3.2513560268591735]
グローバーのアルゴリズムや量子位相推定を含む様々な量子アルゴリズムの正確性を検証する。量子コンテキストにおける形式的検証の成功と課題の両方を強調することを目的としている。
論文参考訳（メタデータ） (2020-10-03T00:55:41Z)

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