Bosonic codes from compact phase spaces

기술 요약: 컴팩트 위상 공간으로부터의 보존 코드(Bosonic Codes)

문제 정의
고테스만-키타에프-프레스킬(Gottesman–Kitaev–Preskill, GKP) 코드는 평평한 위상 공간(복소 평면) 위에 격자 변위 대칭성을 부과함으로써 단일 보존 모드에 양자 정보를 인코딩한다. 이 평면을 격자로 몫을 취한 결과는 토러스(genus $g=1$)가 되며, 코드 워드는 테타 함수(theta functions)에 대응한다. 근본적인 질문은 위상 공간이 genus $g \ge 2$인 컴팩트 리만 곡면일 때 어떤 보존 코드가 나타나는가 하는 것이다. 이러한 곡면들은 비자명한 위상(topology)과 음의 곡률(쌍곡 기하학)을 가지며, 이는 플랫한 토러스의 경우과 비교하여 안정기 군(stabilizer group)의 대수적 및 스펙트럼적 특성을 근본적으로 변화시킨다.

방법론 및 프레임워크
저자들은 기하학적 양자화를 사용하여 컴팩트 쌍곡 리만 곡면 상의 보존 양자 오류 수정 코드를 구축한다.

• 위상 공간 및 안정기(Stabilizers): 위상 공간은 $C = \Gamma \backslash \mathbb{D}$ (여기서 $\mathbb{D}$는 푸앵카레 디스크, $\Gamma$는 컴팩트 푸크시아 군)로 모델링된다. 물리적 시스템은 $SU(1,1)$의 표현을 갖는 두 개의 보존 모드($\hat{a}, \hat{b}$)로 구성된다. 안정기 군 $\Gamma$는 $SU(1,1)$의 부분군으로 리프트되며, 이는 스퀴징 변환(GKP 변위의 쌍곡형 대응물)으로 작용한다.
• 스텔라 표현(Stellar Representation): 저자들은 양자 상태를 위상 공간 위의 선 번들(line bundle) 상의 홀로모픽 섹션(holomorphic sections)으로 매핑하는 스텔라 표현을 사용한다. genus $g$인 컴팩트 곡면의 경우, 스텔라 함수는 전체 함수(entire functions)가 아니라 안정기 군 $\Gamma$에 대해 변환되는 오토모픽 폼(automorphic forms, 구체적으로는 홀로모픽 $k$-differentials)이다.
• 코드 공간 차원: 리만-로흐 정리(Riemann–Roch theorem)를 사용하여 코드 공간 $\mathcal{H}_\Gamma$의 차원은 정수 가중치 $k \ge 2$에 대해 $\dim \mathcal{H}_\Gamma = (2k-1)(g-1)$로 유도된다.
• 논리 게이트(Logical Gates): 논리 게이트 군은 안정기 격자를 보존하는 곡면의 자기 동형 군(automorphism group)인 $\text{Aut}(C)$로 식별된다. 그린버그의 정리에 따라, 임의의 유한 군은 이러한 쌍곡 곡면 상의 코드를 위한 논리 게이트 군으로 실현될 수 있다.

주요 기여 및 결과

1. 코드 워드의 명시적 구축:
   저자들은 오토모픽 폼으로서 코드 워드를 명시적으로 구축한다. 가장 대칭적인 genus-two 볼자 곡면(Bolza surface)의 경우, 모든 정수 가중치에 대한 전체 타워(tower)의 코드 공간을 생성한다.

   • 가중치 $k=2$에서, 코드 공간은 곡면의 세 가지 가장 짧은 닫힌 측지선(곡면의 "팬츠" 분해)과 관련된 푸앵카레 테타 급수(Poincaré theta series)에 의해 생성된다.
   • 이 테타 급수들은 $Y^2 = XZ$라는 코닉 관계(conic relation)를 만족하며, 이를 통해 $k=1$ 코드 공간(논리 큐비트)의 기저를 형성하기 위한 제곱근을 추출할 수 있다.
   • 볼자 코드의 논리 게이트는 $GL(2, \mathbb{F}_3)$를 형성하는 48개의 가우시안 연산(스퀴징 및 회전)으로 명시적으로 계산된다.

