[論文レビュー] On the Bott index of unitary matrices on a finite torus

Daniele Toniolo|arXiv (Cornell University)|Aug 19, 2017

Quantum many-body systems被引用数 9

ひとこと要約

本稿は、有限トーラス上の2次元格子絶縁体におけるユニタリ行列のボット指数とディラック数の正確な等価性を示す、新規で自己完結的な証明を提供する。ホモトピー不変形式と微分方程式への写像を用いて、射影とユニタリ発展によって定義されるボット指数が、系のトポロジカル不変量を正確に捉え、有限でギャップのある系における量子ホール効導度の計算可能で正確な測度としての役割を裏付ける。

ABSTRACT

This article reviews the foundations of the theory of the Bott index of a pair of unitary matrices in the context of condensed matter theory, as developed by Hastings and Loring in J. Math. Phys. (51), 015214, (2010) and Annals of Physics 326 (2011) 1699-1759, providing a novel proof of the equality with the Chern number. The Bott index is defined for a pair of unitary matrices, then extended to a pair of invertible matrices and homotopic invariance of the index is proven. An insulator defined on a lattice on a 2-torus, that is a rectangular lattice with periodic boundary conditions, is considered and a pair of quasi-unitary matrices associated to this physical system are introduced. It is shown that their Bott index is well defined and the connection with the transverse conductance, the Chern number, is established proving the equality of the two quantities.

研究の動機と目的

• 有限でギャップのある2次元絶縁体におけるボット指数とディラック数の等価性を、厳密かつ自己完結的に導出すること。
• ボット指数形式をユニタリ行列から可逆行列へ拡張し、そのホモトピー不変性を証明すること。
• ギャップのあるハミルトニアンのフェルミ射影から導かれる準ユニタリ行列のボット指数が、ディラック数に正確に等しいことを示し、従来の近似を解消すること。

提案手法

• 周期的境界条件を満たす2次元トーラス上の有限格子と、ギャップのある短距離相互作用を持つハミルトニアンを定義する。
• 射影された位置演算子の指数関数を用いてフェルミ射影からユニタリ行列を構成する：$ e^{2\tilde{\pi}i P X/L P} $ および $ e^{2\tilde{\pi}i P Y/L P} $。
• ユニタリ行列のペアに対するトポロジカル不変量としてボット指数を定義し、可逆行列へ一般化する。
• 可逆性を保つ連続変形の下でボット指数のホモトピー不変性を証明する。
• 離散系を微分方程式の枠組みに写像し、ボット指数とディラック数の正確な等価性を導出する。
• ホルムグレンの評価と作用素ノルムの推定を用いて近似の誤差項を制御し、収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 フェルミ射影から得られるユニタリ行列のボット指数が、有限トーラス上ですべて正確にディラック数に等しくなるのか、近似ではなく正確な等価性が成立するか？
• RQ2 ボット指数をユニタリ行列から可逆行列へ一般化する際、そのトポロジカル不変性をどのように保てるか？
• RQ3 ホモトピー不変性が、有限系におけるボット指数がトポロジカル不変量としての強靭性を保証する役割を果たす仕組みは何か？
• RQ4 微分方程式への写像が、ボット指数とディラック数の等価性を示す新しい証明をどのように可能にするか？
• RQ5 ボット指数を射影に基づく構成を避けて、ハミルトニアンそのものまたはその関数から直接計算できるか？

主な発見

• 定理11で示されるように、ユニタリ行列 $ e^{2\pi i P X/L P} $ と $ e^{2\pi i P Y/L P} $ のボット指数は、フェルミ射影 $ P $ のディラック数に正確に等しい。
• 微分方程式への写像を用いた新規な証明により、離散的インデックスとトポロジカル不変量との間の直接的かつ厳密な関係が確立された。
• ボット指数は、元となる可逆行列の連続的ホモトピー変形のもとで不変であり、そのトポロジカルな強靭性が確認された。
• 本稿では、有限トーラス上のフェルミ射影から導かれる準ユニタリ行列に対して、ボット指数が適切に定義されかつ有限であることを証明した。
• ディラック数は $ \mathrm{Ch}(P) = -\frac{4\pi}{L^2} \mathrm{Im} \, \mathrm{Tr}(P[X,P][Y,P]) $ として表現され、射影された位置演算子の交換子と直接関連づけられた。
• 作用素ノルムの推定により誤差項が制御され、近似計算の代替として計算可能で正確な代替手法が提供された。