-
Classification of Fragile Topology Enabled by Matrix Homotopy
Authors:
Ki Young Lee,
Stephan Wong,
Sachin Vaidya,
Terry A. Loring,
Alexander Cerjan
Abstract:
The moire flat bands in twisted bilayer graphene have attracted considerable attention not only because of the emergence of correlated phases but also due to their nontrivial topology. Specifically, they exhibit a new class of topology that can be nullified by the addition of trivial bands, termed fragile topology, which suggests the need for an expansion of existing classification schemes. Here,…
▽ More
The moire flat bands in twisted bilayer graphene have attracted considerable attention not only because of the emergence of correlated phases but also due to their nontrivial topology. Specifically, they exhibit a new class of topology that can be nullified by the addition of trivial bands, termed fragile topology, which suggests the need for an expansion of existing classification schemes. Here, we develop a Z2 energy-resolved topological marker for classifying fragile phases using a system's position-space description, enabling the direct classification of finite, disordered, and aperiodic materials. By translating the physical symmetries protecting the system's fragile topological phase into matrix symmetries of the system's Hamiltonian and position operators, we use matrix homotopy to construct our topological marker while simultaneously yielding a quantitative measure of topological robustness. We show our framework's effectiveness using a C2T-symmetric twisted bilayer graphene model and photonic crystal as a continuum example. We have found that fragile topology can persist both under strong disorder and in heterostructures lacking a bulk spectral gap, and even an example of disorder-induced re-entrant topology. Overall, the proposed scheme serves as an effective tool for elucidating aspects of fragile topology, offering guidance for potential applications across a variety of experimental platforms from topological photonics to correlated phases in materials.
△ Less
Submitted 5 March, 2025;
originally announced March 2025.
-
Tutorial: Classifying Photonic Topology Using the Spectral Localizer and Numerical $K$-Theory
Authors:
Alexander Cerjan,
Terry A. Loring
Abstract:
Recently, the spectral localizer framework has emerged as an efficient approach to classifying topology in photonic systems featuring local nonlinearities and radiative environments. In nonlinear systems, this framework provides rigorous definitions for concepts like topological solitons and topological dynamics, where a system's occupation induces a local change in its topology due to the nonline…
▽ More
Recently, the spectral localizer framework has emerged as an efficient approach to classifying topology in photonic systems featuring local nonlinearities and radiative environments. In nonlinear systems, this framework provides rigorous definitions for concepts like topological solitons and topological dynamics, where a system's occupation induces a local change in its topology due to the nonlinearity. For systems embedded in radiative environments that do not possess a shared bulk spectral gap, this framework enables the identification of local topology and shows that local topological protection is preserved despite the lack of a common gap. However, as the spectral localizer framework is rooted in the mathematics of $C^*$-algebras, and not vector bundles, understanding and using this framework requires developing intuition for a somewhat different set of underlying concepts than those that appear in traditional approaches to classifying material topology. In this tutorial, we introduce the spectral localizer framework from a ground-up perspective, and provide physically motivated arguments for understanding its local topological markers and associated local measure of topological protection. In doing so, we provide numerous examples of the framework's application to a variety of topological classes, including crystalline and higher-order topology. We then show how Maxwell's equations can be reformulated to be compatible with the spectral localizer framework, including the possibility of radiative boundary conditions. To aid in this introduction, we also provide a physics-oriented introduction to multi-operator pseudospectral methods and numerical $K$-theory, two mathematical concepts that form the foundation for the spectral localizer framework.
△ Less
Submitted 26 November, 2024; v1 submitted 5 November, 2024;
originally announced November 2024.
-
Clifford and quadratic composite operators with applications to non-Hermitian physics
Authors:
Jose J. Garcia,
Alexander Cerjan,
Terry A. Loring
Abstract:
A variety of physical phenomena, such as amplification, absorption, and radiation, can be effectively described using non-Hermitian operators. However, the introduction of non-uniform non-Hermiticity can lead to the formation of exceptional points in a system's spectrum, where two or more eigenvalues become degenerate and their associated eigenvectors coallesce causing the underlying operator or m…
▽ More
A variety of physical phenomena, such as amplification, absorption, and radiation, can be effectively described using non-Hermitian operators. However, the introduction of non-uniform non-Hermiticity can lead to the formation of exceptional points in a system's spectrum, where two or more eigenvalues become degenerate and their associated eigenvectors coallesce causing the underlying operator or matrix to become defective. Here, we explore extensions of the Clifford and quadratic $ε$-pseudospectrum, previously defined for Hermitian operators, to accommodate non-Hermitian operators and matrices, including the possibility that the underlying operators may possess exceptional points in their spectra. In particular, we provide a framework for finding approximate joint eigenstates of a $d$-tuple of Hermitian operators $\mathbf{A}$ and non-Hermitian operators $\mathbf{B}$, and show that their Clifford and quadratic $ε$-pseudospectra are still well-defined despite any non-normality. We prove that the non-Hermitian quadratic gap is local with respect to the probe location when there are perturbations to one or more of the underlying operators. Altogether, this framework enables the exploration of non-Hermitian physical systems' $ε$-pseudospectra, including but not limited to photonic systems where gain, loss, and radiation are prominent physical phenomena.
△ Less
Submitted 4 October, 2024;
originally announced October 2024.
-
Local topology for periodic Hamiltonians and fuzzy tori
Authors:
Nora Doll,
Terry Loring,
Hermann Schulz-Baldes
Abstract:
A variety of local index formulas is constructed for quantum Hamiltonians with periodic boundary conditions. All dimensions of physical space as well as many symmetry constraints are covered, notably one-dimensional systems in Class DIII as well as two- and three-dimensional systems in Class AII. The constructions are based on several periodic variations of the spectral localizer and are rooted in…
▽ More
A variety of local index formulas is constructed for quantum Hamiltonians with periodic boundary conditions. All dimensions of physical space as well as many symmetry constraints are covered, notably one-dimensional systems in Class DIII as well as two- and three-dimensional systems in Class AII. The constructions are based on several periodic variations of the spectral localizer and are rooted in the existence of underlying fuzzy tori. For these latter, a general invariant theory is developed.
△ Less
Submitted 15 June, 2025; v1 submitted 27 March, 2024;
originally announced March 2024.
-
Classifying topology in photonic crystal slabs with radiative environments
Authors:
Stephan Wong,
Terry A. Loring,
Alexander Cerjan
Abstract:
In the recent years, photonic Chern materials have attracted substantial interest as they feature topological edge states that are robust against disorder, promising to realize defect-agnostic integrated photonic crystal slab devices. However, the out-of-plane radiative losses in those photonic Chern slabs has been previously neglected, yielding limited accuracy for predictions of these systems' t…
▽ More
In the recent years, photonic Chern materials have attracted substantial interest as they feature topological edge states that are robust against disorder, promising to realize defect-agnostic integrated photonic crystal slab devices. However, the out-of-plane radiative losses in those photonic Chern slabs has been previously neglected, yielding limited accuracy for predictions of these systems' topological protection. Here, we develop a general framework for measuring the topological protection in photonic systems, such as in photonic crystal slabs, while accounting for in-plane and out-of-plane radiative losses. Our approach relies on the spectral localizer that combines the position and Hamiltonian matrices of the system to draw a real-picture of the system's topology. This operator-based approach to topology allows us to use an effective Hamiltonian directly derived from the full-wave Maxwell equations after discretization via finite-elements method (FEM), resulting in the full account of all the system's physical processes. As the spectral FEM-localizer is constructed solely from FEM discretization of the system's master equation, the proposed framework is applicable to any physical system and is compatible with commonly used FEM software. Moving forward, we anticipate the generality of the method to aid in the topological classification of a broad range of complex physical systems.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Local markers for crystalline topology
Authors:
Alexander Cerjan,
Terry A. Loring,
Hermann Schulz-Baldes
Abstract:
Over the last few years, crystalline topology has been used in photonic crystals to realize edge- and corner-localized states that enhance light-matter interactions for potential device applications. However, the band-theoretic approaches currently used to classify bulk topological crystalline phases cannot predict the existence, localization, or spectral isolation of any resulting boundary-locali…
▽ More
Over the last few years, crystalline topology has been used in photonic crystals to realize edge- and corner-localized states that enhance light-matter interactions for potential device applications. However, the band-theoretic approaches currently used to classify bulk topological crystalline phases cannot predict the existence, localization, or spectral isolation of any resulting boundary-localized modes. While interfaces between materials in different crystalline phases must have topological states at some energy, these states need not appear within the band gap, and thus may not be useful for applications. Here, we derive a class of local markers for identifying material topology due to crystalline symmetries, as well as a corresponding measure of topological protection. As our real-space-based approach is inherently local, it immediately reveals the existence and robustness of topological boundary-localized states, yielding a predictive framework for designing topological crystalline heterostructures. Beyond enabling the optimization of device geometries, we anticipate that our framework will also provide a route forward to deriving local markers for other classes of topology that are reliant upon spatial symmetries.
△ Less
Submitted 21 February, 2024; v1 submitted 2 October, 2023;
originally announced October 2023.
-
Probing topology in nonlinear topological materials using numerical $K$-theory
Authors:
Stephan Wong,
Terry A. Loring,
Alexander Cerjan
Abstract:
Nonlinear topological insulators have garnered substantial recent attention as they have both enabled the discovery of new physics due to interparticle interactions, and may have applications in photonic devices such as topological lasers and frequency combs. However, due to the local nature of nonlinearities, previous attempts to classify the topology of nonlinear systems have required significan…
▽ More
Nonlinear topological insulators have garnered substantial recent attention as they have both enabled the discovery of new physics due to interparticle interactions, and may have applications in photonic devices such as topological lasers and frequency combs. However, due to the local nature of nonlinearities, previous attempts to classify the topology of nonlinear systems have required significant approximations that must be tailored to individual systems. Here, we develop a general framework for classifying the topology of nonlinear materials in any discrete symmetry class and any physical dimension. Our approach is rooted in a numerical $K$-theoretic method called the spectral localizer, which leverages a real-space perspective of a system to define local topological markers and a local measure of topological protection. Our nonlinear spectral localizer framework yields a quantitative definition of topologically non-trivial nonlinear modes that are distinguished by the appearance of a topological interface surrounding the mode. Moreover, we show how the nonlinear spectral localizer can be used to understand a system's topological dynamics, i.e., the time-evolution of nonlinearly induced topological domains within a system. We anticipate that this framework will enable the discovery and development of novel topological systems across a broad range of nonlinear materials.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
Classifying topology in photonic heterostructures with gapless environments
Authors:
Kahlil Y. Dixon,
Terry A. Loring,
Alexander Cerjan
Abstract:
Photonic topological insulators exhibit bulk-boundary correspondence, which requires that boundary-localized states appear at the interface formed between topologically distinct insulating materials. However, many topological photonic devices share a boundary with free space, which raises a subtle but critical problem as free space is gapless for photons above the light-line. Here, we use a local…
▽ More
Photonic topological insulators exhibit bulk-boundary correspondence, which requires that boundary-localized states appear at the interface formed between topologically distinct insulating materials. However, many topological photonic devices share a boundary with free space, which raises a subtle but critical problem as free space is gapless for photons above the light-line. Here, we use a local theory of topological materials to resolve bulk-boundary correspondence in heterostructures containing gapless materials and in radiative environments. In particular, we construct the heterostructure's spectral localizer, a composite operator based on the system's real-space description that provides a local marker for the system's topology and a corresponding local measure of its topological protection; both quantities are independent of the material's bulk band gap (or lack thereof). Moreover, we show that approximating radiative outcoupling as material absorption overestimates a heterostructure's topological protection. As the spectral localizer is applicable to systems in any physical dimension and in any discrete symmetry class, our results show how to calculate topological invariants, quantify topological protection, and locate topological boundary-localized resonances in topological materials that interface with gapless media in general.
△ Less
Submitted 19 July, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
An operator-based approach to topological photonics
Authors:
Alexander Cerjan,
Terry A. Loring
Abstract:
Recently, the study of topological structures in photonics has garnered significant interest, as these systems can realize robust, non-reciprocal chiral edge states and cavity-like confined states that have applications in both linear and non-linear devices. However, current band theoretic approaches to understanding topology in photonic systems yield fundamental limitations on the classes of stru…
▽ More
Recently, the study of topological structures in photonics has garnered significant interest, as these systems can realize robust, non-reciprocal chiral edge states and cavity-like confined states that have applications in both linear and non-linear devices. However, current band theoretic approaches to understanding topology in photonic systems yield fundamental limitations on the classes of structures that can be studied. Here, we develop a theoretical framework for assessing a photonic structure's topology directly from its effective Hamiltonian and position operators, as expressed in real space, and without the need to calculate the system's Bloch eigenstates or band structure. Using this framework, we show that non-trivial topology, and associated boundary-localized chiral resonances, can manifest in photonic crystals with broken time-reversal symmetry that lack a complete band gap, a result which may have implications for new topological laser designs. Finally, we use our operator-based framework to develop a novel class of invariants for topology stemming from a system's crystalline symmetries, which allows for the prediction of robust localized states for creating waveguides and cavities.
△ Less
Submitted 9 September, 2022;
originally announced September 2022.
-
Quadratic pseudospectrum for identifying localized states
Authors:
Alexander Cerjan,
Terry A. Loring,
Fredy Vides
Abstract:
We examine the utility of the quadratic pseudospectrum in photonics and condensed matter. Specifically, the quadratic pseudospectrum represents a method for approaching systems with incompatible observables, as it both minimizes the "eigen-error" in the joint approximate spectrum of the incompatible observables and does not increase the system's computational complexity. Moreover, we derive an imp…
▽ More
We examine the utility of the quadratic pseudospectrum in photonics and condensed matter. Specifically, the quadratic pseudospectrum represents a method for approaching systems with incompatible observables, as it both minimizes the "eigen-error" in the joint approximate spectrum of the incompatible observables and does not increase the system's computational complexity. Moreover, we derive an important estimate relating the Clifford and quadratic pseudospectra. Finally, we prove that the quadratic pseudospectrum is local, and derive the bounds on the errors that are incurred by truncating the system in the vicinity of where the pseudospectrum is being calculated.
△ Less
Submitted 21 April, 2022;
originally announced April 2022.
-
Local invariants identify topology in metals and gapless systems
Authors:
Alexander Cerjan,
Terry A. Loring
Abstract:
Although topological band theory has been used to discover and classify a wide array of novel topological phases in insulating and semi-metal systems, it is not well-suited to identifying topological phenomena in metallic or gapless systems. Here, we develop a theory of topological metals based on the system's spectral localizer and associated Clifford pseudospectrum, which can both determine whet…
▽ More
Although topological band theory has been used to discover and classify a wide array of novel topological phases in insulating and semi-metal systems, it is not well-suited to identifying topological phenomena in metallic or gapless systems. Here, we develop a theory of topological metals based on the system's spectral localizer and associated Clifford pseudospectrum, which can both determine whether a system exhibits boundary-localized states despite the presence of degenerate bulk bands and provide a measure of these states' topological protection even in the absence of a bulk band gap. We demonstrate the generality of this method across symmetry classes in two lattice systems, a Chern metal and a higher-order topological metal, and prove the topology of these systems is robust to relatively strong perturbations. The ability to define invariants for metallic and gapless systems allows for the possibility of finding topological phenomena in a broad range of natural, photonic, and other artificial materials that could not be previously explored.
△ Less
Submitted 26 May, 2022; v1 submitted 15 December, 2021;
originally announced December 2021.
-
Locality of the windowed local density of states
Authors:
Terry A. Loring,
Jianfeng Lu,
Alexander B. Watson
Abstract:
We introduce a generalization of local density of states which is "windowed" with respect to position and energy, called the windowed local density of states (wLDOS). This definition generalizes the usual LDOS in the sense that the usual LDOS is recovered in the limit where the position window captures individual sites and the energy window is a delta distribution. We prove that the wLDOS is local…
▽ More
We introduce a generalization of local density of states which is "windowed" with respect to position and energy, called the windowed local density of states (wLDOS). This definition generalizes the usual LDOS in the sense that the usual LDOS is recovered in the limit where the position window captures individual sites and the energy window is a delta distribution. We prove that the wLDOS is local in the sense that it can be computed up to arbitrarily small error using spatial truncations of the system Hamiltonian. Using this result we prove that the wLDOS is well-defined and computable for infinite systems satisfying some natural assumptions. We finally present numerical computations of the wLDOS at the edge and in the bulk of a "Fibonacci SSH model", a one-dimensional non-periodic model with topological edge states.
△ Less
Submitted 14 April, 2021; v1 submitted 1 January, 2021;
originally announced January 2021.
-
Computing Floquet Hamiltonians with Symmetries
Authors:
Terry Loring,
Fredy Vides
Abstract:
Unitary matrices arise in many ways in physics, in particular as a time evolution operator. For a periodically driven system one frequently wishes to compute a Floquet Hamilonian that should be a Hermitian operator $H$ such that $e^{-iTH}=U(T)$ where $U(T)$ is the time evolution operator at time corresponding the period of the system. That is, we want $H$ to be equal to $-i$ times a matrix logarit…
▽ More
Unitary matrices arise in many ways in physics, in particular as a time evolution operator. For a periodically driven system one frequently wishes to compute a Floquet Hamilonian that should be a Hermitian operator $H$ such that $e^{-iTH}=U(T)$ where $U(T)$ is the time evolution operator at time corresponding the period of the system. That is, we want $H$ to be equal to $-i$ times a matrix logarithm of $U(T)$. If the system has a symmetry, such as time reversal symmetry, one can expect $H$ to have a symmetry beyond being Hermitian.
We discuss here practical numerical algorithms on computing matrix logarithms that have certain symmetries which can be used to compute Floquet Hamiltonians that have appropriate symmetries. Along the way, we prove some results on how a symmetry in the Floquet operator $U(T)$ can lead to a symmetry in a basis of Floquet eigenstates.
△ Less
Submitted 23 July, 2020; v1 submitted 12 July, 2020;
originally announced July 2020.
-
Wave-packet propagation in a finite topological insulator and the spectral localizer index
Authors:
Jonathan Michala,
Alexander Pierson,
Terry A. Loring,
Alexander B. Watson
Abstract:
We consider a model of electrons in a finite topological insulator. We numerically study the propagation of electronic wave-packets localized near edges of the structure in the presence of defects and random disorder. We compare the propagation with computations of the \emph{spectral localizer index}: a spatially local topological index. We find that without disorder, wave-packets propagate along…
▽ More
We consider a model of electrons in a finite topological insulator. We numerically study the propagation of electronic wave-packets localized near edges of the structure in the presence of defects and random disorder. We compare the propagation with computations of the \emph{spectral localizer index}: a spatially local topological index. We find that without disorder, wave-packets propagate along boundaries between regions of differing spectral localizer index with minimal loss, even in the presence of strong defects. With disorder, wave-packets still propagate along boundaries between regions of differing localizer index, but lose significant mass as they propagate. We also find that with disorder, the \emph{localizer gap}, a measure of the localizer index "strength", is generally smaller away from the boundary than without disorder. Based on this result, we conjecture that wave-packets propagating along boundaries between regions of differing spectral localizer index do not lose significant mass whenever the localizer gap is sufficiently large on both sides of the boundary.
△ Less
Submitted 14 January, 2020;
originally announced January 2020.
-
A Guide to the Bott Index and Localizer Index
Authors:
Terry A. Loring
Abstract:
The Bott index is inherently global. The pseudospectal index is inherently local, and so now the preferred name is the localizer index. We look at these on a rather standard model for a Chern insulator, with an emphasis how to program these effectively. We also discuss how to tune the localizer index so it behaves like a global index.
The Bott index is inherently global. The pseudospectal index is inherently local, and so now the preferred name is the localizer index. We look at these on a rather standard model for a Chern insulator, with an emphasis how to program these effectively. We also discuss how to tune the localizer index so it behaves like a global index.
△ Less
Submitted 26 July, 2019;
originally announced July 2019.
-
Spectral flow argument localizing an odd index pairing
Authors:
Terry Loring,
Hermann Schulz-Baldes
Abstract:
An odd Fredholm module for a given invertible operator on a Hilbert space is specified by an unbounded so-called Dirac operator with compact resolvent and bounded commutator with the given invertible. Associated to this is an index pairing in terms of a Fredholm operator with Noether index. Here it is shown by a spectral flow argument how this index can be calculated as the signature of a finite d…
▽ More
An odd Fredholm module for a given invertible operator on a Hilbert space is specified by an unbounded so-called Dirac operator with compact resolvent and bounded commutator with the given invertible. Associated to this is an index pairing in terms of a Fredholm operator with Noether index. Here it is shown by a spectral flow argument how this index can be calculated as the signature of a finite dimensional matrix called the spectral localizer.
△ Less
Submitted 28 May, 2018; v1 submitted 13 February, 2018;
originally announced February 2018.
-
The spectral localizer for even index pairings
Authors:
Terry Loring,
Hermann Schulz-Baldes
Abstract:
Even index pairings are integer-valued homotopy invariants combining an even Fredholm module with a $K_0$-class specified by a projection. Numerous classical examples are known from differential and non-commutative geometry and physics. Here it is shown how to construct a finite dimensional selfadjoint and invertible matrix, called the spectral localizer, such that half its signature is equal to t…
▽ More
Even index pairings are integer-valued homotopy invariants combining an even Fredholm module with a $K_0$-class specified by a projection. Numerous classical examples are known from differential and non-commutative geometry and physics. Here it is shown how to construct a finite dimensional selfadjoint and invertible matrix, called the spectral localizer, such that half its signature is equal to the even index pairing. This makes the invariant numerically accessible. The index-theoretic proof heavily uses fuzzy spheres.
△ Less
Submitted 13 February, 2018;
originally announced February 2018.
-
Finite volume calculation of $K$-theory invariants
Authors:
Terry Loring,
Hermann Schulz-Baldes
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 re…
▽ More
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.
△ Less
Submitted 3 August, 2017; v1 submitted 25 January, 2017;
originally announced January 2017.
-
Topological Insulators and C^*-Algebras: Theory and Numerical Practice
Authors:
M. B. Hastings,
T. A. Loring
Abstract:
We apply ideas from $C^*$-algebra to the study of disordered topological insulators. We extract certain almost commuting matrices from the free Fermi Hamiltonian, describing band projected coordinate matrices. By considering topological obstructions to approximating these matrices by exactly commuting matrices, we are able to compute invariants quantifying different topological phases. We generali…
▽ More
We apply ideas from $C^*$-algebra to the study of disordered topological insulators. We extract certain almost commuting matrices from the free Fermi Hamiltonian, describing band projected coordinate matrices. By considering topological obstructions to approximating these matrices by exactly commuting matrices, we are able to compute invariants quantifying different topological phases. We generalize previous two dimensional results to higher dimensions; we give a general expression for the topological invariants for arbitrary dimension and several symmetry classes, including chiral symmetry classes, and we present a detailed $K$-theory treatment of this expression for time reversal invariant three dimensional systems. We can use these results to show non-existence of localized Wannier functions for these systems.
We use this approach to calculate the index for time-reversal invariant systems with spin-orbit scattering in three dimensions, on sizes up to $12^3$, averaging over a large number of samples. The results show an interesting separation between the localization transition and the point at which the average index (which can be viewed as an "order parameter" for the topological insulator) begins to fluctuate from sample too sample, implying the existence of an unsuspected quantum phase transition separating two different delocalized phases in this system. One of the particular advantages of the $C^*$-algebraic technique that we present is that it is significantly faster in practice than other methods of computing the index, allowing the study of larger systems. In this paper, we present a detailed discussion of numerical implementation of our method.
△ Less
Submitted 5 December, 2010;
originally announced December 2010.
-
Disordered Topological Insulators via $C^*$-Algebras
Authors:
T. A. Loring,
M. B. Hastings
Abstract:
The theory of almost commuting matrices can be used to quantify topological obstructions to the existence of localized Wannier functions with time-reversal symmetry in systems with time-reversal symmetry and strong spin-orbit coupling. We present a numerical procedure that calculates a Z_2 invariant using these techniques, and apply it to a model of HgTe. This numerical procedure allows us to acce…
▽ More
The theory of almost commuting matrices can be used to quantify topological obstructions to the existence of localized Wannier functions with time-reversal symmetry in systems with time-reversal symmetry and strong spin-orbit coupling. We present a numerical procedure that calculates a Z_2 invariant using these techniques, and apply it to a model of HgTe. This numerical procedure allows us to access sizes significantly larger than procedures based on studying twisted boundary conditions. Our numerical results indicate the existence of a metallic phase in the presence of scattering between up and down spin components, while there is a sharp transition when the system decouples into two copies of the quantum Hall effect. In addition to the Z_2 invariant calculation in the case when up and down components are coupled, we also present a simple method of evaluating the integer invariant in the quantum Hall case where they are decoupled.
△ Less
Submitted 28 December, 2010; v1 submitted 26 May, 2010;
originally announced May 2010.
-
Almost Commuting Matrices, Localized Wannier Functions, and the Quantum Hall Effect
Authors:
M. B. Hastings,
T. A. Loring
Abstract:
For models of non-interacting fermions moving within sites arranged on a surface in three dimensional space, there can be obstructions to finding localized Wannier functions. We show that such obstructions are $K$-theoretic obstructions to approximating almost commuting, complex-valued matrices by commuting matrices, and we demonstrate numerically the presence of this obstruction for a lattice m…
▽ More
For models of non-interacting fermions moving within sites arranged on a surface in three dimensional space, there can be obstructions to finding localized Wannier functions. We show that such obstructions are $K$-theoretic obstructions to approximating almost commuting, complex-valued matrices by commuting matrices, and we demonstrate numerically the presence of this obstruction for a lattice model of the quantum Hall effect in a spherical geometry. The numerical calculation of the obstruction is straightforward, and does not require translational invariance or introducing a flux torus.
We further show that there is a $Z_2$ index obstruction to approximating almost commuting self-dual matrices by exactly commuting self-dual matrices, and present additional conjectures regarding the approximation of almost commuting real and self-dual matrices by exactly commuting real and self-dual matrices. The motivation for considering this problem is the case of physical systems with additional antiunitary symmetries such as time reversal or particle-hole conjugation.
Finally, in the case of the sphere--mathematically speaking three almost commuting Hermitians whose sum of square is near the identity--we give the first quantitative result showing this index is the only obstruction to finding commuting approximations. We review the known non-quantitative results for the torus.
△ Less
Submitted 28 October, 2009;
originally announced October 2009.
