論文の概要: 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で正式に証明されている。
関連論文リスト
- Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving [72.8626512877667]
本稿では,オープンソースの大規模言語モデル(LLM)であるGoedel-Proverを紹介する。
論文 参考訳(メタデータ) (2025-02-11T15:27:35Z) - Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis [50.020850767257095]
本稿では,より優れたサンプル効率を有する定理証明手法であるProofAugを提案する。
本手法は,オープンソースのDeepseek-math-7bベースモデルとIsabelle証明アシスタントを用いて,miniF2F-testベンチマークで検証した。
論文 参考訳(メタデータ) (2025-01-30T12:37:06Z) - Fault-Tolerant Constant-Depth Clifford Gates on Toric Codes [51.205673783866146]
本稿では,2次元トーリック符号上での耐故障性および深い論理ゲートのセットを提案し,シミュレーションする。
この集合は折り畳み反転ゲート、デーンツイスト、単ショット論理パウリ測度を組み合わせてクリフォード群を生成する。
論文 参考訳(メタデータ) (2024-11-27T12:17:56Z) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。