This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

General corner charge formula in two-dimensional CnC_{n}-symmetric higher-order topological insulators

Ryo Takahashi Department of Physics, Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo 152-8551, Japan
   Tiantian Zhang Department of Physics, Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo 152-8551, Japan
TIES, Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo 152-8551, Japan
   Shuichi Murakami Department of Physics, Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo 152-8551, Japan
TIES, Tokyo Institute of Technology, 2-12-1 Ookayama, Meguro-ku, Tokyo 152-8551, Japan
Abstract

In this paper, we derive a general formula for the quantized fractional corner charge in two-dimensional CnC_{n}-symmetric higher-order topological insulators. We assume that the electronic states can be described by the Wannier functions and that the edges are charge neutral, but we do not assume vanishing bulk electric polarization. We expand the scope of the corner charge formula obtained in previous works by considering more general surface conditions, such as surfaces with higher Miller index and surfaces with surface reconstruction. Our theory is applicable even when the electronic states are largely modulated near system boundaries. It also applies to insulators with non-vanishing bulk polarization, and we find that in such cases the value of the corner charge depends on the surface termination even for the same bulk crystal with C3C_{3} or C4C_{4} symmetry, via a difference in the Wyckoff position of the center of the CnC_{n}-symmetric crystal.

I Introduction

Recent studies have revealed that some topological crystalline insulators exhibit higher-order bulk boundary correspondence, which are known as higher-order topological insulators PhysRevLett.111.047006 ; PhysRevB.89.224503 ; PhysRevB.95.165443 ; fang2019new ; PhysRevLett.119.246401 ; PhysRevB.97.155305 ; PhysRevB.97.241402 ; PhysRevB.97.205135 ; PhysRevB.97.205136 ; schindler2018higherTI ; schindler2018higher ; PhysRevB.98.081110 ; PhysRevX.8.031070 ; PhysRevB.98.205129 ; wieder2018axion ; PhysRevB.98.245102 ; PhysRevX.9.011012 ; PhysRevB.99.235125 ; PhysRevB.100.205126 ; PhysRevB.100.235302 ; PhysRevB.101.115120 ; PhysRevResearch.2.013300 ; PhysRevResearch.2.043274 ; Benalcazar61 ; PhysRevLett.119.246402 ; PhysRevB.96.245115 ; serra2018observation ; PhysRevLett.120.026801 ; peterson2018quantized ; PhysRevB.98.045125 ; imhof2018topolectrical ; PhysRevB.99.245151 ; PhysRevLett.122.086804 ; PhysRevResearch.2.012009 ; doi:10.7566/JPSJ.88.104703 ; PhysRevResearch.1.033074 ; PhysRevB.101.241109 ; PhysRevB.101.115140 ; peterson2020fractional ; PhysRevResearch.2.043131 ; PhysRevB.102.165120 . For example, three-dimensional second-order topological insulators with inversion symmetry (and time-reversal symmetry) have protected anomalous gapless mode along the hinges PhysRevB.97.205136 ; PhysRevB.98.081110 ; PhysRevX.8.031070 ; PhysRevB.98.205129 ; PhysRevB.98.245102 ; PhysRevB.101.115120 ; PhysRevResearch.2.013300 ; PhysRevResearch.2.043274 , and two-dimensional second-order topological insulators with rotation symmetry have protected quantized corner charges Benalcazar61 ; PhysRevLett.119.246402 ; PhysRevB.96.245115 ; serra2018observation ; PhysRevLett.120.026801 ; peterson2018quantized ; PhysRevB.98.045125 ; imhof2018topolectrical ; PhysRevB.99.245151 ; PhysRevLett.122.086804 ; PhysRevResearch.2.012009 ; doi:10.7566/JPSJ.88.104703 ; PhysRevResearch.1.033074 ; PhysRevB.101.115140 ; PhysRevB.101.241109 ; peterson2020fractional ; kooi2021bulk ; PhysRevResearch.2.043131 ; PhysRevB.102.165120 . Such fractionally quantized corner charges are generalizations of the quantized surface charge caused by the quantized bulk electric polarizationPhysRevB.48.4442 .

As discussed in the previous works, the quantized fractional corner charge in CnC_{n}-symmetric crystalline insulators are associated with rotational eigenvalues of the bulk wavefunctionsPhysRevB.99.245151 ; PhysRevResearch.1.033074 ; kooi2021bulk ; PhysRevResearch.2.043131 ; nonetheless, they are limited to special cases. For example, in C6C_{6}-symmetric systems, Ref. [PhysRevB.99.245151, ] considers the case with hexagonal unit cells that cover the whole crystal, while in Ref. [PhysRevResearch.2.043131, ] systems covered by triangular building blocks are considered, and so the formulas of the corner charge for these two cases are different. In Ref. [PhysRevB.102.165120, ], although a general formula of the quantized corner charge is discussed, the authors assume that the surface is flat and the electronic charge distribution is the same between the finite C6C_{6}-symmetric system and an infinite system. Most importantly, the formula in Ref. [PhysRevB.102.165120, ] treats the contributions of electrons and ions to corner charges on an equal footing.

Here, a question arises whether the formula for the corner charge in previous works PhysRevB.99.245151 ; PhysRevResearch.1.033074 ; kooi2021bulk ; PhysRevResearch.2.043131 holds for any insulating CnC_{n} symmetric systems; this question is important for application to real materials, which may have deformations of nuclei positions and of electronic states near the boundaries. In the previous works, the corner-charge formula was derived for systems in which nuclei positions and electronic states are perfectly periodic up to the boundaries, and this result was complemented by an argument that surface decoration will leave the corner charge unaffected. Nevertheless, the surface-decoration argument has not been addressed in detail, and it is not clear whether the resulting corner-charge formula holds in general CnC_{n}-symmetric systems, including those where the nuclei positions and electronic states may be modulated near the boundary.

In the present paper we derive a general corner-charge formula on general grounds with minimal assumptions. Our study shows that even when the positions of the nuclei and the electronic states are largely modulated near the boundaries, the corner charge is quantized to fractional values as long as the system is CnC_{n}-symmetric and the edge charge density is zero. One of the merits of our method is that it naturally includes surfaces with higher Miller indices and surfaces with surface reconstructions. Our theory also includes insulators with non-vanishing bulk polarization but without edge charges. In particular, in such cases with C3C_{3} or C4C_{4} symmetries, we find that the value of the corner charge depends on the Wyckoff position of the center of the CnC_{n}-symmetric crystal. It is in contrast with previous works, where the corner-charge formula assumes zero polarization.

This paper is organized as follows. In Sec. II, we derive the general corner charge formula and clarified the assumptions required for the quantization of the corner charge. We show that as long as the edge is gapped and charge neutral in CnC_{n}-symmetric finite system, the corner charge is fractionally quantized modulo |e|/n|e|/n. We also discuss the relation of the general formula and the bulk rotational eigenvalues. In Sec. III, we consider systems with nonzero electric polarization, which is beyond the scope of the previous corner charge formula. In Sec. IV, we consider more general surface conditions, such as general edge orientations and surface reconstructions. Conclusion and discussion are given in Sec. V.

II Corner charge formula

In this section, we construct a general theory to calculate the corner charges in an insulator with CnC_{n}-rotation symmetry, based on the notion of filling anomaly. We derive its fractional quantization under the following minimal assumptions. We assume that the system is topologically trivial in the sense that it is adiabatically connected to an atomic limit PhysRevB.99.245151 ; PhysRevB.102.165120 . It assures that the system has no topological edge states in the gap.

To explain another important assumption, we show the definition of the filling anomaly adopted in this paper:

  • In some bulk insulators, charge neutrality is incompatible with existence of a gap at the Fermi energy for the whole system including the boundries; in such cases, by adding or subtracting a few electrons from charge neutrality, the Fermi energy is shifted and the system becomes gapped including the boundaries. This deviation of the electron number from charge neutrality is called filling anomaly in this paper.

Based on this definition of the filling anomaly, we assume that the finite-sized CnC_{n}-symmetric crystal considered is gapped. These two assumptions, namely topological triviality and existence of the gap, guarantee that the occupied states are described in term of localized orbitals. We note that the gap in this finite crystal should survive in the large system size limit. For example, in a hexagonal-shaped crystal with C6C_{6} symmetry, suppose the edge and bulk are gapped, and the corners support one in-gap bound state per each corner, with the Fermi energy at these in-gap corner states. Then a tiny hybridization gap O(eL/λ)O(e^{-L/\lambda}) appears within the sixfold multiplet of the corner states, where LL is the distance between neighboring corners and λ\lambda is a penetration depth of the corner states along the edges. In this case, the occupied states at the corners cannot be described as localized orbitals, but are extended over the system size, and it violates our assumptions. Thus, these assumptions justify the description of occupied electronic states as localized orbitals.

In the previous worksPhysRevB.99.245151 ; PhysRevResearch.1.033074 ; kooi2021bulk ; PhysRevResearch.2.043131 ; PhysRevB.102.165120 , the formula of the quantized corner charge is derived for cases with the electronic charge distribution being perfectly periodic even near the system boundaries. It is then argued that the quantization will remain even with surface decorations onto the system while preserving the CnC_{n} symmetry and the bulk gap. Nonetheless, details of surface-decoration argument have not been addressed, and it is not clear in which kinds of systems the corner charge remains quantized to be the value determined by bulk electronic states. In real materials, electronic states are determined as solutions of the Schrödinger equation, and nuclei positions are determined as minima of the total energy; this necessarily leads to deviations of electronic wavefunctions and nuclei positions near the boundaries. In many cases, details of the nuclei positions and electronic states near the boundaries are complicated and not easily discussed on general grounds. Thus, a general proof for CnC_{n}-symmetric insulators is desired. In the following, we give a general proof for this problem.

In this paper, we assume that the charges of the respective ions are integer multiples of the electronic charge |e||e|. It naturally holds in real materials. On the other hand, some theoretical models may have non-integer ionic charges, but such models are outside of our theory.

II.1 Derivation of the general corner charge formula

We consider a crystal of finite size which preserves the CnC_{n} symmetry. We assume that the system is insulating, in the sense that the Fermi level is within the energy gap for both the bulk and the boundaries. In some cases, degenerate corner states exist at the Fermi energy, which violates the above assumption, when charge neutrality is assumed. However, we can add or remove several electrons so that no states are at the Fermi energy. This deviation from charge neutrality is called filling anomalyPhysRevB.99.245151 .

Refer to caption

Figure 1: (Color online) A conceptual picture of the region division for (a) C3C_{3}, (b) C4C_{4} and (c) C6C_{6}-symmetric systems. In each system, the width of the region (I), dedged_{\text{edge}}, is taken to be large enough so that both the electronic states and the ionic positions in the region (II) are the same as those at the bulk.

In order to calculate the filling anomaly, we divide the system conceptually into two CnC_{n}-symmetric regions (I) and (II), as shown in Fig. 1. The regions (I) and (II) can be regarded as surface and bulk regions, respectively, and we explain this division in the following. The width of the surface region (I), dedged_{\text{edge}}, is taken to be large enough so that both the electronic states and the ionic positions in the region (II) are the same as those at the bulk.

To calculate the filling anomaly, we proceed with the following steps. First, we classify the ions into two groups according to which region they belong to, so that no ions are at the junctures of two regions.

Second, we classify the electronic states. We assume that the occupied states of this system can be described by a CnC_{n}-symmetric basis set {ϕi}\{\phi_{i}\} composed of exponentially localized basis orbitalsPhysRevB.48.4442 . Well within the crystal, the electronic states can be well described by bulk Wannier functions WnlW_{nl}, and we take these Wannier functions WnlW_{nl} to be among {ϕi}\{\phi_{i}\}. The remaining ϕi\phi_{i}’s are additional localized basis orbitals φi(add)\varphi_{i}^{(\text{add})} near the boundary. We classify them into regions (I) and (II) so that the set of orbitals in region (I) and that in region (II) are CnC_{n} symmetric. By construction the numbers of ions and electronic localized basis orbitals in the region (I) are integer multiples of nn. Here, we impose a condition that all the additional localized basis orbitals φi(add)\varphi_{i}^{(\text{add})} are classified into the region (I), and we choose the region (I) large enough so that this condition is satisfied. Thus, even if the electronic states near the boundary are largely deformed, our theory is still applicable, by incorporating these deformed wavefunctions into region (I). We note that this construction of localized basis functions is similar to that used in the argument in Ref. [PhysRevB.48.4442, ] to show that the bulk polarization in terms of the Zak phase gives surface charge density. We note that some degrees of freedom remain in this division into two regions, but they do not affect the following argument.

Third, we calculate the total charge of the finite crystal in terms of mod n|e|n|e|. First, the total charge contribution from the region (I) should be 0 (mod n|e|n|e|) because the number of the nuclei and the electronic basis orbitals within region (I) is an integer multiple of nn. Next, we calculate total charges of electrons and ions in the region (II). First, in the region (II), all the orbitals are Wannier orbitals WnlW_{nl}, and therefore positions of the ions and electrons are classified in terms of Wyckoff positions. Because the whole crystal is CnC_{n} symmetric, the center of the crystal should be located at the Wyckoff position with CnC_{n} local symmetry. Let 1a1a be the Wyckoff position with CnC_{n} symmetry located at the center of the crystal. Then, the ions not located at 1a1a contribute nM|e|nM|e| (MM\in\mathbb{Z}) to the net charge in the region (II), while those at 1a contribute nM|e|+n1a(ion)|e|nM^{\prime}|e|+n_{1a}^{(\text{ion})}|e| (MM^{\prime}\in\mathbb{Z}), where n1a(ion)|e|n_{1a}^{(\text{ion})}|e| is the charge of the ion at the 1a1a position. Therefore, the total ionic charge in the region (II) is equal to n1a(ion)|e|n_{1a}^{(\text{ion})}|e| mod n|e|n|e| and so is that in the whole crystal. Similarly, the total electron charge is equal to n1a(e)|e|-n_{1a}^{\text{(e)}}|e| (mod n|e|n|e|) where n1a(e)n_{1a}^{\text{(e)}} is the number of electron Wannier orbitals at the 1a1a position. From the above discussion, the total charge of the system in terms of modulo n|e|n|e| is calculated as follows,

Qtot(n1a(ion)n1a(e))|e|(modn|e|),\displaystyle Q_{\text{tot}}\equiv(n_{1a}^{\text{(ion)}}-n_{1a}^{\text{(e)}})|e|\quad(\text{mod}\ n|e|), (1)

where n1a(ion)|e|n_{1a}^{\text{(ion)}}|e| is an ionic charge at 1a1a, and n1a(e)n_{1a}^{\text{(e)}} is the number of electronic Wannier functions at 1a1a. This formula represents a filling anomaly in the crystal.

Refer to caption

Figure 2: (Color online) A conceptual picture of the region division for calculating the corner charge for a C4C_{4}-symmetric system as an example. The total charge in each region is calculated by integrating the moving average of the total charge density ρ¯(𝒙)\overline{\rho}(\bm{x}) in each region. In the bulk region (C), ρ¯(𝒙)=0\overline{\rho}(\bm{x})=0, and the total charge in the bulk region QbulkQ_{\text{bulk}} is zero. The edge region (B) includes an integer number of edge unit cells. The charge of each edge unit cell is calculated by the product of the edge charge density σ=𝑷𝒏\sigma=\bm{P}\cdot\bm{n} and the edge period aedgea_{\text{edge}}. The total charge is represented as summation of the edge charges and the corner charges: Qtot=n(Qedge+Qcorner)Q_{\text{tot}}=n(Q_{\text{edge}}+Q_{\text{corner}}). Therefore, when QedgeQ_{\text{edge}} vanishes, QcornerQtot/nQ_{\text{corner}}\equiv Q_{\text{tot}}/n (mod ee).

Fourth, we discuss how QtotQ_{\text{tot}} is distributed in the crystal. As a first step, we define the moving average of the total charge density ρ¯(𝒙)\overline{\rho}(\bm{x}) as follows:

ρ¯(𝒙)=1|Ω|Ωρ(𝒙+𝒙)𝑑𝒙.\displaystyle\overline{\rho}(\bm{x})=\frac{1}{|\Omega|}\int_{\Omega}\rho(\bm{x}+\bm{x}^{\prime})\ d\bm{x}^{\prime}. (2)

Here, ρ(𝒙)\rho(\bm{x}) is the total charge density including ions and electrons, Ω\Omega is a CnC_{n}-symmetric unit cell whose center is at the origin and |Ω||\Omega| is the area of Ω\Omega. From the definition, ρ¯(𝒙)\overline{\rho}(\bm{x}) have the following properties:

