[논문 리뷰] A converse to Lieb-Robinson bounds in one dimension using index theory

Daniel Ranard, Michael Walter외 1명|arXiv (Cornell University)|2020. 12. 01.

Quantum-Dot Cellular Automata인용 수 5

한 줄 요약

이 논문은 1차원 양자 격자 시스템에서 Lieb-Robinson 경계의 역을 확립한다. 기존에 엄밀한 국소성 보존 단위변환(양자 세포자동우, QCAs)에 대해 개발된 GNVW 지수 이론을 약간의 국소성 보존 단위변환(ALPUs)으로 확장함으로써 이루어진다. 이에 따라 인덱스가 0인 임의의 ALPU는 일정 시간 내에 시간에 따라 변화하는 준국소 해밀토니안에 의해 정확히 생성될 수 있음을 증명한다. 이는 1차원 시스템에서 근사적 국소성과 정확한 국소성 사이의 간극을 메운다.

ABSTRACT

Unitary dynamics with a strict causal cone (or "light cone") have been studied extensively, under the name of quantum cellular automata (QCAs). In particular, QCAs in one dimension have been completely classified by an index theory. Physical systems often exhibit only approximate causal cones; Hamiltonian evolutions on the lattice satisfy Lieb-Robinson bounds rather than strict locality. This motivates us to study approximately locality preserving unitaries (ALPUs). We show that the index theory is robust and completely extends to one-dimensional ALPUs. As a consequence, we achieve a converse to the Lieb-Robinson bounds: any ALPU of index zero can be exactly generated by some time-dependent, quasi-local Hamiltonian in constant time. For the special case of finite chains with open boundaries, any unitary satisfying the Lieb-Robinson bound may be generated by such a Hamiltonian. We also discuss some results on the stability of operator algebras which may be of independent interest.

연구 동기 및 목표

• 1차원 양자 세포자동우(QCAs)의 위상수학적 지수 이론을 근사적으로 국소성 보존 단위변환(ALPUs)으로 확장함으로써, 근사적인 인과성 원뿔을 모델링하는 실제 해밀토니안 역학을 다루는 것.
• Lieb-Robinson 유형의 역학—즉, 근사적인 유한속도 정보 전파를 특징으로 하는 것—이 국소 해밀토니안에 의해 정확히 생성될 수 있는지 여부에 대한 근본적인 질문을 다루는 것.
• GNVW 지수가 $o(1/r)$ 또는 $o(1)$ 상호작용 감쇠를 갖는 소규모 외란에 대해 얼마나 견고한지, 특히 ALPUs의 맥락에서 파악하는 것.
• Lieb-Robinson 경계의 역을 확립함: 인덱스가 0인 ALPU는 일정 시간 내에 준국소 해밀토니안에 의해 정확히 실현될 수 있음을 보여주는 것.
• 근사 포함에 대한 연산자 대수와 그 포함관계의 안정성 분석을 통해 Lieb-Robinson 경계 및 유한 체인에서의 역학에의 응용을 다루는 것.

제안 방법

• 근사적인 국소성 보존 단위변환(ALPUs)에 대해 QCAs의 GNVW 지수 이론을 적용하기 위해, 지수가 소규모 외란에 대해 견고함을 증명함. 이는 연산자 대수 기법과 근접 포함 이론을 사용함.
• 공동자(commutator) 보조정리(Lemma 3.3)를 활용하여, 단일 스퍼블릿 연산자가 Lieb-Robinson 유형 경계를 만족하면, 임의의 유한 집합에 대한 연산자 역시 동일한 경계를 만족함을 보임.
• 동시 근접 포함 보조정리(Lemma B.3)를 사용하여, 교환 가능한 부분대수의 근사 포함에 대해, 여집합과 이중여집합의 안정성을 제어함.
• 특성 P와 약한 연산자 위상 기법을 적용하여, 외란 하에서도 지수를 유지하는 근사 단위변환 코어를 구성함.
• ALPU를 QCA로 유한 깊이의 회로로 근사함으로써, 극한 과정을 통해 ALPUs에 대한 연속적 지수를 정의함.
• 유한 체인에서 개방 경계 조건을 갖는 모든 ALPU가 Lieb-Robinson 경계를 만족하면, 시간에 따라 변화하는 준국소 해밀토니안에 의해 정확히 생성될 수 있음을 활용함. 이는 지수-0 조건을 기반으로 함.

실험 결과

연구 질문

• RQ1 1차원 QCAs의 위상수학적 지수 이론을 근사적으로 국소성 보존 단위변환(ALPUs)으로 확장할 수 있는가? 이 경우 근사적인 인과성 원뿔을 고려해야 한다.
• RQ2 GNVW 지수가 $o(1/r)$ 또는 $o(1)$ 감쇠를 갖는 준국소 해밀토니안에서 유도되는 소규모 외란에 대해 얼마나 견고한가?
• RQ3 인덱스가 0인 임의의 ALPU가 일정 시간 내에 시간에 따라 변화하는 준국소 해밀토니안에 의해 정확히 생성될 수 있는가? 이는 Lieb-Robinson 경계의 역을 제공한다.
• RQ4 Lieb-Robinson 경계와 근사 포함 하에서의 연산자 대수의 안정성 간의 관계는 무엇인가?
• RQ5 개방 경계 조건을 갖는 유한 체인에서 Lieb-Robinson 경계를 만족하는 동역학은 국소 해밀토니안에 의해 정확히 실현될 수 있는가?

주요 결과

• GNVW 지수는 소규모 외란에 대해 견고함: $o(1/r)$ 또는 $o(1)$ 상호작용 감쇠를 갖는 임의의 ALPU는 잘 정의된 지수를 상속하며, 이는 QCA 분류를 ALPUs로 확장함.
• 인덱스가 0인 임의의 ALPU는 일정 시간 내에 시간에 따라 변화하는 준국소 해밀토니안에 의해 정확히 생성될 수 있음. 이는 Lieb-Robinson 경계의 역을 제공함.
• 개방 경계 조건을 갖는 유한 체인에서는, Lieb-Robinson 경계를 만족하는 임의의 유니터리 연산자는 준국소이자 시간에 따라 변화하는 해밀토니안에 의해 정확히 실현될 수 있음.
• ALPU의 지수는 QCA로의 근사화를 통해 정의되며, 이 값은 근사화 수열의 선택과 무관하여 일관성을 보장함.
• 공동자 보조정리와 약한 연산자 위상 기법을 통해, 근접 포함 하에서의 연산자 대수의 안정성이 확립되었으며, 이는 Lieb-Robinson 경계에의 응용에 기여함.
• 역 Lieb-Robinson 경계의 증명은 교환 가능한 부분대수의 동시 근접 포함에 기반하며, 총 오차에 따라 이중여집합에 대한 경계를 도출함.