# Energy spectrum and broken spin-surface locking in topological insulator quantum dots

## Abstract

We consider the energy spectrum and the spin-parity structure of the eigenstates for a quantum dot made of a strong topological insulator. Using the effective low-energy theory in a finite-length cylinder geometry, numerical calculations show that even at the lowest energy scales, the spin direction in a topologically protected surface mode is not locked to the surface. We find “zero-momentum” modes, and subgap states localized near the “caps” of the dot. Both the energy spectrum and the spin texture of the eigenstates are basically reproduced from an analytical surface Dirac fermion description. Our results are compared to microscopic calculations using a tight-binding model for a strong topological insulator in a finite-length nanowire geometry.

###### pacs:

73.50.-h, 72.80.Vp, 73.23.-b## I Introduction

The theoretical prediction and subsequent experimental verification of the conducting surface state of a strong topological insulator (TI) continues to generate a lot of excitement in physics; for reviews, see Refs. hasan, ; qi, ; joel, . In a TI, strong spin-orbit couplings and band inversion conspire to produce a time-reversal invariant topological state different from a conventional band insulator. Using BiSe as a weakly correlated reference TI material with rather large bulk gap meV, surface probe experiments have provided strong evidence for the topologically protected gapless surface state.xia () The measured spin texture of the surface state is consistent with predictions obtained for two-dimensional (2D) massless Dirac fermions. Under this “relativistic” description, the spin direction is locked to the surface, and the surface state is stable against the effects of weak disorder and weak interactions (topological protection).hasan (); qi (); joel () It is thus useful to first study the simplest case of a noninteracting disorder-free model, which is the case investigated below.

Because of the residual bulk conductivity of the presently available (nominally insulating) TI samples, it has been difficult to experimentally extract the surface contribution to the electrical conductivity. One attempt to improve the situation is to consider mesoscopic samples, where the surface-to-volume ratio is more advantageous. In particular, thin-film geometriesqu (); checkelsky () and quasi-1D nanowires (“ribbons”)peng (); cha (); zuev (); tang () have been studied experimentally. Signatures for Aharonov-Bohm interference effects associated with the topological surface state in BiSe nanowires were reported,peng () cf. also related experiments for SbTe nanowires.zuev () For infinitely long and circulary symmetric topological nanowires, band structure calculations predict a multi-channel waveguide where all surface modes are gapped because of spin-surface locking.ashv0 (); egger (); piet (); ashvin () With denoting the conserved momentum along the wire axis (taken along the direction), and the half-integer total angular momentum, the dispersion relation of these modes is

(1) |

where throughout and for conduction and valence band, respectively. The Fermi velocities and differ because the bulk dispersion relation is anisotropic, see below, and the nanowire radius is . Note that there is a minimal gap for the surface modes since is half-integer. For reasonable values of , we have .

Experiments probing quantum dot physics in finite-length TI nanowires are expected to yield new insights into the exciting physics of TIs, in close analogy to semiconductor nanowires and carbon nanotubes where such experiments have been highly successful.nano1 (); nano2 () To prepare the ground, we here consider the band structure for TI quantum dots with a finite-length nanowire geometry. For a spherical TI dot, the band structure was worked out before.dhlee (); paco (); malkova () However, we draw attention to several features that only arise when the surface contains sharp edges, i.e., non-differentiable parts, as is the case for the cylinder. We employ three different and independent approaches to understand TI quantum dot energy levels and their spin texture: (1) For a cylindrical TI nanowire of length and radius closed by flat caps, we have performed detailed numerical calculations for the energy spectrum and the spin texture of the eigenstates based on the effective low-energy theory of Zhang et al.;zhang1 (); zhang2 () material parameters were chosen for BiSe as quoted in Ref. zhang2, . (2) An analytical approach starting from a surface Dirac fermion description has been developed for the same geometry. Most of our numerical results can thereby be quantitatively reproduced within an analytical theory. (3) We have also studied a microscopic tight-binding model for a strong TI in the finite-size nanowire geometry and find qualitatively similar results.

