Fugu-MT 論文翻訳(概要): Quantum Markov Chain Semantics for Quip-E Programs

論文の概要: Quantum Markov Chain Semantics for Quip-E Programs

arxiv url: http://arxiv.org/abs/2006.02847v1
Date: Thu, 4 Jun 2020 13:37:11 GMT
ステータス: 処理完了
システム内更新日: 2023-05-17 04:21:22.470258
Title: Quantum Markov Chain Semantics for Quip-E Programs
Title（参考訳）: クイップEプログラムにおける量子マルコフ連鎖解析
Authors: Linda Anticoli and Leonardo Taglialegne
Abstract要約: 量子プログラミング言語Quip-Eの断片であるQuip-EからQPMCモデルチェッカーのセマンティクスへのマッピングを提案する。主な結果として、量子マルコフ連鎖に対応するQuip-E言語の構造的操作意味論を定義する。量子プログラムをQPMCモデルチェッカーで解析する基盤として利用する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: In this work we present a mapping from a fragment of the quantum programming language Quipper, called Quip-E, to the semantics of the QPMC model checker, aiming at the automatic verification of quantum programs. As a main outcome, we define a structural operational semantics for the Quip-E language corresponding to quantum Markov chains, and we use it as a basis for analysing quantum programs through the QPMC model checker. The properties of the semantics are proved and contextualised in the development of a tool translating from quantum programs to quantum Markov chains.
Abstract（参考訳）: 本稿では、量子プログラミング言語quipperの断片であるquip-eからqpmcモデルチェッカーのセマンティクスへのマッピングを示し、量子プログラムの自動検証を目指す。結果として,量子マルコフ連鎖に対応するquip-e言語の構造的操作的意味論を定義し,qpmcモデルチェッカーによる量子プログラム解析の基礎として用いる。セマンティクスの性質は、量子プログラムから量子マルコフ連鎖への変換ツールの開発において証明され、文脈化された。

関連論文リスト

LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended) [0.0]
我々は、UNIX哲学の中核となる原理をカプセル化することを目的とした量子トランスパイラの分類学的仕様を提供する。次に量子回路分解を同定し、量子トランスパイレーションに有用であると期待する。本稿では,LinguaQuantaの実装において直面する課題について論じる。
論文参考訳（メタデータ） (2024-04-11T22:12:18Z)
The Quantum Abstract Machine [4.968520732123632]
この研究は、量子通信システムを開発するための概念ツールの必要性によって動機付けられている。本稿では、よく知られた量子回路に対応する量子抽象機械(QAM)を定義する。これは、既存の量子通信プロトコルのモデル化と推論にどのように使用されるかの例を通して示す。
論文参考訳（メタデータ） (2024-02-21T01:55:59Z)
QbC: Quantum Correctness by Construction [4.572433350229651]
提案するQuantum Correctness by Construction (QbC) は,その仕様から量子プログラムを構築するための手法である。プリコンディションとポストコンディションを使用してプログラム特性を規定し、その仕様から量子状態におけるプログラム構築のための音質および完全改善ルールを提案する。このアプローチは、プログラムの詳細を導出する方法を自然に提案し、その過程で重要な設計上の選択を強調します。
論文参考訳（メタデータ） (2023-07-28T16:00:57Z)
Qafny: A Quantum-Program Verifier [39.47005122712576]
本稿では,量子プログラムの自動検証システムであるQafnyを紹介する。 Qafnyの核心は、量子演算を古典的な配列演算に変換する型誘導量子証明システムである。我々はQafnyが量子ウォークアルゴリズム、Groverのアルゴリズム、Shorのアルゴリズムを含む重要な量子アルゴリズムを効率的に検証する方法を示す。
論文参考訳（メタデータ） (2022-11-11T18:50:52Z)
Recent Advances for Quantum Neural Networks in Generative Learning [98.88205308106778]
量子生成学習モデル(QGLM)は、古典的な学習モデルを上回る可能性がある。機械学習の観点からQGLMの現状を概観する。従来の機械学習タスクと量子物理学の両方におけるQGLMの潜在的な応用について論じる。
論文参考訳（メタデータ） (2022-06-07T07:32:57Z)
Quantum Semantic Communications for Resource-Efficient Quantum Networking [52.3355619190963]
本稿では、量子機械学習と量子意味表現の進歩を活かした新しい量子意味通信(QSC)フレームワークを提案する。提案手法は,高い量子セマンティック忠実度を達成しつつ,必要な量子通信資源の約50～75%の削減を実現する。
論文参考訳（メタデータ） (2022-05-05T03:49:19Z)
QTN-VQC: An End-to-End Learning framework for Quantum Neural Networks [71.14713348443465]
可変量子回路(VQC)上に量子埋め込みを行うためのトレーニング可能な量子テンソルネットワーク(QTN)を導入する。 QTNは、量子埋め込みの生成から出力測定まで、エンドツーエンドのパラメトリックモデルパイプライン、すなわちQTN-VQCを可能にする。 MNISTデータセットに対する我々の実験は、他の量子埋め込み手法に対する量子埋め込みに対するQTNの利点を実証している。
論文参考訳（メタデータ） (2021-10-06T14:44:51Z)
On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
そこで我々は,古典的な3つのハードラーニング問題に対処するために,QAEに基づく効果的な3つの学習プロトコルを考案した。私たちの研究は、ハード量子物理学と量子情報処理タスクを達成するための高度な量子学習アルゴリズムの開発に新たな光を当てています。
論文参考訳（メタデータ） (2021-06-29T14:01:40Z)
Facial Expression Recognition on a Quantum Computer [68.8204255655161]
量子機械学習手法を用いて表情認識の可能な解を示す。適切に定義された量子状態の振幅に符号化されたグラフの隣接行列を操作する量子回路を定義する。
論文参考訳（メタデータ） (2021-02-09T13:48:00Z)
Translation of Quantum Circuits into Quantum Turing Machines for Deutsch and Deutsch-Jozsa Problems [0.0]
量子チューリングマシン(QTM)を用いて、DeutschとDeutsch-Jozsaアルゴリズムの量子回路モデルと等価性を示す。本稿では,QTMの観点からの重ね合わせなどの量子コンピューティングの特徴について述べる。
論文参考訳（メタデータ） (2021-01-06T08:47:15Z)
On the Principles of Differentiable Quantum Programming Languages [13.070557640180004]
変分量子回路(VQC)は、最も重要な短期量子応用の1つであると予測されている。本稿では,量子回路における自己微分法の最初の形式化を提案する。
論文参考訳（メタデータ） (2020-04-02T16:46:13Z)

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