⚛️ quantum physics

Iterative Linear Quadratic Regulator for Quantum Optimal Control

이 논문은 트랜스몬 큐비트의 X 및 교차 공명(cross-resonance) 게이트를 위한 더 매끄럽고 고충실도인 펄스 시퀀스를 생성하기 위해 제어 및 그 미분에 대한 제약을 통합함으로써 반복 선형 이차 조절기(ILQR)를 양자 게이트 최적화에 적응시킵니다.

원저자: Dirk Heimann, Felix Wiebe, Tahereh Abad, Elie Mounzer, Tangyou Huang, Frank Kirchner, Shivesh Kumar

게시일 2026-08-10

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Dirk Heimann, Felix Wiebe, Tahereh Abad, Elie Mounzer, Tangyou Huang, Frank Kirchner, Shivesh Kumar

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 아주 작고 투명한 무용수에게 완벽한 피루엣(pirouette)을 수행하도록 가르치려 한다고 상상해 보십시오. 이 무용수는 살과 뼈로 만들어진 것이 아니라 순수한 에너지와 확률로 이루어져 있으며, 물리 법칙의 규칙이 욕조 안의 비누처럼 미끄러운 세상에 살고 있습니다. 이것이 바로 양자 컴퓨팅의 세계입니다. 이 영역에서 '무용수'는 큐비트(qubit)라고 불리며, '피루엣'은 컴퓨터가 사고하게 만드는 근본적인 명령인 논리 게이트(logic gate)를 의미합니다. 하지만 문제는 이 무용수들이 믿기지 않을 정도로 예민하다는 점입니다. 너무 강하게, 너무 빠르게, 혹은 잘못된 리듬으로 밀어붙이면 그들은 비틀거리며 균형을 잃고, 전체 공연은 혼돈의 도가니로 변해버립니다. 이것이 바로 과학자들이 '양자 최적 제어(Quantum Optimal Control)'를 필요로 하는 이유입니다. 이는 큐비트가 넘어지지 않도록 정확히 가야 할 곳으로 안내하기 위해, 보이지 않는 밀기(펄스라고 불림)의 완벽한 순서를 설계하는 기술입니다. 목표는 이러한 움직임을 매우 정밀하고 신뢰할 수 있게 만들어, 오늘날의 슈퍼컴퓨터가 해결하는 데 수천 년이 걸릴 문제를 풀 수 있는 컴퓨터를 구축하는 것입니다.

이제, 양자 무용수들을 위한 새로운 안무가를 시도해 보기로 한 독일과 스웨덴의 연구팀을 만나보십시오. 그들은 복잡한 기계가 걷거나 나는 법을 배우도록 가르치는 로봇 공학 분야의 스타 기법인 '반복 선형 이차 조절기(Iterative Linear Quadratic Regulator, iLQR)'를 가져와, 이를 양자 게이트를 안무하는 법을 가르치는 데 사용했습니다. 단순히 추측하고 확인하는 대신, 그들의 새로운 접근 방식은 이 문제를 역방향으로 진행되는 '뜨겁다 차갑다(hot and cold)' 게임처럼 다룹니다. 이는 결승선에서 시작하여, 그곳에 도착하기 위해 원래 어떤 완벽한 움직임이 있어야 했는지를 파악한 뒤, 단계별로 역추적하며 제어 값을 조정하는 방식입니다. 하지만 그들은 단순히 로봇 방식을 복사해서 붙여넣기만 한 것이 아닙니다. 그들은 '춤 동작'을 더 부드럽게 만들기 위해 이를 수정했습니다. 현실 세계에서 펄스를 생성하는 기계(임의 파형 발생기라고 불림)는 속도의 갑작스럽고 거친 변화를 감당할 수 없기 때문입니다. 따라서 연구진은 급격한 도약을 억제하는 규칙을 추가하여, 알고리즘이 폭포처럼 부서지는 것이 아니라 강물처럼 흐르는 경로를 찾도록 강제했습니다.

그들이 시뮬레이션을 통해 발견한 결과는 상당히 유망합니다. 이 부드럽게 다듬어진 버전의 iLQR을 사용함으로써, 그들은 매우 정확한 단일 큐비트 및 2-큐비트 게이트용 펄스 시퀀스를 설계할 수 있었습니다. 기본적인 뒤집기 동작인 'X-게이트'를 수행하는 단일 큐비트의 경우, 오차가 거의 보이지 않을 정도로 미미한 수준(약 10억 번의 시도 중 4번의 오류)의 정밀도를 달 Achieve 했습니다. 두 명의 무용수를 서로 얽히게 만드는 더 복와한 '교차 공명(cross-resonance)' 2-큐비트 게이트의 경우에도 높은 충실도의 해법을 찾아냈으나, 오류율은 약 10만 번의 시도 중 6번의 오류로 약간 더 높았습니다. 가장 멋진 점은 무엇일까요? 그들은 정답을 미리 알 필요가 없었다는 것입니다. 좋은 시작점을 주지 않으면 종종 막혀버리는 다른 방법들과 달리, 이 새로운 방식은 무작위적이고 엉망인 움직임에서 시작하더라도 완벽한 경로를 찾아내는 듯 보였습니다.

