[論文レビュー] A Bravyi-König theorem for Floquet codes generated by locally conjugate instantaneous stabiliser groups

Jelena Mackeprang, Jonas Helsen|arXiv (Cornell University)|Jan 29, 2026

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

要約: ブラビイ-ケーニックのノーゴー定理をローカルに共役な瞬時安定化群から構築されるフロケトコードへ拡張し、誤り検出可能性を保持する一般化ユニタリーを導入する。

ABSTRACT

The Bravyi-König (BK) theorem is an important no-go theorem for the dynamics of topological stabiliser quantum error correcting codes. It states that any logical operation on a $D$-dimensional topological stabiliser code that can be implemented by a short-depth circuit acts on the codespace as an element of the $D$-th level of the Clifford hierarchy. In recent years, a new type of quantum error correcting codes based on Pauli stabilisers, dubbed Floquet codes, has been introduced. In Floquet codes, syndrome measurements are arranged such that they dynamically generate a codespace at each time step. Here, we show that the BK theorem holds for a definition of Floquet codes based on locally conjugate stabiliser groups. Moreover, we introduce and define a class of generalised unitaries in Floquet codes that need not preserve the codespace at each time step, but that combined with the measurements constitute a valid logical operation. We derive a canonical form of these generalised unitaries and show that the BK theorem holds for them too.

研究の動機と目的

• Floquet コードでどの論理演算をフォールトトレラントに実装できるかの理解を促進する。
• locally conjugate 安定化群から構築されるダイナミクスコードへ BK ノーゴー定理を適用する。
• 各ステップでコード空間を保持しなくても誤り検出可能性と論理情報を保持する可能性のある一般化論理ユニタリーを定義・分析する。
• これらの一般化ユニタリーの標準形を提供し、それらに対して BK 制約を証明する。

提案手法

• フロケトコードを測定によって遷移する局所的に共役な安定化群の有限列として定義する。
• 測定によって誘起される射影を、コード空間間を写像するユニタリ遷移演算子（Floquet 遷移演算子）としてモデル化する。
• 局所的可逆性と局所性が遷移を定数深度で実装可能にすることを証明する。
• 誤り検出可能性と論理情報を保持する一般化論理ユニタリーの標準形を構成する。
• 有限の τ に対してこれら一般化ユニタリーの BK 風定理を導出・形式化する。
• Floquet ダイナミクスと anyon 凝縮の直観を結びつけ、凝縮の列が BK 制約を尊重しつつ定義された論理作用を誘導することを論じる。

実験結果

リサーチクエスチョン

• RQ1 BK ノーゴー定理は、Floquet コードにおける測定の列が誘発する集合的な論理演算をどのように制約するか。
• RQ2 コード空間を毎 step で保持しなくても、Floquet ダイナミクスにおいて誤り検出可能性と論理保持を維持できる一般化ユニタリーは存在するか。
• RQ3 このような一般化ユニタリーの標準形は何か、BK は依然適用されるか。
• RQ4 局所性（l-局所共役安定化群）は ISG 間の遷移のフォールトトレランスと深さにどう影響するか。

主な発見

• BK 定理は locally conjugate 安定化群によって定義される Floquet コードにも拡張され、総論理操作を D 次のクリフォードレベルに制約する。
• 各ステップでコード空間を保持しなくても、後続の測定と組み合わせることで、誤り検出可能性と論理情報を保持する場合に限り、一般化論理ユニタリーは有効な論理演算を実装できる。
• これらの一般化ユニタリーの標準形が導出され、有限列（τ = O(1)）に対して BK 型制約が成り立つようにする。
• 局所性（l-局所生成と l-局所可逆性）は、遷移演算子を定数深度回路で実装可能とし、ステップ間の誤り局所性を保持する。
• この枠組みは floquet ダイナミクスと anyon 凝縮の直感を結びつけ、凝縮の列が BK 制約を尊重しつつ定義された論理作用を誘導することを示す。