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 17:09:38.561661
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: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
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の型システムの形式的処理により,形式的検証がさらに促進される可能性が示唆された。量子ホア論理以降のハイブリッド量子古典計算の進歩に注目した。

関連論文リスト

Hybrid Quantum--Classical Machine Learning Potential with Variational Quantum Circuits [0.0]
ハイブリッド量子古典アルゴリズムは、従来のニューラルネットワークと今日のノイズの多い中間スケール量子(NISQ)ハードウェア上で動作する変分量子回路(VQC)を組み合わせる。ここでは、液体シリコンの密度汎関数理論(DFT)特性を予測するためのハイブリッド量子古典的アルゴリズムに対して、純粋に古典的E(3)-equi-variant Message-passing Machine Learning potential(MLP)をベンチマークする。
論文参考訳（メタデータ） (2025-08-06T05:30:25Z)
Quantum-Centric Alchemical Free Energy Calculations [1.6741394365746018]
本研究は,本法を用いて構成相互作用(CI)シミュレーションを組み込むことで,アルケミカルフリーエネルギ(AFE)予測の精度を向上させることを目的とする。 A) PySCFバックエンドを経由して、従来のコンピューティングリソースを使用したフル構成インタラクション(FCI)、B)量子中心のサンプルベース量子対角化(SQD)ワークフローをQiskit経由で実行する。
論文参考訳（メタデータ） (2025-06-25T20:50:40Z)
qlbm -- A Quantum Lattice Boltzmann Software Framework [0.0]
我々はQBM(Quantum Lattice Boltzmann Methods)の開発、シミュレーション、解析を容易にするために設計されたPythonソフトウェアパッケージであるqlbmを提案する。 qlbmは、新しいQBMの実装に合わせて量子コンポーネントの抽象化階層を導入するモジュラーフレームワークである。自動ベンチマークユーティリティに組み込まれた複雑な境界条件を持つ2次元および3次元の複数のQBMを示すことで、ソフトウェアの汎用性を実証する。
論文参考訳（メタデータ） (2024-11-29T02:41:07Z)
Automated Verification of Silq Quantum Programs using SMT Solvers [0.0]
SilVerは、Silqで記述された量子プログラムの動作を検証する自動化ツールである。我々は,SilqプログラムとSMT証明義務のインターフェースとして,量子RAMスタイルのコンピュータをベースとしたプログラミングモデルを提案する。
論文参考訳（メタデータ） (2024-06-05T10:12:47Z)
Quantum Mixed-State Self-Attention Network [3.1280831148667105]
本稿では,自然言語処理タスクのためのQMSAN(Quantum Mixed-State Self-Attention Network)を提案する。 QMSANは混合状態に基づく量子アテンション機構を使用し、量子領域内のクエリとキー間の直接的な類似度推定を可能にする。また、回路内の固定量子ゲートを介して実装された革新的な量子位置符号化方式を提案し、追加の量子ビットリソースを使わずにシーケンス情報をキャプチャする能力を向上させる。
論文参考訳（メタデータ） (2024-03-05T11:29:05Z)
ADAPT-QSCI: Adaptive Construction of an Input State for Quantum-Selected Configuration Interaction [0.0]
量子多体ハミルトンの基底状態とそのエネルギーを計算するための量子古典ハイブリッドアルゴリズムを提案する。本手法は, ADAPT-QSCIと呼ばれ, 小分子に対して正確な基底状態エネルギーが得られることを示す。
論文参考訳（メタデータ） (2023-11-02T09:15:50Z)
Foundations of Quantum Federated Learning Over Classical and Quantum Networks [59.121263013213756]
量子フェデレーション学習(QFL)は、古典的フェデレーション学習(FL)の利点と量子技術の計算能力を統合する新しいフレームワークである。 QFLは古典的通信網と量子的通信網の両方に展開できる。
論文参考訳（メタデータ） (2023-10-23T02:56:00Z)
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)

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