arxiv:quant-ph/ v2 3 Apr 2007

Transcription

1 Quantum Trmodynamic Cycs and Quantum Hat Engins arxiv:quant-p/06275v2 3 Apr 2007 H.T. Quan,, 2 Yu-xi Liu, 3, C. P. Sun,, 2 and Franco Nori, 4 Frontir Rsarc Systm, T Institut of Pysica and Cmica Rsarc (RIKEN), Wako-si, Saitama , Japan 2 Institut of Tortica Pysics, T Cins Acadmy of Scincs, Bijing, 00080, Cina 3 CREST, Japan Scinc and Tcnoogy Agncy (JST), Kawaguci, Saitama , Japan 4 Cntr for Tortica Pysics, Pysics Dpartmnt, Cntr for t Study of Compx Systms, T Univrsity of Micigan, Ann Arbor, Micigan , USA (Datd: Fbruary 9, 2008) In ordr to dscrib quantum at ngins, r w systmaticay study isotrma and isocoric procsss for quantum trmodynamic cycs. Basd on ts rsuts t quantum vrsions of bot t Carnot at ngin and t Otto at ngin ar dfind witout ambiguitis. W aso study t proprtis of quantum Carnot and Otto at ngins in comparison wit tir cassica countrparts. Rations and mappings btwn ts two quantum at ngins ar aso invstigatd by considring tir rspctiv quantum trmodynamic procsss. In addition, w discuss t ro of Maxw s dmon in quantum trmodynamic cycs. W find tat tr is no vioation of t scond aw, vn in t xistnc of suc a dmon, wn t dmon is incudd corrcty as part of t working substanc of t at ngin. PACS numbrs: m, a, w, i I. INTRODUCTION Quantum at ngins (QHEs) [, 2] produc work using quantum mattr as tir working substanc. Bcaus of t quantum natur of t working substanc, QHE av unusua and xotic proprtis. For xamp, undr som conditions, QHE can surpass t maximum imit on t amount of work don by a cassica trmodynamic cyc [3, 4] and aso surpass t fficincy of a cassica Carnot ngin cyc [5]. QHEs offr good mod systms to study t ration btwn trmodynamics and quantum mcanics. Manwi, ty can igigt t diffrnc btwn cassica and quantum trmodynamic systms, and p us undrstand t quantumcassica transition probm of trmodynamic procsss [6]. T cassica Carnot at ngin is a w-known macin tat producs work troug trmodynamic cycs. T trmodynamic proprtis of t four stroks of ac cyc ar simp and dmonstrat t univrsa pysica mcanism of at ngins. Currnt studis [3, 4, 5, 6, 7, 8, 9, 0,, 2, 3, 4] on QHE mosty focus on t quantum anaogu of cassica Carnot ngins, i.., t quantum Carnot ngin (QCE). T quantum Otto ngin (QOE) is anotr intrsting cas of a QHE, wic is aso attracting considrab attntions [3, 4, 5, 6, 7, 8]. Howvr, w find tat tr is no univrsa and consistnt dfinition of t QCE and t QOE in itraturs (s,.g., Rfs. [5, 9, 0, 9, 20]), and tus t proprtis of QCEs and QOE ar not aways addrssd adquaty and cary. Any QHE cyc consists of svra basic quantum trmodynamic procsss, suc as quantum adiabatic procsss (wic av bn carifid in many rfrncs,.g., [2]), quantum isotrma procsss and quantum isocoric procsss. Tis papr bgins by carifying t concpts of isotrma procsss, isocoric procsss and ffctiv tmpraturs in tir quantum mcanica picturs. Tn w systmaticay study t gnra proprtis of a quantum anaogu of a Carnot ngin. T diffrnc btwn a QCE and its cassica countrpart is indicatd cary. W aso study t QOE basd on its basic quantum trmodynamic procss and anayz t ration btwn ts two typs of QHEs. Hr w assum tat t procsss of our trmodynamic cycs ar infinity sow, i.., t tim intrva of ac procss is assumd to b vry ong. Accordingy, t output powr is vry sma. Tis is aso t rquirmnt of quasi-static procsss. Assuming fast cycs woud incras t output powrs, but at t xpns of rducd ngin fficincy. Aso, som xprimntay raizab pysica systms, wic can b usd to impmnt our QCE and QOE, ar discussd. Furtrmor, basd on our gnraizd QOE mod, w dmonstrat tat tr is no vioation of t scond aw, vn in t prsnc of a Maxw s dmon. Our papr is organizd as foows: In Sc. II w giv a car dfinition of quantum isotrma and isocoric procsss basd on t quantum idntification of work prformd and at xcang. In Sc. III w discuss t QCE cyc and cacuat t work don during tis cyc and its opration fficincy. In Sc. IV w discuss t QOE cyc and compar it wit t cassica Otto ngin cyc. In Sc. V w compar ts two kinds of QHEs and study t ration btwn tm. In Sc. VI w giv som xamps of ts two kinds of QHEs considring xprimntay-raizab pysica systms. In Sc. VII w discuss t QOE and Maxw s dmon. Concusions and rmarks ar givn in Sc. VIII. II. BASIC QUANTUM THERMODYNAMIC PROCESS A. Quantum first aw of trmodynamics To dfin quantum isotrma and quantum isocoric procsss, w nd to first considr t working substanc. An arbitrary quantum systm wit a finit numbr of nrgy vs is usd r as t working substanc (s Fig. ). (Of cours, tis can b gnraizd to systms wit an infinit numbr of nrgy vs). T Hamitonian of t working substanc can

2 2 b writtn as H = n E n n n, () wr n is t n-t ign stat of t systm and E n is its corrsponding ign nrgy. Witout oss of gnraity, w coos t ign nrgy of t ground stat 0 as a rfrnc point (s Appndix A). Tn t Hamitonian () can b rwrittn as H = n (E n E 0 ) n n. (2) Bow w wi sow tat it is convnint for our discussion about QHEs to us t Hamitonian (2). T intrna nrgy U of t working substanc can b xprssd as E 5 E 2 E E 5 E 2 E U = H = n P n E n, (3) for a givn occupation distribution wit probabiitis P n in t n-t ign stat. To cary dfin quantum isotrma and isocoric procsss, w nd to idntify t quantum anaogus of t at xcang dq and t work prformd dw. From Eq. (3) w av du = n [E n dp n + P n de n ]. (4) In cassica trmodynamics, t first aw of trmodynamics is xprssd as du = dq + dw, (5) wr dq = TdS, and dw = i Y idy i [22]; T is t tmpratur and S is t ntropy; y i is t gnraizd coordinats and Y i is t gnraizd forc conjugatd to y i. Du to t rationsip S = k B i P i np i btwn t ntropy S and t probabiitis P i, w can mak t foowing idntification [3, 4, 7] dq = n dw = n E n dp n, (6) P n de n. (7) Equation (7) impis tat t work prformd corrsponds to t cang in t ign nrgis E n, and tis is in accordanc wit t fact tat work can ony b prformd troug a cang in t gnraizd coordinats of t systm, wic in turn givs ris to a cang in t ign nrgis [4, 23]. Tus t quantum vrsion of t first aw of trmodynamics du = dq + dw just foows from Eq. (4) wit t quantum idntifications of at xcang and work prformd in Eqs. (6) and (7). Diffrnt from dq = TdS, wic is appicab ony to t trma quiibrium cas, bow w wi s tat Eqs. (6) and (7) ar appicab to bot t trma quiibrium cas (s.g., Eq. (36)) and t nonquiibrium cas (s.g., Eq. (2)). FIG. : (Coor onin) Scmatic diagram of muti-v quantum systm as t working substanc for a QHE. E n and E n ar t n-t ign nrgy of t working substanc in t two isocoric procsss. B. Quantum isotrma procss Lt us now considr t quantum vrsions of som trmodynamic procsss. First w study quantum isotrma procsss. In quantum isotrma procsss, t working substanc, suc as a partic confind in a potntia nrgy w, is kpt in contact wit a at bat at a constant tmpratur. T partic can prform positiv work to t outsid, and manwi absorb at from t bat. Bot t nrgy gaps and t occupation probabiitis nd to cang simutanousy, so tat t systm rmains in an quiibrium stat wit t at bat at vry instant. Spcificay, t us considr a twov systm wit t xcitd stat, t ground stat g, and a sing nrgy spacing. In t quasi-static quantum isotrma procss, t ratio r = P /P g of t two occupation probabiitis, P and P g, must satisfy t Botzmann distribution r = P /P g = xp[ β (t)] and aso t normaization condition P + P g =. (t) cangs sowy wit tim t, and accordingy r can b writtn as r r(t) = P P g = β (t), (8) wr β = /k B T, k B is t Botzmann constant and T is t tmpratur. In a sufficinty sow procss, at vry instant t systm rmains in trmodynamic quiibrium wit t at bat. C. Effctiv tmpratur W can aso dfin an ffctiv tmpratur T ff for any two-v systm according to t ratio r(t) and t v spacing (t). For a two-v systm wit nrgy vs E and

