[논문 리뷰] A Bravyi-König theorem for Floquet codes generated by locally conjugate instantaneous stabiliser groups

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

Quantum Computing Algorithms and Architecture인용 수 0

한 줄 요약

Bravyi-König no-go theorem을 로컬하게 공액된 순간 안정화 그룹으로 구성된 Floquet 코드에 확장하고, 오류 탐지 가능성을 보존하는 일반화된 유니타리를 도입한다.

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 코드에서 어떤 논리 연산이 결함 허용적으로 구현될 수 있는지에 대한 이해를 촉진한다.
• 로컬하게 공액된 안정화 그룹으로부터 구성된 동적 코드에 Bravyi-König no-go 정리를 적용한다.
• 각 단계에서 코드 공간을 보존하지 않을 수 있는 일반화된 논리적 유니타리를 정의하고 분석하되, 오류 탐지 가능성과 논리 정보를 보존한다.
• 이러한 일반화된 유니타리에 대한 표준 형태를 제시하고 BK 제약을 이를 위해 증명한다.

제안 방법

• 측정을 통해 전환되는 로컬하게 공액된 안정화 그룹의 유한한 연속으로 Floquet 코드를 정의한다.
• 측정에 의해 유도된 프로젝션을 코드 공간 사이를 매핑하는 단위 연산 전이 연산자(Floquet 전이 연산자)로 모델링한다.
• 국소적 가역성과 국소성이 전이의 상수 깊이 구현을 보장한다는 것을 증명한다.
• 오류 탐지 가능성과 논리 정보를 보존하는 일반화된 논리적 유니타리에 대한 표준 형태를 구성한다.
• 유한 tau에서 이러한 일반화된 유니타리에 대해 Bravyi-König 스타일의 정리를 도출하고 형식화한다.
• Floquet 코드에서의 오류 유지 및 논리 연산에 대한 함의를 논의한다.

실험 결과

연구 질문

• RQ1 BK no-go 정리가 Floquet 코드에서 측정의 연속에 의해 유도되는 집합적 논리 연산을 어떻게 제약하는가?
• RQ2 코드 공간을 매 단계 보존하지 않는 일반화된 유니타리가 Floquet 동역학에서 여전히 오류 탐지 가능성과 논리 보존을 준수하는가?
• RQ3 이러한 일반화된 유니타리의 표준 형태는 무엇이며 BK가 여전히 적용되는가?
• RQ4 로컬성(l)locality) ($l$-local conjugate stabiliser groups)가 ISG 간 전이의 장애 허용성과 깊이에 어떤 영향을 주는가?

주요 결과

• BK 정리는 로컬하게 공액된 stabiliser 그룹으로 정의된 Floquet 코드까지 확장되어, 결합된 논리 연산을 D-클리포드 수준으로 제한한다.
• 각 단계에서 코드 공간을 보존하지 않는 일반화된 논리적 유니타리는 이후의 측정과 결합될 때 오류 탐지 가능성과 논리 정보를 보존하는 한 유효한 논리 연산을 구현할 수 있다.
• 이러한 일반화된 유니타리에 대한 표준 형태가 도출되어, 유한 시퀀스(tau = O(1))에 대해 BK 유형의 제약이 성립하도록 한다.
• 로컬성(l-local generation 및 l-local reversibility)이 상호 작용하는 전이 연산이 상수 깊이 회로에 의해 구현될 수 있도록 하여, 각 단계에서 오류의 국소성을 보존한다.
• 이 프레임워크는 Floquet 다이나믹스를 준다찌에 대한 anyon 응집 직관과 연결하며, 응집의 순서가 BK 제약을 존중하는 명확한 논리적 작용을 유도하는 방식을 보여준다.