Enlarging the GKP stabilizer group for enhanced noise protection

기술 요약: 향상된 노이즈 보호를 위한 GKP 안정자 그룹의 확장

문제 정의
Gottesman-Kitaev-Preskill(GKP) 코드는 작은 변위 오차(displacement errors)에 대해 양자 정보를 보호하는 데 매우 효과적이며, 이는 조화 진동자 시스템에서의 진폭 감쇄(보존 손실, bosonic loss)에 대응하는 데 유용하여 유망한 보존 인코딩 방식입니다. 그러나 유한 에너지 GKP 상태의 경우, 물리적 구현이 유일하지 않습니다. 동일한 논리적 게이트에 대한 서로 다른 물리적 구현은 위상 공간(phase space)에서 상태의 서로 다른 "엔벨로프(envelope)"(가우시안 프로파일)를 생성할 수 있습니다. 보존 손실 및 디페이징(dephasing)과 같은 노이즈 채널은 상태의 위치와 스퀴징(squeezing) 정도에 따라 다르게 영향을 미치므로, 물리적 구현을 나이브하게 혹은 무작위로 선택하면 최적의 노이즈 탄력성을 얻지 못할 수 있습니다. 이 연구가 다루는 핵심 문제는 코드의 중복성을 활용하여 오류 축적을 최소화하기 위해 논리적 클리포드(Clifford) 회로의 최적의 물리적 구현을 어떻게 체계적으로 선택할 것인가 하는 것입니다.

방법론
저자들은 GKP 코드의 안정자 그룹(stabilizer group)을 재정의함으로써 이 문제에 접근합니다. 전통적으로 안정자 그룹은 코드 공간을 고정하는 연산자들의 아벨 군(abelian group)으로 정의됩니다. 본 연구에서는 이 아벨 조건을 완화하여, 코드 공간에 항등 연산자(identity)로 작용하는 모든 유니터리 연산자의 집합인 **유니터리 안정자 그룹($S_U$)**을 정의합니다. 이 중 저자들은 가우시안 유니터리(이차 해밀토니안에 의해 생성되는 연산)로 구성된 **가우시안 안정자 그룹($S_G$)**에 초점을 맞춥니다.

1. 가우시안 안정자 그룹의 특성화:

   • 저자들은 정수 행렬 환(ring of integer matrices) 상에서 이차 행렬 방정식을 풀어 $S_G$의 생성원(generators)을 도출합니다. 이들은 $S_G$가 특정 스퀴징 및 변위 연산을 포함한 유한한 가우시안 연산 세트(표준 병진 안정자 포함)에 의해 생성됨을 확인했습니다.
   • 정사각형(square) GKP 코드에 대해, 이들은 논리적 클리포드 게이트의 제곱(예: $H^2, Q^2, P^2$) 및 인코딩된 제어-파울리(controlled-Pauli) 연산에 해당하는 연산들을 포함하는 생성원들을 명시적으로 구축합니다.

2. 최적화 기준:

   • 논문은 기저 격자(grid)가 온전하게 유지된다면, 유한 에너지 GKP 상태의 논리적 정보가 가우시안 엔벨로프와 독립적임을 입증합니다. 이러한 중복성은 동일한 논리적 상태에 대해 서로 다른 물리적 엔벨로프를 선택할 수 있게 합니다.
   • 노이즈 모델(보존 손실 및 디페이징)에 기반하여 구현의 "품질"을 평가하기 위해 두 가지 지표를 제안합니다:
     • 변위 지표 ($d^2_\mu$): 엔벨로프 평균 위치의 원점으로부터의 제곱 유클리드 거리를 최소화합니다. 노이즈 효과는 반경 방향 거리에 따라 스케일링되기 때문입니다.
     • 스퀴징 지표 ($d^2_\Sigma$): 엔벨로프 공분산 행렬을 최적의 비스퀴징(unsqueezed) 상태로부터의 편차를 최소화합니다. 스퀴징은 노이즈에 대한 취약성을 높이기 때문입니다.