하지만 이 이야기에는 '그러나'가 있습니다. 현재 이 결과들은 단지 시뮬레이션, 즉 컴퓨터상의 디지털 리허설일 뿐이며, 실제 양자 기계에서의 공연은 아닙니다. 연구진은 그들이 찾아낸 펄스가 여전히 다소 길어서, 가능한 것들에 비해 느린 동작(최대 240나노초)을 취한다고 인정했습니다. 또한 그들은 자신들의 방식이 하드웨어 친화적인 매우 부드럽고 완만한 펄스를 만들어내지만, 기존의 다른 방법들(예: L-BFGS-B GRAPE)은 매우 구체적이고 잘 선택된 시작점을 제공할 경우 때때로 훨씬 더 정밀한 해법을 찾아낼 수 있다는 점을 언급했습니다. 하지만 만약 완벽한 시작점을 모른다면, 이 새로운 iLQR 방식은 처음부터 루틴을 찾아낼 수 있는 믿음직한 코치와 같습니다.

연구팀의 작업은 이 '로봇 공학 스타일'의 접근 방식이 양자 컴퓨팅의 미래를 위한 강력한 새로운 도구가 될 수 있음을 시사합니다. 그들은 제어 문제를 궤적 최적화 과제로 취급하고 가장자리를 부드럽게 다듬음으로써, 해답을 미리 보는 수정구슬 없이도 완벽한 게이트에 매우 근접할 수 있음을 보여주었습니다. 아직 모든 문제를 해결한 것은 아니지만(실제 하드웨어는 시뮬레이션이 예측할 수 없는 지저-하고 놀라운 것들로 가득 차 있습니다), 그들은 새로운 문을 열었습니다. 그들의 다음 단계는 이 디지털 안무를 실제 양자 칩에서 테스트하여, 무용수들이 시뮬레이션에서처럼 실제 세상에서도 아름답게 공연할 수 있는지 확인하는 것입니다.

기술 요약: 양자 최적 제어를 위한 반복적 선형 이차 조절기(iLQR)

문제 정의
양자 최적 제어(QOC)는 양자 시스템에서 고충실도 게이트 연산을 달ato하기 위해, 특히 오류 정정 임계값 미만의 충실도를 달성하는 것을 목표로 정밀한 외부 필드 펄스 시퀀스를 설계하고자 한다. GRAPE(Gradient Ascent Pulse Engineering) 및 Krotov 방법과 같은 기존 방식들이 널리 사용되고 있지만, 이들은 종종 특정 초기화 전략에 의존하거나 수렴 보장 및 복잡한 제약 조건 처리 측면에서 한계를 보인다. 저자들은 로보틱스 분야의 최첨단 궤적 최적화 방법인 반복적 선형 이차 조절기(iLQR)를 양자 게이트 합성 도메인에 적용하는 과정에서의 공백을 식별하였다. 과제는 iLQR을 양자 시스템의 비선형 역학(슈뢰딩거 방정식에 의해 지배됨)에 적응시키면서, 임의 파형 발생기(AWG)에 요구되는 매끄러운 펄스 엔벨로프 및 제로 경계 조건과 같은 하드웨어 특유의 제약 조건을 통합하는 것이다.

방법론
본 논문은 고정 주파수 트랜스몬 큐비트를 구체적으로 대상으로 하여, 양자 게이트 최적화를 위한 iLQR 알고리즘의 변형을 제안한다. 방법론은 다음과 같은 몇 가지 핵심 기술 구성 요소를 포함한다:

동형 표현(Isomorphic Representation): 양자 진화의 복소수 유니터리 행렬을 처리하기 위해, 저자들은 상태 공간을 벡터화한다. 복소 행렬 $U \in \mathbb{C}^{d \times d}$ 는 실수 값 벡터 및 $2d^2$ 차원의 행렬로 매핑되어, 표준 실수 값 최적화 기법을 사용할 수 있게 한다.
Padé 근사(Padé Approximation): 고차원 시스템에서 계산 비용이 많이 들 수 있는 정확한 행렬 지수 함수를 계산하는 대신, 저자들은 행렬 지수 $\exp(-iH(u_k)\Delta t)$ 를 근사하기 위해 Padé 근사(구체적으로 8차 거듭제곱 급수)를 활용한다.
iLQR 정식화: QOC 문제는 실행 비용(running cost)과 최종 비용으로 구성된 코스트 기능 $J$ 를 최소화하는 궤적 최적화 문제로 설정된다. 알고리즘은 가우스-뉴턴 근사(역학의 2차 미분 항을 무시함)를 사용하여 가치 함수 미분과 피드백 이득( $\kappa_k, K_k$ )을 계산하는 역방향 패스(backward pass)를 수행한 후, 제어 궤적을 업데이트하기 위한 순방향 패스(forward pass)를 수행한다. 헤시안 근사의 가역성을 보장하기 위해 레벤버그-마쿼트(Levenberg-Marquardt) 정규화가 사용된다.
매끄러운 제어 제약 조건: 급격한 진폭 변화가 바람직하지 않은 하드웨어 제한 사항을 해결하기 위해, 저자들은 제어 변수를 수정한다. 펄스 진폭 $u_k$ 를 직접 최적화하는 대신, 펄스 엔벨로프의 미분값( $\dot{u}_k$ )을 최적화한다. 실제 제어는 $u_{k+1} = u_k + \dot{u}_k \Delta t$ 를 통해 업데이트된다. 이 정식화는 코스트 함수가 변화율, 펄스 진폭 및 최종 값을 페널티할 수 있게 하여, 펄스가 0에서 시작하고 종료되도록 보장한다.
시스템 모델: 방법론은 다음 모델들에 대해 테스트된다:
- 단일 큐비트 시스템: 2개 및 3개 에너지 레벨을 가진 더핑 진동자(Duffing oscillator)로 모델링됨.
- 2-큐비트 시스템: 슈리퍼-울프(Schrieffer-Wolf) 변환을 통해 유도된 유효 해밀토니안을 사용하여 결합된 트랜스몬을 디스퍼시브(dispersive) 영역에서 모델링함. 2-레벨 및 3-레벨 모델 모두 시뮬레이션됨.

