1 Department of Physics, KTH Royal Institute of Technology, Stockholm 106 91, Sweden
2 Donostia International Physics Center (DIPC),
Paseo Manuel de Lardizábal 4, 20018, Donostia-San Sebastián, Spain
3 IKERBASQUE, Basque Foundation for Science, Maria Diaz de Haro 3, 48013 Bilbao, Spain
4 Univ. Grenoble Alpes, CNRS, Grenoble INP, Institut Néel, 38000 Grenoble, France
? lucienj@kth.se
1 Introduction
Topological band insulators display a bulk band gap populated by gapless boundary states?[1].
The number of gapless boundary states is a topological invariant, remaining unchanged as long as the bulk remains gapped.
The bulk-boundary correspondence?[2, 3, 4, 5] directly connects the number of boundary modes with a topological index defined in the bulk[6].
It is common to use translational invariance to express topological indices as integrals over the Brillouin zone of a function of the momentum-space wave function and its derivatives.
However, systems that lack translational symmetry, for example amorphous systems?[7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34], or quasicrystals?[35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51], can also display topological properties.
To characterize topology in these systems, it is necessary to express topological indices as an integral over a local quantity, known as a local marker, in real space rather than in momentum space.
Within all the topological classes it is the class of two-dimensional systems displaying a quantized Hall effect?[52, 53] that can be identified with the largest variety of local topological markers.
To calculate the real-space invariant for this class, the Chern number, we can choose to Fourier transform the momentum-space formula to arrive to the so-called local Chern marker formula?[54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67].
Alternatively, the spectral localizer index [68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81]
and the Bott index [69], rely on quantifying how close the position and Hamiltonian operators are from commuting, and on defining a trivial system as that where these operators commute.
An earlier invariant defined by Kitaev is similar to the local Chern maker but based on spatial tripartition [60].
Additionally, it is also possible to calculate the topological index using the rank difference of projectors [82].
Lastly, it is also possible to define a scattering invariant, which can be shown to be equivalent to counting edge modes?[83].
The existence of this variety of markers for two-dimensional Chern insulator systems also poses the challenge of demonstrating their equivalence.
It is possible to show that the Kitaev invariant, the Bott Index, the scattering invariant, and the local Chern makers are all equivalent?[84, 85]
.
However an explicit connection between the Localizer index and the rest is still obscure.
Using algebraic topology, including K-theory [86, 71] and spectral flow analysis [70, 87], it is possible to show that the localizer index must be implicitly related to the local Chern marker.
Ideally, it would be desirable to find an explicit derivation that relies on the simplest possible mathematics and connects to physical intuition.
Finding such a derivation can be advantageous to propose other local markers for other topological classes.
So far, only the spectral localizer and the scattering invariants apply all topological classes.
Moreover, explicitly connecting the local Chern maker to the localizer index can help to better understand the regime of validity of the latter.
Specifically, the spectral localizer requires choosing the magnitude of a scalar parameter .
This parameter determines the relative importance of the position and Hamiltonian operators within the spectral localizer.
The criteria to fix is not well understood.
It is usually fixed with guidance from rigorous mathematical bounds?[88, 71], yet numerical simulations deliver correct results even when violates these bounds?[89, 51, 90].
Numerical evidence also shows that the phase diagrams computed for a Chern insulator quasicrystal using both the localizer index and the local Chern marker can be made to coincide for small values of ?[51].
This suggest that a perturbation theory on could be used to show the equivalence between these two methods.
In this work, we reveal how the equivalence between the localizer index and other local markers arises naturally from a perturbative expansion of the spectral localizer in powers of . By exploiting only the fundamental symmetries of the Clifford matrices used by the spectral localizer, we demonstrate that the Chern and winding markers emerge as the leading-order contribution in this expansion. Our derivation applies to those invariants in classes A and AIII of the Altland-Zirnbauer ten-fold classification of topological phases. Our derivation not only circumvents heavy topological machinery, but also establishes a direct, intuitive connection between the localizer index and the local Chern marker.
3 Equivalence between the Local Chern Marker and the Spectral Localizer index
To map the spectral localizer index, Eqs.?(8), to the Chern or winding markers in Eqs.?(2) we use a Taylor perturbative expansion of in powers of .
We use the fact that, when is small, the third term in both Eqs.?(6) is small compared to the gap imposed by the first two terms.
Without changing the spectral localizer, it is possible to replace by a flattened Hamiltonian . Here, is a smooth function that rescales the eigenstate energy above and below the gap to and , respectively, smoothly interpolating between these values for in-gap gapless modes. In particular verifies in the bulk. These properties will simplify our computations.
For clarity, we present the detailed calculation for even dimensions in the main text while the almost identical odd-dimensional case is deferred to Appendix B.
In the even-dimensional case, the Taylor perturbative expansion of in Eq.?(8) takes the form
|
|
|
|
(9) |
|
|
|
|
where and with .
When , becomes small, effectively restricting the real-space trace to a ball of radius of volume . So at most the trace involves a sum over terms of order giving a global scaling in . Therefore, in the limit, the expansion can be truncated at since higher-order terms become negligible. While many terms remain for , most vanish under the trace due to the Clifford algebra structure. Specifically, for any operator , the trace is nonzero only if is proportional to the identity. In such cases, the trace simplifies to .
In the perturbative expansion, each product contains an odd number of matrices.
For any term to be nonzero every matrix must appear at least once in the product.
This is so because the only way that the product is equal to the identity matrix is by virtue of the mathematical identity
.
In particular, note that the identity, cannot change the parity of the number of Clifford matrices in the product.
These observations imply that, after tracing over the Clifford degrees of freedom, only the following terms remain:
|
|
|
|
(10) |
|
|
|
|
The term on the second line can be shown to vanish (see appendix A) so we focus on the first term. This term is proportional to the Chern marker as it can be rearranged into
|
|
|
(11) |
where we have used that and the fact that any commutator with would create a higher order term in that can be neglected.
Moreover, we have used the fact that is small when making the integral convergent. Therefore, the largest contribution to the trace comes from the bulk, per our arguments below Eq.?(9).
This in turn justifies using , which is only true if we neglect boundary contributions. We can rewrite Eq.?(11) in terms of the weight function
|
|
|
(12) |
which adds the overall prefactor
|
|
|
(13) |
Combining such coefficient with the rest of the prefactors, one can check that the proportionality constant is one and we reach the desired equality between Eq.?(11) and the averaged Chern marker Eq.?(2a)
|
|
|
(14) |
Following similar steps for the odd dimensional case (see Appendix B) we obtain
|
|
|
(15) |
Eqs.?(14) and (15) are the main result of this work.
4 Conclusion and outlook
We have demonstrated a direct equivalence between the spectral localizer index and the Chern and winding markers of topological classes A and AIII through a systematic perturbative expansion in the small-parameter regime, , where is the bulk gap of the Hamiltonian. By leveraging the Clifford algebra symmetries
inherent to the spectral localizer’s construction, we showed that for even dimensions, reduces to the Chern marker as the leading-order contribution in , while in odd dimensions it analogously reduces the winding marker .
Our direct approach circumvents the need for abstract algebraic topology (e.g., K-theory or spectral flow), instead relying on transparent asymptotic analysis of the spectral localizer’s resolvent. Our result provides an explicit proof of the equivalence. Additionally, this equivalence explains the numerically observed consistency between the topological phase diagrams calculated using the local Chern marker with those calculated with the spectral localizer index at small ?[51].
Here we focused on -classified topological phases via Chern and winding markers. A natural open question is to adapt the methodology to topological insulators (e.g., time-reversal symmetric or particle-hole symmetric systems), where a spectral localizer index can be defined [78] but local topological markers are still lacking.
Appendix A Vanishing of the second term of (10)
In this Appendix we show that the term on the second line of Eq.?(10) vanishes.
That term can be written as
|
|
|
|
(16) |
|
|
|
|
where , with again .
To show that this term vanishes, we will use the fact that the trace contains products of which decays sufficiently fast to make the integral convergent and therefore the contributions from the boundary negligible. Therefore the largest contribution to the trace comes from the bulk were we can use the identity and obtain that:
|
|
|
(17) |
where we used the notation for the anti-commutator and the cyclic property of the trace.
Using the fact that anti-commutes with the commutator
as
|
|
|
(18) |
we can show that this expression can be decomposed into:
|
|
|
|
(19) |
|
|
|
|
We can now simplify such expression by keeping only the leading order in .
In particular, for any function which is slowly varying in the limit , we have that
|
|
|
(20) |
In our case we can just keep the term . The reason is that choosing leads to expressions where some commutator appears twice in the product. Using the cyclic property of the trace and anti-commutation of with , one can show that these contributions for vanish. Thus, keeping only terms we write
|
|
|
|
(21) |
|
|
|
|
where we positioned the operators and on the left by neglecting the resulting commutators as they would be of higher-order in .
Reordering the commutators using the cyclic property of the trace, we reduce this further to
|
|
|
|
(22) |
|
|
|
|
which is a term proportional to the Chern marker but with a vanishing proportionality constant since
|
|
|
(23) |
because
|
|
|
(24) |
in the limit . Note that since we are constrained to the topologically nontrivial cases in class A.
Appendix B Chiral case
To arrive to Eq.?(15) we write the perturbative expansion of
|
|
|
|
(25) |
|
|
|
|
As for the non-chiral case, the perturbative expansion can also be truncated at order , see the disucssion below Eq.?(9). Similarly, for any operator , the trace is nonzero only if is proportional to the identity. In such cases, the trace simplifies to .
The chiral symmetry condition imposes strong constraints on the trace structure. Since anticommutes with , any term in the expansion containing an odd number of factors must vanish under the trace operation. This immediately eliminates half of the potential contributing terms.
For the remaining terms with even products of , careful examination reveals they necessarily contain an odd number of matrices. So, as in the main text, the only way that the product is equal to the identity is using the identity . Hence, every matrix must appear at least once in the product. After tracing out the Clifford degrees of freedom, only the following terms remain
|
|
|
|
(26) |
|
|
|
|
We show below that the term on the second line vanishes, so only the first term remains. This term is proportional to the Chern marker as it can be rearranged into
|
|
|
(27) |
where we have used that and the fact that any commutator with would create a higher order term in that can be neglected.
Moreover, we have used the fact that is small and the integral is convergent so most of the contribution of the trace comes from the bulk. This in turn justifies using , which is only true if we neglect boundary contributions. Eq.?(11) is a winding marker (2a) for a weight function where we have that
|
|
|
(28) |
Combining such coefficient with the other prefactors, one can check that the proportionality constant is one and we have the equality
|
|
|
(29) |
which is Eq.?(15).
We now show that the second term in Eq.?(26) vanishes. This term can be written as
|
|
|
|
(30) |
|
|
|
|
where , .
To show that the term vanishes, we use the fact that the trace contains products of which make the trace integrable except when .
Leaving the case aside for now, for the trace is convergent so most of the contribution come from the bulk were we can insert the identity , and obtain that
|
|
|
(31) |
where we used the notation for the anti-commutator.
Using the fact that anti-commutes with the commutator
as
|
|
|
(32) |
we can show that this expression can be decomposed into
|
|
|
|
(33) |
|
|
|
|
We can now simplify this expression by keeping only the leading order in .
In particular for any function which is slowly varying in the limit , we have that
|
|
|
(34) |
In our case we can just keep the term . The reason is that choosing leads to expressions where some commutator appears twice in the product. Using the cyclic property of the trace and the anti-commutation of with , one can show that the contributions for vanish. Keeping only the terms, this results in
|
|
|
|
(35) |
|
|
|
|
where we positioned the operators and on the left by neglecting the resulting commutators as they would be of higher order.
Reordering the commutators using the cyclic property of the trace, this can be further reduced to
|
|
|
|
(36) |
|
|
|
|
which is a term proportional to the Chern marker but with a vanishing proportionality constant as
|
|
|
(37) |
since
|
|
|
(38) |
in the infinite limit as long as we have .
We finish by discussing the case . Starting from the initial expression of (30) in
|
|
|
(39) |
we see that as long as we have equally many internal degrees of freedom of positive and negative chirality, which is a common case studied in the literature.
However if there is a chirality imbalance between the internal degrees of freedom of opposite chirality, will not vanish and will correct the value of the marker.
This is a known phenomena particular to one-dimensional topological insulators, see e.g. [91, 92, 93, 94, 64].