3 3 TABLE I: Quantum vrsus cassica trmodynamic procsss. Hr w us INV to indicat t invarianc of a trmodynamic quantity and VAR to indicat tat it varis or cangs. U is t intrna nrgy of t working substanc; T, P, E n, P n ar dfind in Sc. II. T working substanc of t cassica trmodynamic procsss considrd r is t ida cassica gas. Cassica isotrma procss isocoric procss adiabatic procss Hat absorbd or rasd. Work don. INV: U, T VAR: P, V Hat absorbd or rasd. No work don. INV: V VAR: P, T No at xcang. Work don. VAR: P, T, V Quantum Hat absorbd or rasd. Work don. INV: T VAR: U, E n, P n Hat absorbd or rasd. No work don. INV: E n VAR: P n, T ff No at xcang. Work don. INV: P n VAR: E n, T ff E g, vn in a non quiibrium stat, w can imagin tat it is in a virtua quiibrium stat wit t ffctiv tmpratur T ff = = (t) [ n P ] g, (9) k B β ff k B P as ong as t v spacing (t) and t nrgy v distributions P g and P ar known. Of cours, Eq. (9) cannot b dircty gnraizd to t cas wit mor tan two vs. For xamp, for a tr-v systm wit occupation probabiitis P a, P b, and P c in tr stats dnotd by a, b, and c, if t two v spacings ab (t) and bc (t) do not satisfy t ration ab (t) n P a P b = bc (t) n P b P c, (0) w cannot dfin a uniqu ffctiv tmpratur. T subst { a, b } can av an ffctiv tmpratur dfind by Eq. (9), wi t subst { b, c } woud av a diffrnt ffctiv tmpratur. W wi discuss tis point in dtai in a QCE cyc in Sc. III. D. Quantum isocoric procss A quantum isocoric procss as simiar proprtis to tat of a cassica isocoric procsss. In a quantum isocoric procss, t working substanc is pacd in contact wit a at bat. No work is don in tis procss wi at is xcangd btwn t working substanc and t at bat. Tis is t sam as tat in a cassica isotrma procss. In a quantum isocoric procss t occupation probabiitis P n and tus t ntropy S cang, unti t working substanc finay racs trma quiibrium wit t at bat. In cassica isocoric procss t prssur P and t tmpratur T cang, and t working substanc racs trma quiibrium wit t at bat ony at t nd of tis procss. For xamp, if t working substanc is cosn to b a partic confind in a infinit squar w potntia, no work is don during a quantum isocoric procss wn at is absorbd or rasd, and t occupation probabiitis in vry ign stat satisfy Botzmann distribution at t nd of t isocoric procss. E. Quantum adiabatic procss A cassica adiabatic trmodynamic procss can b formuatd in trms of a microscopic quantum adiabatic trmodynamic procss. Bcaus quantum adiabatic procsss procd sow noug suc tat t gnric quantum adiabatic condition is satisfid, tn t popuation distributions rmain uncangd, dp n = 0. According to Eq. (6), dq = 0, tr is no at xcang in a quantum adiabatic procss, but work can sti b nonzro according to Eq. (7). A cassica adiabatic procss, owvr, dos not ncssariy rquir t occupation probabiitis to b kpt invariant. For xamp, wn t procss procds vry fast, and t quantum adiabatic condition is not satisfid, intrna xcitations wi iky occur, but tr is no at xcang btwn t working substanc and t xtrna at bat. Tis trmodynamic procss is cassica adiabatic but not quantum adiabatic. Tus it can b vrifid tat a cassica adiabatic procss incuds, as a subst, a quantum adiabatic procss; but t invrs is not vaid [7]. T proprtis of bot cassica and quantum trmodynamic procss ar istd in Tab I, to faciitat t comparison btwn ts two procsss. T tab indicats if at is absorbd or rasd (first row), if work is don (scond row), and wic quantity varis (indicatd by VAR ) and wic ar invariant (indicatd by INV ) in t tird row. III. QUANTUM CARNOT ENGINE CYCLE In t prvious sction, w dfind quantum isotrma procsss. Basd on tis dfinition, in tis sction, w study t QCE cyc and its proprtis. T QCE cyc (s Fig. 2 for an xamp of a QCE basd on a two-v systm), just ik its cassica countrpart, consists of two quantum isotrma procsss (A B and C D) and two quantum adiabatic procsss (B C and D A). During t isotrma xpansion procss from A to B, t partic confind in t potntia w is kpt in contact wit a at bat at tmpratur T, wi t nrgy vs of t systm cang muc sowr tan t raxation of t systm, so tat t partic is aways kpt in trma quiibrium wit t at bat. Bow, w considr bot cass: two-v and muti-v systms.

4 4 (A) quantum Carnot ngin P A D P T 4 T T 2 T B C P (B) cassica Carnot ngin T 3 V V (C) T-S diagram of QCE (CCE) T T A () B (2 ) D (4 ) C (3) S (A ) S (B ) FIG. 2: (A): A scmatic diagram of a quantum Carnot ngin basd on a two-v quantum systm. is t v spacing btwn t two nrgy vs. P is t occupation probabiity in t xcitd stat. T procss from A to B (C to D) is t isotrma xpansion (comprssion) procss, in wic t working substanc is put in contact wit t ig (ow) tmpratur at bat. T procsss from B to C and from D to A ar two adiabatic procsss. (B): Prssur-Voum (P V ) diagram for a cassica Carnot ngin wit ida gas as t working substanc. T procss from to 2 (from 3 to 4) is t cassica isotrma xpansion (comprssion) procss wit tmpratur T (T ), and t procss from 2 to 3 (4 to ) is t cassica adiabatic xpansion (comprssion) procss. V 2 and V 3 ar t voum of t working substanc at 2 and 3 rspctivy. (C): Tmpratur-Entropy (T S) diagram [27] for bot for a quantum Carnot ngin basd on a two-v quantum systm and a cassica Carnot ngin wit ida gas as t working substanc. Tis T S diagram bridgs t quantum and cassica Carnot ngin. V S P A. Trmodynamic rvrsibiity of t quantum Carnot ngin cyc It is w known tat quantum mcanica rvrsibiity ar associatd wit quantum mcanica unitary voution. Diffrnt from quantum mcanica rvrsibiity, trmodynamic rvrsibiity accompanis t at bat and t ffctiv tmpratur of t working substanc. In tis papr w focus on t trmodynamic rvrsibiity. W mpasiz tat, in ordr to nsur tat t cyc is trmodynamicay rvrsib, two conditions on t quantum adiabatic procss ar rquird: () aftr t quantum adiabatic procss (B C), w can us an ffctiv tmpratur T to caractriz t working substanc, i.., t working substanc sti satisfis t Botzmann distribution aftr t quantum adiabatic procss; and (2) t ffctiv tmpratur T of t working substanc, aftr t quantum adiabatic procss, quas t tmpratur T of t at bat of t foowing quantum isotrma procss (C D). Wn itr condition is not satisfid, a trmaization procss [24, 25] of t working substanc is invitab bfor t quantum isotrma procss (C D). In t trmaization procss, t tota ntropy incras of t working substanc pus t bat is nonzro. Hnc, tis trmaization procss is irrvrsib. It can b provd tat t abov two conditions ar quivant to t foowing two conditions: (i) a nrgy gaps wr cangd by t sam ratio in t quantum adiabatic procss, i.., E n (B) E m (B) = λ[e n (C) E m (C)], and E n (A) E m (A) = λ[e n (D) E n (D)], (n = 0,, 2, ); and (ii) t ratio of t cang of t nrgy gaps in t adiabatic procss (from B to C or from A to D) must qua t ratio of t two tmpraturs of t at bats, i.., λ = T /T. First, it is asy to s tat ts two conditions, (i) and (ii), istd rigt abov ar sufficint for t prvious conditions () and (2) prsntd initiay. Nxt, w prov tat t two conditions (i) and (ii) ar aso ncssary for t two conditions () and (2). Lt us assum tat t working substanc is in quiibrium wit a at bat at tmpratur T at t instant B bfor t adiabatic procss (B C). In tis cas t quantum stat is dscribd by a dnsity oprator ρ(b) = xp[ β Z E n (B)] n(b) n(b). () n Aftr t adiabatic procss is comptd, at instant C in Fig. 2, t ign nrgis of t working substanc bcom E n (C), and t working substanc racs an ffctiv tmpratur T. T occupation probabiitis P n of t working substanc ar kpt uncangd during t adiabatic procss (B C), and ty satisfy t Botzmann distribution. Tus, for any ign stats n and m, t occupation probabiitis P n and P m satisfy P n (B) P m (B) = xp[ β E n (B)] xp[ β E m (B)] = P n(c) P m (C) = xp[ β E n(c)] xp[ β E m (C)]. (2)

