Single-Period Floquet Control of Bosonic Codes with Quantum Lattice Gates

기술 요약: 양자 격자 게이트를 이용한 보존 코드의 단일 주기 플로케 제어

문제 정의
보존 코드(Bosonic codes)는 조화 진동자의 무한 차원 힐베르트 공간을 활용하여 중복성을 통해 양자 정보를 인코딩함으로써 결함 허용 양자 컴퓨팅을 위한 유망한 경로를 제공한다. 기존의 플로케 프로토콜은 해석적인 코드를 구축할 수 있게 해주지만, 일반적으로 수천 번의 구동 주기에 걸친 느린 단열 램프(adiabatic ramps)에 의존한다. 이러한 단열성에 대한 의존은 범용 양자 연산의 속도와 실질적인 확장성을 심각하게 제한한다. 더욱이, 비가우시안 자원(non-Gaussian resources)을 생성하고 논리 게이트를 구현하는 현재의 방법들은 복잡한 회로 설계나 계산 비용이 많이 들고 수렴 속도가 느린 전역 변분 탐색(global variational searches)을 포함하는 경우가 많다.

방법론
저자들은 단일 플로케 주기 내에서 임의의 유니터리 연산을 합성하는 해석적이고 결정론적인 플로케 엔지니어링 방법을 소개하며, 이를 통해 단열 램프의 필요성을 우회한다. 핵심 방법론은 다음과 같다:

1. 비가환 플로케 엔지니어링(Noncommutative Floquet Engineering): 저자들은 비가환 푸리에 변환(NcFT) 이론을 활용하여 타겟 해밀토니안 $\hat{H}_{tar}$(원하는 유니터리 $\hat{U}_{tar}$를 생성하는)을 평면파 연산자의 중첩으로 분해한다. 이를 통해 코사인 형태의 성분들로 구성된 시간 의존적 구동 포텐셜 $V(t)$를 직접 합성할 수 있다.
2. 양자 격자 게이트(Quantum Lattice Gates, QLGs): 합성된 구동 포텐셜은 트로터-스즈키(Trotter–Suzuki, TS) 분해를 사용하여 근사되며, 결과적으로 일련의 기초적인 양자 격자 게이트를 생성한다. 이 게이트들은 초전도 회로 내 조셉슨 접합(Josephson junctions, JJs)의 완전한 고유 비선형성을 활용한다.
3. 유니터리 구축: 특정 타겟 상태(예: 바이노미얼, 캣, GKP 코드)를 기지(known)의 초기 상태(예: 진공 상태)로부터 준비하기 위해, 저자들은 하우스홀더(Householder) 기반 구축법을 사용한다. 이는 단열 진화 없이 초기 상태를 타겟 상태로 매핑하는 폐쇄형(closed-form) 유니터리 연산자를 제공한다.
4. 최적 펄스 엔지니어링(Optimal Pulse Engineering, OPE): 고차 플로케-마그누스(Floquet-Magnus) 전개 및 TS 분해에서 발생하는 오차를 완화하기 위해, 저자들은 수치적 최적화 기법을 개발한다. 이 방법은 특정 하드웨어 제약 조건 하에서 구동 강도의 시간 의존적 엔벨로프(envelope)를 최적화하여, 상태 준비 및 게이트 연산의 불충분성(infidelity)을 최소화한다.

주요 기여

• 단일 주기 합성: 본 연구는 수천 번의 주기가 필요한 기존 프로토콜과 달리, 단일 플로케 주기 내에서 임의의 보존 유니터리를 합성하는 방법을 입증한다.
• 하르-무작위 통계(Haar-Random Statistics): 이 접근 방식으로 생성된 위상 공간 유니터리 앙상블은 하르-무작위 통계를 재현하며, 이를 통해 연속 변수(CV) 시스템에서 의사 무작위(pseudorandom) 상태를 실질적으로 생성할 수 있게 한다.
• 코드 준비 및 논리 게이트: 저자들은 바이노미얼, 캣, GKP 코드를 진공으로부터 직접 성공적으로 준비하였다. 나아가 이 코드들에 대해 단일 큐비트 논리 게이트(Hadamard, Phase, T 게이트)의 구현을 시연하였다.
• 자원 효율성: 이 방법은 기존의 SNAP 기반 구축법과 비교했을 때 최적화에 필요한 계산 자원을 줄여주는 해석적 프레임워크를 제공한다.

결과

• 상태 준비 충실도: 수치 시뮬레이션 결과, 최적 펄스 엔지니어링을 사용할 경우 바이노미얼, 캣, GKP 코드를 $10^{-5}$ 미만의 상태 불충분성(infidelity)으로 준비할 수 있음을 보여준다.
• 게이트 성능: 단일 큐비트 논리 게이트는 수 마이크로초 단위의 QLG 연산 내에서 평균 게이트 에러 $10^{-4}$ 수준으로 구현된다.
• 속도 향상: 단일 주기 접근 방식은 수천 번의 플로케 주기가 필요한 기존의 단열 프로토콜보다 약 3개 차수(orders of magnitude) 더 빠르다.
• 확장성: 하르 상태(Haar-state) 준비를 위해, 계산 자원(특히 트로터 단계 수)은 힐베르트 공간 차원에 선형적으로 비례하며($N_t \sim O(d)$), 이는 SNAP 기반 방식보다 현저히 작은 계수를 갖는다.
• 제어 가능성 벤치마크: SNAP 기반 회로와의 비교를 통해, QLG 안사츠(ansatz)가 더 적은 훈련 가능한 파라미터($R_{min} \sim 2d$ for QLG vs. $R_{min} \sim 5d$ for SNAP)로 타겟 정확도를 달성하며 더 빠른 최적화 수렴을 보임을 확인하였다.
• 강건성: 단일 주기 방식에 내재된 짧은 연산 시간은 느린 단열 프로토콜에 비해 결맞음 노이즈(coherent noise) 및 결맞음성 상실(decoherence)에 대해 상당한 강건성을 제공한다.

의의
본 논문은 이 접근 방식가 방법론과 실험적 구현 모두에서 기존 방법들과 근본적으로 다르다고 주장한다. 느린 단열 램프와 전역 변분 탐색을 피함으로써, 이 프레임워크는 CV 시스템 및 보존 상태의 빠르고 높은 충실도를 가진 제어를 위한 하드웨어 친화적이고 효율적인 경로를 제공한다. 저자들은 본 방법이 시간 척도, 충실도, 노이즈 강건성 지표 전반에서 단열 램핑 프로토콜을 크게 능가한다고 단언한다. 또한, 이 프레임워크는 2-모드 비가환 플로케 엔지니어링을 통한 2-큐비트 논리 게이트로 자연스럽게 확장 가능하며, 양자 통신, 레저보어 컴퓨팅(reservoir computing), 양자 t-디자인(quantum t-designs)과 같은 더 넓은 분야에도 적용될 수 있다.