주요 기여

알고리-적응: 로보틱스 궤적 최적화와 QOC 간의 연결을 확립하며, 양자 게이트 최적화를 위한 iLQR의 성공적인 적응을 입증함.
매끄러운 펄스 합성: 복잡한 부등식 제약 없이도 매끄러운 펄스 형태와 제로 경계 조건을 본질적으로 강제하는 미분 기반 제어 정식화를 도입함.
포괄적 시뮬레이션: 고정 주파수 트랜스몬에서의 $X$ 게이트(단일 큐비트) 및 크로스-레조넌스(CR) 게이트(2-큐비트)에 대한 고충실도 시뮬레이션 결과(2-레벨 및 3-레벨 누설 모델 고려).
비교 분석: L-BFGS-B GRAPE와의 직접적인 비교를 통해 수렴 동작 및 초기 펄스 형태에 대한 민감도 차이를 강조함.

결과
저자들은 IBM Eagle 프로세서(ibm_brisace)의 파라미터를 사용하여 게이트 합성을 시뮬레이션하였다:

단일 큐비트 (2-Level): $X$ -게이트에 대해, 미분 제어를 사용한 iLQR 방식은 매끄러운 포물선 형태의 펄스 형상과 함께 $4.0 \times 10^{-9}$ 의 불충실도(infidelity)를 달성했다. 이는 가우시안 초기 추측을 사용한 L-BFGS-B GRAPE 솔루션의 불충실도 $1.9 \times 10^{-13}$ 와 비교되었다.
단일 큐비트 (3-Level): $|2\rangle$ 상태로의 누설을 포함했을 때, iLQR은 $2.1 \times 10^{-7}$ 의 불충실도를 달성했다. 결과적인 펄스는 인-페이즈(in-phase) 성분의 미분에 비례하는 오프-페이즈(off-phase) 성분을 갖는 DRAG(Derivative Removal by Adiabatic Gate) 절차와 유사한 특성을 자연스럽게 나타냈다.
2-큐비트 (2-Level): 크로스-레조넌스(CR) 게이트(240 ns 지속 시간)에 대해, iLQR은 $1.1 \times 10^{-8}$ 의 불충실도를 달성했다.
2-큐비트 (3-Level): 누설을 고려했을 때, 불충실도는 $5.9 \times 10^{-5}$ 였다.
하이퍼파라미터 민감도: 연구 결과, 이차 코스트 행렬( $Q_f, R_d, R_c, R_f$ )의 설계가 초기 펄스 형태보다 최종 충실도와 매끄러움에 더 큰 영향을 미치는 것으로 나타났다.

의의 및 주장
본 논문은 iLQR이 사전 지식(analytical solution)이 없는 시나리오에서 기존 QOC 방법들에 대한 강력한 대안을 제공한다고 주장한다.

초기화로부터의 독립성: L-BFGS-B GRAPE가 초기 펄스 형태(예: 가우시안)에 가깝게 유지되는 경향이 있는 것과 달리, iLQR 접근 방식은 코스트 함수가 잘 튜닝되어 있다면 무작위 초기화에도 불구하고 매끄럽고 고충실도인 솔루션을 찾아낸다.
하드웨어 호환성: 미분을 최적화함으로써, 이 방법은 모델의 불확실성 없이 AWG 제약 조건(매끄러움, 시작/종료 시 제로)을 준수하는 펄스를 자연스럽게 생성하며, 이는 실험적 구현에 매우 중요하다.
향후 방향: 저자들은 현재의 게이트들이 고충실도이지만 상대적으로 길다(예: 240 ns)는 점을 겸허히 언급하며, 향후 연구에서는 시간 의존적 코스트 함수를 사용하여 더 짧은 펄스를 최적화하고, 초전도 시스템의 모델 불일치를 완화하기 위해 하드웨어 피드백을 통합하는 것을 목표로 한다. 이 방법은 튜너블 트랜스몬을 포함한 다양한 초전도 아키텍처에 적용 가능하다고 제시된다.

유사한 논문