[논문 리뷰] Reducing the Gate Count with Efficient Trotter-Suzuki Schemes

Marko Maležič, Johann Ostmeyer|arXiv (Cornell University)|2026. 02. 24.

Quantum many-body systems인용 수 0

한 줄 요약

이 논문은 고차 Trotter-Suzuki 분해에 대한 일반 가이드를 제시하고 시간 진화를 개선하는 최적화된 스킴을 도입하며, Heisenberg XXZ 모델에서 시연합니다.

ABSTRACT

Hamiltonian formulations of lattice field theories provide access to real-time dynamics, but their simulation is difficult to implement efficiently. Trotter-Suzuki decompositions are at the center of time evolution computation, either on quantum hardware or classically, for instance with the use of tensor networks. While low-order Trotterizations remain the standard choice due to their simplicity, higher-order schemes offer the potential for improved efficiency. In this work we outline a short guide to Trotter-Suzuki schemes and their implementations in general. To help with this, we highlight new efficient schemes found by our optimization framework, and demonstrate their performance on the Heisenberg model.

연구 동기 및 목표

• 시간 진화를 위한 고차 Trotter-Suzuki 분해 구현에 대한 간결한 가이드 제공.
• 효율적인 고차 스킴을 식별하는 최적화 프레임워크 도입.
• 격자 스핀 모델(Heisenberg XXZ)에서 선택된 스킴의 성능 향상 시연.
• 일반 Trotter화 진화를 구현하기 위한 실용적 매개변수와 알고리즘 제공.

제안 방법

• 해밀토니언 H = sum_k A_k 인 경우 차수 n 및 주기 q를 갖는 일반 S_n(h) Trotter-Suzuki 분해를 제시.
• 스킴의 효율성을 Eff_n = 1 / (q^n Err_n)로 정의하고 c_i 및 d_i 매개변수를 최적화하여 선도 오차 Err_n를 최소화하는 방법에 대해 논의.
• 대칭 스킴은 짝수 차수(n = 2,4,6,…)를 도출하고 그 매개변수 형상을 설명.
• 주어진 매개변수와 로컬 연산자 A_k를 사용하여 시간 진화를 구현하는 알고리즘(램프 접근법)을 제공.
• 특정 모델과 연산자 지수의 순서를 사용하여 Frobenius 규범으로 Trotter 오차를 계산하고 비교하는 방법을 보여줌.
• n=4(q=6) 및 n=6(q=14)에 대한 권장 매개변수의 구체적인 표를 제공합니다.

실험 결과

연구 질문

• RQ1 로컬 해밀토니안을 시간 진화하기 위한 고차(n ≥ 4) Trotter-Suzuki 스킴은 무엇인가?
• RQ2 주기 수 q 내에서 선도 오차를 최소화하고 효율성을 극대화하기 위해 스킴 매개변수를 어떻게 최적화할 수 있는가?
• RQ3 제안된 고차 스킴이 Heisenberg XXZ 체인과 같은 다체 모델에서 역사적 스킴에 비해 실용적 이점을 제공하는가?
• RQ4 스킴 매개변수가 시간 및 시스템 크기 전반의 오차 누적에 어떤 영향을 미치는가?
• RQ5 소규모 벤치마크가 모델에 구애받지 않는 스킴의 대규모 성능에 대해 신뢰할 수 있는 정보를 제공하는가?

주요 결과

• 식별된 최적 매개변수 세트를 가진 새로운 효율적인 고차(n = 4, 6) Trotter-Suzuki 스킴이 Heisenberg XXZ 모델에서 성능을 향상시킴.
• n=4일 때 q=6에서 권장 매개변수는 효율이 높고 매개변수 공간의 원점에 근접함을 표 2에 나와 있음.
• n=6일 때 q=14에서 권장 매개변수는 효율이 높고 매개변수 공간의 원점에 근접함을 표 3에 나와 있음.
• 최적의 관찰된 효율은 차수 내 최대 주기 수에서 발생하며, 구체적으로 n=4의 경우 q=6, n=6의 경우 q=14.
• 더 높은 주기에서의 오차 매니폴드는 더 복잡해지지만, 원점에 근접한 매개변수 선택은 여전히 강력한 성능을 제공합니다.
• Heisenberg XXZ 모델은 시스템 크기에 따라 Trotter 오차에 평평한 구간을 보이며, 이러한 스킴이 더 큰 시스템에 모델에 구애받지 않고 적용될 수 있음을 시사합니다.