The main conclusions reached from these three approaches are as follows: First, longitudinal momentum quantization implies a discrete sequence of energy levels which can (roughly) be approximated by letting () in Eq. (1). Remarkably, in addition we find unconventional “zero-momentum” states (where, formally, ). In such a state, the charge and spin densities are almost homogeneous along the -direction. Furthermore, there are subgap states energetically located within the surface mode gap (). These states are localized near both caps and show interesting spin texture. Second, we observe significant out-of-surface components for the spin density associated with all energy eigenstates. Note that an out-of-plane spin texture is only expected when trigonal warping effects are important,fu (); yazyev () see also very recent experimental results reporting such features.trig1 (); trig2 () However, to lowest order in momentum (around the point), trigonal warping can be neglected, while we persistently find broken spin-surface locking also at the lowest energy scales. Our observations are instead related to the presence of non-differentiable sections of the surface, where the wavefunctions in the “trunk” and “cap” regions of the cylinder have to be matched. Such non-differentiable surface parts also appear in the samples studied in Refs. peng, ; cha, , and therefore surface probe experiments for these devices could directly test our prediction of broken spin-surface locking. For differentiable closed surfaces, we expect spin-surface locking to stay intact. In fact, the explicit solution of the problem in a spherical geometry exhibits spin-surface locking.dhlee (); paco () We note in passing that for a flat TI surface, a time-dependent out-of-plane spin component can also be generated by elastic disorder. However, this component will precess around the momentum-dependent spin-orbit axis (which lies in the plane) and averages to zero on time scales corresponding to the inverse Fermi energy.burkov ()

The structure of the remainder of this paper is as follows. In Sec. II, we describe the results of our numerical calculations for cylindrical TI nanowire dots based on the effective low-energy theory. In Sec. III, an analytical approach based on the surface Dirac fermion picture is described for the same geometry. The spectrum and the spin density profile for the resulting eigenstates will be derived, and the results are compared to the numerical findings in Sec. II. In Sec. IV, we turn to the tight-binding calculation and compare those computations to the previous results. Finally, we conclude in Sec. V. Appendix A contains a derivation of the surface Dirac fermion Hamiltonian for an infinitely long nanowire using the approach of Ref. paco, .

## Ii Effective low-energy description

### ii.1 Model and numerical approach

In this section, we compute the band structure of a cylindrical nanowire of length and radius from the effective low-energy theory of Zhang et al.zhang1 (); zhang2 () using parameters for BiSe. Up to terms of order with , the low-energy bulk Hamiltonian employing the four bands energetically closest to the point is zhang2 ()

(2) |

where and , with . This also defines the Fermi velocities (in direction) and (in the plane), see Eq. (1). The basis states encoding the spin-parity structure, where Pauli matrices () act in spin (parity) space and () denotes the respective unit matrix, are explicitly given in Ref. zhang2, . This work also describes the extension of Eq. (2) to the case of eight bands or towards including trigonal warping. Using the parameters in Ref. zhang2, , listed for convenience also in Table 1, the criterion for a TI phasehasan () is satisfied. One therefore must have an odd number of conducting surface modes when boundaries are present.

(eVÅ) | (eVÅ) | (eV) | (eVÅ) | (eVÅ) | (eV) | (eVÅ) | (eVÅ) |
---|---|---|---|---|---|---|---|

3.33 | 2.26 | -0.0083 | 5.74 | 30.4 | -0.28 | 6.86 | 44.5 |

Our aim is to describe the band structure of a finite-length cylindrical nanowire with axis along the direction. Due to rotational symmetry in the plane, it is useful to switch to cylindrical coordinates . The “cylindrical” Pauli matrices () then represent the physical spin operator,zhang1 (); zhang2 ()

(3) |

and we refer to their local expectation values as “spin densities” below. The conserved total angular momentum operator is

(4) |

For the finite-length cylinder we then construct the eigenfunctions to the Hamiltonian (2) with Dirichlet boundary conditions, , on the surface, i.e., for with (cylinder trunk) and for with (caps). This is automatically achieved by expanding states in a complete orthonormal basis, , that satisfies these boundary conditions. The quantum numbers include the half-integer angular momentum , a radial index , the longitudinal quantum number , and the spin index . Explicitly, see also Ref. egger, , for and , the basis is chosen in the form

(5) |

