The $\mathbb{Z}_2$-Index of a Pair of Pure States and the Topology of Interacting 1D Superconductors

기술 요약: 한 쌍의 순수 상태에 대한 $\mathbb{Z}_2$-지표와 상호작용하는 1차원 초전도체의 위상

문제 정의
본 논문은 상호작용하는 페르미온 1차원계, 특히 클래스 D 초전도체의 위상적 상 분류를 다룬다. 비상호작용계에서의 위상 불변량(마요라나 수)은 단일 입자 프레드홀름 지표(Fredholm indices) 또는 투영 쌍(projection pairs)을 통해 잘 이해되어 있다. 그러나 이를 상호작용하는 다체계(many-body systems)로 확장하기 위해서는 상태론적 정식화가 필요하다. 기존의 연산자 대수적 접근 방식은 "분리 성질(split property, 강한 국소성)"에 의존하거나 준자유 상태(quasi-free states)로 제한되는 경향이 있다. 저자들은 상호작용에 대해 견고하며, 최소한의 국소성 가정을 요구하고, 대칭적 국소 자기동형 사상(symmetric local automorphisms) 하에서 발생하는 위상 공간의 완전한 분류를 제공하는 상대적 위상 지표를 정의하는 것을 목표로 한다.

방법론
본 연구는 유니탈 $C^*$-대수와 자기 쌍대(self-dual) 정규 반교환 관계(CAR) 대수에 기초한다. 방법론은 세 단계로 진행된다:

1. 추상적 지표 정의: 저자들은 패리티 불변성을 가진, 국소적으로 비교 가능한(locally-comparable) 한 쌍의 순수 상태에 대해, 패리티를 나타내는 내적 자기동형 사상 $\theta$가 주어진 $C^*$-대수 상의 상대적 $\mathbb{Z}_2$-지표 $N(\omega_1, \omega_2)$를 정의한다. 두 상태가 "국소적으로 비교 가능하다"는 것은 이들이 내적 자기동형 사상(유니타리 $u$에 의한 켤레)에 의해 연결됨을 의미한다. 지표는 $N(\omega_1, \omega_2) := \omega_1(u^*\theta(u)) \in \{\pm 1\}$로 정의된다.
2. 1차원 계로의 적용: 이 프레임워크는 1차원 자기 쌍대 CAR 대수 $A = \text{CAR}_{\text{sd}}(H, \Xi)$로 특수화된다 (여기서 $\Xi$는 입자-구멍 켤레이다). 위치 연산자의 부호에 의해 유도된 "국소성 자기동형 사상" $\sigma$(체인의 왼쪽 절반의 연산자 부호를 뒤집는 보골리우보프 자기동형 사상)를 도입한다. 상태 $\omega$는 "$\sigma$-국소적( $\sigma$-local)"이라고 정의되며, 이는 $\omega$와 $\omega \circ \sigma$가 국소적으로 비교 가능함을 의미한다. 다체 마요라나 수는 $N_\sigma(\omega) := N(\omega, \omega \circ \sigma)$로 정의된다.
3. 자기동형 경로를 통한 분류: 노름 위상(norm topology)은 너무 미세하여 초선택 섹터(superselection sectors)를 보존하고, 약-* 위상(weak-$*$ topology)은 너무 거칠어 지표를 소멸시킨다는 점을 인식하여, 저자들은 "대칭적 국소 자기동형 경로"를 도입한다. 이는 패리티와 교환되며 $\sigma$와 특정 교환자 조건을 만족하는(국소 구조를 보존하는) 점-노름 연속(point-norm continuous) 자기동형 사상 경로 $\alpha_t$이다. 분류 문제는 두 상태가 이러한 경로에 의해 연결되는지를 결정하는 문제로 재정의된다.

주요 기여 및 결과

