Fugu-MT 論文翻訳(概要): The Zeta Calculus

論文の概要: The Zeta Calculus

arxiv url: http://arxiv.org/abs/2303.17399v1
Date: Thu, 30 Mar 2023 14:14:16 GMT
ステータス: 処理完了
システム内更新日: 2023-03-31 13:21:22.118133
Title: The Zeta Calculus
Title（参考訳）: ゼータ計算
Authors: Nicklas Bot\"o, Fabian Forslund
Abstract要約: 本稿では,$lambda$-calculusを一般化した量子プログラミング言語を提案する。重複変数は量子データのクローニングではなく、量子ビットの状態を共有することを意味する。この言語が量子世界の高階関数をいかに表現できるかを示す。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by-nc-sa/4.0/
Abstract: We propose a quantum programming language that generalizes the $\lambda$-calculus. The language is non-linear; duplicated variables denote, not cloning of quantum data, but sharing a qubit's state; that is, producing an entangled pair of qubits whose amplitudes are identical with respect to a chosen basis. The language has two abstraction operators, $\zeta$ and $\xi$, corresponding to the Z- and X-bases; each abstraction operator is also parameterised by a phase, indicating a rotation that is applied to the input before it is shared. We give semantics for the language in the ZX-calculus and prove its equational theory sound. We show how this language can provide a good representation of higher-order functions in the quantum world.
Abstract（参考訳）: 我々は$\lambda$-calculus を一般化した量子プログラミング言語を提案する。この言語は非線形であり、重複変数は量子データのクローニングではなく、量子ビットの状態を共有することを意味する。言語には、ZベースとXベースに対応する2つの抽象演算子、$\zeta$と$\xi$があり、各抽象演算子は位相によってパラメータ化され、共有される前に入力に適用される回転を示す。 ZX-計算における言語の意味を与え、その方程式理論の音を証明する。この言語が量子世界における高次関数のよい表現を提供する方法を示す。

関連論文リスト

ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces [0.09831489366502298]
ZX計算(ZX-calculus)は、量子コンピューティングと量子情報理論のためのグラフィカル言語である。有限次元ZX-計算の完全性を証明し、混合次元Z-スパイダーとqudit X-スパイダーのみをジェネレータとして組み込む。我々のアプローチは、他のグラフィカル言語である有限次元ZW-計算の完全性に基づいており、これら2つの計算間の直接変換が可能である。
論文参考訳（メタデータ） (2024-05-17T16:35:07Z)
Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文参考訳（メタデータ） (2022-10-12T17:54:02Z)
Completeness of the ZX-calculus [0.3655021726150367]
我々は、全純量子ビット量子力学に対して、ZX-計算の最初の完全公理化を与える。これは、Quantomaticのようなソフトウェアを駆使して、自動画像量子コンピューティングの道を開くものだ。
論文参考訳（メタデータ） (2022-09-29T16:01:47Z)
Quantum teleportation in the commuting operator framework [63.69764116066747]
我々は、相対可換群 $N'cap M$ に対して、Nsubseteq M$ と tracial von Neumann algebra の大きいクラスに対する非バイアス付きテレポーテーションスキームを提示する。 N$ に対する厳密なテレポーテーションスキームは、必ずしも正則ユニタリな Pimsner-Popa 基底 $M_n(mathbbC)$ over$N'$ から生じる。
論文参考訳（メタデータ） (2022-08-02T00:20:46Z)
Qudit lattice surgery [91.3755431537592]
我々は、フォールトトレラント量子ビット計算のモデルである格子手術が、任意の有限次元量子ビットに直接一般化することを観察する。我々は、このモデルをホップ・フロベニウス代数に基づく図形言語であるZX-計算に関連付ける。
論文参考訳（メタデータ） (2022-04-27T23:41:04Z)
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits [58.720142291102135]
線形光量子回路を推論するグラフィカル言語LOv-calculusを導入する。 2つのLOv-回路が同じ量子過程を表すのは、LOv-計算の規則で一方を他方に変換できる場合に限る。
論文参考訳（メタデータ） (2022-04-25T16:59:26Z)
Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-calculus [55.2480439325792]
量子計算のコヒーレント制御は、いくつかの量子プロトコルやアルゴリズムを改善するために使用できる。我々は、量子光学にインスパイアされたコヒーレント制御のためのグラフィカル言語PBS計算を洗練する。
論文参考訳（メタデータ） (2022-02-10T18:59:52Z)
ZX-calculus for the working quantum computer scientist [0.0]
ZX-計算(ZX-calculus)は、量子計算を推論するためのグラフィカル言語である。このレビューでは、量子コンピューティングの基礎に精通した人々に適したZX計算について、穏やかに紹介する。後者のセクションでは、ZX-計算に関する文献の概要がまとめられている。
論文参考訳（メタデータ） (2020-12-27T15:54:25Z)
On a recipe for quantum graphical languages [0.0]
Z*-代数を2次元ヒルベルト空間の同型に分類し、これらが上記の計算のすべてのバリエーションであることを示す。線形関係についても同様に行い、[2] の計算が本質的に一意なものであることを示す。
論文参考訳（メタデータ） (2020-08-10T15:26:08Z)
Entanglement and Quaternions: The graphical calculus ZQ [0.0]
任意回転を表す四元数を用いたグラフ計算ZQを導入する。我々は、この計算が量子ビット量子コンピューティングにとって健全で完全であることを示し、また、完全クモベースの表現が不可能であったことも示している。
論文参考訳（メタデータ） (2020-03-22T21:34:59Z)
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations [77.34726150561087]
本稿では,量子演算のコヒーレント制御を含む量子計算を表現・推論するためにPBS計算を導入する。我々はこの言語に方程式理論を加え、それが健全で完備であることが証明された。我々は、制御された置換の実装やループのアンロールのようなアプリケーションを考える。
論文参考訳（メタデータ） (2020-02-21T16:15:58Z)

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