ρ¯(𝒙)\displaystyle\overline{\rho}(\bm{x}) =0(𝒙bulk),\displaystyle=0\quad(\bm{x}\in\text{bulk}), (3)
crystal𝑑𝒙ρ¯(𝒙)\displaystyle\int_{\text{crystal}}d\bm{x}^{\prime}\ \overline{\rho}(\bm{x}^{\prime})\ =Qtot.\displaystyle=Q_{\text{tot}}. (4)
ρ¯(Cn𝒙)\displaystyle\overline{\rho}(C_{n}\cdot\bm{x}) =ρ¯(𝒙)\displaystyle=\overline{\rho}(\bm{x}) (5)

We note that as long as ρ¯(𝒙)\overline{\rho}(\bm{x}) satisfies Eqs. (3), (4) and (5), we can also use other definitions for moving averages. In a sufficiently large system, we expect that electronic states in the middle part of the edges far away from the corners are almost the same as those on an edge of a semi-infinite system with an open boundary condition in one direction. To calculate the corner charge based on this expectation, we divide the system into three types of regions: the (A) corner, (B) edge, and (C) bulk regions in a CnC_{n}-symmetric way as schematically shown in Fig. 2. The edge region (B) should be chosen to satisfy the following conditions. First, it should be sufficiently far away from the corners, such that the electronic states in the edge region (B) are the same as those on an edge of the corresponding semi-infinite system. Second, it should have a width equal to an integer multiple of the period along the edge, NedgeaedgeN_{\text{edge}}a_{\text{edge}}, and a sufficiently long depth into the bulk, dedged_{\text{edge}}, such that in the remaining bulk region (C), the electronic states are the same as those for a bulk infinite system. Here, we assume that one edge region includes NedgeN_{\text{edge}} edge unit cells. Since ρ¯(𝒙)\overline{\rho}(\bm{x}) takes nonzero values only in the (A) corner and (B) edge regions, its integral can be calculated as the sum of the total charges in these regions:

crystal𝑑𝒙ρ¯(𝒙)\displaystyle\int_{\text{crystal}}d\bm{x}^{\prime}\ \overline{\rho}(\bm{x}^{\prime})\ =n(Qedge+Qcorner),\displaystyle=n\Bigl{(}Q_{\text{edge}}+Q_{\text{corner}}\Bigr{)}, (6)

where QedgeQ_{\text{edge}} and QcornerQ_{\text{corner}} are the total charges at one of the (B) edge regions and one of the (C) corner regions, respectively. Then QedgeQ_{\text{edge}} can be calculated as:

Qedge\displaystyle Q_{\text{edge}} =Nedgeσedgeaedge.\displaystyle=N_{\text{edge}}\sigma_{\text{edge}}a_{\text{edge}}. (7)

Here, NedgeN_{\text{edge}} is the number of edge unit cells within one edge region, σedge\sigma_{\text{edge}} is the edge charge density, and aedgea_{\text{edge}} is the period of the edge unit cell.

Finally, we calculate the corner charge. We assume that the edge is charge neutral, σedge=0\sigma_{\text{edge}}=0. Then the extra charge QtotQ_{\text{tot}} is distributed into the nn corners. Since the crystal is assumed to be CnC_{n}-symmetric, the distributed charges are equal among the corners, and this gives a corner charge formula:

Qcorner=Qc_1a(n)(n1a(ion)n1a(e))|e|n(mod|e|).\displaystyle Q_{\text{corner}}=Q_{c\_1a}^{(n)}\equiv\frac{(n_{1a}^{\text{(ion)}}-n_{1a}^{\text{(e)}})|e|}{n}\quad(\text{mod}\ |e|). (8)

Here, Qc_1a(n)Q_{c\_1a}^{(n)} means the corner charge when the center of the crystal is located at the 1a1a Wyckoff position.

If the edge charge density σedge0\sigma_{\text{edge}}\neq 0, the extra charge QtotQ_{\text{tot}} is distributed not only to the corners, but also to the edges. Since the separation of charges between the corners and the edges depends on the choice of the corner regions, the corner charge is not well defined.

II.2 Comparison with previous works

Our discussion so far clarifies that the formula (8) for the corner charge applies to a general system, as long as the system is CnC_{n}-symmetric and is insulating over the whole system, irrespective of the system details. In particular, our theory applies to (i) systems with boundaries with high Miller indices, (ii) those with surface reconstructions, and (iii) systems with nonzero 𝑷\bm{P} but with zero edge charge density σedge=0\sigma_{\text{edge}}=0. In the following, we briefly explain these three cases. Details of (i) and (ii) are given in Sec. IV and those of (iii) in Sec. III.

First is the case (i) with boundaries with higher Miller indices. In the previous works, the arguments are limited to boundaries with low Miller indices such as (10) and (01) edges, but our theory applies to general Miller indices. For example, a C4C_{4}-symmetric square system with edges along (34) and (43¯4\bar{3}) directions is covered by our theory. Second, we can treat cases with (ii) boundaries with surface reconstructions. It is nontrivial because the surface reconstruction may make the perioidicity at edges different from that in the bulk. In some cases, as we discusss later, the edges without the surface reconstruction are gapless and σedge\sigma_{\text{edge}} is zero, but those with the surface reconstruction may become gapped, which makes our theory applicable.

Third, our theory covers also the cases (iii) with 𝑷0\bm{P}\neq 0. Our assumption is σedge=0\sigma_{\text{edge}}=0, which does not necessarily mean 𝑷=0\bm{P}=0. In contrast, in the previous worksPhysRevB.99.245151 ; PhysRevResearch.1.033074 ; PhysRevResearch.2.043131 ; PhysRevB.102.165120 , the bulk polarization 𝑷\bm{P} is assumed to be 0, which ensures that the edge charge density σedge\sigma_{\text{edge}} is 0. We find that this assumption of 𝑷=0\bm{P}=0 in the previous works is too strong. The bulk polarization 𝑷\bm{P} is related to the edge charge densityPhysRevB.48.4442 ; resta1992theory ; PhysRevB.47.1651 ; RevModPhys.66.899 via

σedge𝑷𝒏(mod|e|/aedge),\displaystyle\sigma_{\text{edge}}\equiv\bm{P}\cdot\bm{n}\ (\text{mod}\ |e|/a_{\text{edge}}), (9)

where 𝒏\bm{n} is the unit normal vector of the edge. It is not an equality, because the bulk polarization 𝑷\bm{P} is defined only in terms of modulo some unit PhysRevB.48.4442 ; resta1992theory ; PhysRevB.47.1651 ; RevModPhys.66.899 , which we call polarization quantum. Thus, our assumption σedge=0\sigma_{\text{edge}}=0 means 𝑷𝒏0\bm{P}\cdot\bm{n}\equiv 0 (mod |e|/aedge|e|/a_{\text{edge}}), which does not necessarily mean 𝑷=0\bm{P}=0.

II.3 Corner-charge formula in terms of rotation eigenvalues

In this section, we rewrite our formula for the corner charge in terms of rotation eigenvalues of the Bloch eigenstates at high-symmetry wavevectors following Refs. [PhysRevB.99.245151, ,PhysRevResearch.1.033074, ,PhysRevResearch.2.043131, ], in three different systems with and without time-reversal symmetry, and with and without spin-orbit coupling, separately. We need to rewrite it, because eigenstates in a crystal are Bloch wavefunctions, extended over the crystal, and one cannot directly calculate n1a(e)n_{1a}^{(e)} from the Bloch wavefunctions. Then, we discuss a relation between our formula and the formulas in the previous worksPhysRevB.99.245151 ; PhysRevResearch.1.033074 ; PhysRevResearch.2.043131 . The notable difference from the previous works is that the Wyckoff positions of the ions are not always 1a, and the corner charge generally depends on the filling ν\nu as in Ref. [PhysRevResearch.2.043131, ]. The detail of the calculation is shown in the Appendix.

By following Refs. [PhysRevB.99.245151, ,PhysRevResearch.1.033074, ,PhysRevResearch.2.043131, ], we introduce topological invariants which distinguish the Wannier functions with different Wyckoff positions. With a sufficient number of topological invariants, there can be a one-to-one correspondence between the values of the topological invariants and Wyckoff positions of the occupied Wannier orbitals. We assume that the occupied bands can be written in terms of Wannier functions. Then, the number of Wannier orbitals at each Wyckoff position is determined from the topological invariant for the occupied bands.

Figure 3 shows the Wyckoff positions under CnC_{n} rotational symmetry (n=3,4,6n=3,4,6). In each system with CnC_{n} symmetry, there are four kinds of Wyckoff positions. We define the number of occupied Wannier functions at Wyckoff position mXmX as nmX(e)n_{mX}^{(e)}. Here, X=a,b,c,dX=a,b,c,d represent the types of the Wyckoff positions, and mm represents the multiplicity of a Wyckoff position. The weighted sum of the nmX(e)n_{mX}^{(e)} is equal to the electron filling, i.e. the number of occupied bands ν\nu:

XmnmX(e)=ν.\displaystyle\sum_{X}mn_{mX}^{(e)}=\nu. (10)

For the calculation of the corner charge, the value of n1a(e)n_{1a}^{(e)} is needed. As we show in the appendix, mnmX(e)mn_{mX}^{(e)} modulo nn (XaX\neq a) is directly calculated from the rotational topological invariants defined from rotation eigenvalues of the Bloch wavefunctions, and n1a(e)n_{1a}^{(e)} is determined from νXamnmX(e)\nu-\sum_{X\neq a}mn_{mX}^{(e)}. In the appendix, we show the detailed calculation of nmX(e)n_{mX}^{(e)}.

Refer to caption

Figure 3: (Color online) Wyckoff positions in (a) C3C_{3}, (b) C4C_{4}, (c) C6C_{6}-symmetric systems. The points with the same colors belong to the same Wyckoff positions. Here, 𝒂1\bm{a}_{1} and 𝒂2\bm{a}_{2} are primitive translation vectors, and (a) 𝒂1=(a2,32a)\bm{a}_{1}=(\frac{a}{2},\frac{\sqrt{3}}{2}a), 𝒂2=(a2,32a)\bm{a}_{2}=(-\frac{a}{2},\frac{\sqrt{3}}{2}a), (b) 𝒂1=(a,0)\bm{a}_{1}=(a,0), 𝒂2=(0,a)\bm{a}_{2}=(0,a), (c) 𝒂1=(a,0)\bm{a}_{1}=(a,0), 𝒂2=(a2,32a)\bm{a}_{2}=(-\frac{a}{2},\frac{\sqrt{3}}{2}a).

II.3.1 class A

First, we consider a system called class A. Unlike the class AI systemsPhysRevB.99.245151 ; PhysRevResearch.2.043131 or class AII systemsPhysRevResearch.1.033074 ; kooi2021bulk considered in previous studies, the class A systems do not have time-reversal symmetry. From Eq. (8) and Appendix A, the corner charge is calculated as follows:

Qc_1a(3)\displaystyle Q_{c\_1a}^{(3)} |e|3(n1a(ion)ν[K1(3)][K2(3)][K1(3)][K2(3)])\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1a}^{(\text{ion})}-\nu-[K_{1}^{(3)}]-[K_{2}^{(3)}]-[K_{1}^{\prime(3)}]-[K_{2}^{\prime(3)}]\Big{)}
(mode),\displaystyle\ \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\ (\text{mod}\ e), (11)
Qc_1a(4)\displaystyle Q_{c\_1a}^{(4)} |e|4(n1a(ion)ν+[X1(2)]12[M1(4)]+32[M3(4)])\displaystyle\equiv\frac{|e|}{4}\Big{(}n_{1a}^{(\text{ion})}-\nu+[X_{1}^{(2)}]-\frac{1}{2}[M_{1}^{(4)}]+\frac{3}{2}[M_{3}^{(4)}]\Big{)}
(mode),\displaystyle\ \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\ (\text{mod}\ e), (12)
Qc_1a(6)\displaystyle Q_{c\_1a}^{(6)} |e|6(n1a(ion)ν+2[K1(3)]+32[M1(2)])(mode).\displaystyle\equiv\frac{|e|}{6}\Big{(}n_{1a}^{(\text{ion})}-\nu+2[K_{1}^{(3)}]+\frac{3}{2}[M_{1}^{(2)}]\Big{)}\ (\text{mod}\ e). (13)

Here, the rotation topological invariant [Πp(n)][\Pi_{p}^{(n)}] represents the difference of the number of states with CnC_{n} eigenvalue e2π(p1)ine^{\frac{2\pi(p-1)i}{n}} for spinless systems, and e2π(p1)ineπine^{\frac{2\pi(p-1)i}{n}}e^{\frac{\pi i}{n}} for spinful systems, between the rotation-invariant 𝒌\bm{k}-points Π\Pi and Γ\Gamma. We assumed (Cn)n=1(C_{n})^{n}=1 and (Cn)n=1(C_{n})^{n}=-1 for spinless and spinful systems, respectively.

In addition to Eqs. (11)-(13), where the center of the CnC_{n}-symmetric crystal is at 1a1a, in appendix A, we also discuss the formula when the center of the crystal is at other Wyckoff positions, i.e., 1b1b and 1c1c for C3C_{3} and 1b1b for C4C_{4}. The formulae are summarized as follows:

Qc_1b(3)\displaystyle Q_{c\_1b}^{(3)} |e|3(n1b(ion)+[K1(3)]+[K2(3)])(mode),\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1b}^{(\text{ion})}+[K_{1}^{(3)}]+[K_{2}^{\prime(3)}]\Big{)}\ (\text{mod}\ e), (14)
Qc_1c(3)\displaystyle Q_{c\_1c}^{(3)} |e|3(n1c(ion)+[K2(3)]+[K1(3)])(mode),\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1c}^{(\text{ion})}+[K_{2}^{(3)}]+[K_{1}^{\prime(3)}]\Big{)}\ (\text{mod}\ e), (15)
Qc_1b(4)\displaystyle Q_{c\_1b}^{(4)} |e|4(n1b(ion)[X1(2)]+32[M1(4)]12[M3(4)])\displaystyle\equiv\frac{|e|}{4}\Big{(}n_{1b}^{(\text{ion})}-[X_{1}^{(2)}]+\frac{3}{2}[M_{1}^{(4)}]-\frac{1}{2}[M_{3}^{(4)}]\Big{)}
(mode).\displaystyle\ \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\ (\text{mod}\ e). (16)

II.3.2 class AI

Here, we consider a spinless system with time-reversal symmetry called class AI. In this case, there are some constraints on the topological invariants [Πp(n)][\Pi_{p}^{(n)}], and the corner charge formula is somewhat simplified.

Qc_1a(3)\displaystyle Q_{c\_1a}^{(3)} |e|3(n1a(ion)ν)|e|3[K1(3)](mode),\displaystyle\equiv\frac{|e|}{3}(n_{1a}^{(\text{ion})}-\nu)-\frac{|e|}{3}[K_{1}^{(3)}]\ (\text{mod}\ e), (17)
Qc_1a(4)\displaystyle Q_{c\_1a}^{(4)} |e|4(n1a(ion)ν+[X1(2)]2[M1(4)]3[M2(4)])\displaystyle\equiv\frac{|e|}{4}\Big{(}n_{1a}^{(\text{ion})}-\nu+[X_{1}^{(2)}]-2[M_{1}^{(4)}]-3[M_{2}^{(4)}]\Big{)}
(mode),\displaystyle\ \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\ (\text{mod}\ e), (18)
Qc_1a(6)\displaystyle Q_{c\_1a}^{(6)} |e|6(n1a(ion)ν+2[K1(3)]+32[M1(2)])(mode).\displaystyle\equiv\frac{|e|}{6}\Big{(}n_{1a}^{(\text{ion})}-\nu+2[K_{1}^{(3)}]+\frac{3}{2}[M_{1}^{(2)}]\Big{)}\ (\text{mod}\ e). (19)

In particular, these formulae are reproduced to the results in Ref. [PhysRevB.99.245151, ] only if all the ions are located at the center of the CnC_{n}-symmetric unit cell (i.e., Wyckoff position 1a1a) leading to n1a(ion)=νn_{1a}^{(\text{ion})}=\nu and if the electric polarization is zero. The formulae are reduced to Eq. (11) of Ref. [PhysRevB.99.245151, ], i.e.,

Qc_1a(3)\displaystyle Q_{c\_1a}^{(3)} |e|3[K2(3)](mode),\displaystyle\equiv-\frac{|e|}{3}[K_{2}^{(3)}]\ (\text{mod}\ e), (20)
Qc_1a(4)\displaystyle Q_{c\_1a}^{(4)} |e|4([X1(2)]+2[M1(4)]+3[M2(4)])(mode),\displaystyle\equiv-\frac{|e|}{4}\Big{(}[X_{1}^{(2)}]+2[M_{1}^{(4)}]+3[M_{2}^{(4)}]\Big{)}\ (\text{mod}\ e), (21)
Qc_1a(6)\displaystyle Q_{c\_1a}^{(6)} |e|4[M1(2)]|e|6[K1(3)](mode).\displaystyle\equiv-\frac{|e|}{4}[M_{1}^{(2)}]-\frac{|e|}{6}[K_{1}^{(3)}]\ (\text{mod}\ e). (22)

