論文の概要: Completeness of qufinite ZXW calculus, a graphical language for
mixed-dimensional quantum computing
- arxiv url: http://arxiv.org/abs/2309.13014v1
- Date: Fri, 22 Sep 2023 17:23:58 GMT
- ステータス: 処理完了
- システム内更新日: 2023-09-25 13:40:04.024134
- Title: Completeness of qufinite ZXW calculus, a graphical language for
mixed-dimensional quantum computing
- Title(参考訳): 混合次元量子計算のためのグラフィカル言語 qufinite zxw calculus の完全性
- Authors: Quanlong Wang and Boldizs\'ar Po\'or
- Abstract要約: 我々は、混合次元量子コンピューティングのための単一のフレームワークにおいて、全てのqudit ZXW計算を統一した定値ZXW計算を導入する。
我々は、有限次元の量子論のために計算を完全化する一意の正規形式と書き直し規則のセットを提供する。
- 参考スコア(独自算出の注目度): 0.13053649021965597
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Finite-dimensional quantum theory serves as the theoretical foundation for
quantum information and computation based on 2-dimensional qubits,
d-dimensional qudits, and their interactions. The qufinite ZX calculus has been
used as a framework for mixed-dimensional quantum computing; however, it lacked
the crucial property of completeness, which ensures that the calculus
incorporates a set of rules rich enough to prove any equation. The ZXW calculus
is a complete language for qudit quantum computing with applications previously
unreachable solely with the ZX or ZW calculus. In this paper, we introduce the
qufinite ZXW calculus, a unification of all qudit ZXW calculi in a single
framework for mixed-dimensional quantum computing. We provide a set of rewrite
rules and a unique normal form that make the calculus complete for
finite-dimensional quantum theory. This work paves the way for the optimization
of mixed dimensional circuits and tensor networks appearing in different areas
of quantum computing including quantum chemistry, compilation, and quantum
many-body systems.
- Abstract(参考訳): 有限次元量子理論は、2次元量子ビット、d次元量子ビットとその相互作用に基づく量子情報と計算の理論的基礎となる。
定規のZX計算は混合次元量子コンピューティングの枠組みとして使われてきたが、完全性の重要な性質に欠けており、任意の方程式を証明するのに十分なルールが組み込まれている。
ZXW計算(ZXW calculus)は、チューイット量子コンピューティングのための完全な言語であり、これまではZXまたはZW計算のみでは適用できない。
本稿では,混合次元量子計算のための1つのフレームワークにおいて,すべてのqudit zxw計算の統一化である qufinite zxw calculus を紹介する。
我々は、有限次元量子論の計算を完結させる一連の書き換え規則と一意な正規形式を提供する。
この研究は、量子化学、コンパイル、量子多体システムを含む量子コンピューティングのさまざまな領域に現れる混合次元回路とテンソルネットワークの最適化の道を開いた。
関連論文リスト
- Postulating the Unicity of the Macroscopic Physical World [0.0]
我々は、マクロ世界の一様性は、数学的に正当化されたり実証されたりしなければならない問題ではなく、物理学の基本的な仮定であると主張する。
これは、一般作用素代数を用いて、物理世界の数学的記述をマクロ系へ拡張することで実現される。
論文 参考訳(メタデータ) (2023-10-09T19:21:36Z) - Quantum Circuit Completeness: Extensions and Simplifications [44.99833362998488]
量子回路に関する最初の完全な方程式理論は、最近導入されたばかりである。
我々は方程式理論を単純化し、いくつかの規則が残りの規則から導出されることを証明した。
完全な方程式理論は、アンシラやクビットの破棄を伴う量子回路に拡張することができる。
論文 参考訳(メタデータ) (2023-03-06T13:31:27Z) - No-signalling constrains quantum computation with indefinite causal
structure [45.279573215172285]
我々は、不定因果構造を持つ量子計算の定式化を開発する。
我々は高階量子マップの計算構造を特徴付ける。
計算的および情報理論的な性質を持つこれらの規則は、量子システム間のシグナル伝達関係のより物理的概念によって決定される。
論文 参考訳(メタデータ) (2022-02-21T13:43:50Z) - Quantum realism: axiomatization and quantification [77.34726150561087]
我々は、量子リアリズムの公理化(量子論と相容れないリアリズムの概念)を構築する。
提案された公理のほとんどすべてを満たすことを示すエントロピー量化器のクラスを明示的に構成する。
論文 参考訳(メタデータ) (2021-10-10T18:08:42Z) - Quantum Measurement Theory for Systems with Finite Dimensional State
Spaces [0.0]
量子力学の基本的な仮定から導出的に理論を発展させる。
物理的に実現可能な全ての有限量子測定の公理的特性を導出する。
論文 参考訳(メタデータ) (2021-10-07T07:09:38Z) - A computer scientist's reconstruction of quantum theory [1.52292571922932]
無限次元系を含む量子論の構成的再構成を提案する。
この再構成は3つの理由から注目に値する: 系の次元に制限は含まれず、古典的、量子的、混合的なシステムの両方が可能であり、実数(または複素数)の構造に対する事前参照をしない。
論文 参考訳(メタデータ) (2021-09-22T12:58:20Z) - The Ultraviolet Structure of Quantum Field Theories. Part 1: Quantum
Mechanics [0.0]
本稿では,格子-連続対応の体系的構築において,オープニングサーボを発射する。
焦点は(0+1)Dの場の量子論、すなわち量子力学である。
論文 参考訳(メタデータ) (2021-05-24T18:00:06Z) - Generalized Probabilistic Theories in a New Light [0.0]
宇宙がなぜ古典的ではなく量子力学的なのかという疑問に対する新たな答えが提示される。
この論文は、宇宙が出現する決定論的レベルがまだ存在する可能性を示している。
論文 参考訳(メタデータ) (2021-03-08T21:28:19Z) - Preferred basis, decoherence and a quantum state of the Universe [77.34726150561087]
我々は、量子理論と量子宇宙論の基礎における多くの問題をレビューする。
これらの問題は、H.D. Zehの科学的遺産の一部と見なすことができる。
論文 参考訳(メタデータ) (2020-06-28T18:07:59Z) - From a quantum theory to a classical one [117.44028458220427]
量子対古典的交叉を記述するための形式的アプローチを提示し議論する。
この手法は、1982年にL. Yaffeによって、大きな$N$の量子場理論に取り組むために導入された。
論文 参考訳(メタデータ) (2020-04-01T09:16:38Z) - PBS-Calculus: A Graphical Language for Coherent Control of Quantum
Computations [77.34726150561087]
本稿では,量子演算のコヒーレント制御を含む量子計算を表現・推論するためにPBS計算を導入する。
我々はこの言語に方程式理論を加え、それが健全で完備であることが証明された。
我々は、制御された置換の実装やループのアンロールのようなアプリケーションを考える。
論文 参考訳(メタデータ) (2020-02-21T16:15:58Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。