論文の概要: Climbing the Diagonal Clifford Hierarchy
- arxiv url: http://arxiv.org/abs/2110.11923v2
- Date: Wed, 27 Oct 2021 16:30:04 GMT
- ステータス: 翻訳完了
- システム内更新日: 2023-03-10 19:23:56.229810
- Title: Climbing the Diagonal Clifford Hierarchy
- Title（参考訳）: 対角的クリフォード階層の登頂
- Abstract要約: Clifford階層において,あるレベル$l$の論理対角ゲートを目標とする符号を合成する手法を提案する。
この方法は、結合、$Z$-stabilizersの削除、$X$-stabilizersの追加の3つの基本的な操作を組み合わせる。
コヒーレントノイズモデルでは、デコヒーレンスフリーな部分空間において、中間結果の計算と記憶を切り替える方法について述べる。
- 参考スコア（独自算出の注目度）: 0.6445605125467572
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Magic state distillation and the Shor factoring algorithm make essential use
of logical diagonal gates. We introduce a method of synthesizing CSS codes that
realize a target logical diagonal gate at some level $l$ in the Clifford
hierarchy. The method combines three basic operations: concatenation, removal
of $Z$-stabilizers, and addition of $X$-stabilizers. It explicitly tracks the
logical gate induced by a diagonal physical gate that preserves a CSS code. The
first step is concatenation, where the input is a CSS code and a physical
diagonal gate at level $l$ inducing a logical diagonal gate at the same level.
The output is a new code for which a physical diagonal gate at level $l+1$
induces the original logical gate. The next step is judicious removal of
$Z$-stabilizers to increase the level of the induced logical operator. We
identify three ways of climbing the logical Clifford hierarchy from level $l$
to level $l+1$, each built on a recursive relation on the Pauli coefficients of
the induced logical operators. Removal of $Z$-stabilizers may reduce distance,
and the purpose of the third basic operation, addition of $X$-stabilizers, is
to compensate for such losses. For the coherent noise model, we describe how to
switch between computation and storage of intermediate results in a
decoherence-free subspace by simply applying Pauli $X$ matrices. The approach
to logical gate synthesis taken in prior work focuses on the code states, and
results in sufficient conditions for a CSS code to be fixed by a transversal
$Z$-rotation. In contrast, we derive necessary and sufficient conditions by
analyzing the action of a transversal diagonal gate on the stabilizer group
that determines the code. The power of our approach is demonstrated by two
proofs of concept: the $[[2^{l+1}-2,2,2]]$ triorthogonal code family, and the
$[[2^m,\binom{m}{r},2^{\min\{r,m-r\}}]]$ quantum Reed-Muller code family.
- Abstract（参考訳）: マジック状態蒸留とショア分解アルゴリズムは論理対角ゲートを本質的に利用する。
クラフォード階層において,あるレベル$l$のターゲット論理対角ゲートを実現するCSS符号の合成法を提案する。
この方法は、結合、$Z$-stabilizersの削除、$X$-stabilizersの追加の3つの基本的な操作を組み合わせる。
cssコードを保存する対角ゲートによって引き起こされる論理ゲートを明示的に追跡する。
最初のステップは結合であり、入力はcssコードであり、同じレベルで論理対角ゲートを誘導するレベル$l$の物理的な対角ゲートである。
出力は、レベル$l+1$の物理的な対角ゲートが元の論理ゲートを誘導する新しいコードである。
次のステップは、引き起こされた論理演算子のレベルを上げるために$Z$-stabilizersを司法的に取り除くことである。
論理的クリフォード階層をレベル $l$ からレベル $l+1$ に登る3つの方法を特定し、それぞれ誘導論理演算子のポーリ係数の帰納的関係に基づいて構築する。
Z$-stabilizersの除去は距離を減らし、X$-stabilizersの追加による第3の基本的な操作の目的は、そのような損失を補うことである。
コヒーレントノイズモデルでは、pauli $x$行列を適用するだけで、中間結果の計算と格納をデコヒーレンスフリーな部分空間に切り替える方法について述べる。
前回の作業で行われた論理ゲート合成のアプローチは、コード状態に重点を置いており、結果としてCSSコードが$Z$-rotationで修正される十分な条件が導かれる。
対照的に、コードを決定する安定化子群に対する横断対角ゲートの作用を分析することにより、必要十分条件を導出する。
このアプローチのパワーは、2つの概念の証明によって示される: $[[2^{l+1}-2,2,2]]$ triorthogonal code family と $[2^m,\binom{m}{r},2^{\min\{r,m-r\}}]$ quantum Reed-Muller code family である。
関連論文リスト
- Fork Where the Model Changes Its Mind: Belief-Shift Branching for Tree-Structured Reinforcement Learning [62.24941741019998]
分岐配置をチェーンの値曲線のエンフスの位置として定式化し、期待される結果が変わる。
ステップレベルの監視を必要としない3つのインスタンス化は、ブラックボックスプローブ、ログレンズの深さプロファイル、学習されたアクティベーション方向というアクセスレベルにまたがる。
論文 参考訳（メタデータ） (2026-09-10T04:06:45Z) - Realizing Logical Diagonal Gates via Transversal Physical $Z$-Rotations in CSS Codes [6.416957991576607]
論理的なシングルキュービット$Z$ローテーションと,物理的な$Z$ローテーションによるマルチキュービットコントロール-$Z$ローテーションしか実現できないことを示す。
我々は、アドレス可能な論理的単一ビット$Z$-rotationを実現するCSSコードファミリーの明示的な構成を提供することによって、我々の方法論を説明する。
論文 参考訳（メタデータ） (2026-08-19T16:44:24Z) - Finding diagonal logical gates in CSS codes and circuits [0.2320648715016106]
非クリフォード論理やマジック状態の準備のための効率的なスキームを見つけることは、フォールトトレラント量子計算における中心的な課題の一つである。
ここでは,所定のアンザッツゲートからなるCSSコード(サーキット)のすべての(時空)論理ゲートを求めるアルゴリズムを提案し,実装する。
論文 参考訳（メタデータ） (2026-07-29T05:09:15Z) - Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair [44.80087038178069]
本稿では,デコーダのみのトランスフォーマーをネイティブに組み込んだトレーニングフレームワークであるTeleological Reasoning Infilling (TRI)を紹介する。
推測では、TRIは二重システムループ内の外科的修復モジュールとして動作する。
3つのベンチマークの実験では、TRIは全てのタスクで最先端のパフォーマンスを達成し、プロブレム当たりのトークン支出を31.2%削減した。
論文 参考訳（メタデータ） (2026-06-03T15:58:48Z) - Optimal Scalar Quantization for Matrix Multiplication: Closed-Form Density and Phase Transition [50.36362492608702]
乗算前の2つの行列のエントリーワイズスカラー量子化について検討した。
我々は、閉形式の最適点密度 [ star(u) propto exp!left(-fracu26right)bigl( (1-2)+2u22bigr), qquad u=fracx_X を求め、相関駆動相転移を証明した。
論文 参考訳（メタデータ） (2026-03-20T01:53:44Z) - Prefix Sums via Kronecker Products [47.600794349481966]
我々は、893log(n)+O(1)$ Toffoli depth, $O(n)$ Toffoli gates, $O(n)$ additional qubits で量子加算器を設計する方法を示す。
応用として、これらの回路を用いて1.893log(n)+O(1)$ Toffoli depth, $O(n)$ Toffoli gates, $O(n)$ additional qubits の量子加算器を設計する方法を示す。
論文 参考訳（メタデータ） (2025-12-18T08:49:18Z) - An Efficient Computational Framework for Discrete Fuzzy Numbers Based on Total Orders [41.99844472131922]
我々は、$textitpos$関数を計算するために、合計(許容可能な)順序の構造を利用するアルゴリズムを導入する。
提案手法は、下層の鎖の大きさの2乗である$mathcalO(n2 m log n)$の複雑さを実現する。
その結果、この定式化は計算コストを大幅に削減することを示した。
論文 参考訳（メタデータ） (2025-11-21T09:35:07Z) - Transversal Gates in Nonadditive Quantum Codes [3.980076328494117]
我々は、Stiefel多様体上の論理部分空間をパラメータ化することで、指定された群を持つ符号を探索する。
この方法を適用すると、$Zbigl(tfrac2pi5bigr)$ gateを許容する新しい$((6,2,3))$コードを発見します。
いくつかの新しい$(7,2,3))$符号は二進イコサヘドラル群 $2I$ を実現する。
論文 参考訳（メタデータ） (2025-04-29T15:18:33Z) - Clifford gates with logical transversality for self-dual CSS codes [0.8009842832476994]
符号化率の高い量子誤り訂正符号は、大規模量子コンピュータにとって良い候補である。
高速コードの論理ゲートは物理ゲートを使ってフォールトトレラントに実装することができる。
論理的クリフォードゲートが複数の実装を持つことを示す。
論文 参考訳（メタデータ） (2025-03-25T15:55:12Z) - Quantum Codes with Addressable and Transversal Non-Clifford Gates [8.194994143531677]
我々は、$textitaddressable$ logical gateを誘導するゲートをサポートするコードを研究する。
我々は、$textitaddressable と $ell neq 2$ gates で量子コードを構築するフォーマリズムを開発する。
論文 参考訳（メタデータ） (2025-02-03T22:24:34Z) - Ehrenfeucht-Haussler Rank and Chain of Thought [51.33559894954108]
関数の階数$f$は、単層トランスフォーマーデコーダで要求される思考の連鎖の最小値に対応することを示す。
また、ブール列における1の$k$-thの発生位置を同定する問題を解析し、$k$CoTステップが必要であることを証明した。
論文 参考訳（メタデータ） (2025-01-22T16:30:58Z) - Targeted Clifford logical gates for hypergraph product codes [54.57204856880369]
まず、CNOT、CZ、フェーズ、アダマール作用素に対するシンプレクティック行列を導出し、クリフォード群を生成する。
これにより、このファミリーの任意のコードに対する論理ゲートをターゲットとした明示的な変換を設計できる。
論文 参考訳（メタデータ） (2024-11-26T02:32:44Z) - Quantum LDPC Codes with Transversal Non-Clifford Gates via Products of Algebraic Codes [0.9208007322096533]
我々は、長さ$N$、次元$Kgeq N1-epsilon$、距離$Dgeq N1/r/namepoly(log N)$、安定化器重量$wleqoperatorname(log N)$をサポートする量子LDPC符号の明示的な無限族を構築する。
論文 参考訳（メタデータ） (2024-10-18T17:52:59Z) - Non-Clifford and parallelizable fault-tolerant logical gates on constant and almost-constant rate homological quantum LDPC codes via higher symmetries [1.3194391758295114]
本研究では, 3次元多様体上に定式化されたホモロジー量子量子低密度パリティチェック符号群に対するフォールトトレラント量子計算について, 定値あるいはほぼ一定の符号化速度で検討する。
3次元多様体の3次元交叉不変量を計算するための一般形式法を開発した。
論文 参考訳（メタデータ） (2023-10-25T20:33:59Z) - Layered State Discovery for Incremental Autonomous Exploration [106.37656068276901]
Layered Autonomous Exploration (LAE) は、$tildemathcalO(LSrightarrow_LAln12(Srightarrow_LAln12(Srightarrow_LAln12(Srightarrow_LAln12(Srightar row_LAln12)Srightarrow_LAln12(Srightarrow_LAln12)Srightarrow_LAln12(Srightarrow_LAln12)のサンプル複雑性を達成するAXの新しいアルゴリズムである。
論文 参考訳（メタデータ） (2023-02-07T22:58:12Z) - Average-Case Complexity of Tensor Decomposition for Low-Degree
Polynomials [93.59919600451487]
多くの統計的推論タスクにおいて「統計計算ギャップ」が発生する。
1つの成分が他の成分よりもわずかに大きいランダムオーダー3分解モデルを考える。
テンソルエントリは$ll n3/2$のとき最大成分を正確に推定できるが、$rgg n3/2$のとき失敗する。
論文 参考訳（メタデータ） (2022-11-10T00:40:37Z) - Near-Optimal Regret Bounds for Multi-batch Reinforcement Learning [54.806166861456035]
本研究では,有限水平マルコフ決定過程(MDP)によってモデル化されたエピソディック強化学習(RL)問題をバッチ数に制約を加えて検討する。
我々は,$tildeO(sqrtSAH3Kln (1/delta))$tildeO(cdot)をほぼ最適に後悔するアルゴリズムを設計し,$(S,A,H,K)$の対数項を$K$で隠蔽する。
技術的貢献は2つある: 1) 探索のためのほぼ最適設計スキーム
論文 参考訳（メタデータ） (2022-10-15T09:22:22Z) - Near-optimal fitting of ellipsoids to random points [68.12685213894112]
楕円体をランダムな点に合わせるという基本的な問題は、低ランク行列分解、独立成分分析、主成分分析に関係している。
我々はこの予想を、ある$n = Omega(, d2/mathrmpolylog(d))$ に対する適合楕円体を構成することで対数的因子まで解決する。
我々の証明は、ある非標準確率行列の便利な分解を用いて、サンダーソン等最小二乗構成の実現可能性を示す。
論文 参考訳（メタデータ） (2022-08-19T18:00:34Z) - Computationally Efficient Horizon-Free Reinforcement Learning for Linear
Mixture MDPs [111.75736569611159]
線形混合MDPのための計算効率のよい初めての地平線フリーアルゴリズムを提案する。
我々のアルゴリズムは、未知の遷移力学に対する重み付き最小二乗推定器に適応する。
これにより、$sigma_k2$'sが知られているときに、この設定で最もよく知られたアルゴリズムも改善される。
論文 参考訳（メタデータ） (2022-05-23T17:59:18Z) - Divisible Codes for Quantum Computation [0.6445605125467572]
可分符号は、符号語重みが1より大きい共通の因子を共有する性質によって定義される。
本稿では、論理ゲートによって変換される量子情報を保護するために、それらがどのように使用できるかを検討する。
論文 参考訳（メタデータ） (2022-04-27T20:18:51Z) - Exponential Separation between Quantum and Classical Ordered Binary
Decision Diagrams, Reordering Method and Hierarchies [68.93512627479197]
量子順序付き二項決定図($OBDD$)モデルについて検討する。
入力変数の任意の順序で、OBDDの下位境界と上位境界を証明します。
read$k$-times Ordered Binary Decision Diagrams (k$-OBDD$)の幅の階層を拡張します。
論文 参考訳（メタデータ） (2022-04-22T12:37:56Z) - Designing the Quantum Channels Induced by Diagonal Gates [0.5735035463793007]
対角ゲートは、量子演算の普遍的な集合を実装する上で重要な役割を果たす。
本稿では、コード状態の作成、対角ゲートの適用、コードシンドロームの測定、パウリ補正のプロセスについて述べる。
論文 参考訳（メタデータ） (2021-09-28T04:39:15Z) - Classical Coding Problem from Transversal $T$ Gates [10.478611957969145]
論理的に$T$を実現する唯一のCSSコードは、物理的に$T$である。
また、Axの定理を用いて量子リード・ミュラー符号の族上で実現された論理演算を特徴づける。
論文 参考訳（メタデータ） (2020-01-14T16:45:48Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。