論文の概要: A Complete Equational Theory for Real-Clifford+CH Quantum Circuits
- arxiv url: http://arxiv.org/abs/2602.06644v1
- Date: Fri, 06 Feb 2026 12:11:39 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-02-09 22:18:26.389365
- Title: A Complete Equational Theory for Real-Clifford+CH Quantum Circuits
- Title（参考訳）: 実クリフォード+CH量子回路の完全等式理論
- Authors: Alexandre Clément,
- Abstract要約: この断片の回路間の等価性の簡単な集合を与え、他の真の方程式がこれらから導出できることを証明する。
これは有限生成された量子回路の普遍的な断片に対する最初の完全性の結果であり、パラメータ化されたゲートはなく、アシラも不要である。
- 参考スコア（独自算出の注目度）: 51.56484100374058
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce a complete equational theory for the fragment of quantum circuits generated by the real Clifford gates plus the two-qubit controlled-Hadamard gate. That is, we give a simple set of equalities between circuits of this fragment, and prove that any other true equation can be derived from these. This is the first such completeness result for a finitely-generated, universal fragment of quantum circuits, with no parameterized gates and no need for ancillas.
- Abstract（参考訳）: 実クリフォードゲートと2量子制御ハダードゲートによって生成される量子回路の断片に対する完全な方程式理論を導入する。
すなわち、このフラグメントの回路間の等価性の簡単な集合を与え、他の真の方程式がこれらから導出できることを証明する。
これは有限生成された量子回路の普遍的な断片に対する最初の完全性の結果であり、パラメータ化されたゲートはなく、アシラも不要である。
関連論文リスト
- Clifford and Non-Clifford Splitting in Quantum Circuits: Applications and ZX-Calculus Detection Procedure [49.1574468325115]
我々は、クリフォードと非クリフォードのユニタリの間の積として記述できる量子回路から得られるユースケースを提案し、分析する。
ZX-カルキュラスとその資産を用いてこれらの回路の限界境界を検出し、クリフォード切断と非クリフォード切断の分離を可能にする。
論文 参考訳（メタデータ） (2025-04-22T16:10:34Z) - Minimal Equational Theories for Quantum Circuits [44.99833362998488]
量子回路上の真の方程式は、単純な規則から導出できることが示される。
私たちの主な貢献の1つは、方程式理論の最小性を証明することである。
論文 参考訳（メタデータ） (2023-11-13T17:11:25Z) - Quantum Circuit Completeness: Extensions and Simplifications [44.99833362998488]
量子回路に関する最初の完全な方程式理論は、最近導入されたばかりである。
我々は方程式理論を単純化し、いくつかの規則が残りの規則から導出されることを証明した。
完全な方程式理論は、アンシラやクビットの破棄を伴う量子回路に拡張することができる。
論文 参考訳（メタデータ） (2023-03-06T13:31:27Z) - A Complete Equational Theory for Quantum Circuits [58.720142291102135]
量子回路に対する最初の完全方程式理論を導入する。
2つの回路が同じユニタリ写像を表すのは、方程式を用いて1つをもう1つに変換できる場合に限る。
論文 参考訳（メタデータ） (2022-06-21T17:56:31Z) - Symbolic Synthesis of Clifford Circuits and Beyond [0.0]
ユニタリ性問題は一般にコ-NP-ハードであるが、クリフォードパス和に制限された場合、P であることを示す。
次に、一意的なクリフォード経路和からクリフォード回路を合成するアルゴリズムを提供する。
また、任意の経路和に対する抽出アルゴリズムの一般化も提供する。
論文 参考訳（メタデータ） (2022-04-29T16:33:42Z) - Quantum simulation of $\phi^4$ theories in qudit systems [53.122045119395594]
回路量子力学(cQED)システムにおける格子$Phi4$理論の量子アルゴリズムの実装について論じる。
quditシステムの主な利点は、そのマルチレベル特性により、対角的な単一量子ゲートでしかフィールドの相互作用を実装できないことである。
論文 参考訳（メタデータ） (2021-08-30T16:30:33Z) - Depth-2 QAC circuits cannot simulate quantum parity [0.0]
我々は、$n > 3$ qubitsの量子パリティゲートが量子回路によってクリーンにシミュレートできないことを示す。
これはパリティゲートとこの形式の回路の間の最もよく知られ、最初の非自明な分離である。
論文 参考訳（メタデータ） (2020-05-25T15:32:16Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。