Universal Hamiltonian simulators in one and two dimensions

기술 요약: 1차원 및 2차원 유니버설 해밀토니안 시뮬레이터

문제 정의
아날로그 해밀토니안 시뮬레이션은 타겟 해밀토니안 $H$의 물리학을 시뮬레이터 해밀토니안 $H'$를 사용하여 재현하는 것을 목표로 한다. 여기서 $H'$의 저에너지 스펙트럼(low-lying spectrum)은 $H$의 특성을 인코딩한다. 기존 연구들은 특정 2D 스핀 격자 해밀토니안 제품군(예: 하이젠베르크 또는 XY 모델)이 임의의 로컬 해밀토니안을 시뮬레이션할 수 있다는 점에서 "유니버설"하다는 것을 입증했으나, 이러한 구성 방식은 결정적인 비효율성을 안고 있었다. 구체적으로, 일반적인 연결성(예: 3D 격자 또는 all-to-all 상호작용)을 가진 타겟 해밀토니안을 2D 시뮬레이터를 사용하여 시뮬레이션할 때, 필요한 자원(입자 수 또는 상호작용 에너지)이 시스템 크기에 따라 지수적으로 증가했다. 이러한 지수적 오버헤드는 많은 물리적으로 유의미한 시스템(예: 3D 시스템 또는 SYK 모델)의 시뮬레이션을 실질적으로 불가능하게 만들었다. 본 논문은 "강한 유니버설리티(strongly universal)"를 가진 시뮬레이터가 존재하는가, 즉 타겟의 기하학적 구조나 연결성에 관계없이 자원 측면에서 다항식 수준(polynomial overhead)의 오버헤드만으로 임의의 로컬 타겟 해밀토니안을 시뮬레이션할 수 있는 제품군이 존재하는가라는 질문을 다룬다.

방법론
저자들은 기존의 섭동적 가젯(perturbative gadget) 기반 구성 방식의 지수적 오버헤드를 극복하기 위해, 양자 위상 추정 알고리즘(quantum phase-estimation algorithm)과 회로-해밀토니안 변환(circuit-to-Hamiltonian construction)을 결합한 비섭동적 접근 방식을 채택하였다. 방법론은 다음 세 단계로 진행된다:

1. 1D 위상 추정 회로로의 매핑:
   타겟 해밀토니안 $H$를 시뮬레이터로 직접 매핑하는 대신, 저자들은 먼저 $H$를 $e^{-iHt}$에 대한 위상 추정을 수행하는 양자 회로로 매핑한다. 트로터 분해(Trotter decomposition)와 솔로베이-키타예프 정리(Solovay-Kitaev theorem)를 사용하여, 이 회로는 인접한 큐비트 간의 게이트(nearest-neighbor gates)만을 사용하는 1D 큐비트 라인 상에서 작동하도록 구축된다. 이 단계는 큐비트를 새로운 앤실라(ancilla)로 스와핑하여 각 큐비트가 상수 개의 게이트와만 상호작용하도록 함으로써, 문제의 연결성을 공간적으로 희소화(sparsify)하는 효과를 준다.

2. 스펙트럼 복원을 포함한 회로-해밀토니안 매핑:
   그 후 1D 위상 추정 회로를 다시 해밀토니안으로 매핑한다. 여기서 다루는 핵심 기술적 과제는 시스템 큐비트와 에너지 고윳값을 저장하는 앤실라 큐비트 사이의 얽힘(entanglement)이며, 이는 시뮬레이션 중 결맞음(decoherence)을 유발한다. 이를 해결하기 위해 저자들은 회로의 끝에서 "언컴퓨팅(uncomputing, 회로를 역방향으로 실행)"과 "아이들링(idling, 항등 게이트 삽입)" 기법을 사용한다. 이를 통해 계산 이력이 시스템과 앤실라 사이에 원치 않는 얽힘을 남기지 않으면서도 $H$의 스펙트럼 정보를 인코딩하도록 보장한다. 결과적으로 생성된 해밀토니안 $H_{circuit}$은 공간적으로 희소하며 $H$의 스펙트럼을 보존한다.

3. 유니버설 제품군으로의 임베딩:

   • 2D 구성: 공간적으로 희소한 $H_{circuit}$은 2D 정사각형 격자 위의 준-병진 불변(semi-translation-invariant) 해밀토니안으로 매핑된다. 이는 국소성(locality)과 상호작용 유형을 단일한 비-2SLD(non-simultaneously locally diagonalizable) 상호작용(예: 하이젠베르크 또는 XY 상호작용)으로 줄이기 위해 선행 연구(Cubitt et al.)의 섭동 가젯을 사용하여 달성된다.
   • 1D 구성: 1D 시뮬레이터를 구현하기 위해, 저자들은 QMA-완전성 증명에 사용되는 회로-해밀토니안 변환 방식을 응용한다. 이들은 회로를 인접한 상호작용을 갖는 8차원 입자의 1D 체인으로 매핑한다. 2D의 경우와 달리, 이 구성은 국소성과 효율성을 유지하기 위해 병진 불변성(translation invariance)을 희생한다.

