論文の概要: Chutes and Ladders: Dynamical Automorphisms via the ZX-Calculus

• arxiv url: http://arxiv.org/abs/2606.02542v1
• Date: Mon, 01 Jun 2026 17:46:09 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-02 21:34:32.548994
• Title: Chutes and Ladders: Dynamical Automorphisms via the ZX-Calculus
• Title（参考訳）: Chutes and Ladders: ZX-Calculus による動的自己同型
• Authors: Alexander Frei, Sascha Zakaib-Bernier, Zachary Mann, Michael Vasmer, Victor V. Albert,
• Abstract要約: 動的安定化符号の処理にはZX-calculus言語を用いる。 安定化器符号の空間に閉ループを実装するためにゲージ固定ステップを組み合わせる。 これにより、動的自己同型を構築するための機械解釈可能な方法が得られる。
• 参考スコア（独自算出の注目度）: 37.09090127609627
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The ZX-calculus is a powerful graphical language for manipulating quantum circuits, which has recently found many applications in quantum error correction. We extend this language to handle Floquet and other dynamical stabilizer codes via the connection between measurement-based code switching and gauge fixing (arXiv:1810.10037). We combine gauge-fixing steps to implement a closed loop in the space of stabilizer codes, returning to the original codespace up to a logical Clifford gate. These measurement-based paths in the space of stabilizer codes can be viewed as shortcuts, or "chutes and ladders", relative to single-qubit Clifford operations and qubit permutations. This yields a machine-interpretable method for constructing dynamical automorphisms and facilitates the search for implementations of desired logical gates. As an example, we implement a logical phase gate via distance-preserving code switching for the seven-qubit code bare code (arXiv:1702.01155), which has no non-trivial logical Clifford gates based on single-qubit Clifford operations and qubit permutations (arXiv:2409.18175).
• Abstract（参考訳）: ZX計算は量子回路を操作するための強力なグラフィカル言語であり、最近量子誤り訂正に多くの応用が見つかった。 我々はこの言語を拡張して、測定ベースのコードスイッチングとゲージ修正(arXiv:1810.10037)を接続することで、Floquetや他の動的安定化コードを扱う。 我々はゲージ固定ステップを組み合わせて安定化器符号空間の閉ループを実装し、論理的クリフォードゲートまで元の符号空間に戻す。 安定化符号の空間におけるこれらの測定に基づく経路は、単一キュービットのクリフォード演算やキュービットの置換に対してショートカットまたは「シュートとはしご」と見なすことができる。 これにより、動的自己同型を構成する機械解釈可能な方法が得られ、所望の論理ゲートの実装の探索が容易になる。 例えば、7ビット符号の素コード (arXiv:1702.01155) に対する距離保存符号切替(arXiv:1702.01155)による論理位相ゲートを実装し、これは1ビットのクリフォード演算とクォービットの置換(arXiv:2409.18175)に基づく非自明な論理的クリフォードゲートを持たない。

関連論文リスト

• Targeted Clifford logical gates for hypergraph product codes [54.57204856880369]
  まず、CNOT、CZ、フェーズ、アダマール作用素に対するシンプレクティック行列を導出し、クリフォード群を生成する。 これにより、このファミリーの任意のコードに対する論理ゲートをターゲットとした明示的な変換を設計できる。
  論文  参考訳（メタデータ） (2024-11-26T02:32:44Z)
• Measurement-free code-switching for low overhead quantum computation using permutation invariant codes [3.058685580689604]
  我々は、普遍的な量子テレポーテーションのための測定自由なコードスイッチングプロトコル、クリフォードのための安定化器符号、非クリフォードのための置換不変符号を提案する。 この符号スイッチングプロトコルによって実現された非クリフォードゲートは、クリフォード+T$ゲートセットに対する普遍ゲートセットの低いゲートカウント実装を提供する。 また、可変符号距離を持つ新しいPI符号のクラスを提示し、非クリフォードゲートをサポートする。
  論文  参考訳（メタデータ） (2024-11-20T09:16:07Z)
• Fault-Tolerant Logical Clifford Gates from Code Automorphisms [2.7262923206583136]
  本稿では, 耐故障性論理クリフォードゲートの実装について, 対称性に基づく安定化器量子誤り訂正符号について検討する。 我々のアプローチは、安定化器コードを二進線型コードにマッピングし、自己同型群を計算し、クリフォード作用素が許す制約を課すことである。
  論文  参考訳（メタデータ） (2024-09-26T18:00:00Z)
• A High Performance Compiler for Very Large Scale Surface Code Computations [38.26470870650882]
  大規模量子誤り訂正のための最初の高性能コンパイラを提案する。 任意の量子回路を格子手術に基づく表面符号演算に変換する。 コンパイラは、物理デバイスのリアルタイム操作に向けられた速度で、ストリーミングパイプラインを使用して数百万のゲートを処理することができる。
  論文  参考訳（メタデータ） (2023-02-05T19:06:49Z)
• Finding the disjointness of stabilizer codes is NP-complete [77.34726150561087]
  我々は、$c-不連続性を計算すること、あるいはそれを定数乗算係数の範囲内で近似することの問題はNP完全であることを示す。 CSSコード、$dコード、ハイパーグラフコードなど、さまざまなコードファミリの相違点に関するバウンダリを提供します。 以上の結果から,一般的な量子誤り訂正符号に対するフォールトトレラント論理ゲートの発見は,計算に難題であることが示唆された。
  論文  参考訳（メタデータ） (2021-08-10T15:00:20Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。