Twinned Dynamical Decoupling

본 논문은 체계적인 펄스 면적 오차를 모든 차수에서 상쇄하면서 동시에 주파수 불일치 오차를 억제하기 위해 펄스 시퀀스와 그 $\pi$-위상 천이 쌍을 짝짓는 분석적 펄스 시퀀스 계열인 쌍둥이 동적 디커플링 (TDD) 을 소개하며, 이 방법은 IBM 과 IQM 초전도 양자 프로세서에서 실험적으로 검증되어 표준 프로토콜보다 향상된 견고성을 입증하였다.

핵심

회전하는 팽이를 흔들리는 테이블 위에 완벽하게 세우려고 상상해 보세요. 양자 컴퓨터 세계에서는 이 "회전하는 팽이"가 큐비트이며, "흔들리는 테이블"은 팽이를 넘어뜨리려고 시도하는 소음 환경 (이 과정을 결맞음 상실이라고 합니다) 입니다.

팽이가 계속 회전하도록 유지하기 위해 과학자들은 **동적 결맞음 상실 (Dynamical Decoupling, DD)**이라는 기술을 사용합니다. 이는 팽이의 흔들림을 끊임없이 초기화하여 팽이를 넘어뜨리기 전에 소음을 효과적으로 상쇄하는 일종의 리듬감 있는 부드러운 두드리기 (펄스) 로 생각할 수 있습니다.

그러나 함정이 하나 있습니다: 팽이를 두드리는 사람이 완벽하지 않기 때문입니다. 때로는 손이 떨리거나, 너무 세게 또는 너무 약하게 두드립니다. 양자 용어로 이는 체계적 오차입니다. 두드리기가 약간 어긋나면 (잘못된 세기나 잘못된 타이밍), "초기화"가 완벽하게 작동하지 않아 결국 팽이는 넘어집니다.

문제: "음정 벗어난" 두드리기

Nedev 와 Vitanov 의 논문은 현재 두드리기 방법의 특정 문제를 다룹니다.

1. 펄스 면적 오차: 팽이를 뒤집기 위해 (π-펄스) 정확히 적절한 힘으로 두드리려고 하지만, 약간의 보정 오류로 인해 힘이 10% 너무 세거나 약하게 가해집니다. 모든 두드리기에 오류가 일관되게 존재할 경우, 현재 방법들은 이를 수정하는 데 어려움을 겪습니다.
2. 주파수 오차 (Detuning Errors): 테이블이 약간 기울어지거나, 팽이가 예상과 약간 다른 속도로 회전한다고 상상해 보세요. 현재 방법들은 또한 이러한 "음정 벗어난" 주파수를 보상하는 데 어려움을 겪습니다.

보통 두드리기를 더 많이 추가하면 무작위 소음을 상쇄하는 데 도움이 되지만, 두드리기가 일관되게 잘못되었다면 더 많이 추가할수록 문제가 악화됩니다.

해결책: "쌍둥이" 두드리기

저자들은 **쌍둥이 동적 결맞음 상실 (Twinned Dynamical Decoupling, TDD)**이라는 새로운 방법을 소개합니다. "쌍둥이"를 활용한 교묘한 트릭을 사용합니다.

거울상 비유:
계획한 두드리기 시퀀스가 있다고 가정해 보세요. 이를 시퀀스 A 라고 부르겠습니다.

• 시퀀스 A: 특정 리듬과 패턴으로 팽이를 두드립니다.
• 시퀀스 B (쌍둥이): 정확히 같은 리듬을 수행하되, 모든 두드리기의 "위상"을 반전시킵니다. 오른손으로 두드렸다면 이제 왼손으로 두드리고, "위로" 두드렸다면 이제 "아래로" 두드립니다.

마법 같은 일은 이들을 결합했을 때 발생합니다: 시퀀스 A + 시퀀스 B.

두 번째 시퀀스가 첫 번째 시퀀스의 완벽한 "거울상" (180 도 또는 $\pi$만큼 이동) 이기 때문에, 두드리기 세기 (펄스 면적 오차) 에서 일어난 일관된 실수는 완전히 상쇄됩니다. 무거운 배낭을 메고 앞으로 걷고, 즉시 똑같은 무거운 배낭을 메고 뒤로 걷는 것과 같습니다. 배낭이 얼마나 무거웠든 상관없이 순 이동은 제로가 됩니다.

결과:

• 완벽한 상쇄: 시스템이 있어야 할 정확한 주파수에서, 이 "쌍둥이" 방법은 두드리기 세기의 모든 오차를 상쇄합니다. 실수가 얼마나 크든 상관없이 말입니다.
• 지능적인 위상 조절: 저자들은 또한 테이블이 기울어질 때 발생하는 오차 (주파수 오차) 도 상쇄되도록 각 시퀀스 내에서 두드리기의 "방향"을 배열하는 수학적 공식을 찾아냈습니다.

