[논문 리뷰] Z_2 invariants of topological insulators as geometric obstructions

Domenico Fiorenza, Domenico Monaco외 1명|arXiv (Cornell University)|2014. 08. 05.

Topological Materials and Phenomena참고 문헌 31인용 수 10

한 줄 요약

이 논문은 두 차원 및 세 차원의 위상 절연체에서 주기적이고 시간역전대칭을 가지는 블로흐 프레임의 존재가 Z₂ 위상수들에 의해 차단됨을 밝히며, 이 위상수들이 푸-카인 및 푸-카인-멜레 지수와 정확히 일치함을 보여준다. 저자들은 이러한 장애가 존재하지 않을 경우에만 유효한, 이산 및 연속 시스템 모두에 적용 가능한 구축 가능한 알고리즘을 제공한다.

ABSTRACT

We consider a gapped periodic quantum system with time-reversal symmetry of fermionic (or odd) type, i.e. the time-reversal operator squares to -1. We investigate the existence of periodic and time-reversal invariant Bloch frames in dimensions 2 and 3. In 2d, the obstruction to the existence of such a frame is shown to be encoded in a $\mathbb{Z}_2$-valued topological invariant, which can be computed by a simple algorithm. We prove that the latter agrees with the Fu-Kane index. In 3d, instead, four $\mathbb{Z}_2$ invariants emerge from the construction, again related to the Fu-Kane-Mele indices. When no topological obstruction is present, we provide a constructive algorithm yielding explicitly a periodic and time-reversal invariant Bloch frame. The result is formulated in an abstract setting, so that it applies both to discrete models and to continuous ones.

연구 동기 및 목표

• 페르미온성 시간역전대칭을 가진 간극이 있는 양자 시스템에서 주기적이고 시간역전대칭을 가지는 블로흐 프레임의 존재를 방해하는 위상적 장애를 이해하는 것.
• 이러한 장애를 이끌어내는 정확한 위상수를 두 차원 및 세 차원에서 규명하는 것.
• 이 위상수가 각각 2D 및 3D에서 잘 알려진 푸-카인 및 푸-카인-멜레 지수와 일치함을 증명하는 것.
• 위상적 장애가 존재하지 않을 경우 이러한 프레임을 구축하는 데 사용 가능한 구축 가능한 알고리즘을 제공하는 것.
• 이 결과들을 이산 및 연속 모델 모두에 적용 가능한 추상적 설정으로 공식화하는 것.

제안 방법

• 저자들은 시간역전대칭이 페르미온 성질을 가지는 시스템(시간역전대칭 연산자가 제곱하면 -1이 되는 경우)에서 블로흐 번들의 기하학적 구조를 분석한다.
• 주기적이고 시간역전대칭을 가지는 블로흐 프레임을 브릴루앙 영역 위에서 매끄럽고 전역적으로 정의된 블로흐 번들의 기저로 정의한다.
• 피브어 번들의 이론과 특성류를 사용하여 이러한 프레임의 존재에 대한 위상적 장애를 유도한다.
• 2D에서는 이러한 장애가 단일 Z₂ 위상수로 기술되며, 단순한 알고리즘으로 계산 가능하다는 것을 보여준다.
• 3D에서는 블로흐 번들의 구조에서 기인하는 네 개의 Z₂ 위상수가 존재하며, 이는 푸-카인-멜레 지수에 해당한다.
• Z₂ 위상수가 0이 되는 경우, 시간역전대칭과 호환되는 게이지 고정 절차를 사용하여 명시적인 알고리즘을 통해 이러한 불변 블로흐 프레임을 구성한다.

실험 결과

연구 질문

• RQ1 페르미온성 시간역전대칭을 가지는 2D 시스템에서 주기적이고 시간역전대칭을 가지는 블로흐 프레임의 존재를 방해하는 위상수는 무엇인가?
• RQ2 이러한 장애는 2차원 위상 절연체에서 푸-카인 지수와 어떻게 관련이 있는가?
• RQ3 세 차원에서는 해당 위상수는 무엇이며, 푸-카인-멜레 지수와 어떻게 관련이 있는가?
• RQ4 언제 주기적이고 시간역전대칭을 가지는 블로흐 프레임을 명시적으로 구축할 수 있는가?
• RQ5 이 프레임워크는 이산 및 연속 양자 시스템 모두로 일반화될 수 있는가?

주요 결과

• 2차원에서는 주기적이고 시간역전대칭을 가지는 블로흐 프레임을 구성하는 데 있어 장애가 단일 Z₂ 위상수로 완전히 기술되며, 간단한 알고리즘으로 계산 가능하다.
• 이 2D의 Z₂ 위상수는 푸-카인 지수와 정확히 동치임을 증명하여 그 물리적 관련성을 확인한다.
• 3차원에서는 네 개의 Z₂ 위상수가 장애로 나타나며, 이는 정확히 네 개의 푸-카인-멜레 지수에 해당한다.
• 모든 Z₂ 위상수가 0이 되는 경우, 논문은 주기적이고 시간역전대칭을 가지는 블로흐 프레임을 명시적으로 구성하는 데 사용 가능한 구축 가능한 알고리즘을 제공한다.
• 결과들은 추상적인 수학적 프레임워크로 공식화되어 있어 이산 격자 모델과 연속 시스템 모두에 적용 가능하다.
• 이 프레임워크는 차원에 관계없이 시간역전대칭을 가지는 위상 절연체의 기하학적 및 위상적 이해를 통합한다.