[논문 리뷰] K-Theory and Pseudospectra for Topological Insulators

Terry A. Loring|arXiv (Cornell University)|2015. 02. 12.

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

한 줄 요약

이 논문은 경계가 있는 유한 격자에서 질서가 어지러운 위상 절연체 및 초전도체의 위상 불변량을 계산하기 위해 클리포드 가짜스펙트럼과 K-이론에 기반한 계산적으로 효율적인 알고리즘을 제안한다. 차원 2까지의 모든 대칭 계열과 3차원에서의 한 계열에 대해 키타예프 불변량에 대한 공식을 유도하여 희소 행렬 기법을 활용한 수치적 단계 전이 탐지와 3차원 시스템에서의 스케일링 행동을 입증한다.

ABSTRACT

We derive formulas and algorithms for Kitaev's invariants in the periodic table for topological insulators and superconductors for finite disordered systems on lattices with boundaries. We find that K-theory arises as an obstruction to perturbing approximately compatible observables into compatible observables. We derive formulas in all symmetry classes up to dimension two, and in one symmetry class in dimension three, that can be computed with sparse matrix algorithms. We present algorithms in two symmetry classes in 2D and one in 3D and provide illustrative studies regarding how these algorithms can detect the scaling properties of phase transitions.

연구 동기 및 목표

• 경계가 있는 질서가 어지러운 유한 시스템에서 키타예프 위상 불변량을 수치적으로 다룰 수 있는 방법을 개발한다.
• 근사적으로 호환 가능한 관측량을 정확히 호환 가능한 것으로 변형할 수 없는 데에 기여하는 장벽과 K-이론 간의 연관성을 설정한다.
• 차원 2까지의 모든 대칭 계열과 3차원에서의 한 계열에 대해 위상 불변량에 대한 계산 가능한 공식을 제공한다.
• 희소 행렬 알고리즘을 활용해 위상 불변량의 스케일링 분석을 통해 수치적으로 단계 전이를 탐지할 수 있도록 한다.
• 기존 하드웨어에서 새로운 알고리즘을 통해 더 높은 품질의 데이터를 확보함으로써 3차원 위상 절연체 전이 연구의 가능성을 입증한다.

제안 방법

• 근사적으로 호환 가능한 관측량의 공동 스펙트럼에 대한 계산 가능한 대체물로 클리포드 가짜스펙트럼을 도입한다. 이는 헤르미트 행렬과 클리포드 생성자로 구성된 행렬 값 연산자의 역노름을 통해 정의된다.
• 행렬 $ B_{\boldsymbol{\lambda}} = \sum (X_j - \lambda_j) \otimes \Gamma_j $ 를 사용해 클리포드 $\epsilon$-가짜스펙트럼을 정의하며, 여기서 $ \Gamma_j $ 는 $ \mathcal{C\ell}_{d,0}(\mathbb{C}) $ 관계를 만족한다.
• 희소 실수 행렬을 해밀토니안에서 유도한 후, 스펙트럼 갭 추정을 위해 LU 분해를 사용한 거듭제곱 방법을 적용한다.
• 희소 LU 분해 후 순서를 고려한 후 $ \mathrm{sign}(\det(A)) = \mathrm{sign}(\det(R)) \cdot \mathrm{sign}(\det(P)) \cdot \mathrm{sign}(\det(Q)) $ 를 통해 행렬식의 부호를 계산한다.
• 일정한 초기 벡터와 MATLAB의 \ 연산자를 통한 행렬 자유 역행렬 계산을 사용한 수정된 거듭제곱 방법을 적용해 $ \|A^{-1}\| $ 를 효율적으로 계산한다.
• 이 알고리즘을 사용해 3차원 AII 계열 절연체에서 국소 및 전역 위상 불변량을 계산하고, 질서로 인한 단계 전이를 분석한다.

실험 결과

연구 질문

• RQ1 질서가 어지러운 유한 시스템에서 경계가 있는 경우 키타예프 불변량을 어떻게 효율적으로 계산할 수 있는가?
• RQ2 관측량의 근사적 호환성과 K-이론이 기록한 정확한 호환성으로의 변형 장벽 사이의 관계는 무엇인가?
• RQ3 클리포드 가짜스펙트럼은 약간 서로 가환하는 행렬의 공동 스펙트럼에 대해 수치적으로 안정적이고 효율적인 근사값을 제공할 수 있는가?
• RQ4 3차원 위상 절연체에서 질서가 있을 경우 단계 전이 근처에서 위상 불변량은 어떻게 스케일링되는가?
• RQ5 이전 방법에 비해 새로운 알고리즘을 사용하면 단계 전이 분석을 위한 데이터 품질을 향상시킬 수 있는가?

주요 결과

• 클리포드 가짜스펙트럼은 근사적으로 호환 가능한 관측량의 공동 스펙트럼에 대해 계산 가능한 근사값을 제공하며, K-이론과 이론적 연관성이 있다.
• 희소 행렬 알고리즘을 사용해 차원 2까지의 모든 대칭 계열과 3차원에서의 한 계열에 대해 키타예프 불변량을 성공적으로 계산하였다.
• 이 알고리즘은 3차원 AII 계열 절연체에서 위상 단계 전이의 스케일링 행동을 탐지하여, 명확하지 않은 전이임을 드러내며 더 큰 시스템이 전체 해석을 위해 필요함을 시사한다.
• 이전 방법에 비해 훨씬 더 깔끔한 데이터를 생성하여, 더 적은 잡음으로 단계 전이의 신뢰성 있는 분석이 가능해졌다.
• 3차원에서의 전역 AII 불변량은 4코어 8GB RAM의 데스크톱에서 국소 지수 방법을 사용해 계산 가능하며, 더 큰 시스템은 고성능 컴퓨팅 클러스터가 필요하다.
• 일정한 초기 벡터와 LU 분해를 통한 행렬 자유 역행렬 계산을 사용해 거듭제곱 방법의 수렴성과 정확도가 향상됨을 입증하였다.