Protected edge modes without symmetry
We discuss the question of when a gapped 2D electron system without any symmetry has a protected gapless edge mode. While it is well known that systems with a nonzero thermal Hall conductance, , support such modes, here we show that robust modes can also occur when – if the system has quasiparticles with fractional statistics. We show that some types of fractional statistics are compatible with a gapped edge, while others are fundamentally incompatible. More generally, we give a criterion for when an electron system with abelian statistics and can support a gapped edge: we show that a gapped edge is possible if and only if there exists a subset of quasiparticle types such that (1) all the quasiparticles in have trivial mutual statistics, and (2) every quasiparticle that is not in has nontrivial mutual statistics with at least one quasiparticle in . We derive this criterion using three different approaches: a microscopic analysis of the edge, a general argument based on braiding statistics, and finally a conformal field theory approach that uses constraints from modular invariance. We also discuss the analogous result for 2D boson systems.
In two dimensions, some quantum many-body systems with a bulk energy gap have the property that they support gapless edge modes which are extremely robust. These modes cannot be gapped out or localized by very general classes of interactions or disorder at the edge: they are “protected” by the structure of the bulk phase. Examples include quantum Hall states,(1); (2) topological insulators,(3); (4); (5) and topological superconductors,(6) among others.
It is useful to distinguish between different levels of edge protection. In some systems, the edge excitations are only robust as long as certain symmetries are preserved. For example, in 2D topological insulators, the edge modes are protected by time reversal and charge conservation symmetry. If either of these symmetries are broken (either explicitly or spontaneously), the edge can be completely gapped. In contrast, in other systems, the edge modes are robust to arbitrary local interactions, independent of any symmetries.
While much previous work has focused on symmetry-protected edges, here we will focus on the latter, stronger, form of robustness. The goal of this paper is to answer a simple conceptual question: when does a gapped 2D quantum many-body system without any symmetry have a protected gapless edge mode?
One case in which such protected edge modes are known to occur is if the system has a nonzero thermal Hall conductance (7); (8) at low temperatures, i.e. . This result is particularly intuitive for systems whose edge can be modeled as a collection of chiral Luttinger liquids. Indeed, in this case, , where are the number of left and right moving chiral edge modes. Hence the condition is equivalent to . It is then clear that implies a protected edge: backscattering terms or other perturbations always gap out left and right moving modes in equal numbers, so if there is an imbalance between and , the edge can never be fully gapped. Alternatively, we can understand this result by analogy to the electric Hall conductance, : just as systems with are guaranteed to have a gapless edge as long as charge conservation is not broken,(9); (10) systems with are guaranteed to have a gapless edge as long as energy conservation is not broken.
On the other hand, if then there isn’t an obvious obstruction to gapping the edge. Thus, one might guess that systems with do not have protected edge modes. Indeed, this is known to be true for systems of non-interacting fermions. (6); (11)
In this paper, we show that this intuition is incorrect in general: we find that systems with can also have protected edge modes – if they support quasiparticle excitations with fractional statistics. The basic point is that some (but not all(12)) types of fractional statistics are fundamentally incompatible with a gapped edge. Thus, quasiparticle statistics provides another mechanism for edge protection which is qualitatively different from the more well-known mechanisms associated with electric or thermal Hall response.
Our main result is a criterion for when an electron system with abelian statistics and can support a gapped edge (we discuss bosonic systems in the conclusion). We show that a gapped edge is possible if and only if there exists a set of quasiparticle “types” satisfying two properties:
The particles in have trivial mutual statistics: for any .
Any particle that is not in has nontrivial mutual statistics with respect to at least one particle in : if , then there exists with .
Here, two quasiparticle excitations are said to be of same topological “type” if they differ by an integer number of electrons. In this language, a gapped system typically has only a finite set of distinct quasiparticle types, which we will denote by ; the set should be regarded as a subset of . Following previous terminology, (13) we will call any subset that obeys the above two properties a “Lagrangian subgroup” of .
Our analysis further shows that every gapped edge can be associated with a corresponding Lagrangian subgroup . Physically, the set describes the set of quasiparticles that can be “annihilated” at the edge, as explained in section IV. We show that if contains more than one Lagrangian subgroup, then the system supports more than one type of gapped edge: in general there is a different type of edge for every . In this sense, different types of gapped edges are (at least partially) classified by Lagrangian subgroups .
We now briefly discuss the relationship with previous work on this topic. A systematic, microscopic analysis of gapped edges was presented in Ref. (14). In that work, the authors constructed and analyzed gapped edges for a large class of exactly soluble bosonic lattice models with both abelian and non-abelian quasiparticle statistics. On the other hand, gapped edges were studied from a field theory perspective in Ref. (13). In that paper, the authors investigated “topological boundary conditions” for abelian Chern-Simons theory. Both analyses showed that gapped boundaries (or boundary conditions) are classified by an algebraic structure similar to the Lagrangian subgroup introduced above. However, neither result implied that this classification scheme is general and includes all abelian gapped edges: indeed, it is not obvious, a priori, that exactly soluble models or topological boundary conditions are capable of describing all types of gapped edges. One of the main contributions of this work is to fill in this hole and to show, in a concrete fashion, that every abelian gapped edge is associated with some Lagrangian subgroup . It is this generality that allows us to deduce the existence of protected edges in those cases when has no Lagrangian subgroup , i.e. when the criterion is violated.
We will derive the above criterion using three different approaches: a microscopic edge analysis, a general argument based on quasiparticle braiding statistics, and finally an argument that uses constraints from modular invariance. These derivations are complementary to one another. The microscopic argument proves that the criterion is sufficient for having a gapped edge but does not prove that it is necessary (it only provides evidence to that effect). The other two arguments show that the criterion is necessary for having a gapped edge, but do not prove that it is sufficient.
This paper is organized as follows: in section II we discuss some illustrative examples of the criterion, in sections III-V we establish the criterion with three different arguments, and in the conclusion we discuss the bosonic case and other generalizations. The appendix contains some of the more technical derivations.
Ii Two examples
Before deriving the criterion, we first discuss a few examples that demonstrate its implications.
A particularly illuminating example is the fractional quantum Hall state – that is,
the particle-hole conjugate of the Laughlin state. Let us consider a thought experiment in which
the edge of the state is proximity-coupled to a superconductor (Fig. 1a). Then charge
conservation is broken at the edge, so the edge does not have any symmetries.
To underscore the surprising nature of this result, it is illuminating to consider a second example: a state constructed by taking the particle-hole conjugate of the Laughlin state. (While this state has not been observed experimentally, we can still imagine it as a matter of principle). Again, let us consider a setup in which the edge is proximity-coupled to a superconductor, thereby breaking charge conservation symmetry (Fig. 1b). This system is superficially very similar to the previous one, with two edge modes moving in opposite directions, and a vanishing thermal Hall conductance . However, in this case the above criterion predicts that the edge is not protected. Indeed, the state has different quasiparticle types which we denote by . The mutual statistics of two quasiparticles is given by . Examining this formula, we can see that the subset of quasiparticles obeys both (1) and (2), i.e. it is a valid Lagrangian subgroup.
Iii Microscopic argument
In this section, we derive the criterion from a microscopic analysis of the edge. We follow an approach which is similar to that of Refs. (16); (17); (18); (19); (20) and also the recent paper, Ref. (21).
iii.1 Analysis of the examples
Before tackling the general case, we first warm up by studying the and examples discussed above. Recall that the criterion predicts that the edge can be gapped while the edge is protected. We now verify these claims by constructing edge theories for these two states and analyzing their stability.
We begin with the state. To construct a consistent edge theory for this state, consider a model in which there is a narrow strip of separating the droplet and the surrounding vacuum. The edge then contains two chiral modes – a forward propagating mode at the interface between the strip and the vacuum, and a backward propagating mode at the interface between and . The mode can be modeled as the usual edge: (1); (2)
Similarly, the mode can be modeled as the usual edge, but with the opposite chirality:
Here, the two parameters encode the velocities of the two (counter-propagating) edge modes. We use a normalization convention where the electron creation operator corresponding to is , while the creation operator for is . Combining these two edge modes into one Lagrangian gives
In this notation, a general product of electron creation and annihilation operators corresponds to an expression of the form where is a two component integer vector.
Given this setup, the question we would like to investigate is whether it is possible to gap out the above edge theory (3) by adding appropriate perturbations. For concreteness, we focus on perturbations of the form
where is a two component integer vector. These terms give an amplitude for electrons to scatter from the forward propagating mode to the backward propagating mode . Importantly, we do not require to conserve charge, since we are assuming charge conservation is broken by proximity coupling to a superconductor (Fig. 1b). However, we do require that conserve fermion parity.
We now consider the simplest scenario for gapping the edge: we imagine adding a single backscattering term to the edge theory (3). In this case, there is a simple condition that determines whether can open up a gap: according to the null vector criterion of Ref. (22), can gap the edge if and only if satisfies
The origin of this criterion is that it guarantees that we can make a linear change of variables
such that in the new variables, the edge theory (3) becomes a standard non-chiral
Luttinger liquid, and becomes a backscattering term. It is then clear
that the term can gap out the edge, at least if is sufficiently large.
By inspection, we easily obtain the solution . It follows that the corresponding scattering term can gap out the edge. We note that this term is not charge conserving, since it corresponds to a process in which one electron is annihilated on one edge mode and three are created on the other. However, it is still an allowed perturbation in the presence of the superconductor, since it conserves fermion parity (in fact, it is not hard to show that solutions to (6) always conserve fermion parity).
Now let us consider the edge. Following a construction similar to the one outlined above, we model the edge by the theory (3) with
As before, we ask whether backscattering terms can gap the edge, and as before, we can answer this question by checking whether satisfies the null vector condition (6). However, in this case, we can see that (6) reduces to
which has no integer solutions, since is irrational. We conclude that no single perturbation can open up a gap – suggesting that the edge is protected.
We emphasize that this analysis only shows that the edge is robust against a particular class of perturbations – namely single backscattering terms of the form (5). Hence, the above derivation only gives evidence that is protected; it does not prove it.
iii.2 General abelian states
We now extend the above analysis to general electron systems with abelian quasiparticle statistics and with . For each state, we investigate whether its edge modes can be gapped out by simple perturbations. We show that if a state satisfies the criterion, then its edge can be gapped out. Conversely, we show that if a state does not satisfy the criterion then its edge is protected – at least against the perturbations considered here. In this way, we prove that the criterion is sufficient for having a gapped edge, and we give evidence that it is necessary.
Our analysis is based on the Chern-Simons framework for describing gapped abelian states of matter. According to this framework, every abelian state can be described by a component Chern-Simons theory of the form(2); (1); (24)
where is a symmetric, non-degenerate integer matrix. In this formalism, the quasiparticle excitations are described by coupling to bosonic particles that carry integer gauge charge under each of the gauge fields . Thus, the quasiparticle excitations are parameterized by component integer vectors . The mutual statistics of two excitations is given by
while the exchange statistics is . Excitations composed out of electrons correspond to vectors of the form where is a component integer vector. Two quasiparticle excitations are “equivalent” or “of the same type” if they differ by some number of electrons, i.e. for some .
In this paper, since we are interested in states with equal numbers of left
and right moving edge modes (i.e. states with ), we will restrict ourselves to -matrices with
vanishing signature and dimension .
Let us translate the criterion from the introduction into the -matrix language. The set of quasiparticles corresponds to a collection of (inequivalent) component integer vectors, . Conditions (1) and (2) translate to the requirements that:
is an integer for any .
If is not equivalent to any element of , then is non-integer for some .
The criterion states that the edge can be gapped if and only if there exists a set satisfying these two conditions.
To derive this result, we use the bulk-edge correspondence for abelian Chern-Simons theory (1); (2) to model the edge as a component chiral boson theory (3). We then ask whether the edge can be gapped by adding backscattering terms (5). In order to gap out all edge modes, we need terms, , where are all linearly independent. Similarly to Eq. 6, there is a simple condition for when the perturbation can gap out the edge. Specifically, one can show that this term can gap out the edge if and only if satisfy
for all .
To complete the derivation, we make use of a mathematical result derived in appendix A. According to this result, equation (12) has a solution if and only if there exists a set of integer vectors with the above two properties. (More generally, appendix A establishes a correspondence between sets of null vectors and Lagrangian subgroups ).
Putting this all together, we arrive at two conclusions. First, every state that satisfies the criterion can support a gapped edge. Second, every state that does not satisfy criterion has a protected edge – at least with respect to perturbations of the form .
Iv Braiding statistics argument
The above microscopic derivation leaves several questions unanswered. First, it does not explain the physical connection between bulk braiding statistics and protected edge modes. Instead, this connection emerges from a mathematical relationship between null vectors and Lagrangian subgroups . Another problem is that the derivation is not complete since it only analyzes the robustness of the edge with respect to a particular class of perturbations. As a result, we have not proven definitively that the criterion is necessary for having a gapped edge. In this section, we address both of these problems: we give a general argument showing that any system that supports a gapped edge must satisfy the criterion. In addition, this argument reveals the physical meaning of the set .
We begin by explaining the notion of “annihilating” quasiparticles at a gapped boundary. The idea is as follows. Consider a general gapped electron system with a gapped boundary. Let us imagine that we take the ground state and then excite the system by creating a quasiparticle/quasihole pair somewhere in the bulk. After creating these excitations, we separate them and then bring them near two points on the edge (Fig. 2a). Let us denote the resulting state by . We will say that “can be annihilated at the boundary” if, for arbitrarily distant , there exist operators acting in finite regions near , such that (Fig. 2b)
Likewise, if no such operators exist then we will say that cannot be annihilated at the boundary. Here, and can be any operators composed out electron creation and annihilation operators acting in the vicinity of and such that conserves fermion parity. We note that we do not require that and individually conserve fermion parity – only that their product does so. Thus, according to the above definition, electron-like excitations can always be annihilated at the boundary, e.g. via , .
Let be the set of all quasiparticle types that can be annihilated at the edge:
We will now argue that self-consistency requires that has a very special structure: in particular, for systems with abelian quasiparticle statistics, must be a Lagrangian subgroup. In other words, we will show that (1) any two quasiparticle types that can be annihilated at the edge must have trivial mutual statistics, and (2) any quasiparticle type that cannot be annihilated must have nontrivial statistics with at least one particle that can be annihilated. This will establish that the criterion is necessary for having a gapped edge.
We establish condition (1) using an argument similar to one given in Ref. (26). The first step is to consider a three step process in which we create two quasiparticles in the bulk, move them along some path to two points on the edge, and then annihilate them. At a formal level, this process can be implemented by multiplying the ground state by an operator of the form
Here, is a (string-like) unitary operator that creates the quasiparticles and moves them to the edge, while is an operator that annihilates them (Fig. 3a). Given that the system returns to the ground state at the end of the process, we have the algebraic relation
(Here we assume that the phase of the operator has been adjusted so that there is no phase factor on the right hand side of Eq. 16).
Now imagine we repeat this process for another quasiparticle and another path with endpoints (Fig. 3b). We denote the corresponding operator by
Since each process returns the system to the ground state, we have:
Similarly, if we execute the processes in the opposite order, we have
At the same time, it is not hard to see that satisfy the commutation algebra
where is the mutual statistics between . Indeed, it follows from a general analysis of abelian quasiparticle statistics that
for any two paths that intersect one another at one point (see e.g. Refs. (26); (27)). Using this result, together with the observation that commutes with and commutes with (since they act on non-overlapping regions), equation (20) follows immediately.
Showing that satisfies condition (2) is more challenging. Here we simply explain the intuition behind this claim; in appendix C we give a detailed argument. To begin, we recall a bulk property of systems with fractional statistics known as “braiding non-degeneracy” (appendix E.5 of Ref. (8)). Suppose is a quasiparticle excitation that cannot be annihilated in the bulk. That is, suppose that if we create out of the ground state and the bring them near two widely separated points in the bulk, then we cannot annihilate them by applying appropriate operators acting in their vicinity. Braiding non-degeneracy is the statement that, for any such , there is always at least one quasiparticle that has nontrivial mutual statistics with respect to , i.e., (Fig. 4a).
The intuition behind braiding non-degeneracy is as follows: if cannot be annihilated by applying any operator, then in particular it cannot be annihilated by cutting a large hole around . Hence it must be possible to detect the presence of this excitation outside any finite disk centered at . At the same time, it is natural to expect that the only way to detect excitations non-locally is by an Aharonov-Bohm measurement – i.e. braiding quasiparticles around them and measuring the associated Berry phase. Putting these two observations together, we deduce that for some since otherwise it would not be possible to detect in this way.
For the same reason that bulk fractionalized systems obey braiding non-degeneracy, it is natural to expect that the gapped edges of these systems should obey an analogous property. Specifically, we expect that for each quasiparticle which cannot be annihilated at the edge, there must be at least one quasiparticle species which can be annihilated at the edge and which satisfies . The physical intuition behind this statement is similar to that of bulk braiding non-degeneracy: we note that if cannot be annihilated, it must be detectable by a measurement far from . Again, it is reasonable to expect that this non-local detection is based on braiding, since both the edge and bulk are gapped and hence(28) have a finite correlation length. In an edge geometry, the analogue of conventional braiding is to create a pair of quasiparticles in the bulk, bring them to the edge on either side of and annihilate them (Fig. 4b). Assuming that it is possible to detect in this way, it follows that there always exists at least one quasiparticle which can be annihilated at the edge, and which has . (See appendix C for a detailed argument). This result is exactly the statement that satisfies condition (2). We conclude that is a Lagrangian subgroup, as claimed.
The reader may wonder: at what point in the argument do we use the assumption that the edge is gapped? This assumption enters in several ways. At an intuitive level, it is implicit in the very definition of quasiparticle annihilation: the physical picture of annihilating quasiparticles with (exponentially) localized operators is only sensible if the edge has a finite correlation length. If instead the correlation length were infinite – as is typical for a gapless edge – then we would not expect such a localized annihilation process to be possible in general. At a mathematical level, the gapped edge assumption plays an important role in the derivation of condition (2): only for a gapped edge can one establish an analogue of braiding non-degeneracy (see appendix C).
V Modular invariance argument
To complete our discussion, we present another argument that shows that the criterion is necessary for gapping the edge. In order to understand this argument, it is helpful to consider it in a larger context. Recall that there is a close relationship between protected edge modes in systems and “no-go” theorems about lattice models. For each type of protected edge, there is typically a corresponding no-go theorem ruling out the possibility of constructing a lattice model realizing that edge theory. For example, corresponding to the integer quantum Hall edge is a theorem(29) that states that it is impossible to construct a lattice model realizing a chiral fermion.
In some cases it is possible to use a no-go theorem to prove that a edge is protected. This is the strategy we will follow here. The no-go theorem we use is the statement that any conformal field theory (CFT) realized by an lattice model must be modular invariant – i.e. it is impossible to realize a CFT that violates modular invariance in a system. (30) Using this theorem (or more accurately, conjecture), we prove that the criterion is necessary for having a gapped edge. We note that this modular invariance approach is similar to that of Ref. (31). (See also Refs. (32); (33); (34) for related work).
We proceed in the same way as in the previous section: we consider a general gapped electron system that has abelian quasiparticle statistics, has , and supports a gapped edge. We then show that the set of particles that can be annihilated at the edge must be a Lagrangian subgroup, i.e. must obey conditions (1) and (2) of the criterion.
The starting point for the argument is to consider the system in a strip geometry with a large but finite width in the direction and infinite extent in the direction. Since the system supports a gapped edge, we can consider a scenario in which the lower edge is gapped. At the same time, we imagine tuning the interactions at the upper edge so that it is gapless (Fig. 5). Specifically, we tune the interactions so that the upper edge is described by the model edge theory
where is the -matrix describing the bulk system.
To proceed further, we make a change of variables to diagonalize the above action. Let be a real matrix such that where and denotes the identity matrix. Setting , the edge theory becomes
where . If we tune the interactions at the upper edge appropriately, we can arrange so that is of the form . Then all the edge modes propagate at the same speed and the low energy, long wavelength physics of the strip is described by a conformal field theory.
We now apply the no-go theorem discussed above: we note that the strip is a quasi- system, so according to the no-go theorem/conjecture, the above conformal field theory must be modular invariant. Our basic strategy will be to use this modular invariance constraint to derive the criterion.
Before doing this, we first briefly review the definition of modular invariance (for a more detailed discussion see e.g. Ref. (30)). For any conformal field theory, we can imagine listing all the scaling operators along with their scaling dimensions defined by
Using this list, we can construct the formal sum (“partition function”)
where is the central charge and is a formal parameter. If we evaluate this expression for a complex with , the sum converges. Modular invariance is the statement that has to obey the constraint
This equation places restrictions on the operator content of the conformal field theory – that is, the set of scaling operators in the theory. To see where it comes from, we note that can be interpreted physically as the euclidean space-time partition function for the conformal field theory, evaluated on a torus of shape . Equation 26 then follows from the fact that the two toruses with shape and are conformally equivalent to one another and therefore must give identical partition functions. (For similar reasons, modular invariance also imposes the constraint that for a bosonic system and for a fermionic system, but we will not need this result here).
We now investigate the implications of modular invariance, in particular equation (26), for our system. The first step is to classify all the scaling operators and find their scaling dimensions. Importantly, we should only consider scaling operators which are local in the -direction – that is, operators composed out of products of electron creation and annihilation operators acting within some finite segment of the strip .
One set of scaling operators is given by expressions of the form
These operators describe combinations of electron creation and annihilation operators which are charge neutral in each individual edge mode (Fig. 5a). Another set of operators are expressions of the form for integer vectors . These operators describe the annihilation (or creation) of a quasiparticle of type on the upper edge. An important point is that not all correspond to physical operators. Indeed, in general one cannot annihilate a fractionalized quasiparticle by itself. The only way such an operator can appear in our theory is as a description of a tunneling/annihilation process in which a quasiparticle of type tunnels from the upper edge to the lower edge and is subsequently annihilated (Fig. 5b). Thus, the allowed values of correspond to the quasiparticles that can be annihilated at the lower edge.
We now introduce some notation to parameterize these operators. Recall that are topologically equivalent if for some integer vector . Let be a set of vectors containing one representative from each of the above equivalence classes. Let be a subset of , consisting of all quasiparticles that can be annihilated at the lower edge. In this notation, the most general scaling operators in our theory are of the form
where , and is an integer vector.
Given this parameterization of scaling operators, the partition function (25) can be written as
where denotes the sum (25) taken over all and , with fixed.
To proceed further, we use the transformation law
where is defined by
This relation can be derived in two ways. First, it can be derived using the Poisson summation formula, as shown in appendix D. Second, it can be established using the bulk-edge correspondence for Chern-Simons theory: quite generally we expect the “modular -matrix”,(30) which is defined in terms of the edge partition function transformation law (30), to match the “topological -matrix”,(8) which is defined in terms of the bulk quasiparticle braiding statistics (31).
Applying the modular invariance constraint (26), we deduce
It is worth mentioning that there is a subtlety in deriving (34) from (33). The subtlety is that the are not linearly independent as functions of : in fact where denotes the antiparticle of . However, it can be shown that the sums are linearly independent as functions of , at least for generic . This linear independence, together with the fact that if and only if , allows us to deduce (34) from (33).
Equation (34) is the main result of this section. We now use this result to show that obeys the two conditions from the criterion. To this end, we first consider the case where is the trivial quasiparticle. In this case, the right hand side of (34) is while the left hand side is
where is the number of elements of . We deduce that .
Next, let be arbitrary. In this case, the left hand side of (34) is
Thus, the only way that (34) can be satisfied is if all the phase factors are equal to . In other words, we must have for all . That is, satisfies condition (1).
Finally, we consider the case where . In this case, we must have for at least one since otherwise the left hand side of (34) would evaluate to rather than . Hence must satisfy condition (2) as well. We conclude that is a Lagrangian subgroup, as claimed.
In this paper, we have derived a general criterion for when an electron system with abelian quasiparticle statistics and can support a gapped edge: a gapped edge is possible if and only if there exists a subset of quasiparticles with the two properties discussed in the introduction (i.e. a “Lagrangian subgroup”). We have established this criterion with three arguments – one based on a microscopic analysis of the edge, another on constraints from braiding statistics, and the third on modular invariance.
Our analysis has also shown that every gapped edge can be associated with a Lagrangian subgroup . Physically, corresponds to the set of quasiparticles that can be annihilated at the edge. Furthermore, we have shown that there exists at least one gapped edge for each (appendix A.3). In this sense, the different Lagrangian subgroups classify (or at least partially classify) the different types of gapped edges that are possible for a given bulk state.
For concreteness, we have focused on systems built out of electrons (i.e. fermions). However, the criterion for a gapped edge also applies to bosonic systems with only one modification: in the bosonic case, we require that all the quasiparticles in are bosons in addition to the two properties from the introduction. As in the fermionic case, one can show that a bosonic system can have a gapped edge if and only if there exists a “Lagrangian subgroup” with these three properties. Furthermore, the different types of gapped edges are (at least partially) classified by the different Lagrangian subgroups . These results can be derived using arguments similar to the fermionic case, as discussed in appendix E.
Throughout this paper we have analyzed boundaries between a gapped quantum many-body system and the vacuum. More generally, we could also consider interfaces between two gapped quantum many-body systems. Fortunately, these more complicated geometries can be reduced to the case studied here using a simple (and well-known) trick. Specifically, in order to understand the interface between two Hamiltonians , we imagine folding the system along the interface as we would fold a sheet a paper. In this way, we can see that the boundary is equivalent to an interface between the vacuum and a bilayer system with Hamiltonian , where is obtained by a spatial reflection of . We conclude that the boundary between and can be gapped if and only if the corresponding bilayer system has a Lagrangian subgroup.
There are a number of possible directions for future work. One direction is to perform a more concrete analysis of protected edge modes for a particular system. For example, it would be interesting to investigate a specific model of the edge (8) in the presence of arbitrary scattering terms (5) and explicitly verify that the edge has gapless excitations when proximity-coupled to a superconductor. Such a calculation could also shed light on important physical properties of these edge modes such as their robustness to disorder and their ability to transport heat.
Another direction is to generalize the criterion to systems with non-abelian statistics. To formulate such a generalization, it may be helpful to study the classification of exactly soluble gapped edges given in Ref. (14). Other guidance may be obtained by extending the braiding statistics and modular invariance arguments of sections IV and V to non-abelian states; it is less clear how to generalize the microscopic analysis of section III.
Acknowledgements.I would like to thank Zhenghan Wang and Maissam Barkeshli for stimulating discussions and would like to acknowledge support from the Alfred P. Sloan foundation.
Appendix A Relation between null vectors and Lagrangian subgroups
In this section, we show that one can find linearly independent integer vectors satisfying if and only if there exists a set of (inequivalent) integer vectors satisfying two properties:
is an integer for any .
If is not equivalent to any element of , then is non-integer for some .
Here is a symmetric integer matrix with vanishing signature, non-vanishing determinant, and at least one odd element on the diagonal.
We prove this result in section A.1; we then explain its physical interpretation in section A.2, and we state and prove a sharper version of this result in section A.3. We derive a bosonic analogue in appendix E.
We first establish the “only if” direction. Suppose that one can find linearly independent integer vectors such that . We wish to construct a set of integer vectors satisfying the two properties listed above. The first step is to make an (integer) change of basis so that the last components of are all zero for every . In the new basis, the matrix has the block diagonal form
where are matrices. Hence, is given by
We then let be the set of all vectors of the form where is an component integer vector. (More precisely, we divide this set into equivalence classes modulo , and choose one vector from each equivalence class).
We can easily see that satisfies the two properties listed above. To establish the first property, note that for any , so in particular this quantity is always an integer. As for the second property, let be an integer vector such that is an integer for all . Then for some integer vector , so we can write
Examining this expression, we see that is equivalent to an element of . This is what we wanted to show.
We next establish the “if” direction. Suppose is a set of vectors satisfying the above two properties. We wish to construct satisfying . To this end, let us consider the set
This set forms a dimensional integer lattice, and therefore can be represented as where is some integer matrix.
Now consider the matrix . We claim that is a symmetric integer matrix with vanishing signature, determinant , and at least one odd element on the diagonal. Indeed, the fact that is symmetric, has vanishing signature, and has at least one odd element on the diagonal, follows from the corresponding properties of . Also, the fact that is an integer matrix follows from the first property of . Finally, to see that has determinant , we use the second property of : we note that if , then is non-integer for some . Hence, if , then . It follows that must be an integer matrix, so that has determinant .
The next step is to use the following theorem, due to Milnor: (35) suppose are two symmetric, indefinite, integer matrices with determinant . Suppose in addition that have the same dimension and same signature and are either both even or both odd – where an “even” matrix has only even elements on the diagonal, and an “odd” matrix has at least one odd element on the diagonal. Milnor’s theorem (Ref. (35), p. 25) states that there must exist an integer matrix with unit determinant such that .
Applying this result to the matrix (an “odd” matrix with vanishing signature) we deduce that we can always block diagonalize as
where is an integer matrix with and denotes the identity matrix.
To complete the argument, we define where is the th column of . We then define
It is easy to check that the obey , and are linearly independent and integer.
a.2 Understanding the correspondence
The “only if” part the argument shows that every collection of null vectors can be associated with a corresponding Lagrangian subgroup . We now discuss the physical meaning of this correspondence and show that it agrees with the physical picture of section IV.
To begin, it is helpful to reformulate the correspondence in a basis independent way: given any linearly independent satisfying , we define to be the set of all (inequivalent) vectors such that
for some . It is easy to verify that this definition of agrees with the one given in the previous section.
This alternative formulation is useful because it reveals the physical interpretation of the correspondence: the set is simply the set of quasiparticles that can be annihilated at the gapped edge corresponding to . To see this, note that when gaps the edge, it freezes the value of and hence also freezes the value of the linear combination . It then follows from (43) that the value of is frozen for each . Thus, we expect the operator to exhibit long range order:
in the limit . This long rang order implies that the associated quasiparticle can be annihilated at the edge. Indeed, according to the bulk-edge correspondence,(1); (2) the operator can be interpreted as describing a process in which two quasiparticles are created in the bulk and brought to points at the edge. Hence, can be thought of as an overlap between the group state , and an excited state with two quasiparticles at the edge. The fact that this overlap is nonzero implies that the corresponding quasiparticles can be annihilated at the edge, as shown in Lemma 1 of appendix C.1.
a.3 Sharpening the correspondence
While the above argument shows that every state with at least one Lagrangian subgroup can support at least one type of gapped edge, some states can have more than one Lagrangian subgroup. Thus, it is desirable to prove a stronger result – namely, every Lagrangian subgroup can be associated with a corresponding gapped edge. Such a result, together with our proof that every gapped edge is associated with a Lagrangian subgroup, would imply that the different types of gapped edges are (at least partially) classified by Lagrangian subgroups .
We now derive this sharper result. That is, we construct a gapped edge for each in such a way that the quasiparticles in can be annihilated at the boundary. We would like to mention that while this paper was being revised to include this extension of appendix A.1, we became aware that Barkeshli, Jian, and Qi, making use of an earlier draft of this paper, have obtained a similar extension.(36)
To prove this stronger result, we modify our previous construction of (42). The most important modification is that we use a more complicated edge theory: instead of considering the standard edge theory (3) for the Chern-Simons theory (10), we consider an enlarged edge theory with a -matrix
Here, is an identity matrix. Physically, the edge theory can be realized in an edge reconstruction scenario where non-chiral Luttinger liquids, described by are glued to the standard edge for .
We next describe how to construct null vectors that gap out the edge and give us a boundary where the particles in can be annihilated. Since the edge has chiral modes, we need vectors with . We construct using the same recipe as above. First, we define a dimensional lattice by equation (40) and we construct a matrix with . We then define , and we find a unit determinant matrix satisfying equation (41). The only new element comes in the definition of . In the modified construction, we set
where is the th column of and is a component vector with a in the th entry, and all other entries vanishing. It is easy to verify that and that the are all integer vectors.
At this point, it is clear that the perturbation will gap the edge. All that remains is to prove that the quasiparticles in can be annihilated at this edge. To this end, we note that
We then recall that has unit determinant, so the lattice generated by spans all of . Since contains every , we can see from (47) that the lattice generated by contains the vector for every (modulo ). Applying the analysis of section A.2 we conclude that all the quasiparticles in can be annihilated at the boundary.
Appendix B Proof that the null vector criterion is necessary
In this section, we consider the two component edge theory (3) in the presence of a single scattering term (5). We show that a necessary condition for to gap the edge is that satisfy the null vector criterion, .
Our basic strategy is to construct a (fictitious) charge which is conserved by , and then show that the system has a nonzero Hall conductivity with respect to this charge. To this end, we consider a general charge of the form
where is some two component real vector.
Next, we choose where . This choice of guarantees that
As a result, the charge is a conserved quantity so it is sensible to compute the associated Hall conductivity . Following the usual -matrix formalism we have:
We are now finished: we can see that if doesn’t satisfy the null vector criterion (6), then . It then follows that cannot gap out the edge, since a system with a nonzero Hall conductivity has a protected edge if the corresponding charge is conserved. (9); (10) This proves the claim.
We would like to emphasize that the above argument does not rule out the possibility of gapping the edge with other types of perturbations. In fact, it does not even rule out simple perturbations like a sum of two scattering terms : these terms break all the symmetries at the edge, thus invalidating the above analysis.
Appendix C Establishing condition (2) of the criterion
In this section, we consider a general gapped electron system which has abelian quasiparticle statistics and has a gapped edge. For this class of systems, we argue that the set of quasiparticles that can be annihilated at the edge (denoted by ) must obey condition (2) of the criterion. In other words, we show that if is a quasiparticle that cannot be annihilated at a gapped edge, then must have nontrivial statistics with at least one quasiparticle that can be annihilated at the edge.
The argument we present is not a rigorous mathematical proof: we do not give precise definitions for all the concepts that we use, and we regularly drop quantities that we expect to vanish in the thermodynamic limit. Despite these limitations, we believe that the argument could be used as a starting point for constructing a rigorous proof.
Our argument relies on the following conjecture about gapped many-body systems:
Conjecture 1: Let be the ground state of a 2D gapped many-body system defined in a spherical geometry. Let be another state (not necessarily an eigenstate) which has the same energy density outside of two non-overlapping disk-like regions . Then we can write
where is a (string-like) unitary operator that describes a process in which a pair of quasiparticles are created and then moved to regions respectively, and where is an operator acting within . Here, the sum runs over different quasiparticle types .
In more physical language, the above conjecture is the statement that any excited state whose excitations are located in two disconnected regions can be constructed by moving a pair of quasiparticles into and then applying an operator acting within . This claim is reasonable because we expect that the different excited states of a gapped many-body system can be divided into topological sectors parameterized by the quasiparticle type , and that any two excitations in the same sector can be transformed into one another by local operations.
In addition, we will make use of the following lemma:
Lemma 1: Consider a 2D gapped many-body system with a gapped edge. Let denote the ground state and let denote an excited state with a quasiparticle and quasihole located near two points at the boundary. If cannot be annihilated at the edge then
for any operators , acting near .
To derive this result, let be a gapped, local Hamiltonian whose ground state is . Let be a gapped, local Hamiltonian whose ground state is . We can assume without loss of generality that the ground state energies of are both :
We will also assume that can be written as
where are local operators acting near .
We will now show that if
then we can always construct “dressed” operators such that . This will establish the lemma (since the latter equation means that can be annihilated at the edge).
where is the energy gap of . Define
Given that is smooth, it follows that as faster than any polynomial. We then define
Straightforward algebra gives
Furthermore, since decays rapidly as , and is a local Hamiltonian, it is not hard to see that the region of support of is well-localized near and . Also, can be (approximately) factored as , up to terms that decay rapidly in the separation between and . In this way, we can explicitly construct operators acting near such that .