Borrowed Identities: Malleable Distillation Factories and a Unified Numerical Search

기술 요약: 매직 상태 증류를 위한 빌려온 항등식(Borrowed Identities) 및 통합 수치 탐색

문제 정의
매직 상태 증류(Magic-state distillation, MSD)는 게이트 텔레포테이션을 통해 비-클리포드(non-Clifford) 게이트를 구현하는 데 필수적인, 결함 허용 양자 컴퓨팅(FTQC)의 주요 오버헤드입니다. 증류 공장(distillation factory)을 설계하는 기존 방식들은 트랜스버설(transversal) 게이트가 전체 코드 공간(codespace)에 대해 올바르게 작용해야 한다는 "하이젠베르크 묘사(Heisenberg picture)"에 의존합니다. 이 제약 조건은 흔히 삼중 직교성(tri-orthogonality) 또는 준-트랜스버설리티(quasi-transversality)로 정형화되며, 이는 탐색의 일반성과 효율성을 제한하여 설계 문제를 비선형 행렬 방정식으로 변질시킵니다. 또한, 현재의 프레임워크들은 서로 다른 매직 상태(예: $|T\rangle, |CS\rangle, |CCZ\rangle$)를 위한 공장을 별개의 문제로 취급하며, 이는 클리포드 계층(Clifford hierarchy) 전반에 걸친 통합된 탐색을 방해합니다.

방법론: 빌려온 항등식 프레임워크
저자들은 슈뢰딩거 묘사(Schrödinger picture)에서 정식화된, "빌려온 항등식(borrowed identity)"이라는 엄격히 더 약한 조건을 도입합니다. 전체 코드 공간에 대해 회로가 항등식으로 작용할 것을 요구하는 대신, 이 프레임워크는 회로 $C$가 특정 입력 상태에 대해서만 (전역 위상 차이를 제외하고) 항등식으로 작용할 것을 요구합니다:
$$C |+\rangle^{\otimes n} = e^{i\phi} |+\rangle^{\otimes n}$$
여기서 "항등식"은 입력 상태로부터 효과적으로 빌려온 것입니다. 증류 공장은 $n$개의 큐비트에 대한 이러한 빌려온 항등식 회로를 구성한 뒤, $k$개의 출력 큐비트에만 작용하는 모든 게이트를 제거함으로써 구축됩니다. 나머지 $n-k$개의 큐비트는 오류 검출을 위해 $X$ 기저에서 측정되며, $k$개의 출력 큐비트는 증류된 매직 상태 $|\theta\rangle$로 남게 됩니다.

이 프레임워크는 $\theta = \pi/2^l$인 패리티 위상 게이트 $Z^{\otimes w}(\theta)$를 활용하며, 이는 클리포드 계층의 $l$번째 레벨에 대응합니다. 저자들은 이러한 회로가 수정 없이 모든 레벨 $l$에 대해 균일하게 작동하는 대수적 조건을 유도합니다.

탐색은 다음 세 가지 설정에서 수행됩니다:

1. 대칭 회로(Symmetric Circuits): 전체 대칭군 $S_n$에 대해 불변입니다. 이는 알려진 패밀리인 양자 리드-뮬러(quantum Reed–Muller) 코드를 복구하는 폐쇄형 마스터 방정식(정리 3)을 생성합니다.
2. 이중 그룹 대칭 회로(Two-Group Symmetric Circuits): 큐비트를 $k$개의 출력 큐비트와 $n-k$개의 체크 큐비트로 분할하며, 각 그룹 내에서 대칭성($S_k \times S_{n-k}$)을 가집니다. 이를 통해 부호 할당의 유효성을 $\mathbb{Z}_{2^{l+1}}$ 상의 선형 조건(정리 5)을 통해 다항 시간 $O(k(n-k))$ 내에 검증할 수 있는 브루트 포스(brute-force) 탐색이 가능합니다.
3. 가변 회로(Malleable Circuits): 단일 부모 빌려온 항등식이 여러 공장을 인코딩하는 순차적 구성입니다. 게이트를 순차적으로 제거함으로써, 출력 매직 상태의 유형(예: $|T\rangle, |CS\rangle, |CCZ\rangle$)을 하드웨어 설계 시점이 아닌 컴파일 시점에 선택할 수 있습니다.

