A Variational Surrogate Approach to Finite-Horizon Quantum Control via Hardware-Efficient Ansatz

기술 요약: 하드웨어 효율적 안사츠를 통한 유기적 변분 대리 모델 기반 유한 시간 양자 제어

문제 정의
본 논문은 유한 시간 양자 최적 제어 문제, 구체적으로 주어진 초기 상태 $|\psi_{in}\rangle$를 고정된 시간 $T$ 내에 원하는 목표 상태 $|\psi_{tar}\rangle$로 유도하는 과제를 다룹로다. 이 문제에 대한 전통적인 접근 방식은 일반적으로 시간 의존적 제어 필드 $u(t)$를 명시적으로 매개변수화하고, 그래디언트 기반 방법이나 폰트랴긴 최소 원리(Pontryagin's Minimum Principle)를 사용하여 최적의 궤적을 구하는 데 의존합니다. 그러나 이러한 고전적 방법들은 고차원 시스템에 대해 계산 비용이 매우 높을 수 있으며, 시스템의 드리프트 및 제어 해밀토니안에 대한 상세한 지식을 요구하는 경우가 많아 근미래 양자 하드웨어와의 직접적인 호환성을 제한합니다.

방법론
저자들은 제어 목적 함수를 변분 최적화 문제로 재정의하는 변분 양자 프레임워크를 제안합니다. 이 방식은 종단 진화 연산자(terminal evolution operator)를 학습 가능한 매개변수 양자 회로(PQC)로 취급합니다.

• 대리 매개변수화(Surrogate Parameterization): 핵심 혁신은 종단 진화를 위한 대리물로서 **하드웨어 효율적 안사츠(hardware-efficient ansatz)**를 사용하는 것입니다. 회로 $U(\theta)$는 초기 상태를 종단 상태 $|\psi(\theta)\rangle = U(\theta)|\psi_{in}\rangle$로 매핑합니다.
• 회로 구조: 이 안사츠는 단일 큐비트 회전($R_z$ 및 $R_x$)과 인접 이웃 얽힘 게이트(CNOT)가 교대로 나타나는 층으로 구성됩니다. 이러한 구조는 Trotter화된 해밀토니안 진화와 같은 물리 기반의 구성을 피함으로써, 현재의 잡음 중간 규모 양자(NISQ) 장치와의 호환성을 갖도록 설계되었습니다.
• 최적화 루프: 제어 작업은 불충분성(infidelity)으로 정의된 종단 비용 함수 $J(\theta) = 1 - |\langle \psi_{tar} | U(\theta) | \psi_{in} \rangle|^2$를 최소화하는 것으로 축소됩니다. 이는 양자 시뮬레이터에서 수행되는 충실도 평가를 바탕으로 고전적 최적화 도구(SLSQP)가 회로 매개변수 $\theta$를 업데이트하는 하이브리드 양자-고전 루프를 통해 해결됩니다.
• 이론적 기초: 본 논문은 변분 정식화가 컴팩트한 매개변수 영역에서 전역 최솟값을 가짐을 입증하며, 안사츠에 의해 생성된 모든 유니터리는 이론적으로 물리적으로 구현 가능한 유효한 유한 시간 해밀토니안 진화에 대응함을 보장합니다.

주요 기여

1. 제어 이론적 정식화: 저자들은 하드웨어 효율적 안사츠를 활용하여 유한 시간 양자 제어의 변분 정식화를 제시하며, 탐색 공간을 제어 함수에서 회로 매개변수로 전환합니다.
2. 대리 제어 전략: 본 연구는 학습 가능한 회로 매개변수가 명시적인 시간 의존적 제어 필드를 대체하는 하드웨어 효율적 대리 제어 정식화를 도입합니다. 이는 물리 기반 안사츠를 사용하는 해밀토니안 기반 변분법과 차별화되며, 문제 특화적인 안사츠 없이도 유연하고 구현 친화적인 대안을 제공합니다.
3. 수치적 조사: 본 논문은 회로 깊이, 시스템 크기, 최적화 복잡성 사이의 트레이드오프를 구체적으로 조사하며 프레임워크의 수렴성, 표현력 및 강건성에 대한 수치적 분석을 제공합니다.

결과
다중 큐비트 상태 전이 벤치마크(레지스터의 한쪽 끝에서 다른 쪽 끝으로 단일 흥분을 전달하는 과제)에 대해 무잡음 상태 벡터 시뮬레이터와 다양한 Azure Quantum 백엔드를 사용하여 수치 실험을 수행했습니다.

• 시스템 크기 및 수렴성: 소규모 시스템($N=3$)의 경우, 방법론은 안정적인 수렴과 함께 높은 충실도($>0.999$)를 달ach했습니다. 시스템 크기가 커짐에 따라($N=5, 7$), 힐베르트 공간의 성장과 배런 플래토(barren plateau) 현상의 출현으로 인해 최적화가 더 어려워졌으며, 최종 충실도는 각각 약 $0.996$및$0.955$로 감소했습니다.
• 회로 깊이 vs. 표현력: 회로 깊이 $L$을 증가시키는 것은 일반적으로 달성 가능한 충실도를 향상시켰으며, 특히 큰 시스템($N=7$)에서 고충실도 솔루션을 회복하기 위해 더 깊은 회로($L \ge 8$)가 필요했습니다. 그러나 더 깊은 회로는 학습 가능한 매개변수의 수를 늘리고 초기화에 대한 민감도를 높였습니다.
• 강건성 및 초기화: 최적화는 소규모 및 중규모 시스템에서 안정성을 보였습니다. 대규모 시스템($N=7$)의 경우, 솔루션 분포가 넓어졌는데, 이는 이론적 기대와 일치하게 여러 지역 최솟값(local minima)의 존재와 초기화에 대한 민감도 증가를 나타냅니다.
• 하드웨어 호환성: 최적화된 회로는 Azure Quantum 시뮬레이터 백엔드(IonQ, Rigetti, Quantinuum H2 에뮬레이터)에서 성공적으로 실행되었습니다. 결과는 최적화된 매개변수가 플랫폼 간에 효과적으로 전이됨을 보여주었으며, 이상적인 시뮬레이터에서는 $0.99$이상, 잡음이 포함된 에뮬레이터에서는$0.94$ 이상의 목표 상태 확률을 달성했습니다.

의의 및 주장
본 논문은 근미래 양자 장치와 자연스럽게 호환되는, 구현 친화적이고 유연한 양자 제어 접근 방식을 제공한다고 주장합니다. 문제 특화적이거나 물리 기반인 안사츠에 의존하는 것을 피함으로써, 이 방법은 유한 시간 상태 전이를 위한 범용적인 프레임워크를 제공합니다. 저자들은 이 접근 방식이 소규모에서 중규모의 다중 큐비트 시스템에 대해 성공적으로 고충실도 상태 전이를 입증했지만, 안사츠의 표현력과 최적화 복잡성 사이의 내재적인 트레이드오프를 강조합니다. 본 연구는 개방 루프(open-loop) 제어 프레임워크로 제시되었으며, 저자들은 중간 측정이 포함된 폐쇄 루프(closed-loop) 제어로 확장하는 것이 향후 연구 과제임을 언급했습니다. 이 연구의 의의는 하드웨어 효율적 회로가 종단 진화에 대한 효과적인 변분 대리물 역할을 할 수 있음을 입증하여, 최적화 단계에서 명시적인 제어 필드 합성을 우회할 수 있음을 보여준 데 있습니다.