5 5 Tat is, E n (C) E m (C) = T T [E n (B) E m (B)], (3) for any m, n. Eq. (3) is just a combination of conditions (i) and (ii). Tus w av provd tat t two conditions (i) and (ii) ar sufficint for t prvious conditions () and (2). Hnc, w av provn tat (i) a nrgy gaps cang by t sam ratio in quantum adiabatic procss, and (ii) tis ratio quas to t ratio of t tmpraturs of t two at bats, summarizd in Eq. (3), ar sufficint and ncssary conditions for t QCE to b trmodynamicay rvrsib. W woud ik to mntion tat ts two conditions (i) and (ii) (matmatica rquirmnts) can b satisfid in som raistic pysica systms. Examps of QCEs basd on som concrt pysica systms wi b discussd in Sc. VI. B. Work and fficincy of a quantum Carnot ngin cyc Now w anayz t opration fficincy η C of t QCE introducd abov. For simpicity, instad of appying Eq. (6), w us dq = TdS to cacuat t at xcang dq in any Quantum Iso-Trma (QIT) procss. Bcaus t tmpratur of t at bat is kpt invariant in t quantum isotrma procss, t at absorbd Q QIT in t quantum isotrma xpansion and comprssion procsss can b cacuatd as foows and rasd Q QIT out in Q QIT in = T [S(B) S(A)] > 0, (4) Q QIT out = T [S(C) S(D)] > 0, (5) wr T and T ar t tmpraturs of t two diffrnt at bats, and S(i) = k B n xp[ β i E n (i)] [ β Z(i) i E n (i) nz(i)], (6) ar t ntropis of t working substanc at diffrnt instants i = A, B, C, D (s Fig. 3(A)). Hr, β A,B = /k B T, β C,D = /k B T. In obtaining t abov rsut, w av usd t Botzmann distribution of trma quiibrium stat, i.., ρ = (/Z) n xp( βe n) n n, wr out Z =Trxp( βh) is t partition function. Of cours, Q QIT in and Q QIT can aso b obtaind troug Eq. (6) in a quantum mannr (tis wi bcom car atr on, s Eqs. (36) and (37)). Ts quivant approacs can dscrib t microscopic mcanism of a cassica Carnot ngin cyc. Now, w woud ik to cacuat t work W C don during a QCE cyc and its opration fficincy η C. From Eqs. (4) and (5) and t first aw of trmodynamics w obtain t nt work don during a QCE cyc W C = Q QIT in Q QIT out = (T T )[S(B) S(A)], (7) wr w av usd t rations S(B) = S(C) and S(A) = S(D). Tis quivanc is du to t fact tat t occupation probabiitis and tus t ntropy rmain invariant in any quantum adiabatic procss. T fficincy η C of t QCE is η C = W C Q QIT in = T T, (8) wic is just t fficincy of a cassica Carnot ngin. From Eq. (3) w s tat t ratio of t tmpratur in t fficincy (Eq. (8)) of t QCE can aso b rpacd by t ratio of t nrgy gaps η C = E n(c) E m (C) E n (B) E m (B). (9) Tis xprssion of t fficincy η C in trms of t ratio of t nrgy gaps rsmbs tat of a QOE for a muti-v cas in Rfs. [3, 7] (s aso Eq. (24) bow). Howvr, in spit of t apparnt simiaritis btwn ts two xprssions for t fficincis, w mpasiz tat ty ar quit diffrnt. Hr, E n (B) E m (B) and E n (C) E m (C), in Eq. (9), ar t nrgy gaps at t bginning (B) and at t nd (C) of t quantum adiabatic xpansion procss (B C). In t xprssion for t fficincy η O for a muti-v QOE, owvr, t nrgy gaps ar tos in two quantum isocoric procsss [3, 7]. Hnc, t fficincy in Eq. (9) for a QCE is quit diffrnt from tat for a QOE, vn toug ty bot ook simiar. Furtr discussions on tis wi b givn in Sc. IV. In ordr to xtract positiv work from t bat, Eq. (8) imposs a constraint, T > T, on t tmpraturs of t two at bats. Tis constraint, known as t positiv-work condition (PWC), is t sam as tat of its cassica countrpart. Wat is mor, t scmatic tmpratur-ntropy (T S) diagrams for bot a QCE cyc and a cassica Carnot ngin cyc ar t sam (s Fig. 2(C)). For t abov rasons, w biv it is convincib tat our QCE mod is a quantum mcanica anaogu of a cassica Carnot ngin. W compar t proprtis of a QCE and a cassica Carnot ngin and ist tm in Tab II. C. Intrna nrgy It is w known tat an ida cassica Carnot ngin cyc consists of two cassica isotrma and two cassica adiabatic procsss. Wn t working substanc is t ida gas, t intrna nrgy of t working substanc rmains invariant in t cassica isotrma procss, bcaus t intrna nrgy of t ida gas dpnds on t tmpratur ony. Tis assumption for cassica isotrma procsss basd on cassica ida gas coud b tru for a cassica Carnot ngin using a working substanc otr tan an ida gas. But in t quantum vrsion, t quantum isotrma and quantum adiabatic procsss soud b rdfind microscopicay basd on quantum mcanics. In princip, t cassica rsut coud cang wn considring t quantum natur (discrt nrgy vs) of t working substanc. W now woud ik to vrify wtr t intrna nrgy of t working substanc rmains invariant during t isotrma

