Scholarly article on topic 'Manipulating energy and spin currents in non-equilibrium systems of interacting qubits'

Manipulating energy and spin currents in non-equilibrium systems of interacting qubits Academic research paper on "Physical sciences"

CC BY
0
0
Share paper
Academic journal
New Journal of Physics
OECD Field of science
Keywords
{""}

Academic research paper on topic "Manipulating energy and spin currents in non-equilibrium systems of interacting qubits"

New Journal of Physics

The open access journal for physics

Manipulating energy and spin currents in non-equilibrium systems of interacting qubits

V Popkov12 4 and R Livi13

1 Dipartimento di Fisica e Astronomia—CSDC, Universita degli Studi di Firenze, Via G Sansone 1,1-50019 Sesto Fiorentino, Italy

2 Max Planck Institute for Complex Systems, Nothnitzer Straße 38, D-01187 Dresden, Germany

3INFN Sezione di Firenze, Via G Sansone 1, I-50019 Sesto Fiorentino, Italy E-mail: popkov@fi.infn.it

New Journal of Physics 15 (2013) 023030 (13pp)

Received 29 November 2012 Published 19 February 2013 Online at http://www.njp.org/

doi:10.1088/1367-2630/15/2/023030

Abstract. We consider a generic interacting chain of qubits, which are coupled at the edges to baths of fixed polarizations. We can determine the non-equilibrium steady states, described by the fixed point of the Lindblad master equation. Under rather general assumptions about local pumping and interactions, symmetries of the reduced density matrix are revealed. The symmetries drastically restrict the form of the steady density matrices in such a way that an exponentially large subset of one-point and many-point correlation functions are found to vanish. As an example we show how in a Heisenberg spin chain a suitable choice of the baths can completely switch off either the spin or the energy current, or both of them, despite the presence of large boundary gradients.

4 Author to whom any correspondence should be addressed.

^ I Content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence.

Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.

New Journal of Physics 15 (2013) 023030 1367-2630/13/023030+13$33.00

© IOP Publishing Ltd and Deutsche Physikalische Gesellschaft

Contents

1. Introduction 2

2. The Lindblad master equation and its symmetries 3

3. Lindblad operators 4

4. Parity symmetry selection rules for Lindblad dynamics 5

5. The one-dimensional-driven XXZ model 7

5.1. Parity symmetry and energy current....................... 7

5.2. Spin and thermal conductance with boundary gradients............. 8

6. Conclusions 12 Acknowledgments 12 References 13

1. Introduction

The impressive progress in experimental manipulation of nanowires and quantum dots makes it possible to investigate quantum systems consisting of a few quantum dots or quantum bits. On the other hand, manipulations/operations on a single quantum bit (e.g. the application of a quantum gate) are at the basis of the functioning of any elementary block of a quantum computing device. However, a theoretical understanding of microscopic quantum systems out of equilibrium (e.g. under constant pumping or continuous measurement by a quantum probe) is far from being complete, apart from simple cases such as a single two-level system or a quantum harmonic oscillator under external pumping or in contact with reservoirs [1, 2]. On the other hand, using the dissipative dynamics for the preparation of quantum states with the required properties is becoming a promising field of research [3, 4]. In this respect, the role of sufficiently simple spatially extended systems, amenable to both analytic and numerical investigations, becomes important.

Unlike a quantum system evolving coherently, whose evolution at any time depends on the initial state, a quantum system with pumping tends to a steady state, independently of the initial conditions. This allows us to manipulate the steady state of the system by a suitable choice of the pumping. In this paper, we first illustrate how to accomplish such a task for a general system of interacting quantum spins. In particular, we consider symmetries of the density matrix that impose rigid constraints on the properties of the non-equilibrium steady state (NESS), thus entailing, for instance, exact vanishing of cumulative correlation functions, like certain components of the structure factor. Then, we specialize our analysis on the one-dimensional (1D)-driven XXZ chain of quantum spins in the presence of pumping applied at the edges. We show that, for particular realizations of the pumping and irrespective of the system size, one can switch on and off the spin and/or the heat currents in the NESS. Such an approach unveils new interesting perspectives on the study of driven spin chain models. They have been mainly investigated to understand under which conditions the spin and the energy currents in the steady state exhibit an anomalous or ballistic behavior [5-7]. In this regard, we want to point out that the results presented in this paper hold independently of the anomalous or ballistic features of transport [8] and even in the absence of integrability.