where , is the cylinder volume, and denotes the th zero of the Bessel function . The basis set (5) satisfies the orthonormality relation In addition, the basis states acquire a spinor structure in parity space not shown explicitly in Eq. (5).

Expanding the Hamiltonian [Eq. (2)] in this basis, we obtain a matrix representation that allows for numerical calculations in a truncated basis set. Upon increasing the basis set, numerical results for the spectrum turn out to converge rather slowly. We have performed a lattice regularization as in Ref. koenig, in order to obtain manageable matrix dimensions. Typically, we achieve convergence with basis states for given . The solution of the eigenvalue problem then yields the discrete energy spectrum of such a quantum dot, , where labels the different states for the conduction or valence () band with given angular momentum . Taking averages with respect to the corresponding eigenvector then yields the spatially dependent charge density profile for this state, . In addition, one obtains the local spin densities, with , and the local parity densities, with . Rotational symmetry implies that all these averages are independent of the angular variable .

### ii.2 Numerical results

We now present the results of our numerical calculations. The discrete energy spectrum for a TI nanowire dot with nm and nm is shown in Fig. 1. The Kramers degeneracy results in an identical spectrum for but with reversed spin and parity () directions. We therefore show only the solutions in Fig. 1. Moreover, we focus on the topologically protected surface fermion modes inside the bulk gap .

There are several noteworthy points about Fig. 1. First, comparison with our analytical results, see Eq. (26) and Sec. III below, shows that most levels are approximately recovered from the bulk dispersion relation [Eq. (1)] by simply imposing the standard quantization condition with on the longitudinal momentum . However, here additional states corresponding to emerge. These zero-momentum states are absent for Schrödinger fermions in a box. Note that for each , there is precisely one state for the conduction band and one for the valence band. Inspection of the density profiles for these states reveals almost homogeneous charge, spin, and parity densities as a function of the coordinate. Second, for , we find a pair of nearly degenerate subgap states inside the surface gap . (The near-degeneracy is not visible in Fig. 1.) Such a subgap state is localized with equal occupation probability at both caps. Furthermore, electron-hole symmetry is broken under the Zhang model , in contrast to the analytical model in Sec. III. This is the main reason for the existing discrepancies between Eq. (26) and the numerical results, see Fig. 1. In fact, we have also carried out additional numerical calculations for an electron-hole symmetric version of Eq. (2), where the corresponding results fit almost perfectly to the analytical results in Sec. III. In particular, all subgap states then disappear.

Inspection of the spin densities, , and parity densities, , for a given eigenstate yields

(6) |

i.e., spin is never oriented in the circumferential direction. In addition, there is now a finite radial spin component within the trunk region () and a finite -component within the caps (). Hence, in general, the spin direction for a surface state points out of the surface: spin-surface locking is broken in this geometry. This finding is in striking contrast to what happens in an infinite nanowireegger () and for a sphere.dhlee () Specifically, in the infinite cylinder case, the results corresponding to Fig. 2 show reflecting spin-surface locking.

Figure 2 shows the spin density profile for the lowest-lying (“zero-momentum”) conduction band state with , indicated by the lower left arrow in Fig. 1. We indeed find an almost homogeneous spin density profile along the trunk, where spin is mostly aligned along the (negative) -direction, see Fig. 2(a). Also the charge density is practically homogeneous along the -direction (data not shown). However, there is also a finite radial spin component breaking spin-surface locking, see Fig. 2(b). For the cap region, spin is mostly aligned along the radial direction, but again an out-of-plane component, now oriented along the -axis, is clearly visible. For comparison, Fig. 3 shows the respective results for the next higher energy level (upper left arrow in Fig. 1). Again we observe that spin-surface locking is violated, while in the infinite cylinder case one finds (spin-surface locking).

For , our numerical results include an almost degenerate pair of subgap states, where the degeneracy is on top of the Kramers degeneracy. The charge density is then localized with equal probability near each of the two cylinder caps. A typical example for the spin texture of such a subgap state is shown (for ) in Fig. 4. The out-of-plane spin part is identical on both caps, see Fig. 4(a), but the in-plane (radial) component shown in Fig. 4(b) has opposite direction.