증명: 현실 세계 테스트

저자들은 이를 종이 위에서만 하지 않았습니다. 그들은 두 개의 실제 양자 컴퓨터에서 새로운 "쌍둥이" 두드리기 시퀀스를 테스트했습니다.

1. IBM 의 "Torino" (초전도 프로세서).
2. IQM 의 "Garnet" (또 다른 초전도 프로세서).

그들은 새로운 T2n 시퀀스를 가장 인기 있는 기존 방법들 (CPMG, XY4, UDD 등) 과 비교했습니다.

결과:

• 부적절한 두드리기 세기에 대해: 새로운 TDD 시퀀스는 두드리기가 극도로 부정확할 때 (일부 테스트에서 200% 오차) 도 큐비트를 안정적으로 유지했습니다. 반면 기존 방법들은 오차가 커짐에 따라 빠르게 실패했습니다.
• 주파수 드리프트에 대해: 새로운 시퀀스는 기존 방법들보다 "음정 벗어난" 주파수를 처리하는 데 훨씬 더 뛰어났습니다.
• 일관성: 두 가지 다른 유형의 하드웨어에서 결과가 수학적 예측과 거의 완벽하게 일치했습니다.

요약

간단히 말해, 저자들은 양자 컴퓨터를 제어하기 위한 새로운 "리듬"을 발명했습니다. 제어 시퀀스를 그 정반대 (쌍둥이) 와 짝을 이루게 함으로써, 제어 강도에 대한 일관된 실수에 면역이 되는 시스템을 만들었습니다. 이는 음악이 약간 어긋나거나 무용수가 약간 서툴더라도 완벽한 싱크로율을 유지하는 자기 수정 무용 루틴과 같습니다. 이를 통해 양자 정보는 안전하고 안정적으로 유지됩니다.

기술 요약

기술 요약: 쌍둥이 동적 디커플링

문제 제기
체계적인 펄스 면적 오차 (진폭 보정 불량, 불완전한 지속 시간 또는 구동 세기 드리프트로 인한) 와 디튜닝 오차 (주파수 보정 불량, AC 스타크 시프트) 는 양자 제어의 충실도를 크게 제한합니다. CPMG, UDD, KDD, XY 형 시퀀스와 같은 표준 동적 디커플링 (DD) 프로토콜은 환경 노이즈를 효과적으로 억제하지만, 이러한 체계적인 제어 결함으로 인해 실제 하드웨어에서의 성능은 종종 저하됩니다. 이러한 오차는 일관성이 있으며 시퀀스 전체에 걸쳐 누적되므로, 환경 노이즈를 필터링하기 위해 더 많은 펄스를 추가하는 것이 오히려 펄스 결함에 대한 민감도를 증가시킬 수 있습니다. 기존 시퀀스는 공명 상태에서 모든 차수에 걸쳐 체계적인 펄스 면적 오차를 정확히 상쇄하지 못하며, 동시에 디튜닝 오차를 억제하면서 임의의 시퀀스 길이로 확장 가능한 간단한 해석적 처방을 제공하지도 못합니다.

방법론
저자들은 $T_{2n}$으로 표시되는 해석적 시퀀스 계열인 **쌍둥이 동적 디커플링 (Twinned Dynamical Decoupling, TDD)**을 소개합니다. 이 구성은 두 가지 핵심 원리에 기반합니다:

1. 쌍둥이 구조: 명목상 $\pi$ 펄스의 회문 시퀀스 $S^{(n)}$과 모든 펄스 위상이 $\pi$만큼 이동된 "쌍둥이"인 $(S^{(n)})_\pi$를 짝지어 시퀀스를 형성합니다.

   • 전체 전파자는 $T_{2n} = (S^{(n)})_0 (S^{(n)})_\pi$입니다.
   • 정확한 공명 상태에서, 이 짝짓기는 모든 펄스에 걸쳐 동일한 편차가 존재한다고 가정할 때, 임의의 체계적인 펄스 면적 편차에 대해 전파자가 정확히 단위 행렬이 되도록 보장합니다. 이 상쇄는 섭동론적이지 않으며 모든 차수에 대해 성립합니다.
   • 구성 요소인 쌍둥이 $S^{(n)}$의 회문 대칭성은 쌍둥이 상쇄 메커니즘이 작동하는 데 필요한 조건인 대각선 카일리 - 클라인 파라미터가 실수가 되도록 보장하기 위해 필요합니다.

