Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: the study of topological phases of matter is one of the most vibrant directions of research in contemporary condensed matter physics . one core accomplishment has been the theoretical modeling and experimental discovery of two - dimensional topological insulators . @xcite the integer quantum hall effect ( iqhe ) was an early example of how states could be classified into distinct topological classes using an integer , the chern number , to express the quantized hall conductivity . @xcite in the iqhe , the number of delocalized edge channels is directly tied to the quantized hall conductivity through the chern number . more recently , it has been found that the symmetry under reversal of time acts as a protective symmetry for edge modes in ( bulk ) insulators with strong spin - orbit interactions in two and three dimensions ,  @xcite and that these systems are characterized by a @xmath0 topological invariant . the discovery of @xmath0 topological insulators has triggered a search for a classification of phases of fermionic matter that are distinct by some topological attribute . for non - interacting electrons , a complete classification , the tenfold way , has been accomplished in arbitrary dimensions . @xcite in this scheme , three discrete symmetries that act locally in position space  time - reversal symmetry ( trs ) , particle - hole symmetry ( phs ) , and chiral or sublattice symmetry ( sls )  play a central role when defining the quantum numbers that identify the topological insulating fermionic phases of matter within one of the ten symmetry classes ( see columns 1 - 3 from table  [ table : main table ] ) .    the tenfold way is believed to be robust to a perturbative treatment of short - ranged electron - electron interactions for the following reasons . first , the unperturbed ground state in the clean limit and in a closed geometry is non - degenerate and given by the filled bands of a band insulator . the band gap provides a small expansion parameter , namely the ratio of the characteristic interacting energy scale to the band gap . second , the quantized topological invariant that characterizes the filled bands , provided its definition and topological character survives the presence of electron - electron interactions as is the case for the symmetry class a in two spatial dimensions , can not change in a perturbative treatment of short - range electron - electron interactions . @xcite    on the other hand , the fate of the tenfold way when electron - electron interactions are strong is rather subtle . @xcite for example , short - range interactions can drive the system through a topological phase transition at which the energy gap closes ,  @xcite or they may spontaneously break a defining symmetry of the topological phase . even when short - range interactions neither spontaneously break the symmetries nor close the gap , it may be that two phases from the non - interacting tenfold way cease to be distinguishable in the presence of interactions . in fact , it was shown for the symmetry class bdi in one dimension by fidkowski and kitaev that the non - interacting @xmath1 classification was too fine in that it must be replaced by a @xmath2 classification when generic short - range interactions are allowed . how to construct a counterpart to the tenfold way for interacting fermion ( and boson ) systems has thus attracted a lot of interest . @xcite    the fractional quantum hall effect ( fqhe ) is the paradigm for a situation by which interactions select topologically ordered ground states of a very different kind than the non - degenerate ground states from the tenfold way . on a closed two - dimensional manifold of genus @xmath3 , interactions can stabilize incompressible many - body ground states with a @xmath3-dependent degeneracy . excited states in the bulk must then carry fractional quantum numbers ( see ref .   and references therein ) . such phases of matter , that follow the fqhe paradigm , appear in the literature under different names : fractional topological insulators , long - range entangled phases , topologically ordered phases , or symmetry enriched topological phases . in this paper we use the terminology long - range entangled ( lre ) phase for all phases with nontrivial @xmath3-dependent ground state degeneracy . all other phases , i.e. , those that follow the iqhe paradigm , are called short - range entangled ( sre ) phases . ( in doing so , we follow the terminology of ref .  , that differs slightly from the one used in ref . the latter counts all chiral phases irrespective of their ground state degeneracy as lre . )    while there are nontrivial sre and lre phases in the absence of any symmetry constraint , many sre and lre phases are defined by some protecting symmetry they obey . if this protecting symmetry is broken , the topological attribute of the phase is not well defined any more . however , there is a sense in which lre phases are more robust than sre phases against a weak breaking of the defining symmetry . the topological attributes of lre phases are not confined to the boundary in space between two distinct topological realizations of these phases , as they are for sre phases . they also characterize intrinsic bulk properties such as the existence of gapped deconfined fractionalized excitations . hence , whereas gapless edge states are gapped by any breaking of the defining symmetry , topological bulk properties are robust to a weak breaking of the defining symmetry as long as the characteristic energy scale for this symmetry breaking is small compared to the bulk gap in the lre phase , for a small breaking of the protecting symmetry does not wipe out the gapped deconfined fractionalized bulk excitations . the purpose of this paper is to implement a classification scheme for interacting electronic systems in two spatial dimensions that treats sre and lre phases on equal footing . to this end , we use a coupled wire construction for each of the symmetry classes from the tenfold way . this approach has been pioneered in refs .   and for the iqhe and in refs .   and for the fqhe ( see also related work in refs .  ) . to begin with , non - chiral luttinger liquids are placed in a periodic array of coupled wires . in doing so , forward - scattering two - body interactions are naturally accounted for within each wire . we then assume that the back - scattering ( i.e. , tunneling ) within a given wire or between neighboring wires are the dominant energy scales . imposing symmetries constrains these allowed tunnelings . whether a given arrangement of tunnelings truly gaps out all bulk modes , except for some ungapped edge states on the first and last wire , is verified with the help of a condition that applies to the limit of strong tunneling . we name this condition the haldane criterion , as it was introduced by haldane in his study of the stability of non - maximally chiral edge states in the quantum hall effect . @xcite we show that , for a proper choice of the tunnelings , all bulk modes are gapped . moreover , in five out of the ten symmetry classes of the tenfold way , there remain gapless edge states in agreement with the tenfold way . it is the character of the tunnelings that determines if this wire construction selects a sre or a lre phase . hence , this construction , predicated as it is on the strong tunneling limit , generalizes the tenfold way for sre phases to lre phases . it thereby delivers lre phases that have not yet appeared in the literature before . evidently , this edge - centered classification scheme does not distinguish between lre phases of matter that do not carry protected gapless edge modes at their interfaces . for example , some fractional , time - reversal - symmetric , incompressible and topological phases of matter can have fractionalized excitations in the bulk , while not supporting protected gapless modes at their boundaries . @xcite    stated in a slightly more constructive way , we can think of our approach as ( 1 ) fixing , in a first step , a given desired edge theory at the boundary , and ( 2 ) continue , in a second step , by asking whether such an edge can be consistently defined with a set of symmetry - allowed periodic tunneling terms between wires which manage to gap out all other modes . alluding to a related strategy in philosophy , this is what we call wire deconstructionism of topological phases . the paper is organized as follows . we define the array of luttinger liquids in sec . [ sec : definitions ] . the haldane criterion , which plays an essential role for the stability analysis of the edge theory , is reviewed in sec . [ sec : conditions for a spectral gap ] . all five sre entries of table  [ table : main table ] are derived in sec . [ sec : reproducing the tenfold way ] , while all five lre entries of table  [ table : main table ] are derived in sec . [ sec : fractionalized phases ] . we conclude with sec . [ sec : discussion ] , where we allude to the generalization of our approach to additional symmetries , bosonic systems , and higher spatial dimensions .     and @xmath4 , the scattering between them is forbidden by imposing locality in the limit @xmath5 . ( b ) periodic boundary conditions allow the scattering vector @xmath6 that gaps modes which were protected by locality before . , width=317 ]     & @xmath7 & @xmath8&@xmath9 & & short - range entangled ( sre ) topological phase & long - range entangled ( lre ) topological phase + @xmath10 a & @xmath11 & @xmath11&@xmath11&@xmath12 &    [ cols="^ " , ]      + cii & @xmath13 & @xmath13&@xmath14 & & none & +    [ table : main table ] we consider an array of @xmath15 parallel wires that stretch along the @xmath16 direction of the two - dimensional embedding euclidean space ( see fig .  [ fig : boundaryconditions ] ) . we label a wire by the latin letter @xmath17 . each wire supports fermions that carry an even integer number @xmath18 of internal degrees of freedom that discriminate between left- and right - movers , the projection along the spin-@xmath19 quantization axis , and particle - hole quantum numbers , among others ( e.g. , flavors ) . we label these internal degrees of freedom by the greek letter @xmath20 . we combine those two indices in a collective index @xmath21 . correspondingly , we introduce the @xmath22 pairs of creation @xmath23 and annihilation @xmath24 field operators obeying the fermionic equal - time algebra    [ eq : def hat psi s ] @xmath25 with all other anticommutators vanishing and the collective labels @xmath26 . the notation @xmath27    is used for the operator - valued row ( @xmath28 ) and column ( @xmath29 ) vector fields . we assume that the many - body quantum dynamics of the fermions supported by this array of wires is governed by the hamiltonian @xmath30 , whereby interactions within each wire are dominant over interactions between wires so that we may represent @xmath30 as @xmath15 coupled luttinger liquids , each one of which is composed of @xmath18 interacting fermionic channels .    by assumption , we may thus bosonize the @xmath22 fermionic channels making up the array . to this end , we follow ref .  . within abelian bosonization , this is done by postulating first the @xmath31 matrix    [ eq : def mathcal k ] @xmath32 to be symmetric with integer - valued entries . because we are after an array of identical wires , each of which having its quantum dynamics governed by that of a luttinger liquid , it is natural to assume that @xmath33 is reducible , @xmath34    a second @xmath31 matrix is then defined by    [ eq : def mathcal l ] @xmath35 where @xmath36    third , one verifies that , for any pair @xmath37 , the hermitian fields @xmath38 and @xmath39 , defined by the mandelstam formula    [ eq : def hat phi s ] @xmath40 as they are , obey the bosonic equal - time algebra @xmath41= -\mathrm{i}\pi \left ( \mathcal{k}^{-1}_{\mathsf{a}\mathsf{a}'}\ , \mathrm{sgn}(x - x ' ) + \mathcal{k}^{-1}_{\mathsf{a}\mathsf{b}}\ , \mathcal{l}^{\,}_{\mathsf{b}\mathsf{c}}\ , \mathcal{k}^{-1}_{\mathsf{c}\mathsf{a } ' } \right ) . \label{eq : def hat phi 's b}\ ] ] here , the notation @xmath42 stands for normal ordering of the argument @xmath43 and the summation convention over repeated indices is implied . in line with eq . ( [ eq : def hat psi s b ] ) , we use the notation @xmath44 for the operator - valued row ( @xmath45 ) and column ( @xmath46 ) vector fields . periodic boundary conditions along the @xmath16 direction parallel to the wires are imposed by demanding that @xmath47    equipped with eqs . ( [ eq : def mathcal k])([eq : def hat phi s ] ) , we decompose additively the many - body hamiltonian @xmath30 for the @xmath48 interacting fermions propagating on the array of wires into    [ eq : hat h bosonized ] @xmath49 hamiltonian @xmath50 even though quadratic in the bosonic field , encodes both local one - body terms as well as contact many - body interactions between the @xmath18 fermionic channels in any given wire from the array through the block - diagonal , real - valued , and symmetric @xmath31 matrix @xmath51 hamiltonian @xmath52 is not quadratic in the bosonic fields . with the understanding that the operator - multiplication of identical fermion fields at the same point @xmath16 along the wire requires point splitting , and with the short - hand notation @xmath53 , we interpret @xmath54 as ( possibly many - body ) tunnelings between the fermionic channels . here , we introduced the set @xmath55 comprised of _ all _ integer - valued tunneling vectors @xmath56 obeying the condition @xmath57 and we assigned to each @xmath58 from the set @xmath55 the real - valued functions @xmath59 and @xmath60    the condition  ( [ eq : def mathcal t b ] ) ensures that these tunneling events preserve the parity of the total fermion number for the superconducting symmetry classes ( symmetry classes d , diii , c , and ci in table [ table : main table ] ) , while they preserve the total fermion number for the non - superconducting symmetry classes ( symmetry classes a , aiii , ai , aii , bdi , and cii in table [ table : main table ] ) . we emphasize that the integer @xmath61 dictates that @xmath58 encodes a @xmath62-body interaction in the fermion representation . our strategy consists in choosing the many - body hamiltonian @xmath63 defined in eq . ( [ eq : hat h bosonized ] ) so that ( i ) it belongs to any one of the ten symmetry classes from the tenfold way ( with the action of symmetries defined in sec . [ sec : representation of symmetries ] ) and ( ii ) all excitations in the bulk are gapped by a _ specific _ choice of the tunneling vectors @xmath55 entering @xmath54 ( with the condition for a spectral gap given in sec . [ sec : conditions for a spectral gap ] ) the energy scales in @xmath54 are assumed sufficiently large compared to those in @xmath64 so that it is @xmath64 that may be thought of as a perturbation of @xmath54 and not the converse .    we anticipate that for five of the ten symmetry classes there can be protected gapless edge states because of locality and symmetry . step ( ii ) for each of the five symmetry classes supporting gapless edge states is represented pictorially as is shown in the fourth column of table  [ table : main table ] . in each symmetry class , topologically trivial states that do not support protected gapless edge states in the tenfold classification can be constructed by gapping all states in each individual wire from the array .      the classification is based on the presence or the absence of the trs and the phs that are represented by the antiunitary many - body operator @xmath65 and the unitary many - body operator @xmath66 , respectively . each of @xmath65 and @xmath66 can exist in two varieties such that their single - particle representations @xmath67 and @xmath68 square to the identity operator up to the multiplicative factor @xmath69 , @xmath70 respectively . by assumption , the set of all degrees of freedom in each given wire is invariant under the actions of @xmath65 and @xmath66 . if so , we can represent the actions of @xmath65 and @xmath66 on the fermionic fields in two steps . first , we introduce two @xmath71-dimensional matrix representations @xmath72 and @xmath73 of the permutation group of @xmath18 elements , which we combine into the block - diagonal @xmath31 real - valued and orthogonal matrices    [ eq : def reps widehat theta and widehat pi ] @xmath74 where @xmath75 is the @xmath76 unit matrix and we make sure that @xmath72 and @xmath73 represent products of transpositions so that @xmath77 second , we introduce two column vectors @xmath78 and @xmath79 , which we combine into the two column vectors @xmath80 and the @xmath31 diagonal matrices @xmath81 with the components of the vectors @xmath82 and @xmath83 as diagonal matrix elements . the vectors @xmath84 and @xmath85 are not chosen arbitrarily . we demand that the vectors @xmath86 and @xmath87 are made of even [ for the @xmath88 in eq . ( [ eq : widehat theta and widehat phi square to pm1 ] ) ] and odd [ for the @xmath89 in eq . ( [ eq : widehat theta and widehat phi square to pm1 ] ) ] integer entries only , while @xmath90 and @xmath91 in order to meet @xmath92 and @xmath93 , respectively . the operations of reversal of time and interchanges of particles and holes are then represented by @xmath94 for the fermions and @xmath95    for the bosons . one verifies that eq . ( [ eq : widehat theta and widehat phi square to pm1 ] ) is fulfilled . hamiltonian  ( [ eq : hat h bosonized ] ) is trs if    [ eq : trs h ] @xmath96 this condition is met if @xmath97    the hamiltonian  ( [ eq : hat h bosonized ] ) is phs if    [ eq : phs h ] @xmath98 this condition is met if ( see appendix  [ appendixsec : cond trs and phs ] ) @xmath99      the total number of fermions is a good quantum number in any metallic or insulating phase of fermionic matter . this is not true anymore in the mean - field treatment of superconductivity . in a superconductor , within a mean - field approximation , charge is conserved modulo two as cooper pairs can be created and annihilated . the existence of superconductors and the phenomenological success of the mean - field approximation suggest that the conservation of the total fermion number operator should be relaxed down to its parity in a superconducting phase of matter . if we only demand that the parity of the total fermion number is conserved , we may then decompose any fermionic creation operator in the position basis into its real and imaginary parts , thereby obtaining two hermitean operators called majorana operators . any hermitean hamiltonian that is build out of even powers of majorana operators necessarily preserves the parity of the total fermion number operator , but it might break the conservation of the total fermion number . by definition , any such hamiltonian belongs to the symmetry class d.    the tool of abelian bosonization allows to represent a fermion operator as a single exponential of a bose field . in abelian bosonization , a majorana operator is the sum of two exponentials , and this fact makes it cumbersome to apply abelian bosonization for majorana operators . it is possible to circumvent this difficulty by representing any hamiltonian from the symmetry class d in terms of the components of nambu spinors obeying a reality condition . indeed , we may double the dimensionality of the single - particle hilbert space by introducing nambu spinors with the understanding that ( i ) a reality condition on the nambu spinors must hold within the physical subspace of the enlarged single - particle hilbert space and ( ii ) the dynamics dictated by the many - body hamiltonian must be compatible with this reality condition . @xcite the reality condition keeps track of the fact that there are many ways to express an even polynomial of majorana operators in terms of the components of a nambu spinor . the complication brought about by this redundency is compensated by the fact that it is straightforward to implement abelian bosonization in the nambu representation . we implement this particle - hole doubling by assigning to every pair of fermionic operators @xmath100 and @xmath101 ( whose indices we have been omitted for simplicity ) related to each other by the reality condition    @xmath102    the pair of bosonic field operators @xmath103 and @xmath104 related by the reality condition @xmath105    invariance under this transformation has to be imposed on the ( interacting ) hamiltonian in the doubled ( nambu ) representation . in addition to the phs , we also demand , when describing the superconducting symmetry classes , that the parity of the total fermion number is conserved . this discrete global symmetry , the symmetry of the hamiltonian under the reversal of sign of all fermion operators , becomes a continuous @xmath106 global symmetry that is responsible for the conservation of the electric charge in all non - superconducting symmetry classes . in this way , all 9 symmetry classes from the tenfold way descend from the symmetry class d by imposing a composition of trs , @xmath106 charge conservation , and the chiral ( sublattice ) symmetry . hamiltonian @xmath64 in the decomposition  ( [ eq : hat h bosonized ] ) has @xmath48 gapless modes . however , @xmath64 does not commute with @xmath54 and the competition between @xmath64 and @xmath54 can gap some , if not all , the gapless modes of @xmath64 . for example , a tunneling amplitude that scatters the right mover into the left mover of each flavor in each wire will gap out the spectrum of @xmath64 . a term in @xmath107 has the potential to gap out a gapless mode of @xmath64 if the condition ( in the heisenberg representation )  @xcite @xmath108= c^{\,}_{\mathcal{t}}(x ) \label{eq : locking condition}\ ] ] holds for some time - independent real - valued functions @xmath109 on the canonical momentum @xmath110 that is conjugate to @xmath111 , when applied to the ground state . the locking condition  ( [ eq : locking condition ] ) removes a pair of chiral bosonic modes with opposite chiralities from the gapless degrees of freedom of the theory . however , not all scattering vectors @xmath58 can simultaneously lead to such a locking due to quantum fluctuations . the set of linear combinations @xmath112 that can satisfy the locking condition  ( [ eq : locking condition ] ) simultaneously is labeled by the subset @xmath113 of all tunneling matrices @xmath55 defined by eqs . ( [ eq : def mathcal t a ] ) and  ( [ eq : def mathcal t b ] ) obeying the haldane criterion  ( [ eq : haldane conditions ] )  @xcite    [ eq : haldane conditions ] @xmath114 for any @xmath115 and @xmath116    pairwise for any @xmath117 . our first goal is to apply the wire construction in order to reproduce the classification of non - interacting topological insulators ( symmetry classes a , aiii , ai , aii , bdi , and cii in table [ table : main table ] ) and superconductors ( symmetry classes d , diii , c , and ci in table [ table : main table ] ) in ( @xmath118 ) dimensions ( see table  [ table : main table ] ) . @xcite in this section , we will carry out the classification scheme within the bosonized description of quantum wires . here , we will restrict the classification to one - body tunneling terms , i.e. , @xmath119 in eq . ( [ eq : q - def ] ) , for the non - superconducting symmetry classes , and to two - body tunneling terms , i.e. , @xmath120 in eq . ( [ eq : q - def ] ) , for the superconducting symmetry classes . in sec . [ sec : fractionalized phases ] , we generalize this construction to the cases @xmath121 and @xmath122 of multi - particle tunnelings in the non - superconducting and superconducting symmetry classes , respectively . the topological stability of edge modes will be an immediate consequence of the observation that no symmetry - respecting local terms can be added to the models that we are going to construct .    within the classification of non - interacting hamiltonians , superconductors are nothing but fermionic bilinears with a particle - hole symmetry . the physical interpretation of the degrees of freedom as bogoliubov quasiparticles is of no consequence to the analysis . in particular , they still carry an effective conserved @xmath106 charge in the non - interacting description . topological insulators in symmetry class a can be realized without any symmetry aside from the @xmath106 charge conservation . the wire construction starts from wires supporting spinless fermions , so that the minimal choice @xmath123 only counts left- and right - moving degrees of freedom . the @xmath124-matrix reads    [ eq : def h for class a ] @xmath125 the entry @xmath88 of the @xmath124-matrix corresponds to a right mover . it is depicted by the symbol @xmath126 in the first line of table  [ table : main table ] . the entry @xmath89 of the @xmath124-matrix corresponds to a left mover . it is depicted by the symbol @xmath127 in the first line of table  [ table : main table ] . the operation for reversal of time in any one of the @xmath15 wires is represented by [ one verifies that eq . ( [ eq : trs on p and i ] ) holds ] @xmath128    we define @xmath54 by choosing @xmath129 scattering vectors , whereby , for any @xmath130 ,    [ eq : def h of t for class a ] @xmath131 with @xmath17 and @xmath132 . in other words , @xmath133 for @xmath134 . intent on helping with the interpretation of the tunneling vectors , we use the @xmath135 s in eq . ( [ eq : def h of t for class a e ] ) to compartmentalize the elements within a given wire . henceforth , there are @xmath123 vector components within each pair of @xmath135 s that encode the @xmath123 degrees of freedom within a given wire . the @xmath136th scattering vector  ( [ eq : def h of t for class a e ] ) labels a one - body interaction in the fermion representation that fulfills eq . ( [ eq : def mathcal t b ] ) and breaks trs , since the scattering vector @xmath137 is mapped into the scattering vector @xmath138 by the permutation @xmath72 that represents reversal of time in a wire by exchanging right- with left - movers . for any @xmath130 , we also introduce the amplitude @xmath139 and the phase @xmath140    according to eqs . ( [ eq : trs h d ] ) and  ( [ eq : trs h e ] ) , respectively . the choices for the amplitude  ( [ eq : def h of t for class a f ] ) and the phase  ( [ eq : def h of t for class a g ] ) are arbitrary . in particular the amplitude  ( [ eq : def h of t for class a f ] ) can be chosen to be sufficiently large so that it is @xmath64 that may be thought of as a perturbation of @xmath54 and not the converse . one verifies that all @xmath129 scattering vectors  ( [ eq : def h of t for class a d ] ) satisfy the haldane criterion  ( [ eq : haldane conditions ] ) , i.e. , @xmath141 correspondingly , the term @xmath54 gaps out @xmath142 of the @xmath143 gapless modes of @xmath64 . two modes of opposite chirality that propagate along the first and last wire , respectively , remain in the low energy sector of the theory . these edge states are localized on wire @xmath144 and @xmath145 , respectively , for their overlaps with the gapped states from the bulk decay exponentially fast as a function of the distance away from the first and end wires . the energy splitting between the edge state localized on wire @xmath144 and the one localized on wire @xmath145 that is brought about by the bulk states vanishes exponentially fast with increasing @xmath15 . two gapless edge states with opposite chiralities emerge in the two - dimensional limit @xmath5 .    at energies much lower than the bulk gap , the effective @xmath33-matrix for the edge modes is @xmath146 here , @xmath147 follows from replacing the entries in the @xmath148 @xmath33 matrix for all gapped modes by 0 . the pictorial representation of the topological phase in the symmetry class a with one chiral edge state per end wire through the wire construction is shown on the first row and fourth column of table  [ table : main table ] . the generalization to an arbitrary number @xmath149 of gapless edge states sharing a given chirality on the first wire that is opposite to that of the last wire is the following . we enlarge @xmath123 to @xmath150 by making @xmath149 identical copies of the model depicted in the first row and fourth column of table  [ table : main table ] . the stability of the @xmath149 chiral gapless edge states in wire @xmath151 and wire @xmath15 is guaranteed because back - scattering among these gapless edges state is not allowed kinematically within wire @xmath151 or within wire @xmath15 , while back - scattering across the bulk is exponentially suppressed for @xmath15 large by locality and the gap in the bulk . the number of robust gapless edge states of a given chirality is thus integer . this is the reason why @xmath1 is found in the third column on the first line of table  [ table : main table ] . it is imperative to ask whether the phases that we constructed so far exhaust all possible sre phases in the symmetry class a. by demanding that one - body interactions are dominant over many - body interactions , we have constructed all phases from the ( exhaustive ) classification for non - interacting fermions in class a and only those . in these phases , the same topological invariant controls the hall and the thermal conductivities . however , it was observed that interacting fermion systems can host additional sre phases in the symmetry class a where this connection is lost . @xcite these phases are characterized by an edge that includes charge - neutral chiral modes . while such modes contribute to the quantized energy transport ( i.e. , the thermal hall conductivity ) , they do not contribute to the quantized charge transport ( i.e. , the charge hall conductivity ) . by considering the thermal and charge hall conductivity as two independent quantized topological responses , this enlarges the classification of spt phases in the symmetry class a to @xmath152 . starting from identical fermions of charge @xmath153 , we now construct an explicit wire model that stabilizes a sre phase of matter in the symmetry class a carrying a non - vanishing hall conductivity but a vanishing thermal hall conductivity . in order to build a wire - construction of such a strongly interacting sre phase in the symmetry class a , we group three spinless electronic wires into one unit cell , i.e. ,    @xmath154    it will be useful to arrange the charges @xmath155 measured in units of the electron charge @xmath153 for each of the modes @xmath156 , @xmath20 , into a vector @xmath157    the physical meaning of the tunneling vectors ( interactions ) that we define below is most transparent , if we employ the following linear transformation on the bosonic field variables    [ eq : trasf for fields phi a ] @xmath158    where @xmath159 is a @xmath31 block - diagonal matrix with the block @xmath160 having integer entries and unit determinant . the transformation @xmath160 that we employ is given by @xmath161 it brings @xmath124 to the form @xmath162    as we can read off from eq . , the parity of @xmath163 determines the self - statistics of particles of type @xmath164 . as eq is form invariant under the transformation ( [ eq : trasf for fields phi a ] ) , we conclude that , with the choice  , the transformed modes @xmath132 as well as the modes @xmath165 are pairs of bosonic degrees of freedom , while the third and fourth mode remain fermonic . furthermore , the charges transported by the transformed modes @xmath166 are given by @xmath167    we may then define the charge - conserving tunneling vectors @xmath168    using eq . ( [ eq : t tilde if one wants to get bosons out of fermions ] ) , these tunneling vectors can readily be rewritten in the original electronic degrees of freedom . these tunneling vectors gap all modes in the bulk and the remaining gapless edge modes on the left edge are @xmath169 the only charge - conserving tunneling vector that could gap out this effective edge theory , @xmath170 , is not compatible with haldane s criterion  . we conclude that the edge theory   is stable against charge conserving perturbations . the hall conductivity supported by this edge theory is given by @xmath171 in units of @xmath172 . this is the minimal hall conductivity of a sre phase of bosons , if each boson is interpreted as a pair of electrons carrying the electronic charge @xmath173 . @xcite on the other hand , the edge theory   supports two modes with opposite chiralities , for the symmetric matrix @xmath174 has the pair of eigenvalues @xmath175 . thus , the net energy transported along the left edge , and with it the thermal hall conductivity , vanishes . topological insulators in symmetry class aii can be realized by demanding that @xmath106 charge conservation holds and that trs with @xmath176 holds . the wire construction starts from wires supporting spin-@xmath19 fermions because @xmath176 , so that the minimal choice @xmath177 counts two pairs of kramers degenerate left- and right - moving degrees of freedom carrying opposite spin projections on the spin quantization axis , i.e. , two pairs of kramers degenerate helical modes . the @xmath124-matrix reads    [ eq : def h of v for class aii ] @xmath178 the entries in the @xmath124-matrix represent , from left to right , a right - moving particle with spin up , a left - moving particle with spin down , a left - moving particle with spin up , and a right - moving particle with spin down . the operation for reversal of time in any one of the @xmath15 wires is represented by [ one verifies that eq . ( [ eq : trs on p and i ] ) holds ] @xmath179 we define @xmath64 by choosing any symmetric @xmath180 matrix @xmath181 that obeys @xmath182    we define @xmath183 by choosing @xmath142 scattering vectors as follows . for any @xmath130 , we introduce the pair of scattering vectors    @xmath184    and @xmath185 the scattering vector  ( [ eq : def h of t for class aii d ] ) labels a one - body interaction in the fermion representation that fulfills eq . ( [ eq : def mathcal t b ] ) . it scatters a left mover with spin up from wire @xmath136 into a right mover with spin up in wire @xmath186 . for any @xmath130 , we also introduce the pair of amplitudes @xmath187 and the pair of phases @xmath188    according to eqs . ( [ eq : trs h d ] ) and  ( [ eq : trs h e ] ) , respectively . the choices for the amplitude  ( [ eq : def h of t for class aii f ] ) and the phase  ( [ eq : def h of t for class aii g ] ) are arbitrary . the subscript so refers to the intrinsic spin - orbit coupling . the rational for using it shall be shortly explained . one verifies that all @xmath142 scattering vectors  ( [ eq : def h of t for class aii c ] ) and  ( [ eq : def h of t for class aii d ] ) satisfy the haldane criterion  ( [ eq : haldane conditions ] ) , i.e. , @xmath189 for @xmath190 . correspondingly , the term @xmath183 gaps out @xmath191 of the @xmath192 gapless modes of @xmath64 . two pairs of kramers degenerate helical edge states that propagate along the first and last wire , respectively , remain in the low energy sector of the theory . these edge states are localized on wire @xmath144 and @xmath145 , respectively , for their overlaps with the gapped states from the bulk decay exponentially fast as a function of the distance away from the first and end wires . the energy splitting between the edge state localized on wire @xmath144 and wire @xmath145 brought about by the bulk states vanishes exponentially fast with increasing @xmath15 . two pairs of gapless kramers degenerate helical edge states emerge in the two - dimensional limit @xmath5 .    at energies much lower than the bulk gap , the effective @xmath33-matrix for the two pairs of helical edge modes is @xmath193 here , @xmath147 follows from replacing the entries in the @xmath194 @xmath33 matrix for all gapped modes by 0 . we are going to show that the effective scattering vector @xmath195 with the potential to gap out the pair of kramers degenerate helical edge modes on wire @xmath144 since it fulfills the haldane criterion  ( [ eq : haldane conditions ] ) , is not allowed by trs . @xcite on the one hand , @xmath196 maps to itself under reversal of time , @xmath197 on the other hand , @xmath198 therefore , the condition  ( [ eq : trs h e ] ) for @xmath196 to be a trs perturbation is not met , for the phase @xmath199 associated to @xmath196 then obeys @xmath200 a condition that can not be satisfied . had we imposed a trs with @xmath201 instead of @xmath202 as is suited for the symmetry class ai that describes spinless fermions with trs , we would only need to replace @xmath84 in eq . ( [ eq : def h of v for class aii b ] ) by the null vector . if so , the scattering vector  ( [ eq : def t eff aii ] ) is compatible with trs since the condition  ( [ eq : trs h e ] ) for trs then becomes @xmath203 instead of eq . ( [ eq : trs condition on alpha teff class aii ] ) . this is the reason why symmetry class ai is always topologically trivial in two - dimensional space from the point of view of the wire construction . note also that if we would not insist on the condition of charge neutrality ( [ eq : def mathcal t b ] ) , the tunneling vector @xmath204 that satisfies the haldane criterion and is compatible with trs could gap out the kramers degenerate pair of helical edge states .    to address the question of what happens if we change @xmath177 to @xmath205 with @xmath149 any strictly positive integer in each wire from the array , we consider , without loss of generality as we shall see , the case of @xmath206 . to this end , it suffices to repeat all the steps that lead to eq . ( [ eq : def t eff aii ] ) , except for the change @xmath207 and @xmath208 are compatible with the condition that trs holds in that the pair is a closed set under reversal of time , @xmath209 one verifies that these scattering vectors fulfill the haldane criterion  ( [ eq : haldane conditions ] ) . consequently , inclusion in @xmath183 of the two cosine potentials with @xmath210 and @xmath211 entering in their arguments , respectively , gaps out the pair of kramers degenerate helical modes on wire @xmath144 . the same treatment of the wire @xmath145 leads to the conclusion that trs does not protect the gapless pairs of kramers degenerate edge states from perturbations when @xmath206 . the generalization to @xmath205 channels is that it is only when @xmath149 is odd that a pair of kramers degenerate helical edge modes is robust to the most generic @xmath183 of the form depicted in the fourth column on line 3 of table  [ table : main table ] . since it is the parity of @xmath149 in the number @xmath205 of channels per wire that matters for the stability of the kramers degenerate helical edge states , we use the group of two integers @xmath0 under addition modulo 2 in the third column on line 3 of table  [ table : main table ] .    if we were to impose conservation of the projection of the spin-@xmath19 quantum number on the quantization axis , we must then preclude from all scattering vectors processes by which a spin is flipped . in particular , the scattering vectors  ( [ eq : def mathcal teff aii ] ) and  ( [ eq : def mathcal teff aii ] ) are not admissible anymore . by imposing the @xmath106 residual symmetry of the full @xmath212 symmetry group for a spin-@xmath19 degree of freedom , we recover the group of integers @xmath1 under the addition that encodes the topological stability in the quantum spin hall effect ( qshe ) . we close the discussion of the symmetry class aii by justifying the interpretation of the index so as an abbreviation for the intrinsic spin - orbit coupling . to this end , we introduce a set of @xmath129 pairs of scattering vectors    [ eq : def mathcal t r aii ] @xmath213 and @xmath214 for @xmath215 . the scattering vector  ( [ eq : def mathcal t r aii a ] ) labels a one - body interaction in the fermion representation that fulfills eq . ( [ eq : def mathcal t b ] ) . the index r is an acronym for rashba as it describes a backward scattering process by which a left mover with spin down from wire @xmath136 is scattered into a right mover with spin up on wire @xmath186 and conversely . for any @xmath130 , we also introduce the pair of amplitudes @xmath216 and the pair of phases @xmath217    according to eqs . ( [ eq : trs h d ] ) and  ( [ eq : trs h e ] ) , respectively . in contrast to the intrinsic spin - orbit scattering vectors , the rashba scattering vectors  ( [ eq : def mathcal t r aii a ] ) fail to meet the haldane criterion  ( [ eq : haldane conditions ] ) as @xmath218 hence , the rashba scattering processes fail to open a gap in the bulk , as is expected of a rashba coupling in a two - dimensional electron gas . on the other hand , the intrinsic spin - orbit coupling can lead to a phase with a gap in the bulk that supports the spin quantum hall effect in a two - dimensional electron gas . the simplest example among the topological superconductors can be found in the symmetry class d that is defined by the presence of a phs with @xmath219 and the absence of trs .    with the understanding of phs as discussed in sec . [ sec : phs in superconductors ] , we construct a representative phase in class d from identical wires supporting right- and left - moving spinless fermions each of which carry a particle or a hole label , i.e. , @xmath177 . the @xmath124-matrix reads    [ eq : def h of v for class d ] @xmath220 the entries in the @xmath124-matrix represent , from left to right , a right - moving particle , a left - moving particle , a left - moving hole , and a right - moving hole . the operation for the exchange of particles and holes in any one of the @xmath15 wires is represented by [ one verifies that eq . ( [ eq : phs on p and i ] ) holds ] @xmath221 we define @xmath64 by choosing any symmetric @xmath222 matrix @xmath181 that obeys @xmath223    we define @xmath54 by choosing @xmath224 scattering vectors as follows . for any wire @xmath225 , we introduce the scattering vector    [ eq : def h of t for class d ] @xmath226 between any pair of neighboring wires we introduce the scattering vector @xmath227 for @xmath130 . we observe that both @xmath228 and @xmath229 are eigenvectors of the particle - hole transformation in that @xmath230 thus , to comply with phs , we have to demand that the phases @xmath231    while @xmath232 are unrestricted . similarly , the amplitudes @xmath233 and @xmath234 can take arbitrary real values . one verifies that the set of scattering vectors defined by eqs . ( [ eq : def h of t for class d d ] ) and   ( [ eq : def h of t for class d e ] ) satisfies the haldane criterion . correspondingly , the term @xmath54 gaps out @xmath235 of the @xmath192 gapless modes of @xmath64 . furthermore , one identifies with @xmath236 a unique ( up to an integer multiplicative factor ) scattering vector that satisfies the haldane criterion with all existing scattering vectors eqs . ( [ eq : def h of t for class d d ] ) and  ( [ eq : def h of t for class d e ] ) and could thus potentially gap out the remaining pair of modes . however , the tunneling @xmath237 is non - local for it connects the two edges of the system when open boundary conditions are chosen . we thus conclude that the two remaining modes are exponentially localized near wire @xmath144 and wire @xmath145 , respectively , and propagate with opposite chirality .    to give a physical interpretation of the resulting topological ( edge ) theory in this wire construction , one has to keep in mind that the degrees of freedom were artificially doubled . we found , in this doubled theory , a single chiral boson ( with chiral central charge @xmath238 ) . to interpret it as the edge of a chiral @xmath239 superconductor , we impose the reality condition to obtain a single chiral majorana mode with chiral central charge @xmath240 . the pictorial representation of the topological phase in the symmetry class d through the wire construction is shown on the fifth row of table  [ table : main table ] . the generalization to an arbitrary number @xmath149 of gapless chiral edge modes is analogous to the case discussed in symmetry class a. the number of robust gapless chiral edge states of a given chirality is thus integer . this is the reason why the group of integers @xmath1 is found in the third column on the fifth line of table  [ table : main table ] . the remaining two topological nontrivial superconducting classes diii ( trs with @xmath176 and phs with @xmath219 ) and c ( phs with @xmath241 ) involve spin-@xmath19 fermions . each wire thus features no less than @xmath242 internal degrees of freedom corresponding to the spin-@xmath19 , chirality , and particle / hole indices . the construction is very similar to the cases we already presented . we relegate details to the appendices [ appendixsec : symmetry class c ] and [ appendixsec : symmetry class diii ] . the scattering vectors that are needed to gap out the bulk for each class of class diii and c are represented pictorially in the fourth column on lines 4 and 9 of table  [ table : main table ] . we have provided an explicit construction by way of an array of wires supporting fermions that realizes all five insulating and superconducting topological phases of matter with a nondegenerate ground state in two - dimensional space according to the tenfold classification of band insulators and superconductors . the topological protection of edge modes in the bosonic formulation follows from imposing the haldane criterion  ( [ eq : haldane conditions ] ) along with the appropriate symmetry constraints . in the next section we shall extend the wire construction to allow many - body tunneling processes that delivers fractionalized phases with degenerate ground states . the power of the wire construction goes much beyond what we have used in sec . [ sec : reproducing the tenfold way ] to reproduce the classification of the sre phases . in this section we describe how to construct models for interacting phases of matter with intrinsic topological order and fractionalized excitations by relaxing the condition on the tunnelings between wires that they be of the one - body type . while these phases are more complex , the principles for constructing the models and proving the stability of edge modes remain the same : all allowed tunneling vectors have to obey the haldane criterion  ( [ eq : haldane conditions ] ) and the respective symmetries . first , we review the models of quantum wires that are topologically equivalent to the laughlin state in the fqhe ,  @xcite following the construction in ref .   for abelian fractional quantum hall states . here , we want to emphasize that the choice of scattering vectors is determined by the haldane criterion  ( [ eq : haldane conditions ] ) and at the same time prepare the grounds for the construction of fractional topological insulators with trs in sec . [ subsec : symmetry class aii : fractional topological insulators ] . we want to construct the fermionic laughlin series of states indexed by the positive odd integer @xmath243 . @xcite ( by the same method , other fractional quantum hall phases from the abelian hierarchy could be constructed.@xcite ) the elementary degrees of freedom in each wire are spinless right- and left - moving fermions with the @xmath124-matrix    [ eq : def array quantum wires tse a ] @xmath244 as is done in eq . ( [ eq : def h for class a a ] ) . reversal of time is defined through @xmath72 and @xmath84 given in eq  ( [ eq : def h for class a b ] ) . instead of eq  ( [ eq : def h of t for class a ] ) , the scattering vectors that describe the interactions between the wires are now defined by @xmath245    for any @xmath215 , where @xmath246 [ see table  [ table : main table ] for an illustration of the scattering process ] .    for any @xmath215 , the scattering ( tunneling ) vectors  ( [ eq : def array quantum wires tse a b ] ) preserve the conservation of the total fermion number in that they obey eq .  , and they encode a tunneling interaction of order @xmath247 , with @xmath62 defined in eq .  . as a set , all tunneling interactions satisfy the haldane criterion  ( [ eq : haldane conditions ] ) , for @xmath248 we note that the choice of tunneling vector in eq . is unique ( up to an integer multiplicative factor ) if one insists on charge conservation , compliance with the haldane criterion  ( [ eq : haldane conditions ] ) , and only includes scattering between neighboring wires . the bare counting of tunneling vectors shows that the wire model gaps out all but two modes . however , we still have to convince ourself that the remaining two modes ( i ) live on the edge , ( ii ) can not be gapped out by other ( local ) scattering vectors and ( iii ) are made out of fractionalized quasiparticles . to address ( i ) and ( ii ) , we note that the remaining two modes can be gapped out by a unique ( up to an integer multiplicative factor ) charge - conserving scattering vector that satisfies the haldane criterion  ( [ eq : haldane conditions ] ) with all existing scatterings , namely @xmath249 connecting the opposite ends of the array of wires through the tunneling @xmath6 is not an admissible perturbation , for it violates locality in the two - dimensional thermodynamic limit @xmath5 . had we chosen periodic boundary conditions corresponding to a cylinder geometry ( i.e. , a tube as in fig . [ fig : boundaryconditions ] ) by which the first and last wire are nearest neighbors , @xmath6 would be admissible . hence , the gapless nature of the remaining modes when open boundary conditions are chosen depends on the boundary conditions . these gapless modes have support near the boundary only and are topologically protected .    applying the transformation   with @xmath250 where @xmath251 transforms the @xmath124-matrix into @xmath252 as its determinant is not unity , the linear transformation  ( [ eq : trasf for fields phi a b r ] ) changes the compactification radius of the new field @xmath253 relative to the compactification radius of the old field @xmath254 accordingly . finally , the transformed tunneling vectors are given by @xmath255 where @xmath256 and @xmath215 . in view of eqs .   and  , the remaining effective edge theory is described by @xmath257 this is a chiral theory at each edge that can not be gapped by local perturbations . equation   is precisely the edge theory for anyons with statistical angle @xmath258 and charge @xmath259 ,  @xcite where @xmath153 is the charge of the original fermions . having understood how fractionalized quasiparticles emerge out of a wire construction , it is imperative to ask what other phases can be obtained when symmetries are imposed on the topologically ordered phase . such symmetry enriched topological phases have been classified by methods of group cohomology . @xcite here , we shall exemplify for the case of trs with @xmath176 how the wire construction can be used to build up an intuition for these phases and to study the stability of their edge theory . the elementary degrees of freedom in each wire are spin-@xmath19 right- and left - moving fermions with the @xmath124-matrix    [ eq : def array quantum wires tse aii ] @xmath260 as is done in eq . ( [ eq : def h of v for class aii a ] ) . reversal of time is defined through @xmath72 and @xmath84 given in eq  ( [ eq : def h of v for class aii b ] ) . instead of eq  ( [ eq : def h of t for class aii d ] ) , the scattering vectors that describe the interactions between the wires are now defined by    @xmath261    and @xmath262    for any @xmath215 , @xmath243 a positive odd integer , and @xmath263 .    for any @xmath215 , the scattering ( tunneling ) vectors  ( [ eq : def array quantum wires tse aii b ] ) preserve conservation of the total fermion number in that they obey eq .  , and they encode a tunneling interaction of order @xmath247 with @xmath62 defined in eq .  . they also satisfy the haldane criterion  ( [ eq : haldane conditions ] ) as a set [ see table  [ table : main table ] for an illustration of the scattering process ] .    applying the transformation   with @xmath264 to the bosonic fields , leaves the representation of time - reversal invariant @xmath265 while casting the theory in a new form with the transformed @xmath266-matrix given by @xmath267 and , for any @xmath215 , with the transformed pair of scattering vectors @xmath268 given by    @xmath269    and @xmath270 when these scattering vectors have gapped out all modes in the bulk , the effective edge theory is described by @xmath271    this effective @xmath124-matrix describes a single kramers degenerate pair of @xmath258 anyons propagating along the first wire and another single kramers degenerate pair of @xmath258 anyons propagating along the last wire . their robustness to local perturbations is guaranteed by trs .    unlike in the tenfold way , the correspondence between the bulk topological phase and the edge theories of lre phases is not one - to - one . for example , while a bulk topological lre phase supports fractionalized topological excitations in the bulk , its edge modes may be gapped out by symmetry - allowed perturbations . for the phases discussed in this section , namely the abelian and trs fractional topological insulators , it was shown in refs . and that the edge , consisting of kramers degenerate pairs of edge modes , supports at most one stable kramers degenerate pair of delocalized quasiparticles that are stable against disorder . ( note that this does not preclude the richer edge physics of non - abelian trs fractional topological insulators . @xcite )    we will now argue that the wire constructions with edge modes given by eq . exhaust all stable edge theories of abelian topological phases which are protected by trs with @xmath176 alone . let the single protected kramers degenerate pair be characterized by the linear combination of bosonic fields @xmath272 and its time - reversed partner @xmath273 where the tunneling vector @xmath58 was constructed from the microscopic information from the theory in ref . and @xmath274 is the @xmath124-matrix of a trs bulk chern - simons theory from the theory in ref .  . [ in other words , the theory encoded by @xmath274 has nothing to do a priori with the array of quantum wires defined by eq . ( [ eq : def array quantum wires tse aii ] ) . ] the kramers degenerate pair of modes @xmath275 is stable against trs perturbations supported on a single edge if and only if @xmath276 is an odd number . here , @xmath277 is the charge vector with integer entries that determines the coupling of the different modes to the electromagnetic field . provided @xmath275 is stable , its equal - time commutation relations follow from eq . ( [ eq : def hat phi s b ] ) as    @xmath278 = & \ , -\mathrm{i}\pi\ , \left ( \mathcal{t}^{\mathsf{t}}\ , \mathcal{k}'\ , \mathcal{t}\ , \mathrm{sgn}(x - x ' ) + \mathcal{t}^{\mathsf{t}}\ , \mathcal{l}\ , \mathcal{t } \right ) , \\ \left[\hat{\bar{\varphi}}(x),\hat{\bar{\varphi}}(x')\right ] = & \ , -\mathrm{i}\pi\ , \left ( -\mathcal{t}^{\mathsf{t}}\ , \mathcal{k}'\ , \mathcal{t}\ , \mathrm{sgn}(x - x ' ) + \overline{\mathcal{t}}^{\mathsf{t}}\ , \mathcal{l}\ , \overline{\mathcal{t } } \right),\end{aligned}\ ] ]    where we used that @xmath274 anticommutes with @xmath279 according to eq .  ( [ eq : trs h c ] ) . by the same token , we can show that the fields @xmath280 and @xmath281 commute , for @xmath282 we conclude that the effective edge theory for _ any _ abelian trs fractional topological insulator build from fermions has the effective form of one kramers degenerate pairs @xmath283 and is thus entirely defined by the single integer @xmath284 with the scattering vectors  ( [ eq : def array quantum wires tse aii c ] ) we have given an explicit wire construction for each of these cases , thus exhausting all possible stable edge theories for abelian fractional topological insulators .    for each positive odd integer @xmath243 , we can thus say that the fractionalized mode has a @xmath0 character : it can have either one or none stable kramers degenerate pair of @xmath243 quasiparticles .      in sec . [ subsec : symmetry class aii : fractional topological insulators ] we have imposed trs on the wire construction of fractional quantum hall states and obtained the fractional topological insulator in symmetry class aii . in complete analogy , we can impose phs with @xmath219 on the wire construction of a fractional quantum hall state , thereby promoting it to symmetry class d. physically , there follows a model for a superconductor with  fractionalized " majorana fermions or bogoliubov quasiparticles .    lately , interest in this direction has been revived by the investigation of exotic quantum dimensions of twist defects embedded in an abelian fractional quantum hall liquid ,  @xcite along with heterostructures of superconductors combined with fractional quantum hall effect ,  @xcite or fractional topological insulators . @xcite furthermore , the kitaev quantum wire has been generalized to @xmath285 clock models hosting parafermionic edge modes ,  @xcite along with efforts to transcend the read - rezayi quantum hall state  @xcite to spin liquids  @xcite and superconductors ,  @xcite all of which exhibit parafermionic quasiparticles .    as in the classification of non - interacting insulators , we treat the bogoliubov quasiparticles under bosonization as if they were dirac fermions . the fractional phase is driven by interactions among the bogoliubov quasiparticles . the elementary degrees of freedom in each wire are spinless right- and left - moving fermions and holes as was defined for symmetry class d in eqs .  - . we construct the fractional topological insulator using the set of phs scattering vectors @xmath228 , for @xmath225 with @xmath228 as defined in eq . in each wire and the phs as defined in eq .  . we complement them with the set of phs scattering vectors @xmath229 , for @xmath215 defined by    @xmath286    with @xmath243 an odd positive integer . notice that @xmath287 so that we have to demand that @xmath288 has to comply with phs . thus , together the @xmath228 and @xmath229 gap out @xmath235 of the @xmath192 chiral modes in the wire . we can identify a unique ( up to an integer multiplicative factor ) scattering vector @xmath289 with @xmath243 the ame odd positive integer as in eq . ( [ eq : def overline t for class d j=1 ... n-1 ] ) that satisfies the haldane criterion with all @xmath228 and @xmath229 and thus can potentially gap out the 2 remaining modes . however , it is physically forbidden for it represents a non - local scattering from one edge to the other . we conclude that each boundary supports a single remaining chiral mode that is an eigenstate of phs .    to understand the nature of the single remaining chiral mode on each boundary , we use the local linear transformation @xmath160 of the bosonic fields @xmath290 with determinant @xmath291 . when applied to the non - local scattering vector @xmath292 that connects the two remaining chiral edge modes , @xmath293 while the @xmath124 matrix changes under this transformation to @xmath294 noting that the representation of phs is unchanged @xmath295 we can interpret the remaining chiral edge mode as a phs superposition of a laughlin quasiparticle and a laughlin quasihole . it thus describes a fractional chiral edge mode on either side of the two - dimensional array of quantum wires . the definite chirality is an important difference to the case of the fractional @xmath0 topological insulator discussed in sec . [ subsec : symmetry class aii : fractional topological insulators ] . it guarantees that any integer number @xmath296 layers of this theory is stable , for no tunneling vector that acts locally on one edge can satisfy the haldane criterion  ( [ eq : haldane conditions ] ) . for each @xmath243 , we can thus say that the parafermion mode has a @xmath1 character , as does the sre phase in symmetry class d.      needed are the many - body tunneling matrices for class diii and c. we refer the reader to the appendices [ appendixsec : symmetry class c ] and [ appendixsec : symmetry class diii ] for their definitions . for class diii , the edge excitations ( and bulk quasiparticles ) of the phase are trs fractionalized bogoliubov quasiparticles that have also been discussed in one - dimensional realizations . ( in the latter context , these trs fractionalized bogoliubov quasiparticles are rather susceptible to perturbations . in this work , we have developed a wire construction to build models of short - range entangled and long - range entangled topological phases in two spatial dimensions , so as to yield immediate information about the topological stability of their edge modes . as such , we have promoted the periodic table of integer topological phases to its fractional counterpart . the following paradigms were applied . + ( 1 ) each luttinger liquid wire describes ( spinfull or spinless ) electrons . we rely on a bosonized description . + ( 2 ) back - scattering and short - range interactions within and between wires are added . modes are gapped out if these terms acquire a finite expectation value . + ( 3 ) a mutual compatibility condition , the haldane criterion , is imposed among the terms that acquire an expectation value . it is an incarnation of the statement that the operators have to commute if they are to be replaced simultaneously by their expectation values . + ( 4 ) a set of discrete and local symmetries are imposed on all terms in the hamiltonian . when modes become massive , they may not break these symmetries . + ( 5 ) we do not study the renormalization group flow of the interaction and back - scattering terms , but analyze the model in a strong - coupling limit .    using this strategy , the following directions present themselves for future work . first , for symmetry class a , we have shown that sufficiently strong interactions among identical electrons can turn any topological phase with the same topological number controlling both the hall and thermal conductivities into a sre topological phase with independent quantized values of the hall and thermal conductivities . [ we only need to make the interaction encoded by eq . ( [ eq : definition of interactions that produce bosons out of fermions ] ) dominant . ] hence , it is natural to seek a putative breakdown of the topological counterpart to the wiedemann - franz law for metals in the symmetry class aii and for the lre phases in the symmetry classes a and aii . second , we can impose on our wire construction additional , albeit less generic , symmetries such as a non - local inversion symmetry or such as a residual @xmath106 spin symmetry . third , our construction can be extended to topological phases of systems that have bosons as their elementary degrees of freedom . for bosons , no analogue of the tenfold way exists to provide guidance . however , several works are dedicated to the classification of sre and lre phases of bosons , which might provide a helpful starting point . @xcite    fourth , extensions to higher dimensions could be considered . @xcite this would , however , entail leaving the comfort zone of one - dimensional bosonization , with a necessary generalization of the haldane criterion in a layer construction . this work was supported by the european research council through the grant topolectrics , erc - stg - thomale-336012 , by darpa spawarsyscen pacific n66001 - 11 - 1 - 4110 ( t.n . ) , and by doe grant def-06er46316 ( c.c . ) . the conditions  ( [ eq : trs h ] ) and  ( [ eq : phs h ] ) for trs and phs can be derived by adapting the derivations    @xmath297    and @xmath298    of eqs . ( [ eq : trs h d ] ) and  ( [ eq : trs h e ] ) , respectively . class c is defined on line 9 of table  [ table : main table ] by the operator @xmath66 for the phs obeying @xmath241 with neither trs nor chiral symmetry present ( as is implied by the entries 0 for @xmath7 and @xmath9 in table [ table : main table ] ) . in physical terms , class c describes a generic superconductor for which full spin @xmath212 symmetry is retained but trs is broken . the only difference to the case of class d considered in the main text is that the number of degrees of freedom is doubled . we postulate that under phs the following transformation rules hold @xmath299 for the creation operators of bogoliubov - degennes quasiparticles that are right ( r ) movers at the fermi energy and carry the spin quantum numbers @xmath300 . we apply the same transformation law to the creation operators of bogoliubov - degennes quasiparticles that are left ( l ) movers at the fermi energy and carry the spin quantum numbers @xmath300 . we consider identical wires with quasiparticles of type 1 and 2 , `` particles '' and `` holes '' , as well as left- and right - moving degrees of freedom . for any given wire with the basis ( @xmath301 , @xmath302 , @xmath303 , @xmath304 , @xmath305 , @xmath306 , @xmath307 , @xmath308 ) , the @xmath124-matrix reads    @xmath309    where phs has the representation @xmath310      to complete the definition of an array of quantum wires realizing a sre phase in the symmetry class c , we specify the @xmath235 scattering vectors    @xmath311    [ eq : tunneling vectors for c sre ]    for @xmath225 , and @xmath312 . these scattering vectors gap out all modes in the bulk and comply both with phs and with the haldane criterion  ( [ eq : haldane conditions ] ) . of the remaining four modes , two are localized at either edge of the system . the remaining two modes on either edge share the same chirality , for they could be gapped out by the non - local scattering vectors    @xmath313    which act on modes with @xmath14 chirality on the left and and of @xmath13 chirality on the right edge only . we conclude that the pair of chiral modes on either edge is protected from backscattering . extending this construction to any integer number of layers yields the @xmath1 classification of class c.      to complete the definition of an array of quantum wires realizing a lre phase in the symmetry class c , we use the @xmath143 scattering vectors @xmath314 and @xmath315 , @xmath316 defined in eq .   and supplement them with the @xmath142 scattering vectors    latexmath:[\[\begin{aligned } \mathcal{t}^{(j)}_{3,\mathrm{lre}}:=&\ , ( 0,0,0,0,0,0,0,0|\cdots| 0,-m^{\,}_{-},m^{\,}_{+},0,-m^{\,}_{+},0,0,m^{\,}_{-}|0,-m^{\,}_{+},m^{\,}_{-},0,-m^{\,}_{-},0,0,m^{\,}_{+ }    \\ \mathcal{t}^{(j)}_{4,\mathrm{lre}}:=&\ , ( 0,0,0,0,0,0,0,0|\cdots| m^{\,}_{-},0,0,-m^{\,}_{+},0,m^{\,}_{+},-m^{\,}_{-},0|m^{\,}_{+},0,0,-m^{\,}_{-},0,m^{\,}_{-},-m^{\,}_{+},0     for @xmath134 , and @xmath263 as well as @xmath243 an odd positive integer . these tunneling vectors gap out all modes in the bulk and comply both with phs and with the haldane criterion  ( [ eq : haldane conditions ] ) . one verifies that there exists a linear transformation with integer entires @xmath160 and @xmath318 such that @xmath319 the @xmath124-matrix transforms according to eq .  , leaving the effective effective edge theory with two chiral modes of phs symmetric superpositions of laughlin quasiparticles with laughlin quasiholes on either edge of the system . as with the sre phase of symmetry class c , this is a completely chiral theory and no back - scattering mechanism can gap out modes by the haldane criterion  ( [ eq : haldane conditions ] ) . extending this construction to any integer number of layers yields a @xmath1 classification of the lre phase in symmetry class c for every positive odd integer @xmath243 . class diii is defined on line 4 of table  [ table : main table ] by the operator @xmath66 for the phs obeying @xmath219 and with the trs @xmath176 . in physical terms , class diii describes a generic superconductor for which full spin @xmath212 symmetry is broken but trs is retained . we use the same basis and @xmath124-matrix as specified for class c in eq .  , namely                for @xmath225 , and @xmath312 . these tunnelings gap out all the bulk modes . here , @xmath314 and @xmath315 as well as @xmath324 and @xmath325 are pairwise related by trs , while each of the tunneling vectors is in itself phs . the phases of the corresponding cosine terms in hamiltonian   comply with both trs and phs as if @xmath326    on both wire @xmath327 and wire @xmath4 , there remains a single kramers degenerate pair of propagating modes . now , the tunneling vector @xmath328 acts locally on the left edge , satisfies the haldane criterion with all existing scattering vectors , and is unique up to an integer multiplicative factor . it might thus be concluded that the left pair of kramers degenerate edge states can be gapped by the tunneling @xmath329 . this is not so however . indeed , while @xmath329 itself is both compliant with phs and trs , its contribution to @xmath54 induces another expectation value that breaks trs spontaneously . to see this , we note that , by the particle - hole redundancy , the bosonic fields @xmath330 and @xmath331 as well as @xmath332 and @xmath333 have to be identified . thus , it is @xmath334 that acquires an expectation value . now , the term @xmath335 is more relevant from the point of view of the renormalization group than @xmath336 . if @xmath336 acquires an expectation value , so does @xmath335 . however , @xmath335 corresponds to @xmath337 ( and scattering vectors related by phs ) must then break trs spontaneously , for the resulting condition @xmath338 on the phase of its cosine term can not be met . if we rule out the spontaneous breaking of trs on the left edge , we must rule out the tunnelings @xmath339 for any integer @xmath149 . under this assumption , there remains a single gapless left pair of kramers degenerate edge states . we conclude that there is no possibility to localize the remaining edge modes with perturbations that comply with both trs and phs . had we considered two layers of this wire model , edge modes in both layers can be gapped out pairwise , similar to the case of class aii that we discussed in the main text . we conclude that the sre phase of symmetry class diii features a @xmath0 topological classification . to complete the definition of an array of quantum wires realizing a lre phase in the symmetry class d iii , we use the @xmath143 scattering vectors @xmath314 and @xmath315 , @xmath316 defined in eq .   and supplement them with the @xmath142 scattering vectors    latexmath:[\[\begin{aligned } \mathcal{t}^{(j)}_{3,\mathrm{lre}}:=&\ , ( 0,0,0,0,0,0,0,0|\cdots| -m^{\,}_{-},0,m^{\,}_{+},0,-m^{\,}_{+},0,m^{\,}_{-},0|-m^{\,}_{+},0,m^{\,}_{-},0,-m^{\,}_{-},0,m^{\,}_{+},0       for @xmath134 , and @xmath263 as well as @xmath243 an odd positive integer . these tunneling vectors gap out all modes in the bulk and comply both with phs and with the haldane criterion  ( [ eq : haldane conditions ] ) . one verifies that there exists a linear transformation with integer entires @xmath160 and @xmath318 such that @xmath341 the @xmath124-matrix transforms according to eq .  , leaving the effective effective edge theory with one kramers degenerate pair of phs symmetric superpositions of laughlin quasiparticles with laughlin quasi - holes on either edge of the system . as with the sre phase of symmetry class diii , this edge theory is protected by phs and trs . two copies of it , however , can be fully gapped out while preserving phs and trs . this yields a @xmath0 classification of the lre phase in symmetry class diii for every positive odd integer @xmath243 . a chiral symmetry is preseent if there exists a chiral operator @xmath342 that is antiunitary and commutes with the hamiltonian . the single - particle representation @xmath343 of @xmath342 is a unitary operator that anticommutes with the single - particle hamiltonian . in a basis in which @xmath343 is strictly block off diagonal , @xmath343 reverses the chirality . this chirality is unrelated to the direction of propagation of left and right movers which is also called chirality in this paper .
Abstract:

Answer: a scheme is proposed to construct integer and fractional topological quantum states of fermions in two spatial dimensions . we devise models for such states by coupling wires of non - chiral luttinger liquids of electrons , that are arranged in a periodic array . which inter - wire couplings are allowed is dictated by symmetry and the compatibility criterion that they can simultaneously acquire a finite expectation value , opening a spectral gap between the ground state(s ) and all excited states in the bulk . first , with these criteria at hand , we reproduce the tenfold classification table of integer topological insulators , where their stability against interactions becomes immediately transparent in the luttinger liquid description . second , we construct an example of a strongly interacting fermionic topological phase of matter with short - range entanglement that lies outside of the tenfold classification . third , we expand the table to long - range entangled topological phases with intrinsic topological order and fractional excitations .