Detuning-robust Rydberg entangling gates from echoed pulses

기술 요약: 에코 펄스(Echoed Pulses)를 이용한 디튜닝 강건한 리드베리 얽힘 게이트

문제 정의
중성 원자 어레이에서의 리드베리 기반 2-큐비트 게이트는 주로 기술적 불완전성, 특히 레이저 강도 불균일성과 디튜닝(detuning) 오차에 의해 제한됩니다. 이러한 디튜닝 오차는 주파수 미교정, 배경 전기장 드리프트, 중간 상태의 광 이동(light shifts), 그리고 유한한 원자 온도에 의한 도플러 이동으로부터 발생합니다. 양자 최적 제어(Quantum Optimal Control)가 강도 불균일성을 억제할 수는 있지만, 표준 Controlled-Z (CZ) 게이트를 원자의 디튜닝에 대해 1차적으로 불감하게(first-order insensitive) 만들 수 있는 펄스는 존재하지 않는다는 근본적인 "불가능 정리(no-go theorem)"(참고 문헌 [29])가 확립되어 있습니다. 이는 각 계산 섹터에서 축적되는 기하학적 위상(geometric phase)이 엄격하게 양수이며, 리드베리 상태에 머무는 시간에 비례하여 변화하기 때문에, 단일 게이트 시퀀스 내에서 디튜닝으로 인한 위상 오차를 상쇄하는 것이 불가능하기 때문입니다.

방법론
저자들은 디튜닝 민감도의 부담을 단일 큐비트 연산으로 전가하고, 이를 에코 시퀀스를 통해 제거함으로써 이 불가능 정리를 우회하는 게이트 설계를 제안합니다.

1. 목표 연산: 설계는 표준 CZ 게이트 대신 $\sqrt{\text{CZ}}$ 게이트(2-큐비트 회전 각도가 $\pi/2$인 게이트)를 목표로 합니다. 목표는 얽힘 위상 $\theta_{11} - \theta_{10} - \theta_{01}$이 디튜닝에 대해 정지 상태(stationary, 1차 불감)를 유지하도록 하면서, 개별 기하학적 위상($\theta_{01}, \theta_{10}, \theta_{11}$)은 디튜닝에 민감하게 남겨두는 것입니다.
2. 펄스 설계 제약 조건: 저자들은 GRAPE 알고리즘을 사용하여 섭동 이론(perturbation theory)에서 유도된 세 가지 특정 조건을 만족하도록 펄스 형태를 최적화합니다.
   • 리드베리 누설 억제: 모든 계산 섹터($|01\rangle, |10\rangle, |11\rangle$)에서 리드베리 상태 $|r\rangle$에 남아 있는 인구(population)의 진폭이 0이 되도록 보장합니다.
   • 대칭 디튜닝 강건성: 대칭 디튜닝($\Delta_1 = \Delta_2$)에 대해, 디튜닝에 대한 얽힘 위상의 미분값이 0이 되도록 펄스를 제약합니다.
   • 반대칭 디튜닝 강건성: 반대칭 디튜닝($\Delta_1 = -\Delta_2$)에 대해, 다크 상태 $|W^-\rangle$로의 누설을 억제하여 $|11\rangle$ 섹터의 진화가 디튜닝에 불감하도록 합니다.
3. 에코 시퀀스: 최적화된 $\sqrt{\text{CZ}}$ 펄스는 $\sqrt{\text{CZ}} - X^{\otimes} - \sqrt{\text{CZ}} - X^{\otimes}$ 형태의 에코 시퀀스에 삽입됩니다. 중간에 삽입된 글로벌 단일 큐비트 $X$ 회전은 큐비트 상태 $|0\rangle$과 $|1\rangle$을 교환합니다. 이 구조는 네 개의 모든 계산 섹터가 얽힘 역학을 거치도록 보장합니다. 결정적으로, 시퀀스의 첫 번째 절반에서 발생하는 디튜닝 오차에 의한 단일 큐비트 $Z$-회전은 두 번째 절반에 의해 상쇄됩니다. 결과적으로 이는 CZ 게이트와 국소적으로 동등하면서도 임의의 디튜닝에 강건한 최대 얽힘 $ZZ$ 게이트를 생성합니다.
4. 지우개 변환(Erasure Conversion): 저자들은 잔류 오차가 계산 부공간 외부의 인구(리드베리 인구)에 의해 지배된다는 점에 주목합니다. 이들은 형광 또는 자동 이온화 검출을 사용하여 이 인구를 헤럴디드 지우개 오차(heralded erasure errors)로 변환하는 방식을 제안하며, 이는 메타스테이블(metastable) $^{171}\text{Yb}$ 큐비트와 호환 가능한 기술입니다.

