論文の概要: Completeness of qufinite ZXW calculus, a graphical language for
finite-dimensional quantum theory
- arxiv url: http://arxiv.org/abs/2309.13014v2
- Date: Mon, 29 Jan 2024 13:20:02 GMT
- ステータス: 処理完了
- システム内更新日: 2024-01-30 21:55:37.958048
- Title: Completeness of qufinite ZXW calculus, a graphical language for
finite-dimensional quantum theory
- Title(参考訳): 有限次元量子論のためのグラフィカル言語 qufinite zxw calculus の完全性
- Authors: Quanlong Wang, Boldizs\'ar Po\'or and Razin A. Shaikh
- Abstract要約: 有限次元量子論を推論するためのグラフィカル言語ZXW法則を導入する。
この計算の完全性は、任意の定値なZXWダイアグラムが正規形式に書き換えられることを示すことで証明する。
我々の研究は、量子物理学の包括的な図式記述の道を開き、この分野の扉を広く一般に開放する。
- 参考スコア(独自算出の注目度): 0.11049608786515838
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Finite-dimensional quantum theory serves as the theoretical foundation for
quantum information and computation. Mathematically, it is formalized in the
category FHilb, comprising all finite-dimensional Hilbert spaces and linear
maps between them. However, there has not been a graphical language for FHilb
which is both universal and complete and thus incorporates a set of rules rich
enough to derive any equality of the underlying formalism solely by rewriting.
In this paper, we introduce the qufinite ZXW calculus - a graphical language
for reasoning about finite-dimensional quantum theory. We set up a unique
normal form to represent an arbitrary tensor and prove the completeness of this
calculus by demonstrating that any qufinite ZXW diagram can be rewritten into
its normal form. This result implies the equivalence of the qufinite ZXW
calculus and the category FHilb, leading to a purely diagrammatic framework for
finite-dimensional quantum theory with the same reasoning power. In addition,
we identify several domains where the application of the qufinite ZXW calculus
holds promise. These domains include spin networks, interacting
mixed-dimensional systems in quantum chemistry, quantum programming, high-level
description of quantum algorithms, and mixed-dimensional quantum computing. Our
work paves the way for a comprehensive diagrammatic description of quantum
physics, opening the doors of this area to the wider public.
- Abstract(参考訳): 有限次元量子理論は、量子情報と計算の理論的基礎となる。
数学的には、すべての有限次元ヒルベルト空間とそれらの間の線型写像からなる圏 FHilb で定式化される。
しかし、FHilbのグラフィカル言語は普遍的かつ完全であり、したがって書き直しのみによって基礎となる形式主義の等式を導出するのに十分なルールの集合を組み込んでいる。
本稿では,有限次元量子論を推論するためのグラフィカル言語である qufinite zxw calculus を紹介する。
任意のテンソルを表す一意な正規形式を設定し、任意のクエンファイト zxw 図を正規形式に書き換えることができることを示すことにより、この計算の完全性を証明する。
この結果は、定値なZXW計算と圏 FHilb の同値性を示し、同じ推論力を持つ有限次元量子論の純粋に図式的な枠組みをもたらす。
さらに,定値ZXW計算の適用が期待できる領域を複数同定する。
これらの領域にはスピンネットワーク、量子化学、量子プログラミング、量子アルゴリズムの高レベル記述、混合次元量子コンピューティングなどが含まれる。
我々の研究は、量子物理学の包括的な図式記述の道を開き、この分野の扉を広く一般に開放する。
関連論文リスト
- Postulating the Unicity of the Macroscopic Physical World [0.0]
我々は、マクロ世界の一様性は、数学的に正当化されたり実証されたりしなければならない問題ではなく、物理学の基本的な仮定であると主張する。
これは、一般作用素代数を用いて、物理世界の数学的記述をマクロ系へ拡張することで実現される。
論文 参考訳(メタデータ) (2023-10-09T19:21:36Z) - Is there a finite complete set of monotones in any quantum resource
theory? [58.720142291102135]
すべての状態変換を完全に決定する資源単調の有限集合は存在しないことを示す。
完全順序理論はすべての純状態間の自由変換を可能にすることを示す。
論文 参考訳(メタデータ) (2022-12-05T18:28:36Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。