Comparing our numerical results for parity, charge and spin densities, we find that for each eigenstate, they are linked by a set of general relations. In particular, for the (radially integrated) densities in the trunk region, we find

(7) |

Note that in the infinite wire case,egger (); paco () the parity structure is trivial in the sense that (for large ) the only non-zero component is , cf. Appendix A.

## Iii Surface Dirac fermion theory

In this section, we analyze the finite-length nanowire geometry of Sec. II within a surface Dirac fermion theory, where we retain parity in the Hilbert space of the surface Hamiltonian. While this is not necessary for an infinite cylinderegger () or for the flat 2D surface,zhang2 () the discussion at the end of Sec. II.2 shows that this extension is important here.

### iii.1 Infinitely long wire and symmetries

We start with the parity-extended surface Dirac fermion Hamiltonian for an infinitely long nanowire,ashv0 (); egger ()

(8) |

where the total angular momentum operator has been defined in Eq. (4). acts in parity space and is determined below. We note that respects all symmetries present in [Eq. (2)]. Specifically, azimuthal symmetry implies , and states are classified by half-integer ,

(9) |

with the 1D spinor . Time-reversal symmetry implies , with the time-reversal operator , where denotes complex conjugation. Finally, Eq. (8) exhibits inversion symmetry, , with the inversion operatorfoot1 ()

(10) |

Here, inverts the coordinate, , and shifts . The parity structure in Eq. (10) follows from the results of Ref. zhang1, . Evidently, both time-reversal and inversion symmetry are only kept intact when choosing in Eq. (8). We here set , as follows from the analytical derivation of Eq. (8) in Appendix A as well as from numerical calculations based on the Zhang model for the infinite nanowire case.egger ()

Using Eq. (9), we can now switch to a 1D representation for a given angular momentum () channel. For given energy , the 1D spinor obeys the 1D Dirac equation withfoot2 ()

(11) |

see also the derivation leading to Eq. (38) in Appendix A. Note that the representation of the Dirac matrices in Eq. (38) in terms of products of spin and parity matrices, see Eq. (11), is multi-valued and leads to a double counting of all surface states derived from Eq. (11). Nevertheless, it is technically convenient to proceed in this representation, since the double counting can be easily circumvented, see Sec. III.3.

The general solution to the 1D Dirac equation with Hamiltonian in Eq. (11) reads

(12) |

with arbitrary complex coefficients . The spinors above are in parity space while acts in spin space,

(13) |

In Eq. (12), the longitudinal momentum follows from . Below we consider energies where is real and positive. For a description of the subgap states discussed in Sec. II.2, evanescent modes need to be studied instead. In the 1D representation, the inversion operator [Eq. (10)] becomes with

(14) |

Since Eq. (11) stays invariant under inversion, , the eigenfunctions (12) can be classified as inversion symmetric or antisymmetric (),

(15) |