6 6 TABLE II: Quantum Carnot ngins vrsus cassica Carnot ngins. Hr CIT rfrs to Cassica Iso-Trma procss wi CA is an abbrviation for a Cassica Adiabatic procss. QIT and QA rfr to Quantum Iso-Trma procss and Quantum Adiabatic procss, rspctivy. V 2, V 3, E n(b), and E n(c) ar dfind in Fig. 2; γ is t adiabatic xponnt [27]. stroks rquirmnt on t CA and QA fficincy positiv-work condition Cassica CIT-CA-CIT-CA T T = [ V 2 V 3 ] γ Quantum QIT-QA-QIT-QA T = En(C) Em(C) T E n(b) E m(b) for m, n η η = T T = T T T > T T > T procss. At t four instants A, B, C and D of t QCE cyc (s Fig. 2), t intrna nrgis ar rspctivy U(i) = Tr[ρ(i)H(i)], i = A, B, C, D. (20) In appndix B w prov tat U(A) U(B) and U(C) U(D) for som QCE cycs basd on svra xprimntay raizab systms. Hnc, in t quantum vrsion of a Carnot ngin, w cannot simpy assum tat t at absorbd (rasd) by t working substanc quas to t work don by (on) t working substanc in t isotrma procss, as w do in cassica Carnot ngin wit t ida gas as t working substanc. Tis obsrvation is crucia for t foowing discussion. Hr w woud ik to indicat tat, t quantum isonrgtic procss in Rfs. [7, 8] is not a quantum anaogu of t cassica isotrma procss of cassica Carnot ngin, bcaus it rquirs t tmpratur of t at bat to cang. Tus t trmodynamic cyc dscribd in Rfs. [7, 8] is actuay not a QCE cyc. IV. QUANTUM OTTO ENGINE CYCLE In practic, t at ngins most widy usd in automobis, t intrna combustion ngin, oprat using Ottocyc ngins [8], wic consist of two cassica isocoric and two cassica adiabatic procsss. Simiar to t Carnot ngin, t quantum anaogu of t cassica Otto ngin is aso proposd in Rfs. [3, 9, 0, 7, 9]. T QOE cyc consists of two quantum isocoric and two quantum adiabatic procsss [4, 5, 6, 7] (s Fig. 3 for a scmatic diagram of QOE basd on a two-v systm). A. Work and fficincy In t quantum isocoric ating procss from A to B (s Fig. 3), no work is don, but at is absorbd. T at Q QIC in absorbd by t working substanc is Q QIC in = n B A E n dp n = n E n [P n (B) P n (A)], (2) wr E n is t n-t ign nrgy of t systm in t quantum isocoric ating procss from A to B. Simiary, w obtain t at rasd to t ow tmpratur ntropy sink in t quantum isocoric cooing procss from C to D D Q QIC out = E n dp n = En [P n(c) P n (D)], n C n (22) wr En is t n-t ign nrgy of t systm in t quantum isocoric cooing procss. W woud ik to point out tat in cacuating Q QIC in and Q QIC out, w cannot appy Eqs. (4) and (5), bcaus dq = TdS is ony appicab to trma quiibrium cas, wi in t quantum isocoric procss, t at bat and t working substanc ar not aways in trma quiibrium, i.., tis procss is not trmodynamicay rvrsib (for a dtaid discussion s bow). As mntiond abov, in ordr to construct a QCE, a nrgy gaps must b cangd by t sam ratio in quantum adiabatic procss. But for a muti-v QOE, tr is no suc a constraint (s Rf. [7]) bcaus w do not av to nsur t rvrsibiity of t QOE cyc. Nvrtss, to compar t QOE wit t QCE, w ony considr a spcia cas of QOE wr a its nrgy gaps cang by t sam ratios as in t quantum adiabatic procsss, i.., En Em = α(en Em), (n = 0,, 2,...). Wn w coos E0 = E 0 = 0, i.., t ground stat ign nrgis as t nrgy rfrnc point, w av En = αe n. Simiar to t QCE, t occupation distribution rmains invariant in t two quantum adiabatic procsss, i.., P n (B) = P n (C) and P n (A) = P n (D), and accordingy t ntropy rmains invariant in t quantum adiabatic procsss S(B) = S(C) and S(A) = S(D). Basd on tis fact, and Eqs. (2) and (22), w obtain t nt work W O don during a QOE cyc W O = Q QIC in Q QIC out = n (E n E n)[p n (B) P n (A)]. and t opration fficincy η O of t QOE cyc η O = W O Q QIC in (23) = E n E m En = E m α. (24) Hr, α > sinc E n > E n. Tis rsut, wic stands for a spcia muti-v QOE (a nrgy gaps cang by t sam ratio in t quantum adiabatic procss), is a gnraization of t two-v QOE [3, 7]. Lt us rca t PWC of t spcia muti-v QOE [7] mntiond abov. From Eq. (23), t PWC for t spcia muti-v QOE is T > α T. (25)

7 7 (A) quantum Otto ngin P T T(A) A D 2 P P T(C) P V V V (C) T-S diagram of QOE (COE) T A () D (4 ) S (A ) C B T(D)=T T T 2 = T 3 B C 3 4 S (B (2 ) (3 ) ) T(B)=T (B) cassica Otto ngin T = 4 T FIG. 3: (Coor onin) (A): A scmatic diagram of a quantum Otto ngin basd on a two-v quantum systm. Dottd rd and dasd back curvs rfr to t isotrma procsss. and ar t v spacings of t two-v systm during t two isocoric procsss (A B and C D). P and P ar t occupation probabiitis in t xcitd stat. T procsss from A to B and from C to D ar isocoric procsss, wi t procsss from B to C and from D to A ar quantum adiabatic procss. T(i), (i = A, B, C, D) ar t ffctiv tmpraturs of t working substanc at instant i, and T(B) = T, T(D) = T. (B): Prssur-Voum, PV, diagram of a cassica Otto ngin. V and V ar t voum of t working substanc in t two cassica isocoric procsss. T procss from to 2 (3 to 4) is a cassica isocoric ating (cooing) procss, and t procss from 2 to 3 (4 to ) is t cassica adiabatic xpansion (comprssion) procss. T tmpratur of t working substanc at 2 and 4 qua to t tmpraturs of t two at bats, T and T, rspctivy. (C): Tmpratur-Entropy (T S) diagram [27] for bot for a quantum Otto ngin basd on a two-v quantum systm and a cassica Otto ngin wit ida gas as t working substanc. Tis T S diagram bridgs t quantum and cassica Otto ngin. S Tis is obviousy diffrnt from tat of a QCE, wr t PWC is simpy T > T. Not tat t first QHE mod, initiay proposd in Rf. [], is actuay a QOE, bcaus its fficincy and its PWC ar givn by η = ν /ν p and T > (ν p /ν )T 0, wr ν and ν p ar t two nrgy gaps of t working substanc, and T and T 0 ar t tmpraturs of t two at bats, rspctivy. B. Cassica vrsus quantum Otto ngins Bow w prov tat t opration fficincy η O in Eq. (24) of a QOE, aso quas to t fficincy η CL O of a cassica Otto ngin. For simpicity, r w ony considr a two-v systm as t working substanc (t rsut can b gnraizd to muti-v systms if a t ign nrgis of t muti-v systm cang in t sam ratios as in t quantum adiabatic procss [26]). For a two-v systm (s Fig. 3), wn t tmpratur T of t at bat is fixd, t occupation probabiity P of t xcitd stat in trma quiibrium is a monotonicay dcrasing function of t v spacing btwn t two nrgy vs [3, 2, 3]. Its invrs function rads [ ] θ = k B T θ n P θ, θ =,. (26) As mntiond abov, t fficincy η O (24) of a QOE cyc rprsntd by t rctang (A-B-C-D) (s Fig. 3) is η O =. (27) From Eqs. (26) and (27) and Fig. 3, w can s tat t fficincy η O of t QOE cyc can b rwrittn as η O = T(C) T(B) = T(D) T(A), (28) wr T(i), wit i = A, B, C and D, ar t ffctiv tmpraturs of t working substanc at t instants A, B, C and D indicatd in Fig. 3. Hr, w av usd t ration (C)/ (B) = T(C)/T(B) bcaus of t fact P (C) = P (B) = P and Eq. (26), and simiary (D)/ (A) = T(D)/T(A). In t QOE cyc, t ffctiv tmpraturs T(B) and T(D) of t working substanc at instants B and D qua t tmpraturs of t two at bats T(B) = T, T(D) = T. As for a cassica Otto ngin, t cassica fficincy η CL O is [27] η CL O = ( V V ) γ, (29) wr V and V ar t voums of t cassica ida gas in t two cassica isocoric procsss (s Fig. 3), and γ is t cassica adiabatic xponnt [27]. Bcaus TV γ is

