[논문 리뷰] Robust high-order quantum simulation using finite-width pulses

Leeseok Kim, Milad Marvian|arXiv (Cornell University)|2026. 03. 16.

Quantum Computing Algorithms and Architecture인용 수 0

한 줄 요약

논문은 고차 Trotter 공식과 동적으로 보정된 게이트를 사용하여 양자 시뮬레이션을 위한 임의의 1차 펄스 시퀀스를 임의의 고차로 업그레이드하면서 유한 폭 펄스 효과에 강건하게 남아 있을 수 있는 일반 프레임워크를 제공하며, 선택적으로 다중-곱 공식 다가를 포함한다.

ABSTRACT

We present a general framework for promoting first-order pulse sequences in quantum simulation to higher-order sequences that maintain robustness in the presence of finite pulse-width effects. Our approach maps a given first-order pulse sequence to a first-order Trotter formula, applies higher-order Trotter-formula constructions, and then compiles the resulting evolution back into physically implementable finite-width pulses via dynamically corrected gates. The resulting sequences achieve arbitrarily high-order error scaling with respect to the control cycle time of the underlying first-order sequence while maintaining robustness to finite pulse-width effects. The framework also enables the use of multi-product formulas for more efficient constructions. We apply the framework to several physically motivated quantum-simulation tasks and numerically verify the predicted error scalings.

연구 동기 및 목표

• 정확한 양자 시뮬레이션을 위해 1차 순간 펄스 시퀀스를 고차 시퀀스로 승격한다.
• 구현 중에 유한 폭 펄스 효과에 대한 강건성을 유지한다.
• 물리적으로 구현 가능한 유한 폭 펄스로 다시 매핑하는 구성을 제공한다.
• 기댓값 응용에서 음의 시간 진화를 피하기 위해 다중-곱 공식의 활용을 모색한다.

제안 방법

• 주어진 1차 시퀀스를 유효 해밀토니안에 대한 1차 Trotter 공식으로 해석한다.
• 제어 사이클 시간의 스케일링을 개선하기 위해 고차 Trotter 공식으로 업그레이드한다.
• 고차 지수들을 다시 네이티브 펄스로 컴파일하고 동적으로 보정된 게이트(DCGs)로 구현한다.
• 두 가지 구성을 제공한다: (i) 이상적 펄스 시퀀스 입력 및 (ii) 유한 폭 펄스 시퀀스 입력, 둘 다 고차 강건성을 나타낸다.
• 고차 공식에 의해 필요한 음의 시간 진화를 다이나믹 디커플링으로 해결하거나, 관측값만 필요한 경우 음의 시간을 피하기 위해 다중-곱 공식(multi-product formulas)을 사용한다.
• Trotter 오차와 DCG 오차 사이의 트레이드오프를 보이는 오차 경계를 분석한다.

실험 결과

연구 질문

• RQ1 어떻게 어떤 1차 펄스 시퀀스도 유한 폭 펄스의 효과에 견고하게 남아 임의의 고차로 업그레이드될 수 있는가?
• RQ2 시퀀스의 차수를 증가시킬 때 정확한 오차 스케일링과 자원 비용(펄스 개수, 지속 시간)은 어떻게 되는가?
• RQ3 실용적 구현에서 음의 시간 진화를 피할 수 있는가, 예를 들어 기대값만 필요한 경우?
• RQ4 실제 양자 시뮬레이션 작업에서 실용성과 강건성 측면에서 두 구성은 어떻게 비교되는가?
• RQ5 제안된 방법들이 물리적으로 동기가 부여된 작업들에서 예측된 오차 스케일링을 수치적으로 확인하는가?

주요 결과

• 이 프레임워크는 이상적 펄스 한계에서 제어 사이클 시간의 임의 고차 스케일링을 산출한다.
• 유한 폭 펄스에서는 총 오차가 Trotter 항과 DCG 항으로 구성되며, 두 항 모두 구성에서 명시적으로 경계가 제시된다.
• 구성 1은 입력으로 이상적 1차 시퀀스를 사용하고 2p-차 시퀀스를 생성하며 5^{p-1} 블록과 DCG 오차가 (κ^q Λ t_p)^{q+1}로 스케일링한다.
• 구성 2는 입력으로 유한 폭 1차 시퀀스를 사용하고 유사한 구조로 2p-차를 달성하며 l, p, t_p를 포함하는 명시적 한계를 가진다.
• 고차 공식에 의해 필요한 음의 시간 진화는 다이나믹 디커플링으로 구현되거나, 기대값 측정을 위한 MPFs에서 피할 수 있다.
• 수치적 검증은 여러 물리적으로 동기가 부여된 양자 시뮬레이션 과제에서 예측된 오차 스케일링을 확인한다.