As shown in appendix B, we also discuss the formula when the center of the CnC_{n}-symmetric crystal is not at the Wyckoff position 1a1a. The formulae are summarized as follows:

Qc_1b(3)\displaystyle Q_{c\_1b}^{(3)} |e|3(n1b(ion)[K2(3)])(mode),\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1b}^{(\text{ion})}-[K^{\prime(3)}_{2}]\Big{)}\ (\text{mod}\ e), (23)
Qc_1c(3)\displaystyle Q_{c\_1c}^{(3)} |e|3(n1c(ion)[K2(3)])(mode),\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1c}^{(\text{ion})}-[K^{(3)}_{2}]\Big{)}\ (\text{mod}\ e), (24)
Qc_1b(4)\displaystyle Q_{c\_1b}^{(4)} |e|4(n1b(ion)[X1(2)]+2[M1(4)]+[M2(4)])\displaystyle\equiv\frac{|e|}{4}\Big{(}n_{1b}^{(\text{ion})}-[X^{(2)}_{1}]+2[M^{(4)}_{1}]+[M^{(4)}_{2}]\Big{)}
(mode).\displaystyle\ \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\ (\text{mod}\ e). (25)

II.3.3 class AII

Here, we consider a spinful system with time-reversal symmetry called class AII. In Refs. [PhysRevResearch.1.033074, , kooi2021bulk, ], in the class AII systems, the corner charge is defined modulo 2e2e due to the Kramers theorem. However, as pointed out in Ref. [PhysRevB.102.165120, ], we argue that it should be defined modulo ee in general cases. For example, the nuclei can have an odd number of charges in the unit of electronic charge |e||e|, which leads to a change of the corner charge by ee without changing the bulk. It occurs when some surface adatoms are allowed, as discussed in Ref. [PhysRevB.102.165120, ]. It is also the case in compounds containing elements with odd atomic numbers; a change in crystal terminations results in a change of the corner charge by ee. For the above reasons, we deal with corner charges defined by modulo ee, even in the class AII.

As with class AI systems, the topological invariants [Πp(n)][\Pi_{p}^{(n)}] have some constraints due to time-reversal symmetry, and the corner charge formula is somewhat simplified.

Qc_1a(3)\displaystyle Q_{c\_1a}^{(3)} =|e|3(n1a(ion)ν)|e|3[K2(3)](mode),\displaystyle=\frac{|e|}{3}(n_{1a}^{(\text{ion})}-\nu)-\frac{|e|}{3}[K_{2}^{(3)}]\ (\text{mod}\ e), (26)
Qc_1a(4)\displaystyle Q_{c\_1a}^{(4)} |e|4(n1a(ion)ν)+|e|2[M1(4)](mode),\displaystyle\equiv\frac{|e|}{4}(n_{1a}^{(\text{ion})}-\nu)+\frac{|e|}{2}[M_{1}^{(4)}]\ (\text{mod}\ e), (27)
Qc_1a(6)\displaystyle Q_{c\_1a}^{(6)} =|e|6(n1a(ion)ν)+|e|3[K1(3)](mode).\displaystyle=\frac{|e|}{6}(n_{1a}^{(\text{ion})}-\nu)+\frac{|e|}{3}[K_{1}^{(3)}]\ (\text{mod}\ e). (28)

In appendix C, we also discuss the formula when the center of the CnC_{n}-symmetric crystal is not at the Wyckoff position 1a1a. The formulae are summarized as follows:

Qc_1b(3)\displaystyle Q_{c\_1b}^{(3)} |e|3(n1b(ion)[K1(3)])(mode),\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1b}^{(\text{ion})}-[K^{(3)}_{1}]\Big{)}\ (\text{mod}\ e), (29)
Qc_1c(3)\displaystyle Q_{c\_1c}^{(3)} |e|3(n1c(ion)[K1(3)])(mode),\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1c}^{(\text{ion})}-[K^{\prime(3)}_{1}]\Big{)}\ (\text{mod}\ e), (30)
Qc_1b(4)\displaystyle Q_{c\_1b}^{(4)} |e|4(n1b(ion)2[M1(4)])(mode).\displaystyle\equiv\frac{|e|}{4}\Big{(}n_{1b}^{(\text{ion})}-2[M^{(4)}_{1}]\Big{)}\ (\text{mod}\ e). (31)

III Corner charge with nonzero bulk polarization

In this section, we consider cases with nonzero bulk polarization 𝑷\bm{P}. In the previous worksPhysRevB.99.245151 ; PhysRevResearch.1.033074 ; PhysRevResearch.2.043131 ; PhysRevB.102.165120 , the bulk polarization 𝑷\bm{P} is set to be 0, to ensure that the edge charge density per edge unit cell is 0 modulo |e||e|. However, as we explain in the following, even if the bulk polarization 𝑷\bm{P} is nonzero, as long as the edge charge density σedge\sigma_{\text{edge}} is 0, our general formula is applicable.

To illustrate this, we consider a C4C_{4}-symmetric tight-binding model with nonzero bulk polarization as an example. We show that the fractional corner charge appears even though the bulk polarization is nonzero, as long as the edge charge density is 0. Moreover, we also show that two finite C4C_{4}-symmetric flakes with different terminations can have different corner charges due to difference in the C4C_{4} centers. This property is specific to cases with nonzero polarization.

Our model is a simple spinless tight-binding model. It has background positive ions with 2|e|2|e| charge at 1a1a, being the center of the square unit cell (see Fig. 4(a),(b)). The Hamiltonian is given as H^=ijtijcicj\hat{H}=\sum_{\langle ij\rangle}t_{ij}c_{i}^{\dagger}c_{j}, where tij=ts(tw)t_{ij}=t_{s}\ (t_{w}) for inter-unit-cell (intra-unit-cell) bonds colored in red (blue) in Fig. 4(a). We set ts=2t_{s}=2 and tw=0.8t_{w}=0.8 in the numerical calculation. The bulk bands are gapped, and we set the Fermi energy EF=0E_{F}=0 within the gap. The parameters are chosen so that the occupied Wannier orbitals are located at 2c2c Wyckoff positions, in the middle of the red bonds. In this example, the bulk polarization is 𝑷=(e/2a)(1,1)\bm{P}=(e/2a)(1,1) (mod e/ae/a), where aa is the lattice constant. Therefore, if we cut the system along the xx and yy axis as shown in Fig. 4(c), nonzero fractional edge charge appears, σedgeaedge=𝑷(1,0)a=e2\sigma_{\text{edge}}a_{\text{edge}}=\bm{P}\cdot(1,0)a=\frac{e}{2}, where the size of the edge unit cell aedgea_{\text{edge}} is taken to be equal to aa. This model has half-filled edge states within the bulk gap, and they are metallic (see Fig. 4(d)). Thus, this is out of the scope of the corner charge formula. On the other hand, if the system is cut along the (11)(11) direction as shown in Fig. 4(e), the edge charge is 0 modulo ee: σedgeaedge=𝑷𝒏2a0\sigma_{\text{edge}}a_{\text{edge}}=\bm{P}\cdot\bm{n}\sqrt{2}a\equiv 0 (mod ee) per edge unit cell, where 𝒏=(1/2,1/2)\bm{n}=(1/\sqrt{2},1/\sqrt{2}) and aedge=2aa_{\text{edge}}=\sqrt{2}a. Then the edge is insulating as shown in Fig. 4(f), and we can apply our general formula.

In C4C_{4}-symmetric systems, there are two C4C_{4}-symmetric Wyckoff positions, 1a1a and 1b1b. As shown in Fig. 3(b), their positions are 𝒓1a=𝟎\bm{r}_{1a}=\bm{0} and 𝒓1b=12𝒂1+12𝒂2\bm{r}_{1b}=\frac{1}{2}\bm{a}_{1}+\frac{1}{2}\bm{a}_{2}, respectively. Therefore, which formula to be used depends on whether the C4C_{4} center of the finite crystal is 1a1a or 1b1b. If the center of the finite crystal is at 1b1b, we need to use a formula with 1a1a replaced by 1b1b in Eq. (8):

Qc_1b(4)(n1b(ion)n1b(e))|e|4(mod|e|).\displaystyle Q_{c\_1b}^{(4)}\equiv\frac{(n_{1b}^{\text{(ion)}}-n_{1b}^{\text{(e)}})|e|}{4}\quad(\text{mod}\ |e|). (32)

The difference between Eqs. (8) and (32) is expressed as

Qc_1a(4)Qc_1b(4)\displaystyle Q_{c\_1a}^{(4)}-Q_{c\_1b}^{(4)} =qaqb4=2qb2qc4qd4\displaystyle=\frac{q_{a}-q_{b}}{4}=\frac{-2q_{b}-2q_{c}-4q_{d}}{4}
qb+qc2(mode).\displaystyle\equiv\frac{q_{b}+q_{c}}{2}\quad(\text{mod}\ e). (33)

Here, qX=(nmX(ion)nmX(e))|e|q_{X}=(n_{mX}^{\text{(ion)}}-n_{mX}^{\text{(e)}})|e| (mX=1a,1b,2c,4dmX=1a,1b,2c,4d). The r.h.s of Eq. (33) is equal to 𝑷(a,0)\bm{P}\cdot(a,0) and 𝑷(0,a)\bm{P}\cdot(0,a). Therefore, when the quantized polarization along (10) or (01) direction is nonzero, the corner charge is different between a C4C_{4}-symmetric crystal with its center at 1a1a and one at 1b1b.

We note that in Ref. [PhysRevB.102.165120, ], systems without polarization are studied, and

14qa\displaystyle\frac{1}{4}q_{a} =14qb(mode)(n=4),\displaystyle=\frac{1}{4}q_{b}\quad(\text{mod}\ e)\quad(n=4), (34)

is shown, meaning that the corner charge is independent of whether the crystal center is at 1a1a or 1b1b. It is a special case of our result.

This difference between Qc_1a(4)Q_{c\_1a}^{(4)} and Qc_1b(4)Q_{c\_1b}^{(4)} can be attributed to a difference in the shape of the corners depending on the C4C_{4} center. For example, when the shape of the crystal is as shown in Fig. 5(a), the C4C_{4} center is at 1a1a, and the corner charge is calculated as Qc_1a(4)=(n1a(ion)n1a(e))|e|/4=|e|/2Q_{c\_1a}^{(4)}=(n_{1a}^{\text{(ion)}}-n_{1a}^{(e)})|e|/4=|e|/2. On the other hand, when the crystal shape is as shown in Fig. 5(c), the C4C_{4} center is at 1b1b, and the corner charge is calculated as Qc_1b(4)=(n1b(ion)n1b(e))|e|/4=0Q_{c\_1b}^{(4)}=(n_{1b}^{\text{(ion)}}-n_{1b}^{(e)})|e|/4=0.

Correspondingly, in the system shown in Fig. 5(a), where the C4C_{4} center is at 1a1a, four in-gap corner states appear (see Fig. 5(b)). Here, we briefly explain the relation of the in-gap corner states and the corner charge. In the case of a charge-neutral filling indicated by the line (i) in Fig. 5(b), the corner states are at the Fermi energy. In this case, we cannot define its corner charge. By adding or extracting two electrons as shown by lines (ii) and (iii), the whole system becomes gapped and the total charge deviates from charge neutrality by ±2|e|\pm 2|e|. As discussed in Sec. II, the nonzero total charge is equally distributed to the four corners, resulting in a corner charge |e|/2|e|/2 (mod |e||e|). In contrast, in the system in Fig. 5(c), where the C4C_{4} center is at 1b1b, there are no corner states (see Fig. 5(d)). This agrees with our result in Eq. (33).

In C3C_{3}-symmetric systems, there are three C3C_{3}-symmetric Wyckoff positions, 1a1a, 1b1b and 1c1c. As shown in Fig. 3(a), their positions are 𝒓1a=𝟎\bm{r}_{1a}=\bm{0}, 𝒓1b=13𝒂1+13𝒂2\bm{r}_{1b}=\frac{1}{3}\bm{a}_{1}+\frac{1}{3}\bm{a}_{2} and 𝒓1c=23𝒂1+23𝒂2\bm{r}_{1c}=\frac{2}{3}\bm{a}_{1}+\frac{2}{3}\bm{a}_{2}, respectively. Therefore, similar to the case of C4C_{4}-symmetric systems, the formula for the corner charge depends on whether the C3C_{3} center of the finite crystal is 1a1a, 1b1b or 1c1c, and let Qc_1a(3)Q^{(3)}_{c\_1a}, Qc_1b(3)Q^{(3)}_{c\_1b}, Qc_1c(3)Q^{(3)}_{c\_1c} represent the corresponding corner charges respectively. Then, we obtain

Qc_1a(3)Qc_1b(3)\displaystyle Q^{(3)}_{c\_1a}-Q^{(3)}_{c\_1b} =qaqb3=2qbqc3qd3\displaystyle=\frac{q_{a}-q_{b}}{3}=\frac{-2q_{b}-q_{c}-3q_{d}}{3}
qb+2qc3(mode),\displaystyle\equiv\frac{q_{b}+2q_{c}}{3}\ (\text{mod}\ e), (35)
Qc_1a(3)Qc_1c(3)\displaystyle Q^{(3)}_{c\_1a}-Q^{(3)}_{c\_1c} =qaqc3=qb2qc3qd3\displaystyle=\frac{q_{a}-q_{c}}{3}=\frac{-q_{b}-2q_{c}-3q_{d}}{3}
qb+2qc3(mode).\displaystyle\equiv-\frac{q_{b}+2q_{c}}{3}\ (\text{mod}\ e). (36)

As discussed in Ref. [PhysRevB.102.165120, ], the r.h.s of Eq. (35) is equal to both the electric polarization |Ω|𝑷𝒃12π|\Omega|\bm{P}\cdot\frac{\bm{b}_{1}}{2\pi} and |Ω|𝑷𝒃22π|\Omega|\bm{P}\cdot\frac{\bm{b}_{2}}{2\pi}, where 𝒃i\bm{b}_{i} (i=1,2i=1,2) is the reciprocal lattice vector defined as 𝒂i𝒃j=2πδij\bm{a}_{i}\cdot\bm{b}_{j}=2\pi\delta_{ij}. Therefore, when the quantized polarization along 𝒃1\bm{b}_{1} or 𝒃2\bm{b}_{2} is nonzero, the corner charge depends on the C3C_{3}-center of the finite crystal. In particular, when the polarization is zero, qa3=qb3=qc3\frac{q_{a}}{3}=\frac{q_{b}}{3}=\frac{q_{c}}{3} (mod ee) holds as shown in Ref. [PhysRevB.102.165120, ], and the corner charge is independent of the C3C_{3}-center.

In a C6C_{6}-symmetric system, there is only one C6C_{6}-symmetric Wyckoff position, 1a1a. In this case, the corner charge formula is unique.

We discuss the role of a choice of the unit cell in our theory. In the definition of the bulk polarization according to the modern theory of polarization PhysRevB.48.4442 , a choice of the unit cell plays a crucial role, and so does it in the present theory of the corner charge. It is noted that a choice of the unit cell is a gauge degree of freedom, which does not affect the system itself. The edge charge density σedge\sigma_{\text{edge}} and the corner charge QcQ_{c} are observables, and therefore they cannot depend on a choice of the unit cell.

We stress that in our theory, the unit cell is always the primitive one in the bulk. Meanwhile, one can optionally take a unit cell larger than the primitive one. It has been discussed previously in the context of reducing the cases with nontrivial polarization into those with 𝑷0\bm{P}\equiv 0, in order to apply the previous theories based on 𝑷=0\bm{P}=0 PhysRevResearch.1.033074 ; PhysRevB.102.165120 . Nonetheless, we note that taking a larger unit cell than the primitive one is misleading in some cases. For example, in the C4C_{4}-symmetric model in Fig. 4(a), the polarization 𝑷\bm{P} is equal to 𝑷=e2a(1,1)\bm{P}=\frac{e}{2a}(1,1) (mod e/ae/a). Meanwhile, if we take a larger unit cell of 2a×2a2a\times 2a instead of the primitive one, a×aa\times a, 𝑷\bm{P} is treated in terms of modulo e/(2a)e/(2a), and 𝑷0\bm{P}\equiv 0 (mod e/(2a)e/(2a)). Thus, with an enlarged unit cell, one cannot distinguish between the two possible cases for C4C_{4}-symmetric cases, i.e. 𝑷=e2a(1,1)\bm{P}=\frac{e}{2a}(1,1) (mod e/ae/a) and 𝑷=0\bm{P}=0 (mod e/ae/a). In terms of the edge charge density, the polarization quantum corresponds to the charge |e||e| per one period along the edge. Thus in the present model, when 𝒏=(1,0)\bm{n}=(1,0), the edge charge per one edge periodicity is σedgeaedge𝑷𝒏aedge=e2\sigma_{\text{edge}}a_{\text{edge}}\equiv\bm{P}\cdot\bm{n}a_{\text{edge}}=\frac{e}{2} (mod ee) when the edge periodicity taken to be aedge=aa_{\text{edge}}=a. Meanwhile by enlarging the unit cell to 2a×2a2a\times 2a, the edge charge density becomes σedgeaedge=e\sigma_{\text{edge}}a_{\text{edge}}^{\prime}=e, where aedge=2aa_{\text{edge}}^{\prime}=2a, and it is congruent to zero modulo ee, corresponding to the trivial bulk polarization. Here we note that the edge charge density σedge\sigma_{\text{edge}} is a physical observable, whereas the bulk polarization 𝑷\bm{P} is not an observable in a strict sense, due to its ambiguity modulo a polarization quantum. Thus it is not a contradiction that the bulk polarization 𝑷\bm{P} changes from nontrivial to trivial only by a change of the unit cell, being a gauge transformation.

