論文の概要: The Generalized Semi-Clifford Conjecture Holds at Level 4
- arxiv url: http://arxiv.org/abs/2609.38751v1
- Date: Wed, 30 Sep 2026 01:36:12 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-01 18:57:26.972478
- Title: The Generalized Semi-Clifford Conjecture Holds at Level 4
- Title(参考訳): 一般化半クリフォード射出はレベル4で保持される
- Abstract要約: 我々は$cup_k 数学fC_k$ の予想を$U 数学fP Udagger$ 以降の予想で証明する。
また、より高いレベルのゲート群に対するそのような群に対して、半クリフォードを一般化する自然な条件を示す。
- 参考スコア(独自算出の注目度): 1.6567880228735357
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The Clifford hierarchy $\mathsf{C}_1 \subset \mathsf{C}_2 \subset \cdots$ was introduced by Gottesman and Chuang (arXiv:quant-ph/9908010) to characterize gates that admit fault-tolerant implementation by gate teleportation. Yet, despite its rich mathematical structure and the attention it has received in recent years, little is known about $\mathsf{C}_k$ for $k > 3$. Most progress has focused on identifying structural properties of restrictions of the hierarchy, such as diagonal gates and gates on systems of small dimension $d$ or with few qudits. The generalized semi-Clifford conjecture, proposed by Zeng et al. (arXiv:0712.2084), states that every gate in $\cup_k \mathsf{C}_k$ is, up to multiplication by Cliffords, the product of a permutation and a diagonal matrix. Beigi and Shor proved the case $d=2$, $k=3$ (arXiv:0810.5108) and Pllaha et al. found an alternative proof by exploiting fixed points of the conjugation map induced by (a Clifford correction of) $U \in \mathsf{C}_3$ on the span of maximal stabilizer subgroups (arXiv:2006.14040). By extending their fixed-point arguments to the group $Γ_1(U)$ generated by $U \mathsf{P} U^\dagger$ and beyond, we prove the conjecture for $k \leq 4$ and any prime dimension $d$. Our proof centers on conjugation groups $Γ_1(U), Γ_2(U), \ldots$ of $U \in \mathsf{C}_k$, which we expect to be a useful tool in the study of the Clifford hierarchy more generally. We also show a natural sufficient condition on such groups for gates in higher levels to be generalized semi-Clifford.
- Abstract(参考訳): クリフォード階層 $\mathsf{C}_1 \subset \mathsf{C}_2 \subset \cdots$ は Gottesman と Chuang (arXiv:quant-ph/9908010) によって導入された。
しかし、そのリッチな数学的構造と近年の注目にもかかわらず、$\mathsf{C}_k$ for $k > 3$についてはほとんど知られていない。
ほとんどの進歩は、小さな次元の$d$または少数のクォーディットを持つシステム上の対角ゲートやゲートのような階層構造上の制限の構造的特性の同定に焦点が当てられている。
Zeng et al (arXiv:0712.2084) によって提唱された一般化半クリフォード予想(英語版)は、$\cup_k \mathsf{C}_k$ のすべてのゲートは、置換と対角行列の積であるクリフォードの乗算である。
Beigi と Shor は、$d=2$, $k=3$ (arXiv:0810.5108) を証明し、Pllaha et al は、最大安定化部分群 (arXiv:2006.14040) のスパン上で (a Clifford correct) $U \in \mathsf{C}_3$ によって誘導される共役写像の固定点を利用する別の証明を発見した。
それらの不動点の引数を、$U \mathsf{P} U^\dagger$ で生成される群 $a_1(U)$ に拡張することにより、$k \leq 4$ および任意の素次元 $d$ の予想を証明できる。
我々の証明は、共役群 $ y_1(U), y_2(U), \ldots$ of $U \in \mathsf{C}_k$ を中心にしており、より一般にクリフォード階層の研究において有用なツールであると期待されている。
また、より高いレベルのゲート群に対するそのような群に対して、半クリフォードを一般化する自然な条件を示す。
関連論文リスト
- The Condition-Number Barrier in Sparse Least Squares [77.64108812086542]
AxiotisとSviridenkoは[AS21]において、凸最適化における制限条件数への線形依存はスパース時間アルゴリズムでは改善できないと推測した。
我々は、最小二乗目的に対する予想下界を確立し、ランダム化された完全体積小セット展開仮説に基づく条件付けを行う。
論文 参考訳(メタデータ) (2026-08-03T17:57:01Z) - Structure of Clifford groups of composite finite quantum systems [0.0]
クリフォード群は、対応するヒルベルト空間の次元$N=n_cdots n_k$が奇数であるような自然な半直積であることが知られている。
N=n_cdots n_k$ であっても、クリフォード群と射影クリフォード群の両方が自然半直積であることは、N$ が 4 で割り切れない場合に限る。
論文 参考訳(メタデータ) (2026-06-06T14:58:46Z) - Transversal Clifford-Hierarchy Gates via Non-Abelian Surface Codes [0.0]
クリフォード階層の任意のレベルにおいて位相ゲートを純粋に2次元実現する。
我々の構成は、三角空間パッチ上の非アベリア群$G$の量子ダブル$D(G)$の論理量子ビットを符号化する。
論文 参考訳(メタデータ) (2025-12-15T19:00:00Z) - Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits [0.0]
3ntimes 3n$ のユニタリ行列 $U$ はクリフォード・シクロトミックゲートの次数$3k$ 上の$n$-量子回路で表せることを証明している。
論文 参考訳(メタデータ) (2024-05-13T19:27:48Z) - Synthesis and Arithmetic of Single Qutrit Circuits [0.8192907805418581]
本稿では,Clifford$+D$サイクロトミックゲート集合上の単語からなるクォート回路について検討する。
このフレームワークは、任意の素数の四重項に拡張するクリフォード$+D$の四重項ゲート合成を定式化するために開発された。
論文 参考訳(メタデータ) (2023-11-15T04:50:41Z) - Dimension-free discretizations of the uniform norm by small product sets [45.85600902330814]
ベルンシュタインの古典的不等式は、単位円上の最高ノルムの$f$と、その最高ノルムの$K$-階根のサンプリング集合上の最高ノルムと比較する。
次元自由離散化は、濃度が$deg(f)$とは独立なサンプリング集合で可能であり、代わりに$f$の最大個人次数によって支配されることを示す。
論文 参考訳(メタデータ) (2023-10-11T22:46:09Z) - Quantum and classical low-degree learning via a dimension-free Remez
inequality [52.12931955662553]
ハイパーグリッド上の関数をポリトーラス上の高調波拡張に関連付ける新しい方法を示す。
巡回群 $exp(2pi i k/K)_k=1K$ の積に対して函数の上限が$f$であることを示す。
我々は最近、超キューブやキュービット上の観測可能な観測値の低次学習を、同様に効率的に行う方法として、EI22, CHP, VZ22を引用して、新しい空間に拡張した。
論文 参考訳(メタデータ) (2023-01-04T04:15:40Z) - Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
我々は、Ksubseteq G$ の部分群に基づく境界の体系的な扱いを、バルクの Kokuev 量子倍 D(G)$ モデルで提供する。
境界サイトは$*$-subalgebra $Xisubseteq D(G)$の表現であり、その構造を強い$*$-準ホップ代数として説明する。
治療の応用として、水平方向の$K=G$と垂直方向の$K=e$に基づく境界付きパッチを調査し、量子コンピュータでどのように使用できるかを示す。
論文 参考訳(メタデータ) (2022-08-12T15:05:07Z) - Low-degree learning and the metric entropy of polynomials [44.99833362998488]
少なくとも$Omega(sqrtvarepsilon)2dlog n leq log mathsfM(mathscrF_n,d,|cdot|_L,varepsilon)は2辺の推定値$c(1-varepsilon)2dlogを満たす。
論文 参考訳(メタデータ) (2022-03-17T23:52:08Z) - Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
我々は、$n$ qubits上のシュル=ワイル双対性に基づく分解によって定義される測定に焦点をあてる。
我々は、$n$が無限大に進むとき、中心極限の一種を含む様々な種類の分布を導出する。
論文 参考訳(メタデータ) (2021-04-26T15:03:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。