論文の概要: Complete ZX-calculi for the stabiliser fragment in odd prime dimensions
- arxiv url: http://arxiv.org/abs/2204.12531v2
- Date: Wed, 6 Jul 2022 10:32:03 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-15 11:45:27.267595
- Title: Complete ZX-calculi for the stabiliser fragment in odd prime dimensions
- Title(参考訳): 奇素次元安定化器フラグメントに対する完全ZX-計算
- Authors: Robert I. Booth, Titouan Carette
- Abstract要約: 我々は、奇素次元の量子論の安定化器の断片を公理化するZX-計算の族を紹介する。
これらの電卓は、以前の高次元システムの提案で失われていた量子ビットZX-電卓の優れた特徴の多くを回復する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce a family of ZX-calculi which axiomatise the stabiliser fragment
of quantum theory in odd prime dimensions. These calculi recover many of the
nice features of the qubit ZX-calculus which were lost in previous proposals
for higher-dimensional systems. We then prove that these calculi are complete,
i.e. provide a set of rewrite rules which can be used to prove any equality of
stabiliser quantum operations. Adding a discard construction, we obtain a
calculus complete for mixed state stabiliser quantum mechanics in odd prime
dimensions, and this furthermore gives a complete axiomatisation for the
related diagrammatic language for affine co-isotropic relations.
- Abstract(参考訳): 奇素次元における量子論の安定化断片を公理化するZX-計算の族を導入する。
これらの計算は、以前の高次元系に対する提案で失われた量子ビット zx-計算の多くの優れた特徴を回復する。
すると、これらの計算が完全であることを証明し、すなわち、安定化器量子演算の等式を証明するために使用できる一連の書き換え規則を提供する。
廃棄構造を付加すると、奇数素数次元の混合状態スタビリサー量子力学のための計算式が完成し、さらにアフィン共等方関係の関連ダイアグラム言語に対する完全な公理化を与える。
関連論文リスト
- A unified approach to quantum de Finetti theorems and SoS rounding via geometric quantization [0.0]
我々は、量子デ・フィネッティの定理に関連するSOS階層のエルミート版の間の関係について研究する。
従来のHSoSラウンドリングアルゴリズムは,対象関数の定量化として再キャスト可能であることを示す。
論文 参考訳(メタデータ) (2024-11-06T17:09:28Z) - 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) - Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying
calculus [0.2348805691644085]
ZX-計算(ZX-calculus)は、量子ビット計算のための普遍的なグラフィカル言語である。
ZW-計算(ZW-calculus)は、量子ビット量子コンピューティングでも完備な、汎用的なグラフィカル言語である。
これら2つの計算を組み合わせることで、量子ビット量子計算のための新しい計算、ZXW-計算が誕生した。
論文 参考訳(メタデータ) (2023-02-23T16:18:57Z) - Completeness of the ZX-calculus [0.3655021726150367]
我々は、全純量子ビット量子力学に対して、ZX-計算の最初の完全公理化を与える。
これは、Quantomaticのようなソフトウェアを駆使して、自動画像量子コンピューティングの道を開くものだ。
論文 参考訳(メタデータ) (2022-09-29T16:01:47Z) - Constrained mixers for the quantum approximate optimization algorithm [55.41644538483948]
ヒルベルト空間全体の部分空間への発展を制限する混合作用素を構築するための枠組みを提案する。
我々は,「ワンホット」状態の部分空間を保存するために設計された「XY」ミキサーを,多くの計算基底状態によって与えられる部分空間の一般の場合に一般化する。
我々の分析は、現在知られているよりもCXゲートが少ない"XY"ミキサーのトロタライズも有効である。
論文 参考訳(メタデータ) (2022-03-11T17:19:26Z) - Annihilating Entanglement Between Cones [77.34726150561087]
ローレンツ錐体は、ある種の強いレジリエンス特性を満たす対称基底を持つ唯一の円錐体であることを示す。
我々の証明はローレンツ・コーンの対称性を利用しており、エンタングルメント蒸留のプロトコルに類似した2つの構造を適用している。
論文 参考訳(メタデータ) (2021-10-22T15:02:39Z) - Qufinite ZX-calculus: a unified framework of qudit ZX-calculi [0.3655021726150367]
任意の有限次元において、qubit ZX-計算をqudit ZX-計算に一般化する。
我々は、全てのqudit ZX-calculiに対する統一的なフレームワークとして、qufinite ZX-calculusと呼ばれるグラフィカルフォーマリズムを提案する。
論文 参考訳(メタデータ) (2021-04-13T18:10:13Z) - Bernstein-Greene-Kruskal approach for the quantum Vlasov equation [91.3755431537592]
一次元定常量子ブラソフ方程式は、エネルギーを力学変数の1つとして分析する。
量子トンネル効果が小さい半古典的な場合、無限級数解が開発される。
論文 参考訳(メタデータ) (2021-02-18T20:55:04Z) - PBS-Calculus: A Graphical Language for Coherent Control of Quantum
Computations [77.34726150561087]
本稿では,量子演算のコヒーレント制御を含む量子計算を表現・推論するためにPBS計算を導入する。
我々はこの言語に方程式理論を加え、それが健全で完備であることが証明された。
我々は、制御された置換の実装やループのアンロールのようなアプリケーションを考える。
論文 参考訳(メタデータ) (2020-02-21T16:15:58Z) - Quantum Statistical Complexity Measure as a Signalling of Correlation
Transitions [55.41644538483948]
本稿では, 量子情報理論の文脈において, 統計的複雑性尺度の量子バージョンを導入し, 量子次数-次数遷移のシグナル伝達関数として利用する。
我々はこの測度を2つの正確に解けるハミルトンモデル、すなわち1D$量子イジングモデルとハイゼンベルクXXZスピン-1/2$チェーンに適用する。
また、考察されたモデルに対して、この測度を1量子および2量子の還元状態に対して計算し、その挙動を有限系のサイズと熱力学的限界に対して解析する。
論文 参考訳(メタデータ) (2020-02-05T00:45:21Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。
レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文 参考訳(メタデータ) (2019-09-04T11:46:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。