Our theory, where the unit cell is always taken to be the primitive cell, is simple and convenient, because we do not need to switch the choice of the unit cell in the middle of the calculation. It is natural to work always on the primitive unit cell, because the choice of the unit cell, being a gauge degree of freedom, should not affect physical observables. One needs to be careful in dealing with the bulk polarization 𝑷\bm{P}, because it is not an observable in a strict sense as we mentioned earlier. There might be a belief that the corner-charge quantization requires 𝑷=0\bm{P}=0, as has been adopted in previous papers, but our theory has revealed that the correct condition necessary for the corner-charge quantization is σedge=0\sigma_{\text{edge}}=0 and not 𝑷=0\bm{P}=0.

Refer to caption

Figure 4: (Color online) Numerical calculation for the C4C_{4}-symmetric tight-binding model in the ribbon geometry. (a) Hopping terms of the model. The hopping amplitude is tst_{s} (twt_{w}) for bonds colored in red (blue). We set ts=2t_{s}=2 and tw=0.8t_{w}=0.8 in the numerical calculation. (b) Wyckoff positions of the C4C_{4} symmetric system. (c,d) The ribbon system cut along (01) direction and its energy spectrum. Due to the nonzero electric polarization, fractional edge charge appears, and the edge energy spectrum is metallic. (e,f) The ribbon system cut along (11) direction and its energy spectrum. Unlike that along (01) direction, the edge energy spectrum is gapped.

Refer to caption

Figure 5: (Color online) Numerical calculation for the C4C_{4}-symmetric tight-binding model in the flake geometry. (a,b) The finite system with the C4C_{4} center at 1a1a and its energy spectrum. In the numerical calculation, the system size is N=8N=8, and it contains 113113 unit cells in total. The charge-neutral filling shown by line (i) in the figure makes the system metallic. In an insulating filling as shown by lines (ii) and (iii), the total charge deviates from charge neutrality by ±2|e|\pm 2|e|. As discussed in the main text, the nonzero total charge is equally distributed to the four corners, resulting in a corner charge |e|/2|e|/2 (mod |e||e|). (c,d) The finite system with the C4C_{4} center at 1b1b and its energy spectrum. In the numerical calculation, the system size is N=8N^{\prime}=8, and it contains 112112 unit cells in total.

IV General edge orientations and surface reconstructions

In this section, we consider edge charge densities for edges with general orientations. When the edge charge density is nonzero, the corner charge is nonzero. Nonetheless, even in these cases, surface reconstructions may make the edge density to vanish, and the corner charge becomes quantized. In this section, we discuss this in general systems.

IV.1 surface reconstruction

Refer to caption

Figure 6: (Color online) Conceptual picture of the surface reconstruction and corresponding edge band structures. (a) Before the surface reconstruction, each edge unit cell contains σedgeaedge=e/2\sigma_{\text{edge}}a_{\text{edge}}=e/2 charges. We consider the case where the edge is metallic and is half filled in accordance with the edge charge. (b) After the surface reconstruction, the edge periodicity is doubled (aedge=2aedge)a^{\prime}_{\text{edge}}=2a_{\text{edge}}). Then, each edge unit cell contains integer charges, and the edge can be gapped and insulating.

Here we consider systems with surface reconstruction. Conceptual pictures of the surface reconstruction is shown in Fig. 6. We assume that the system has nonzero quantized electric polarization in the bulk. Then the edge have nonzero fractional edge charge σedge\sigma_{\text{edge}}. In Fig. 6(a) we show its band structure when the edge states are metallic. However, it can under go Peierls transition or surface reconstruction to multiply edge periodicity and open a gap. In Fig. 6(b), due to the surface reconstruction, the surface periodicity is doubled, and the edge charge becomes an integer in the enlarged surface unit cells. Then, the edge energy spectrum can be gapped and insulating. In this case, one can apply our general formula.

IV.2 General edge orientations

Refer to caption

Figure 7: (Color online) Conceptual picture of the surface with high Miller index (α,β\alpha,\beta). The gray squares are unit cells.

Here, we consider the surface with a high Miller index. First, we consider the C4C_{4}-symmetric system with basis vectors of 𝒂1=(a,0)\bm{a}_{1}=(a,0) and 𝒂2=(0,a)\bm{a}_{2}=(0,a), as shown in Fig. 3(b). In the C4C_{4}-symmetric system, the bulk electric polarization is quantized to be 𝑷(0,0)\bm{P}\equiv(0,0) or (e2a,e2a)(\frac{e}{2a},\frac{e}{2a}) (mod ea(m1,m2)\frac{e}{a}(m_{1},m_{2})), (m1,m2m_{1},m_{2}\in\mathbb{Z})PhysRevB.99.245151 ; PhysRevB.102.165120 ; PhysRevB.48.4442 . In the following, we consider the case with 𝑷(e2a,e2a)\bm{P}\equiv(\frac{e}{2a},\frac{e}{2a}). Next, for the surface with a Miller index (α,β\alpha,\beta) (α,β\alpha,\beta\in\mathbb{Z}, and α\alpha and β\beta are coprime), the surface normal vector 𝒏\bm{n} is defined as follows:

𝒏=(αα2+β2,βα2+β2).\displaystyle\bm{n}=\Bigg{(}\frac{\alpha}{\sqrt{\alpha^{2}+\beta^{2}}},\ \frac{\beta}{\sqrt{\alpha^{2}+\beta^{2}}}\Bigg{)}. (37)

Therefore, the edge charge in one edge unit cell is calculated as follows:

σaedge𝑷𝒏aedgee2(α+β)(mode).\displaystyle\sigma a_{\text{edge}}\equiv\bm{P}\cdot\bm{n}a_{\text{edge}}\equiv\frac{e}{2}(\alpha+\beta)\ (\text{mod}\ e). (38)

Here, we set the size of the edge unit cell to be the minimal one, aedge=|β𝒂1α𝒂2|=α2+β2aa_{\text{edge}}=|\beta\bm{a}_{1}-\alpha\bm{a}_{2}|=\sqrt{\alpha^{2}+\beta^{2}}a, as shown in Fig. 7. If both α\alpha and β\beta are odd integers, σaedge0\sigma a_{\text{edge}}\equiv 0 (mod ee), and otherwise σaedgee/2\sigma a_{\text{edge}}\equiv e/2 (mod ee). Obviously, the edge can be charge neutral when σaedge0\sigma a_{\text{edge}}\equiv 0 (mod ee). Even when σaedgee/2\sigma a_{\text{edge}}\equiv e/2 (mod ee), after surface reconstruction with doubling the surface period aedge=2aedgea_{\text{edge}}^{\prime}=2a_{\text{edge}}, we get σaedge0\sigma a_{\text{edge}}^{\prime}\equiv 0 (mod ee), and the edge can be charge neutral. In particular, when the system has edge states in the gap, and the fractional edge charge is accommodated in the edge states, the edge states are half-filled and it always has Peierls instability, meaning that the edge becomes insulating via spontaneous lattice deformation with doubling the edge unit cell at sufficiently low temperature.

Next, we consider the C3C_{3}-symmetric system with basis vectors of 𝒂1=(a2,32a)\bm{a}_{1}=(\frac{a}{2},\frac{\sqrt{3}}{2}a) and 𝒂2=(a2,32a)\bm{a}_{2}=(-\frac{a}{2},\frac{\sqrt{3}}{2}a), as shown in Fig. 3(a). In the C3C_{3}-symmetric system, the bulk electric polarization is 𝑷=𝟎\bm{P}=\bm{0}, e3Ω(𝒂1+𝒂2)\frac{e}{3\Omega}(\bm{a}_{1}+\bm{a}_{2}) or e3Ω(𝒂1+𝒂2)\frac{-e}{3\Omega}(\bm{a}_{1}+\bm{a}_{2}) (mod eΩ𝑹\frac{e}{\Omega}\bm{R})PhysRevB.99.245151 ; PhysRevB.102.165120 ; PhysRevB.48.4442 , where Ω=32a2\Omega=\frac{\sqrt{3}}{2}a^{2} is the area of the bulk unit cell and 𝑹=m1𝒂1+m2𝒂2\bm{R}=m_{1}\bm{a}_{1}+m_{2}\bm{a}_{2} (m1,m2m_{1},m_{2}\in\mathbb{Z}) is a lattice vector. In the following, we consider the case with 𝑷=±e3Ω(𝒂1+𝒂2)=(0,±2e3a)\bm{P}=\frac{\pm e}{3\Omega}(\bm{a}_{1}+\bm{a}_{2})=(0,\frac{\pm 2e}{3a}). The surface normal vector 𝒏\bm{n} for the surface with Miller index (α,β\alpha,\beta) (α,β\alpha,\beta\in\mathbb{Z}, and α\alpha and β\beta are coprime) is defined as follows:

𝒏\displaystyle\bm{n} =1α2αβ+β2(32(αβ),12(α+β)).\displaystyle=\frac{1}{\sqrt{\alpha^{2}-\alpha\beta+\beta^{2}}}\Bigg{(}\frac{\sqrt{3}}{2}(\alpha-\beta),\ \frac{1}{2}(\alpha+\beta)\Bigg{)}. (39)

Therefore, the edge charge in one edge unit cell is calculated as follows:

σaedge𝑷𝒏aedge±e3(α+β)(mode).\displaystyle\sigma a_{\text{edge}}\equiv\bm{P}\cdot\bm{n}a_{\text{edge}}\equiv\pm\frac{e}{3}(\alpha+\beta)\ (\text{mod}\ e). (40)

Here, we used aedge=|β𝒂1α𝒂2|=α2αβ+β2aa_{\text{edge}}=|\beta\bm{a}_{1}-\alpha\bm{a}_{2}|=\sqrt{\alpha^{2}-\alpha\beta+\beta^{2}}a. If α+β3\alpha+\beta\in 3\mathbb{Z}, σaedge0\sigma a_{\text{edge}}\equiv 0 (mod ee), and otherwise σaedgee/3\sigma a_{\text{edge}}\equiv e/3 or (2e)/3(2e)/3 (mod ee). Obviously, edge can be charge neutral when σaedge0\sigma a_{\text{edge}}\equiv 0 (mod ee). Even when σaedgee/3\sigma a_{\text{edge}}\equiv e/3 or (2e)/3(2e)/3 (mod ee), after surface reconstruction with tripling the surface period aedge′′=3aedgea_{\text{edge}}^{\prime\prime}=3a_{\text{edge}}, we get σaedge′′0\sigma a_{\text{edge}}^{\prime\prime}\equiv 0 (mod ee), and the edge can be charge neutral.

Finally, we consider the C6C_{6}-symmetric system with basis vectors of 𝒂1=(a,0)\bm{a}_{1}=(a,0) and 𝒂2=(a2,32a)\bm{a}_{2}=(-\frac{a}{2},\frac{\sqrt{3}}{2}a), as shown in Fig. 3(c). In the C6C_{6}-symmetric system, the bulk electric polarization is always 𝑷=𝟎\bm{P}=\bm{0} (mod eΩ𝑹\frac{e}{\Omega}\bm{R})PhysRevB.99.245151 ; PhysRevB.102.165120 ; PhysRevB.48.4442 , where Ω=32a2\Omega=\frac{\sqrt{3}}{2}a^{2} is the area of the bulk unit cell and 𝑹=(m1am22a,32m2a)\bm{R}=(m_{1}a-\frac{m_{2}}{2}a,\frac{\sqrt{3}}{2}m_{2}a) (m1,m2m_{1},m_{2}\in\mathbb{Z}) is a lattice vector. Therefore, σedge=𝑷𝒏\sigma_{\text{edge}}=\bm{P}\cdot\bm{n} is 0 for surfaces in any direction (mod e/aedgee/a_{\text{edge}}).

To summarize, in either case, even when 𝑷0\bm{P}\neq 0 in the CnC_{n}-symmetric systems, σaedge0\sigma a_{\text{edge}}\equiv 0 (mod ee) can be achieved with proper surface reconstruction thanks to the fractional quantization of 𝑷\bm{P}.

V Application to various systems

V.1 Tight-binding models

Here, we will explain how to apply our formula to tight-binding models. In principle, tight-binding models contain only electron degrees of freedom. In order to calculate the corner charge, it is necessary to give appropriate information on the positions of ions.

First, it should be pointed out that the sites of the tight-binding models are different from the positions of ions. The apatite electride is one of the examples showing that these two are independent PhysRevResearch.2.043131 . The electronic states near the Fermi level of the apatite electride are well described by the Wannier functions localized at the one-dimensional hollows in the crystal. Therefore the tight-binding model made from these Wannier orbitals has its sites inside the hollows. Since there are no ions in the hollows, the ion positions and the sites are clearly different in this model.

Next, we apply our formula to the well-known 2D Benalcazar-Bernevig-Hughes (BBH) model Benalcazar61 ; PhysRevB.96.245115 as an example. This model is a spinless tight-binding model on a square lattice with π\pi-flux, showing a higher-order topological insulating phase. As in Ref. [PhysRevB.96.245115, ], we assume that all the positive ions are located at the center of the C4C_{4}-symmetric unit cell, i.e., n1a(ion)=νn_{1a}^{(\text{ion})}=\nu holds. The kk-space Hamiltonian is given as follows:

(𝒌)\displaystyle\mathcal{H}(\bm{k}) =(γ+λcoskx)τxσ0λsinkxτyσz\displaystyle=(\gamma+\lambda\cos k_{x})\tau_{x}\sigma_{0}-\lambda\sin k_{x}\tau_{y}\sigma_{z}
(γ+λcosky)τyσyλsinkyτyσx.\displaystyle\quad-(\gamma+\lambda\cos k_{y})\tau_{y}\sigma_{y}-\lambda\sin k_{y}\tau_{y}\sigma_{x}. (41)

Here, γ\gamma and λ\lambda are real parameters, and τj\tau_{j}, σj\sigma_{j} (j=x,y,zj=x,y,z) are Pauli matrices. For simplicity, we take the lattice constants as a=1a=1. The Hamiltonian has C4C_{4}-symmetry C4^\hat{C_{4}}:

C4^\displaystyle\hat{C_{4}} =(0σ0iσy0)τ.\displaystyle=\begin{pmatrix}0&\sigma_{0}\\ -i\sigma_{y}&0\end{pmatrix}_{\tau}. (42)

Here, due to the π\pi-flux, C4^\hat{C_{4}} satisfies (C4^)4=1(\hat{C_{4}})^{4}=-1, and its eigenvalues are C4=e(2n+1)πi4C_{4}=e^{\frac{(2n+1)\pi i}{4}} (n=0,1,2,3n=0,1,2,3). In the derivation of the corner charge formula in this paper, we assumed that (Cn^)n=1(\hat{C_{n}})^{n}=1 for spinless systems. Therefore, our formula cannot be applied as it is, when the rotation eigenvalues are modified due to the π\pi-flux. However, we can formally determine the corner charge by applying the formula for the spinful class A system as if the model described a spinful system because (C4^)4=1(\hat{C_{4}})^{4}=-1.

For simplicity, we consider two limits: λ=0\lambda=0 and γ=0\gamma=0. When λ=0\lambda=0, the Hamiltonian becomes (𝒌)=γ(τxσ0τyσy)\mathcal{H}(\bm{k})=\gamma(\tau_{x}\sigma_{0}-\tau_{y}\sigma_{y}), which does not depend on kk. Then topological invariants are trivial: [X1(2)]=[M1(4)]=[M2(4)]=0[X_{1}^{(2)}]=[M_{1}^{(4)}]=[M_{2}^{(4)}]=0. When γ=0\gamma=0, the Hamiltonian becomes

(𝒌)\displaystyle\mathcal{H}(\bm{k}) =2λ(0Q(𝒌)Q(𝒌)0),\displaystyle=\sqrt{2}\lambda\begin{pmatrix}0&Q^{\dagger}(\bm{k})\\ Q(\bm{k})&0\end{pmatrix}, (43)
Q(𝒌)\displaystyle Q(\bm{k}) =12(eikxeikyeikyeikx).\displaystyle=\frac{1}{\sqrt{2}}\begin{pmatrix}e^{-ik_{x}}&-e^{ik_{y}}\\ e^{-ik_{y}}&e^{ik_{x}}\end{pmatrix}. (44)