8 8 TABLE III: Quantum Otto ngin vrsus cassica Otto ngin. Hr CIC and CA rfr to Cassica Iso-Coric procsss and Cassica Adiabatic procsss, rspctivy; QIC and QA rfr to Quantum Iso-Coric procsss and Quantum Adiabatic procsss, rspctivy. Aso, V and V ar t voums of t working substanc (cassica ida gas) in t two cassica isocoric procsss; γ is t cassica adiabatic xponnt [27]. T(i) (i = A, B, C, D) and T k (k =, 2, 3, 4) ar dfind in Fig. 3 stroks fficincy positiv-work condition Cassica CIC-CA-CIC-CA η CL O = ( V V ) γ = T(C) = T(D) T(B) T(A) T > T ( V V ) γ Quantum QIC-QA-QIC-QA η O = = T 3 T 2 = T 4 T T > T ( ) constant during a cassica adiabatic procss, w can trfor iminat t voums in Eq. (29) as η CL O = T 3 T 2 = T 4 T, (30) wr T, T 2, T 3 and T 4 ar t tmpraturs of t working substanc at instants, 2, 3, and 4, and t tmpraturs at instants 2 and 4 qua to t tmpraturs of t two at bats T 2 = T, T 4 = T. Tis is in vry good agrmnt wit t rsut of a QOE cyc in Eq. (28). Tus w provd tat t fficincy of a QOE aso quas its cassica countrpart. Morovr, simiar to Carnot ngins, w pot t scmatic tmpratur-ntropy (T S) diagrams for bot a QOE cyc and a cassica Otto ngin cyc in Fig. 3(C). T simiarity of t two T S diagrams aso support our dfinition of t QOE. Comparisons btwn t QOE and t cassica Otto ngin ar istd in Tab III. C. An atrnativ quantum Otto ngin Bfor concuding tis sction, w woud ik to rvisit an atrnativ QOE cyc simiar to tat in Rf. [28] and tat givn most rcnty by us [8]. As iustratd in Fig. 4, w considr two two-v systms (two qubits) as t working substanc, wic ar dnotd by qubit S and qubit D, and t v spacings of t two qubits ar S and D, rspctivy. T tmpraturs of t two at bats ar T S and T D. Witout oss of gnraity, r w coos T S > T D and S > D. T atrnativ QOE cyc consists of two stps: ) t t two qubits dcoup from ac otr and contact tir own at bats rspctivy unti ty rac trma quiibrium wit ts two at bats; and 2) switc on t intraction btwn t two qubits and impmnt a SWAP opration btwn tm. Ts two stps ar sown in Fig. 4(a) and 4(b). T dnsity matrics of t two qubits aftr stp ar ρ i () = Z i [ 0 i 0 i + xp[ β i i ] i i ], (i = S, D), (3) wr β i = /k B T i, and for simpicity w av cosn t ign nrgy of t ground stat as a rfrnc point. Aftr S D T S T D (a) (b) (c) FIG. 4: (Coor onin) A scmatic diagram iustrating an atrnativ quantum Otto ngin. Tis QOE cyc consists of two stps: a SWAP btwn t two two-v systms (two qubits), sown in (b), and a trmaization wit tir rspctiv at bats, sown in (a). Stp (c) indicats t transition from (b) to (a). T SWAP opration in (b) rpacs t two quantum isocoric procsss in t QOE cyc mntiond in t txt and sown in Fig. 3(A). stp 2, t dnsity matrics bcom ρ S (2) = Z D [ 0 S 0 S + xp[ β D D ] S S ], ρ D (2) = Z S [ 0 D 0 D + xp[ β S S ] D D ].(32) Aftr ts two stps, t two qubits ar dcoupd and put into contact wit tir own bat, and a nw cyc starts. T ky point of tis atrnativ QOE cyc is tat t SWAP opration taks pac of t two quantum adiabatic procsss, wi t trmoization procss taks pac of two quantum isocoric procsss. W can now cacuat t at absorbd by t qubit S and at rasd by t qubit D in stp : Q in = Tr[Hρ S ()] Tr[Hρ S (2)] (33) [ = S xp[ β Z S S ] ] xp[ β S Z D D ], D

9 9 Q out = Tr[Hρ D (2)] Tr[Hρ D ()] (34) [ = D xp[ β Z S S ] ] xp[ β S Z D D ]. D T opration fficincy η of t QHE cyc can b cacuatd straigtforwardy η = Q in Q out Q in = D S (35) and t PWC is T S > ( S / D )T D. Tus, tis two-stp cyc is an atrnativ QOE cyc. W wi rvisit, in mor dtai, tis atrnativ QOE cyc in Sction VII. Lt us r mntion an atrnativ QCE of two qubits basd on a SWAP opration. Tis atrnativ QCE cyc consists of tr stps: ) t t two qubits dcoup and contact tir own at bats and bot xprinc quantum isotrma procsss, 2) switc on t intraction btwn t two qubits and impmnt a SWAP opration, and 3) t t two qubits dcoup from ac otr and aso dcoup t two qubits from tir at bats, and subjct tm to a quantum adiabatic procss. A simiar QOE cyc and a QCE cyc av bn studid in Rf. [28], wr t SWAP opration was dcomposd into tr CNOT oprations. A C P T T B D P FIG. 5: A Quantum Carnot ngin cyc can b modd as infinit numbr of sma quantum Otto ngin. Hr, P, P,A, B, C, D, and T, T ar dfind in Fig. 2(A). T sma rctangs insid t QCE cyc (A-B-C-D) rprsnt sma QOE cycs. T tmpraturs of t two at bats of ts QOE cycs ar T and T, rspctivy, wic ar t sam as tat of t QCE cyc. Simiar discussions s aso Rfs. [3, 3, 5, 6] P V. RELATIONS BETWEEN QUANTUM OTTO AND QUANTUM CARNOT CYCLES In tis sction w discuss t ration btwn a quantum Otto ngin cyc and a quantum Carnot ngin cyc. For simpicity, r w us a two-v systm as an xamp of working substanc. Our rsuts about QHEs basd on a twov systm can b gnraizd to muti-v systms if a t ign nrgis of t muti-v systm cang by t sam ratios in t quantum adiabatic procsss [26]. A. Quantum Carnot cyc drivd from quantum Otto cycs A QCE cyc can b dcomposd into an infinit numbr of sma QOE cycs (s Fig. 5) [3, 3, 5, 6]. Now w giv a concis and xpicit proof about tis obsrvation. T at absorbd and rasd in t infinit numbr of infinitsima QOE cycs can b intgratd by appying Eqs. (2), (22) and (26) P Q in = T P P Q out = T P n ( P ) dp, (36) n ( P ) dp. (37) Tn w obtain t positiv work W don during t infinit numbr of infinitsima QOE cycs (A-B-C-D) by making us of Eq. (23) W = Q in Q out (38) = (T T ) P P n ( P ) dp. From Eqs. (36) and (38) w can s tat t fficincy of an infinit numbr of infinitsima QOE cycs is η = W Q in = T T (39) Tis is t fficincy of t QCE in Eq. (8). Tus w av provd tat a QCE cyc can b modd as an infinit numbr of infinitsima QOE cycs. Howvr, a finit QCE cyc and a finit QOE cyc cannot b quivant bcaus on is rvrsib and t otr on is not. Wn t two cycs bcoms infinitsima, ty can b infinitsimay cos to ac otr. B. Quantum Otto cyc drivd from quantum Carnot cycs Convrsy, a QOE cyc can aso b modd as an infinit numbr of QCE cycs (s Fig. 6), but t tmpraturs of t two at bats of ts sma QCE ar diffrnt. T quantum isocoric procss A B (C D ) can b modd as many sma quantum isotrma procsss wit tmpraturs T (T ), T 2 (T ), T 3 (T 2 ),...(s Fig. 6) T < T 2 < T 3 < < T N < T, (40) T < T < T 2 < < T N < T N. (4) T at absorbd and rasd in t infinit numbr of infinitsima QCE cycs can b obtaind by appying dq = TdS and Eq. (26) Q in = P P P k B n ( P )ds = P dp, (42)