2. 해석적 위상 최적화: 쌍둥이 구조로 펄스 면적 오차가 상쇄된 후, 남은 자유도 (회문 쌍둥이 내부의 위상) 를 최적화하여 디튜닝 오차를 억제합니다.

   • 저자들은 $2n$개의 펄스에 대한 위상 $\phi_k$에 대한 폐쇄형 해석적 공식을 유도했습니다:
     $$\phi_k = \frac{(k-1)(n-k)}{n}\pi, \quad k = 1, 2, \dots, 2n$$
   • 이 공식은 임의의 시퀀스 길이 $n$에 대해 유효합니다.
   • 이론적 분석에 따르면, 이러한 위상들은 디튜닝 $\Delta$에 대한 견고성을 극대화합니다. 푸비니스 오차 $\epsilon$은 홀수 $n$의 경우 $|\Delta|^n$으로, 짝수 $n$의 경우 $|\Delta|^{n+1}$로 스케일링되므로, 시퀀스 길이를 증가시킴으로써 디튜닝 오차를 임의의 높은 차수까지 억제할 수 있습니다.

주요 결과
저자들은 IBM Quantum 프로세서 ibm torino와 IQM Quantum 프로세서 Garnet이라는 두 가지 다른 하드웨어 플랫폼을 사용하여 초전도 트랜스몬 큐비트에서 $T_{2n}$ 시퀀스를 시연했습니다.

• 펄스 면적 견고성: 펄스 면적 편차에 따른 $|0\rangle$ 상태 인구수의 실험적 측정은 $T_{2n}$ 시퀀스가 큰 편차 (최대 $2\pi$ 단위) 가 있더라도 높은 충실도 (인구수 플래토) 를 유지함을 보여주었습니다. 반면, 표준 CPMG 시퀀스는 이러한 오차에 매우 민감하며, 유사한 견고성을 제공하는 UR 시퀀스는 짝수 개의 펄스에서만 또는 홀수 개의 펄스에서는 유한한 범위 내에서만 이러한 성능을 유지합니다.
• 디튜닝 견고성: 디튜닝 오차 (최대 $\pm 20$ MHz) 에 대해 테스트했을 때, $T_{20}$ 시퀀스는 다른 표준 프로토콜 (CPMG, XY4, KDD, UDD, QDD, UR) 보다 현저히 우수한 성능을 보였습니다. $T_{20}$은 펄스 면적 오차에 대한 면역과 달리 디튜닝에 대해 완벽하게 면역하지는 않았지만, 테스트된 다른 모든 시퀀스보다 더 넓은 고충실도 영역을 제공했습니다.
• 초기 상태 무관성: 다양한 초기 상태 (파울리 고유 상태) 에 대한 테스트는 TDD 의 펄스 면적 보상이 초기 상태에 무관함을 보여주었습니다. 그러나 디튜닝 견고성은 계산 기저 상태 ($|0\rangle, |1\rangle$) 에서 가장 높게 관찰되었고, 중첩 상태 ($|+\rangle, |i\rangle$ 등) 에서는 감소했는데, 이는 중첩에 영향을 미치는 위상 소실 과정의 존재와 일치합니다.
• 하드웨어 일관성: 큐비트 결맞음 시간과 제어 아키텍처 (가상 게이트 대 펄스 레벨 액세스) 의 차이에도 불구하고 결과는 IBM 과 IQM 하드웨어 모두에서 일관되었습니다.

의의 및 주장
이 논문은 공명 상태에서 체계적인 펄스 면적 오차를 모든 차수에 걸쳐 정확히 상쇄하는 새로운 해석적 DD 시퀀스 계열을 도입했다고 주장합니다. 수치적 최적화에 의존하거나 부분적인 보상만 제공하는 이전 구성과 달리, TDD 는 다음을 제공합니다:

1. 정확한 해석적 공식: 임의의 시퀀스 길이에 적용 가능한 단순한 폐쇄형 위상 표현식으로 수치적 최적화의 필요성을 제거합니다.
2. 이중 견고성: 체계적인 펄스 면적 오차 (모든 차수까지) 와 디튜닝 오차 (높은 차수까지) 의 동시 억제.
3. 하드웨어 효율성: 이 시퀀스들은 체계적인 보정 드리프트가 주요 제한 요인인 하드웨어를 위해 설계되었으며, 단일 실험 샷 동안 파라미터가 안정적으로 유지되어야 한다는 DD 의 표준 가정을 전제로 하지만 샷 간 변동은 허용합니다.

저자들은 이러한 시퀀스가 체계적인 보정 드리프트로 제한되는 아키텍처에서 특히 하드웨어 효율적인 양자 제어의 길을 열어주며, 양자 메모리, 센싱, 오류 보호 게이트 합성 등에 잠재적 응용이 있다고 결론지었습니다. 그들은 TDD 가 느린 노이즈와 체계적인 드리프트를 보상하지만 임의의 펄스 간 무작위 오차는 상쇄하지 않는다고 강조합니다.