Fugu-MT 論文翻訳(概要): Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis

論文の概要: Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis

arxiv url: http://arxiv.org/abs/2607.12532v1
Date: Tue, 14 Jul 2026 09:06:02 GMT
ステータス: 翻訳完了
システム内更新日: 2026-07-15 17:08:30.092195
Title: Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
Title（参考訳）: 量子ウェイクストプレコンディション:期待される実行時分析のための事前予測
Abstract要約: 我々は、量子プログラムの期待実行時解析の観点から、最も弱い前提条件を再考する。本稿では,上界を必要とせずに,量子プログラムの事前条件を推論できる新しい事前探索フレームワークを提案する。
参考スコア（独自算出の注目度）: 2.236663830879273
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Quantum weakest preconditions are a fundamental tool for program verification of quantum programs. Many variations have been reported in the literature. We revisit quantum weakest preconditions from the perspective of expected runtime analysis of quantum programs and introduce a novel pre-expectation framework that enables to reason about the preconditions of quantum programs without the need of an upper bound. This is particularly interesting for quantum programs involving reward statements. The overall goal is to analyze runtime behavior even in the case of programs with potentially infinite expected runtime. This paper presents several ways to do so, e.g., a program transformation such that the expected runtime of a quantum program can be expressed using the weakest pre-expectation calculus with rewards.
Abstract（参考訳）: 量子弱プレ条件は、量子プログラムのプログラム検証の基本的なツールである。文献には様々なバリエーションが報告されている。我々は、量子プログラムの予測実行時解析の観点から、最も弱い事前条件を再検討し、上界を必要とせずに、量子プログラムの事前条件を推論できる新しい事前予測フレームワークを導入する。これは、報酬文を含む量子プログラムにとって特に興味深い。全体的な目標は、潜在的に無限に期待されるランタイムを持つプログラムであっても、実行時の振る舞いを分析することである。本稿では、例えば、量子プログラムの期待ランタイムを、最も弱い事前探索計算で表現できるようなプログラム変換を行うためのいくつかの方法を示す。

関連論文リスト

Traq: Estimating the Quantum Cost of Classical Programs [6.4091903997670245]
Traqは古典的プログラムの量子スピードアップを推定する原理的なアプローチである。量子スピードアップに対応可能な高レベルプリミティブ、コスト分析、低レベル量子プログラムへのコンパイルを含む古典的な言語で構成されている。
論文参考訳（メタデータ） (2025-09-01T14:28:49Z)
Digital quantum simulation of many-body systems: Making the most of intermediate-scale, noisy quantum computers [51.56484100374058]
この論文は量子デバイス上の量子力学をシミュレートすることを中心にしている。本稿では,量子力学における最も関連性の高い量子アルゴリズムの概要を紹介する。近い将来に量子シミュレーションの恩恵を受けることができる量子力学における関連する問題を同定する。
論文参考訳（メタデータ） (2025-08-29T10:37:19Z)
Quantum Algorithms Without Coherent Quantum Access [0.0]
ほとんどの量子スピードアップは、古典的な情報をコヒーレントな量子的にアクセスできるサブルーチンに依存している。このようなアクセスがなければ、量子コンピュータは古典的なコンピュータよりも強いものではないことが示されている。本研究では,いくつかの量子アルゴリズムの変種を開発する。
論文参考訳（メタデータ） (2025-03-04T11:24:28Z)
On Reducing the Execution Latency of Superconducting Quantum Processors via Quantum Job Scheduling [47.39648643132327]
本稿では,量子資源の利用効率を向上させるために,量子ジョブスケジューリング問題(QJSP)を導入する。本稿では、回路幅、計測ショット数、量子ジョブの提出時間に関するノイズ対応量子ジョブスケジューラ(NAQJS)を提案する。我々は,シミュレートされたカイスキットノイズモデルと,超伝導量子プロセッサのXiaohong(QuantumCTek)について広範な実験を行った。
論文参考訳（メタデータ） (2024-04-11T16:12:01Z)
Realistic Runtime Analysis for Quantum Simplex Computation [0.4407851469168588]
重要な最適化問題の現実のインスタンスを解く際に,古典的ランタイム解析のための量子アナログを提案する。現実的な問題サイズに対する現実的な量子的優位性は、現在の物理的な制限よりもかなり低い量子ゲート演算時間を必要とすることを示します。
論文参考訳（メタデータ） (2023-11-16T16:11:44Z)
Quantum data learning for quantum simulations in high-energy physics [55.41644538483948]
本研究では,高エネルギー物理における量子データ学習の実践的問題への適用性について検討する。我々は、量子畳み込みニューラルネットワークに基づくアンサッツを用いて、基底状態の量子位相を認識できることを数値的に示す。これらのベンチマークで示された非自明な学習特性の観察は、高エネルギー物理学における量子データ学習アーキテクチャのさらなる探求の動機となる。
論文参考訳（メタデータ） (2023-06-29T18:00:01Z)
Quantum Conformal Prediction for Reliable Uncertainty Quantification in Quantum Machine Learning [47.991114317813555]
量子モデルは暗黙の確率予測器を実装し、測定ショットを通じて各入力に対して複数のランダムな決定を生成する。本稿では、そのようなランダム性を利用して、モデルの不確実性を確実に捉えることができる分類と回帰の両方の予測セットを定義することを提案する。
論文参考訳（メタデータ） (2023-04-06T22:05:21Z)
Adiabatic quantum learning [0.0]
この研究は、断熱的量子進化に基づくいくつかの量子学習プロトコルを実行することを提案する。対照的に、ここで提案された断熱量子学習は、将来の断熱弱測定プロトコルと統合される可能性がある。
論文参考訳（メタデータ） (2023-03-02T07:27:29Z)
Verification of Nondeterministic Quantum Programs [1.9302781323430196]
非決定論的選択は、実装の詳細を指定せずにプログラムの振る舞いを記述する方法を提供する有用なプログラム構成である。非決定性は量子プログラミングにも導入され、非決定性量子プログラムの終了は広く分析されてきた。
論文参考訳（メタデータ） (2023-02-15T22:37:23Z)
Programming with Quantum Mechanics [0.7219077740523683]
量子コンピューティングは指数計算の高速化の新しい時代を開く新しいパラダイムである。このチュートリアルは量子コンピューティングの広い視野を提供し、数学的形式論のほとんどを抽象化し、量子プログラミング言語のKetとのハンズオンを提案している。
論文参考訳（メタデータ） (2022-10-27T14:38:42Z)
Anticipative measurements in hybrid quantum-classical computation [68.8204255655161]
量子計算を古典的な結果によって補う手法を提案する。予測の利点を生かして、新しいタイプの量子測度がもたらされる。予測量子測定では、古典計算と量子計算の結果の組み合わせは最後にのみ起こる。
論文参考訳（メタデータ） (2022-09-12T15:47:44Z)
Quantum walk processes in quantum devices [55.41644538483948]
グラフ上の量子ウォークを量子回路として表現する方法を研究する。提案手法は,量子ウォークアルゴリズムを量子コンピュータ上で効率的に実装する方法である。
論文参考訳（メタデータ） (2020-12-28T18:04:16Z)
Direct Quantum Communications in the Presence of Realistic Noisy Entanglement [69.25543534545538]
本稿では,現実的な雑音に依拠する新しい量子通信方式を提案する。性能分析の結果,提案手法は競争力のあるQBER, 利得, 利得を提供することがわかった。
論文参考訳（メタデータ） (2020-12-22T13:06:12Z)

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