3. 컴파일러 알고리즘:

   • "가우시안 안정자 컴파일러(Gaussian Stabilizer Compiler)"가 제안됩니다. 대상 논리 클리포드 연산이 주어지면, 알고리즘은 베이스 구현에 적용할 가우시안 안정자 생성원의 시퀀스($S_G$의 케일리 그래프 상에서의 "워크(walk)")를 탐색하며, 이 과정에서 변위 및 스퀴징 지표를 최소화합니다.
   • 계산의 용이성을 위해 탐색은 짧은 시퀀스(예: 길이 $n=2$)로 제한됩니다. 항등 연산에서 멀리 떨어진 연산들은 일반적으로 과도한 노이즈를 유발하기 때문입니다.

주요 기여

• 안정자 이론의 일반화: 본 논문은 코드 공간에 항등 연산자로 작용하는 비아벨(non-abelian), 무한 차수 유니터리 연산을 포함하도록 안정자 그룹의 개념을 확장하였으며, 특히 GKP 코드를 위한 가우시안 부분군을 식별하였습니다.
• 분석적 도출: 저자들은 정수 환 상의 관련 행렬 방정식을 해결함으로써 임의의 격자 기반 GKP 코드에 대한 가우시안 안정자 그룹 생성자의 완전한 특성화를 제공합니다.
• 노이즈 인식 컴파일: 이 연구는 중간 상태의 여기수(excitation number)와 위상 공간 변위를 최소화하도록 물리적 게이트 구현을 명시적으로 최적화하는 컴파일 전략을 도입하여, 유한 에너지 GKP 상태의 노이즈 민감도 문제를 직접 해결합니다.
• 알고리즘 구현: 이러한 대칭성을 활용하여 논리 클리포드 회로를 노이즈에 강한 물리적 시퀀스로 컴파일하는 구체적인 알고리즘을 제시합니다.

결과
저자들은 1, 2, 3개의 논리 큐비트를 가진 정사각형 GKP 코드에 대한 논리적 랜덤 벤치마킹(Logical Randomized Benchmarking, LRB) 시뮬레이션을 통해 컴파일러를 검증했습니다.

• 성능 비교: 가우시안 안정자(GS) 컴파일러를 "상수 컴파일러"(고정된 구현) 및 "랜덤 워크 컴파일러"(항등 연산에 가까운 구현을 무작위로 선택)와 비교했습니다.
• 수명 연장: GS 컴파일러는 두 베이스라인보다 일관되적으로 우수한 성능을 보였으며, 더 긴 회로 시퀀스 동안 논리적 상태의 생존 확률을 높였습니다.
• 노이즈 의존성: 성능 이득(개선 계수)은 보존 손실률이 낮을 때 가장 두드러졌습니다. 손실률이 높아지면 예상대로 노이즈가 코드의 교정 능력을 압도하게 되어 이점이 감소합니다.
• 지표 상관관계: 시뮬레이션은 GS 컴파일러가 다른 전략들에 비해 계산 과정 전반에 걸쳐 변위 및 스퀴징 지표를 성공적으로 낮게 유지함을 확인시켜 줍니다.

의의 및 주장
본 논문은 GKP 코드 공간의 비아벨 대칭성을 활용함으로써, 하드웨어나 오류 정정 프로토콜을 변경하지 않고도 양자 계산의 논리적 수명을 유의미하게 연장할 수 있다고 주장합니다. 저자들은 이 작업이 보존 코드(bosonic codes)를 이용한 결함 허용 양자 컴퓨팅(fault-tolerant quantum computing)을 향한 중요한 단계라고 위치시키며, 성능이 뛰어난 컴파일 전략이 코드 자체만큼이나 필수적이라고 강조합니다. 또한, 이 접근 방식이 향후 하이브리드 체계에서 상태 텔레포테이션(state teleportation)이나 sBs 안정화(sBs stabilization)와 같은 다른 오류 정정 기술과 통합될 수 있음을 시사합니다. 이 연구는 보편적 양자 계산을 해결하려는 것이 아니라, 매직 상태 주입(magic state injection)을 통한 보편적 계산의 전제 조건인 클리포드 레이어(Clifford layer)를 최적화하는 데 집중하고 있습니다.