Fugu-MT 論文翻訳(概要): Bayesian Inference in Quantum Programs

論文の概要: Bayesian Inference in Quantum Programs

arxiv url: http://arxiv.org/abs/2504.20732v1
Date: Tue, 29 Apr 2025 13:15:54 GMT
ステータス: 翻訳完了
システム内更新日: 2025-05-02 19:15:54.897941
Title: Bayesian Inference in Quantum Programs
Title（参考訳）: 量子プログラムにおけるベイズ推論
Authors: Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen,
Abstract要約: 本稿では条件付き量子時変言語について述べる。無限次元ヒルベルト空間上の意味論的および操作的意味論を定義する。 w(l)p-変換器は、量子プログラムに対するベイズ推定の効果を評価するのにどのように使うことができるかを示す。
参考スコア（独自算出の注目度）: 0.21847754147782888
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Conditioning is a key feature in probabilistic programming to enable modeling the influence of data (also known as observations) to the probability distribution described by such programs. Determining the posterior distribution is also known as Bayesian inference. This paper equips a quantum while-language with conditioning, defines its denotational and operational semantics over infinite-dimensional Hilbert spaces, and shows their equivalence. We provide sufficient conditions for the existence of weakest (liberal) precondition-transformers and derive inductive characterizations of these transformers. It is shown how w(l)p-transformers can be used to assess the effect of Bayesian inference on (possibly diverging) quantum programs.
Abstract（参考訳）: 条件付けは確率計画において重要な特徴であり、そのようなプログラムによって記述される確率分布に対するデータ(観測とも呼ばれる)の影響をモデル化することができる。後部分布を決定することはベイズ推論(Bayesian inference)とも呼ばれる。本稿では,量子時相言語に条件付けを加え,無限次元ヒルベルト空間上の意味論と操作意味論を定義し,その等価性を示す。我々は、最も弱い(自由な)事前条件変換器の存在に対する十分な条件を提供し、これらの変換器の帰納的特性を導出する。 w(l)p-変換器は、量子プログラムに対するベイズ推定の効果を評価するのにどのように使うことができるかを示す。

関連論文リスト

Variational Transformer Ansatz for the Density Operator of Steady States in Dissipative Quantum Many-Body Systems [44.598178952679575]
本稿では、散逸性量子多体系の定常状態を決定するための変圧器密度演算子アンサッツを提案する。散逸性イジングとハイゼンベルクスピンチェーンモデルの定常状態を数値計算することで,本手法の有効性を実証する。
論文参考訳（メタデータ） (2025-02-28T05:12:43Z)
Embezzling entanglement from quantum fields [41.94295877935867]
絡み合いの埋め込みは、補助系の参照状態から絡み合った量子状態を抽出する直感的な可能性を指す。エンベジングエンタングルメントの操作タスクとフォン・ノイマン代数の数学的分類との深い関係を明らかにする。
論文参考訳（メタデータ） (2024-01-14T13:58:32Z)
Refinement calculus of quantum programs with projective assertions [5.151896714190243]
本稿では,量子プログラムに適した微積分法を提案する。まず、量子内における非決定論的プログラムの部分的正当性について検討する。また,ポストコンディションを最も弱いリベラルなポストコンディションに変換する際のセマンティクスも提示する。
論文参考訳（メタデータ） (2023-11-23T22:12:57Z)
Quantum Conformal Prediction for Reliable Uncertainty Quantification in Quantum Machine Learning [47.991114317813555]
量子モデルは暗黙の確率予測器を実装し、測定ショットを通じて各入力に対して複数のランダムな決定を生成する。本稿では、そのようなランダム性を利用して、モデルの不確実性を確実に捉えることができる分類と回帰の両方の予測セットを定義することを提案する。
論文参考訳（メタデータ） (2023-04-06T22:05:21Z)
Quantum Bayesian Inference in Quasiprobability Representations [0.0]
ベイズの法則は情報や物理科学においても重要な論理的推論を担っている。ベイズの規則の量子バージョンはヒルベルト空間の言語で表現されている。
論文参考訳（メタデータ） (2023-01-05T08:16:50Z)
Filter functions for the Glauber-Sudarshan $P$-function regularization [0.0]
グラウバー・スダルシャン関数を正規化するために導入されたフィルタ関数について検討する。フィルタ関数に付随する量子写像は完全に正でトレース保存的であることを示す。本稿では,未知の量子過程の出力状態を推定する手法を提案する。
論文参考訳（メタデータ） (2022-06-11T19:29:22Z)
The vacuum provides quantum advantage to otherwise simulatable architectures [49.1574468325115]
理想のゴッテマン・キタエフ・プレスキル安定化状態からなる計算モデルを考える。測定結果の確率密度関数を計算するアルゴリズムを提案する。
論文参考訳（メタデータ） (2022-05-19T18:03:17Z)
Stochastic approximate state conversion for entanglement and general quantum resource theories [41.94295877935867]
量子資源理論における重要な問題は、量子状態が互いに変換される方法を決定することである。確率変換と近似変換の間の中間状態について、非常に少ない結果が提示されている。これらの境界は確率変換の下での様々な状態のクラスに対する値の上限であることを示す。また、単一コピー境界の決定論的バージョンは、量子チャネルの操作の制限を引くためにも適用可能であることを示す。
論文参考訳（メタデータ） (2021-11-24T17:29:43Z)
Bosonic field digitization for quantum computers [62.997667081978825]
我々は、離散化された場振幅ベースで格子ボゾン場の表現に対処する。本稿では,エラースケーリングを予測し,効率的な量子ビット実装戦略を提案する。
論文参考訳（メタデータ） (2021-08-24T15:30:04Z)
Facial Expression Recognition on a Quantum Computer [68.8204255655161]
量子機械学習手法を用いて表情認識の可能な解を示す。適切に定義された量子状態の振幅に符号化されたグラフの隣接行列を操作する量子回路を定義する。
論文参考訳（メタデータ） (2021-02-09T13:48:00Z)
Quasi-probability distributions in Loop Quantum Cosmology [0.0]
位相空間とその対応するワイル量子化写像におけるパラメトリック化準確率分布の完全族を導入する。この結果は、ループ量子宇宙論プログラムにおけるいくつかの基本的な側面を分析するのに役立つと期待している。
論文参考訳（メタデータ） (2020-07-02T18:05:32Z)
Efficient simulatability of continuous-variable circuits with large Wigner negativity [62.997667081978825]
ウィグナー負性性は、いくつかの量子計算アーキテクチャにおいて計算上の優位性に必要な資源であることが知られている。我々は、大きく、おそらくは有界で、ウィグナー負性を示し、しかし古典的に効率的にシミュレートできる回路の広大な族を同定する。我々は,高次元離散可変量子回路のシミュラビリティとボソニック符号とのリンクを確立することにより,本結果の導出を行う。
論文参考訳（メタデータ） (2020-05-25T11:03:42Z)
Variational Inference as Iterative Projection in a Bayesian Hilbert Space with Application to Robotic State Estimation [14.670851095242451]
変分ベイズ推論は統計学からロボット工学への応用を見つける重要な機械学習ツールである。 KLの発散に基づく変分推論は、ユークリッドの意味では、選択された近似族に対応する部分空間へのベイズ後方の反復射影に等しいことを示す。
論文参考訳（メタデータ） (2020-05-14T21:33:31Z)

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