• 상대적 지표의 정의 가능성 및 성질: 정리 2.3은 $N(\omega_1, \omega_2)$가 잘 정의되며, 곱셈적이고, 패리티 보존 자기동형 사상에 대해 불변이며, 노름 위상에서 국소적으로 상수임을 입증한다. 결정적으로, $\|\omega_1 - \omega_2\| < 2$이면 지표는 $+1$이다.
• 단일 입자 지표와의 대응: 정리 2.6과 정리 3.10은 힐베르트-슈미트 조건($P-Q \in J_2(H)$)을 만족하는 기저 투영 $P, Q$와 연관된 준자유 상태에 대해, 다체 지표 $N(\omega_P, \omega_Q)$가 투영 쌍의 표준 mod-2 지표인 $(-1)^{\dim \text{im } P \cap \ker Q}$와 일치함을 증명한다. 나아가, 단일 입자 투영 $P$로부터 유도된 $\sigma$-국소 상태 $\omega_P$에 대해 $N_\sigma(\omega_P)$는 단일 입자 마요라나 수와 같다.
• 상태 공간의 위상: 섹션 3.6은 이 지표가 약-* 위상에서는 연속적이지 않음을 보여준다. 예제 3.11은 지표가 극한에서 $-1$에서$+1$로 도약하는 약-* 연속적인$\sigma$-국소 상태 경로를 구성함으로써, 약-* 위상이 공간 무한대로의 수송(transport to spatial infinity)에 의해 실린 위상적 장애물을 감지하는 데 실패함을 보여준다.
• 완전한 분류: 핵심 결과(정리 4.8 및 따름정리 4.9)는 두 순수, 패리티 불변, $\sigma$-국소 상태 $\omega_1, \omega_2$가 (대칭적 국소 자기동형 경로를 통해) "자기동형-경로-연결(automorphic-path-connected)"될 필요충분조건이 $N_\sigma(\omega_1) = N_\sigma(\omega_2)$라는 것이다. 이는 상태 공간의 자기동형-경로-성분(automorphic-path-components)에 대한 완전한 분류를 제공한다.
• 국소성의 정교화: 본 논문은 $\sigma$-국소성을 마츠이 분리 성질(Matsui split property)보다 약한 조건으로 도입하며, 부록 B는 분리 성질을 만족하지만 $\sigma$-국소적인 순수 상태를 구성함으로써, 저자들의 프레임워크가 엄격한 분리 성질을 만족하는 상태보다 더 넓은 범주의 상태를 포착함을 입증한다.
• SRE 및 LGA: 부록 C는 대칭적 생성자를 가진 국소 생성 자기동형(LGA)에 의해 생성된 단거리 얽힘(SRE) 상태가 자명한 지표($N_\sigma = +1$)를 가짐을 보여준다. 또한, 지표가 2만큼 차이 나는 키테이 체인(Kitaev chains)이 이러한 자기동형들에 의해 연결됨을 증명하며, 이는 불변량의 $\mathbb{Z}_2$ 성질과 일치한다.

의의 및 주장
본 논문은 상호작용하는 계에서 다체 마요라나 수를 정의하기 위한 엄밀한 연산자 대수적 토대를 제공한다고 주장한다. 주요 의의는 다음과 같다:

1. 최소성: $\sigma$-국소성의 정의는 지표를 정의하기 위해 필요한 가장 약한 알려진 조건이며, 분리 성질을 넘어 확장된다.
2. 완전성: 지표 $N_\sigma$는 대칭적 국소 자기동형 하에서 1차원 클래스 D 초전도체의 위상적 섹터를 완전히 분류하며, 두 위상 섹터를 구별한다.
3. 장애물의 구분: 본 연구는 벌크 장애물(bulk obstruction, $N_\sigma$에 의해 포착됨)과 상대적 0차원 패리티 장애물 사이의 관계를 명확히 한다. 저자들은 $N_\sigma$가 벌크 위상을 분류하지만, 동일한 $N_\sigma$를 가진 두 상태가 여전히 비자명한 상대적 지표 $N(\omega_1, \omega_2) = -1$을 가질 수 있음을 지적하는데, 이는 벌크 분류에서는 "잊혀지지만" 상대적 쌍 지표에 의해 감지되는 국소 패리티 장애물을 나타낸다.
4. 위상적 견고성: 노름 위상과 자기동형 경로를 활용함으로써, 저자들은 지표가 초선택 섹터와 국소 구조를 보존하는 섭동에 대해 안정적임을 보장하며, 약-* 위상의 병리적 현상을 피한다.

저자들은 자신들의 접근 방식이 특정 물리 모델이나 준자유 가정에 의존하기보다는, 지표를 잘 정의하고 문제의 위상적 구조를 드러내기 위해 필요한 최소한의 요구사항에 집중한다는 점에서 기존 문헌과 상보적임을 명시적으로 밝히고 있다.