論文の概要: 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 を紹介する。
我々は、有限次元量子論の計算を完結させる一連の書き換え規則と一意な正規形式を提供する。
この研究は、量子化学、コンパイル、量子多体システムを含む量子コンピューティングのさまざまな領域に現れる混合次元回路とテンソルネットワークの最適化の道を開いた。
関連論文リスト
- Quantum Probability Geometrically Realized in Projective Space [0.0]
本稿では、与えられた量子系の複素ヒルベルト空間に関連する射影空間に全ての量子確率公式を渡すことを目的とする。
アップショットは、量子論は射影部分空間の確率論であり、または同等に、量子事象の確率論であるということである。
論文 参考訳(メタデータ) (2024-10-23T20:29:15Z) - An explicit tensor notation for quantum computing [0.0]
本稿では,量子計算の複雑さを記述することを目的としたフォーマリズムを紹介する。
焦点は、複数の量子ビットとそれらを操作する量子ゲートに対して、量子状態の包括的な表現を提供することである。
論文 参考訳(メタデータ) (2024-09-16T17:21:17Z) - Absolute dimensionality of quantum ensembles [41.94295877935867]
量子状態の次元は、伝統的に与えられた基底において重畳される区別可能な状態の数と見なされる。
量子状態のアンサンブルに対する絶対的、すなわち基底に依存しない次元の概念を提案する。
論文 参考訳(メタデータ) (2024-09-03T09:54:15Z) - 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) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。