[논문 리뷰] Effective light cone and digital quantum simulation of interacting bosons

Tomotaka Kuwahara, Tan Van Vu외 1명|arXiv (Cornell University)|2022. 06. 29.

Quantum many-body systems참고 문헌 60인용 수 5

한 줄 요약

이 논문은 상호작용하는 보존에 대해 최적의 효과적 빛의 원뿔을 확립하며, 국소 에너지가 유계가 아니더라도 유한한 정보 전파 속도를 증명하고, 보존 수 제한과 Haah-Hastings-Kohtari-Low 분해를 통해 오차 보장을 갖는 증명 가능한 효율적인 디지털 양자 시뮬레이션 알고리즘을 개발한다. 이 방법은 게이트 복잡도가 $\tilde{\mathcal{O}}(|\Lambda|t\bar{q} \cdot \text{polylog}(|\Lambda|t\bar{q}/\epsilon))$로 스케일링되며, 양자 다체역학에서 오랫동안 남아있던 과제를 해결한다.

ABSTRACT

The speed limit of information propagation is one of the most fundamental features in non-equilibrium physics. The region of information propagation by finite-time dynamics is approximately restricted inside the effective light cone that is formulated by the Lieb-Robinson bound. To date, extensive studies have been conducted to identify the shape of effective light cones in most experimentally relevant many-body systems. However, the Lieb-Robinson bound in the interacting boson systems, one of the most ubiquitous quantum systems in nature, has remained a critical open problem for a long time. This study reveals a tight effective light cone to limit the information propagation in interacting bosons, where the shape of the effective light cone depends on the spatial dimension. To achieve it, we prove that the speed for bosons to clump together is finite, which in turn leads to the error guarantee of the boson number truncation at each site. Furthermore, we applied the method to provide a provably efficient algorithm for simulating the interacting boson systems. The results of this study settle the notoriously challenging problem and provide the foundation for elucidating the complexity of many-body boson systems.

연구 동기 및 목표

• 상호작용 보존 시스템에서 라이브-로빈슨 속도가 국소 에너지가 발산함에 따라 일반적으로 무한대가 되는 바, 끝내 유한하고 최적의 빛의 원뿔을 확립하는 데에 목적이 있다.
• 각 입점에서 보존 수 제한에 대한 엄밀한 오차 보장을 제공하여, 국소 힐베르트 공간이 무한한 상황에서도 제어 가능한 시뮬레이션을 가능하게 한다.
• 명시적인 게이트 복잡도 경계를 갖는 상호작용 보존에 대한 증명 가능한 효율적인 디지털 양자 시뮬레이션 알고리즘을 개발하는 것.
• 유한한 제한과 유한한 전파 속도를 고려하여, 특히 보스-후버드 모델과 같은 강한 상관 보존 시스템에 대해 라이브-로빈슨 경계의 적용 범위를 확장하는 것.

제안 방법

• 보존 군집화 속도가 유한함을 증명함으로써, 이는 라이브-로빈슨 속도가 유한함을 의미하며, 보존 수 제한에서 오차 제어가 가능해진다.
• 시간 진동을 $\Delta t = \mathcal{O}(1/\bar{q})$ 간격의 국소 블록 동역학으로 분해하기 위해 HHKL(Haah-Hastings-Kohtari-Low) 알고리즘을 사용하여 근사 오차의 지수적 감쇠를 보장한다.
• 격자에서 부분집합 $L$에 대해 블록 해밀토니안 $H_L(t)$를 정의하며, $H_L(t)$는 $\mathcal{O}(d_L)$-희소이며, 여기서 $d_L = \mathcal{O}(|L|)$이므로 국소 동역학의 효율적 시뮬레이션을 가능하게 한다.
• 참고문헌 [51]의 정리 2.1을 적용하여 국소 시간 진동 $U_L(0\to\tau)$의 시뮬레이션에 필요한 게이트 복잡도를 경계함으로써, $\mathcal{O}(\tau\bar{q}|L|^4 \log^2(\tau\bar{q}|L|/\epsilon)\log\bar{q})$의 스케일링을 도출한다.
• 공간 블록 $B_s$에 대한 순서된 유니터리 진동으로 전체 시간 진동 $U_\Lambda(0\to t)$를 구성하며, 오차는 $\mathcal{O}(|\Lambda|t/\Delta t \cdot e^{-\mu\ell + vg\Delta t})$로 경계되며, 여기서 $\ell = \log(|\Lambda|t\bar{q}/\epsilon)$이므로 $\epsilon$-정확도를 보장한다.
• 블록 시뮬레이션 비용과 블록 수 및 시간 단계 수를 조합하여 총 게이트 복잡도를 유도하며, 결과적으로 $\tilde{\mathcal{O}}(|\Lambda|t\bar{q} \cdot \text{polylog}(|\Lambda|t\bar{q}/\epsilon))$가 된다.

실험 결과

연구 질문

• RQ1 국소 에너지가 유계가 아니며 라이브-로빈슨 속도가 발산하는 상황에서도 상호작용 보존 시스템에 대해 끝내 유한하고 최적의 빛의 원뿔을 확립할 수 있는가?
• RQ2 상호작용 보존 시스템에서 정보가 전파될 수 있는 최대 속도는 무엇이며, 보존 수 제한 하에서도 여전히 유한한가?
• RQ3 보장된 오차 경계와 유한한 게이트 복잡도를 갖는 증명 가능한 효율적인 디지털 양자 시뮬레이션 알고리즘을 상호작용 보존에 대해 구성할 수 있는가?
• RQ4 보존 수 제한 $\bar{q}$의 선택이 상호작용 보존 시스템의 양자 시뮬레이션 정확도와 복잡도에 어떤 영향을 미치는가?

주요 결과

• 논문은 상호작용 보존에 대해 최적의 효과적 빛의 원뿔을 확립하였으며, 이는 공간 차원에 따라 형태가 달라지며, 양자 다체물리학에서 오랫동안 남아있던 과제를 해결한다.
• 보존 군집화 속도가 유한함을 증명하여, 정보 전파가 유한함을 보장하고 보존 수 제한에서 엄밀한 오차 제어가 가능하다.
• 상호작용 보존의 시간 진동을 시뮬레이션하는 데 필요한 게이트 복잡도는 $\tilde{\mathcal{O}}(|\Lambda|t\bar{q} \cdot \text{polylog}(|\Lambda|t\bar{q}/\epsilon))$로 스케일링되며, 증명 가능한 효율적인 시뮬레이션 알고리즘을 제공한다.
• HHKL 분해의 근사 오차는 $\mathcal{O}(|\Lambda|t/\Delta t \cdot e^{-\mu\ell + vg\Delta t})$로 경계되며, $\ell = \log(|\Lambda|t\bar{q}/\epsilon)$로 설정하면 오차가 $\epsilon$ 이하로 보장된다.
• 이 방법은 제한 하에서 국소 에너지 $g = \mathcal{O}(\bar{q})$가 유한하게 유지되며, $\Delta t = \mathcal{O}(1/\bar{q})$이므로 $g\Delta t = \mathcal{O}(1)$를 유지하여 안정성과 정확도를 보존한다.
• 유도된 게이트 복잡도는 다항로그 인자 외에는 이론적 하한선과 일치하며, 시간, 시스템 크기, 제한 수준 측면에서 알고리즘의 최적성을 확인한다.