주요 기여 및 결과
본 논문은 강한 유니버설 해밀토니안 시뮬레이터의 존재에 관한 두 가지 주요 정리를 확립한다:

• 정리 1 (2D 강한 유니버설리티): 상호작용 집합 $S$가 비-2SLD라면, 2D 정사각형 격자 상의 모든 S-해밀토니안 제품군은 강한 유니버설리티를 가진다. 여기에는 단일 상호작용 유형(예: 하이젠베르크 또는 XY)을 가진 준-병진 불변 제품군이 포함된다. 이 시뮬레이터들은 타겟의 연결성에 관계없이 입자 수와 상호작용 에너지 모두에서 다항식 오버헤드로 임의의 로컬 타겟 해밀토니안(또는 임의의 디지털 시뮬레이션 가능한 해밀토니안)을 효율적으로 시뮬레이션할 수 있다.
• 정리 2 (1D 강한 유니버설리티): 인접 상호작용을 갖는 1D 8차원 입자 체인으로 구성된 강한 유니버설 해밀토니안 제품군이 존재한다. 이들은 병진 불변성이 결여되어 있으나, 임의의 타겟 로컬 해밀토니안에 대해 다항식 오버헤드를 달성한다.
• 정리 3 (디지털 시뮬레이션 가능한 해밀토니안으로의 확장): 구축된 시뮬레이터는 디지털 시뮬레이션이 가능한 모든 해밀토니안(즉, $e^{-iHt}$가 다항식 크기의 회로로 근사될 수 있는 모든 해밀토니안, 예: 페르미온 시스템 및 $poly(n)$개의$O(\log n)$-로컬 항을 가진 시스템)을 효율적으로 시뮬레이션할 수 있다.

또한 본 논문은 아날로그 시뮬레이션과 다이내믹스 시뮬레이션의 차이를 명확히 한다. 아날로그 시뮬레이션은 $H$의 전체 스펙트럼이 $H'$의 저에너지 스펙트럼에 인코딩되어 열적 상태(thermal states)와 국소 관측량(local observables)을 보존할 것을 요구한다. 반면 다이내믹스 시뮬레이션은 시간 진화 $e^{-iHt}$를 재현하는 것만을 요구한다. 저자들은 자신들의 구성이 아날로그 시뮬레이션에 대해 강한 유니버설리티를 가짐을 증명하며, 이는 곧 다이내믹스 시뮬레이션에 대해서도 강한 유니버설리티를 가짐을 의미한다. 반대로, 다이내믹스 시뮬레이션은 더 약한 개념이다. 예를 들어, 완전한 병진 불변성을 가진 1D 해밀토니안은 다이내믹스 시뮬레이션에는 강한 유니버설리티를 가질 수 있지만, 원치 않는 저에너지 상태의 존재로 인해 아날로그 시뮬레이션에 대해서는 아직 그러한 것으로 알려져 있지 않다.

의의
본 논문은 근접 미래의 양자 기술에서 아날로그 해밀토니안 시뮬레이션의 적용 가능성을 크게 확장한다고 주장한다. 저차원(1D 및 2D) 구조에서 효율적인(다항식 오버헤드) 유니버설 시뮬레이션이 가능하다는 것을 보여줌으로써, 본 연구는 타겟의 공간적 차원과 유사한 구조를 가져야 했던 기존의 지수적 자원 스케일링 제약을 제거하였다. 저자들은 자신들의 결과가 임의의 디지털 시뮬레이션 가능한 해밀토니안(양자 처치-튜링 명제에 따라 양자 회로로 시뮬레이션 가능한 모든 물리적으로 구현 가능한 양자 시스템을 포함함)의 아날로그 시뮬레이션을 효율적으로 만드는 것을 가능하게 한다고 강조한다. 이는 단순하고 저차원적인 양자 장치를 사용하여 복잡한 다체 물리학(many-body physics)을 탐구하고, 신소재를 개발하며, 결함 허용 오류 수정(fault-tolerant error correction) 없이도 해밀토니안 기반 양자 알고리즘을 구현할 수 있음을 입증한다. 또한 본 연구는 아날로그 시뮬레이터의 "강한 유니버설리티"에 대한 엄격한 이론적 토대를 제공하며, 이를 일반적인 타겟에 대해 지수적 자원을 요구하는 "약한 유니버설리티" 제품군과 구분한다.