주요 결과

• 반대칭 디튜닝 강건(ADR) 게이트: $\Delta_1 = -\Delta_2$에 최적화되었습니다. 이 게이트는 $|\Delta|/\Omega \leq 0.1$의 디튜닝 범위에서도 $10^{-3}$ 미만의 불충실도(infidelity)를 유지하며, 이는 동일한 충실도를 위해 $|\Delta|/\Omega \leq 0.01$이 필요한 시간 최적(TO) 펄스보다 크게 뛰어난 성능을 보입니다.
• 디튜닝 강건(DR) 게이트: 임의의 두 원자 디튜닝($\Delta_1, \Delta_2$)에 최적화되었습니다. 더 엄격한 제약 조건으로 인해 오차 없는 불충실도는 약간 더 높지만($\sim 10^{-4}$), DR 게이트는 디튜닝에 대한 불충실도의 주요 차수(2차 항) 의존성을 제거합니다. 이 게이트는 단일 원자 디튜닝이 $|\Delta_i|/\Omega \approx 0.06$까지 도달할 때도 $10^{-3}$ 미만의 불충실도를 유지하며, 이는 TO 펄스의 경우 $\lesssim 0.01$인 것과 대조적입니다.
• 지우개 변환: 시뮬레이션 결과, 잔류 리드베리 인구를 지우개로 변환하면 조건부 불충실도가 크게 감소함을 보여줍니다. 에코 구조가 두 번째 절반의 누설된 진폭을 동적으로 디커플링하기 때문에, 에코 시퀀스의 끝에서 단 한 번의 지우개 변환 단계만으로 충분합니다.
• 노이즈 강건성: 이 게이트 설계는 레이저 주파수 안정성, 강도 균일성, 전기장 교정 및 원자 온도에 대한 요구 사항을 완화합니다.

의의 및 주장
본 논문은 중성 원자를 이용한 실용적인 결함 허용 양자 컴퓨팅(fault-tolerant quantum computing)을 위한 실험적 요구 사항을 크게 낮출 수 있다고 주장합니다. 디튜닝에 의한 CZ 게이트의 "불가능 정리"를 단일 큐비트 회전으로 오차를 전가하고 에코를 통해 이를 제거함으로써 우회할 수 있음을 입증함으로써, 저자들은 현실적인 노이즈 환경에서도 고충실도 게이트를 구현할 수 있는 경로를 제시합니다.

저자들은 다음과 같은 점을 강조합니다:

• 동일한 $10^{-3}$ 미만의 불충실도를 유지하면서 훨씬 넓은 범위의 단일 원자 디튜닝을 허용합니다.
• 잔류 리드베리 인구의 상당 부분을 검출 가능한 지우개 오차로 변환하며, 이는 파울리 오차(Pauli errors)보다 양자 오류 수정 코드에서 수정하기 더 쉽습니다.
• 빠른 $X$ 회전을 위한 자극 라만 전이(stimulated Raman transitions)를 사용하는 "존(zone)" 아키텍처와 같은 기존 실험 아키텍처와 호환됩니다.

이 연구는 강도 불균일성 문제를 해결하는 데 목적을 두지는 않으며(이는 별도의 최적 제어 전략이 필요함), 대신 디튜닝 문제에 집중합니다. 또한 향후 더 긴 게이트 시간을 대가로 진폭 강건성을 이 접근법과 결합할 수 있음을 언급하였습니다. 저자들은 또한 설계된 펄스가 구성상 유한한 변조기 대역폭 제약을 준수한다는 점을 명시하였습니다.