Fugu-MT 論文翻訳(概要): Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0

論文の概要: Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0

arxiv url: http://arxiv.org/abs/2412.12578v1
Date: Tue, 17 Dec 2024 06:13:31 GMT
ステータス: 翻訳完了
システム内更新日: 2024-12-18 13:57:19.210248
Title: Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
Title（参考訳）: OpenQASM 3.0互換QASM-TS 2.0によるハイブリッド量子古典計算の検証と形式化
Authors: Sean Kim, Marcus Edwards,
Abstract要約: TypeScriptに型付きQASM 3.0を実装し、検証と検証ソフトウェアの実装を可能にします。型理論表記法におけるOpenQASM 3.0の型システムの形式的処理は、さらなる形式的検証を促進する可能性がある。
参考スコア（独自算出の注目度）: 0.0
License:
Abstract: The unique features of the hybrid quantum-classical computing model implied by the specification of OpenQASM 3.0 motivate new approaches to quantum program verification. We implement a typed QASM 3.0 parser in TypeScript to enable implementations of verification and validation software, compilers and more. We also propose that a formal treatment of OpenQASM 3.0's type system in type theory notation may further facilitate formal verification. We highlight advancements in hybrid quantum-classical computing since the Quantum Hoare Logic to this end.
Abstract（参考訳）: OpenQASM 3.0の仕様によって示唆されたハイブリッド量子古典計算モデルのユニークな特徴は、量子プログラム検証に対する新しいアプローチを動機付けている。 TypeScriptに型付きQASM 3.0パーサを実装し、検証および検証ソフトウェアやコンパイラの実装を可能にします。また,型理論表記法におけるOpenQASM 3.0の型システムの形式的処理により,形式的検証がさらに促進される可能性が示唆された。量子ホア論理以降のハイブリッド量子古典計算の進歩に注目した。

関連論文リスト

Automated Verification of Silq Quantum Programs using SMT Solvers [0.0]
SilVerは、Silqで記述された量子プログラムの動作を検証する自動化ツールである。我々は,SilqプログラムとSMT証明義務のインターフェースとして,量子RAMスタイルのコンピュータをベースとしたプログラミングモデルを提案する。
論文参考訳（メタデータ） (2024-06-05T10:12:47Z)
ADAPT-QSCI: Adaptive Construction of an Input State for Quantum-Selected Configuration Interaction [0.0]
量子多体ハミルトンの基底状態とそのエネルギーを計算するための量子古典ハイブリッドアルゴリズムを提案する。本手法は, ADAPT-QSCIと呼ばれ, 小分子に対して正確な基底状態エネルギーが得られることを示す。
論文参考訳（メタデータ） (2023-11-02T09:15:50Z)
Delegated variational quantum algorithms based on quantum homomorphic encryption [69.50567607858659]
変分量子アルゴリズム(VQA)は、量子デバイス上で量子アドバンテージを達成するための最も有望な候補の1つである。クライアントのプライベートデータは、そのような量子クラウドモデルで量子サーバにリークされる可能性がある。量子サーバが暗号化データを計算するための新しい量子ホモモルフィック暗号(QHE)スキームが構築されている。
論文参考訳（メタデータ） (2023-01-25T07:00:13Z)
Evolutionary-based quantum architecture search [0.0]
本稿では,高い表現力と訓練能力のバランスをとるために,進化型量子アーキテクチャ探索(EQAS)手法を提案する。その結果,提案したEQASはパラメータ化の少ない最適なQCAを探索でき,より高い精度は3つのデータセットの分類タスクにEQASを適用して得られることがわかった。
論文参考訳（メタデータ） (2022-12-01T10:51:58Z)
QSAN: A Near-term Achievable Quantum Self-Attention Network [73.15524926159702]
SAM(Self-Attention Mechanism)は機能の内部接続を捉えるのに長けている。短期量子デバイスにおける画像分類タスクに対して,新しい量子自己注意ネットワーク(QSAN)を提案する。
論文参考訳（メタデータ） (2022-07-14T12:22:51Z)
Open Source Variational Quantum Eigensolver Extension of the Quantum Learning Machine (QLM) for Quantum Chemistry [0.0]
我々は,化学に着想を得た適応手法の使用と開発のための新しいオープンソースQCパッケージ,Open-VQEを紹介した。 Atos Quantum Learning Machine (QLM)は、コンピュータプログラムを記述、最適化できる汎用プログラミングフレームワークである。 OpenVQEとともに、新しいオープンソースモジュールであるmyQLMFermion(QC開発において重要な重要なQLMリソースを含む)を紹介します。
論文参考訳（メタデータ） (2022-06-17T14:24:22Z)
When BERT Meets Quantum Temporal Convolution Learning for Text Classification in Heterogeneous Computing [75.75419308975746]
本研究は,変分量子回路に基づく垂直連合学習アーキテクチャを提案し,テキスト分類のための量子化事前学習BERTモデルの競争性能を実証する。目的分類実験により,提案したBERT-QTCモデルにより,SnipsおよびATIS音声言語データセットの競合実験結果が得られた。
論文参考訳（メタデータ） (2022-02-17T09:55:21Z)
On exploring the potential of quantum auto-encoder for learning quantum systems [60.909817434753315]
そこで我々は,古典的な3つのハードラーニング問題に対処するために,QAEに基づく効果的な3つの学習プロトコルを考案した。私たちの研究は、ハード量子物理学と量子情報処理タスクを達成するための高度な量子学習アルゴリズムの開発に新たな光を当てています。
論文参考訳（メタデータ） (2021-06-29T14:01:40Z)
Error mitigation and quantum-assisted simulation in the error corrected regime [77.34726150561087]
量子コンピューティングの標準的なアプローチは、古典的にシミュレート可能なフォールトトレラントな演算セットを促進するという考え方に基づいている。量子回路の古典的準確率シミュレーションをどのように促進するかを示す。
論文参考訳（メタデータ） (2021-03-12T20:58:41Z)
A MLIR Dialect for Quantum Assembly Languages [78.8942067357231]
量子コンピューティングにおけるMLIR(Multi-Level Intermediate Representation)の有用性を実証する。我々は、共通量子集合言語の表現とコンパイルを可能にする新しい量子方言でMLIRを拡張した。我々はQIR量子ランタイムAPIのqcor対応実装を活用して、再ターゲット可能な(量子ハードウェアに依存しない)コンパイラワークフローを実現する。
論文参考訳（メタデータ） (2021-01-27T13:00:39Z)
Quantum Hoare Type Theory [0.0]
量子ホア型理論(Quantum Hoare Type Theory, QHTT)は、古典計算におけるホア型理論に触発された理論である。 QHTTは、量子状態の変更に関する正確な仕様を提供する。
論文参考訳（メタデータ） (2020-12-03T18:41:08Z)

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