論文の概要: Toward Standardized Quantum Provenance: A Cross-Provider Analysis, Unified API, and Reference Prototype
- arxiv url: http://arxiv.org/abs/2608.08272v1
- Date: Sat, 08 Aug 2026 18:01:43 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-11 19:16:36.754327
- Title: Toward Standardized Quantum Provenance: A Cross-Provider Analysis, Unified API, and Reference Prototype
- Title（参考訳）: 量子保証の標準化に向けて - クロスプロバイダ分析,統一API,参照プロトタイプ
- Abstract要約: 5つのハードウェア技術にまたがる15の量子プラットフォームにおけるプロファイランスアクセスを分析します。
本稿では,OpenAPI 3.1プロビデンス契約とプロバイダ・アダプタアーキテクチャを提案する。
- 参考スコア（独自算出の注目度）: 1.3099514901173375
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum software development requires provenance describing programs, compilation, execution, hardware characterization, results, and software environments, but providers expose this information through heterogeneous software development kits, application programming interfaces, and resource models. We analyze publicly documented provenance access across 15 quantum platforms spanning five hardware technologies and find fragmented, incomplete coverage, with compilation provenance weakest. We propose an evidence-aware OpenAPI 3.1 provenance contract and provider-adapter architecture, evaluated through a fixture-backed reference prototype at QMill covering Amazon Braket, IBM Quantum, and IonQ. All records validate against one common contract while preserving provider-specific semantics, explicit evidence origins, and graceful handling of incomplete data.
- Abstract（参考訳）: 量子ソフトウェア開発は、プログラム、コンパイル、実行、ハードウェアの特徴、結果、ソフトウェア環境を記述する証明を必要とするが、プロバイダはこの情報を異種ソフトウェア開発キット、アプリケーションプログラミングインタフェース、リソースモデルを通じて公開する。
我々は、5つのハードウェア技術にまたがる15の量子プラットフォームにまたがる公開文書化されたプロファイランスアクセスを分析し、フラグメンテーションされた不完全なカバレッジと、コンパイルのプロファイランスが最も弱いことを発見した。
我々は、Amazon Braket、IBM Quantum、IonQをカバーするQMillのフィクスチャベースのリファレンスプロトタイプを通じて評価された、エビデンスを意識したOpenAPI 3.1プロファイラ契約とプロバイダ・アダプタアーキテクチャを提案する。
すべてのレコードは、プロバイダ固有のセマンティクス、明確なエビデンスの起源、不完全なデータの優雅なハンドリングを保持しながら、1つの共通コントラクトに対して検証する。
関連論文リスト
- Vero: Can AI Agents Build Formally Verified Software Repositories? [45.09790101960906]
Veroはリポジトリレベルで共同実装と証明を評価する最初のベンチマークである。
Python、Dafny、Verus、Coqにまたがる実世界のリポジトリから43のマルチモジュールインスタンスが含まれている。
ベンチマークの信頼性を改善するため、Veroには、エージェントが提供された仕様の不満足さを正式に証明できる監査メカニズムも含まれている。
論文 参考訳（メタデータ） (2026-08-13T17:41:27Z) - QCI Connect: A Modular Full-Stack Quantum Computing Platform [50.033448716863944]
QCI ConnectとそのSoftware Development Kitは、モジュール化された設計とオープンソースのインターフェイス定義を備えたフルスタックプラットフォームのためのリファレンスアーキテクチャを提供する。
ここでは、プラットフォームのユーザと将来の開発のためのリファレンスガイドとして、その全体的な設計と機能、中央インターフェイス、および学んだ教訓を提示する。
論文 参考訳（メタデータ） (2026-06-12T13:45:04Z) - Eliminating Vendor Lock-In in Quantum Machine Learning via Framework-Agnostic Neural Networks [0.0]
現在の量子機械学習(QML)ソフトウェアフレームワークは、深刻な断片化に悩まされている。
本稿では,ベンダ固有のインターフェースを抽象化するフレームワークに依存しない量子ニューラルネットワーク(HALQ)アーキテクチャを提案する。
論文 参考訳（メタデータ） (2026-04-06T04:43:09Z) - Generative AI for Quantum Circuits and Quantum Code: A Technical Review and Taxonomy [0.0]
アーティファクトタイプ(Qiskitコード、OpenQASMプログラム、サーキットグラフ)の2つの軸に沿ってフィールドを編成し、トレーニング体制と交差する。
本稿では,統語的妥当性,意味的正確性,ハードウェア実行可能性に関する3層評価フレームワークを適用した。
中心的な発見は、すべてのレビューされたシステムが構文とほとんどのアドレス意味論をある程度扱うが、量子ハードウェアのエンドツーエンド評価を報告していないことである。
論文 参考訳（メタデータ） (2026-03-17T07:45:40Z) - Standardizing Access to Heterogeneous Quantum Backends: A Case Study on Cloud Service Integration with QDMI [6.185604269173662]
ハードウェア抽象化のデファクトスタンダードの1つとして量子デバイス管理インターフェース(QDMI)が登場している。
本稿では、量子コンピューティングクラウドサービスであるAmazon BraketとQDMIの統合を実証するケーススタディを提案する。
論文 参考訳（メタデータ） (2026-03-05T13:05:29Z) - AQER: a scalable and efficient data loader for digital quantum computers [62.40228216126285]
我々は,ターゲット状態の絡み合いを体系的に低減し,負荷回路を構成するスケーラブルなAQL手法であるAQERを開発した。
我々は、合成データセット、古典画像および言語データセット、最大50キュービットの量子多体状態データセットを用いて、AQERの有効性を評価するための体系的な実験を行う。
論文 参考訳（メタデータ） (2026-02-02T14:39:42Z) - OIDA-QA: A Multimodal Benchmark for Analyzing the Opioid Industry Documents Archive [50.468138755368805]
オピオイド危機は公衆衛生にとって重要な瞬間である。
UCSF-JHU Opioid Industry Documents Archive(OIDA)に公開されているデータと文書
本稿では,文書属性に応じて元のデータセットを整理することで,この問題に対処する。
論文 参考訳（メタデータ） (2025-11-13T03:27:32Z) - Dataset of Yul Contracts to Support Solidity Compiler Research [1.0878040851637998]
YulCodeは、約135,013のユニークなコントラクトを含む348,840のYulベースのスマートコントラクトインスタンスの包括的なコレクションを提供する。
これらのコントラクトは、メインネットにデプロイされたSolidityソースファイルのコンパイルによって生成される。
YulCodeは、機械学習アプリケーションに限らず、さまざまな研究開発タスクのための豊富な基盤を提供する。
論文 参考訳（メタデータ） (2025-06-23T21:43:05Z) - OmniBOR: A System for Automatic, Verifiable Artifact Resolution across
Software Supply Chains [0.0]
OmniBORは、アーティファクト依存グラフを作成するためのビルドツールのための最小限のスキームである。
我々は,OmniBORのアーキテクチャ,基礎となるデータ表現,およびOmniBORデータを生成して構築されたソフトウェアに組み込む2つの実装を紹介する。
論文 参考訳（メタデータ） (2024-02-14T06:50:16Z) - HasTEE+ : Confidential Cloud Computing and Analytics with Haskell [50.994023665559496]
信頼性コンピューティングは、Trusted Execution Environments(TEEs)と呼ばれる特別なハードウェア隔離ユニットを使用して、コテナントクラウドデプロイメントにおける機密コードとデータの保護を可能にする。
低レベルのC/C++ベースのツールチェーンを提供するTEEは、固有のメモリ安全性の脆弱性の影響を受けやすく、明示的で暗黙的な情報フローのリークを監視するための言語構造が欠如している。
私たちは、Haskellに埋め込まれたドメイン固有言語(cla)であるHasTEE+を使って、上記の問題に対処します。
論文 参考訳（メタデータ） (2024-01-17T00:56:23Z) - Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。
我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-08T12:49:07Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。