10 0 T 2 T A B T A T (A ) A T B T D T C D T C C T (C ) P P P P P P FIG. 6: A Quantum Otto ngin can b modd as an infinit numbr of sma quantum Carnot ngin cycs. Hr P, P, T and T ar dfind in Fig. 3(A). T sma cycs insid t QOE cyc A - B -C -D rprsnt sma quantum Carnot cycs. T tmpraturs of t two at bats (.g., T and T ) of ts sma QCE cycs ar diffrnt from tat (T and T ) of t QCE cyc. Q out = P P P k B n ( P )ds = dp, (43) P wr w av usd t ration ds = k B [np n( P )]dp. W tn obtain t positiv work W don during t infinit numbr of infinitsima QCE cycs (A -B -C -D in Fig. 6) by making us of Eq. (7) W = Q in Q out = ( )(P P ). (44) From Eqs. (42) and (44) w can s tat t fficincy of an infinit numbr of infinitsima QCE cyc is η = W Q in =. (45) Tis is t fficincy of t QOE in Eq. (27). Tus w av provd tat a QOE cyc can b modd as infinit numbr of infinitsima QCE cycs. W woud ik to mntion tat t formua dq = TdS is appicab in Eq. (42) is du to t fact tat ts infinit numbr of infinitsima QCE cycs (wit at bats tmpraturs T, T ; T 2, T 2 ; ) ar trma quiibrium (rvrsib) procsss sinc t ntropy incras vaniss during ts cycs (s Appndix C). Howvr, if w tak t QOE cyc as a wo, and t at bats tmpraturs ar T and T, tis procss is a nonquiibrium (irrvrsib) procss. Hnc, t formua dq = TdS is not appicab r. Tis is wy w cannot appy Eqs. (4) and (5) in cacuating Q QIC in and Q QIC out in t QOE cyc in Sc. IVA. FIG. 7: (Coor onin) Scmatic diagrams for a quantum Carnot ngin cyc (AB CD rd continuous in) and a quantum Otto ngin cyc (A B C D bu dasd in) basd on a two-v systm. Hr, points B and D ar t sam for bot cycs. T tmpraturs T and T of t two at bats of t two QHE cycs and t occupation probabiitis P and P in two quantum adiabatic procsss ar t sam. T nt work don during a cyc is proportiona to t ara ncosd by t four curvs wic rprsnt t cycs. C. Comparison of work and fficincy for quantum Otto and quantum Carnot cycs Having carifid t proprtis of t QCE and QOE, r w now compar t trmodynamic proprtis of a QCE cyc wit tat of a QOE cyc and study t ration btwn tm. For t two QHE cycs (QCE cyc and QOE cyc), w considr t cas wit t sam at bats (at ig and ow tmpraturs T and T, rspctivy), and t sam occupation probabiitis (P and P, rspctivy) in t two quantum adiabatic procsss (s Fig. 7). First, t us compar t amounts of positiv work don in a QCE cyc and a QOE cyc undr t sam conditions dfind abov. T positiv work don during t QCE cyc (r dnotd by A-B -C-D in Fig. 7) can aso b writtn as W C = P P [ (T, P ) (T, P )] dp, (46) wi t work don during a QOE cyc is (r dnotd by A -B -C -D in Fig. 7) W O = P P ( ) dp. (47) From Fig. 7 w know for any P [P, P ], w av (T, P ) (T, P ) >. Hnc, from Eqs. (46) and (47) w av W C > W O ; i.., undr t sam conditions, t work don during a QCE cyc is mor tan tat during a QOE cyc. Nxt w considr t fficincis of t QCE cyc and t QOE cyc undr t sam conditions. From Eq. (27) w

11 know tat t fficincy of a sma QOE cyc can b rwrittn as η O = k BT n[(p ) ] k B T n[(p (48) ) ] T [ [ ( )] ] n n T P P (P P) = η C + T [ ( )] n n (P T P P ). It can b vrifid tat t scond trm on t RHS of Eq. (48) is ngativ. Tus w av provd t inquaity η O = P < T T = η C (49) for vry sma cyc. W concud tat, undr t sam conditions, t QCE is mor fficint tat t QOE, vn for any finit cyc. VI. ILLUSTRATIONS OF QUANTUM CARNOT ENGINE AND QUANTUM OTTO ENGINE As mntiond abov, to construct a muti-v (incuding two-v) Carnot-typ QHE, two prconditions (matmatica rsuts) ar rquird: () a nrgy gaps cang by t sam ratio in t quantum adiabatic procss (wn t working substanc prforms work); (2) t ratio of t nrgy gap cangs in t quantum adiabatic procss soud qua t ratio of t tmpraturs of t two at bats, so tat t trmodynamic cyc is rvrsib. Pysicay, ts two conditions can aways b satisfid for a QHE basd on a two-v systm, bcaus tr is ony on nrgy gap in a two-v systm, w can aways find a propr ffctiv tmpratur to caractriz t working substanc. Bsids t two-v systm, t armonic osciator and a partic confind in an infinit squar w potntia ar two otr xamps tat can iustrat t basic proprtis of t QCE and t QOE. Tis is bcaus in bot cass a nrgy gaps cang by t sam ratio wn canging t paramtrs of t systm, and w can aways us a propr ffctiv tmpratur to caractriz t working substanc in t quantum adiabatic procss, too. Bow w cacuat t amount of positiv work don during a trmodynamic cyc using tos working substancs. A. Two-v systms Lt us now considr a QHE basd on a two-v systm,.g., a spin-/2 systm in an xtrna magntic fid pointing aong t +z dirction, t Hamitonian of t working substanc is H TLS (i) = MB(i)( ), (50) wr B(i) is t strngt of t xtrna fid at instant i, i = A, B, C, D (s Fig. 2 and Fig. 3); M = /2mc is t Bor magnon; and indicat t spin down (xcitd) stat and spin up (ground) stat rspctivy. T trma quiibrium stat can b writtn as ρ TLS (i) = Z(i) [xp[β imb(i)] (5) + xp[ β i MB(i)] ], wr Z(i) = xp[β i MB(i)] + xp[ β i MB(i)] is t partition function at instant i. Appying Eq. (6) w obtain t ntropy of t working substanc S TLS (i) = k B n[z(i)] + k B β i MB(i) tan[β i MB(i)]. (52) Tn from Eqs. (4), (5) and (7) w obtain t nt work don by t working substanc during a QCE cyc W TLS C = (T T ) [ S TLS (B) S TLS (A) ]. (53) T nt work don during t QOE cyc can b cacuatd by appying Eq. (23) [ ] WO TLS = ( ) + xp[β ]. + xp[β ] (54) Anotr xamp of QHE basd on a two-v systm is a poton-carnot ngin [5, 6, ]. Aftr prforming a simiar cacuation w rcovr t opration fficincy T /T in Eq. (8) and t PWC T > T. Hnc, tis poton-carnot ngin is actuay a two-v QCE. B. Harmonic osciator For a QHE basd on a armonic osciator wit t ign nrgis E n (i) = (n /2) ω(i), by appying Eq. (6), w driv t ntropy S HO (i) of t working substanc as S HO (i) = k B n{ xp[ β i ω(i)]} (55) +k B β i ω(i) xp[β i ω(i)], and t work don during a QCE cyc as W HO C = (T T ) [ S HO (B) S HO (A) ]. (56) T nt work don during t QOE cyc can b obtaind by appying Eq. (23) [ ] WO HO = (ω ω ) xp[β ω ]. xp[β ω ] (57) C. Partic in an infinit squar potntia w For a QHE basd on a partic confind in an Infinit Squar (IS) potntia, t ign nrgis ar E n (i) = γ i n 2, wr γ i = (π ) 2 /(2mL 2 i ); m and L i ar t mass of t partic and t widt of t squar w at instant i, rspctivy. T

