[논문 리뷰] Transversal AND in Quantum Codes

Christine Li, Lia Yeh|arXiv (Cornell University)|2026. 03. 04.

Quantum Computing Algorithms and Architecture인용 수 0

한 줄 요약

저자는 트랜스버설 AND 게이트를 가진 qutrit CSS 코드 J6,2,2K를 구성하고, 코드 거리를 결합(concatenation)으로 J48,2,4K까지 증가시키는 방법을 보이고, 혼합 큐비트-쿷트리 코드 및 매직-상태 프로토콜을 도입한다.

ABSTRACT

The AND gate is not reversible$\unicode{x2014}$on qubits. However, it is reversible on qutrits, making it a building block for efficient simulation of qubit computation using qutrits. We first observe that there are multiple two-qutrit Clifford+T unitaries that realize the AND gate with T-count 3, and its generalizations to $n$ qubits with T-count $3n-3$. Our main result is the construction of a novel qutrit $\mathopen{[\![} 6,2,2 \mathclose{]\!]}$ quantum error-correcting code with a transversal implementation of the AND gate. The key insight in our approach is that a symmetric T-depth one circuit decomposition$\unicode{x2014}$composed of a CX circuit, T and T dagger gates, followed by the CX circuit in reverse$\unicode{x2014}$of a given unitary can be interpreted as a CSS code. We can increase the code distance by augmenting the code circuit with additional stabilizers while preserving the logical gate. This results in a code with a "built-in" transversal implementation of the original unitary, which can be further concatenated to attain a $\mathopen{[\![} 48,2,4 \mathclose{]\!]}$ code with the same transversal logical gate. Furthermore, we present several protocols for mixed qubit-qutrit codes which we call Qubit Subspace Codes, and for magic state distillation and injection.

연구 동기 및 목표

• 고장 허용 양자 계산 내에서 가역적인 AND 게이트를 구현하기 위해 qutrit의 사용을 고무한다.
• 전사적 이진 AND 연산을 둘러싼 qutrit 안정자 코드 구축.
• 전사적 게이트를 보존하면서 코드 중첩(concatenation)을 통해 코드 거리 증가 방법 시연.
• 혼합 차원(큐빗-쿷트리) 코드 개념 및 매직 상태 증류와 주입 프로토콜 도입.

제안 방법

• 정확한 회로 합성을 활용해 대칭 T-depth 1 회로를 CSS 인코더와 연결하고, 트랜스버설 비-Clifford 연산을 가능하게 한다.
• ZX-계산법을 사용해 페이즈-가젯 기반 인코더로부터 안정자와 논리 연산자를 재해석하고 추출한다.
• |0⟩-제어 Z 게이트를 구현하는 대칭 T-depth 1 회로를 도출하고 그 CSS 구조를 식별한다.
• 인코더 형태로부터 X-형/ Z-형 안정자와 논리 연산자를 읽어 트랜스버설 AND를 구현하는 J6,2,2K 코드를 얻는다.
• 내부 J6,2,2K를 외부 코드(J8,1,2K)와 연결(concatenate)해 거리 4를 달성하고 트랜스버설 AND를 구현하는 J48,2,4K를 얻는다.
• 프레임워크를 큐빗 서브스페이스 코드로 확장하고 매직 스테이트 증류 및 결정적 주입 프로토콜을 제공한다.

실험 결과

연구 질문

• RQ1 특히 AND인 큐빗 논리 게이트의 트랜스버설 구현을 허용하는 비자명한 qutrit QEC 코드를 어떻게 구성할 수 있는가?
• RQ2 코드 거리를 증가시키면서도 트랜스버설 논리 게이트를 보존할 수 있나, 그리고 결합(concatenation)이 이를 어떻게 달성하는가?
• RQ3 혼합 큐빗-쿷트리 코드(Qubit Subspace Codes)의 이점과 구성 방법은 무엇이며, 그것들이 고장 허용 연산과 매직 상태 프로토콜을 어떻게 지원할 수 있는가?

주요 결과

• 2-큐트리 AND 구성에서 T-수 3으로 qutrit Clifford+T 집합에서 이진 고전 논리 게이트 집합(AND/OR/NOT)을 정확히 모사할 수 있다.
• 큐빗 AND에 대한 T-depth 1 대칭 회로는 트랜스버설 AND를 갖는 J6,2,2K 큐트리트 코드를 가능하게 한다.
• 도출된 코드는 거리 2를 가지며, X-타입 안정자를 추가하고 ZX-계산 재작성으로 트랜스버설 AND를 위한 대칭 인코더를 얻는다.
• 외부 코드 J8,1,2K와의 코드 결합은 거리-4의 J48,2,4K 코드를 낳아 트랜스버설 AND를 구현한다(24 T 및 24 T† 게이트).
• 이 연구는 Qubit Subspace Codes를 도입하며, 논리적인 qutrit를 큐빗 부분 공간으로 매핑하는 사영(projections)을 보여 주며 혼합 차원 부호화 전략을 가능하게 한다.
• 논문은 |0⟩-제어 Z/K 게이트(AND)의 결정적 주입 및 증류를 다루며 매직-스테이트 프로토콜의 일부로 제시한다.