Sublinear thermal state and ground state preparation for free fermions via system-bath interaction

기술 요약: 시스템-배스 상호작용을 통한 자유 페르미온의 아선형 열적 및 바닥 상태 준비

문제 정의
열적(깁스) 상태 및 바닥 상태의 준비는 양자 시뮬레이션의 근본적인 과제이다. 제어된 환경(배스, bath)과의 상호작용을 통해 시스템을 목표 상태로 유도하는 소산적(dissipative) 알고리즘은 유망한 결과를 보여왔으나, 기존 방식들은 일반적으로 총 해밀토니안 시뮬레이션 시간이 시스템 크기 $N$에 대해 최소 선형적으로 스케일링되어야 한다는 한계가 있다. 이러한 선형적 장벽은 국소적인 소산적 전이가 임의의 초기 상태를 목표 상태로 유도하기 위해 모든 $N$개의 큐비트에 작용해야 하기 때문에 발생한다. 자유 페르미온 시스템의 경우 클래식하게 시뮬레이션이 가능함에도 불구하고, 아선형(sublinear) 시뮬레이션 시간을 갖는 양자 알고리즘을 확립하는 것은 소산적 상태 준비의 한계를 이해하기 위한 중요한 이론적 벤치마크가 된다.

방법론
저자들은 배스 큐비트의 수가 시스템 크기에 비례하여 스케일링되는($\Theta(N)$) "확장된(extensive)" 배스를 설계함으로써 자유 페르미온에 대한 선형-인-$N$ 장벽을 극복하는 시스템-배스 상호작용 프레임워크를 제안한다.

1. 시스템-배스 프레임워크: 알고리즘은 시스템과 배스의 결합 진화에 의해 유도되는 양자 채널 $\Phi_\alpha$를 반복적으로 적용한 후 배스를 트레이스 아웃(trace out)한다. 결합 해밀토니안은 $H_\alpha(t) = H + H_E + \alpha H_{\text{int}}(t)$이며, 여기서 $H$는 시스템 해밀토니안, $H_E$는 배스 해밀토니안, $H_{\text{int}}$는 필터 함수 $f(t)$에 의해 변조되는 국소 결합을 나타낸다.
2. 디커플링 전략: $\Theta(N)$개의 동시 결합에 의해 도입되는 섭동 오차를 관리하기 위해, 저자들은 전체 시스템-배스 해밀토니안을 $N$개의 독립적인 페르미온 모드로 분해하는 변환을 활용한다. 이를 통해 페르미온 텐서 곱 구조를 사용하여 모드별로 섭동 오차를 분석할 수 있으며, 더 큰 결합 강도 $\alpha$를 달성하고 아선형 복잡도를 얻을 수 있다.
3. 두 가지 배스 프로토콜:
   • 제로-배스(Zero-Bath) 설정: 배스 해밀토니안 $H_E = 0$이다. 이 설정은 열 상태 준비에 사용된다.
   • 랜덤-배스(Random-Bath) 설정: 배스 해밀토니안 $H_E$는 무작위로 샘플링된 주파수 $\omega$를 포함한다. 이 설정은 바닥 상태 준비에 사용되며, 필터 설계에 있어 더 큰 유연성을 제공한다.

주요 기여 및 결과

1. 아선형 열 상태 준비
유계된 단일 입자 대역폭을 갖는 자유 페르미온에 대해, 저자들은 트레이스 노름 오차 $\epsilon$에 대해 총 시뮬레이션 시간이 다음과 같은 알고리즘을 제시한다:
$$T_{\text{total}} = \tilde{O}(\sqrt{N}/\epsilon)$$
이는 기존의 소산적 접근 방식(대략 $\tilde{O}(N)$으로 스케일링됨)에 비해 다항식 수준의 개선을 나타낸다. 이 알고리즘은 임의의 초기 상태에 대해 작동하며, 쿠보-마틴-슈빙거(Kubo–Martin–Schwinger, KMS) 상세 균형 조건을 만족하도록 정교하게 설계된 필터 함수와 제로-배스 설정을 기반으로 한다.