From Eqs. (12) and (15), after a short calculation, we can therefore infer relations between the coefficients for given inversion symmetry (:

A general inversion-symmetric (antisymmetric) state thus takes the form

(16) | |||||

Both are parametrized by two complex numbers ( and ), where the first (second) spinor refers to parity (spin) space.

Next let us take the local expectation value for the charge, spin, and parity operators in a given general eigenstate . First, with , the charge density is

(17) |

For the spin density, we obtain

(18) |

Similarly, the parity density is obtained in the form

(19) |

At this stage, the above results hold for an arbitrary inversion-symmetric () or antisymmetric () state. Remarkably, the circumferentially oriented spin density always vanishes. This is in accordance with our numerical observations, see Eq. (6). The current density along the direction can be obtained from the local operatoregger ()

(20) |

and therefore vanishes identically for these states as well.footcur () This result stays valid for arbitrary inversion-symmetric boundary conditions (which do not mix states).

In order to reach agreement with the numerical results in Sec. II.2, the coefficients should obey the three relations

(21) |

Indeed, the first relation implies consistency with Eq. (6). The second relation ensures that , see Eq. (7). The third relation is required to have non-vanishing spin-parity densities and . Moreover, notice that then , in accordance with Eq. (7).

### iii.2 Matching trunk and cap states

The coefficients in Eq. (16) as well as the energy spectrum and the corresponding eigenstates can now be obtained analytically by matching the trunk states, see Eq. (16) for , with cap states at . Each cap is described by a surface Dirac Hamiltonian of the form

(22) |

The parity matrix is uniquely determined by imposing time-reversal and inversion symmetry, and also appears in Eq. (2). In the angular momentum (1D) representation, for given energy , a cap state [with and inversion symmetry index ] takes the general form (for , this should be multiplied by )

(23) |

with complex coefficients and the spin spinor

(24) |

The other spinors in Eq. (23) are in parity space.

Matching the trunk states [Eq. (16)] and the cap states [Eq. (23)] for given and by continuity at and , we obtain four linear equations for the four coefficients . A nontrivial solution follows when the corresponding determinant vanishes, yielding the condition ()

(25) |

For real-valued , this equation can only be satisfied when . This implies the standard longitudinal momentum quantization condition with . The corresponding eigenenergies then follow from the bulk dispersion relation in Eq. (1),

(26) |

For a given level, the wave function amplitudes and then satisfy three conditions plus the overall normalization constraint. With and the above definition of , we have and the relation

(27) |

Moreover, for the third condition reads

(28) |

while for this instead becomes

These relations determine all possible wavefunctions for the closed cylinder surface.

Of course, since we considered only solutions of Eq. (25) with real , subgap states were not captured. However, within the linear-in- approximation underlying the approach here, we find that there are no subgap states at all, i.e., the corresponding matching problem with evanescent trunk modes does not permit a nontrivial solution. The numerical approach of Sec. II also indicates that in order to obtain subgap states, it is necessary to include higher-order terms (in ) breaking electron-hole symmetry in the Hamiltonian.

### iii.3 Spectrum and eigenstates of the dot

Using the above explicit solution for the wavefunction of the complete cylinder, we obtain the coordinate dependence of all densities of interest. We here describe the results for the trunk region only. First of all, we recover

see Eq. (6). Moreover, the relations

are also reproduced, see Eq. (7). Specifically, the dot eigenstates have the energy specified in Eq. (26). We show below that these energies are not degenerate, i.e., only one specific inversion parity given by

(29) |

will be physically realized. With , we find for the charge and spin densities ()

(30) | |||||

These results are in good agreement with the numerical results for the spin texture obtained for the Zhang model in Sec. II. In particular, they show explicitly that spin-surface locking is broken.

Interestingly, for each total angular momentum , there are two zero-momentum states corresponding to conduction and valence band, respectively. Their inversion symmetry properties are determined by

(31) |

since for states with the opposite value of , all densities in Eq. (30) vanish. For the physically allowed state with in Eq. (31), from Eq. (30) we instead find spatially uniform densities , , and , while all remaining spin or parity density components vanish.

We now compare the densities in Eq. (30) to the numerical results in Sec. II, and also address the double counting problem mentioned in Sec. III.1. Eq. (27) shows that indeed , in accordance with our numerical results in Sec. II.2, see Eq. (21). Also the relation in Eq. (21) is evidently satisfied. However, not all the states can be realized physically, as is clear by comparing to the condition in Eq. (21) found numerically in Sec. II. In order to understand this restriction, we note that the operator commutes both with the cap Hamiltonian [Eq. (22)] and with the inversion operator [Eq. (14)]. This implies by continuity that trunk states [Eq. (16)] at the end points ( with ) are eigenstates of as well,

where the eigenvalues follow from Eq. (16) and the definition of . For , however, Eq. (31) implies that only the eigenvalue is physically realized. By continuity, this value must also apply for the full Hilbert space of conduction or valence surface bands. We therefore obtain the “selection rule” in Eq. (29) restricting the Hilbert space of allowed states. This explains the condition and resolves the double-counting problem. We mention in passing that the latter problem is automatically avoided when retaining terms of order in the Hamiltonian, where the spin-parity eigenstates with have different energy. In the Dirac theory, this implies a “spontaneously broken symmetry” encoded by Eq. (29).

### iii.4 Effective boundary conditions

It is also possible to derive the results in Sec. III.3 without explicit construction of the cap states. To that end, let us briefly consider a class of general boundary conditions at the cylinder ends, with , by imposing the local gauge constraints

(32) |

where . The spin-parity structure of can be determined by requiring time-reversal invariance, , and invariance under inversion, . In addition, we require the boundary operator to commute with , which is a natural assumption for closed surfaces. As a result, with arbitrary angles , we find

Passing to the 1D representation, i.e., for given half-integer , these constraints read

(33) | |||||

Applying the inversion operator , see Eq. (14), to the boundary condition (33), we find and hence . Only then will inversion symmetry be preserved for the confined states. The parameter (with ) cannot be fixed by symmetry considerations alone but depends on the physical boundary condition imposed at the ends, i.e., the boundary matrix effectively encodes the matching of trunk states with cap states. Contrary to the commonly employed boundary conditions,falko (); akhmerov () the operator commutes with the current operator , see Eq. (20), while the anticommutator is always nonzero. Since the boundary conditions are invariant with respect to inversion, they do not mix the states (16) with opposite inversion parity . Using the boundary condition (33), some algebra yields for both solutions and for arbitrary energy the condition

(34) |

Comparing this to Eq. (27), the energy-dependent angle can be explicitly related to the above wavefunction matching procedure, and the subsequent results in Sec. III.3 can be obtained under a purely 1D description of the trunk states alone.

## Iv Microscopic tight-binding approach

A simple microscopic model for a strong TI was previously proposed by Fu, Kane, and Mele.fu-kane-mele-07 () The model consists of a single-band tight-binding model on a diamond lattice and includes spin-orbit couplings. With lattice fermion operators (spin is kept implicit), this Hamiltonian has the form

(35) |

where is the cubic lattice constant, are hopping parameters connecting nearest neighbors, and the last term describes spin-orbit coupling of strength through a second-neighbor hopping between sites , which depends on the two nearest-neighbor vectors connecting those two sites. In order to generate a full gap in the bulk spectrum, a distortion is introduced for along the (111) direction.fu-kane-mele-07 ()

To define the nanowire, we proceed as in Ref. egger, by selecting the growth direction along the (111) axis and keeping all sites within a given radius . The unit cell of the infinite nanowire thus defined contains six planes of sites corresponding to the three stackings of the two fcc sublattices of the diamond lattice, and has the period . Although this model is not completely equivalent to the one of Eq. (2), quantitatively similar behavior of the surface gap as a function of has been obtainedegger () by setting nm and . The finite dot geometry is then defined by setting the length of the nanowire along the (111) direction to a given value . To maintain the aspect ratio of the cylindrical dot studied numerically in Sec. II, we set and . This corresponds to a cluster of 1592 sites, which is a small enough size to keep a reasonable computational cost of the calculations while still allowing for a meaningful comparison of the spin texture with the results of Secs. II and III.

The band structure of the infinite nanowire and the energy levels in the finite dot geometry are shown in Fig. 5, where we again focus on states energetically inside the bulk gap. As expected, both the bands of the infinite wire and all dot levels are twofold Kramers degenerate. For the chosen parameter set, we find two subgap states appearing inside the surface gap . (Since there is no full rotational symmetry anymore, we cannot classify states by here.)

To get an idea of the spin texture of the dot states, we now focus on the two states indicated by arrows in Fig. 5. The lower arrow corresponds to a subgap state, and the second one refers to the lowest-lying state within the conduction band of the infinite wire. The corresponding spin densities are shown in Figs. 6 and 7. As in the effective low-energy theory and the surface Dirac fermion description, we again observe , and therefore only and are shown. Note that in the infinite wire case, one would instead find consistent with spin-surface locking.egger ()

The subgap states have a charge density mostly localized near the caps of the cylindrical dot, again with out-of-plane (in-plane) spin components that are identical (oppositely directed) on both sides, reproducing the results of Secs. II and III. However, unlike the continuous model, the tight-binding model predicts a spin texture with a superimposed atomic-scale oscillation. This oscillation stems from the finite value at the Dirac point in this model.

On the other hand, for the lowest-lying state within the conduction band, corresponding to the “zero-momentum” state in Secs. II and III, Figure 7 shows that the density is largest along the cylinder trunk. The spin is predominantly oriented along the negative -direction, but with a finite oscillatory component in the radial direction that breaks spin-surface locking.

## V Conclusions

In this paper we have studied the band structure of a quantum dot made of a strong topological insulator using three different approaches, namely the low-energy theory of Zhang et al.,zhang1 (); zhang2 () an effective surface Dirac fermion theory, and numerical calculations for a tight-binding model on a diamond lattice with strong spin-orbit couplings. The considered geometry, with flat caps terminating a finite-length cylindrical nanowire, is characterized by sharp edges where the cylinder trunk and caps meet. Such edges are also present in typical “mesoscopic” TI devices studied experimentally.peng (); cha (); zuev (); tang () All three approaches show that spin-surface locking is generally violated due to presence of these edges. As also found in a recent ab initio study,moon () a finite reflection probability for Dirac fermions in each part results when two surfaces are patched together. In our case, we have a Fabry-Perot-like setup where standing waves can build up. The resulting spin density then exhibits spatial oscillations reminiscent of a spin density wave state. The spin direction of the oscillatory parts points out of the surface while non-oscillatory spin density contributions stay locked to the surface.

The spectrum of such a quantum dot shows several surprising features. First, when starting from the band structure of the infinitely long wire [Eq. (1)], imposing the usual longitudinal quantization condition, , here allows for a nontrivial eigenstate with . In such a zero-momentum state the charge and spin densities along the trunk are basically homogeneous. Second, albeit the surface bands of an infinite nanowire exhibit a gap, the finite-length nanowire dot has subgap states when electron-hole symmetry is broken. The wavefunction of such a subgap state is localized on both caps simultaneously. The obtained energy spectrum and corresponding spin textures are important ingredients for a theory of mesoscopic transport through TI dots. In general, we also expect Coulomb interactions to be relevant, in particular charging effects should be visible. We plan to address these questions in the future. Moreover, extensions of the theory to include an applied magnetic field, where the typically large and anisotropic Landé factorzhang2 () implies that the Zeeman field is crucial, are also left for future work.

###### Acknowledgements.

We acknowledge financial support by the SFB Transregio 12 of the DFG and by the Spanish MICINN under contract FIS2008-04209.## Appendix A Surface Hamiltonian for infinite nanowire

Here we analytically derive Eq. (8) for an infinite nanowire using the gap-inversion model of Ref. paco, . Our starting point is Eq. (2) to linear order in (we put here),

(36) |

Following Ref. paco, , we assume that the gap parameter changes sign at , i.e., with . For (), the material is then in the topologically nontrivial (trivial) phase. In the 1D representation, for given and , solutions to the Dirac equation take the form , with the 1D radial Dirac equation

Here corresponds to

For , there are two solutions

where the first (second) spinor refers to parity (spin) space, , , and For , we have to replace and in the spin part, where and are modified Bessel functions. The general solution is then given by

(37) |

where the coefficients and are obtained by requiring continuity of the wave function at . This results in a linear system of equations for the coefficients, which has a nontrivial solution under the condition

where all Bessel functions have the argument and is evaluated for . Assuming and using the asymptotic form of the Bessel functions, we find and thus . The corresponding wavefunctions, , are given by Eq. (37) with , , and

For small , the effective surface Hamiltonian, Eq. (8), is obtained by projecting Eq. (36) onto the subspace spanned by the above states. We thereby find

(38) |

where the are Pauli matrices in the zero-momentum subspace. In this way, all combinations of spin-parity matrices, , can be represented in the truncated basis. For , we obtain the results in Table 2. Of course, this representation is not single-valued, i.e., there is no one-to-one correspondence between the and the matrices. In particular, the spin operators and the parity operator are entangled, since and . Taking and , cf. the last column of Table 2, one gets the surface Hamiltonian quoted in the main text, see Eq. (11). Because this representation is multi-valued, the replacement of by products of spin and parity matrices causes a double-counting of states if used naively. This double-counting problem is, however, not severe and can be circumvented, as we discuss in Sec. III.3 in the main text.

### References

- M.Z. Hasan and C.L. Kane, Rev. Mod. Phys. 82, 3045 (2010).
- X.-L. Qi and S.-C. Zhang, Physics Today 63, 33 (2010).
- M.Z. Hasan and J.E. Moore, arXiv:1011.5462.
- Y. Xia, D. Qian, D. Hsieh, L. Wray, A. Pal, H. Lin, A. Bansil, D. Grauer, Y.S. Hor, R.J. Cava, and M.Z. Hasan, Nature Physics 5, 398 (2009).
- D.X. Qu, Y.S. Hor, J. Xiong, R.J. Cava, and N.P. Ong, Science 329, 821 (2010).
- J.G. Checkelsky, Y.S. Hor, R.J. Cava, and N.P. Ong, arXiv:1003.3883
- H. Peng, K. Lai, D. Kong, S. Meister, Y. Chen, X.L. Qi, S.C. Zhang, Z.X. Shen, and Y. Cui, Nature Mat. 9, 225 (2010).
- J.J. Cha, J.R. Williams, D. Kong, S. Meister, H. Peng, A.J. Bestwick, P. Gallagher, D. Goldhaber-Gordon, and Y. Cui, Nano Lett. 10, 1076 (2010).
- Y.M. Zuev, J.S. Lee, C. Galloy, H. Park, and P. Kim, Nano Lett. 10, 1076 (2010).
- H. Tang, D. Liang, R.L.J. Qiu, and X.P.A. Gao, arXiv:1101.2152.
- Y. Zhang, Y. Ran, and A. Vishwanath, Phys. Rev. B 79, 245331 (2009).
- R. Egger, A. Zazunov, and A. Levy Yeyati, Phys. Rev. Lett. 105, 136403 (2010).
- J.H. Bardarson, P.W. Brouwer, and J.E. Moore, Phys. Rev. Lett. 105, 156803 (2010).
- Y. Zhang and A. Vishwanath, Phys. Rev. Lett. 105, 206601 (2010).
- J. Nygard, D.H. Cobden, and P.E. Lindelof, Nature 408, 342 (2000).
- H.W.C. Postma, T. Teepen, Z. Yao, M. Grifoni, and C. Dekker, Science 293, 76 (2001).
- D.H. Lee, Phys. Rev. Lett. 103, 196804 (2009).
- V. Parente, P. Lucignano, P. Vitale, A. Tagliacozzo, and F. Guinea, arXiv:1011.0565.
- We note that a theory for quantum dots based on the 2D semiconductors HgTe and HgS (which may have topological phases) was recently put forward by N. Malkova and G.W. Bryant, Phys. Rev. B 82, 155314 (2010).
- H. Zhang, C.X. Liu, X.L. Qi, X. Dai, Z. Fang, and S.C. Zhang, Nature Phys. 5, 438 (2009).
- C.X. Liu, X.L. Qi, H.J. Zhang, X. Dai, Z. Fang, and S.C. Zhang, Phys. Rev. B 82, 045122 (2010).
- L. Fu, Phys. Rev. Lett. 103, 266801 (2009).
- O.V. Yazyev, J.E. Moore, and S.G. Louie, Phys. Rev. Lett. 105, 266806 (2010).
- S. Souma et al., arXiv:1101.3421.
- S.Y. Xu et al., arXiv:1101.3985.
- A.A. Burkov and D.G. Hawthorn, Phys. Rev. Lett. 105, 066802 (2010).
- M. König, H. Buhmann, L.W. Molenkamp, T. Hughes, C.X. Liu, X.L. Qi, and S.C. Zhang, J. Phys. Soc. Jpn. 77, 031007 (2008).
- Under inversion, we have , while .
- In the 1D representation (9), the cylindrical Pauli matrices in Eq. (3) are replaced by .
- For current-carrying states, one has to impose boundary conditions breaking the inversion symmetry.
- E. McCann and V.I. Fal’ko, J. Phys.: Cond. Matt. 16, 2371 (2004).
- A.R. Akhmerov and C.W.J. Beenakker, Phys. Rev. B 77, 085423 (2008).
- L. Fu, C.L. Kane, and E.J. Mele, Phys. Rev. Lett. 98, 106803 (2007).
- C.Y. Moon, J. Han, H. Lee, and H.J. Choi, arXiv:1101.0210.