論文の概要: A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits
- arxiv url: http://arxiv.org/abs/2407.11152v3
- Date: Mon, 12 Aug 2024 11:20:08 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-13 20:43:18.548190
- Title: A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard Circuits
- Title(参考訳): 3Qubit Toffoli-Hadamard回路の音場と完全等式理論
- Authors: Matthew Amy, Neil J. Ross, Scott Wesley,
- Abstract要約: Toffoli-Hadamardゲート集合 X, CX, CCX, H 上の3量子量子回路に対する完全な方程式理論を与える。
- 参考スコア(独自算出の注目度): 0.8192907805418581
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We give a sound and complete equational theory for 3-qubit quantum circuits over the Toffoli-Hadamard gate set { X, CX, CCX, H }. That is, we introduce a collection of true equations among Toffoli-Hadamard circuits on three qubits that is sufficient to derive any other true equation between such circuits. To obtain this equational theory, we first consider circuits over the Toffoli-K gate set { X, CX, CCX, K }, where K = HxH. The Toffoli-Hadamard and Toffoli-K gate sets appear similar, but they are crucially different on exactly three qubits. Indeed, in this case, the former generates an infinite group of operators, while the latter generates the finite group of automorphisms of the well-known E8 lattice. We take advantage of this fact, and of the theory of automorphism groups of lattices, to obtain a sound and complete collection of equations for Toffoli-K circuits. We then extend this equational theory to one for Toffoli-Hadamard circuits by leveraging prior work of Li et al. on Toffoli-Hadamard operators.
- Abstract(参考訳): Toffoli-Hadamardゲート集合 {X, CX, CCX, H } 上の3量子量子回路に対して、音場と完全方程式理論を与える。
すなわち、3つの量子ビット上のトフォリ・ハダマール回路間の真の方程式の集まりを導入し、そのような回路間の他の真の方程式を導出するのに十分である。
この方程式理論を得るために、まず最初に、K = HxH となるトフォリ-Kゲート集合 {X, CX, CCX, K } 上の回路を考える。
Toffoli-Hadamard と Toffoli-K のゲートセットは似ているように見えるが、それらは正確に3つのキュービットで決定的に異なる。
実際、この場合、前者は作用素の無限群を生成し、後者はよく知られたE8格子の自己同型有限群を生成する。
この事実と格子の自己同型群の理論を利用して、トフォリ-K回路の健全かつ完全な方程式の集まりを得る。
次に、この方程式理論をトフォリ・ハダード回路に拡張し、トフォリ・ハダード作用素上のLi と al の以前の仕事を活用する。
関連論文リスト
- EQB: Synthesizing Permutative Quantum Gates and Circuits Using Rotation-Based Group Decomposition [0.0]
ササオとサラヴァノフの群論に基づく方法からの分解は、二項量子カスケードを設計するために拡張される。
局所変換のクラスも、最終標準カスケード回路を単純化するために提示される。
論文 参考訳(メタデータ) (2024-10-25T00:34:14Z) - Toffoli gates solve the tetrahedron equations [1.8434042562191815]
特に、分解された散乱作用素は、普遍的な量子計算を提供する積分可能な量子回路をもたらす。
自然な疑問は、この構造をトフォリゲートのような高次のクビットゲートに拡張することである。
そのような作用素のユニタリ族は、ヤン・バクスター作用素の3次元一般化によって構成されることを示す。
論文 参考訳(メタデータ) (2024-05-26T08:03:24Z) - Quantum circuit model for discrete-time three-state quantum walks on
Cayley graphs [0.0]
ケイリーグラフ上の離散時間3状態量子ウォークのための量子回路モデルを開発した。
我々はこれらの回路を数値シミュレーションして、ノイズの多い量子コンピュータの性能を模倣する。
論文 参考訳(メタデータ) (2024-01-19T20:45:26Z) - The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality [0.0]
位相自由キューディット規則の全てをクォーディットに一般化する方法を示す。
任意の奇素数 d に対して、|0> 制御された X とアダマールゲートの回路は、クディット量子コンピューティングにおいて概ね普遍的であることを証明した。
論文 参考訳(メタデータ) (2023-07-19T16:09:48Z) - Third quantization of open quantum systems: new dissipative symmetries
and connections to phase-space and Keldysh field theory formulations [77.34726150561087]
3つの方法全てを明示的に接続する方法で第3量子化の手法を再構成する。
まず、我々の定式化は、すべての二次ボゾンあるいはフェルミオンリンドブラディアンに存在する基本散逸対称性を明らかにする。
ボソンに対して、ウィグナー関数と特徴関数は密度行列の「波動関数」と考えることができる。
論文 参考訳(メタデータ) (2023-02-27T18:56:40Z) - Quantum Fourier Addition, Simplified to Toffoli Addition [92.18777020401484]
本稿では,QFT付加回路をToffoliベースの加算器に初めて体系的に変換する。
QFT回路からゲートを近似分解する代わりに、ゲートをマージする方が効率的である。
論文 参考訳(メタデータ) (2022-09-30T02:36:42Z) - A Complete Equational Theory for Quantum Circuits [58.720142291102135]
量子回路に対する最初の完全方程式理論を導入する。
2つの回路が同じユニタリ写像を表すのは、方程式を用いて1つをもう1つに変換できる場合に限る。
論文 参考訳(メタデータ) (2022-06-21T17:56:31Z) - Annihilating Entanglement Between Cones [77.34726150561087]
ローレンツ錐体は、ある種の強いレジリエンス特性を満たす対称基底を持つ唯一の円錐体であることを示す。
我々の証明はローレンツ・コーンの対称性を利用しており、エンタングルメント蒸留のプロトコルに類似した2つの構造を適用している。
論文 参考訳(メタデータ) (2021-10-22T15:02:39Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。
3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文 参考訳(メタデータ) (2021-08-03T17:49:09Z) - Crossing with the circle in Dijkgraaf-Witten theory and applications to
topological phases of matter [0.0]
これらの条件を4-3-2-1 Dijkgraaf-Witten理論で計算する。
この理論の格子ハミルトン実現の文脈において、円とトーラスに割り当てられた量子不変量は、欠陥開弦やバルクループのような励起を符号化する。
論文 参考訳(メタデータ) (2021-03-23T17:37:24Z) - QUANTIFY: A framework for resource analysis and design verification of
quantum circuits [69.43216268165402]
QUINTIFYは、量子回路の定量的解析のためのオープンソースのフレームワークである。
Google Cirqをベースにしており、Clifford+T回路を念頭に開発されている。
ベンチマークのため、QUINTIFYは量子メモリと量子演算回路を含む。
論文 参考訳(メタデータ) (2020-07-21T15:36:25Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。