주요 기여 및 결과

• 통합 탐색 공간: 이 프레임워크는 서로 다른 매직 상태(얽히지 않은 $T$, 얽힌 $CS$, $CCZ$)를 증류하는 공장 탐색을 단일 수치 탐색 내로 통합합니다. 이는 Bravyi–Haah, H-code, 일반화된 삼중 직교, 그리고 synthillation 패밀리를 포함하여 서로 이질적인 접근법들로부터 얻어진 알려진 공장들을 복구합니다.
• 알려진 공장 및 새로운 공장의 복구: 표준 노트북을 사용한 이중 그룹 비대칭 회로에 대한 브루트 포스 탐색을 통해, 탐색 범위($l \in \{2,3,4\}, k \le 7, n \le 11$) 내의 모든 알려진 거리-2 공장을 약 9초 만에 복구했습니다. 여기에는 다음이 포함됩니다:
  • $[[2^{l+1}-1, 1, 3]]$ 양자 리드-뮬러 패밀리 (거리 3).
  • $[[2^l, l, 2]]$ 하이퍼큐브 양자 코드 패밀리.
  • 대수 기하(AG) 코드로부터 유도된 구성과 일치하는 $[[12, 2, 2]]$ T-to-CS 공장 및 $[[24, 6, 2]]$ T-to-CCZ 공장.
  • 이중 그룹 대칭성을 깨뜨리는 Campbell–Howard synthillation 회로와 같은 이전에 연결되지 않았던 패밀리들.
• 가변성(Malleability): 저자들은 단일 부모 회로가 여러 개의 서로 다른 공장을 인코딩할 수 있음을 보여줍니다. 예를 들어, 4-큐비트 부모 회로는 서로 다른 게이트 세트를 제거함으로써 $[[8, 3, 2]]$ ($|CCZ\rangle$), $[[12, 2, 2]]$ ($|CS\rangle$), 그리고 $[[14, 1, 2]]$ ($|T\rangle$)를 생성할 수 있습니다. 이를 통해 출력 유형을 컴파일 시점으로 미룰 수 있습니다.
• CSS를 넘어선 확장: 이 프레임워크는 빌려온 항등식 성분 외에도 클리포드 게이트를 사용하는 촉매 공장(catalytic factories, 예: $[[11, 1, 2]]$ 및 $[[10, 2, 2]]$)을 포함하여 비-CSS 구성을 자연스럽게 확장합니다.

의의
본 논문은 빌려온 항등식 조건이 트랜스버설 게이트 제약에 대한 "엄격히 더 약한" 그리고 더 일반적인 대안을 제공하며, 이를 통해 증류 공장에 대한 통합적이고 효율적이며 철저한 탐색을 가능하게 한다고 주장합니다. 연산자의 트랜스버설리티를 추적하는 하이젠베르크 묘사에서 상태의 진화를 추적하는 슈뢰딩거 묘사로 전환함으로써, 저자들은 선형적이고 레벨에 무관한(level-uniform) 대수적 구조를 달성했습니다. 이러한 통합은 이전에 별개였던 많은 공장 구성들이 단일 부모 회로의 종착점임을 밝혀내며, 결함 허용 컴파일을 위한 새로운 자유도를 제공합니다. 즉, 특정 매직 상태 자원을 하드코딩하는 대신 컴파일 시점에 선택할 수 있는 능력입니다. 이 연구는 모든 클리포드 레벨과 출력 유형에 걸친 증류를 위한 단일 대수적 토대를 구축하며, 코드 기반 구성과 회로 기반 탐색 사이의 간극을 메웁니다.