Topological invariants can be calculated by taking the simultaneous eigenstates of the Hamiltonian and the rotation operation C4^\hat{C_{4}} or C2^=(C4^)2\hat{C_{2}}=(\hat{C_{4}})^{2} at each of the high symmetry points Γ=(0,0)\Gamma=(0,0), X=(π,0)X=(\pi,0), and M=(π,π)M=(\pi,\pi). The results are summarized in Table. 1, and the corner charge is calculated from the Eq.(12):

Qc_1a(4)|e|4(22+0121+32(1))e2(mode).\displaystyle Q_{c\_1a}^{(4)}\equiv\frac{|e|}{4}\Big{(}2-2+0-\frac{1}{2}\cdot 1+\frac{3}{2}\cdot(-1)\Big{)}\equiv\frac{e}{2}\ (\text{mod}\ e). (45)

This result agrees with the results of previous studiesBenalcazar61 ; PhysRevB.96.245115 . This value of the corner charge is stable as long as |γ|<|λ||\gamma|<|\lambda|, where the bulk gap is open.

Model n1a(ion)n_{1a}^{(\text{ion})} ν\nu [X1(2)][X^{(2)}_{1}] [M1(4)][M_{1}^{(4)}] [M2(4)][M_{2}^{(4)}] Qc_1a=Qc_1bQ_{c\_1a}=Q_{c\_1b} (mod ee)
BBH 2 2 0 1 1-1 e/2e/2 (mod ee)
Table 1: Topological invariants and a corner charge of the BBH model with |γ|<|λ||\gamma|<|\lambda|.

V.2 First-principles calculations

Refer to caption


Figure 8: (Color online) First-principles calculations for graphdiyne. (a) Crystal structure. The circles denote carbon atoms. (b) Spinless electronic band structure. The Fermi energy is in the middle of the gap, at about 0.20.2 eV. (c) Low-energy spectrum of a finite C6C_{6}-preserved nanodisk. The six red dots represent corner localized states. When the state below #1164\#1164 is occupied, the system is charge neutral. (d) Charge distributions of the #1162\#1162 state located at six corners.
Material n1a(ion)n_{1a}^{(\text{ion})} ν\nu [M1(2)][M_{1}^{(2)}] [K1(3)][K^{(3)}_{1}] Qc_1aQ_{c\_1a} (mod ee)
Graphdiyne 0 36 2-2 0 e/2e/2 (mod ee)
Table 2: Topological invariants and a corner charge of the graphdiyne.

In this subsection, we explain abinitioab\ initio calculations for two materials, to show agreement with our corner-charge formula.

The first example is graphdiyne, which was studied in Ref. [PhysRevLett.123.256402, ] as a C6C_{6}-symmetric higher-order topological insulator with a fractional corner charge. Figure 8(a) shows the crystal structure of graphdiyne, which belongs to the wallpaper group p6mmp6mm with C6C_{6} rotation symmetry. Since the spin-orbit coupling does not lead to additional band inversion in graphdiyne and therefore does not influence the corner charge, we calculate the spinless electronic band structure of graphdiyne, which is shown in Fig. 8(b), after a full relaxation on atomic positions until the forces on the ions are less than 0.01 eV/Å via Vienna abinitioab\ initio simulation package (VASP) PhysRevLett.107.107403 ; Kogar1314 ; lee1993conductivity . An 11×11×111\times 11\times 1 kk-mesh is used in the BZ for the self-consistent calculations with a plane-wave energy cutoff of 500 eV. In a C6C_{6}-preserved nanodisk configuration, the eigenvalues are shown in Fig. 8(c), which have six degenerate states #1162\#1162, \cdots #1167\#1167 around the Fermi energy (marked by red dots). These six states are localized at six corners, as is seen in Fig. 8(d) showing the charge distributions of the #1162\#1162 state. Because the number of electrons is 11641164, we need to add or subtract three electrons to make these six states fully occupied or empty to make the system gapped. Therefore, the value of the corner charge is ±3e6=e2\pm\frac{3e}{6}=\frac{e}{2} (mod ee). This is consistent with the corner charge calculation from our formula in Tab. 2.

Refer to caption


Figure 9: (Color online) First-principles calculations for BiSb. (a) Crystal structure. The purple and orange circles denote Bi and Sb atoms, respectively. (b) Spinless electronic band structure. The Fermi energy is in the middle of the gap, at about 0.50.5 eV. (c) Low-energy spectrum of a finite C4C_{4}-preserved nanodisk shown in (d). The number of electrons is 840840, and the spectrum is gapped at EFE_{F}. (e) Low-energy spectrum of a finite C2C_{2}-preserved nanodisk. The twelve red dots represent corner localized states. When the state below #980\#980 is occupied, the system is charge neutral. (f-g) Charge distributions of the (f) #980\#980 and (g) #981\#981 states.
Material n1a(ion)n_{1a}^{(\text{ion})} ν\nu [X1(2)][X^{(2)}_{1}] [M1(4)][M_{1}^{(4)}] [M2(4)][M_{2}^{(4)}] Qc_1aQ_{c\_1a} (mod ee)
BiSb 0 20 2-2 8 2 0 (mod ee)
Table 3: Topological invariants and a corner charge of BiSb.

The other example is C4C_{4}-symmetric two-dimensional BiSb. Figure 9(a) show both the top and side views for the crystal structure of BiSb, which belongs to the wallpaper group p4gmp4gm with C4C_{4} rotation symmetry. Figure 9(b) is the spinless electronic band structure also calculated by VASP after a full relaxation on atomic positions. An 8×8×18\times 8\times 1 kk-mesh is used in the BZ for the self-consistent calculations with a plane-wave energy cutoff of 320 eV. From the corner charge formula calculation in Tab. 3, there is no corner charge in a C4C_{4}-preserved nanodisk of BiSb, as shown in Fig. 9(c-d). Namely, the gap is open everywhere including the corners. It means that the filling anomaly is zero. However, the corner state can exist in a C4C_{4}-breaking configuration. Figure 9(e) shows the eigenstates of a C4C_{4}-broken C2C_{2}-preserved nanodisk, which have 8 states around the Fermi energy. Figures 9(f-g) are the charge distributions of the #980\#980 and #981\#981 state. The number of electrons is 980980. Therefore, corner states appears, but because C4C_{4}-symmetry is not preserved, the corner charge is not quantized. These corner states are not symmetry-protected and their appearance depends on the surface termination. Their appearance is attributed to dangling bonds at the corners.

VI Conclusion and Discussion

In the present paper, we derived the general formula for the quantized fractional corner charge under the assumptions that the electronic states can be described by Wannier orbitals and the edges are charge neutral. These assumptions are more general than the previous studies, which assumed vanishing bulk electric polarization, and these formulas are more general to be used in different systems with/without time-reversal symmetry/spin-orbit coupling. We expanded the scope of the corner charge formula by considering more general surface conditions, such as surfaces with higher Miller index and surfaces with surface reconstruction.

Our proof also shows that even when the positions of the nuclei and the electronic states are largely modulated near the boundaries, the corner charge is still quantized to fractional values as long as the system is CnC_{n}-symmetric and the edge charge density is zero. Thus, unlike previous theories, our theory also includes some insulators with non-vanishing bulk polarization, and in such cases with C3C_{3} or C4C_{4} symmetries, we find that the value of the corner charge depends on the Wyckoff position of the center of the CnC_{n}-symmetric crystal.

We note that the corner charge formula has a simple form like Eq. (8) only when the system has CnC_{n} rotational symmetry. The corner charge in systems without rotational symmetry is discussed in Refs. [PhysRevResearch.2.043012, , PhysRevB.103.035147, ].

Finally, we briefly comment on the generalization of our results to three-dimensional systems. There are two directions for generalization: hinge charge calculation and corner charge calculation. First, let us consider a case where a three-dimensional system can be regarded as a stack of CnC_{n}-symmetric two-dimensional systems, and cut the system into nn-gonal prism. Then, the hinge charge per unit length is equal to the corner charge of the two-dimensional layer divided by the hinge period ahingea_{\text{hinge}}. In this case, our formula can be used to determine the hinge charge. However, it is not clear that our formula can be generalized to the calculation of the hinge charge of general three-dimensional systems, and it is future work.

The generalization to the calculation of corner charges is a more non-trivial problem. In order to discuss corner charges in three-dimensional systems, it is necessary to discuss the charge neutrality of the hinge in addition to the charge neutrality of the bulk and the surface. However, it is not clear whether the charge neutrality of the hinge can be determined only from the bulk quantity. Furthermore, three-dimensional systems can be cut out in various ways, and the same crystal may have different corner charges. For example, in the case cubic symmetry, both octahedron and cube maintain the cubic symmetry. These two may have different corner charges due to the different number of corners.

Note added. A recent publication PhysRevB.103.165109 computes the filling anomaly for two- and three-dimensional C4C_{4} symmetric lattices, and our results agree with it for two-dimensional C4C_{4} symmetric lattices.

Acknowledgements.
R.T. thanks K. Naitou for useful comments. This work was supported by JSPS KAKENHI Grant Numbers JP18J23289, JP18H03678, and JP20H04633.

Appendix A Relationship between the topological invariants [Πp(n)][\Pi_{p}^{(n)}] and nmX(e)n^{(e)}_{mX} in class A systems

Here, we discuss the relationship between the topological invariants [Πp(n)][\Pi_{p}^{(n)}] and the occupation number for Wyckoff positions nmX(e)n^{(e)}_{mX}. We use a technique similar to that used in Refs. [PhysRevB.99.245151, , PhysRevResearch.1.033074, , PhysRevResearch.2.043131, ], as we explain in detail in the following. The topological invariant [Πp(n)][\Pi_{p}^{(n)}] represents the difference of the number of states with CnC_{n} eigenvalue e2(p1)πine^{\frac{2(p-1)\pi i}{n}} for spinless systems, and e(2p1)πine^{\frac{(2p-1)\pi i}{n}} for spinful systems, between the rotation-invariant 𝒌\bm{k}-points Π\Pi and Γ\Gamma. First, we assume that the eigenstates can be described by well-localized Wannier orbitals. Thanks to the discussion based on lattice homotopy, we can limit ourselves to Wannier orbitals localized at one of the high-symmetry Wyckoff positionsPhysRevLett.119.127202 . Thus, we calculate the topological invariants for such Wannier configurations WjW_{j}PhysRevB.99.245151 ; PhysRevResearch.1.033074 , and Tables 4, 5 and 6 summarize the values of the topological number [Πp(n)][\Pi_{p}^{(n)}] for Wannier configurations for C3C_{3}-, C4C_{4}- and C6C_{6}-symmetric systems, respectively. Different from the Refs. [PhysRevB.99.245151, ,PhysRevResearch.1.033074, ], we calculate the general corner charge formula including the case where the ion position is not limited to 1a1a Wyckoff positions. Since the eigenstates are expressed in terms of Wannier orbitals, the topological invariant 𝝌\bm{\chi} for the occupied bands is represented as the summation of the topological invariants of the Wannier configurations 𝝌(j)\bm{\chi}^{(j)}:

𝝌\displaystyle\bm{\chi} =j=1Mαj𝝌(j)(αj),\displaystyle=\sum_{j=1}^{M}\alpha_{j}\bm{\chi}^{(j)}\quad(\alpha_{j}\in\mathbb{Z}_{\geqslant}), (46)
=C𝝌𝜶.\displaystyle=C_{\bm{\chi}}\bm{\alpha}. (47)

Here, MM is the number of Wannier configurations with nonzero topological invariants, C𝝌=(𝝌(1),𝝌(2),,𝝌(M))C_{\bm{\chi}}=(\bm{\chi}^{(1)},\bm{\chi}^{(2)},\cdots,\bm{\chi}^{(M)}) and 𝜶=(α1,α2,,αM)T\bm{\alpha}=(\alpha_{1},\alpha_{2},\cdots,\alpha_{M})^{\text{T}}, which represents the numbers of occupied bands corresponding to the Wannier configurations WjW_{j}. By definition, nmX(e)n^{(e)}_{mX} is represented by the sum of αj\alpha_{j} belonging to the Wyckoff position mXmX. Since C𝝌C_{\bm{\chi}} is generally not a square matrix and is not always invertible, αj\alpha_{j} itself cannot be uniquely determined from 𝝌\bm{\chi}. However, in a CNC_{N} symmetric system, nmX(e)n^{(e)}_{mX}, expressed in terms of αj\alpha_{j}, can be determined modulo NN (N=3,4,6N=3,4,6) through direct calculations, which is sufficient for the calculation of the corner charge.

Refer to caption

Figure 10: (Color online) Highly-symmetric 𝒌\bm{k}-points in (a) C3C_{3}, (b) C4C_{4}, (c) C6C_{6}-symmetric systems. The points with same colors belong to same 𝒌\bm{k}-vector star, and related by CnC_{n}-operation. Here, 𝒃1\bm{b}_{1} and 𝒃2\bm{b}_{2} are reciprocal lattice vector, and (a) 𝒃1=2π(32,12)23a\bm{b}_{1}=2\pi(\frac{\sqrt{3}}{2},\frac{1}{2})\frac{2}{\sqrt{3}a}, 𝒃2=2π(32,12)23a\bm{b}_{2}=2\pi(-\frac{\sqrt{3}}{2},\frac{1}{2})\frac{2}{\sqrt{3}a}, (b) 𝒃1=(1,0)2πa\bm{b}_{1}=(1,0)\frac{2\pi}{a}, 𝒃2=(0,1)2πa\bm{b}_{2}=(0,1)\frac{2\pi}{a}, (c) 𝒃1=2π(32,12)23a\bm{b}_{1}=2\pi(\frac{\sqrt{3}}{2},\frac{1}{2})\frac{2}{\sqrt{3}a}, 𝒃2=2π(0,1)23a\bm{b}_{2}=2\pi(0,1)\frac{2}{\sqrt{3}a}.

A.1 C3C_{3}-symmetry

Label Wannier configurations invariants
jj [K1(3)][K^{(3)}_{1}] [K2(3)][K^{(3)}_{2}] [K1(3)][K^{\prime(3)}_{1}] [K2(3)][K^{\prime(3)}_{2}]
1 W1b|0(3)W_{1b|_{0}}^{(3)} 1-1 0 1-1 1
2 W1b|2π/3(3)W_{1b|_{2\pi/3}}^{(3)} 1 1-1 0 1-1
3 W1b|4π/3(3)W_{1b|_{4\pi/3}}^{(3)} 0 1 1 0
4 W1c|0(3)W_{1c|_{0}}^{(3)} 1-1 1 1-1 0
5 W1c|2π/3(3)W_{1c|_{2\pi/3}}^{(3)} 0 1-1 1 1-1
6 W1c|4π/3(3)W_{1c|_{4\pi/3}}^{(3)} 1 0 0 1
Table 4: Wannier configurations with labels and their invariants with C3C_{3} symmetry in class A systems. The first column is the label for the WCs. The Wannier configurations belonging to Wyckoff positions 1a1a and 3d3d are omitted in the table because all topological invariants are 0.

In C3C_{3}-symmetric systems, we need to consider six Wannier configurations WjW_{j} (j=1,2,,6j=1,2,\cdots,6) in Table 4. For example, W1=W1b|0(3)W_{1}=W_{1b|_{0}}^{(3)} represents a Wannier configuration localized at Wyckoff position 1b1b with a C3C_{3}-eigenvalue of ei×0e^{i\times 0}. Likewise, WmX|θ(n)W_{mX|_{\theta}}^{(n)} denotes a Wannier configuration localized at Wyckoff position mXmX with a CnC_{n}-eigenvalue of eiθe^{i\theta}. Table 4 is summarized as follows:

([K1(3)][K2(3)][K1(3)][K2(3)])=(110101011110101110110011)(α1α2α6).\displaystyle\begin{pmatrix}[K^{(3)}_{1}]\\ [K^{(3)}_{2}]\\ [K^{\prime(3)}_{1}]\\ [K^{\prime(3)}_{2}]\end{pmatrix}=\begin{pmatrix}-1&1&0&-1&0&1\\ 0&-1&1&1&-1&0\\ -1&0&1&-1&1&0\\ 1&-1&0&0&-1&1\end{pmatrix}\begin{pmatrix}\alpha_{1}\\ \alpha_{2}\\ \vdots\\ \alpha_{6}\end{pmatrix}. (48)

Here, K=23𝒃1+13𝒃2K=\frac{2}{3}\bm{b}_{1}+\frac{1}{3}\bm{b}_{2} and K=13𝒃1+23𝒃2K^{\prime}=\frac{1}{3}\bm{b}_{1}+\frac{2}{3}\bm{b}_{2} (see Fig. 10(a)). From the definition, n1b(e)=α1+α2+α3n^{(e)}_{1b}=\alpha_{1}\!+\!\alpha_{2}\!+\!\alpha_{3} and n1c(e)=α4+α5+α6n^{(e)}_{1c}=\alpha_{4}\!+\!\alpha_{5}\!+\!\alpha_{6}. From Eq. (48), the following relation holds:

