論文の概要: Concrete Categorical Model of a Quantum Circuit Description Language
with Measurement
- arxiv url: http://arxiv.org/abs/2110.02691v1
- Date: Wed, 6 Oct 2021 12:29:03 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-12 08:19:26.648923
- Title: Concrete Categorical Model of a Quantum Circuit Description Language
with Measurement
- Title（参考訳）: 計測を用いた量子回路記述言語の具体的分類モデル
- Authors: Dongho Lee, Valentin Perrelle, Beno\^it Valiron and Zhaowei Xu
- Abstract要約: 量子回路記述言語に動的リフトを導入する。
本稿では,言語に対する型システムと操作意味論を提案し,安全性特性を述べる。
提案手法は,量子メモリから古典的コンテンツを抽出する作用の副作用として,Kleisli圏を計測した回路の具体的なカテゴリ上に構築することである。
- 参考スコア（独自算出の注目度）: 7.439160287320074
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this paper, we introduce dynamic lifting to a quantum circuit-description
language, following the Proto-Quipper language approach. Dynamic lifting allows
programs to transfer the result of measuring quantum data -- qubits -- into
classical data -- booleans -- . We propose a type system and an operational
semantics for the language and we state safety properties. Next, we introduce a
concrete categorical semantics for the proposed language, basing our approach
on a recent model from Rios\&Selinger for Proto-Quipper-M. Our approach is to
construct on top of a concrete category of circuits with measurements a Kleisli
category, capturing as a side effect the action of retrieving classical content
out of a quantum memory. We then show a soundness result for this semantics.
- Abstract（参考訳）: 本稿では,量子回路記述言語に対して,proto-quipper言語アプローチに従って動的浮揚を導入する。
動的リフティングにより、プログラムは量子データ -- 量子ビット -- を古典データ -- ブールデータ -- に転送することができる。
本稿では,言語に対する型システムと操作意味論を提案し,安全性特性を述べる。
次に,Rios\&Selinger for Proto-Quipper-Mの最近のモデルに基づく,提案言語のための具体的な分類的セマンティクスを提案する。
提案手法は,量子メモリから古典的コンテンツを抽出する作用の副作用として,Kleisli圏を計測した回路の具体的なカテゴリ上に構築することである。
次に、この意味論の健全性結果を示す。
関連論文リスト
- Hybrid Quantum-Classical Machine Learning with String Diagrams [49.1574468325115]
本稿では,文字列ダイアグラムの観点からハイブリッドアルゴリズムを記述するための公式なフレームワークを開発する。
弦図の特筆すべき特徴は、量子古典的インタフェースに対応する関手ボックスの使用である。
論文 参考訳（メタデータ） (2024-07-04T06:37:16Z) - The Quantum Monadology [0.0]
関数型プログラミング言語の現代の理論は、計算サイドエフェクトとサイドコンテキストを符号化するためにモナドを使用する。
我々はGrothendieckの「操作のモチベーションヨガ」によって誘導されるパラメータ化モジュールスペクトルのカテゴリ上での(co)モナドの分析を行う。
本稿では、これらのモナディック量子効果を透明なdo-notationで表現したドメイン固有量子プログラミング言語(QS)を示す。
論文 参考訳（メタデータ） (2023-10-24T11:19:24Z) - The Min-Entropy of Classical-Quantum Combs for Measurement-Based
Applications [0.5999777817331317]
古典量子コム(classical-quantum combs)と呼ばれる古典量子状態の一般化を用いて,マルチラウンド学習プロセスを定式化する。
我々は,測定ベース量子計算(MBQC)と関連する応用から導かれる一連の問題に注目する。
論文 参考訳（メタデータ） (2022-12-01T15:01:19Z) - A didactic approach to quantum machine learning with a single qubit [68.8204255655161]
我々は、データ再ロード技術を用いて、単一のキュービットで学習するケースに焦点を当てる。
我々は、Qiskit量子コンピューティングSDKを用いて、おもちゃと現実世界のデータセットに異なる定式化を実装した。
論文 参考訳（メタデータ） (2022-11-23T18:25:32Z) - A Quantum Kernel Learning Approach to Acoustic Modeling for Spoken
Command Recognition [69.97260364850001]
本稿では,量子カーネル学習(QKL)フレームワークを提案する。
古典的-量子的特徴符号化に基づく音響特性を計画する。
論文 参考訳（メタデータ） (2022-11-02T16:46:23Z) - Anticipative measurements in hybrid quantum-classical computation [68.8204255655161]
量子計算を古典的な結果によって補う手法を提案する。
予測の利点を生かして、新しいタイプの量子測度がもたらされる。
予測量子測定では、古典計算と量子計算の結果の組み合わせは最後にのみ起こる。
論文 参考訳（メタデータ） (2022-09-12T15:47:44Z) - A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic
Lifting [0.0]
QuipperとProto-Quipperは量子プログラミング言語のファミリーである。
クイッパーとプロト・クイッパーは、プログラムが回路を生成する1つと、回路が実行される1つのランタイムを含む。
論文 参考訳（メタデータ） (2022-04-27T16:33:06Z) - On Dynamic Lifting and Effect Typing in Circuit Description Languages
(Extended Version) [0.0]
本稿では,量子回路記述言語Quipperの中核となる特徴をモデル化したパラダイム計算Proto-Quipper-Mの一般化を紹介する。
この拡張はProto-Quipper-Kと呼ばれ、非常に一般的なダイナミックリフトを捉えることを目的としている。
論文 参考訳（メタデータ） (2022-02-15T18:33:41Z) - From geometry to coherent dissipative dynamics in quantum mechanics [68.8204255655161]
有限レベル系の場合、対応する接触マスター方程式で示される。
2レベル系の量子崩壊をコヒーレントかつ連続的な過程として記述する。
論文 参考訳（メタデータ） (2021-07-29T18:27:38Z) - Quantum Information Effects [0.0]
量子計算における情報量を操作するために、2つの二重量子情報効果(隠れと割り当て)について検討する。
結果の型と効果のシステムは、測定を含む不可逆的な量子コンピューティングに対して完全に表現可能である。
論文 参考訳（メタデータ） (2021-07-26T12:21:42Z) - Facial Expression Recognition on a Quantum Computer [68.8204255655161]
量子機械学習手法を用いて表情認識の可能な解を示す。
適切に定義された量子状態の振幅に符号化されたグラフの隣接行列を操作する量子回路を定義する。
論文 参考訳（メタデータ） (2021-02-09T13:48:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。