2. 스펙트럼 갭 장애 (No-Go 정리):
   본 논문은 $g \ge 2$인 경우 정규화 가능한 코드 상태의 존재성에 관한 근본적인 No-go 정리를 증명한다.

   • 비아메나블성(Non-Amenability): genus $g \ge 2$에 대해, 곡면 군 $\pi_1(\Sigma_g)$는 비아메나블하다.
   • 스펙트럼 갭: 이 비아메나블성은 안정기 해밀토니안 $\hat{H}_{\text{stab}} = 1 - \frac{1}{N} \sum (\hat{D}_i + \hat{D}_i^\dagger)$에 엄격히 양수인 스펙트럼 갭 $\delta > 0$을 강제한다.
   • 결과: 이 갭 때문에, 어떤 정규화 가능한 양자 상태도 모든 안정기 조건을 동시에 만족할 수 없으며, 정규화 가능한 상태들의 시퀀스가 임의의 정밀도로 코드 공간을 근사할 수도 없다. 이는 스펙트럼 갭이 0이고 근사 코드 워드가 임의의 정밀도로 존재하는 $g=1$ GKP 코드와 극명하게 대조된다.

3. 아메나블성 이분법(Amenability Dichotomy):
   저자들은 안정기 군의 아메나블성을 기준으로 명확한 경계선을 설정한다:

   • $g=0$ (구): 유한 안정기 군; 정확한 코드 워드가 존재함.
   • $g=1$ (토러스): 아메나블한 무한 안정기 군; 임의의 정밀도를 가진 근사 코드 워드가 존재함.
   • $g \ge 2$ (쌍곡): 비아메나블한 안정기 군; 정규화 가능한 정확한 또는 근사적인 코드 워드가 존재하지 않음.

4. 실험 플랫폼 및 소산적 안정화(Dissipative Stabilization):
   논문은 트랜스몬 안실라(transmon ancilla)에 결합된 두 개의 마이크로파 공동(cavity)을 사용하는 회로 QED 구현을 제안한다.

   • 유효 해밀토니안은 크로스-커(cross-Kerr) 상호작용과 파라메트릭 2-모드 스퀴징을 포함하여 필요한 가우시안 게이트를 가능하게 한다.
   • 코드를 안정화하기 위한 "조건부 킥(conditional-kick)" 프로토콜이 설명된다. 수치 시뮬레이션 결과, 단일 생성자 프로토콜은 시스템을 코드 공간으로 성공적으로 유도하지만, 다중 생성자 프로토콜($g \ge 2$에 필요)은 안정기 에너지를 0으로 수렴시키지 못하고 스펙트럼 갭에 의해 결정된 값에서 정체(plateau)되는 것을 보여준다. 이는 이론적 장애물에 대한 수치적 증거를 제공한다.

의의 및 주장
본 논문은 곡률과 genus에 따른 컴팩트 2차원 위상 공간 상의 연속 변수 양자 코드 분류를 완료했다고 주장한다.

• 이 연구는 풍부한 논리 게이트 구조(임의의 유한 군)를 가능하게 하는 풍부한 기하학적 구조가 동시에 코드 상태 자체의 존재를 방해한다는 점을 보여줌으로써, 고차 genus의 보존 코드 문제를 해결한다.
• 이 작업은 풍부한 논리 연산(비아메나블성)을 위한 기하학과 오류 수정(아메나블성)을 위한 안정성 사이의 근본적인 긴장 관계를 강조한다.
• 저자들은 $g \ge 2$인 경우 정확한 안정기 고유 상태는 불가능하지만, 유니터리가 비유니터리 엔벨로프에 의해 변형된 유한 에너지 유사체(finite-energy analogues)가 이 장애물을 우회할 수 있을 것이라 언급하며, 이는 하드웨어 구현을 위한 열린 과제를 제시한다.

이 논문은 현재의 형태로는 이 코드들이 결함 허용 양자 컴퓨팅(fault-tolerant quantum computing)을 위해 즉시 실행 가능하다고 주장하지 않는다. 대신, 쌍곡 위상 공간 상의 보존 코드의 한계를 정의하는 엄격한 수학적 프레임워크와 "no-go" 결과를 제공함으로써, 성공적인 플랫 공간 GKP 코드와 대조되는 역할을 한다.