[K2(3)]+[K1(3)]\displaystyle[K^{(3)}_{2}]+[K^{\prime(3)}_{1}] =α1α2+2α3\displaystyle=-\alpha_{1}-\alpha_{2}+2\alpha_{3}
(α1+α2+α3)(mod 3),\displaystyle\equiv-(\alpha_{1}+\alpha_{2}+\alpha_{3})\ (\text{mod}\ 3), (49)
[K1(3)]+[K2(3)]\displaystyle[K^{(3)}_{1}]+[K^{\prime(3)}_{2}] =α4α5+2α6\displaystyle=-\alpha_{4}-\alpha_{5}+2\alpha_{6}
(α4+α5+α6)(mod 3).\displaystyle\equiv-(\alpha_{4}+\alpha_{5}+\alpha_{6})\ (\text{mod}\ 3). (50)

Therefore, n1b(e)n^{(e)}_{1b} and n1c(e)n^{(e)}_{1c} (mod 33) can be determined from [Πp(n)][\Pi_{p}^{(n)}] as follows:

n1b(e)=[K2(3)][K1(3)](mod 3),\displaystyle n^{(e)}_{1b}=-[K_{2}^{(3)}]-[K_{1}^{\prime(3)}]\ (\text{mod}\ 3), (51)
n1c(e)=[K1(3)][K2(3)](mod 3).\displaystyle n^{(e)}_{1c}=-[K_{1}^{(3)}]-[K_{2}^{\prime(3)}]\ (\text{mod}\ 3). (52)

Then, n1a(e)=νn1b(e)n1c(e)3n3d(e)νn1b(e)n1c(e)n^{(e)}_{1a}=\nu-n^{(e)}_{1b}-n^{(e)}_{1c}-3n^{(e)}_{3d}\equiv\nu-n^{(e)}_{1b}-n^{(e)}_{1c} (mod 3) is also determined from ν\nu and [Πp(n)][\Pi_{p}^{(n)}]. Finally, the corner charge formulas are represented as follows:

Qc_1a(3)\displaystyle Q_{c\_1a}^{(3)} |e|3(n1a(ion)ν[K1(3)][K2(3)][K1(3)][K2(3)])\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1a}^{(\text{ion})}-\nu-[K_{1}^{(3)}]-[K_{2}^{(3)}]-[K_{1}^{\prime(3)}]-[K_{2}^{\prime(3)}]\Big{)}
(mode),\displaystyle\ \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\ (\text{mod}\ e), (53)
Qc_1b(3)\displaystyle Q_{c\_1b}^{(3)} |e|3(n1b(ion)+[K2(3)]+[K1(3)])(mode),\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1b}^{(\text{ion})}+[K_{2}^{(3)}]+[K_{1}^{\prime(3)}]\Big{)}\ (\text{mod}\ e), (54)
Qc_1c(3)\displaystyle Q_{c\_1c}^{(3)} |e|3(n1c(ion)+[K1(3)]+[K2(3)])(mode).\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1c}^{(\text{ion})}+[K_{1}^{(3)}]+[K_{2}^{\prime(3)}]\Big{)}\ (\text{mod}\ e). (55)

A.2 C4C_{4}-symmetry

Label Wannier configurations invariants
jj [X1(2)][X^{(2)}_{1}] [M1(4)][M^{(4)}_{1}] [M2(4)][M^{(4)}_{2}] [M3(4)][M^{(4)}_{3}]
1 W1b|0(4)W_{1b|_{0}}^{(4)} 1-1 1-1 0 1
2 W1b|π/2(4)W_{1b|_{\pi/2}}^{(4)} 1 0 1-1 0
3 W1b|π(4)W_{1b|_{\pi}}^{(4)} 1-1 1 0 1-1
4 W1b|3π/2(4)W_{1b|_{3\pi/2}}^{(4)} 1 0 1 0
5 W2c|0(4)W_{2c|_{0}}^{(4)} 1-1 1-1 1 1-1
6 W2c|π(4)W_{2c|_{\pi}}^{(4)} 1 1 1-1 1
Table 5: Wannier configurations with labels and their invariants with C4C_{4} symmetry in class A systems. The first column is the label for the WCs. The Wannier configurations belonging to Wyckoff positions 1a1a and 4d4d are omitted in the table because all topological invariants are 0.

In C4C_{4}-symmetric systems, we need to consider six Wannier configurations in Table 5. Table 5 is summarized as follows:

([X1(2)][M1(4)][M2(4)][M3(4)])=(111111101011010111101011)(α1α2α6).\displaystyle\begin{pmatrix}[X^{(2)}_{1}]\\ [M^{(4)}_{1}]\\ [M^{(4)}_{2}]\\ [M^{(4)}_{3}]\end{pmatrix}=\begin{pmatrix}-1&1&-1&1&-1&1\\ -1&0&1&0&-1&1\\ 0&-1&0&1&1&-1\\ 1&0&-1&0&-1&1\end{pmatrix}\begin{pmatrix}\alpha_{1}\\ \alpha_{2}\\ \vdots\\ \alpha_{6}\end{pmatrix}. (56)

Here, X=12𝒃1X=\frac{1}{2}\bm{b}_{1} and M=12𝒃1+12𝒃2M=\frac{1}{2}\bm{b}_{1}+\frac{1}{2}\bm{b}_{2} (see Fig. 10(b)). From the definition, n1b(e)=α1+α2+α3+α4n^{(e)}_{1b}=\alpha_{1}\!+\!\alpha_{2}\!+\!\alpha_{3}\!+\!\alpha_{4} and n2c(e)=α5+α6n^{(e)}_{2c}=\alpha_{5}\!+\!\alpha_{6}. From Eq. (56), the following relation holds:

[X1(2)]32[M1(4)]+12[M3(4)]\displaystyle[X^{(2)}_{1}]\!-\!\frac{3}{2}[M^{(4)}_{1}]\!+\!\frac{1}{2}[M^{(4)}_{3}] =α1+α23α3+α4\displaystyle=\alpha_{1}+\alpha_{2}-3\alpha_{3}+\alpha_{4}
α1+α2+α3+α4(mod 4),\displaystyle\equiv\alpha_{1}+\alpha_{2}+\alpha_{3}+\alpha_{4}\ (\text{mod}\ 4), (57)
[M1(4)]+[M3(4)]\displaystyle[M^{(4)}_{1}]+[M^{(4)}_{3}] =2α5+2α6\displaystyle=-2\alpha_{5}+2\alpha_{6}
2(α5+α6)(mod 4).\displaystyle\equiv 2(\alpha_{5}+\alpha_{6})\ (\text{mod}\ 4). (58)

Therefore, n1b(e)n^{(e)}_{1b} (mod 44) and n2c(e)n^{(e)}_{2c} (mod 22) can be determined from [Πp(n)][\Pi_{p}^{(n)}] as follows:

n1b(e)=[X1(2)]32[M1(4)]+12[M3(4)](mod 4),\displaystyle n^{(e)}_{1b}=[X_{1}^{(2)}]-\frac{3}{2}[M_{1}^{(4)}]+\frac{1}{2}[M_{3}^{(4)}]\ (\text{mod}\ 4), (59)
n2c(e)=12[M1(4)]+12[M3(4)](mod 2).\displaystyle n^{(e)}_{2c}=\frac{1}{2}[M_{1}^{(4)}]+\frac{1}{2}[M_{3}^{(4)}]\ (\text{mod}\ 2). (60)

Then, n1a(e)=νn1b(e)2n2c(e)4n4d(e)νn1b(e)2n2c(e)n^{(e)}_{1a}=\nu-n^{(e)}_{1b}-2n^{(e)}_{2c}-4n^{(e)}_{4d}\equiv\nu-n^{(e)}_{1b}-2n^{(e)}_{2c} (mod 4) is also determined from ν\nu and [Πp(n)][\Pi_{p}^{(n)}]. Finally, the corner charge formulas are summarized as follows:

Qc_1a(4)\displaystyle Q_{c\_1a}^{(4)} |e|4(n1a(ion)ν+[X1(2)]12[M1(4)]+32[M3(4)])\displaystyle\equiv\frac{|e|}{4}\Big{(}n_{1a}^{(\text{ion})}-\nu+[X_{1}^{(2)}]-\frac{1}{2}[M_{1}^{(4)}]+\frac{3}{2}[M_{3}^{(4)}]\Big{)}
(mode),\displaystyle\ \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\ (\text{mod}\ e), (61)
Qc_1b(4)\displaystyle Q_{c\_1b}^{(4)} |e|4(n1b(ion)[X1(2)]+32[M1(4)]12[M3(4)])\displaystyle\equiv\frac{|e|}{4}\Big{(}n_{1b}^{(\text{ion})}-[X_{1}^{(2)}]+\frac{3}{2}[M_{1}^{(4)}]-\frac{1}{2}[M_{3}^{(4)}]\Big{)}
(mode).\displaystyle\ \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\ (\text{mod}\ e). (62)

A.3 C6C_{6}-symmetry

Label Wannier configurations invariants
jj [M1(2)][M^{(2)}_{1}] [K1(3)][K^{(3)}_{1}] [K2(3)][K^{(3)}_{2}]
1 W2b|0(6)W_{2b|_{0}}^{(6)} 0 2-2 1
2 W2b|2π/3(6)W_{2b|_{2\pi/3}}^{(6)} 0 1 1
3 W2b|2π/3(6)W_{2b|_{-2\pi/3}}^{(6)} 0 1 2-2
4 W3c|0(6)W_{3c|_{0}}^{(6)} 2-2 0 0
5 W3c|π(6)W_{3c|_{\pi}}^{(6)} 2 0 0
Table 6: Wannier configurations with labels and their invariants with C6C_{6} symmetry in class A systems. The first column is the label for the WCs. The Wannier configurations belonging to Wyckoff positions 1a1a and 6d6d are omitted in the table because all topological invariants are 0.

In C6C_{6}-symmetric systems, we need to consider five Wannier configurations in Table 6. Table 6 is summarized as follows:

([M1(2)][K1(3)][K2(3)])=(000222110011200)(α1α2α5).\displaystyle\begin{pmatrix}[M^{(2)}_{1}]\\ [K^{(3)}_{1}]\\ [K^{(3)}_{2}]\end{pmatrix}=\begin{pmatrix}0&0&0&-2&2\\ -2&1&1&0&0\\ 1&1&-2&0&0\end{pmatrix}\begin{pmatrix}\alpha_{1}\\ \alpha_{2}\\ \vdots\\ \alpha_{5}\end{pmatrix}. (63)

Here, M=12𝒃1M=\frac{1}{2}\bm{b}_{1} and K=13𝒃1+13𝒃2K=\frac{1}{3}\bm{b}_{1}+\frac{1}{3}\bm{b}_{2} (see Fig. 10(c)). From the definition of αj\alpha_{j}, n2b(e)=α1+α2+α3n^{(e)}_{2b}=\alpha_{1}+\alpha_{2}+\alpha_{3} and n3c(e)=α4+α5n^{(e)}_{3c}=\alpha_{4}+\alpha_{5}. From Eq. (63), the following relation holds:

[K1(3)]\displaystyle[K_{1}^{(3)}] =2α1+α2+α3\displaystyle=-2\alpha_{1}+\alpha_{2}+\alpha_{3}
α1+α2+α3(mod 3),\displaystyle\equiv\alpha_{1}+\alpha_{2}+\alpha_{3}\ (\text{mod}\ 3), (64)
12[M1(2)]\displaystyle\frac{1}{2}[M_{1}^{(2)}] =α5+α6\displaystyle=-\alpha_{5}+\alpha_{6}
α5+α6(mod 2).\displaystyle\equiv\alpha_{5}+\alpha_{6}\ (\text{mod}\ 2). (65)

Therefore, n2b(e)n^{(e)}_{2b} (mod 3) and n3c(e)n^{(e)}_{3c} (mod 2) can be determined from [Πp(n)][\Pi_{p}^{(n)}] as follows:

n2b(e)\displaystyle n^{(e)}_{2b} =[K1(3)](mod 3),\displaystyle=[K_{1}^{(3)}]\ (\text{mod}\ 3), (66)
n3c(e)\displaystyle n^{(e)}_{3c} =12[M1(2)](mod 2).\displaystyle=\frac{1}{2}[M_{1}^{(2)}]\ (\text{mod}\ 2). (67)

Then, n1a(e)=ν2n2b(e)3n3c(e)6n6d(e)ν2n2b(e)3n3c(e)n^{(e)}_{1a}=\nu-2n^{(e)}_{2b}-3n^{(e)}_{3c}-6n^{(e)}_{6d}\equiv\nu-2n^{(e)}_{2b}-3n^{(e)}_{3c} (mod 6) is also determined from ν\nu and [Πp(n)][\Pi_{p}^{(n)}]. Finally, the corner charge formula is summarized as follows:

Qc_1a(6)\displaystyle Q_{c\_1a}^{(6)} |e|6(n1a(ion)ν+2[K1(3)]+32[M1(2)])(mode).\displaystyle\equiv\frac{|e|}{6}\Big{(}n_{1a}^{(\text{ion})}-\nu+2[K_{1}^{(3)}]+\frac{3}{2}[M_{1}^{(2)}]\Big{)}\ (\text{mod}\ e). (68)

Appendix B Relationship between the topological invariants [Πp(n)][\Pi_{p}^{(n)}] and the nmX(e)n^{(e)}_{mX} in class AI systems

In class AI systems, as compared to class A systems, several Wannier configurations are connected by the time-reversal symmetry Θ\Theta (Θ2=1\Theta^{2}=1). Then, the Wannier configurations are changed as shown in Tables 7, 8 and 9 for C3C_{3}, C4C_{4} and C6C_{6} symmetric systems, respectively.

B.1 C3C_{3}-symmetry

Label Wannier configurations invariants
jj [K1(3)][K^{(3)}_{1}] [K2(3)][K^{(3)}_{2}] [K1(3)][K^{\prime(3)}_{1}] [K2(3)][K^{\prime(3)}_{2}]
1 W1b|0(3)W_{1b|_{0}}^{(3)} 1-1 0 1-1 1
2 W1b|2π/3(3)W1b|4π/3(3)W_{1b|_{2\pi/3}}^{(3)}\oplus W_{1b|_{4\pi/3}}^{(3)} 1 0 1 1-1
3 W1c|0(3)W_{1c|_{0}}^{(3)} 1-1 1 1-1 0
4 W1c|2π/3(3)W1c|4π/3(3)W_{1c|_{2\pi/3}}^{(3)}\oplus W_{1c|_{4\pi/3}}^{(3)} 1 1-1 1 0
Table 7: Wannier configurations with labels and their invariants with C3C_{3} symmetry in class AI systems. The first column is the label for the WCs. The Wannier configurations belonging to Wyckoff positions 1a1a and 3d3d are omitted in the table because all topological invariants are 0.

In C3C_{3}-symmetric systems, we need to consider four sets of Wannier configurations in Table 7. Table 7 is summarized as follows:

([K1(3)][K2(3)][K1(3)][K2(3)])=(1111001111111100)(α1α2α3α4).\displaystyle\begin{pmatrix}[K^{(3)}_{1}]\\ [K^{(3)}_{2}]\\ [K^{\prime(3)}_{1}]\\ [K^{\prime(3)}_{2}]\end{pmatrix}=\begin{pmatrix}-1&1&-1&1\\ 0&0&1&-1\\ -1&1&-1&1\\ 1&-1&0&0\end{pmatrix}\begin{pmatrix}\alpha_{1}\\ \alpha_{2}\\ \alpha_{3}\\ \alpha_{4}\end{pmatrix}. (69)

From the definition, n1b(e)=α1+2α2n^{(e)}_{1b}=\alpha_{1}\!+\!2\alpha_{2} and n1c(e)=α3+2α4n^{(e)}_{1c}=\alpha_{3}\!+\!2\alpha_{4}. From Eq. (69), the following relations hold:

[K1(3)]\displaystyle[K^{(3)}_{1}] =[K1(3)],\displaystyle=[K^{\prime(3)}_{1}], (70)
[K2(3)]+[K2(3)]\displaystyle[K^{(3)}_{2}]+[K^{\prime(3)}_{2}] =[K1(3)],\displaystyle=-[K^{(3)}_{1}], (71)
[K2(3)]\displaystyle[K^{\prime(3)}_{2}] =α1α2\displaystyle=\alpha_{1}-\alpha_{2}
α1+2α2(mod 3),\displaystyle\equiv\alpha_{1}+2\alpha_{2}\ (\text{mod}\ 3), (72)
[K2(3)]\displaystyle[K^{(3)}_{2}] =α3α4\displaystyle=\alpha_{3}-\alpha_{4}
α3+2α4(mod 3).\displaystyle\equiv\alpha_{3}+2\alpha_{4}\ (\text{mod}\ 3). (73)