In section 2, we present the general model of the Lindblad master equation (LME) and discuss how symmetries may affect its properties. Specific forms of Lindblad operators acting on quantum spin models are introduced in section 3. In particular, we pay special attention to parity selection rules (PSRs) in section 4. Section 5 deals with the special case of the Lindblad dynamics for the 1D XXZ model of qubits. It has been chosen to illustrate in detail how our findings apply to a simple model that has been the object of intensive recent research. Specifically, in section 5.1, we discuss the kind of symmetries emerging in this model for Lindblad operators of the target type, whereas section 5.2 is devoted to the analysis of spin and energy conductance in the presence of gradients. The conclusions and perspectives are given in section 6.

2. The Lindblad master equation and its symmetries

We consider the quantum master equation in the Lindblad form [1,9]

where we have set fi = 1; p is the reduced density matrix, H is the Hamiltonian of the system and Lmp is the Lindblad operator. It is easy to verify that j-f Tr(p) = 0, p + = p, dTr(p2) = 0. The first two relations are necessary for interpreting p as a density matrix, with Tr(p) = 1, while the latter implies that we deal with an open system: an initially pure state p = >(01 will not remain pure in the course of time. The Lindblad equation is the most general Markovian equation of motion for the reduced density matrix, conserving positivity and trace and having a semigroup property [1].

The non-unitary part of the LME makes the dynamics irreversible. In course of time, any initial state will relax to an NESS, described by the time-independent solution of the master equation. Our aim is to reveal symmetries of the LME and the respective constraints on the NESS which the symmetries impose. In the simplest case, the constraints on the NESS take the form of selection rules according to which a subset of the matrix elements of the reduced density matrix has to vanish.

Let us denote the right-hand side of the LME by L[p]. If it is invariant under a unitary transformation U, i.e. L[UpU= UL[p]Uit follows that p(t) = Up(t)Uf is a new solution of the LME. In general, the solutions p (t) and p(t) describe different time evolutions. If the NESS of the system pNESS = limt^^p(t) is unique [10], then the trajectories p(t) and p(t) eventually converge in time to the same asymptotic solution limt^^ p(t) = limt^^ p(t) = pNESS. Accordingly, the unique steady state of the system has to be invariant under the transformation U,

pNESS — U pNESSU t.

This also implies that the expectation value of any physical observable of interest f, measured

in the steady state, (f) = Tr(f pNESS), has to satisfy the relations

</) — Tr( f U Pness Uf ) — (Uf ft U ). In particular, if f changes sign under the action of U,

t W />\

Uf f U — - f

it follows that

( f) = Tr(Uf f U Pness )

= - Tr(fpness) = - ( f) ^ ( f) = 0. (5)

In contrast, if f is invariant under the action of U, i.e.

Uf f U = f (6)

no consequences for (f) can be drawn,

( f) = Tr(Uf f U Pness ) = Tr( f pness ). (7)

For instance, suppose that a two-level open quantum system, described by a generic density matrix p = 21 + 2 a (°a)aa (aa being Pauli matrices), is invariant under the transformation U = az and has a unique steady state. Since azaxaz = -ax, azayaz = -ay and azazaz = az, we can conclude from (4) that (ax) = (ay) = 0, while (az) is invariant under the action of U.

3. Lindblad operators

Here we focus on the most commonly used types of Lindblad operators: (i) those targeting a given value of observables (aa); (ii) those responsible for dephasing, or decoherence, whose action favors the evolution to a classical state; and (iii) the non-local variants of the previous cases.

Lindblad operators targeting a given value of z-spin projection atzárget at a chosen site p have the form of creation-annihilation operators

L 1p) = a (ap +iay) = aa+p, (8)

