[논문 리뷰] Non-Abelian qLDPC: TQFT Formalism, Addressable Gauging Measurement and Application to Magic State Fountain on 2D Product Codes

Guanyu Zhu, Ryohei Kobayashi외 1명|arXiv (Cornell University)|2026. 01. 11.

Quantum Computing Algorithms and Architecture인용 수 0

한 줄 요약

논문은 포이어 CW 복합체에서 비아벨 qLDPC 코드를 구축하고, TQFT 기반 경로적분 형식을 개발하며, 주소가능한 게이징 측정을 사용해 2D 곱 코드에서 상수 속도 및 √n 거리의 네이티브 비클리포드 게이트와 매직 스테이트 분수를 구현한다.

ABSTRACT

A fundamental problem of fault-tolerant quantum computation with quantum low-density parity-check (qLDPC) codes is the tradeoff between connectivity and universality. It is widely believed that in order to perform native logical non-Clifford gates, one needs to resort to 3D product-code constructions. In this work, we extend Kitaev's framework of non-Abelian topological codes on manifolds to non-Abelian qLDPC codes (realized as Clifford-stabilizer codes) and the corresponding combinatorial topological quantum field theories (TQFT) defined on Poincaré CW complexes and certain types of general chain complexes. We also construct the spacetime path integrals as topological invariants on these complexes. Remarkably, we show that native non-Clifford logical gates can be realized using constant-rate 2D hypergraph-product codes and their Clifford-stabilizer variants. This is achieved by a spacetime path integral effectively implementing the addressable gauging measurement of a new type of 0-form subcomplex symmetries, which correspond to addressable transversal Clifford gates and become higher-form symmetries when lifted to higher-dimensional CW complexes or manifolds. Building on this structure, we apply the gauging protocol to the magic state fountain scheme for parallel preparation of $O(\sqrt{n})$ disjoint CZ magic states with code distance of $O(\sqrt{n})$, using a total number of $n$ qubits.

연구 동기 및 목표

• 포이어 CW 복합체를 넘어서는 조합론적 TQFT를 사용하여 비아벨 qLDPC 코드를 동기화하고 구성한다.
• 위상적 불변량을 산출하고 내고장 논리 작용을 안내하는 경로적분 형식을 도입한다.
• 하위복소/고차 형상(symmetries)을 이용한 주소가능한 게이징 측정으로 논리적 비클리포드 게이트를 구현하는 방법을 보여준다.
• 확장 가능한 자원 수를 갖는 2D(두께 증가된 또는 골격) 하이퍼그래프-프로덕트 코드에서 병렬 매직-스테이트 분수를 시연한다.

제안 방법

• 골격(classical LDPC) 코드를 고차원 CW 복합체 및 포이어 CW 복합체로의 변형에 매핑한다.
• CZ 게이트로 옷입힌 X-안정자를 가진 스테이빌라이저 코드로 비아벨 qLDPC 코드를 구성한다.
• 이들 복합체에서 컵 곱을 이용한 시공 간 경로적분을 정의하여 위상적 불변량을 얻는다.
• 두께가 있는 2D 하이퍼그래프-프로덕트 코드의 인코딩 속도와 거리(상수 속도, 거리 Ω(√n))를 실현한다.
• 고차 형상 및 하위복소 대칭성에 대한 주소가능한 게이징 측정 프로토콜을 개발하여 논리적 CZ 게이트를 구현한다.
• 게이징 측정 프로토콜이 2D 곱 코드에서 병렬로 서로 다른 매직 상태를 준비하게 하는 매직-스테이트 분수를 가능하게 한다.

실험 결과

연구 질문

• RQ1 비아벨 qLDPC 코드가 매니폴드 밖의 포이어 CW 복합체 위에서 정의된 조합론적 TQFT로 실현될 수 있는가?
• RQ2 시공 간 경로적분이 qLDPC 코드의 내고장 논리 작용을 형식화할 수 있는가?
• RQ3 고차 형상 또는 하위복소 대칭성의 주소가능한 게이징 측정이 2D 곱 코드에서 네이티브 비클리포드 게이트를 가능하게 하는가?
• RQ4 2D 하이퍼그래프-프로덕트 코드를 이용한 매직-스테이트 분수의 확장성(속도, 거리, 큐빗 수)은 어떠한가?
• RQ5 이 구성들이 꼬인 게이지 이론과 일치하는 비아벨 융합/브레이딩 통계를 제공하는가와 보로미안 링형 브레이딩을 보여주는가?

주요 결과

• 일반 체인 복합체와 포이어 CW 복합체에서 최초의 비아벨 qLDPC 코드 및 대응하는 TQFT가 구성된다.
• 꼬인 고차 형상 게이지 이론에 대한 시공 간 경로적분이 이러한 복합체에서 위상적 불변량으로 정의된다.
• 프레임워크는 고차 형상 또는 하위복소 대칭성을 통해 주소가능한 트랜스버설 게이트를 제공하여 2D 코드에서 비클리포드 연산을 가능하게 한다.
• 2D 하이퍼그래프-프로덕트 코드에서 Θ(√n) 개의 서로 다른 CZ 매직 상태를 가진 매직-스테이트 분수가 n 큐빗을 사용해 O(d) 라운드에서 Ω(√n) 거리를 갖고 실현된다.
• 경로적분 게이징과 논리 작용 사이의 연결고리를 제공하여 범용 계산을 위한 자원 상태의 병렬 준비를 가능하게 한다.
• 비아벨 융합 및 보로미안 링 형태의 브레이딩 통계가 도출되어 꼬인 qLDPC 코드에서 진정한 비아벨 위상 차원을 보여준다.