Therefore, n1b(e)n^{(e)}_{1b} and n1c(e)n^{(e)}_{1c} (mod 33) can be determined from 𝝌\bm{\chi} as follows:

n1b(e)=[K2(3)](mod 3),\displaystyle n^{(e)}_{1b}=[K^{\prime(3)}_{2}]\ (\text{mod}\ 3), (74)
n1c(e)=[K2(3)](mod 3).\displaystyle n^{(e)}_{1c}=[K^{(3)}_{2}]\ (\text{mod}\ 3). (75)

Then, n1a(e)=νn1b(e)n1c(e)3n3d(e)ν([K2(3)]+[K2(3)])ν+[K1(3)]n^{(e)}_{1a}=\nu-n^{(e)}_{1b}-n^{(e)}_{1c}-3n^{(e)}_{3d}\equiv\nu-([K^{(3)}_{2}]+[K^{\prime(3)}_{2}])\equiv\nu+[K^{(3)}_{1}] (mod 3). The corner charge formulas are represented as follows:

Qc_1a(3)\displaystyle Q_{c\_1a}^{(3)} |e|3(n1a(ion)ν[K1(3)])(mode),\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1a}^{(\text{ion})}-\nu-[K^{(3)}_{1}]\Big{)}\ (\text{mod}\ e), (76)
Qc_1b(3)\displaystyle Q_{c\_1b}^{(3)} |e|3(n1b(ion)[K2(3)])(mode),\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1b}^{(\text{ion})}-[K^{\prime(3)}_{2}]\Big{)}\ (\text{mod}\ e), (77)
Qc_1c(3)\displaystyle Q_{c\_1c}^{(3)} |e|3(n1c(ion)[K2(3)])(mode).\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1c}^{(\text{ion})}-[K^{(3)}_{2}]\Big{)}\ (\text{mod}\ e). (78)

Our result in Eq. (76) is identical with Eq. (17) in the main text. In particular, Eq. (17) (Eq. (76)) is reduced to the result of Ref. [PhysRevB.99.245151, ] (i.e., Eq. (20) in the main text) provided (i) all the ions are located at 1a1a. i.e., n1a(ion)=νn_{1a}^{(\text{ion})}=\nu, and (ii) the bulk electric polarization is zero. Under these assumptions, from Eq. (35) and n1b(ion)=n1c(ion)=0n_{1b}^{(\text{ion})}=n_{1c}^{(\text{ion})}=0,

qb+2qc=|e|(n1b(e)+2n1c(e))0(mod 3e).\displaystyle q_{b}+2q_{c}=-|e|(n^{(e)}_{1b}+2n^{(e)}_{1c})\equiv 0\ (\text{mod}\ 3e). (79)

This means that n1b(e)n1c(e)n^{(e)}_{1b}\equiv n^{(e)}_{1c} (mod 3), i.e.,

[K2(3)][K2(3)](mod 3).\displaystyle[K^{\prime(3)}_{2}]\equiv[K^{(3)}_{2}]\ (\text{mod}\ 3). (80)

Then, from Eq. (71),

[K2(3)][K1(3)](mod 3).\displaystyle[K^{(3)}_{2}]\equiv[K^{(3)}_{1}]\ (\text{mod}\ 3). (81)

Therefore, Eq. (17) is reduced to Eq. (20) under the assumption that n1a(ion)=νn_{1a}^{(\text{ion})}=\nu and vanishing polarization.

B.2 C4C_{4}-symmetry

Label Wannier configurations invariants
jj [X1(2)][X^{(2)}_{1}] [M1(4)][M^{(4)}_{1}] [M2(4)][M^{(4)}_{2}] [M3(4)][M^{(4)}_{3}]
1 W1b|0(4)W_{1b|_{0}}^{(4)} 1-1 1-1 0 1
2 W1b|π(4)W_{1b|_{\pi}}^{(4)} 1-1 1 0 1-1
3 W1b|π/2(4)W1b|π/2(4)W_{1b|_{\pi/2}}^{(4)}\oplus W_{1b|_{-\pi/2}}^{(4)} 2 0 0 0
4 W2c|0(4)W_{2c|_{0}}^{(4)} 1-1 1-1 1 1-1
5 W2c|π(4)W_{2c|_{\pi}}^{(4)} 1 1 1-1 1
Table 8: Wannier configurations with labels and their invariants with C4C_{4} symmetry in class AI systems. The first column is the label for the WCs. The Wannier configurations belonging to Wyckoff positions 1a1a and 4d4d are omitted in the table because all topological invariants are 0.

In C4C_{4}-symmetric systems, we need to consider five sets of Wannier configurations in Table 8. Table 8 is summarized as follows:

([X1(2)][M1(4)][M2(4)][M3(4)])=(11211110110001111011)(α1α2α5).\displaystyle\begin{pmatrix}[X^{(2)}_{1}]\\ [M^{(4)}_{1}]\\ [M^{(4)}_{2}]\\ [M^{(4)}_{3}]\end{pmatrix}=\begin{pmatrix}-1&-1&2&-1&1\\ -1&1&0&-1&1\\ 0&0&0&1&-1\\ 1&-1&0&-1&1\end{pmatrix}\begin{pmatrix}\alpha_{1}\\ \alpha_{2}\\ \vdots\\ \alpha_{5}\end{pmatrix}. (82)

From the definition, n1b(e)=α1+α2+2α3n^{(e)}_{1b}=\alpha_{1}+\alpha_{2}+2\alpha_{3} and n2c(e)=α4+α5n^{(e)}_{2c}=\alpha_{4}+\alpha_{5}. From Eq. (82), the following relation holds:

[X1(2)]2[M1(4)][M2(4)]\displaystyle[X^{(2)}_{1}]-2[M^{(4)}_{1}]-[M^{(4)}_{2}] =α13α2+2α3\displaystyle=\alpha_{1}-3\alpha_{2}+2\alpha_{3}
α1+α2+2α3(mod 4),\displaystyle\equiv\alpha_{1}+\alpha_{2}+2\alpha_{3}\ (\text{mod}\ 4), (83)
[M2(4)]\displaystyle[M^{(4)}_{2}] =α4α5\displaystyle=\alpha_{4}-\alpha_{5}
α4+α5(mod 2).\displaystyle\equiv\alpha_{4}+\alpha_{5}\ (\text{mod}\ 2). (84)

Therefore, n1b(e)n^{(e)}_{1b} (mod 44) and n1c(e)n^{(e)}_{1c} (mod 22) can be determined from [Πp(n)][\Pi_{p}^{(n)}] as follows:

n1b(e)=[X1(2)]2[M1(4)][M2(4)](mod 4),\displaystyle n^{(e)}_{1b}=[X^{(2)}_{1}]-2[M^{(4)}_{1}]-[M^{(4)}_{2}]\ (\text{mod}\ 4), (85)
n2c(e)=[M2(4)](mod 2).\displaystyle n^{(e)}_{2c}=[M_{2}^{(4)}]\ (\text{mod}\ 2). (86)

Then, n1a(e)=νn1b(e)2n2c(e)4n4d(e)νn1b(e)2n2c(e)n^{(e)}_{1a}=\nu-n^{(e)}_{1b}-2n^{(e)}_{2c}-4n^{(e)}_{4d}\equiv\nu-n^{(e)}_{1b}-2n^{(e)}_{2c} (mod 4) is also determined from ν\nu and [Πp(n)][\Pi_{p}^{(n)}]. Finally, the corner charge formulas are represented as follows:

Qc_1a(4)\displaystyle Q_{c\_1a}^{(4)} |e|4(n1a(ion)ν+[X1(2)]2[M1(4)]+[M2(4)])\displaystyle\equiv\frac{|e|}{4}\Big{(}n_{1a}^{(\text{ion})}-\nu+[X_{1}^{(2)}]-2[M_{1}^{(4)}]+[M_{2}^{(4)}]\Big{)}
(mode),\displaystyle\ \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\ (\text{mod}\ e), (87)
Qc_1b(4)\displaystyle Q_{c\_1b}^{(4)} |e|4(n1b(ion)[X1(2)]+2[M1(4)]+[M2(4)])\displaystyle\equiv\frac{|e|}{4}\Big{(}n_{1b}^{(\text{ion})}-[X^{(2)}_{1}]+2[M^{(4)}_{1}]+[M^{(4)}_{2}]\Big{)}
(mode).\displaystyle\ \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\ (\text{mod}\ e). (88)

This Eq. (87) is the same as Eq. (18) in the main text. In particular, when n1a(ion)=νn_{1a}^{(\text{ion})}=\nu and vanishing polarization, Eq. (18) is reduced to Eq. (21). Under these assumptions, from Eq. (33) and n1b(ion)=n2c(ion)=0n_{1b}^{(\text{ion})}=n_{2c}^{(\text{ion})}=0,

qb+qc=|e|(n1b(e)+n2c(e))0(mod 2e).\displaystyle q_{b}+q_{c}=-|e|(n^{(e)}_{1b}+n^{(e)}_{2c})\equiv 0\ (\text{mod}\ 2e). (89)

This means that n1b(e)+n2c(e)0n^{(e)}_{1b}+n^{(e)}_{2c}\equiv 0 (mod 2), i.e.,

[X1(2)]2[M1(4)][X1(2)]0(mod 2).\displaystyle[X^{(2)}_{1}]-2[M^{(4)}_{1}]\equiv[X^{(2)}_{1}]\equiv 0\ (\text{mod}\ 2). (90)

Therefore, Eq. (18) is reduced to Eq. (21) under the assumption that n1a(ion)=νn_{1a}^{(\text{ion})}=\nu and vanishing polarization.

B.3 C6C_{6}-symmetry

Label Wannier configurations invariants
jj [M1(2)][M^{(2)}_{1}] [K1(3)][K^{(3)}_{1}] [K2(3)][K^{(3)}_{2}]
1 W2b|0(6)W_{2b|_{0}}^{(6)} 0 2-2 1
2 W2b|2π/3(6)W2b|2π/3(6)W_{2b|_{2\pi/3}}^{(6)}\oplus W_{2b|_{-2\pi/3}}^{(6)} 0 2 1-1
3 W3c|0(6)W_{3c|_{0}}^{(6)} 2-2 0 0
4 W3c|π(6)W_{3c|_{\pi}}^{(6)} 2 0 0
Table 9: Wannier configurations with labels and their invariants with C6C_{6} symmetry in class AI systems. The first column is the label for the WCs. The Wannier configurations belonging to Wyckoff positions 1a1a and 6d6d are omitted in the table because all topological invariants are 0.

In C6C_{6}-symmetric systems, we need to consider four sets of Wannier configurations in Table 9. Table 9 is summarized as follows:

([M1(2)][K1(3)][K2(3)])=(002222001100)(α1α2α3α4).\displaystyle\begin{pmatrix}[M^{(2)}_{1}]\\ [K^{(3)}_{1}]\\ [K^{(3)}_{2}]\end{pmatrix}=\begin{pmatrix}0&0&-2&2\\ -2&2&0&0\\ 1&-1&0&0\end{pmatrix}\begin{pmatrix}\alpha_{1}\\ \alpha_{2}\\ \alpha_{3}\\ \alpha_{4}\end{pmatrix}. (91)

Here, we briefly explain why [K1(3)][K2(3)][K^{(3)}_{1}]\equiv[K^{(3)}_{2}] (mod 3). Due to the time-reversal symmetry, [K2(3)]=[K3(3)][K^{(3)}_{2}]=[K^{(3)}_{3}]. From the definition, [K1(3)]+[K2(3)]+[K3(3)]=0[K^{(3)}_{1}]+[K^{(3)}_{2}]+[K^{(3)}_{3}]=0. Therefore, [K1(3)]=2[K2(3)][K2(3)][K^{(3)}_{1}]=-2[K^{(3)}_{2}]\equiv[K^{(3)}_{2}] (mod 3).

From the definition, n2b(e)=α1+2α2n^{(e)}_{2b}=\alpha_{1}+2\alpha_{2} and n3c(e)=α3+α4n^{(e)}_{3c}=\alpha_{3}+\alpha_{4}. From Eq. (91), the following relations hold:

[K1(3)]\displaystyle[K_{1}^{(3)}] =2α1+2α2\displaystyle=-2\alpha_{1}+2\alpha_{2}
α1+2α2(mod 3),\displaystyle\equiv\alpha_{1}+2\alpha_{2}\ (\text{mod}\ 3), (92)
12[M1(2)]\displaystyle\frac{1}{2}[M_{1}^{(2)}] =α3+α4\displaystyle=-\alpha_{3}+\alpha_{4}
α3+α4(mod 2).\displaystyle\equiv\alpha_{3}+\alpha_{4}\ (\text{mod}\ 2). (93)

Therefore, n2b(e)n^{(e)}_{2b} (mod 3) and n3c(e)n^{(e)}_{3c} (mod 2) can be determined from [Πp(n)][\Pi_{p}^{(n)}] as follows:

n2b(e)\displaystyle n^{(e)}_{2b} =[K1(3)](mod 3),\displaystyle=[K_{1}^{(3)}]\ (\text{mod}\ 3), (94)
n3c(e)\displaystyle n^{(e)}_{3c} =12[M1(2)](mod 2).\displaystyle=\frac{1}{2}[M_{1}^{(2)}]\ (\text{mod}\ 2). (95)

Then, n1a(e)=ν2n2b(e)3n3c(e)6n6d(e)ν2n2b(e)3n3c(e)n^{(e)}_{1a}=\nu-2n^{(e)}_{2b}-3n^{(e)}_{3c}-6n^{(e)}_{6d}\equiv\nu-2n^{(e)}_{2b}-3n^{(e)}_{3c} (mod 6) is also determined from ν\nu and [Πp(n)][\Pi_{p}^{(n)}]. Finally, the corner charge formula is summarized as follows:

Qc_1a(6)\displaystyle Q_{c\_1a}^{(6)} |e|6(n1a(ion)ν+2[K1(3)]+32[M1(2)])(mode),\displaystyle\equiv\frac{|e|}{6}\Big{(}n_{1a}^{(\text{ion})}-\nu+2[K_{1}^{(3)}]+\frac{3}{2}[M_{1}^{(2)}]\Big{)}\ (\text{mod}\ e), (96)

which is the same as Eq. (19) in the main text.

Because both [M1(2)][M^{(2)}_{1}] and [K1(3)][K^{(3)}_{1}] are even numbers from Eq. (91), Eq. (19) is equivalent to Eq. (22), provided n1a(ion)=νn^{(\text{ion})}_{1a}=\nu.

Appendix C Relationship between the topological invariants [Πp(n)][\Pi_{p}^{(n)}] and the nmX(e)n^{(e)}_{mX} in class AII systems

In class AII systems, several Wannier configurations are connected by the time-reversal symmetry Θ\Theta (Θ2=1\Theta^{2}=-1). Wannier configurations acquire double degeneracy due to the Kramers theorem. Then, the Wannier configurations are changed as shown in Tables 10, 11, 12.

Label Wannier configurations invariants
jj [K1(3)][K^{(3)}_{1}] [K2(3)][K^{(3)}_{2}] [K1(3)][K^{\prime(3)}_{1}] [K2(3)][K^{\prime(3)}_{2}]
1 2×W1b|π(3)2\times W_{1b|_{\pi}}^{(3)} 2 2-2 0 2-2
2 W1b|π/3(3)W1b|π/3(3)W_{1b|_{\pi/3}}^{(3)}\oplus W_{1b|_{-\pi/3}}^{(3)} 1-1 1 0 1
3 2×W1c|π(3)2\times W_{1c|_{\pi}}^{(3)} 0 2-2 2 2-2
4 W1c|π/3(3)W1c|π/3(3)W_{1c|_{\pi/3}}^{(3)}\oplus W_{1c|_{-\pi/3}}^{(3)} 0 1 1-1 1
Table 10: Wannier configurations with labels and their invariants with C3C_{3} symmetry in class AII systems. The first column is the label for the WCs. The Wannier configurations belonging to Wyckoff positions 1a1a and 3d3d are omitted in the table because all topological invariants are 0.

In C3C_{3}-symmetric systems, we need to consider four sets of Wannier configurations in Table 10. Table 10 is summarized as follows:

([K1(3)][K2(3)][K1(3)][K2(3)])=(2100212100212121)(α1α2α3α4).\displaystyle\begin{pmatrix}[K^{(3)}_{1}]\\ [K^{(3)}_{2}]\\ [K^{\prime(3)}_{1}]\\ [K^{\prime(3)}_{2}]\end{pmatrix}=\begin{pmatrix}2&-1&0&0\\ -2&1&-2&1\\ 0&0&2&-1\\ -2&1&-2&1\end{pmatrix}\begin{pmatrix}\alpha_{1}\\ \alpha_{2}\\ \alpha_{3}\\ \alpha_{4}\end{pmatrix}. (97)

