[논문 리뷰] Finite volume calculation of $K$-theory invariants

Terry A. Loring, Hermann Schulz‐Baldes|arXiv (Cornell University)|2017. 01. 25.

Topological Materials and Phenomena참고 문헌 24인용 수 28

한 줄 요약

이 논문은 격자 위의 프레드홀름 연산자로부터 유한차원 행렬로 구성된 스펙트럴 로컬라이저를 소개하여, $K$-이론 불변량(예: 홀수 카르너 수 또는 $\mathbb{Z}_2$ 불변량)을 행렬의 서명 또는 파프يان을 통해 계산한다. 이 방법은 고전적 미분법이 없는 시스템, 예를 들어 토폴로지적 고립체에서도 상용 수치 계산을 가능하게 한다.

ABSTRACT

Odd index pairings of $K_1$-group elements with Fredholm modules are of relevance in index theory, differential geometry and applications such as to topological insulators. For the concrete setting of operators on a Hilbert space over a lattice, it is shown how to calculate the resulting index as the signature of a suitably constructed finite-dimensional matrix, more precisely the finite volume restriction of what we call the spectral localizer. In presence of real symmetries, secondary $\mathbb{Z}_2$-invariants can be obtained as the sign of the Pfaffian of the spectral localizer. These results reconcile two complementary approaches to invariants of topological insulators.

연구 동기 및 목표

• 토폴로지적 고립체에서 홀수 카르너 수와 같은 $K$-이론 불변량을 계산하기 위한 유한차원 방법을 개발한다.
• K-이론적 색인 쌍화와 유한체적 수치 계산이라는 두 가지 상보적인 접근 방식을 통합한다.
• 실수 대칭을 갖는 시스템으로 이 방법을 확장하여 스펙트럴 로컬라이저의 파프يان을 통해 보조 $\mathbb{Z}_2$ 불변량을 계산할 수 있도록 한다.
• 기본 함수해석학만을 사용하여 무한차원 프레드홀름 색인 이론의 수치적으로 다룰 수 있는 대체 방법을 제공한다.
• 특히 $d=1$ 경우에서 스펙트럴 플로우와 $\eta$-불변량 사이의 엄밀한 연결 고리를 확립하여 방법의 분석적 타당성을 입증한다.

제안 방법

• 유계가 아닌 디랙 연산자와 역행렬 연산자 $A$를 유한한 격자 체적에 제한하여 스펙트럴 로컬라이저를 유한차원 행렬로 구성한다.
• 디스크리트 푸리에 변환을 통해 문제를 토러스 $\mathbb{T}^d$ 에서 $\ell^2(\mathbb{Z}^d)$ 로 매핑하며, 이때 디랙 연산자는 $D = \sum_{j=1}^d \Gamma_j X_j$ 로 표현된다.
• 스펙트럴 로컬라이저 $L_\kappa$ 를 $\kappa X$, $A$ 및 그 수반 연산자들을 포함하는 블록 행렬로 정의하며, 국소성 조건 $\|[D,A]\| < \infty$ 하에서 유계성을 확보한다.
• 충분히 큰 $\kappa$ 에서 $\Pi A \Pi + (\mathbf{1} - \Pi)$ 의 프레드홀름 색인은 스펙트럴 로컬라이저 $L_\kappa$ 의 서명으로 계산된다.
• 실수 대칭을 갖는 시스템의 경우, 보조 $\mathbb{Z}_2$ 불변량은 스펙트럴 로컬라이저의 파프يان의 부호로 계산된다.
• 스펙트럴 플로우와 $\eta$-불변량의 호모토피 불변성을 이용하여, 유한체적 서명이 시스템 크기가 커짐에 따라 진짜 색인으로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 프레드홀름 색인은 $K_1$-클래스와 하디 프로젝션의 쌍화에서, 유한차원 행렬을 통해 수치적으로 계산될 수 있는가?
• RQ2 부드러운 미분 구조가 없는 상황에서 스펙트럴 로컬라이저는 고전적 홀수 카르너 수 공식과 어떻게 관련이 있는가?
• RQ3 이 방법은 시간역전 대칭 또는 입자-홀 대칭을 갖는 시스템으로 확장되어 $\mathbb{Z}_2$ 불변량을 계산할 수 있는가?
• RQ4 스펙트럴 플로우는 $\eta$-불변량과 스펙트럴 로컬라이저의 유한체적 서명을 연결하는 데 어떤 역할을 하는가?
• RQ5 $\|[D,A]\| < \infty$ 의 국소성 경계는 스펙트럴 로컬라이저가 색인을 정확히 계산하기 위해 충분하고 필수적인가?

주요 결과

• 충분히 큰 $\kappa$ 에서 $\Pi A \Pi + (\mathbf{1} - \Pi)$ 의 프레드홀름 색인은 스펙트럴 로컬라이저 $L_\kappa$ 의 서명과 일치하며, 이는 $K$-이론적 색인의 유한차원 계산을 가능하게 한다.
• $d=1$ 의 경우, 이동 연산자 $S^n$ 과 관련된 경로 $\lambda \mapsto L_\kappa(\lambda)$ 의 스펙트럴 플로우는 정확히 $n$ 이며, 이는 색인이 $n$ 임을 확인한다.
• 국소성 경계가 균일하게 유지될 경우, 스펙트럴 로컬라이저의 $\eta$-불변량은 호모토피에 대해 일정하며, 이는 유한체적 서명의 안정성을 보장한다.
• 실수 대칭이 존재할 경우, 스펙트럴 로컬라이저를 통해 $\mathbb{Z}_2$ 불변량은 파프얀의 부호로 계산할 수 있다.
• 이 방법은 호모토피에 대해 강건하며, 고전적 미분법이 없는 상황에서도 상용 수치 계산이 가능하고 안정적인 방식으로 토폴로지 불변량을 계산할 수 있다.
• $\|\,[D,A]\| \leq \kappa^{-1}$ 의 경계는 최적에 가까운 것으로 입증되었으며, 스펙트럴 플로우가 0이 되지 않으려면 $\kappa \geq \|[D,A]\|^{-1}/2$ 가 되어야 한다.