The prospect of realizing highly entangled states on quantum processors with fundamentally different hardware geometries raises the question: to what extent does a state of a quantum spin system have an intrinsic geometry? In this paper, we propose that both states and dynamics of a spin system have a canonically associated coarse geometry, in the sense of Roe, on the set of sites in the thermodynamic limit. For a state $Ï$ on an (abstract) spin system with an infinite collection of sites $X$, we define a universal coarse structure $\mathcal{E}_Ï$ on the set $X$ with the property that a state has decay of correlations with respect to a coarse structure $\mathcal{E}$ on $X$ if and only if $\mathcal{E}_Ï\subseteq \mathcal{E}$. We show that under mild assumptions, the coarsely connected completion $(\mathcal{E}_Ï)_{con}$ is stable under quasi-local perturbations of the state $Ï$. We also develop in parallel a dynamical coarse structure for arbitrary quantum channels, and prove a similar stability result. We show that several order parameters of a state only depend on the coarse structure of an underlying spatial metric, and we establish a basic compatibility between the dynamical coarse structure associated to a quantum circuit $α$ and the coarse structure of the state $Ï\circ α$ where $Ï$ is any product state.
- 논문 ID: 2411.07912
- 제목: Universal coarse geometry of spin systems
- 저자: Ali Elokl (North Carolina State University), Corey Jones (North Carolina State University)
- 분류: quant-ph math-ph math.MG math.MP
- 발표 시간: 2024년 12월 30일 (arXiv v2)
- 논문 링크: https://arxiv.org/abs/2411.07912
본 논문은 근본적으로 다른 하드웨어 기하학적 구조를 가진 양자 프로세서 위에서 고도로 얽힌 상태를 구현할 가능성을 탐구하며, 핵심 질문을 제시한다: 양자 스핀 시스템의 상태가 어느 정도로 내재적 기하학적 구조를 가지는가? 저자들은 열역학적 극한에서 스핀 시스템의 상태와 동역학이 모두 규범 관련 조대 기하학적 구조(coarse geometry)를 가진다고 제안한다. 무한 집합 X 위의 추상적 스핀 시스템 상태 φ에 대해, 저자들은 보편적 조대 구조 E_φ를 정의하여, 상태가 조대 구조 E에 대해 관련성 감쇠를 가질 필요충분조건이 E_φ⊆E임을 보인다. 온건한 가정 하에서, 조대 연결 완성 (E_φ)_con은 상태의 준국소 섭동 하에서 안정적으로 유지된다.
본 논문의 핵심 문제는 양자 정보 실험의 최근 진전에서 비롯된다: 양자 프로세서 위에서 고도로 얽힌 위상 순서 상태를 구현할 때, 프로세서의 하드웨어 기하학적 구조가 이론 모델의 기하학적 구조와 양립하지 않을 수 있다. 예를 들어, 2D 하드웨어 위에서 3D 스핀 액체의 기저 상태를 구현하려면 비국소 부호화 방식이 필요하다. 이는 근본적인 질문을 야기한다: 스핀 시스템에서 얽힘 기반 순서 매개변수를 정의하는 데 사용되는 "올바른" 기하학적 구조가 상태의 내재적 속성인 정확한 수학적 의미가 존재하는가?
- 실험 주도의 이론적 필요성: 양자 프로세서 위에서 위상 순서 상태를 구현하는 최근 실험은 상태의 내재적 기하학적 속성을 이해하기 위한 이론 프레임워크의 필요성을 보여준다
- 양자 상 등가성의 이론적 기초: 전통적으로 해밀토니안 경로를 통해 양자 상을 정의하지만, 양자 정보 관점은 상태 기반 등가성 정의를 촉진한다
- 국소성의 추상화: 물리 시스템의 국소성은 관련성 함수의 거리 감쇠를 통해 나타나며, 이러한 국소성 개념은 오직 도량의 대규모 기하학적 구조에만 의존한다
- 전통적 방법은 미리 주어진 공간 기하학적 구조에 의존한다
- 상태 자체에서 기하학적 정보를 추출하는 체계적 프레임워크가 부족하다
- 서로 다른 하드웨어 기하학적 구조의 양립성 문제에 대한 이론적 지침이 부족하다
- 보편적 조대 구조 이론: 임의의 함수 f: X×X → R⁺에 대해 보편적 조대 구조 E_f를 정의하여, f가 조대 구조 E에 대해 제어된 감쇠를 가질 필요충분조건이 E_f⊆E임을 보인다
- 관련성 조대 구조: 양자 스핀 시스템의 상태 φ에 대해 관련성 조대 구조 E_φ와 고차 버전 E_φ̃를 정의하여 상태의 내재적 기하학적 속성을 특성화한다
- 동역학 조대 구조: 양자 채널 α에 대해 동역학 조대 구조 E_α를 정의하여 동역학 국소성의 내재적 특성화를 제공한다
- 안정성 정리: 적절한 조건 하에서 (E_φ)_con과 (E_α)_con이 준국소 섭동 하에서 안정적으로 유지됨을 증명한다
- 순서 매개변수의 조대 의존성: 초선택 부채꼴과 임계 지수 등 중요한 순서 매개변수가 도량의 조대 등가류에만 의존함을 증명한다
- 상태 제조 복잡성: 상태를 제조하는 데 사용되는 양자 회로와 상태 자체 사이의 조대 구조 양립성 관계를 확립한다
정의 2.1: 이산 C*-대수 망은 다음을 포함한다:
- 가산 집합 X (격자점)
- 단위원소 C*-대수 A (준국소 대수)
- 각 유한 부분집합 F⊆X에 대해, 단위원소 부분대수 A_F⊆A (국소 부분대수)
다음 조건을 만족한다:
- F⊆G이면 A_F⊆A_G
- F∩G=∅이면 A_F, A_G=0
- ⋃_{F∈F(X)}A_F는 A에서 조밀하다
정의 3.1: 집합 X 위의 조대 구조 E는 X×X의 부분집합족으로, 다음을 만족한다:
- 대각선을 포함하며, 부분집합과 유한 합에 대해 닫혀있다
- E∈E이면 E⁻¹∈E
- E,F∈E이면 E∘F∈E
핵심 구성:
함수 f: X×X → R⁺∪{∞}에 대해, 다음을 정의한다:
- E_{f,ε} := {(x,y) ∈ X×X : f(x,y) ≥ ε}
- E_f := ⋃{ε>0} ⟨E{f,ε}⟩
정의 4.13: 상태 φ에 대해, 이점 관련성 함수를 정의한다:
Cφ(x,y)=supa∈(Ax)1,b∈(Ay)1‖φ(ab)−φ(a)φ(b)‖
고차 관련성 함수:
C~φ(F,G)=supa∈(AF)1,b∈(AG)1‖φ(ab)−φ(a)φ(b)‖
관련성 조대 구조는 다음과 같이 정의된다: E_φ := E_{C_φ}, E_φ̃ := E_{\tilde{C}_φ}
정의 4.23: 양자 채널 α: A→A에 대해, 꼬리 함수를 정의한다:
Qα(x,y):=supa∈(Ax)1,b∈(Ay)1‖[α(a),b]‖
동역학 조대 구조: E_α := E_{Q_α}
정리 4.2: 임의의 함수 f: X×X → R⁺∪{∞}에 대해, 조대 구조 E_f가 존재하여: f가 조대 구조 E에 대해 제어된 감쇠를 가질 필요충분조건이 E_f⊆E이다.
정리 5.3 (관련성 조대 구조 안정성): φ: A→B가 ucp 사상이고 E_φ가 참이며 단일 생성이라고 하자. 그러면 임의의 준국소 섭동 Ψ: A→A에 대해, (E_{φ∘Ψ}) = (E_φ)이다.
정리 5.7 (동역학 조대 구조 안정성): 유사한 안정성 결과가 동역학 조대 구조에 대해 성립한다.
정리 1.5: φ가 상태이고 α가 곱 상태에서 φ를 제조하는 회로라면, E_φ̃ ⊆ E_α̃이다.
이는 특정 조대 복잡성을 가진 상태를 제조하려면 최소한 동일한 복잡성의 회로가 필요함을 의미한다.
명제 7.6: 관련성 길이가 0, 유한 관련성 길이, 무한 관련성 길이의 정의는 도량의 준등가류에만 의존한다.
명제 7.10: 대수적 감쇠의 관련성 함수와 임계 지수는 도량의 준등가류와 무관하다.
- 에너지 갭 해밀토니안의 기저 상태: 지수 감쇠하는 관련성 함수를 가진다
- 평형 상태: 깁스 상태 또는 KMS 상태는 저온 및 고온에서 제어된 감쇠를 가진다
- 양자 셀룰러 자동자: 동역학 조대 구조는 원래 기하학적 구조를 복원한다
- Cayley 그래프 위의 스핀 시스템: 평행이동 불변 인수 상태의 조대 구조는 군의 조대 구조에 포함된다
정의 7.3: 힐베르트 공간 표현 H는 (X,d) 위의 조대 초선택 준거를 만족한다. 만약 임의의 삼중항 L,C,D에 대해, 상수 R≥0이 존재하여 임의의 조대 L,C,D 원뿔 f: D→X에 대해, H가 f(D)+R에서 국소화 가능하다면.
명제 7.4:
- d'가 d와 준등거리라면, Sec^d_φ = Sec^{d'}_φ
- (X,d) = Z^n이면, Sec^d_φ = Sec_φ
- 이론적 혁신성: 조대 기하학 이론을 양자 다체 시스템에 처음으로 체계적으로 적용하여 상태의 내재적 기하학적 속성에 대한 엄격한 수학적 프레임워크를 제공한다
- 보편성: 프레임워크는 고전 및 양자 시스템, 그리고 더 복잡한 대수 구조에 적용 가능하다
- 안정성 보장: 물리적으로 관련된 섭동 하에서 조대 구조의 안정성을 증명하여 실제 응용을 위한 이론적 보장을 제공한다
- 계산 가능성: 점근 차원과 성장 함수를 통해 유한 시스템에서 조대 구조를 추정하는 방법을 제공한다
- 깊은 통찰: 많은 "보편적" 성질이 실제로는 조대 기하학적 성질임을 드러내어 재정규화 군 이론에 새로운 관점을 제공한다
- 실용성 제한: 이론 프레임워크는 주로 열역학적 극한에 적용되며, 유한 시스템에 대한 응용은 추가 발전이 필요하다
- 계산 복잡성: 조대 구조를 완전히 결정하는 것은 실제로 계산 복잡할 수 있으며, 효율적인 알고리즘 개발이 필요하다
- 물리적 직관: 고도로 추상적인 수학적 프레임워크는 물리적 직관과 직접적인 연결을 수립하기 어려울 수 있다
- 실험 검증: 이론적 예측의 실험적 검증 방법이 충분히 발전하지 않았다
- 이론 물리학: 응축 물질 물리학의 상 분류 및 임계 현상에 새로운 수학적 도구를 제공한다
- 양자 정보: 양자 프로세서 위의 상태 구현을 위한 기하학적 양립성의 이론적 지침을 제공한다
- 수학 물리학: 작용소 대수 이론과 조대 기하학 사이의 깊은 연결을 확립한다
- 학제간 영향: 방법은 네트워크 이론, 위상 데이터 분석 등 다른 분야에 적용될 수 있다
- 양자 시뮬레이션: 서로 다른 하드웨어 기하학 위에서 목표 양자 상태 구현 지도
- 상 분류: 조대 기하학 기반 양자 상 등가성 분류
- 임계 현상: 임계점 근처의 보편적 성질 연구
- 위상 양자 계산: 위상 순서의 기하학적 의존성 이해
본 논문은 양자 스핀 시스템의 상태와 동역학의 내재적 기하학적 구조에 대한 엄격한 수학 이론을 확립한다. 조대 기하학 프레임워크를 통해, 저자들은 많은 중요한 물리적 성질이 실제로는 대규모 기하학적 구조에만 의존하며 구체적인 도량 세부사항에는 의존하지 않음을 증명한다. 이 이론은 양자 다체 시스템을 이해하기 위한 새로운 관점을 제공할 뿐만 아니라 양자 정보 처리의 기하학적 양립성 문제에 대한 해결책을 제공한다.
향후 연구 방향은 다음을 포함한다:
- 유한 시스템에서 조대 구조의 효율적 계산 방법 개발
- 지속 동조 등 위상 데이터 분석 도구와의 연결 확립
- 양자장론에서 조대 기하학 프레임워크의 응용 탐색
- 조대 기하학 기반 양자 상 분류 이론 개발
이 연구는 수학 물리학과 양자 정보의 교차 연구에 새로운 방향을 개척하며, 중요한 이론적 가치와 잠재적 실용적 의의를 가진다.