From the definition, n1b(e)=2(α1+α2)n^{(e)}_{1b}=2(\alpha_{1}\!+\!\alpha_{2}) and n1c(e)=2(α3+α4)n^{(e)}_{1c}=2(\alpha_{3}\!+\!\alpha_{4}). From Eq. (97), the following relations hold:

[K2(3)]\displaystyle[K^{(3)}_{2}] =[K2(3)],\displaystyle=[K^{\prime(3)}_{2}], (98)
[K1(3)]+[K1(3)]\displaystyle[K^{(3)}_{1}]+[K^{\prime(3)}_{1}] =[K2(3)],\displaystyle=-[K^{(3)}_{2}], (99)
[K1(3)]\displaystyle[K^{(3)}_{1}] =2α1α2\displaystyle=2\alpha_{1}-\alpha_{2}
2(α1+α2)(mod 3),\displaystyle\equiv 2(\alpha_{1}+\alpha_{2})\ (\text{mod}\ 3), (100)
[K1(3)]\displaystyle[K^{\prime(3)}_{1}] =2α3α4\displaystyle=2\alpha_{3}-\alpha_{4}
2(α3+α4)(mod 3).\displaystyle\equiv 2(\alpha_{3}+\alpha_{4})\ (\text{mod}\ 3). (101)

Therefore, n1b(e)n^{(e)}_{1b} and n1c(e)n^{(e)}_{1c} (mod 33) can be determined from 𝝌\bm{\chi} as follows:

n1b(e)=[K1(3)](mod 3),\displaystyle n^{(e)}_{1b}=[K^{(3)}_{1}]\ (\text{mod}\ 3), (102)
n1c(e)=[K1(3)](mod 3).\displaystyle n^{(e)}_{1c}=[K^{\prime(3)}_{1}]\ (\text{mod}\ 3). (103)

Then, n1a(e)=νn1b(e)n1c(e)3n3d(e)ν([K1(3)]+[K1(3)])ν+[K2(3)]n^{(e)}_{1a}=\nu-n^{(e)}_{1b}-n^{(e)}_{1c}-3n^{(e)}_{3d}\equiv\nu-([K^{(3)}_{1}]+[K^{\prime(3)}_{1}])\equiv\nu+[K^{(3)}_{2}] (mod 3). The corner charge formulas are represented as follows:

Qc_1a(3)\displaystyle Q_{c\_1a}^{(3)} |e|3(n1a(ion)ν[K2(3)])(mode),\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1a}^{(\text{ion})}-\nu-[K^{(3)}_{2}]\Big{)}\ (\text{mod}\ e), (104)
Qc_1b(3)\displaystyle Q_{c\_1b}^{(3)} |e|3(n1b(ion)[K1(3)])(mode),\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1b}^{(\text{ion})}-[K^{(3)}_{1}]\Big{)}\ (\text{mod}\ e), (105)
Qc_1c(3)\displaystyle Q_{c\_1c}^{(3)} |e|3(n1c(ion)[K1(3)])(mode).\displaystyle\equiv\frac{|e|}{3}\Big{(}n_{1c}^{(\text{ion})}-[K^{\prime(3)}_{1}]\Big{)}\ (\text{mod}\ e). (106)
Label Wannier configurations invariants
jj [X1(2)][X^{(2)}_{1}] [M1(4)][M^{(4)}_{1}] [M2(4)][M^{(4)}_{2}] [M3(4)][M^{(4)}_{3}]
1 W1b|π/4(4)W1b|π/4(4)W_{1b|_{\pi/4}}^{(4)}\oplus W_{1b|_{-\pi/4}}^{(4)} 0 1-1 1 1
2 W1b|3π/4(4)W1b|3π/4(4)W_{1b|_{3\pi/4}}^{(4)}\oplus W_{1b|_{-3\pi/4}}^{(4)} 0 1 1-1 1-1
Table 11: Wannier configurations with labels and their invariants with C4C_{4} symmetry in class AII systems. The first column is the label for the WCs. The Wannier configurations belonging to Wyckoff positions 1a1a, 2c2c and 4d4d are omitted in the table because all topological invariants are 0.

In C4C_{4}-symmetric systems, we need to consider two sets of Wannier configurations in Table 11. Table 11 is summarized as follows:

([X1(2)][M1(4)][M2(4)][M3(4)])=(00111111)(α1α2).\displaystyle\begin{pmatrix}[X^{(2)}_{1}]\\ [M^{(4)}_{1}]\\ [M^{(4)}_{2}]\\ [M^{(4)}_{3}]\end{pmatrix}=\begin{pmatrix}0&0\\ -1&1\\ 1&-1\\ 1&-1\end{pmatrix}\begin{pmatrix}\alpha_{1}\\ \alpha_{2}\end{pmatrix}. (107)

From the definition, n1b(e)=2(α1+α2)n^{(e)}_{1b}=2(\alpha_{1}\!+\!\alpha_{2}). From Eq. (107), the following relations hold:

2[M1(4)]=2(α1+α2)\displaystyle 2[M^{(4)}_{1}]=2(-\alpha_{1}+\alpha_{2}) 2(α1+α2)(mod 4),\displaystyle\equiv 2(\alpha_{1}+\alpha_{2})\ (\text{mod}\ 4), (108)
n1b(e)\displaystyle n^{(e)}_{1b} 2[M1(4)](mod 4).\displaystyle\equiv 2[M^{(4)}_{1}]\ (\text{mod}\ 4). (109)

Then, n1a(e)=νn1b(e)2n2c(e)4n4d(e)ν2[M1(4)]n^{(e)}_{1a}=\nu-n^{(e)}_{1b}-2n^{(e)}_{2c}-4n^{(e)}_{4d}\equiv\nu-2[M^{(4)}_{1}] (mod 4). Here, we used n2c(e)0n^{(e)}_{2c}\equiv 0 (mod 2) due to the Kramers degeneracy. The corner charge formulas are summarized as follows:

Qc_1a(4)\displaystyle Q_{c\_1a}^{(4)} |e|4(n1a(ion)ν+2[M1(4)])(mode),\displaystyle\equiv\frac{|e|}{4}\Big{(}n_{1a}^{(\text{ion})}-\nu+2[M^{(4)}_{1}]\Big{)}\ (\text{mod}\ e), (110)
Qc_1b(4)\displaystyle Q_{c\_1b}^{(4)} |e|4(n1b(ion)2[M1(4)])(mode).\displaystyle\equiv\frac{|e|}{4}\Big{(}n_{1b}^{(\text{ion})}-2[M^{(4)}_{1}]\Big{)}\ (\text{mod}\ e). (111)

In C6C_{6}-symmetric systems, we need to consider two sets of Wannier configurations in Table 12. Table 12 is summarized as follows:

([M1(2)][K1(3)][K2(3)])=(002142)(α1α2).\displaystyle\begin{pmatrix}[M^{(2)}_{1}]\\ [K^{(3)}_{1}]\\ [K^{(3)}_{2}]\end{pmatrix}=\begin{pmatrix}0&0\\ 2&-1\\ -4&2\end{pmatrix}\begin{pmatrix}\alpha_{1}\\ \alpha_{2}\end{pmatrix}. (112)

From the definition, n2b(e)=2(α1+α2)n^{(e)}_{2b}=2(\alpha_{1}+\alpha_{2}). From Eq. (112), the following relations hold:

[K1(3)]=2α1α2\displaystyle[K^{(3)}_{1}]=2\alpha_{1}-\alpha_{2} 2(α1+α2)(mod 3),\displaystyle\equiv 2(\alpha_{1}+\alpha_{2})\ (\text{mod}\ 3), (113)
n2b(e)\displaystyle n^{(e)}_{2b} [K1(3)](mod 3).\displaystyle\equiv[K^{(3)}_{1}]\ (\text{mod}\ 3). (114)

Then, n1a(e)=ν2n2b(e)3n3c(e)6n6d(e)ν2[K1(3)]n^{(e)}_{1a}=\nu-2n^{(e)}_{2b}-3n^{(e)}_{3c}-6n^{(e)}_{6d}\equiv\nu-2[K^{(3)}_{1}] (mod 6). Here, we used n3c(e)0n^{(e)}_{3c}\equiv 0 (mod 2) due to the Kramers degeneracy. The corner charge formula is summarized as follows:

Qc_1a(6)\displaystyle Q_{c\_1a}^{(6)} |e|6(n1a(ion)ν+2[K1(3)])(mode).\displaystyle\equiv\frac{|e|}{6}\Big{(}n_{1a}^{(\text{ion})}-\nu+2[K^{(3)}_{1}]\Big{)}\ (\text{mod}\ e). (115)
Label Wannier configurations invariants
jj [M1(2)][M^{(2)}_{1}] [K1(3)][K^{(3)}_{1}] [K2(3)][K^{(3)}_{2}]
1 2×W2b|π(6)2\times W_{2b|_{\pi}}^{(6)} 0 2 4-4
2 W2b|π/3(6)W2b|π/3(6)W_{2b|_{\pi/3}}^{(6)}\oplus W_{2b|_{-\pi/3}}^{(6)} 0 1-1 2
Table 12: Wannier configurations with labels and their invariants with C6C_{6} symmetry in class AII systems. The first column is the label for the WCs. The Wannier configurations belonging to Wyckoff positions 1a1a, 3c3c and 6d6d are omitted in the table because all topological invariants are 0.

References

  • (1) J. C. Y. Teo and T. L. Hughes, Phys. Rev. Lett. 111, 047006 (2013).
  • (2) W. A. Benalcazar, J. C. Y. Teo, and T. L. Hughes, Phys. Rev. B 89, 224503 (2014).
  • (3) K. Hashimoto, X. Wu, and T. Kimura, Phys. Rev. B 95, 165443 (2017).
  • (4) C. Fang and L. Fu, Science advances 5, eaat2374 (2019).
  • (5) J. Langbehn, Y. Peng, L. Trifunovic, F. von Oppen, and P. W. Brouwer, Phys. Rev. Lett. 119, 246401 (2017).
  • (6) M. Ezawa, Phys. Rev. B 97, 155305 (2018).
  • (7) M. Ezawa, Phys. Rev. B 97, 241402(R) (2018).
  • (8) M. Geier, L. Trifunovic, M. Hoskam, and P. W. Brouwer, Phys. Rev. B 97, 205135 (2018).
  • (9) E. Khalaf, Phys. Rev. B 97, 205136 (2018).
  • (10) F. Schindler, A. M. Cook, M. G. Vergniory, Z. Wang, S. S. P. Parkin, B. A. Bernevig, T. Neupert, Sci. Adv. 4, eaat0346 (2018).
  • (11) F. Schindler, Z. Wang, M. G. Vergniory, A. M. Cook, A. Murani, S. Sengupta, A. Yu. Kasumov, R. Deblock, S. Jeon, I. Drozdov, H. Bouchiat, S. Guéron, A. Yazdani, B. A. Bernevig, T. Neupert, Nature Physics 14, 918 (2018).
  • (12) G. van Miert and C. Ortix, Phys. Rev. B 98, 081110(R) (2018).
  • (13) E. Khalaf, H. C. Po, A. Vishwanath, and H. Watanabe, Phys. Rev. X 8, 031070 (2018).
  • (14) A. Matsugatani and H. Watanabe, Phys. Rev. B 98, 205129 (2018).
  • (15) B. J. Wieder and B. A. Bernevig, arXiv preprint arXiv:1810.02373 (2018).
  • (16) S. H. Kooi, G. van Miert, and C. Ortix, Phys. Rev. B 98, 245102 (2018).
  • (17) L. Trifunovic and P. W. Brouwer, Phys. Rev. X 9, 011012 (2019).
  • (18) J. Ahn and B.-J. Yang, Phys. Rev. B 99, 235125 (2019).
  • (19) Y. Hwang, J. Ahn, and B.-J. Yang, Phys. Rev. B 100, 205126 (2019).
  • (20) R. Okugawa, S. Hayashi, and T. Nakanishi, Phys. Rev. B 100, 235302 (2019).
  • (21) Y. Tanaka, R. Takahashi, and S. Murakami, Phys. Rev. B 101, 115120 (2020).
  • (22) R. Takahashi, Y. Tanaka, and S. Murakami, Phys. Rev. Research 2, 013300 (2020).
  • (23) Y. Tanaka, R. Takahashi, T. Zhang, and S. Murakami, Phys. Rev. Research 2, 043274 (2020).
  • (24) W. A. Benalcazar, B. A. Bernevig, and T. L. Hughes, Science 357, 61 (2017).
  • (25) Z. Song, Z. Fang, and C. Fang, Phys. Rev. Lett. 119, 246402 (2017).
  • (26) W. A. Benalcazar, B. A. Bernevig, and T. L. Hughes, Phys. Rev. B 96, 245115 (2017).
  • (27) M. Serra-Garcia, V. Peri, R. Süsstrunk, O. R. Bilal, T. Larsen, L. G. Villanueva, S. D. Huber, Nature 555, 342 (2018).
  • (28) M. Ezawa, Phys. Rev. Lett. 120, 026801 (2018).
  • (29) C. W. Peterson, W. A. Benalcazar, T. L. Hughes, and G. Bahl, Nature 555, 346 (2018).
  • (30) M. Ezawa, Phys. Rev. B 98, 045125 (2018).
  • (31) S. Imhof, C. Berger, F. Bayer, J. Brehm, L. Molenkamp, T. Kiessling, F. Schindler, C. H. Lee, M. Greiter, T. Neupert, R. Thomale, Nature Physics 14, 925 (2018).
  • (32) W. A. Benalcazar, T. Li, and T. L. Hughes, Phys. Rev. B 99, 245151 (2019).
  • (33) F. Liu, H.-Y. Deng, and K. Wakabayashi, Phys. Rev. Lett. 122, 086804 (2019).
  • (34) H. Araki, T. Mizoguchi, and Y. Hatsugai, Phys. Rev. Research 2, 012009(R) (2020).
  • (35) T. Mizoguchi, H. Araki, and Y. Hatsugai, Journal of the Physical Society of Japan 88, 104703 (2019).
  • (36) F. Schindler, M. Brzezińska, W. A. Benalcazar, M. Iraola, A. Bouhon, S. S. Tsirkin, M. G. Vergniory, and T. Neupert, Phys. Rev. Research 1, 033074 (2019).
  • (37) E. Lee, A. Furusaki, and B.-J. Yang, Phys. Rev. B 101, 241109(R) (2020).
  • (38) P. Zhu, K. Loehr, and T. L. Hughes, Phys. Rev. B 101, 115140 (2020).
  • (39) C. W. Peterson, T. Li, W. A. Benalcazar, T. L. Hughes, and G. Bahl, Science 368, 1114 (2020).
  • (40) M. Hirayama, R. Takahashi, S. Matsuishi, H. Hosono, and S. Murakami, Phys. Rev. Research 2, 043131 (2020).
  • (41) H. Watanabe and S. Ono, Phys. Rev. B 102, 165120 (2020).
  • (42) S. Kooi, G. van Miert, and C. Ortix, npj Quantum Materials 6, 1 (2021).
  • (43) D. Vanderbilt and R. D. King-Smith, Phys. Rev. B 48, 4442 (1993).
  • (44) R. Resta, Ferroelectrics 136, 51 (1992).
  • (45) R. D. King-Smith and D. Vanderbilt, Phys. Rev. B 47, 1651 (1993).
  • (46) R. Resta, Rev. Mod. Phys. 66, 899 (1994).
  • (47) X.-L. Sheng, C. Chen, H. Liu, Z. Chen, Z.-M. Yu, Y. X. Zhao, and S. A. Yang Phys. Rev. Lett. 123, 256402 (2019).
  • (48) F. Weber, S. Rosenkranz, J.-P. Castellan, R. Osborn, R. Hott, R. Heid, K.-P. Bohnen, T. Egami, A. H. Said, and D. Reznik, Phys. Rev. Lett. 107, 107403 (2011).
  • (49) A. Kogar, M. S. Rak, S. Vig, A. A. Husain, F. Flicker, Y. I. Joe, L. Venema, G. J. MacDougall, T. C. Chiang, Eduardo Fradkin, Jasper van Wezel, Peter Abbamonte, Science 358, 1314 (2017).
  • (50) P. Lee, T. Rice, and P. Anderson, Solid State Communications 88, 1001 (1993).
  • (51) L. Trifunovic, Phys. Rev. Research 2, 043012 (2020).
  • (52) S. Ren, I. Souza, and D. Vanderbilt, Phys. Rev. B 103, 035147 (2021).
  • (53) Y. Fang and J. Cano, Phys. Rev. B 103, 165109 (2021)
  • (54) H. C. Po, H. Watanabe, C.-M. Jian, and M. P. Zaletel, Phys. Rev. Lett. 119, 127202 (2017).