論文の概要: The Many-Worlds Calculus
- arxiv url: http://arxiv.org/abs/2206.10234v2
- Date: Wed, 3 Aug 2022 14:44:15 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-08 12:51:05.873705
- Title: The Many-Worlds Calculus
- Title(参考訳): The many-Worlds Calculus
- Authors: Kostia Chardonnet, Marc de Visme, Beno\^it Valiron, Renaud Vilmart
- Abstract要約: 本稿では,バイプロダクティビティを持つコンパクトなカテゴリをベースとした,量子計算のための新しい型付きグラフィカル言語を提案する。
我々の言語は、量子制御をサポートする自然なフレームワークを提供しながら、ZX計算や量子回路のような既存のアプローチを一般化する。
この言語は線形応用に基づく意味論と方程式理論を備えている。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We propose a new typed graphical language for quantum computation, based on
compact categories with biproducts. Our language generalizes existing
approaches such as ZX-calculus and quantum circuits, while offering a natural
framework to support quantum control: it natively supports "quantum tests". The
language comes equipped with a denotational semantics based on linear
applications, and an equational theory. Through the use of normal forms for the
diagrams, we prove the language to be universal, and the equational theory to
be complete with respect to the semantics.
- Abstract(参考訳): 双積を持つコンパクトなカテゴリに基づく量子計算のための新しい型付きグラフィカル言語を提案する。
我々の言語は、ZX計算や量子回路といった既存のアプローチを一般化し、量子制御をサポートする自然なフレームワークを提供する。
この言語には、線形応用に基づく表記意味論と方程式理論が備わっている。
図形の正規形式を用いることで、言語が普遍的であること、および方程式理論が意味論に関して完備であることを証明する。
関連論文リスト
- Completeness of qufinite ZXW calculus, a graphical language for
finite-dimensional quantum theory [0.11049608786515838]
有限次元量子論を推論するためのグラフィカル言語ZXW法則を導入する。
この計算の完全性は、任意の定値なZXWダイアグラムが正規形式に書き換えられることを示すことで証明する。
我々の研究は、量子物理学の包括的な図式記述の道を開き、この分野の扉を広く一般に開放する。
論文 参考訳(メタデータ) (2023-09-22T17:23:58Z) - Qudit lattice surgery [91.3755431537592]
我々は、フォールトトレラント量子ビット計算のモデルである格子手術が、任意の有限次元量子ビットに直接一般化することを観察する。
我々は、このモデルをホップ・フロベニウス代数に基づく図形言語であるZX-計算に関連付ける。
論文 参考訳(メタデータ) (2022-04-27T23:41:04Z) - Qunity: A Unified Language for Quantum and Classical Computing (Extended
Version) [3.5348690973777006]
量子プログラミング言語Quinityを紹介します。
Qunityは量子コンピューティングを古典コンピューティングの自然な一般化として扱う。
我々はQunityがいくつかの量子アルゴリズムをきれいに表現する方法を示す。
論文 参考訳(メタデータ) (2022-04-26T15:34:22Z) - LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits [58.720142291102135]
線形光量子回路を推論するグラフィカル言語LOv-calculusを導入する。
2つのLOv-回路が同じ量子過程を表すのは、LOv-計算の規則で一方を他方に変換できる場合に限る。
論文 参考訳(メタデータ) (2022-04-25T16:59:26Z) - LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
本稿では,複合量子システムにおける情報フローの推論のための動的論理形式について紹介する。
本稿では,この論理の文法,関係意味論,音響証明システムについて述べる。
アプリケーションとしては,テレポーテーションプロトコルと標準量子秘密共有プロトコルに対して,正式な正当性を与えるために,我々のシステムを利用する。
論文 参考訳(メタデータ) (2021-10-04T12:20:23Z) - Quantifying Qubit Magic Resource with Gottesman-Kitaev-Preskill Encoding [58.720142291102135]
我々は、ほとんどのフォールトトレラント量子コンピュータにおいて、魔法のリソース測度、探索特性を定義する。
我々の定式化は、連続変数量子計算におけるボソニック符号、よく研究されたツールに基づいている。
論文 参考訳(メタデータ) (2021-09-27T12:56:01Z) - The Logic of Quantum Programs [77.34726150561087]
本稿では,量子プログラムにおける情報フローの論理計算について述べる。
特に、複素量子系における量子測定、ユニタリ進化、絡み合いを扱うことができる動的論理を導入する。
論文 参考訳(メタデータ) (2021-09-14T16:08:37Z) - Foundations for Near-Term Quantum Natural Language Processing [0.17205106391379021]
量子自然言語処理(QNLP)の概念と数学的基礎を提供する。
自然言語の量子モデルがどのように言語的意味と豊かな言語構造を正準的に組み合わせているかを思い出す。
実証的エビデンスと数学一般性に関する正式な記述を支援するための参照を提供します。
論文 参考訳(メタデータ) (2020-12-07T14:49:33Z) - Linear Dependent Type Theory for Quantum Programming Languages [1.7166794984161973]
現代の量子プログラミング言語は、量子資源と古典的な制御を統合している。
それらは量子資源の非閉性を反映するために線形型付けされなければならない。
高水準および実用的な言語は、第一級市民として量子回路もサポートすべきである。
論文 参考訳(メタデータ) (2020-04-28T13:11:06Z) - PBS-Calculus: A Graphical Language for Coherent Control of Quantum
Computations [77.34726150561087]
本稿では,量子演算のコヒーレント制御を含む量子計算を表現・推論するためにPBS計算を導入する。
我々はこの言語に方程式理論を加え、それが健全で完備であることが証明された。
我々は、制御された置換の実装やループのアンロールのようなアプリケーションを考える。
論文 参考訳(メタデータ) (2020-02-21T16:15:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。