L2p) = ¡Ka; - iay) = 0a-. (9)

The equations of motion for the expectation values of the operators ap, ay, ap read

d(a p)

= H(ap) - Tz((ap)- a^t),

d(a p)

= H(ap) - T(ap),

= H(aI) - Ty (ap) , (10)

where we introduce the shorthand notation H( fp) = -i Tr (fp [H, p ^ and

a 2 _ ¡2

Tz = 4 (a 2 + 02), atzarget = ^T-Zr, (11)

rx = Vy = rz/2 . (12)

If the coupling constant Vz is sufficiently large with respect to the norm of the Hamiltonian in equations (10), then H can be neglected and the averages {alp(t)) converge,

to their 'targeted' values o^ = 0,

after some relaxation time of order 1/r„, to their 'targeted' values a*t = 0, a^et = 0,

^tirget = (a2 - P2) / (a2 + P2) as follows:

(anp(t)) = atnarget + (a'(0) - a^)e-Vn*. (13)

Lindblad operators of the type (9) naturally appear in the problem of an atom interacting with a quantized radiation field [11], in spin chains coupled to a bath of fixed polarization, in electron paramagnetic resonance experiments and in studies of quantum transport [12-21].

Lindblad operators targeting a given value of x-spin projection or y-spin projection are given by the appropriate cyclic rotation of the operators (9), i.e.

V = a (apy + iap), V2 = - iazp) (14)

with the target atarget = (a2 — P2) / (a2 + P2) at site p and

W1 = u(ap + iap), W2 = v(ap - iaxp) (15)

with the target atyrget = (u2 - v2)/(u2 + v2) at site p. The relaxation to the targeted values can be described in complete analogy with (11)-(13), see [22]. Dephasing Lindblad operators have the form

L dpph = VTpa p (16)

and describe the presence of a dephasing noise in the dynamics, which causes decoherence (i.e. vanishing of non-diagonal density matrix elements) with rate yp at site p. The local equations of motion, analogous to (10), have the simple form

d(a p,y) d(a p)

-si-=-2Yp (ax, y)■ -a-=«■ <")

Coupling to a heat bath is often modeled by the application of the dephasing Lindblad operators (16) at all sites of the system.

Lindblad operators, acting on more than one site, introduce incoherent non-local processes. For instance, the Lindblad operator

L h^p? = VVa+a" (18)

describes incoherent spin flips between sites p and q [23].

4. Parity symmetry selection rules for Lindblad dynamics

We consider a generic open system of qubits, with internal pair interactions, described by the LME (1), with the Hamiltonian

H JX(k■ m)aXaX + JY(k■ m)ajyaym +Jz(k, m)azkazm + ^hkaj;, (19)

k ,m=1 k=1

where Ja(k, m) are couplings between qubits k, m, and hk are local magnetic fields. We do not impose any restriction on the space dimension or on the geometry, but we just assume the connectivity of the graph. The system can be subject to external pumping and/or external noise, modeled by the z-polarization targeting operators (9), dephasing Lindblad operators (16) and incoherent hoppings (18), with all of these operators acting on an arbitrary subset of sites. Then,

if the steady state is unique, the transformation Qz = (az)0N = az ® az az , Q-1 = Qz

identifies a symmetry of the master equation, thus yielding the relation

Pness = Qz Pness Qz. (20)

Indeed, Hamiltonian (19) as well as dephasing Lindblad operators (16) and incoherent hoppings (18) are invariant under Qz, while z-polarization targeting operators (9) changes sign under its action. Since the Lindblad part of the evolution equation is quadratic in Lm, LME is invariant under Qz. The symmetry (20) is known in spin models as parity symmetry (P-symmetry). In the special case where the total set of Lindblad operators contains either only dephasing Lindblad operators (16) or only z-polarization targeting Lindblad operators (9), LME has one further symmetry, the PT-symmetry, which has interesting consequences for the full spectrum of the Lindblad superoperator [24]. In our general setting, where the dephasing and the polarization targeting Lindblad operators are mixed, the quantum Lindblad dynamics is not PT-invariant. Another remark concerns our crucial assumption of the uniqueness of the steady state. The existence and uniqueness of the steady state is guaranteed by the completeness of the algebra, generated by the set of operators {H, Lm, Lm} under multiplication and addition [10], and it is verified straightforwardly as in [25] for any choice of a set of the Lindblad operators {Lm}, provided that the set contains at least one polarization targeting operator (8) or (9).

The P-symmetry yields severe limitations on the NESS pNESS. We indicate with p^¿''''j the matrix element of pNESS in the natural basis, labeled by indexes i 1, i2, ..., jN which take values -1, 1. Let us calculate how the matrix element p j jy.". j changes under the action of the P-symmetry operator Qz. One obtains

((az)®Np(az)®Ny^N = x n imjm. (21)

The factor K = HN=1 imjm may only take values 1 and -1. If K = 1, the P-symmetry does not yield any constraint on p. Conversely, if K = — 1, from (20) it follows that the corresponding matrix element vanishes,

pj:.! - 0 if n imjm = -1. (22)

We call this condition a PSR. If (22) holds, a simple analysis shows that each row and each column of p contain 2N-1 zero entries. For instance, the first row of the density matrix for three sites p^1 contains four null elements: p \ /-1 = p- }}1 = p 1- \x = p- } - x- x = 0. More generally, it can be easily realized that by a suitable reshuffling of rows/columns the 2N x 2N density matrix satisfying (22) can be brought into a block-diagonal form, with two blocks of equal size 2N-1 x 2N-1.

An important feature of PSR is that any subsystem made of n qubits, described by the reduced density matrix p(n) = TrN-np, keeps the same symmetry, as it can be easily verified,

p(n) j: I - 0 for n imjm = -1. (23)

For n = 2 the explicit form of the generic density matrix is

c d * 0

d ci 0

States of the form (24) are well known in information theory as X-states and are the subject of intensive investigation (see, e.g., [26]).

Finally, we want to point out that, in terms of physical observables, PSR (22) entails vanishing of a set of experimentally measurable quantities, such as many-point correlation

functions

"m i m 2

), and structure factors Sa^(k, A) = n<m e

ik(m-n) lrrarrß

(«+i )' namely

« ) = « )= 0, (25)

« < ) = K < ) = 0, (26)

« °m i <2,amk ) = K °m i Km 2,...,amk )=0, (27)

K < >= K<1 <2 >= 0,

• • • (28)

Sxz (k) = Syz (k) = Szx (k) = Szy (k) = 0. (29)

In [27, 28], the structure factors SaP(k, A) were proposed as entanglement witnesses: they are measurable quantities in neutron scattering experiments.

5. The one-dimensional-driven XXZ model

5.1. Parity symmetry and energy current

The general properties described in the previous section can be specialized to the study of further symmetries emerging in ID-driven spin chain models with pumping acting at the edges. In these cases Lindblad operators create effective boundary gradients. A commonly studied setup (see [12-20]) is the XXZ spin chain whose Hamiltonian reads

H = ^ akx <1 + °l+i + Aak aLi. (30)

There are four Lindblad operators, L 1,2 = VT(1 + ¡)a± and L3,4 = Vr(1 - ¡)an, parametrized by — 1 ^ jj ^ 1 and T > 0, that target at the chain edges spin configurations with equal amplitude and opposite sign, (aZ> ^ j, (aN> ^ — j, see equation (11). In addition to the P-symmetry (20)5 discussed in the previous section and the PT-symmetry discussed in [24], in this case there exists an additional symmetry

Pness = ^x rPness R , (31)

5 NESS for the XXZ model enjoys full rotational symmetry around the z-axis, represented by the unitary operator U (P) = exp(ip k aZ), PNESS = U (P)pNESSU (—P). The P-symmetry (20) is a particular reduction of the U (P) for P = n/2.

where R (A ® B ® • • • ® C) = (C B ® A) R is a left-right reflection and Qx = (ax )0 N .6

We shall see that the symmetry (31) imposes restrictions on transport properties in the driven XXZ chain. The transport properties are governed by the spin and the energy current operators, Jnm and JE, which are defined by the lattice continuity equations dtaZ = Jn-i,n — Jn,n+i,

dthn,n+1 = JE — JE+1, where

Jn ,m = 2« am — < am) (32)

Jn = —an Jn— 1,n+1 + A(Jn — 1,naZ+1+ an—1 Jn,n+1). (33)

It can be easily checked that the energy current operator JE changes sign under the action of (31), QxRJERQx = — JE, thus implying that in the steady state, (JE) = 0 for any system size. On the other hand, the magnetization current (32) is invariant under the above transformation QxRjnRQx = jn and is therefore allowed to flow. So, the magnetization current can flow and the energy current is suppressed completely despite the presence of boundary gradients. Another simple consequence of the QxR symmetry is obtained by applying it to the total z-magnetization operator Sz = n aZ: it changes sign under the action QxRSzR Qx = — Sz, entailing that the NESS belongs to the zero total magnetization sector, reproducing a known result, see, e.g., [24].

To validate our results, we integrated numerically equation (1) that contains, in addition to the operators L1-L4, also the operator V = v(aN —ia^), acting at site i = N. For zero amplitude v = 0, the model possesses P-symmetry (20) (see footnote 5), while the QxR symmetry is broken because of non-symmetricity of left-right boundary amplitudes, see the caption of figure 1. If v = 0, also the P-symmetry (20) is broken. In figure 1, we plot various one- and two-point correlations as a function of the amplitude v of the P-symmetry breaking operator V: as expected they are found to vanish only for v = 0.

A different choice of the Lindblad operators, namely L12 = Vr(1 + ^)(a1y ± ia[) and L3,4 = Vr(1 — fi)(aN ± iaNN), amounts to setting a boundary twisting gradient in the XY-plane: the P-symmetry (20) is violated, but other symmetries appear, predicting the phenomenon of a sign alternation of the magnetization current with the system size (see [22, 29]). For specific solvable cases, the full NESS of a XXZ spin chain (30) with Lindblad driving at the edges can be obtained analytically, see [15, 30].

5.2. Spin and thermal conductance with boundary gradients

There is a great deal of interest in studying the conductance in low-dimensional materials, owing to the rich and often counterintuitive features they exhibit. In this section, we discuss in full generality how one can switch on and off the magnetization and the energy currents by a suitable choice of boundary reservoirs, i.e. Lindblad operators, acting on the XXZ spin chain (30).

Let us couple the X X Z chain at the boundaries to baths of constant (but different) magnetizations, so that the time evolution of the state becomes dissipative and is described by the LME

-f = —i [H, p] + T(Ll[P] + LR[p]), (34)

6 Another equivalent symmetry, pNESS = (ay)0NRpNESSR(ay)0N, is obtained as a product of (31) and (20).

Figure 1. Some observables characterizing the NESS for an open XXZ chain with Lindblad operators L 1 = 2a+, L2 = L3 = 0, L4 = , V = v(aN — iaZ), versus the amplitude v. Red, blue and black lines correspond to the one-point correlations (a£), (any) and correlations (jy) = 2 (ayoyn+x — any&Z+i), respectively. Blue and red colors: thick, thin, thick-dashed and thin-dashed lines correspond to n = 1, 2, 3, 4, respectively. Black color: thick, thin and thick-dashed lines stand for (jy) at n = 1, 2, 3. (Note that jy is not conserved locally and therefore depends on n.) For v = 0, the symmetry (20) is restored and all the above observables vanish due to (22). The adopted parameter values are N = 4, JX = JY = 1, JZ = —1.3.

where H is the XXZ Hamiltonian of the open XXZ chain with anisotropy A (see equation (30)). LL[p] and LR[p] are Lindblad dissipators ] = ^2kLkpL\ — 1 {p, LkLk} acting on the leftmost (k = 1) and on the rightmost (k = N) boundary spins, while T denotes the interaction rate with the dissipators. By choosing different parameter values of the boundary Lindblad dissipators LL[p] and LR[p], spin gradients can be introduced. In particular, the Lindblad dissipators target spin polarizations at site 1 and at site N, described by the one-site density matrices pL and pR satisfying LL[pL] = 0, LR[pR] = 0, respectively. For sufficiently large values of T the reduced density matrix of the system p(t) evolves in time toward a NESS density matrix, pness, such that Tr23,..., npness ^ pl and Tru,..., n—1 pness ^ pr.

Let us choose the following Lindblad operators: for the left boundary, the Ll dissipator contains operators

L i = VA (a/ — iaZ), (35)

L 2 = Va(a1 + iaX) (36)

and for the right boundary, LR contains

L 3 = (aN + ia N), (37)

L 4 = N — ia N). (38)

We also assume that A = 1 and 0 ^ a ^ 1. It is straightforward to check that LL[pL] = 0, where

pl = 2 + 2 atarget(L)a^ with

x _ 2 A y _ 2a z _

atarget(L) = — 2A + a ' atarget(L) = a + 2a , atarget(L) = (39)

v target (L,R)

Figure 2. Targeted spin projections at the left and the right boundary

<rget(L)'<rget(R) (^er and lower bold lineS, resPectivelУ), ^rget(L)' a4get(R)

(lower and upper dashed bold lines, respectively) versus a, from (39) and (40), with A = 2. Thin, full and dashed lines represent the actual values of boundary magnetization from numerical LME solution, for the choice of parameters A = 2, N = 5, A = 1, r = 0.5, see also figure 3.

The entries of the set are targeted spin components at the left boundary. At the right

boundary, the targeted spin components are

x _ 2 y _ 2a A z _

atarget(R) = 2 + a A ' °target(R) = - 1 + 2a A ' °target(R) = 0. (40)

Graphs of the targeted spin components at the left and the right boundaries for A = 2 are shown in figure 2.

Due to the Heisenberg exchange interaction, one might expect that the presence of a spin gradient yields non-vanishing spin and heat currents, given by the Fourier law

j Y = Xyf^ , (4D

^ As f

jE = xl -¡p (42)

where Asf/AZ = (af — af >/(N — 1) is the actual boundary gradient, %l and xyf are transport coefficients, y, f = x, y, z and summation over repeated indexes is assumed. Note that, due to quantum fluctuations, the actual average boundary magnetizations are only approximated by the respective targeted values, but do not coincide with them, atfrget(L) = (af > (compare the bold and thin lines in figure 2), unless the rate r becomes large. The overall qualitative behavior of the actual x and y boundary gradients, at least for not very small r, is close to the targeted one, and yields applied gradients for all values of 0 ^ a ^ 1, see also figure 2. However, we find that for a = 0 the steady spin current is identically zero, (j> = 0 , while (Jl> = 0. On the other hand, for a = 1 we obtain the opposite scenario, i.e. (Jl> = 0 and (j> = 0. In fact, for a = 0 the stationary solution of the Lindblad equation pNESS is invariant under the following transformation:

pNESS = ^x pNESS ^x , (43)

(a) j,J'

Asx,Asy,Asz

Figure 3. (a) Steady magnetization current (line) and energy current (dashed line) as a function of a, from the numerical solution of the Lindblad equation (34). (b) Boundary x, y, z gradients (thick, thin and dashed lines, respectively) — ap), (aNN — ), (aN — af), versus a. Note that the targeted values of the

boundary gradients given by the difference of (40) and (39) are different, see also figure 2, and in particular, the targeted value of z gradient is 0. The adopted parameter values are A = 2, N = 5, A = 1, r = 0.5.

where = (ax)0N. Analogously, for a = 1, PNESS is invariant under the transformation

Pness = ^x Urot RPness R U/ot ^x, (44)

where R is again the left-right reflection, (A ® B ® • • • ® C) = (C ® • • • ® B ® A) R, and the diagonal matrix Urot = diag(1, i)0N is a rotation in the XY plane: UrotaxUrot = any, UrotanyUrtot = —aX. The Hamiltonian part of LME, —i [H, p], is also invariant under both transformations, while for the Lindblad part the symmetries are satisfied due to the specific forms of LL[p] and LR[p] for a = 0 and 1.

The case a = 0. Making use of the symmetry (43) and of the properties of the Pauli matrices, we obtain the following expressions for the magnetization and for the energy currents (in what follows we use the shorthand notations j and JE for these quantities):

j = Tr(pNESS j) = —Tr(^x PNESS ^x j) = — j, (45)

JE = Tr (pness J E) = Tr(^x PNESS &xJ E) = JE. (46)

The first one of these relations implies that j = 0, while no restrictions are imposed for JE.

The case a = 1. We find the opposite situation: the energy current JE under the transformation (44) changes sign, while no restrictions are imposed for the magnetization current j . We conclude that J E = 0.

The case 0 < a < 1. For any intermediate value of a, neither (43) nor (44) is satisfied. Consequently, both magnetization and energy currents are allowed to flow.

In order to check our findings, we obtained numerical solutions of LME (34) for small sizes N and different values of the parameter A = 0. In all cases, we found complete agreement with theoretical predictions. A typical case is illustrated in figure 3. For A = 1, in addition we find that both JaE=0 A=1 = 0 and ja=0,A=1 = 0, while only j = 0 is predicted by the symmetry (43). Looking for an explanation, we readily find another symmetry of (34), valid for A = 1 and a = 0:

Pness = ^x rPness r ^x , (47)

which explains why also /cf=0 A=1 = 0. In fact, it can be easily checked that under this symmetry

the energy current operator changes sign, R QxJ ER = — J E.

Various anomalies in the steady currents are often visible at the level of steady density profiles: e.g. ballistic current is usually accompanied by magnetization profiles that are flat in the bulk. One might wonder whether the density profiles for our case, corresponding to the current anomalies at a = 0, 1, are special. For the point a = 0, the exact y and z magnetization profiles are trivial and flat, {ay) = {aZ) = 0 for all n, a constraint, imposed by the symmetry (43), while the x profile smoothly interpolates between the left and the right boundary. On the other hand, for a = 1 we do not find any particularity in the magnetization profiles, which rather smoothly interpolate between the boundary values (even though this can be a finite-size effect) (data not shown).

6. Conclusions

Transport properties of quantum systems can exhibit unexpected features if the NESS has to obey certain symmetry properties. Various examples have been discussed in this paper for models of interacting systems of qubits, subject to local pumping mechanisms from specific Lindblad operators. We have first introduced different classes of these operators as spintargeting and dephasing ones. Then, we have discussed the kind of symmetries they impose on the LME and to the corresponding NESS. The important role played by parity symmetry selection rules has been illustrated for a general Hamiltonian model. These considerations have also been specialized to the XXZ spin chain model. We have shown that spin and energy currents can be suitably regulated by acting on the symmetries of the NESS through the parameters of the Lindblad operators. In particular, we find that both currents can vanish even in the presence of finite applied gradients.

We have to point out that all the results reported in this paper rely on the basic assumption of uniqueness of the steady-state solution of the LME. Such a property applies to all the examples considered in this paper. An explicit check of this property can be performed by using the completeness criterion of the algebra generated by the Hamiltonian and by the Lindblad operators [10]. Once the uniqueness is established, the NESS is invariant under all the symmetries of the LME. In fact, any violation of symmetry results in the existence of at least a one-parameter family of steady-state solutions as a direct consequence of the linearity of equation (34).

In a general perspective, we can affirm that the properties of the steady states analyzed in this paper can be viewed as a first achievement in the exploration of new interesting features of the quantum master equation. In section 5, we have also shown an explicit example of how the vanishing of a current signals the presence of additional symmetries.

Acknowledgments

VP acknowledges the Center for Quantum Technologies, National University of Singapore, where this work was initiated, for the kind hospitality and the Dipartimento di Fisica e Astronomia, Universita di Firenze, for support through an FIRB initiative. RL acknowledges financial support from the Italian MIUR-PRIN project number 20083C8XFZ.

References

[1] Breuer H-P and Petrnccione F 2002 The Theory of Open Quantum Systems (Oxford: Oxford University Press)

[2] Plenio M B and Knight P L 1998 Rev. Mod. Phys. 70 101

[3] Diehl S, Micheli A, Kantian A, Kraus B, Buchler H P and Zoller P 2008 Nature Phys. 4 878

[4] Kraus B, Buchler H P, Diehl S, Micheli A and Zoller P 2008 Phys. Rev. A 78 042307

[5] Heidrich-Meisner F, Honecker A and Brenig W 2007 Eur. Phys. J. Spec. Top. 151 135 and references therein

[6] Zotos X 2005 J. Phys. Soc. Japan Suppl. 74 173 and references therein

[7] Klumper A 2004 Lect. Notes Phys. 645 349

[8] Zotos X, Naef F and Prelovsek P 1997 Phys. Rev. B 55 11029

[9] Wichterich H, Henrich M J, Breuer H P, Gemmer J and Michel M 2007 Phys. Rev. E 76 031115

[10] Evans D E 1977 Commun. Math. Phys. 54 293

[11] Gardiner C W and Zoller P 2000 Quantum Noise (Berlin: Springer)

[12] Prosen T 2008 New J. Phys. 10 043026

[13] Zunkovic B and Prosen T 2010 J. Stat. Mech. P08016

[14] Benenti G, Casati G, Prosen T, Rossini D and Znidaric M 2009 Phys. Rev. B 80 035110

[15] Prosen T 2011 Phys. Rev. Lett. 107 137201

[16] Jesenko S and Znidaric M 2011 Phys. Rev. B 84 174438

[17] Benenti G, Casati G, Prosen T and Rossini D 2009 Europhys. Lett. 85 37001

[18] Prosen T and Zunkovic B 2010 New J. Phys. 12 025016

[19] Znidaric M 2011 Phys. Rev. E 83 011108

[20] Prosen T and Znidaric M 2010 Phys. Rev. Lett. 105 060603

[21] Znidaric M 2010 J. Stat. Mech. L05002

Znidaric M 2010 J. Phys. A: Math. Theor. 43 415004

[22] Popkov V, Salerno M and Schutz G M 2012 Phys. Rev. E 85 031137

[23] Eisler V 2011 J. Stat. Mech. P06007

[24] Prosen T 2012 Phys. Rev. Lett. 109 090404 Prosen T 2012 Phys. Rev. A 86 044103

[25] Prosen T 2012 Phys. Scr. 86 058511

[26] Ali M, Rau A R P and Alber G 2010 Phys. Rev. A 81 042105

[27] Krammer P, Kampermann H, Bruss D, Bertlmann R, Kwek L C and Macchiavello C 2009 Phys. Rev. Lett.

103 100502

[28] Crammer M, Plenio M B and Wunderlich H 2011 Phys. Rev. Lett. 106 020401

[29] Popkov V 2012 J. Stat. Mech. P12015

[30] Karevski D, Popkov V and Schutz G M 2013 Phys. Rev. Lett. 110 047201

Copyright of New Journal of Physics is the property of IOP Publishing and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use.