2. 폴리로그(Polylogarithmic) 바닥 상태 준비
스펙트럼 갭 $\Delta > 0$을 갖는 갭이 있는 자유 페르미온 시스템의 경우, 바닥 상태 준비 복잡도는 다음과 같이 크게 개선된다:
$$T_{\text{total}} = \tilde{O}(\Delta^{-2} \text{polylog}(N/\epsilon))$$
이 거의 최적인 $N$에 대한 의존성은 랜덤-배스 설정을 사용하여 달성된다. 이 분석은 목표 상태가 시스템 크기에 의존하는 요소 없이 보존되도록 하기 위해, 일반적인 린드블라드(Lindblad) 근사를 넘어 다이슨 전개(Dyson expansion)의 모든 고차 항을 고려해야 한다.

3. 하한(Lower Bounds) 및 설계 제약 조건
본 논문은 이러한 프로토콜 내에서 추가적인 복잡도 개선을 가로막는 근본적인 장애물을 식별하는 엄격한 하한을 설정한다:

• 제로-배스 한계: 복잡도를 $\tilde{O}(\sqrt{N}/\epsilon)$보다 더 좋게 만들기 위해서는 필터 함수가 리드 오더뿐만 아니라 상호작용 강도 $\alpha$의 4차 항에 대해서도 상세 균형 조건을 만족해야 한다. 그러한 필터 함수가 존재하는지는 여전히 미해결 과제로 남아 있다.
• 랜덤-배스 한계: 무작위 주파수는 유연성을 제공하지만, 본 논문은 만약 상세 균형 조건이 (거의 모든 실현에 대해 아니라) 주파수 분포에 대한 평균적으로만 성립한다면, 복잡도가 $\Omega(N/\epsilon)$의 선형 스케일링으로 되돌아간다는 것을 증명한다. 무작위성은 결합 상태가 단일 큐비트 주변부(marginal)가 정확하더라도 곱 상태(product state)가 되지 않도록 하는 변동을 유발한다. 이러한 장애물은 목표가 주변부에 의해 유일하게 결정되는 순수 곱 상태인 바닥 상태 준비에서는 나타나지 않는다.

의의 및 주장
저자들은 자신들의 결과가 자유 페르미온에 대해 소산적 상태 준비의 선형 시뮬레이션 시간 장벽을 극복할 수 있음을 입증한다고 주장한다. 확장된 배스를 사용함으로써, 그들은 국소적 상호작용과 임의의 초기 상태로부터의 수렴성을 유지하면서도 시뮬레이션 시간을 증명 가능한 수준으로 단축했다.

본 연구는 복잡도 개선을 지배하는 구체적인 설계 제약 조건을 명확히 한다:

• 열 상태의 경우, 4차 편차를 제어해야 하는 필요성과 배스의 공유된 무작위성이 주요 병목 현상임을 확인하였다.
• 바닥 상태의 경우, 랜덤-배스 설정이 배스의 유연성을 완전히 활용할 수 있게 하여 폴리로그 스케일링을 달성할 수 있게 한다.

본 논문은 자유 페르미온을 소산적 알고리즘을 탐구하기 위한 통제된 테스트베드로 위치시킨다. 자유 페르미온이 클래식하게 시뮬레이션 가능하다는 점을 인정하면서도, 저자들은 더 일반적인 상호작용하는 양자 시스템에 대한 소산적 방법의 잠재력을 이해하기 위해 이 벤치마크에 대한 엄격한 아선형 양자 복잡도 보장을 확립하는 것이 중요하다고 주장한다. 또한 최근의 연구[30]가 결합 수송(coherent transport)을 통해 바닥 상태에 대한 폴리로그 시간을 달성한 것과 달리, 본 연구는 완화 기반 메커니즘(relaxation-based mechanism)을 구체적으로 다루며, 이를 통해 소산적 프로토콜에 내재된 독특한 도전 과제와 제약 조건을 강조한다.