with advancing quantum technologies  @xcite it is becoming increasingly important to understand interaction of quantum systems with external degrees of freedom .
evolution of a system coupled to environment can be described by a master equation .
a particularly appealing type of a master equation is a lindblad equation  a rather general setting that can describe any markovian evolution  @xcite . while lindblad equations have been used extensively in the past to describe few - particle systems in nmr or quantum optics , recently increasing efforts are devoted to understand many - body systems in the lindblad setting .
motivation comes from a wide range of fields where lindblad equations find their application , to name a few : as a computational resource in quantum information , to study e.g. transport properties of strongly - correlated condensed - matter systems , or to study nonequilibrium statistical physics of many - body systems .
usually the object of most interest for open systems is a steady state , that is , a state to which any initial state converges after a long time .
besides the steady state , dynamics is also of interest with one of the most important quantities being the relaxation time . in a finite system relaxation time
is simply equal to the inverse gap of the liouvillian propagator generating evolution . in statistical physics
the scaling power of the gap is called the dynamical exponent  a critical exponent determining a universality class to which a model belongs .
dynamical exponents have been extensively studied in classical exclusion models , see e.g. ref .
@xcite or refs .
@xcite for some more recent results .    in a quantum domain
much less is known about relaxation times of many - body systems .
depending on a situation one might want the gap to be large or small .
for instance , if dissipation is engineered in order to prepare a specific steady state one might want relaxation to be as fast as possible . on the other hand , if dissipation is unwanted , for instance , in a quantum memory device , relaxation should be as slow as possible .
the value of the gap @xmath2 is important not just for the relaxation time itself  @xcite , but can also carry information about the steady - state properties .
namely , if the gap is finite ( so - called rapidly mixing systems ) one can show that this implies a clustering of correlations in the steady state  @xcite , meaning that local observables are uncorrelated on a scale larger than @xmath3 .
rapid mixing also implies the stability of steady state to local perturbations  @xcite .
if the gap on the other hand closes in the thermodynamic limit this can lead to a nonequilibrium phase transition  @xcite and can result in a non - exponential relaxation  @xcite towards a steady state .
understanding how the gap scales with the system size is therefore of fundamental importance .
there have been few scattered results in the literature calculating or bounding the gap either analytically or numerically for specific lindblad models . with our work
we plan to extend these results , studying in more detail how the gap scales with the system size .
one can distinguish grossly two different situations depending on the number of sites at which dissipation acts : in a lattice with @xmath4 sites dissipation acts on @xmath5 sites ( i.e. , on most sites ) , a setting we will call bulk dissipation , or , it can act only on a fixed number of sites ( number of sites does not grow with @xmath4 ) , a setting we will call boundary dissipation ( eventhough sites at which it acts need not be at a boundary ) . not surprisingly , as we shall see the gap can behave differently in the two cases .
what is known so far is that for so - called davies generators , also called thermal reservoirs , that are an example of bulk dissipation , one is in certain cases able to rigorously prove that the gap is independent of the system length  @xcite , @xmath6 .
one can also show exponential relaxation in weakly coupled systems  @xcite .
similarly , one can show that the gap can be constant for some other systems with bulk dissipation  @xcite , while in other systems it can also scale as @xmath7  @xcite . on the other hand , for open systems with boundary dissipation the observed gaps have so - far all been scaling as @xmath1 , or smaller , examples being the xy  @xcite or the xxx  @xcite model .
for scaling of gaps in the redfield equation see ref .
@xcite .    in the present work we are going to study the scaling of the gap with system size in a number of spin chain models with bulk as well as with boundary dissipation .
the aim is to get a better overview of possible gap scaling and changes in the scaling power as one varies parameters .
such changes can be associated with possible phase transitions in the steady state as well as in decay modes . in the main part of the paper
we shall organize sections according to different models studied , explaining for each different techniques used ( ranging from analytical to numerical ) to infer the scaling .
we shall also pay attention to the validity of a weak - dissipation perturbation theory that can be used to calculate the gap , demonstrating its failure in a number of cases .
if one is not interested in all the details of gap calculation , or just wants an overview of different gap scalings found , there are tables  [ tab : bulk ] and  [ tab : bound ] provided in the summary section at the end of the paper .
the paper is organized as follows . in sec.ii .
we briefly explain the setting of lindblad equations . in sec iii .
we then study systems with bulk dissipation , while in sec .
we study systems with boundary dissipation .
each of these two sections is split into subsections describing different systems . in sec.iv .
we also explain an argument that the gap in systems with boundary dissipation can not be larger than @xmath0 . finally , in sec.v .
we conclude as well as present a summary of the results found .
the lindblad equation is  @xcite @xmath8+\cld(\rho ) , \label{eq : lin}\end{aligned}\ ] ] where @xmath9 is a linear superoperator called a dissipator that can be expressed in terms of traceless lindblad operators @xmath10 . denoting eigenvalues of the liouvillian @xmath11 by @xmath12 , and ordering them according to their real parts , with @xmath13 assuming to be nondegenerate , the gap is equal to a negative real part of the 2nd largest eigenvalue , @xmath14\ ] ] eigenvectors of @xmath11 corresponding to nonzero eigenvalues are called decay modes .
the models that we are going to study will all be spin chains composed of @xmath4 lattice sites , each carrying a spin-@xmath15 particle .
coupling in @xmath16 will always be local between nearest - neighbor sites only , and with open boundary conditions .
dissipation will also be local , i.e. , each lindblad operator @xmath10 will act nontrivially only on a single site ( different @xmath10 though can act on different sites ) .
two types of dissipation will be employed , both physically motivated .
the first one is dephasing for which @xmath17 , and which tries to destroy off - diagonal matrix elements ( in the eigenbasis of @xmath18 ) .
the second one is magnetization driving in which lindblad operators proportional to raising and lowering operators try to impose an imbalance in populations of spin - up and spin - down states .
we mention that the many - body spin chain models studied here are within reach of present day cold - atom technology , e.g. refs .
@xcite , with individual components like few qubit controlled dissipation  @xcite or heisenberg spin chains  @xcite already demonstrated .
a canonical model that we shall study in both bulk- and boundary - driven cases is the anisotropic heisenberg model ( xxz model for short ) . for zero anisotropy
the xxz model goes into the xx model , which is especially simple and even allows for an exact asymptotic solution .
the hamiltonian of the xx model is @xmath19 dissipation @xmath20 is given by dephasing of strength @xmath21 acting independently on each site , which is described by a set of @xmath4 lindblad operators , @xmath22    we note that such liouvillian @xmath11 conserves the total magnetization @xmath23 , that is , if @xmath24 is an eigenstate of @xmath25 with eigenvalue @xmath26 and similarly @xmath27 is an eigenstate of @xmath25 with an eigenvalue @xmath28 , then @xmath29 is a superposition of terms in which all @xmath30 and all @xmath31 are again eigenstates of @xmath25 with eigenvalues @xmath26 and @xmath28 , respectively .
more formally conservation means that @xmath32 , with @xmath33 being rotation around the @xmath34-axis .
@xmath11 therefore has a block structure and we shall label each block by a magnetization difference @xmath34 and by a number of flipped spins @xmath35 , @xmath36 for an @xmath4-site chain the allowed values of @xmath34 are from @xmath37 to @xmath38 in steps of @xmath39 , while that of @xmath35 are @xmath40 .
of special interest will be sectors with @xmath41 because they carry a steady state , i.e. , an eigenstate of @xmath11 with eigenvalue @xmath42 .
a subspace with @xmath41 and some value of @xmath35 will be simply called an @xmath35-particle sector and has ( operator ) dimension @xmath43 .
two most important ones are @xmath44 ( 1-particle sector ) , being the smallest nontrivial one , and the largest one with @xmath45 ( or @xmath46 for odd @xmath4 ) being called a half - filling sector because half of the spins are pointing up and half are pointing down .
an important property of dissipative systems where @xmath16 is quadratic in fermionic operators ( via jordan - wigner transformation ) and lindblad operators are hermitian ( but not necessarily quadratic ) , and our xx model is an example of such a system , is that equations for correlation functions split into a hierarchy of equations according to their order , i.e. , the number of fermionic operators in the expectation value  @xcite .
this enables one to exactly calculate few - point expectation values in the steady state , for instance in the presence of an additional boundary driving  @xcite , an incoherent bulk hopping  @xcite , or special engineered dissipation  @xcite .
here we are not interested in the steady state but instead in the liouvillian gap , in particular in its scaling with the system size @xmath4 . due to magnetization conservation
there are @xmath47 steady states , one in each invariant subspace with @xmath41 and a particular @xmath35 .
one can also easily see that such a steady state is a uniform mixture off projectors to all @xmath48 diagonal basis states in the corresponding @xmath35-particle subspace , for instance , for @xmath49 in a 1-particle sector ( @xmath44 , @xmath41 ; subspace dimension @xmath50 ) the steady state is @xmath51 . for more details about such states , for instance their schmidt spectrum , see appendix  [ app : a ] .
subspaces with @xmath52 do not contain any zero eigenvalues ( i.e. , steady states ) because they are orthogonal to the identity operator which is , due to trace preservation , always a left eigenvector of @xmath11 with eigenvalue zero and is therefore non - orthogonal to all steady states . because we are interested in the gap we can limit our discussion to subspaces with @xmath41 as they are the only ones that contain steady states .
subspaces with @xmath53 and @xmath54 are of dimension @xmath55 and contain only the steady state and are of no interest to us .
all other @xmath56 subspaces contain a nontrivial gap .
we shall be in particular interested in the smallest gap out of those , i.e. , the global one , giving the slowest relaxation rate in the system .
because of a hierarchy of correlations we know that the eigenvalues , i.e. decay rates , of @xmath57-point correlation equations are equal to ( some ) eigenvalues of the liouvillian  @xcite , however , one in general does not know whether they also give the gap . regardless of
that they can be used as an upper bound on the global gap .
for instance , for a model with an incoherent hopping the relaxation rate of @xmath39-point correlations scales as @xmath7  @xcite meaning that the global gap can not be larger . similarly ,
for a boundary - driven system numerical calculation of the global gap also resulted in @xmath7 scaling  @xcite .    by numerically diagonalizing our @xmath11 in each @xmath35-particle sector
we observe that the gap is in fact the same in all sectors .
this in particular means that to calculate the global gap it is enough to consider the @xmath55-particle sector which is of dimension @xmath58 ( or its symmetric @xmath59-particle partner that has exactly the same eigenvalues ) .
this is due to a free nature of @xmath16 , causing that the spectrum of the 1-particle sector to be contained in higher-@xmath35 sectors .
one could be tempted to conclude that the @xmath55-particle sector will be rather trivial
this is certainly true for a @xmath55-particle sector of dimension @xmath4 in the hilbert space of states  however , here we are dealing with a @xmath55-particle sector of dimension @xmath60 in the hilbert space of operators . as we shall see this allows for a rich behavior , among other things for a discontinuous transition in the scaling of the gap from a constant @xmath61 for small dephasing strength @xmath21 to @xmath7 for non - small @xmath21 .    before going to the actual calculation of the gap
let us pause for a moment and have a look at an alternative formulation of the eigenvalue problem for the whole @xmath11 .
the liouvillian that acts on a @xmath62 dimensional operator space is a non - hermitian linear operator that can be written as a `` hamiltonian '' of a non - hermitian spin-@xmath15 ladder composed of @xmath4 rungs .
each rung , spanned by @xmath63 pure states , takes care of one site of @xmath11 which is also @xmath63 dimensional ( e.g. , three pauli matrices plus an identity ) .
the resulting ladder is for the xx chain with dephasing very simple : it is composed of two @xmath64-coupled chains along the ladder legs with an additional imaginary coupling along rungs , see fig .
[ fig : lestev ] and appendix of ref .
@xcite for the mapping details .
interaction along upper and lower legs ( thin lines ) and an imaginary @xmath65 interaction due to dephasing along rungs ( double lines).,width=316 ]    the steady state is an eigenvector corresponding to the eigenvalue zero , in other words a `` ground state '' of a non - hermitian ladder . because of dissipative coupling along rungs this ground state is always , regardless of the value of @xmath21 , a direct product of singlet states at each rung .
the steady state is therefore always dominated by dephasing @xmath21 , forcing the steady state to be a singlet state .
this is due to a very special structure of @xmath11  no interaction in @xmath16 ( which plays an inert role ) and a dephasing that kills all off - diagonal matrix elements .
as we shall show , things are very different for the first decay mode determining the gap .
there is a transition from a @xmath21-dominated phase to a different phase in which @xmath16 becomes important .    in the ladder formulation of
@xmath11 we can also see why the @xmath55-particle superoperator sector is nontrivial : it corresponds ( in an appropriate basis ) to states with one particle in the upper leg ( bra ) and one particle in the lower leg ( ket ) .
therefore , a @xmath55-particle superoperator problem is like a problem of @xmath39 interacting particles on a ladder .
it constitutes the simplest case of an interacting system .
let us now calculate the gap in the 1-particle sector .
essentially the same eigenvalue problem , apart from different boundary conditions  @xcite , has been rigorously solved in ref .
@xcite . here
we shall present a different and approximate calculation of the gap , which is simpler but nevertheless accurate in the thermodynamic limit @xmath66 in which we are especially interested .     of the xx model with dephasing @xmath67 .
shown is the exact gap ( symbols ) , the full curve is the approximate formula ( [ eq : gap1mag ] ) , while the dotted curve shows the asymptotic expression @xmath68 . the approximate result ( [ eq : gap1mag ] ) is accurate for @xmath4 larger than the transition point @xmath69.,width=316 ]    the basic idea is the following .
we have seen that the steady state is always dominated by the dephasing and one can expect that in some range of dephasing strengths the first decay mode will also be of the same nature  that is dominated by @xmath21 .
if this is the case , then its eigenoperator will be close to diagonal because dephasing kills all off - diagonal elements . in the lowest approximation the unitary part @xmath70 couples diagonal elements @xmath71 , where @xmath72 denotes a state of @xmath4 spins with the @xmath73-th spin being flipped to @xmath74 while all others are in state @xmath75 , to two off - diagonal @xmath76 and @xmath77 .
such a tri - diagonal approximation reduces the size of @xmath11 in the 1-particle sector from @xmath60 to @xmath78 .
in addition , we can immediately see that on this three - diagonal subspace all @xmath59 states of the form @xmath79 are eigenstates with eigenvalue @xmath80 ( they are eigenstates of @xmath81 with eigenvalue @xmath42 because of different signs when @xmath16 acts from the left and from the right , while @xmath82 and similarly for @xmath83 ) . reduction of @xmath11 to @xmath84 dimensional subspace spanned by @xmath71 and @xmath85 has a block structure of form , @xmath86 basis ordering is such that the first diagonal block corresponds to @xmath4 states @xmath71 , and the second to @xmath59 states @xmath85 .
writing the eigenvector as @xmath87 and the eigenvalues as @xmath88 , and eliminating @xmath89 , we get an eigenvalue equation @xmath90 , with @xmath91 being a tridiagonal matrix of size @xmath92 with matrix elements @xmath93 @xmath94 is nothing but a standard matrix appearing is a solution of harmonic oscillators or a tight - binding model , and has eigenvalues @xmath95 , leading to eigenvalues @xmath96 of @xmath97 being @xmath98 .
the gap is determined by the largest eigenvalue @xmath99 , and is @xmath100 the gap @xmath2 gives the distance of the largest decay mode eigenvalue from the origin along a real axis , with the next largest decay mode being asymptotically at a distance @xmath101 . for @xmath16 with periodic boundary conditions
the gap is @xmath63 times larger than the above @xmath2 ( [ eq : gap1mag ] ) .
we can see that for sufficiently small @xmath21 the expression under the square root in eq.([eq : gap1mag ] ) can become negative . for large @xmath4
this happens for @xmath102 , where the critical dephasing is @xmath103     on dephasing and @xmath4 .
full black line is the critical @xmath104 ( [ eq : gammac ] ) delimiting two phases . in ( b ) and
( c ) are shown expansion coefficients @xmath105 of the largest decay mode @xmath106 , @xmath107 , showing an almost diagonal dephasing - dominated phase with @xmath108 in ( b ) , and a delocalized phase with @xmath109 in ( c).,width=316 ]    our approximate expression for the gap ( [ eq : gap1mag ] ) is accurate only for @xmath110 , where the decay mode is indeed governed by dephasing , see fig .
[ fig : gap1mag ] .
note though that in the thermodynamic limit @xmath111 and therefore eq .  ( [ eq : gap1mag ] ) becomes exact for any @xmath21 .
one can see already in fig .
[ fig : gap1mag ] that below @xmath104 ( or @xmath112 , depending on which parameter is held fixed ) the gap becomes independent of @xmath4 and in the thermodynamic limit equal to @xmath113 ( in this regime the largest decay mode eigenvalue is complex and the gap @xmath2 is equal to its real part ) .
therefore , for the largest decay mode there are two phases : for @xmath114 the decay mode is governed by @xmath16 with the gap being @xmath115 , while for @xmath110 the decay mode is governed by dephasing and the gap is @xmath116 .
one can use perturbation theory to show that the gap is indeed independent of system size for sufficiently small dephasing  @xcite .
the convergence radius of weak - coupling perturbation series for small @xmath21 is @xmath104 ( [ eq : gammac ] ) and algebraically shrinks to zero in the thermodynamic limit . also , the thermodynamic limit @xmath66 and the weak coupling limit @xmath117 do no commute , which can be also seen in fig .
[ fig : gap1mag_faze ] showing the phase diagram .     for xx model with bulk dephasing , @xmath118 , @xmath119 , and 1-particle sector . for @xmath120
there are of order @xmath5 eigenvalues that are on the real axis and are separated from the bulk consisting of the remaining @xmath121 complex eigenvalues .
real parts of the bulk eigenvalues are around @xmath80 with the width being @xmath122.,width=316 ]    finally , let us briefly comment also on the overall spectrum of @xmath11 . numerically diagonalizing @xmath11 on the 1-particle
subspace the following picture emerges , see fig .
[ fig : eig1mag ] .
most of the eigenvalues , @xmath121 in number , are within the bulk laying in a complex plane .
as one increases @xmath4 eigenvalues `` evaporate '' from the bulk and join a bunch of real eigenvalues to the right of the bulk .
the number of these separated real eigenvalues is proportional to @xmath4 .
decay modes corresponding to the separated real eigenvalues are dictated by dephasing , whereas decay modes in the bulk are instead dictated by the hamiltonian .
remember that in the absence of dephasing the spectrum of @xmath11 would be entirely on the imaginary axis .
such distinct nature of two decay mode types is in turn reflected in two different phases of the largest decay mode , fig .
[ fig : gap1mag_faze ] .
indeed , if one decreases @xmath21 at fixed @xmath4 , the real eigenvalues get `` absorbed '' in the bulk , with the last one disappearing at @xmath123 , at which point a transition happens in the scaling of the gap with @xmath4 .
approximate values of real eigenvalues can be obtained from the approximation with @xmath97 ( [ eq : gap1mag ] ) , resulting in a scaling of the @xmath73-th largest eigenvalue of @xmath11 as @xmath124 . in the thermodynamic limit real eigenvalues therefore cluster around the origin with their density there having a square - root singularity .
it has been observed  @xcite that if the gap @xmath2 closes in the thermodynamic limit there is a possibility for an algebraic relaxation instead of an exponential one occurring when @xmath2 is finite .
such an algebraic decay can be explained  @xcite by clustering of eigenvalues around @xmath42 . in our xx chain with dephasing this
clustering is of the same kind as in boundary - driven free models studied in ref .
@xcite and as a consequence , in the thermodynamic limit the relaxation will have a power - law form .      in the xx model
the bulk hamiltonian describes non - interacting particles .
choosing the xxz hamiltonian instead , the additional coupling in the @xmath34-direction represents the interaction between fermions in the jordan - wigner picture . in this section
we shall therefore consider the xxz spin chain with bulk dephasing .
the hamiltonian of the xxz chain is @xmath125 with @xmath126 being an anisotropy parameter .
dissipation is the same dephasing at each site as used already for the xx model ( [ eq : dephasing ] ) .
magnetization is again conserved and there is one steady state in each sector with magnetization difference @xmath41 and @xmath35 particles , see discussion for the xx model with dephasing . using a jordan - wigner transformation
the anisotropy part @xmath127 has a form @xmath128 and therefore represents interaction between nearest - neighbor fermions
. analytical solution for eigenvalues of @xmath11 is not possible anymore and we will have to resort to various perturbation approaches and numerical calculation .    numerically calculating the gap one sees that , as opposed to the xx model , the gap is this time different in different sectors . in particular , the global ,
i.e. , the smallest gap , is from the half - filling sector with @xmath45 ( or @xmath46 for odd @xmath4 ) and not from the 1-particle sector , @xmath44 .
we shall nevertheless first discuss the 1-particle sector , where in the thermodynamic limit things are simple .      because the 1-particle sector s size is @xmath60 one
can numerically calculate the gap for systems of reasonable size .
results are in fig .
[ fig : xxz-1mag ] .     in the 1-particle sector of the xxz chain with dephasing , @xmath118 .
symbols show results of numerical diagonalization for anisotropies @xmath129 and @xmath130 , while the full line is @xmath131 , giving the asymptotic gap , which is equal to the one in the xx chain with dephasing ( [ eq : gap1mag]).,width=316 ]    as we can see for large system sizes the gap is equal to @xmath132 and is therefore equal to the one for the xx chain with dephasing . in the 1-particle sector
the gap is in the thermodynamic limit independent of interaction ( anisotropy ) @xmath126 .
this can be qualitatively understood if one looks at the non - hermitian ladder formulation of @xmath11 ( for the xxz chain the only difference compared to the xx chain in fig .
[ fig : lestev ] is that the hamiltonian along the two legs is the xxz hamiltonian , see ref .
@xcite ) . because there are only two particles present in the ladder interaction is infrequent
, it is in fact only a @xmath0 boundary effect  @xcite , and is asymptotically irrelevant ( for finite @xmath4 correction to the asymptotic gap ( [ eq : xxz_1mag ] ) due to finite @xmath126 scales as @xmath133 ) .      as mentioned , for the xxz chain with dephasing the smallest gap
is from the so - called half - filling sector with @xmath45 particles , which is also the largest subspace of @xmath11 .
here we shall study the gap in this sector .
we are going to use perturbation theory for small @xmath21 as well as for large @xmath21 , while in - between numerical calculations will be used to infer a general form of @xmath2 .
we are also going to show that the perturbation theory for large @xmath126 fails .
let us start with small @xmath21 .
for the unperturbed part of the liouvillian we take the whole unitary part , @xmath134 $ ] , generated by the xxz hamiltonian ( [ eq : xxz ] ) , while perturbation is the dephasing @xmath135 . because the unperturbed @xmath136 has a degenerate steady state subspace corresponding to eigenvalue @xmath42 , we have to use 1st order degenerate perturbation theory .
the steady - state subspace is spanned by all projectors @xmath137 to eigenstates @xmath138 of @xmath16 ( we assume a non - degenerate spectrum of @xmath16 ) .
let us denote a projection of @xmath139 to the steady - state subspace of @xmath136 by @xmath140 , with @xmath141 being of size @xmath48 .
using the form of dephasing lindblad operators ( [ eq : dephasing ] ) we get @xmath142 the largest eigenvalue of @xmath143 is equal to @xmath42 and the next - largest one , denoted by @xmath144 ( similarly as for @xmath11 , all eigenvalues of @xmath143 have non - positive real parts ) , determines the gap of @xmath11 for small @xmath21 , @xmath145 we observe that , while on one hand dephasing can be derived as being due to a classical fluctuating magnetic field in the @xmath34-direction  @xcite , we also see that the gap of @xmath11 for small dephasing is determined by eigenstate fluctuations of magnetization in the @xmath34-direction , as reflected in the form of @xmath143 ( [ eq : r ] ) .     of matrix @xmath143 ( [ eq : r ] ) in the xxz chain with dephasing , determining the gap eq .
( [ eq : xxz - weak ] ) .
full line is @xmath146 , suggesting the asymptotic dependence for @xmath147.,width=316 ]    in fig .
[ fig : xxz - weak ] we show results of exact numerical diagonalization of @xmath143 for different anisotropies and system sizes , all in the largest half - filling sector with @xmath45 .
we can see that for @xmath148 the eigenvalue @xmath149 becomes asymptotically independent of @xmath4 , for instance , for @xmath150 it converges towards @xmath63 as already calculated in section about the xx model . for @xmath151
it on the other hand decays ; numerical data for available @xmath152 is consistent with a @xmath153 decay . for small @xmath154
this asymptotic decay starts for sizes larger than @xmath155
. it would be interesting if one would be able to directly calculate the largest nontrivial eigenvalue of @xmath143 via the bethe ansatz eigenstates @xmath156 .
so far we have calculated the global gap for small dephasing @xmath21 without saying anything about the convergence radius , i.e. , the validity of such an approximation . to find out critical @xmath104 upto
which perturbative gap ( [ eq : xxz - weak ] ) can be expected to hold , we are going to numerically calculate the gap and compare it to perturbative prediction .    .
insets show dependence of the critical @xmath104 that determines validity of perturbation series .
left : gapless regime of @xmath129 for which @xmath104 depends on @xmath4 algebraically ( dashed curve in the inset is @xmath157 ) .
right : gapped regime @xmath158 for which @xmath159 ( inset).,title="fig:",width=155 ] .
insets show dependence of the critical @xmath104 that determines validity of perturbation series .
left : gapless regime of @xmath129 for which @xmath104 depends on @xmath4 algebraically ( dashed curve in the inset is @xmath157 ) .
right : gapped regime @xmath158 for which @xmath159 ( inset).,title="fig:",width=151 ]    in addition to symmetries of @xmath11 already pointed out there is also a spatial reflection symmetry with respect to exchanging sites @xmath160 , resulting in even and odd decay modes and eigenvalues of @xmath11 .
the largest nonzero eigenvalue in even and odd sector ( both for @xmath41 and half - filling @xmath45 ) is shown in fig .
[ fig : xxz - pert ] for system size @xmath161 and two values of @xmath126 .
the steady state  a uniform combination of all pure - state projectors  is always from the even sector .
we can see that the largest non - zero eigenvalues cross at a critical @xmath104 .
the decay mode that determines the gap in the half - filling sector ( red pluses in fig .
[ fig : xxz - pert ] ) is from the even sector for @xmath102 and from the odd one for @xmath120 .
for @xmath102 we see that the gap ( red pluses ) is proportional to @xmath21 ( horizontal line in fig .
[ fig : xxz - pert ] ) and therefore perturbation series ( [ eq : xxz - weak ] ) holds .
the convergence radius @xmath104 shrinks algebraically with @xmath4 in the gapless phase @xmath162 , at @xmath129 it decays as @xmath163 , although we can not exclude asymptotic @xmath0 scaling , while it is exponentially small in the gapped phase @xmath151 . for the xxz chain with bulk dephasing the convergence radius of perturbation series in the dephasing
therefore shrinks to zero in the thermodynamic limit .
we also note that the two eigenvalues shown in fig .
[ fig : xxz - pert ] are both real , except the odd one for @xmath102 and @xmath129 which forms a complex pair .    for
non - small @xmath21 the xxz chain with bulk dephasing is diffusive  @xcite and therefore one in general expects the gap to scale as @xmath7 in the thermodynamic limit .
namely , for diffusive systems evolution of macroscopic observables does not depend independently on time @xmath164 and spatial coordinate @xmath106 but instead only on one scaling variable @xmath165 and therefore time should scale with a size squared .
we numerically calculated  @xcite the gap for fixed non - small @xmath21 and indeed confirmed the @xmath108 scaling , see fig .
[ fig : xxz - gap ] as well as ref .
@xcite .    .
full lines denote asymptotic @xmath7 scaling for all @xmath126.,width=316 ]    exact dependence of @xmath2 on @xmath21 and @xmath126 is more complicated ; a crude approximation that seems to work for large @xmath4 ( at least for @xmath118 ) is @xmath166  the straight lines plotted in fig .
[ fig : xxz - gap ] is in fact this expression .
when some parameters in the system are large one can again use perturbation theory .
one such possibility is the case of large dephasing @xmath21 , where the unperturbed liouvillian @xmath136 contains @xmath167 and dephasing dissipation @xmath20 while the perturbation @xmath139 consists of hopping given by @xmath168 .
this has been done in ref .
@xcite , obtaining that the gap for large @xmath21 scales as @xmath169 .
we shall redo calculations of ref .
@xcite , deriving also subleading terms , in order to be able to comment on the validity of different limits .
first , @xmath136 has a degenerate steady - state subspace and one has to use degenerate perturbation theory .
first - order perturbation on the steady - state subspace of dimension @xmath170 is always zero because all steady states are diagonal , while the hopping @xmath139 transports one spin in the bra or ket , and so at least two applications of @xmath139 are needed to again get a diagonal state and with it a nonzero matrix elements of @xmath139 .
second - order perturbation of the steady state manifold is determined by , @xmath171 where @xmath172 is a projection operator to the steady state manifold .
the steady state manifold of @xmath136 consists of all diagonal density matrices , @xmath173 , where @xmath174 are @xmath170 ( basis ) states in the standard @xmath18-eigenbasis .
one can write matrix elements of @xmath175 as @xmath176_{j , k}:=-\tr{\ket{\psi_j}\bra{\psi_j } \cl_{\rm eff}(\ket{\psi_k}\bra{\psi_k})}$ ] , where matrix @xmath177 can in turn be written in terms of pauli spin variables , obtaining @xmath178 + \nonumber \\ & & \!\!\!\!\!\!\ !
+ \frac{\delta^2/\gamma}{2(\delta^2+\gamma^2 ) } \sum_{j=1}^{l-3 } ( \sz_j\sz_{j+3}-\1)(\1-\vec{\sigma}_{j+1}\cdot \vec{\sigma}_{j+2 } ) , \label{eq : heff}\end{aligned}\ ] ] where @xmath179 . such @xmath177 is hermitian , has @xmath47 zero eigenvalues ( one for each invariant magnetization sector ) , while all other eigenvalues are positive .
the smallest non - zero eigenvalue is equal to the gap @xmath2 of @xmath11 in the limit when @xmath180 . in ref .
@xcite the above result ( [ eq : heff ] ) has been derived in the leading order in @xmath181 , i.e. , @xmath182 , from which due to a quadratic low - energy dispersion of @xmath183 one gets the asymptotic gap @xmath116 .
this perturbative result is also valid in the thermodynamic limit  @xcite because the convergence radius does not shrink to zero . with the exact expression for @xmath177
we can also explore the case of large @xmath126 , for which one would be tempted to think that perturbative series will again work because @xmath139 is again small compared to @xmath136 that contains a large parameter @xmath126 .
such reasoning though is in fact wrong and one can not use perturbation in @xmath139 if only @xmath126 is large .
the reason for the failure is rather instructive and we are going to explain why it happens . as opposed to the limit @xmath184 , for @xmath185 the two terms that appear in addition to @xmath183 in eq .
( [ eq : heff ] ) can not be neglected because the two prefactors in front of them scale for large @xmath126 as @xmath181 and are therefore of the same order as the @xmath183 term .
there is also an additional subtlety : it would be tempting to retain only the leading order expansion of the two prefactors , the already mentioned @xmath181 and @xmath186 , however , in that case the ground state of @xmath177 is highly degenerate and the gap would therefore remain zero ( one of the reasons for the degeneracy is that the boundary term in the first line of eq .
( [ eq : heff ] ) with a @xmath181 prefactor exactly cancels the boundary terms from @xmath183 , leaving the first and the last spin uncoupled ) .
one has to retain at least the 1st order expansion of the prefactors , resulting in terms that are proportional to @xmath187 .
this means that the gap of @xmath177 , and with it also the liouvillian gap @xmath2 , will scale as @xmath188 for large @xmath126 ( this conclusion remains true despite the failure of 2nd order perturbation expansion ) .    calculating the gap of the full @xmath177 ( [ eq : heff ] ) and comparing it with the exact gap of @xmath11 , one gets data in fig .
[ fig : heff ] . as one can see
the error does not decrease to zero as one increases @xmath126 ( this residual error as well increases with @xmath4 ) .
the reason is that for large @xmath126 and fixed dissipation @xmath21 not all non - zero eigenvalues of @xmath136 are large
some are of order @xmath21  and therefore a pseudoinverse @xmath189 in perturbation series ( [ eq : pert2 ] ) is not necessarily small .
this occurs because the spectrum of @xmath190 is highly degenerate with eigenstates being product states in the eigenbasis of @xmath18 , which is also the eigenbasis of @xmath20 . if @xmath24 and @xmath27 are two such degenerate eigenstates we will have @xmath191=0 $ ] while for dephasing @xmath192 . as a consequence , consecutive orders in perturbation
series do not necessarily uniformly decrease .
this can be compared to perturbation series for fixed @xmath126 and large @xmath21 , for which all non - zero eigenvalues of @xmath136 are large and of order @xmath21 and therefore @xmath189 is small .
one can in fact draw a general rule : if a large perturbation parameter is in global dissipation ( strong coupling ) a perturbative series will be well behaved , whereas if a large parameter is only in @xmath190 one must be careful if @xmath190 has degeneracies .
similar complications can occur if ( strong ) dissipation acts only on a few sites .
let us summarize our findings for the xxz chain with bulk dephasing and the half - filling sector : for small dephasing @xmath102 the gap is @xmath193 for @xmath162 , while it scales as @xmath153 for @xmath194 .
critical dephasing @xmath104 decays algebraically with @xmath4 for @xmath162 while it is exponentially small for @xmath195 , see also table  [ tab : bulk ] .
perturbation series in small dephasing therefore fails in the thermodynamic limit . for non - small dephasing
the gap is @xmath7 regardless of @xmath126 , as one would expect for a diffusive system .
perturbation series for large @xmath21 works , while it fails if @xmath126 is the only large parameter .
we have seen in the xx and xxz models that the gap can be constant for a sufficiently weak bulk dissipation .
problem with these two cases is that the critical dissipation goes to zero in the thermodynamic limit .
a natural question is : can one have a constant gap also for non - small dissipation ?
the answer is yes and we are going to give a simple example .
known are examples with only dissipation and no hamiltonian  @xcite .
an example we are going to present has a nonzero hamiltonian and nonzero dissipation .
it is a xx chain with an incoherent `` hopping '' given by lindblad operator @xmath196 at each site @xmath73 , @xmath197 .
the liouvillian @xmath11 again conserves magnetization difference @xmath34 and particle number @xmath35 .
numerically diagonalizing @xmath11 in a @xmath44 particle sector ( @xmath41 ) one gets gaps shown in fig .
[ fig : spsm ] .     in the @xmath198particle sector of the xx chain with an incoherent one - way hopping ( [ eq : oneway ] ) .
the kink at @xmath199 is because the eigenvalue responsible for @xmath2 goes from being complex to real.,width=307 ]    we can see that asymptotically the gap is independent of @xmath4 . because in the 1-particle sector interaction asymptotically does not matter , the same asymptotic gap would be obtained also in the xxz chain with an incoherent hopping . beware that if we would take the xx chain with an incoherent hopping in both directions ( i.e. , adding additional lindblad operators @xmath200 ) the gap in the 1-particle sector would asymptotically decay as @xmath201 , see also ref .
@xcite .
another way of having a constant gap is to use a so - called thermal dissipators ( also known as davies generators  @xcite ) that can be derived in the limit of weak coupling to thermal reservoirs .
the stationary state of such a master equation is thermal , though with lindblad operators that are not local . for such models one can in certain cases
rigorously prove that the gap is constant  @xcite .
in this section we are going to study the gap in open systems with boundary dissipation , that is , with @xmath20 acting in the thermodynamic limit nontrivially only on a finite number of sites . in all our cases
@xmath16 will always be a spin@xmath202 chain and dissipation will act on the leftmost and rightmost lattice sites . as mentioned , for boundary - driven open systems the gaps observed in the literature
are all @xmath1 or smaller .
examples are @xmath1 in the xy chain with boundary magnetization driving  @xcite ( or @xmath203 at nonequilibrium phase transition points  @xcite ; or even @xmath204 on the so - called resonances  @xcite ) ; @xmath1 is the scaling also for the magnetization - driven xxx model  @xcite , or for the xxz model with an incoherent hopping as a driving  @xcite .    considering these results one can ask whether the gap in a boundary - driven open system is perhaps always @xmath1 or smaller ? as we will see the answer is no . but let us first present an argument that the gap can not be larger than @xmath0 .      let us have a one - dimensional system described by a local liouvillian , @xmath205 , which is a sum of local term @xmath206 , each of which acts nontrivially only on a fixed number of consecutive sites around site @xmath73 ( hilbert space dimension of a single site is finite , implying that @xmath206 are bounded , and the steady state is assumed to be unique ) .
in addition , let all but a fixed number of @xmath206 be purely unitary , i.e. , dissipation is present only in a fixed number of @xmath206 . in the thermodynamic
limit the number of consecutive sites without any dissipation therefore grows linearly with the system length @xmath4 .
the question we want to ask is : what is the fastest possible relaxation time , i.e. , the largest possible gap , in such an open system ?
we will show that the gap can not be larger than @xmath0 , or , in other words , relaxation can not happen in a time that grows with @xmath4 slower than linearly .
the argument is actually very simple . because there are sites that are of distance @xmath5 away from the nearest site with dissipation , a `` disturbance '' at that site can not dissipate in a time smaller than @xmath207 , i.e. , the time a disturbance needs to get to a site with dissipation .
we can also use a transport argument : for unitary evolution local conservation of energy holds and therefore , because the local energy current is a bounded operator , it will take at least a time @xmath207 for the energy of the initial state to be dissipated , if we choose an initial state having total energy proportional to @xmath4 .
one could also rigorously formulate the above argument by e.g. using the lieb - robinson bound for open systems  @xcite .
the lieb - robinson bound essentially formalizes a statement that there is a finite propagation speed in bounded locally - coupled systems .
one consequence is that connected correlations of local operators get exponentially suppressed outside of a light cone , or , that the heisenberg picture @xmath208 of the initial local operator can be approximated by a part of @xmath11 with support inside the light cone ( outside the light cone one has @xmath209 ) .
taking a local @xmath210 with support on sites that are a distance @xmath5 away from dissipation , one immediately sees that , because one has @xmath211 , relaxation time can not be smaller than @xmath5 .    in next two subsections we are going to study by now familiar xx and xxz models , showing that the lieb - robinson bound @xmath212
is never reached , and then in the last subsection show some examples for which one does get @xmath212 .
we take the xx chain ( [ eq : xx ] ) with dephasing on the first and the last sites , that is , with only two lindblad operators @xmath213 and @xmath214 from eq .
( [ eq : dephasing ] ) .
similarly as in the xx chain with dephasing on all sites , the gap is again the same in all @xmath35-particle sectors and we can limit our discussion to the 1-particle sector .     in the 1-particle sector for the xx chain with boundary dephasing of strength @xmath215 .
three crosses are eigenvalues that have the largest real part and give @xmath2 ( [ eq : boundaryxxsmallg ] ) .
right : numerical @xmath216 ( symbols ) for @xmath217 and prediction by eq.([eq : boundaryxx ] ) ( full curve).,title="fig:",width=158 ]   in the 1-particle sector for the xx chain with boundary dephasing of strength @xmath215 .
three crosses are eigenvalues that have the largest real part and give @xmath2 ( [ eq : boundaryxxsmallg ] ) .
right : numerical @xmath216 ( symbols ) for @xmath217 and prediction by eq.([eq : boundaryxx ] ) ( full curve).,title="fig:",width=148 ]    we are first going to use perturbation theory for small @xmath21 .
an example of a spectrum of @xmath11 in the 1-particle sector is in fig .
[ fig : eigboundxx ] .
one observes that for small @xmath21 the largest eigenvalue , determining the gap , is complex and has the largest absolute value of the imaginary part ( two crosses in left fig .
[ fig : eigboundxx ] ) .
this pair of complex eigenvalues determines the gap all the way upto the maximum of @xmath216 ( which for @xmath217 shown in right frame of fig .
[ fig : eigboundxx ] happens around @xmath218 ) . for larger @xmath21
the gap is given by a real eigenvalue ( the cross on a real line in fig .
[ fig : eigboundxx ] ) which though has in the leading order the same real part as the complex pair .
this means that one can use simple nondegenerate perturbation theory to get the gap for small @xmath21 .
the eigenvalue with the largest ( or smallest ) imaginary part of @xmath81 is @xmath219 , where we denote eigenvalues of @xmath16 by @xmath220 , where @xmath221 , and eigenstates by @xmath222 , where @xmath72 denotes a state with all spins down apart from the @xmath73-th spin .
the eigenvalue correction will then be given by @xmath223 , where dephasing @xmath20 is a sum of nontrivial parts acting on the first and the last sites .
@xmath20 gives a non - zero value ( equal to @xmath224 ) only when acting on a non - diagonal operator on the first / last site , and therefore @xmath225 is a sum of terms that are either @xmath226 or @xmath227 ( or their hermitian adjoint ) , i.e. , @xmath228 , at the end resulting in @xmath229 , \label{eq : sum}\end{aligned}\ ] ] where @xmath230 . for large
@xmath4 the term in the first line of eq .  ( [ eq : sum ] ) is subdominant , while the second line gives a large-@xmath4 expression for @xmath231 and therefore also the gap , resulting in @xmath232 it is instructive to qualitatively understand how the @xmath1 scaling comes about : we see that @xmath233 is just a product of eigenstate expansion coefficients @xmath234 and that the sum scales as @xmath235 , which in turn is the smallest overlap probability at the first site , giving one @xmath236 due to normalization and an additional @xmath237 due to the longest - wavelength eigenstate which is the slowest to relax .
such a scenario has already been observed  @xcite in the xx chain with boundary injection of particles , i.e. , a model with lindblad operators @xmath238 at the boundaries instead of our @xmath239 , making it exactly solvable .
one can in fact argue that such @xmath1 scaling is generic for boundary driven models with integrable hamiltonian @xmath190 having a plane - wave like longest - wavelength eigenstates . for large @xmath21
one on the other hand expects the gap to decay with dephasing strength as @xmath240 because of an effective decoupling of the system and as a consequence increasing relaxation time .
one can extend small-@xmath21 expression ( [ eq : boundaryxxsmallg ] ) to also have the correct large-@xmath21 behavior by writing , @xmath241 one can see in right fig .
[ fig : eigboundxx ] that this expression indeed fits well numerical results ( small discrepancy seen is due to a subleading @xmath133 correction to eq .
( [ eq : boundaryxx ] ) ) .
observe that for the boundary driven xx system , as opposed to the xx with bulk dephasing , there is no transition in the scaling of the gap as one varies @xmath21 .      for the xxz model with boundary dephasing
we take a standard xxz hamiltonian ( [ eq : xxz ] ) and the same two lindblad operators @xmath213 and @xmath214 ( [ eq : dephasing ] ) .
we begin by discussing weak dephasing .    for weak dephasing one observes that the gap comes from real eigenvalue of @xmath11 and one therefore has to use degenerate perturbation theory in an appropriate @xmath35-particle subspace ( again , always limiting to @xmath41 ) .
first order already gives a non - zero contribution and so the procedure is very similar to the one already used for the xxz chain with bulk dephasing , leading to eq .
( [ eq : r ] ) . repeating the same steps now for @xmath20 that acts only on the boundary two sites ,
one gets @xmath242 where @xmath138 are eigenstates of the xxz chain in an appropriate @xmath35-particle sector .
eigenvalues of @xmath143 are for small @xmath21 equal to the largest real eigenvalues ( divided by @xmath21 ) of @xmath11 .
doing the calculation in the 1-particle sector one gets @xmath243     for small @xmath215 and the theory ( full curves , eq .  ( [ eq : boundxxzweak1mag ] ) ) .
( b ) @xmath216 always scales as @xmath1 ; symbols are numerical values for two different sizes and @xmath126 , full curves are eq .
( [ eq : boundxxz1mag]).,title="fig:",width=158 ]   for small @xmath215 and the theory ( full curves , eq .  ( [ eq : boundxxzweak1mag ] ) ) .
( b ) @xmath216 always scales as @xmath1 ; symbols are numerical values for two different sizes and @xmath126 , full curves are eq .
( [ eq : boundxxz1mag]).,title="fig:",width=148 ]    for small @xmath21 and in the 1-particle sector the gap therefore scales as @xmath1 irrespective of the value of @xmath126 . for a non - small @xmath21 expression that fits numerics well and
has a correct weak - dephasing limit ( [ eq : boundxxzweak1mag ] ) is @xmath244 we see in fig .
[ fig : boundxxz]b that the perturbative result in eq .
( [ eq : boundxxzweak1mag ] ) , i.e. , horizontal dependence for small @xmath21 in the figure , holds up - to an @xmath4-independent @xmath21 .
we now move to the half - filling sector . in fig .
[ fig : boundxxzhalf ] we show the results . for
large @xmath4 the gap scales as @xmath245 in the gapless phase @xmath148 , while it is exponentially small , @xmath246 , in the gapped phase of @xmath194  @xcite . comparing gaps in the 1-particle and
the half - filling sector one also observes ( data not shown ) that for @xmath148 the gap in the 1-particle sector is the smallest of the two , while for @xmath194 the smallest gap is from the half - filling sector . for arbitrary @xmath21
the global gap therefore scales as @xmath1 for @xmath148 and @xmath247 for @xmath194 , see also table  [ tab : bound ] .    an exponentially small gap can be most easily understood for small @xmath21 via matrix @xmath143 . without loss of generality
we limit to even @xmath4 and focus on the half - filling sector . for matrix elements of @xmath143 eigenstates of @xmath16 and matrix elements of lindblad operators
is what matters . in the spectrum of @xmath16
there are two almost degenerate eigenstates @xmath248 which are the most important for the gap , i.e. , for the largest nontrivial eigenvalue of @xmath143 . for large @xmath126
they are a symmetric and antisymmetric combination of a domain wall in the middle of the chain , @xmath249 and @xmath250 , where we denoted @xmath251 and @xmath252 ( @xmath253 is a state with the left - half of spins down , and @xmath254 a state with the right - most half of spins down ) . for finite @xmath126 domain wall states
@xmath255 differ from a perfect wall only within a localization length @xmath256 of the middle spin , see e.g. the appendix in ref .
@xcite . for @xmath194 the two states @xmath248 are therefore `` localized '' around the site @xmath257 , their energy is almost degenerate , they are the highest energy states ( in the half - filling sector ) , and they are gapped by @xmath258 from the rest of the spectrum .
they have an important property that @xmath259 and @xmath260 , i.e. , a subspace spanned by @xmath248 is invariant under @xmath261 . as a consequence , overlaps @xmath262 are exponentially small in @xmath4 and in the matrix @xmath143 a @xmath263 block corresponding to these two eigenmodes is decoupled from the rest .
this @xmath263 block is of the form @xmath264 resulting in two eigenvalues @xmath265 and @xmath266 , with the corresponding liouvillian decay eigenmodes @xmath267 for eigenvalue @xmath266 , and @xmath268 for a symmetric partner at @xmath265 ( remember that the steady state is a uniform mixture of all projectors , @xmath269 ) .
the gap is thus equal to @xmath270 which is in turn determined by the localization length of two localized eigenmodes .
the rate @xmath271 in @xmath246 is therefore proportional to the inverse localization length , resulting in @xmath272 .
exponentially slow relaxation found for @xmath194 could be interesting for instance for quantum memory
we see that the domain wall can support a one - qubit quantum memory formed out of @xmath248 which is exponentially resilient to dephasing .
unfortunately , as we shall see in the next magnetization - driven model , this resilience is lost for boundary dissipation in a transverse direction .
we note that one can also get exponentially small gap because of localization due to disorder , an example being a boundary driven xy chain with a disordered magnetic field  @xcite .    , eq .
( [ eq : boundaryr ] ) , determining the gap for small @xmath21 ( [ eq : xxz - weak ] ) .
asymptotic behavior is denoted by dotted line ( @xmath273 ) and full curve ( @xmath274 ) .
( b ) the gap for non - small @xmath118 .
asymptotically the scaling is the same as for small @xmath21 , namely , the dotted line is @xmath275 ( @xmath129 ) and the full curve is @xmath274 ( @xmath158).,title="fig:",width=153 ] , eq .
( [ eq : boundaryr ] ) , determining the gap for small @xmath21 ( [ eq : xxz - weak ] ) .
asymptotic behavior is denoted by dotted line ( @xmath273 ) and full curve ( @xmath274 ) .
( b ) the gap for non - small @xmath118 .
asymptotically the scaling is the same as for small @xmath21 , namely , the dotted line is @xmath275 ( @xmath129 ) and the full curve is @xmath274 ( @xmath158).,title="fig:",width=153 ]      so - far we have used dephasing as our canonical example of dissipation because it eased up theoretical analysis .
steady states are in those cases rather simple , namely uniform mixtures of all projectors in a respective symmetry subspace ( appendix  [ app : a ] ) .
much more interesting steady states arise if one has boundary driving that breaks symmetries , for instance imposing a left - right asymmetry by having different driving at chain ends . in such a case
the steady state will be a genuinely nonequilibrium state with nonzero currents flowing through the system .    in this subsection
we are going to study one such example , on one hand to contrast the obtained scaling with that of a boundary dephasing case and on the other hand to calculate the gap for a physically much relevant open system .
we shall take the same xxz model as in previous sections ( [ eq : xxz ] ) , without dephasing , but instead with a boundary magnetization driving described by 2 lindblad operators at each end , @xmath276 driving parameter @xmath277 parametrizes the asymmetry between injection and absorption of particles at the boundary , trying to impose expectation value of @xmath18 equal to @xmath278 at chain ends , while @xmath279 is the coupling strength .
nonzero @xmath277 therefore causes a nonzero magnetization gradient along the chain .
we are going to use @xmath280 , however , the scalings observed ( e.g. , table  [ tab : bound ] ) are independent of the precise value of @xmath277 as long as @xmath277 is not too close to @xmath281 for which one gets a blockade of transport due a step - like magnetization profile resulting also in an exponentially small gap leading to exponentially slow relaxation  @xcite .
the liouvillian of such magnetization - driven xxz model still conserves @xmath34 , but not anymore @xmath35 ( [ eq : const ] ) .
note that @xmath279 plays the role of dissipation strength , similarly to @xmath21 in the case of dephasing dissipation
small @xmath279 means weak dissipation , e.g. , weak external coupling . dissipation strength in the paper is therefore determined either by @xmath21 for dephasing ( [ eq : dephasing ] ) , or by @xmath279 for `` magnetization '' driving in eq .
( [ eq : mu ] ) .     for the xxz model and boundary driving ( [ eq : mu ] ) with @xmath280 and @xmath282 .
straight dashed line suggests asymptotic scaling @xmath283.,width=297 ]    numerically calculated gaps are shown in fig .
[ fig : drivxxz ] . the gap @xmath2 looks to have a nice @xmath1 scaling regardless of the anisotropy @xmath126 .
we can compare the gap obtained here to the one obtained in previous subsection for the xxz model driven with boundary dephasing ( fig .
[ fig : boundxxzhalf ] ) : in the gapless phase of @xmath162 the scaling is in both cases @xmath1 , while in the gapped phase of @xmath151 the gap is here @xmath1 while it was exponentially small for the boundary dephasing case .
we see that the scaling of the gap can change already by changing boundary terms only .    analyzing the gap for small coupling @xmath279 , i.e. , small dissipation ,
again requires application of a degenerate perturbation theory .
using lindblad operators ( [ eq : mu ] ) the perturbation matrix @xmath143 is in this case @xmath284 the spectrum of such @xmath143 for the xxz chain is in fact independent of @xmath277 . for @xmath285
the above @xmath143 can be further simplified , taking into account also that @xmath16 is real , results in @xmath286 such @xmath143 is real and symmetric with the eigenvector corresponding to eigenvalue @xmath42 being a uniform superposition of all basis states ( we remind that perturbative @xmath143 has always one eigenvalue equal to @xmath42 with the corresponding eigenvector though being in general more complicated ) .
the gap ( i.e. , @xmath149 ) for small coupling @xmath279 of magnetization driving therefore depends on fluctuations of @xmath287 at the boundary two sites ; this can be contrasted with the dephasing case ( [ eq : boundaryr ] ) where fluctuations of @xmath18 matter .    .
( a ) the largest non - zero eigenvalue @xmath149 of @xmath143 ( eq .  ( [ eq : mur ] ) ) determining the gap for small @xmath279 .
full line suggests asymptotic scaling @xmath1 .
( b ) dependence of exact gap on @xmath279 and perturbative @xmath149 from frame ( a ) , all for @xmath288 ( for @xmath129 behavior is similar ) .
deviations from @xmath149 begin at an @xmath4-independent @xmath279.,title="fig:",width=148 ] .
( a ) the largest non - zero eigenvalue @xmath149 of @xmath143 ( eq .  ( [ eq : mur ] ) )
determining the gap for small @xmath279 .
full line suggests asymptotic scaling @xmath1 .
( b ) dependence of exact gap on @xmath279 and perturbative @xmath149 from frame ( a ) , all for @xmath288 ( for @xmath129 behavior is similar ) .
deviations from @xmath149 begin at an @xmath4-independent @xmath279.,title="fig:",width=158 ]    in fig .
[ fig : weakxxzmu ] we show results for @xmath149 and verification of its validity .
we can see that for small @xmath279 the gap also scales as @xmath1 irrespective of @xmath126 and that approximation @xmath289 holds upto an @xmath4-independent @xmath279 .
what is interesting is that , compared to the xxz model with boundary dephasing we changed only boundary driving , that is , we modified only action of @xmath11 on @xmath39 out of @xmath4 sites , and nevertheless the scaling of gap for @xmath194 changes from exponential to algebraic . on the level of perturbative matrix @xmath143 this can be understood as being due to the breaking of the underlying symmetry of two domain - wall states .
because the location of a symmetry - breaking perturbation is important ( [ eq : mursimpl ] ) , having @xmath290 dissipation at sites other than the boundary ones could still result in an exponentially small gap , see also recent ref .
@xcite for a study of stability of edge modes to markovian dissipation .
we note that the scaling of the average magnetization current in the nonequilibrium steady state looks diffusive  @xcite for this model in the gapped regime while higher current cumulants show anomalous non - diffusive scaling  @xcite .
non - diffusive scaling @xmath245 of the gap observed here ( irrespective of @xmath126 ) is perhaps an additional indication speaking in favor of anomalous transport properties of the gapped heisenberg model .
so - far in all models studied the gap was @xmath1 or smaller . on the other hand
the lieb - robinson argument puts a larger upper bound on the gap of @xmath0 .
one can wonder whether this upper bound can be saturated ? we are going to demonstrate that there are models with @xmath212 . to achieve that we are going to take chaotic models with boundary driving .
we are first going to consider the xxz chain in a staggered magnetic field , @xmath291 with staggered field having a period of 3 sites , @xmath292 , for which the hamiltonian is quantum chaotic  @xcite and shows diffusive magnetization transport  @xcite .
dissipation will be dephasing on the 1st and the last site .
similarly as in other models , @xmath34 and @xmath35 are conserved and one can look at the gap in each @xmath35-particle sector with @xmath41 .
in the 1-particle sector the staggered field has no influence on the asymptotic gap and eq.([eq : boundxxz1mag ] ) , with scaling @xmath1 describes asymptotic @xmath2 well , see fig .
[ fig : stagg1mag ] .     for the staggered xxz chain with boundary dephasing ( @xmath118 ) in the 1-particle sector .
dashed black lines are eq.([eq : boundxxz1mag ] ) , having asymptotic decay @xmath1.,width=307 ]    in the half - filling sector we are first going to evaluate perturbation theory for small @xmath21 .
the procedure is exactly the same as for the xxz model without the field
one has to calculate the largest non - zero eigenvalue @xmath149 of the matrix @xmath143 written in eq .
( [ eq : boundaryr ] ) using eigenstates of the staggered xxz chain  with the gap then being given by @xmath293 .
results are in fig .
[ fig : staggxxzpert ] . for @xmath162 eigenvalue @xmath149 scales as @xmath0 , while for @xmath151 ( data not shown )
it is exponentially small in @xmath4 .     and weak boundary dephasing .
( a ) the largest non - zero eigenvalue of @xmath143 , eq .
( [ eq : boundaryr ] ) , determining the gap for small @xmath21 .
asymptotic behavior ( full line ) is @xmath294 .
( b ) with increasing size the convergence radius @xmath104 upto which perturbation theory holds decreases.,title="fig:",width=148 ]   and weak boundary dephasing .
( a ) the largest non - zero eigenvalue of @xmath143 , eq .
( [ eq : boundaryr ] ) , determining the gap for small @xmath21 .
asymptotic behavior ( full line ) is @xmath294 .
( b ) with increasing size the convergence radius @xmath104 upto which perturbation theory holds decreases.,title="fig:",width=158 ]    from fig .
[ fig : staggxxzpert]b we also see that the validity of small-@xmath21 approximation shrinks with growing @xmath4 .    for non - small @xmath21 we numerically calculated gaps in the half - filling sector , see fig .  [
fig : stagghalf ] .
besides exact diagonalization we also used tdmrg to obtain the gap , observing relaxation of @xmath295 , however , the required matrix dimension increases with @xmath4 rapidly and one can not go to large system sizes .
we see that for @xmath296 the gap scales as @xmath0 , which is different than without the staggered field , when it is @xmath1 ( fig .
[ fig : boundxxzhalf]b ) . for @xmath151
though the gap is exponentially small , the same as without the staggered field .
explanation is again in terms of localized modes .     for the staggered xxz chain with boundary dephasing ( @xmath118 ) in the half - filled sector .
the full black line in the main plot is @xmath236 ; in the inset it is @xmath297 .
full symbols are obtained by exact diagonalization , empty with tdmrg.,width=307 ]    in the gapless phase the smallest gap is from the 1-particle sector , in the gapped phase it is from the half - filling sector .
the global gap therefore scales as @xmath1 for @xmath296 and as @xmath247 in the gapped phase .
the fact that the gap remains @xmath1 in the 1-particle sector despite chaoticity is not surprising .
what is interesting and puzzling is that in the half - filling sector and for @xmath296 the gap looks @xmath0 ( at least for the sizes available , fig .
[ fig : stagghalf ] ) , despite chaoticity and diffusive transport .
we do not understand at present how such fast relaxation is compatible with diffusion , we note though that relaxation towards the steady state and transport properties of the steady state are in principle two separate properties
.      it could be that the above fast relaxation is due to conservation of @xmath35 .
we therefore take the same xxz chain with staggered field as above , eq .
( [ eq : xxzstagg ] ) , but this time with boundary magnetization driving of eq .  ( [ eq : mu ] ) instead of with dephasing .
the value of driving is chosen to be @xmath280 . now
the liouvillian conserves only @xmath34 , and the reported gaps are for the @xmath41 sector ( eigenvalues in other sectors have larger gaps ; sectors @xmath52 also do not contain any steady state ) .
the steady state is nontrivial and represents a nonequilibrium state with nonzero magnetization current .    , eq .
( [ eq : mur ] ) , determining the gap for small @xmath279 , scales as @xmath0 .
( b ) agreement between perturbative @xmath149 from ( a ) with the exact gap @xmath298 , all for @xmath129 .
convergence radius @xmath299 decreases with @xmath4.,title="fig:",width=148 ] , eq .
( [ eq : mur ] ) , determining the gap for small @xmath279 , scales as @xmath0 .
( b ) agreement between perturbative @xmath149 from ( a ) with the exact gap @xmath298 , all for @xmath129 .
convergence radius @xmath299 decreases with @xmath4.,title="fig:",width=158 ]     for the chaotic xxz model with staggered field ( [ eq : xxzstagg ] ) and boundary magnetization driving ( [ eq : mu ] ) , @xmath300 .
full symbols are exact diagonalization while empty are obtained from tdmrg .
straight lines suggest @xmath301 and @xmath302 asymptotic behavior.,width=307 ]    for small dissipation one can again use perturbation analysis in dissipation strength @xmath279 .
everything is similar to the case of the xxz model without staggered field . the perturbation matrix @xmath143 is given in eq .
( [ eq : mur ] ) . for the xxz model with a staggered field eigenvalues of @xmath143
do dependent on @xmath277 , however dependence of @xmath149 is very weak , with the correction at @xmath280 being less than @xmath303 .
therefore one could again use a simplified expression for @xmath143 given in eq .
( [ eq : mursimpl ] ) .
data in fig .
[ fig : staggmupert ] show that @xmath149 , and therefore also @xmath2 for small @xmath279 , scales as @xmath0 , with the range of validity ( convergence radius @xmath299 ) decreasing with system size @xmath4 .
observe also that the effect of staggered field is much more pronounced than in the staggered xxz with boundary dephasing ( fig .
[ fig : staggxxzpert ] ) .    going to non - small values of dissipation @xmath279 ,
[ fig : drivstaggxxz ] , the asymptotic scaling of the gap seem to be @xmath0 for @xmath148 , while for @xmath194 it looks like @xmath108 , in both cases though convergence is less clear than in other models . for @xmath148
the asymptotic gap certainly seems to be larger than @xmath7 , showing that the liouvillian gap for a boundary - only dissipation does not necessarily reflect diffusivity of the hamiltonian .       for the tilted ising model ( [ eq : ti ] ) with boundary dephasing of strength @xmath118 .
points are numerical calculations : full squares for exact diagonalization , and empty squares for tdmrg.,width=307 ]    the last model that we are going to study is again quantum chaotic one , but one that no longer conserves @xmath34 . we take the ising chain in a tilted magnetic field , @xmath304 which is quantum chaotic  @xcite for generic field direction ( we use @xmath305 and @xmath306 ) and with diffusive energy transport  @xcite . for small dephasing strength
@xmath21 the gap will again be equal to @xmath293 , where @xmath149 is the largest non - zero eigenvalue of matrix @xmath143 ( [ eq : boundaryr ] ) .
numerically computed @xmath149 for sizes @xmath307 show scaling @xmath308 with @xmath309 ( data not shown ) .
we have also numerically calculated @xmath2 ( fig .
[ fig : ti ] ) for a system with boundary dephasing ( [ eq : dephasing ] ) of strength @xmath118 . for smaller @xmath4 we used exact full diagonalization or the arpack package , while for @xmath310 we used tdmrg  @xcite , inferring @xmath2 from the observed relaxation rate of total energy , the initial state being a pure n ' eel state @xmath311 . for this model
we could get @xmath2 with tdmrg for significantly larger systems than for the other two chaotic models .
we can see from fig .
[ fig : ti ] that the decay seems to be algebraic @xmath312 with @xmath271 being between @xmath313 .
while smaller @xmath4 seem to be described by @xmath314 , for larger we get nicer fit with @xmath315 .
we in principle can not exclude the scaling becoming @xmath7 for still larger @xmath4 , however , for the available data the scaling seems to be distinctively different than @xmath7 .
let us briefly summarize our results and point to some interesting findings and open issues .
we have studied open quantum spin chains with two types of sites at which dissipation acts .
the first case was chains with bulk dissipation in which dissipation acts on all ( or most ) sites , while the second case was chains with boundary dissipation .
scaling of the gap for models with bulk dissipation is summarized in table  [ tab : bulk ] .
rcrcrrcr & & + & & xx+deph . & & & & xx+hopp .
+ ( r)3 - 3 ( r)5 - 6 ( l)8 - 8 & & & & @xmath148 & @xmath194 & & +   + @xmath316 & & @xmath317 & & @xmath317 & @xmath317 & & @xmath61 + @xmath318 & & @xmath61 & & @xmath61 & @xmath61 & & + @xmath104 & & @xmath236 & & @xmath236 & @xmath236 +   + @xmath316 & & @xmath317 & & @xmath317 & @xmath317 & & + @xmath318 & & @xmath61 & & @xmath61 & @xmath319 & & + @xmath104 & & @xmath236 & & @xmath320 & @xmath321 & &    rc r c rr c rr c rr c rr c r & & + & & xx+deph . & & & & & & & & & & tilted ising+deph . + ( r)3 - 3 ( r)5 - 6 ( r)8 - 9 ( r)11 - 12 ( r)14 - 15 ( l)17 - 17 & & & & @xmath148 & @xmath194 & & @xmath148 & @xmath194 & & @xmath148 & @xmath194 & & @xmath148 & @xmath194 & & +   + @xmath316 & & @xmath322 & & @xmath322 & @xmath322 & & & & @xmath322 & @xmath322 & & & & + @xmath318 & & @xmath322 & & @xmath322 & @xmath322 & & & & & @xmath322 & @xmath322 & & +   + @xmath316 & & @xmath322 & & @xmath322 & @xmath323 & & @xmath322 & @xmath322 & & @xmath236 & @xmath323 & & @xmath324 & @xmath325 & & @xmath326 + @xmath318 & & @xmath322 & & @xmath322 & @xmath323 & & @xmath322 & @xmath322 & & @xmath236 & @xmath323 & & @xmath236 & @xmath324 & & @xmath327 + @xmath104 or @xmath299 & & @xmath328 & & & & & & @xmath329 & @xmath330 & & @xmath331 & @xmath331    not surprisingly , because there are no fundamental limitations on the gap , one also finds all different scalings .
quite universally , the gap scales differently for small dissipation strength than for non - small dissipation ( dissipation strength is in our cases mostly dephasing @xmath21 ) .
systems with bulk dissipation therefore typically undergo a ( nonequilibrium ) phase transition from a phase dominated by @xmath16 to a phase where dissipation is dominating .
such transition in the decay mode has been analyzed in detail for the xx chain with dephasing . in our models
the critical dissipation strength @xmath104 at which this transition happens always goes to zero in the thermodynamic limit .    for boundary driven models
the gap scaling is summarized in table  [ tab : bound ] .
they all comply with a general bound prohibiting faster than @xmath212 relaxation .
compared to bulk - dissipated cases , here the scaling seems the same for small and for non - small dissipation ( except perhaps for the tilted ising case , and the staggered xxz model with magnetization driving ; in both cases though finite - size effects could still be at play ) . in the 1-particle sector
the gap is always @xmath1 due to essentially the solvability of the smallest nontrivial subspace ( eventhough a model might be chaotic in larger invariant subspaces ) and the longest eigenmodes having wavelength @xmath207 .
a number of transitions in the scaling of @xmath2 can be identified . at each such transition
there is a possible ( nonequilibrium ) phase transition that would be interesting to explore in more detail . changing a bulk parameter , like the anisotropy @xmath126 or the staggered field ,
can change the scaling ( e.g. , from algebraic to exponential , or from @xmath1 to @xmath0 ) .
more interestingly , the scaling can also change by changing a boundary dissipation only , that is , changing only terms that have a relative weight @xmath332 in the liouvillian @xmath11 .
an example is the gapped xxz chain for which the gap is exponentially small if dephasing is at the boundary , while it is algebraic for magnetization driving at the boundary .
such a transition is due to a symmetry breaking of otherwise protected subspace .
one finding that needs further exploration is a fast @xmath212 relaxation in chaotic models . in the present work we studied only the spectral gap , without detailed discussion of the associated eigenvector properties .
of particular interest is locality of decay modes and with it connected relaxation of local observables .
namely , it has been observed in lindblad equations as well as in classical systems  @xcite that ( certain ) local observables can relax in a time that is smaller and scales differently than the global gap .
for instance , in the xxx chain with lindblad magnetization driving the gap scales as @xmath245 whereas local magnetization and current relax as @xmath333  @xcite .
in all systems studied that conserve magnetization as well as the number of particles in the bra and ket , that is @xmath34 and @xmath35 ( [ eq : const ] ) , the liouvillian eigenproblem has a block structure . in the @xmath41 sector
one has a steady state in each @xmath334particle sector , and that steady state is an equal mixture of projectors to all basis states ( an ergodic diagonal state ) , @xmath335 with @xmath336 having @xmath35 spins in state @xmath75 and @xmath337 in state @xmath74 .
the two most interesting subspaces are the 1-particle and the @xmath338-particle ( half - filling ) .
the simplest case is @xmath339 , for which the steady state is @xmath340 taking a local operator basis composed of @xmath341 one can `` vectorize '' the operator @xmath342 , writing it as a vector in a hilbert space of operators .
doing that on @xmath343 , it can be written as @xmath344 where we use the notation @xmath345 to denote vectors in the space of operators , written in the operator basis @xmath346 .
the steady state in the @xmath198particle sector on @xmath4 spins , @xmath347 , is simply @xmath348 which is the so - called @xmath349-state .
one can immediately see that for a bipartite cut after @xmath57 spins the schmidt decomposition is of rank @xmath39 with the two eigenvalues ( squares of schmidt coefficients ) being @xmath350 and @xmath351 , irrespective of @xmath57 . in the operator space
such a steady state is therefore of finite rank @xmath39 ( it is weakly entangled ) regardless of the system size @xmath4 .
the half - filling sector is composed of states with half of the spins pointing up and half pointing down .
total magnetization is therefore zero .
starting again with a simple example for @xmath352 , we have the steady state @xmath353 or , written as a vector , @xmath354 where @xmath355 is a uniform superposition of all @xmath356 basis states with zero magnetization ( for simplicity , we assume even @xmath4 ; for odd @xmath4 and the largest sector one has to replace @xmath338 with @xmath357 ) . regarding ( operator ) schmidt decomposition , for a cut after @xmath358 sites we see that the schmidt rank is @xmath39 with both eigenvalues being @xmath359 .
for @xmath360 , i.e. , a cut of maximal size for @xmath361 , we have decomposition @xmath362 and therefore the state is of rank @xmath363 with eigenvalues being @xmath364 .
we can see that the eigenvalue prefactors ( @xmath365 ) are actually of a combinatorial nature , resulting from the number of combinations of distributing @xmath366 ones on @xmath57 sites , e.g. , @xmath367 , @xmath368 , and @xmath369 .
generalizing to a bipartite cut of @xmath355 after @xmath57 sites , one has @xmath370 nonzero schmidt coefficients with the eigenvalues being @xmath371 .
we can see that the largest schmidt rank is for a half - cut , and is equal to @xmath372 .
operator schmidt rank of the steady state in the half - filling sector grows linearly with the system size @xmath4 .
we remind that a constant  @xcite or a linear  @xcite schmidt rank is a sign of an exact solvability of a steady state .
however , our results show that the exact solvability of the lindblad steady state in general does not tell us anything about solvability of ( closest ) decay modes or the behavior of the gap
.                                                                                ref .
@xcite uses periodic boundary conditions , facilitating a solution in fourier space .
we prefer to keep open boundary conditions with a view of later - studied boundary - driven systems , where the first and the last sites are typically not coupled and the translational invariance is anyway lost due to localized dissipation .
the mapping from @xmath11 to the ladder is such  @xcite that ladder states from the 1-particle subspace have e.g. @xmath56 particles in @xmath75 and one in @xmath74 in the upper leg , and @xmath56 in @xmath74 and one in @xmath75 in the lower leg .
for system sizes upto around @xmath373 we used full exact diagonalization of @xmath11 in the respective half - filling subspace , for @xmath4 upto @xmath374 the lanczos method ( arnoldi package ) , and for still larger @xmath4 the tdmrg method , see e.g.  @xcite for further details and references about the tdmrg method .