論文の概要: Arithmeticity, thinness and efficiency of qutrit Clifford+T gates
- arxiv url: http://arxiv.org/abs/2401.16120v2
- Date: Tue, 12 Nov 2024 15:44:31 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-11-13 13:16:12.439531
- Title: Arithmeticity, thinness and efficiency of qutrit Clifford+T gates
- Title(参考訳): 四重項クリフォード+Tゲートの算術性、薄さおよび効率性
- Authors: Shai Evra, Ori Parzanchevski,
- Abstract要約: 本稿ではPU(3)のアナログゲートについて検討する。
PU(3) において、クリフォード+T ゲートによって生成される群は算術的ではなく、実際、それは薄い行列群である。
一方、最近提案されたClifford+T ゲートの拡張 Clifford+D について検討し、これらが PU(3) の完全な S-算術的部分群を生成し、PU(2) の Clifford+T よりもわずかに弱い準最適被覆特性を満たすことを示す。
- 参考スコア(独自算出の注目度): 0.0
- License:
- Abstract: The Clifford+T gate set is a topological generating set for PU(2), which has been well-studied from the perspective of quantum computation on a single qubit. The discovery that it generates a full S-arithmetic subgroup of PU(2) has led to a fruitful interaction between quantum computation and number theory, resulting in a proof that words in these gates cover PU(2) in an almost-optimal manner. In this paper we study the analogue gate set for PU(3). We show that in PU(3) the group generated by the Clifford+T gates is not arithmetic - in fact, it is a thin matrix group, namely a Zariski-dense group of infinite index in its ambient S-arithmetic group. On the other hand, we study a recently proposed extension of the Clifford+T gates, called Clifford+D, and show that these do generate a full S-arithmetic subgroup of PU(3), and satisfy a slightly weaker almost-optimal covering property than that of Clifford+T in PU(2). The proofs are different from those for PU(2): while both gate sets act naturally on a (Bruhat-Tits) tree, in PU(2) the generated group acts transitively on the vertices of the tree, and this is a main ingredient in proving both arithmeticity and efficiency. In the PU(3) Clifford+D case the action on the tree is far from being transitive. This makes the proof of arithmeticity considerably harder, and the study of efficiency by automorphic representation theory becomes more involved, and results in a covering rate which differs from the optimal one by a factor of $log_3(105)\approx 4.236$.
- Abstract(参考訳): クリフォード+Tゲート集合 (Clifford+T gate set) は、PU(2) の位相的生成集合であり、単一の量子ビット上の量子計算の観点からよく研究されている。
PU(2)の完全なS-算術的部分群を生成するという発見は、量子計算と数論の間の実りある相互作用をもたらし、これらのゲートの単語がPU(2)をほぼ最適にカバーしていることを示す結果となった。
本稿ではPU(3)のアナログゲートについて検討する。
PU(3) において、クリフォード+T ゲートによって生成される群は算術的ではなく、実際、それは薄い行列群である。
一方、最近提案されたClifford+T ゲートの拡張 Clifford+D について検討し、これらが PU(3) の完全な S-算術的部分群を生成し、PU(2) の Clifford+T よりもわずかに弱い準最適被覆特性を満たすことを示す。
証明は PU(2) と異なる: 両方のゲート集合が自然に(Bruhat-Tits)木に作用するのに対して、PU(2) では生成された群は木の頂点に推移的に作用し、これは算術性と効率性の両方を証明する主要な要素である。
PU(3) クリフォード+Dの場合、木の作用は過渡的ではない。
これにより算術性の証明がかなり難しくなり、自己同型表現論による効率の研究がより複雑になり、最適値と異なる被覆率が$log_3(105)\approx 4.236$ となる。
関連論文リスト
- Permutation gates in the third level of the Clifford hierarchy [2.3010366779218483]
階層構造における置換について研究する: 2n$基底状態をパーミュレートするゲート。
3階の置換ゲートは、必ずしも半クリフォードではないが、トフォリゲートの積でなければならないことを証明している。
論文 参考訳(メタデータ) (2024-10-15T17:46:49Z) - ATG: Benchmarking Automated Theorem Generation for Generative Language Models [83.93978859348313]
人間はより広範に複雑な数学的結果を探求するために新しい定理を開発することができる。
現在の生成言語モデル(LM)は、定理の自動証明において著しく改善されている。
本稿では,エージェントが価値ある(あるいは新しい)定理を自動生成できるかどうかを評価する自動定理生成ベンチマークを提案する。
論文 参考訳(メタデータ) (2024-05-05T02:06:37Z) - Characterising semi-Clifford gates using algebraic sets [0.0]
クリフォード階層の第3階層のゲートの集合と、ほぼ対角的な半クリフォードゲートのそれらの傑出した部分集合について研究する。
セミクリフォードゲートはこれらの資源状態をはるかに効率的に利用して実装できるので重要である。
論文 参考訳(メタデータ) (2023-09-26T18:41:57Z) - Generators and Relations for 3-Qubit Clifford+CS Operators [0.0]
生成子によるプレゼンテーションと3量子クリフォード+CS作用素群の関係について述べる。
クリフォード+CS群(英語版)(Clifford+CS group)は、もちろん無限であり、3つの有限部分群の積であることを示す。
論文 参考訳(メタデータ) (2023-06-14T14:23:46Z) - Duality theory for Clifford tensor powers [0.7826806223782052]
クリフォード群の表現論は、量子情報理論においてますます顕著な役割を担っている。
本稿では、量子ビットシステムも含む双対性アプローチのための統一的なフレームワークを提供する。
論文 参考訳(メタデータ) (2022-08-02T18:27:17Z) - Proofs of network quantum nonlocality aided by machine learning [68.8204255655161]
我々は[DOI40103/PhysRevLett.123.140]の量子三角形分布の族が、元の証明よりも広い範囲の三角形局所モデルを認めていないことを示した。
我々は、独立な利害関係を持つ二項結果を持つ三角形のシナリオに対して、ネットワークベルの不等式を大量に収集する。
論文 参考訳(メタデータ) (2022-03-30T18:00:00Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。
3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文 参考訳(メタデータ) (2021-08-03T17:49:09Z) - Robustifying Algorithms of Learning Latent Trees with Vector Variables [92.18777020401484]
Recursive Grouping (RG) と Chow-Liu Recursive Grouping (CLRG) のサンプル複雑性について述べる。
RG,CLRG,Neighbor Joining (NJ) およびSpectral NJ (SNJ) をトラッピングした内積を用いて強化する。
我々は、潜在木の構造学習において、最初の既知のインスタンス依存の不合理性の結果を導出する。
論文 参考訳(メタデータ) (2021-06-02T01:37:52Z) - Relevant OTOC operators: footprints of the classical dynamics [68.8204255655161]
OTOC-RE定理(OTOC-RE theorem)は、作用素の完備な基底にまとめられたOTOCを第二レニイエントロピー(Renyi entropy)に関連付ける定理である。
関係作用素の小さな集合に対する和は、エントロピーの非常によい近似を得るのに十分であることを示す。
逆に、これは複雑性の別の自然な指標、すなわち時間と関連する演算子の数のスケーリングを提供する。
論文 参考訳(メタデータ) (2020-07-31T19:23:26Z) - Un-Weyl-ing the Clifford Hierarchy [5.28387934064129]
クリフォード階層の第2および第3階層の構造について検討する。
3階ユニタリ通勤が少なくとも1つのパウリ行列を持つことを示す。
量子誤り訂正とフラグガジェットの設計における潜在的な応用について論じる。
論文 参考訳(メタデータ) (2020-06-24T20:48:44Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。
レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文 参考訳(メタデータ) (2019-09-04T11:46:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。