12 2 TABLE IV: Comparison of svra proprtis of quantum Otto ngins and quantum Carnot ngins using t foowing quantum substancs as working substancs: Two-Lv Systm (TLS), Harmonic Osciator (HO), and a partic confind in an Infinit Squar (IS) potntia. T opration fficincy η, t positiv-working condition (PWC) and t amount of work W xtractd in a trmodynamic cyc ar istd bow (s Sc. VI). Quantum Otto ngin Quantum Carnot ngin η O PWC W O η C Two-Lv Systm (TLS) Harmonic Osciator (HO) Infinit Squar w (IS) T > T W TLS O T T ω ω T > ω ω T T > W HO O T T 2 L L L L 2 T W IS O T T PWC T > T T > T T > T W C W TLS C W HO C W IS C ntropy of t working substanc can aso b cacuatd by appying Eq. (6): S IS (i) = k ( ) B 2 (β iγ i ) 3 π 4 + kb n. (58) 2 β i γ i In obtaining Eq. (58) w av mak an approximation xp[γ i n 2 ] n= 0 xp[γ i n 2 ]dn. (59) So t work don during a QCE cyc can b xprssd as (7) W IS C = (T T ) [ S IS (B) S IS (A) ], (60) wi t nt work don during a QOE cyc is (23) WO IS = π [ ] 8 (γ γ ) (β γ ) 2 (β γ ) 2. (6) In ordr to bttr compar ts rsuts, ts ar a istd in Tab IV. Bfor concuding tis sction, w woud ik to mntion tat, our currnt QHE mod can ony b impmntd wit quantum systms wit a nrgy vs bing discrt (a ign stats bing bond stats). Bsids t armonic osciator and t infinit squar w systm, w can find otr potntias tat satisfy discrt spctra structur rquirmnt to impmnt our QHE. Howvr, w cannot da wit quantum systms wit continuous spctra structur,.g., a partic in a Couumb potntia or a finit squar w. W wi xtnd our currnt study to quantum systms wit continuous spctra structur in futur rsarc. VII. MAXWELL S DEMON AND QUANTUM OTTO ENGINE In t abov discussions, w giv car dfinitions of microscopic QCE and QOE cycs troug carifying t basic quantum trmodynamic procsss (.g., quantum isocoric procss and quantum isotrma procss). Ts rsuts indicat tat t proprtis, suc as t opration fficincy, of macroscopic (cassica) at ngins can b obtaind from t microscopic (quantum) v as ong as w carify t basic trmodynamic procsss microscopicay. In t prvious discussions, our QCE and QOE mod sow no contradiction wit t trmodynamic aws. In on of our rcnt studis [8], w proposd a Maxw s dmon assistd quantum trmodynamic cyc to study t function of a Maxw s dmon, and w aso studid ow it affcts t scond aw of trmodynamics. It is intrsting tat wn t rstoration of t dmon ar propry incudd into t QHE cyc, t fficincy of t Maxw s dmon assistd QHE cyc as t sam form as tat for a QOE drivd prviousy (27). Hnc, t apparnt vioation of t scond aw du to Maxw s dmon is prvntd. In tis sction, w aso woud ik to study t intrinsic ration btwn ts two kinds of quantum trmodynamic cycs. W woud aso ik to add som dtais about t Maxw s dmon-assistd quantum trmodynamic cyc proposd in Rf. [8] to bttr dmonstrat our main ida. A. Maxw s dmon rasur not incudd in t trmodynamic cyc W first anayz a sing-rsrvoir trmodynamic cyc wit xtrna contro basd on t ffctiv tmpratur dfind abov. It can b provd tat t proprty of tis cyc is simiar to tat of t QHE cyc proposd in Rf. [8]. Our trmodynamic cyc consists of tr stps: () quantum rotation, (2) dcornc, and (3) trmaization. Aftr t trmaization procss, t stat of t two-v systm (wit t ground stat 0, t xcitd stat and t v spacing ) can b dscribd by a dnsity matrix ρ(0) = P + P 0 0 0, (62) wr t probabiity distributions P and P 0 in t two-v systm ar dtrmind by t tmpratur T of t at rsrvoir and t v spacing. Tn t two-v systm,

13 3 drivn by an xtrna fid (w do not trat it as a part of t systm for t momnt), undrgos a rotation, = cosθ + sin θ 0, (63) 0 0 = sinθ + cosθ 0. If t tim intrva of tis rotation is muc sortr tan t rvant tim of t trmaization, t stat ρ(0) of t twov systm bcoms ρ() = P + P ODT, (64) Initia Stat First Stp Scond Stp wr P = P cos 2 θ + P 0 sin 2 θ, (65) P 0 = P sin 2 θ + P 0 cos 2 θ, and ODT dnots t off-diagona trms, wic disappar rapidy (pur dpasing) du to t couping btwn t twov systm and t rsrvoir. Actuay two ffcts (dpasing and dissipation) occur wn t two-v systm is coupd to t rsrvoir [29]. T first procss occurs muc fastr tan t scond on, and tus w can considr t two ffcts sparaty. Aftr considring dpasing (but bfor considring dissipation), t stat ρ() of t two-v systm bcoms ρ(2) = P + P (66) Tis stat is obviousy not in quiibrium wit rspct to t rsrvoir at tmpratur T. But w can imagin tr is suc a rsrvoir at tmpratur T, wic can b xprssd as T (P 0, P, θ) = ( n P sin 2 θ + P 0 cos 2 ) θ k B P cos 2 θ + P 0 sin 2. (67) θ Tis ffctiv tmpratur T (P 0, P, θ) posssss som xotic faturs. For xamp, wn θ = π/2, P = P 0 and P 0 = P. Tis mans tat T = T is a ngativ tmpratur sinc tr xists a popuation invrsion P P 0. Ony wn P 0 > P, T is positiv. Finay, t two-v systm is put into contact wit t at bat for a sufficinty ong tim. Aftr t trmaization procss, t stat ρ(2) rturns to ρ(0), and a trmodynamic cyc is finisd and t two-v systm sms to xtract work from a sing at bat. W can imagin it as a trmodynamic cyc btwn two rsrvoirs wit t tmpratur T and a virtua tmpratur T. Actuay contradictions to t scond aw can appar du to tis ngativ tmpratur. It is not surprising tat t abov rsut (a contradiction to t scond aw) appars sinc w do not incud t contror for t rotation oprators sown in Eq. (63). Tis rsut is vry simiar to tos sing-partic at ngins assistd by cassica Maxw s dmon proposd by Sziard. Now, t us dscrib a nw vrsion of Sziard sing-partic at ngin (s Fig. 8). T working substanc of t QHE is a spin (two-v systm) wit ground stat 0, and xcitd stat. T v spacing is. W first put t two-v FIG. 8: (Coor onin) Scmatic diagram of t two-v vrsion of t Sziard sing-partic at ngin. An invisib dmon dtcts t stat of t two v working substanc and tn contros it to do work: wn t systm is in t xcitd stat, t dmon maks t working substanc fip to t ground stat (t first stp); wn t systm is in t ground stat, t dmon dos noting for t working substanc. Aftr ts oprations t working substanc is brougt in contact wit a vry arg at bat and tn trmaizd into its initia stat (t scond stp). systm into a at bat at tmpratur T. Aftr a sufficinty ong trmaization procss, t spin racs a trma quiibrium stat, wic can b dscribd by ρ(0), simiary dfind as abov. Scond, a dmon prforms a masurmnt. If t masurmnt rsut is confirmd tat t systm is in its uppr stat, tn t spin is fippd and positiv work is don by t spin wit an amount. If t masurmnt rsut confirms tat t systm is in its owr stat, tn no work is don. Tn t systm is put into contact wit t at bat and a nw cyc starts. Tis is a two-stp Maxw s dmonassistd QHE. A simiar discussion as bn givn in Rf. [3]. It is asy to s tat t nt ffct of tis QHE is to absorb at from a sing at bat and convrt it into work. On avrag, t nt work don pr cyc is P. Tis is a prptua macin of t scond kind. Tis apparnt vioation of t scond aw is sn bcaus t rasur of t dmon is not incudd into t QHE cyc. B. Maxw s dmon rasur incudd in t trmodynamic cyc In Rf. [8], w av dmonstratd tat, wn t rasur of t information stord in t Maxw s dmon is considrd into t QHE cyc, t apparnt vioation of t scond aw dos not od, i.., tr is no vioation of t scond aw vn in t xistnc of suc a Maxw s dmon. To sow t abov obsrvation, t us considr in mor dtai a trmodynamic cyc incuding t Maxw s dmon (s t Fig. 9). Lt us xpain ac stp of t QHE cyc proposd in Rf. [8]. First, two qubits (two-v systms) S and D ar dcoupd and sparaty coupd to two at bats wit diffrnt tmpraturs T S and T D. Aftr a priod of tim ongr tan bot t dpasing tim T 2 and t raxation tim

