Surface spectra of Weyl semimetals through selfadjoint extensions
Abstract
We apply the method of selfadjoint extensions of Hermitian operators to the lowenergy, continuum Hamiltonians of Weyl semimetals in bounded geometries and derive the spectrum of the surface states on the boundary. This allows for the full characterization of boundary conditions and the surface spectra on surfaces both normal to the Weyl node separation as well as parallel to it. We show that the boundary conditions for quadratic bulk dispersions are, in general, specified by a matrix relating the wavefunction and its derivatives normal to the surface. We give a general procedure to obtain the surface spectra from these boundary conditions and derive them in specific cases of bulk dispersion. We consider the role of global symmetries in the boundary conditions and their effect on the surface spectrum. We point out several interesting features of the surface spectra for different choices of boundary conditions, such as a Mexicanhat shaped dispersion on the surface normal to Weyl node separation. We find that the existence of bound states, Fermi arcs, and the shape of their dispersion, depend on the choice of boundary conditions. This illustrates the importance of the physics at and near the boundaries in the general statement of bulkboundary correspondence.
I Introduction
Topological phases of matter have garnered an increasingly central standing in condensed matter physics and related fields. A generic feature of such phases is an intimate correspondence between nontrivial topology of bulk states, expressed in terms of topological invariants of bulk bands under periodic boundary conditions, and the appearance of robust states bound to the physical edges of the system in a bounded geometry. Examples of this bulkboundary correspondence abound: quantum hall phases in two dimensions support chiral edge modes; Lau81a (); ThoKohNig82a () timereversal invariant topological phases in two and three dimensions support gapless edge and surface states; KanMel05a (); KanMel05b (); WuBerZha06a (); FuKanMel07a (); MooBal07a (); Roy06a () topological superconductors support Majorana modes at edges, surfaces, and inside vortex cores; Kit01a (); FuKan08a (); SerGro11a (); QiZha11a () and Weyl semimetals are known to support unconventional surface states with open “Fermi arcs.” BurBal11a (); WanTurVis11a (); HalBal12a () Intuitively, the appearance of these robust surface states regardless of local details of the surface is the result of the global, topological character of the bulk.
Despite many examples and its intuitive appeal, a precise theory of the bulkboundary correspondence is lacking. LiuZhoWan17a (); SedKalDut17a (); RhiBarSla17a () Surface states are, of course, not special to topological phases. Tamm Tam32a () and then Shockley Sho39b () showed a long time ago that terminating a periodic potential generically leads to the appearance of states bound to the termination surface, whose energy and wavefunction depend on the boundary conditions at the surface. The role of boundary conditions for surface states of topological phases is, however, not systematically studied. The form of the boundary condition is often not specified or assumed ad hoc. TeoKan10a (); OkuMur14a () In many cases, the bulk Hamiltonian is stripped down to a linear bulk dispersion, DevVol17a () which would then only support a restricted set of boundary conditions, say, characterized by a single parameter, LiAnd15a (); HasKimWu17a () which artificially limits the range of possible physical effects at the surface. A recent work KhaMayHan17a () considers a more general dispersion; however, as our approach illustrates, the conditions imposed for the boundary conditions in this work are also too restrictive; as a result, not all physically possible boundary conditions are accounted.
In this work, we address this question by studying the effect of boundary conditions on surface spectra of Weyl semimetals in a bounded geometry in the most general terms. We do so by studying the generic lowenergy, continuum Hamiltonians of a Weyl semimetal and their selfadjoint extensions in bounded geometries. Neu29a (); GitTuyVor12a (); AhaOrtSer16a () This approach allows us to find all physically possible boundary conditions for the given continuum Hamiltonian. Further restrictions on the boundary conditions can be imposed by symmetries of the bulk Hamiltonian. However, it must be emphasized that respecting those symmetries is not necessary at the boundary, where bulk symmetries may be broken extraneously or spontaneously. Cap77a () While not every boundary condition is easily realized or practical in the lab, each boundary condition represents physics that is, in principle, possible at and near the boundary.
Specifically, we consider two generic Hamiltonians supporting a pair of degenerate Weyl nodes: one with a minimal bulk dispersion, and the other with an isotropic bulk dispersion. We show that the boundary conditions are in general specified by a matrix relating the wavefunction and its derivatives normal to the surface. On a surface parallel to the Weyl node separation, we find conditions for the existence of Fermi arcs. In particular, for the minimal dispersion, we fully characterize these conditions in terms of a phase. For the isotropic dispersion, we find the subset of boundary conditions that support straightline Fermi arcs connecting the Weyl nodes on the surface. In both cases, all selfadjoint boundary conditions spontaneously break particlehole symmetry on these surfaces. Moreover, we show that with the simplest boundary condition where the wavefunction vanishes on the surface, the surface spectrum is linear, with surface bound states whose confinement length is independent of the dispersion and a standingwave modulation normal to the surface. Moreover, for the surface normal to the Weyl node separation, we characterize the surface bound state spectrum fully in the case of the minimal dispersion and give specific results for the isotropic dispersion. For the minimal dispersion, the energy bands are those of a gapped Dirac spectrum. Interestingly, for the minimal dispersion, the surface states only exist over a range of momenta determined by spinorbit coupling, and their energy bands are gapped in the shape of a Mexican hat. This raises the possibility of realizing exotic electronic phases at the surface in the presence of interactions or by local potential engineering.
Ii Model
For a Weyl semimetal with nodes separated by a wave vector much smaller than the inverse lattice spacing, we can take a minimal continuum model with Bloch Hamiltonian
(1) 
where is the crystal momentum (we use natural units ), is the vector of Pauli matrices, , parameterizes the spinorbit interaction, and is the bulk dispersion relation in the absence of spinorbit coupling. We shall consider two dispersion relations: (1) corresponds to the minimal model of Ref. OkuMur14a, ; and (2) is isotropic in . Here are constants.
The bulk spectrum is given by ,
(2) 
There are two Weyl nodes at with . The winding of the vector in the Brillouin zone determines the existence of the Weyl nodes through the monopoles of the Berry’s flux. The monopole charge is given by
(3) 
In the following, we will work with dimensionless quantities, , , and . Then the two dispersions take the form: (1) ; and (2) .
We now note some of the symmetries of the bulk model:

There is an inversion symmetry represented by the unitary :
(4) We note that this is not the same as the parity in the full system, which is broken in the Weyl semimetal. This symmetry describes the symmetric splitting of Weyl nodes in the minimal model and is therefore only approximate in a local neighborhood around the pair of Weyl nodes in the Brillouin zone.

There is an antiunitary particlehole symmetry represented by , , where is the complex conjugation:
(5) For an eignestate of energy , is an eigenstate of energy . We see that for the Hamiltonian commutes with ; then, since , by Kramer’s theorem the zeroenergy subspace is doubly degenerate. We also note that the operator , is an effective timereversal operator, .

Reflection symmetries through the plane normal to the direction, , are represented by :
(6) where the sign and is the reflection of . Defining with parallel and perpendicular components to the plane, . Thus, our model Hamiltonian is even under a reflection through the plane, and odd under reflections through  and planes, since the spinorbit term breaks the latter symmetries. However, the two broken reflection symmetries result in a spectral symmetry, whereby an eigenstate of energy is mapped to eigenstates and of energy . Note that .
On the surface normal to the Weyl node separation, all reflection symmetries are broken; thus, we only focus on the effective particlehole symmetry. On surfaces parallel to the Weyl node separation, the reflection symmetry through the surface normal to the Weyl node separation is respected. In our model, this is represented in the spinor space by the identity matrix and a sign reversal of ; thus, as we shall see, our results below respect this symmetry trivially. We shall also see that the effective particlehole and timereversal symmetries on these surfaces are spontaneously broken for all selfadjoint extensions of the bulk Hamiltonian.
Iii Surface bound states through selfadjoint extension
In order to study the surface states, we consider a semiinfinite geometry terminating at a single twodimensional plane normal to the direction. The momentum parallel to the plan remains conserved, but the momentum normal to the plane must be treated as the normal component, , of the momentum operator in the position basis representation. Correspondingly, the Hamiltonian is the operator . The presence of the surface affects the spatial symmetries of the Hamiltonian.
In a bounded or semibounded geometry, the specification of boundary conditions is an integral part of the definition of a selfadjoint operator: different boundary conditions result in different spectral properties. This is because at the physical boundary of the system, different boundary conditions specify different physics at the interface, say with a trivial or topological insulator, a regular or topological metal or semimetal, a superconductor, etc. In this work, we take an agnostic view of what lies on the other side of the interface. Instead, we would like to specify all possible boundary conditions physically admissible. We also pay attention to interfaces that preserve certain bulk symmetries of the system. However, we note that from a physical point of view, symmetrybreaking boundary conditions are no less interesting, since they can describe interfaces with material that break the corresponding symmetries at the surface.
In a semibounded geometry, in order for the Hamiltonian to be selfadjoint, its domain in the Hilbert space needs to be properly defined. The set of selfadjoint operators is determined fully by von Neumann’s deficiency index theorem. AhaOrtSer16a () This method, while comprehensive, is technical and not physically transparent. Instead, we use a formulation based on a corresponding conserved current derived from the unitary evolution generated by the selfadjoint operator. For two states , the current defined as
(7) 
where is an arbitrary reference point and , is local and conserved: it satisfies the continuity equation
(8) 
with . By unitarity of time evolution, , where the integral is over the entire system. Since in a semiinfinite geometry, the wave functions vanish at infinity, we must have . Thus,
(9) 
This conserved current is a sesquilinear, Hermitian form of the two arbitrary states and . In general, Eq. (9) can be expressed as , where is, for our quadratic twoband Hamiltonians, a 2component vector of the wave function and its derivative, normal to the surface, at . In turn, this yields the boundary condition
(10) 
where the unitary matrix parametrizes the boundary conditions. We summarize the relevant results in the Appendix.
In the following, we parametrize an element of as
(11) 
As a special case, we note the subset with corresponds to a diagonal subgroup.
The condition to find the spectrum of surface bound states can be obtained by writing the bound state wavefunction , with the coordinates on the surface, and the bound state
(12) 
where with is the dimensionless inverse confinement length, which may also depend on . The energy of the bound state is ,
(13) 
where and is the unit vector in the direction. The spinor has the form
(14) 
up to a normalization factor.
In order to determine and for a given value of energy , we invert Eq. (13) and write as a function of . There are two cases that we treat separately:

