論文の概要: Generators and Relations for 2-Qubit Clifford+T Operators
- arxiv url: http://arxiv.org/abs/2204.02217v3
- Date: Wed, 15 Nov 2023 11:01:41 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-16 21:26:12.714616
- Title: Generators and Relations for 2-Qubit Clifford+T Operators
- Title(参考訳): 2量子クリフォード+T演算子の発電機と関係
- Authors: Xiaoning Bian (Dalhousie University), Peter Selinger (Dalhousie
University)
- Abstract要約: 2つの量子ビット上のクリフォード+T作用素群に対する生成子によるプレゼンテーションと関係を与える。
この証明は、グレイリンの初期の結果に対するライデマイスター=シュライアーの定理の適用に依存しており、証明助手のアグダ (Agda) によって正式に証明されている。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We give a presentation by generators and relations of the group of Clifford+T
operators on two qubits. The proof relies on an application of the
Reidemeister-Schreier theorem to an earlier result of Greylyn, and has been
formally verified in the proof assistant Agda.
- Abstract(参考訳): 2つの量子ビット上のクリフォード+T作用素群に対する生成子によるプレゼンテーションと関係を与える。
この証明は、グレイリンの初期の結果に対するライデマイスター=シュライアーの定理の応用に依存しており、証明助手agdaで正式に証明されている。
関連論文リスト
- Mutual transformations of arbitrary ternary qubit trees by Clifford gates [55.2480439325792]
同じ数のノードを持つ3次キュービット木は、自然に定義されたクリフォードゲートの列によって互いに変換するか、ジョルダン・ウィグナー変換に対応する1D鎖として標準表現に変換することができる。
論文 参考訳(メタデータ) (2024-04-25T15:54:32Z) - Clifford circuits over non-cyclic abelian groups [0.0]
すべてのクリフォード回路を古典的に効率的にシミュレートできることが示される。
さらに、局所的な2キュービットのクリフォードゲートとマジック状態に基づく普遍量子コンピューティングスキームのための回路を提供する。
論文 参考訳(メタデータ) (2024-02-21T18:26:25Z) - The Clifford theory of the $n$-qubit Clifford group [0.0]
近年の応用はクリフォード群の表現論を利用した。
我々は、$n$-qubit Clifford 群の既約文字と$(n+1)$-qubit Clifford 群の既約文字との予期しない対応を見つける。
論文 参考訳(メタデータ) (2023-07-11T21:21:31Z) - Generators and Relations for 3-Qubit Clifford+CS Operators [0.0]
生成子によるプレゼンテーションと3量子クリフォード+CS作用素群の関係について述べる。
クリフォード+CS群(英語版)(Clifford+CS group)は、もちろん無限であり、3つの有限部分群の積であることを示す。
論文 参考訳(メタデータ) (2023-06-14T14:23:46Z) - General ordering theorem [0.0]
一般順序理論(GOT)を証明し,任意の順序のペア間の関係を確立する。
一般(演算的)可換関係を満たす作用素に作用することを示す。
注目すべきことに、この定理はこれらの2つの定理の間の公式な関係を確立し、現在知られている悪名高い複雑な定理とは異なり、それらに対してコンパクトな表現を提供する。
論文 参考訳(メタデータ) (2023-02-02T17:49:35Z) - Duality theory for Clifford tensor powers [0.7826806223782052]
クリフォード群の表現論は、量子情報理論においてますます顕著な役割を担っている。
本稿では、量子ビットシステムも含む双対性アプローチのための統一的なフレームワークを提供する。
論文 参考訳(メタデータ) (2022-08-02T18:27:17Z) - Bias-Robust Bayesian Optimization via Dueling Bandit [57.82422045437126]
ベイジアン最適化は、観測が逆偏りとなるような環境において考慮する。
情報指向サンプリング(IDS)に基づくダリングバンディットの新しい手法を提案する。
これにより、累積的後悔保証を伴う帯域幅の並列化のための、最初の効率的なカーネル化アルゴリズムが得られる。
論文 参考訳(メタデータ) (2021-05-25T10:08:41Z) - PRover: Proof Generation for Interpretable Reasoning over Rules [81.40404921232192]
本稿では,ルールベース上の二項質問に応答し,対応する証明を生成するトランスフォーマーモデルを提案する。
本モデルは,効率的な制約付き学習パラダイムを用いて,証明グラフに対応するノードやエッジを予測できることを学習する。
我々は、QAと証明生成のための有望な結果を示すために、合成、手書き、人文による規則ベースの実験を行う。
論文 参考訳(メタデータ) (2020-10-06T15:47:53Z) - Generative Language Modeling for Automated Theorem Proving [94.01137612934842]
この研究は、自動定理プロバーの人間に対する大きな制限が言語モデルから生成することで対処できる可能性によって動機づけられている。
本稿ではメタマス形式化言語のための自動証明と証明アシスタント GPT-f を提案し,その性能を解析する。
論文 参考訳(メタデータ) (2020-09-07T19:50:10Z) - Learning to Prove Theorems by Learning to Generate Theorems [71.46963489866596]
我々は、定理証明器を訓練するために、定理と証明を自動的に合成するニューラルジェネレータを学習する。
実世界の課題に関する実験は、我々の手法による合成データが定理証明器を改善することを示した。
論文 参考訳(メタデータ) (2020-02-17T16:06:02Z) - Joint measurability meets Birkhoff-von Neumann's theorem [77.34726150561087]
我々は、この文脈でDNTの数学的特徴として関節測度が生じることを証明し、バーホフ=ヴォン・ノイマン(Birkhoff-von Neumann)と同様の性格化を確立する必要がある。
また、DNTは、一般作用素理論におけるその関連性に言及しながら、結合可測性問題の特定の事例から自然に現れることを示す。
論文 参考訳(メタデータ) (2018-09-19T18:57:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。