14 4 in t two oprations can b xprssd as foows (a) (b) (c) (d) FIG. 9: (Coor onin) Scmatic iustration for t Maxw sdmon-assistd quantum at ngin wit four stps: (a): Bot t QHE of t two-v systm and a dmon is iddn in t piston as anotr two-v systm ar initiaizd in trma quiibrium stats wit diffrnt tmpraturs; (b) T dmon maks a quantum non-dmoition masurmnt about t stat of t two-v systm S wit a CNOT opration: wn sing S in t xcitd stat it rcords tis information troug a transition from its ground stat to t xcitd stat; wn S is in its ground stat, t dmon rmains in its origina stat; (c): According to t information rcordd by t dmon, t dmon can nab t systm to oprat troug anotr CNOT ogica gat: If t dmon was ncodd in t xcitd stat it wi mak t systm fip; otrwis it nabs t systm to rmain; (d) bot t systm and t dmon ar brougt into contact wit tir own at bats and tn trmaizd wit diffrnt tmpraturs from tir own initia stats, rspctivy. During tis procss, t information stord in t dmon is totay rasd and t ntir systm compts a quantum trmodynamic cyc. T, ty ar trmaizd to two quiibrium stats ρ S () and ρ D () ρ F () = PF + P F 0 0 0, (68) for F = S and D rspctivy. T joint trmaizd stat ρ() = ρ S () ρ D () of t tota systm wit S pus D can b writtn as ρ() = P,,0,, + P, 0, 0 (69) +P 0, 0,0 0, 0, + P 0, 0 0, 0, wr w av dfind t dirct product of t ign stat of t two qubits q, q q S q D, (q, q = 0, ) (70) and t joint probabiitis P q,q P q S P q D. Scond, two conscutiv unitary oprations: a CNOT opration fipping t dmon stats ony wn t working substanc systm is in its xcitd stat [28], and t dmon contros t systm to do work. Pysicay, t systm xprincs a conditiona voution (CEV). T cangs of t stats 0, 0 CNOT 0, 0 CEV 0, 0 0, CNOT 0, CEV 0,, 0 CNOT, CEV,, (7), CNOT, 0 CEV, 0 wr 0 and ar dfind in Eq. (63). Ts two subprocsss can b raizd wit two quantum non-dmoition Hamitonians wr H CNOT = H S D, H CEV = H D S, (72) H A B = g 4 ( + σa Z ) σb X (73) is a typica CEV Hamitonian wit A controing B. It producs a tim voution of t systm B as a quantum rotation dfind by Eq. (63) wit θ = gt, wn t systm A is initiay prpard in A. Hr, σ F j, F = A, B, (j = x, y, z) ar t Paui matrics of t two v systm A and B. Obviousy t CNOT opration on t dmon is givn by t tim voution producd by H CNOT wit θ = π/2. H CNOT prforms a quantum non-dmoition masurmnt of t stat of t working substanc S. Aftr tis CNOT opration, t dnsity matrix cangs from ρ() to ρ(2) = CNOT{ρ()} (74) = P,,0, 0, 0 + P,, +P 0, 0,0 0, 0, + P 0, 0 0, 0. From Eq. (74) w can driv t rducd dnsity matrics ρ S (2) and ρ D (2) of t working substanc and t dmon and ρ S (2) = Tr D [ρ(2)] = ρ S () (75) ρ D (2) = Tr S [ρ(2)] (76) = (p, + p0,0 ) (p,0 + p0, ) rspctivy. During tis procss, t systm S rmains in its initia stat wi t dmon acquirs information. Manwi, t intrna nrgy cangs at t xpns of using an amount of work W D W D = Tr[Hρ D (2)] Tr[Hρ D ()] (77) = D (P D P,0 P 0, ). From Eqs. (69) and (74) w s tat t tota ntropy of S and D dos not cang during t CNOT opration S(2) = k B [P,, np + P,0,0 np (78) +P 0, 0, np + P 0,0 0,0 np ] = k B [P S np S + P 0 S np 0 S ] k B [P D n P D + P 0 D np 0 D] S S () + S D () S().

15 5 Hnc, our mod vrifis t prdiction in Rfs. [33, 34] tat a masurmnt do not ncssariy ad to ntropy incras. Aso, w know from Eq. (75) tat t ntropy of S during t CNOT opration dos not cang But t ntropy of D cangs as S S (2) = S S (). (79) δs D = S D (2) S D () (80) = k B [(P, + P 0,0, )n(p + P 0,0 ) +(P,0 + P 0,,0 )n(p + P 0, )] +k B [P D np D + P 0 D np 0 D ]. W woud ik to point out tat t mutua ntropy S M (2) = S D (2) + S S (2) S(2) (8) = S D (2) S D (). dos not vanis (it vaniss bfor tis CNOT opration). And tis non-vanising mutua ntropy can b usd to masur t information acquird by t dmon about t systm [30]. Nxt w considr t cangs of ntropy and nrgy aftr t quantum contro (t CEV) procss. T stat of t dmon and t working systm aftr t CEV is ρ(3) = CEV{ρ(2)} (82) = P,,0, 0, 0 + P,, (83) +P 0, 0, 0, + P 0,0 0, 0 0, 0. T rducd dnsity matrics of t working substanc ρ S (3) and t dmon ρ D (3) ar rspctivy and ρ S (3) = Tr D [ρ(3)] (84) = P,0 + P 0, 0 0 +P, 0,0 + P 0 0, ρ D (3) = Tr S [ρ(3)] = ρ D (2). (85) Simiary, t nrgy cang (work prformd by t working systm) during tis procss is: W S = Tr[Hρ S (2)] Tr[Hρ S (3)] (86) = S (PS P, 2 P 0, 0 2 ). P,0 In particuar, wn w coos θ = π/2, t CEV is a CNOT, and t rducd dnsity matrix of S can b writtn as So t cang of t ntropy of t working substanc in t CEV procss is δs S = S S (3) S S (2) = S D () S S (), (88) wr w av usd Eq. (79). But from Eqs. (78), (82) and (85), w know tat bot t tota ntropy of S pus D and t ntropy of t dmon D do not cang, i.. S() = S(2) = S(3), (89) S D (3) = S D (2). Finay, S pus D ar dcoupd and put into contact wit tir own bats, and a nw cyc starts. In t trmaizaiton procss, no work is don, but at is xcangd btwn t at bats and S and D. T trmaization procss is an information-rasur procss. Tis kind of zro-work rasur wit a ow tmpratur rsrvoir was first introducd in Rf. [3], and studid aftrwards in Rf. [32]. In t trmaization procss t at absorbd by S is Q in = Tr[Hρ S ()] Tr[Hρ S (3)] (90) = S (P,0 P,0 2 P 0, 0 2 ), and t at rasd by t dmon D is Q out = Tr[Hρ D (3)] Tr[Hρ D ()] (9) ( ) = D P,0 + P 0, P D. Now w incud t rasur of t mmory of Maxw s dmon into t trmodynamic cyc, and w wi sow tat, undr crtain conditions, our composit QHE is quivant to a simp QOE. For ac cyc dscribd abov, w ar now ab to cacuat t work W prformd by t at ngin W = W S W D (92) = S (P,0 P,0 2 0 ) 2 ) D (P,0 P,. P 0, It can b cckd tat in t trmodynamic cyc W = Q in Q out. Tis is just t first aw of trmodynamics. T positiv-work condition can b drivd from Eq. (92) T S T D ( D S ). (93) Notic tat wn w coos t CEV to b t spcia cas θ = π/2, (i.., a CNOT) t at absorbd Q in and positiv work W don during a cyc can b simpifid to ( ) Q in = S P,0 P 0,, (94) W = S ( P,0 P 0, ) D ( P,0 P, ),(95) ρ S (3) = PD + P D 0 0 0, (87) and t ntropy of t systm is S S (3) = k B [PD np D + P D 0 np D 0 ] S D(). and η = W Q in = D S ( ) P, P,0 ( ). (96) P,0 P 0,