If there is only one solution with , the corresponding bound state in Eq. (12) must satisfy the boundary conditions, which we can write as
(15) where
(16) depend on . The condition to find a nontrivial solution to is then
(17) 
If there are more than one possible solutions with , indexed by , we write a general solution as a superposition,
(18) which must satisfy the boundary conditions, which we can write as
(19) where , and
(20) This is then solved for and with the condition for solutions to exists given by
(21)
Iv Surface normal to Weyl node separation
In this case, regardless of our choice of dispersion, the conserved current reads
(22) 
where the prime stands for . Then, for
(23) 
and, denoting the inverse confinement length , .
For a diagonal unitary , the boundary conditions reduce to two separate sets of conditions on each component of for the selfadjoint extensions of the operator over a semiinfinite geometry. The spectral properties including the surface bound states are previously studied. BonFarVal01a () The full space of unitaries is much larger and, therefore, we expect a richer set of bound state spectra.
Before analyzing these spectra, let us characterize the subset of boundary conditions that preserve the relevant symmetries of the bulk. First, under particlehole operation
(24) 
after which the boundary condition reads, . Thus, the boundary condition is symmetric iff , which is satisfied for given in Eq. (11) with or .
In this section we shall denote the momentum along the surface, . We note that upon replacing in the bulk dispersion, the resulting dispersion does not necessarily represent the surface bound state spectrum. Further conditions and restrictions are imposed by the boundary conditions, from which the existence and the possible values of must be extracted. However, assuming such solutions do exist, the functional form of the dispersion is given by .
iv.1 Minimal dispersion
For a given energy of the bound state with the minimal dispersion, we find , so there is at most a single solution with , for which and, thus, . The bound state energy is then ,
(25) 
This is a gapped Diraclike dispersion describing an insulating surface spectrum with minimum gap .
Now, Eq. (17) yields the independent solutions
(26) 
where we have defined a sign . Since only is admissible, a necessary condition for the existence of surface states is
(27) 
Three separate cases arise, depending on the signs and . First, if , bound states exist only when and . Second, if and then bound states exist and . However, third, if and , then bound states exist for both values of . In the latter case, bound states form two bands of surface energy bands given by Eq. (25)
For particleholesymmetric boundary conditions, . Then, the necessary condition (27) gives also . These boundary conditions form the set of diagonal unitaries , where . Then, bound states exist only when , for which two degenerate surface bands exist with .
iv.2 Isotropic dispersion
For the isotropic dispersion, denoting and , we find two possible solutions . When becomes negative and therefore unphysical, there is only one possible value of with . This value is found from the boundary conditions leading to Eq. (26) and the subsequent analysis. A sufficient condition for is
(28) 
Then, the bound state energy is ,
(29) 
This spectrum has a direct insulating gap, obtained at when and at when . As shown in Fig. 1, in the latter case the surface spectrum has a Mexicanhat shape with a minimum energy at a circle with radius and a local maximum at , . Thus for chemical potentials between these local minimum and maximum, the Fermi surface consists of an electronlike and a holelike pockets.
When both , we find two possible solutions with . In this case, taking , we first find the spinor from Eq. (14) to be
(30) 
Then, taking a general superposition in Eq. (18), we find
(31) 
Finally, is found as a solution to Eq. (21).
For general , the above procedure is tedious and not very instructional. Indeed, there may not even be any solutions depending on the choice of , i.e. the form of the boundary conditions. To illustrate this point, let us take a simple example corresponding to the boundary condition . Then,
(32)  
(33) 
Thus, only when , i.e. , which is outside the acceptable range of . A similar result follows for , which corresponds to the boundary condition .
This is a remarkable and unconventional result: for boundary conditions as commonly used as the vanishing of the wavefunction or its derivative on the plane, we see that not only the spectrum has an uncommon Mexicanhat shape for a range of spinorbit couplings, but that no surface bound states exist in a “forbidden” range of momenta in the surface Brillouin zone.
V Surface parallel to the Weyl node separation: Fermi arcs
We take the surface normal to the ydirection below and denote the momentum along the surface .
v.1 Minimal dispersion
With the minimal dispersion, the conserved current takes the form
(34) 
This current yields, in fact, , which are complex numbers instead of spinors. Thus, the boundary conditions in this case are characterized by a single phase, AhaOrtSer16a (); Note1 ()
(35) 
Under particlehole operation, , and . Thus, all permissible boundary conditions supporting a selfadjoint extension of the Hamiltonian with the minimal dispersion break particlehole symmetry on the surface parallel to Weyl node separation. Note2 ()
Denoting the inverse confinement length and the bound state energy , we have . So again, for a given energy, there is at most one solution with . Solving for in the boundary condition equation, we have
(36) 
Note that is independent of and depends only on the choice of boundary condition. We can then find from Eq. (14), which yields
(37) 
with .
The surface state spectrum is then found by solving Eq. (37). The spectrum can be rewritten as ; defining two angular variables and as , and , , we have . Thus, is fixed by the boundary condition. We then find for ,
(38) 
with the condition,
(39)  
(40) 
The geometry of angular variables is shown in Fig. 2. This is the Fermi arc on the surface parallel to the bulk Weyl nodes. At , it connects the Weyl nodes projected on this surface at . At , , so the Fermi arc is restricted to , where : for , it stays within ; for , it extends to the Brillouin zone edges. At finite , these ranges vary, dividing the Brillouin zone into allowed and “forbidden” regions where surface bound states are absent. These spectra are depicted in Fig. 3.
Note that, in contrast to the surface normal to the Weyl node separation, the boundary conditions on the parallel surface involve both and . Together with the eigenvalue equation, the solutions then only allow for a single band. Thus, the bound state dispersion on this surface has a single slope, i.e. it is “chiral.” This is consistent with the fact that particlehole symmetry is broken for all boundary conditions of the selfadjoint extensions of bulk Hamiltonian. (We note that, as anticipated, reflection symmetry in the direction is trivially satisfied since the dispersion is even in .) This chiral dispersion reflects the topological nature of these surface states.
v.2 Isotropic dispersion
Now, the conserved current reads
(41) 
which yields
(42) 
Writing the bound states with energy , we find two possible solutions
(43) 
and , where . Note that if we define we have and . Then, for each solution the pair of vectors and , with (complex) lengths and (complex) angles and constrained to and , admit a similar geometric structure as shown in Fig. 2.
Now, since is not always positive, even for small , we may have two solutions with . Indeed, for small and there is a finite range of where this is true: for example, taking for a given , for and we find two permissible solutions for the bound states. In this case,
(44) 
In general, the spectrum can now be found from Eq. (21). However, this is tedious and not very instructional. In the following we address some special cases.
First, we show that for certain boundary conditions, the Fermi arcs are straight lines connecting the Weyl nodes. In particular, assuming and taking , we have
(45) 
and . Then, where . Now, taking as in Eq. (11) and solving Eq. (21), we find
(46) 
For example, as opposed to the minimal dispersion, , corresponding to , and , corresponding to , support straight Fermi arcs connecting the two Weyl nodes.
Next, we shall determine the spectrum for a specific choice of boundary conditions given by , i.e. ; then, and Eq. (21) yields and . Using the algebraic relationship defining and we find
(47)  
(48) 
Together with Eq. (43), these equations determine the spectrum. As must be the case, we see that for and the equations are satisfied for any (this is necessary for having two solutions as discussed above). For small and , we may expand to find . Thus, up to this order, the surface state spectrum is given by
(49) 
Indeed, we can show that this spectrum is correct to all orders. Taking and working backwards the two solutions , where we have assumed in order to have . Thus, , and we see that Eq. (48) is satisfied automatically. The wavefunction is found as
(50) 
with . Note that the surface states all have the same confinement length and a standingwave modulating factor with the wavenumber that depends on the momentum on the surface. We note that particlehole symmetry is broken for these surface states since the dispersion has a preferred chirality.
The mapping of the general boundary conditions under particlehole operation for the isotropic dispersion is more complicated than before: we have
(51) 
with . Thus, a particlehole symmetric boundary condition must satisfy,
(52) 
As expected from the chiral surface states we found above, it’s easy to see that does not satisfy this condition: . Similarly, for : . Our numerical search for solutions to this set of unitaries returned a null result; thus, we conclude that, as for the minimal dispersion, all selfadjoint boundary conditions of the isotropic bulk Hamiltonian also break particlehole symmetry on the surface parallel to the Weyl node separation.
We close this section by considering the relationship between the surface bound states of the minimal and the isotropic bulk dispersions. One may expect the two cases to be related at large values of where the quadratic terms in and become negligible compared to the linear spinorbit interaction. However, this connection should be obtained at the level of boundary conditions, not the final solutions.
For example, note that the solutions in Eq. (36) with the minimal dispersion and, say, Eq. (50) with the isotropic dispersion have different spinor structures independent of . This can be seen also by the fact that the Fermi arcs of the minimal dispersion are generally curved while the Fermi arcs of the solution Eq. (50) are straight lines. This is because the boundary conditions leading to Eq. (36) and Eq. (50) are not simply related. Indeed, the condition leading to Eq. (50) is not allowed for the minimal dispersion: it is not satisfied for any value of in Eq. (35).
At the level of boundary conditions, we may note that for large the boundary conditions obtained from Eq. (42) reduce to Eq. (35) for , and . A straight Fermi arc is obtained for the minimal dispersion only when , which corresponds to either or . In any case, according to Eq. (46), the isotropic dispersion for these boundary conditions also supports a straight Fermi arc.
Vi Conclusion
We have studied the most general form of boundary conditions for a simple Hamiltonian of a Weyl semimetal with a single pair of Weyl nodes in the continuum limit. Our approach, based on selfadjoint extensions of the bulk Hamiltonian in bounded geometries, allows us to determine all physically possible boundary conditions and their respective surface spectra. These boundary conditions describe different physical interfaces at the boundary of the Weyl semimetal with other phases of matter. We also studied the role of bulk symmetries. In particular, we find that on the surface parallel to the direction of Weyl node separation, all physical boundary conditions break particlehole symmetry and lead to chiral surface states.
Using a minimal as well as an isotropic bulk dispersion, we determined physical surface spectra and found various types of spectra, including Fermi arcs, depending on the boundary conditions. On the surface normal to the direction of Weyl node separation, interesting gapped spectra arise for a wide family of boundary conditions. For example, a dispersion in the shape of a Mexican hat exists on this surface in a restricted region of the surface Brillouin zone. In the presence of interactions, or by engineering the local potential to induce coexisting particle and hole Fermi surfaces, such a spectrum could support novel correlated phases of matter at the surface. On the surface parallel to the Weyl node separation, we determined the general conditions giving the surface bound states and Fermi arcs. We found chiral surface bound states in restricted parts of the surface Brillouin zone; the chiral nature of the surface states is consistent with their topological nature.
Some interesting directions for future work are finding concrete models that realize given boundary conditions and studying the effects of interactions or potential profiles in cases of unusual surface state spectra. Another interesting direction is to study the general selfadjoint boundary conditions in other topological material, such as typeII Weyl semimetals. SolGreWan15a (); TchCivGoe17a ()
Acknowledgements.
This work was supported in part by the Indiana University REU program through NSF grant PHY1460882 (M.V.) as well as the NSF CAREER grant DMR1350663 and the College of Arts and Sciences at Indiana University (B.S.). We also thank the hospitality of Aspen Center for Physics, supported by National Science Foundation grant PHY1607611, where parts of this work were performed. *Appendix A Selfadjoint extensions
The distinction between selfadjoint and Hermitian operators is a subtlety that is usually ignored in introductions to quantum mechanics. BonFarVal01a () One reason for this is that the two definitions coincide for nonsingular Hamiltonians acting on systems that extend to infinity in all directions. When either of these conditions fail, the two are not the same, and a further analysis is needed. There is a strong physical basis for requiring that observables should correspond with selfadjoint operators. One key result comes from Stone’s theorem, ReeSim72a () which states that a transformation of the form is unitary for real if and only if is selfadjoint.
The difference between selfadjoint and Hermitian operators is a constraint on the functions that they can be defined on. All selfadjoint operators are Hermitian, but the converse is not true. Unbounded operators (derivatives in our case) have some properties with no analogue in finitedimensional linear algebra. One such result is the HellingerToeplitz theorem, ReeSim72a () which states that unbounded, Hermitian operators cannot be defined on the entire Hilbert space, .
With this context in mind, the definitions will be more transparent. Recall that an operator is Hermitian if
(53) 
for any elements and in the domain of . The adjoint of is defined through
(54) 
for all and in the adjoint domain . A selfadjoint operator is a Hermitian operator with . In the general case, the domains of and are unrelated in the sense that one does not necessarily contain the other. However, when is Hermitian, the domain is always contained in the adjoint domain, that is . We can interpret selfadjoint operators as maximally defined Hermitian operators. This suggests that there is a method of extending the domain of a Hermitian operator to promote it to a selfadjoint operator. von Neumann’s theorem allows us to determine when this is true and classify all possible extensions.
a.1 Deficiency indices and von Neumann’s theorem
The procedure outlined by von Neumann’s theorem has the benefit that it may be applied to any Hermitian operator, . In the first step, we compute its adjoint and its domain . The second step is to pick two values and laying in the upper and lower half of the complex plane respectively. With this choice, we solve the eigenvalue equations
(55) 
and determine the eigenspaces corresponding to . An important result states that the deficiency indices do not depend on the choice of .
Now, von Neumann’s deficiency index theorem states ReeSim72a () that iff , then has (infinitely many) selfadjoint extensions, , parametrized by a unitary map , and defined over the domain where and , with the action . In a bounded geometry, each selfadjoint extension corresponds to a boundary condition parameterized by .
a.2 Conservedcurrent formulation
While von Neumann’s deficiency index method is general, it is not physically transparent. A more intuitive picture of selfadjoint extensions is given by a conserved current defined, up to a constant, by AhaOrtSer16a ()
(56) 
as in Eq. (9). In general, this current can be written as a sesquilinear form of and as where is a vector of the wavefunction and its derivatives and is a finite Hermitian matrix. In a semiinfinite geometry, the conservation condition can then be written algebraically as
(57) 
where and is a unitary matrix that diagonalizes as , with diagonal. In this diagonal basis, () are the square roots of projected to the subspace of positive (negative) eigenvalues of . This condition states that the inner product of must be preserved regardless of the states and . Thus, the existence of selfadjoint extensions of is equivalent to the condition
(58) 
for a unitary matrix . AhaOrtSer16a ()
References
 (1) R. B. Laughlin, Phys. Rev. B 23, 5632 (1981).
 (2) D. J. Thouless, M. Kohmoto, M. P. Nightingale, and M. den Nijs, Phys. Rev. Lett. 49, 405 (1982).
 (3) C. L. Kane and E. J. Mele, Phys. Rev. Lett. 95, 226801 (2005).
 (4) C. L. Kane and E. J. Mele, Phys. Rev. Lett. 95, 146802 (2005).
 (5) C. Wu, B. A. Bernevig, and S.C. Zhang, Phys. Rev. Lett. 96, 106401 (2006).
 (6) L. Fu, C. L. Kane, and E. J. Mele, Phys. Rev. Lett. 98, 106803 (2007).
 (7) J. E. Moore and L. Balents, Phys. Rev. B 75, 121306 (2007).
 (8) R. Roy, Phys. Rev. B 79, 195322 (2009), arXiv:condmat/0607531.
 (9) A. Y. Kitaev, Phys.Usp. 44, 131 (2001).
 (10) L. Fu and C. L. Kane, Phys. Rev. Lett. 100, 096407 (2008).
 (11) B. Seradjeh and E. Grosfeld, Phys. Rev. B 83, 174521 (2011).
 (12) X.L. Qi and S.C. Zhang, Rev. Mod. Phys. 83, 1057 (2011).
 (13) A. A. Burkov and L. Balents, Phys. Rev. Lett. 107, 127205 (2011).
 (14) X. Wan, A. M. Turner, A. Vishwanath, and S. Y. Savrasov, Phys. Rev. B 83, 205101 (2011).
 (15) G. B. Halász and L. Balents, Phys. Rev. B 85, 035103 (2012).
 (16) X.P. Liu, Y. Zhou, Y.F. Wang, and C.D. Gong, N. J. Phys. 19, 093018 (2017).
 (17) N. Sedlmayr, V. Kaladzhyan, C. Dutreix, and C. Bena, Phys. Rev. B 96, 184516 (2017).
 (18) J.W. Rhim, J. H. Bardarson, and R.J. Slager, arXiv:1710.01466.
 (19) I. Tamm, Zeit. f. Phys. 76, 849 (1932).
 (20) W. Shockley, Phys. Rev. 56, 317 (1939).
 (21) J. C. Y. Teo and C. L. Kane, Phys. Rev. B 82, 115120 (2010).
 (22) R. Okugawa and S. Murakami, Phys. Rev. B 89, 235315 (2014).
 (23) Z. A. Devizorova and V. A. Volkov, Phys. Rev. B 95, 081302 (2017).
 (24) S. Li and A. V. Andreev, Phys. Rev. B 92, 201107 (2015).
 (25) K. Hashimoto, T. Kimura, and X. Wu, Prog. Theor. Exp. Phys. 2017(5), 053I01 (2017).
 (26) M. Kharitonov, J.B. Mayer, and E. M. Hankiewicz, arXiv:1701.01553.
 (27) J. von Neumann, Math. Ann. 102, 49 (1929).
 (28) D. M. Gitman, I. V. Tuytin, and B. L. Voronov, Selfadjoint Extensions in Quantum Mechanics (Springer, New York, 2012).
 (29) M. T. Ahari, G. Ortiz, and B. Seradjeh, Am. J. Phys. 84, 858 (2016), arXiv:1508.02682.
 (30) A. Z. Capri, Am. J. Phys. 45, 823 (1977).
 (31) G. Bonneau, J. Faraut, and G. Valent, Am. J. Phys. 69, 322 (2001).
 (32) This result was also found in Ref. HasKimWu17a, for a linear bulk dispersion; however, these authors did not recognize the generic structure and relationship between boundary conditions and selfadjoint extensions of the bulk Hamiltonian.
 (33) This is also true on the surface normal to direction, where .
 (34) A. A. Soluyanov, D. Gresch, Z. Wang, Q.S. Wu, M. Troyer, X. Dai, and B. A. Bernevig, Nature 527, 495 (2015).
 (35) S. Tchoumakov, M. Civelli, and M. O. Goerbig, Phys. Rev. B 95, 125306 (2017).
 (36) M. Reed and B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis (Academic Press, New York, 1972).