Towards characterizing quantum stochastic fermionic evolutions

Towards characterizing quantum stochastic fermionic evolutions

Vol. 36 (1995) REPORTS TOWARDS ON MATHEMATICAL No. I PHYSlCS CHARACTERIZING QUANTUM FERMIONIC EVOLUTIONS STOCHASTIC V. R. STRULECKAJA Departme...

643KB Sizes 2 Downloads 50 Views

Vol. 36 (1995)

REPORTS

TOWARDS

ON MATHEMATICAL

No. I

PHYSlCS

CHARACTERIZING QUANTUM FERMIONIC EVOLUTIONS

STOCHASTIC

V. R. STRULECKAJA Department

of Mathematics, University of Nottingham, (Received December

28, 1994 -

University Park, Nottingham NG7 2RD, UK Revised March 20, 1995)

The generalization to the case of &-graded von Neumann algebras of evolutions satisfying a quantum stochastic differential equation with bounded coefficients and driven by fermionic noise is presented. It is proved that the correspondence between fermionic evolutions and stochastic cocycles in this case is parallel to the one in the boson case [ll]. Use of the unification technique [14] allows us to benefit from working in the boson Fock space.

1. Introduction

In this paper we are concerned with a cocycle characterization of an evolution on a &-graded von Neumann algebra satisfying a quantum stochastic differential equation (QSDE) driven by fermionic noise. In [ll], assuming norm continuity of the reduced semigroup, evolutions of this type but driven by bosonic noise are characterized by a stochastic cocycle property with respect to second quantized shifts. This result has been generalized, both to flows on algebras by Bradshaw [4] and to the case of unbounded driving coefficients by Accardi and Mohari [l] in the framework of bosonic stochastic calculus. Our aim is to show how this theory can be generalized to the case of a &-graded system algebra, when the evolution is the solution of a QSDE with bounded coefficients driven by fermionic noise. We show that the classes of stochastic evolutions with bounded coefficients and of corresponding cocycles with uniformly continuous reduced semigroup are co-extensive. Although we use the technique of unification of fermionic and bosonic quantum stochastic calculus, the fermionic result is by no means an immediate corollary of the bosonic one. The outline of this paper is as follows. In Section 2 we give the basis of bosonic quantum stochastic calculus, deferring some of the definitions to Section 4 for our convenience. Here we also introduce our notation. In Section 3 the technique of unification of bosonic and fermionic quantum stochastic calculus [14] is introduced. In Section 4 we give an account of &-graded von Neumann algebras. In Section 5 we define a fermionic cocycle and show that the solution of the corresponding QSDE is such a cocycle. Finally, in Section 6 we show that all such cocycles for which the reduced semigroup is uniformly continuous arise as solutions of fermionic QSDE. F31

64

V. R. STRULECKAJA

2. Preliminaries

and elements

of quantum

stochastic

calculus

Here we give a brief account of bosonic quantum stochastic calculus. Let h be a complex Hilbert space, and let r(h) denote the boson Fock space over h. For , each element f E h let 4(f) d enote a coherent (exponential) vector (1, f, l/(n!): 8 f . . .), wh ere @f denotes the symmetric tensor product of rr copies of f. The 1ine”ar span of {$(F) : f E h} is total in r(h). We denote it by &. Let h = ht @ ht be the direct sum decomposition of the Hilbert space h (E L2(!R+) = L2[0,t ] @ L2[t, CQ) here). We identify the boson Fock space T(h) with the tensor product T(ht) I%T(h’), so that the exponential domain E factorizes as an algebraic tensor product & = Et @Et. We denote by .? the algebraic tensor product ho @I&. Let r, denote the Fock space over h = L2(1), where I may denote R, R+, R-, or an interval [a,b] C R+. We write r+ for r(L2(R+)), and r for r(L2(lR)). The three basic processes of bosonic stochastic calculus ([12, 171) are the gauge K’, the creation Kg and the annihilation Ki processes defined by their action on elements u @ g(f), u E ho @ E, 4(f) E E, f E L*(R+): (Kl(t)u

@$(f))

= f

Ircou @+(exP J wJ4f)~ (2.1)

Kt is symmetric and Ki and Ki are mutually adjoint on [email protected]&. Given a contraction 5’ on h, the second quantized contraction r(S) is defined by its action on elements of I as ~(OJJ(~) = Q(S.f). The It6 multiplication rules of the basic differentials dKi, i = 1,4, of the bosonic quantum stochastic calculus [12, 171, where dK1 = CM’, dK2 = dKg, dK3 = dKi and dK4 being a time differential dt, are given by the following identities: dK’dK’

= dK1,

dK’dK2

= dK2,

dK3dK’

= dK3,

dK3dK2 = dK4,

(2.3)

with all the others being zero. A bounded process X = (X(t) : t E IR+) defined together with its adjoint Xt on the common domain in 2 is adapted if for each t E II?,+we can write X(t) = Xt @ 1” (xqt)

= x,t @ It) [17]. Given the adapted process Ei, i = 1,4, the stochastic integral M(t) = $ EidKi (repeated suffix summation) is adapted. In [6] it has been shown that the bosonic creation and annihilation field operators at and a can be expressed as stochastic integrals against the basic integrators Ki and K& respectively,

4f) = j- ?dK;,

&f) = j- fdK:,,

QUANTUM

in the sense

The

FERMIONIC

EVOLUTIONS

65

that

operators

[a(f),

STOCHASTIC

a#(f)

are unbounded

and satisfy

the canonical

&)I = CatLOa+(g)1= 0, [a(f)! a+(g)1= (.f,.9)1

3. Unification

for

commutation

relations

f. 9 E L”(R+).

technique

Now we shall introduce are

the

fermion

creation

j RdK;, II

K;(t)

and

annihilation

processes

follow-

ing [14]. These

I&t)

where

Since

R = (-I)K’

=

is the parity

with K’

process,

=

j RdK:,, 0

defined

(3.1)

by (2.1)

so that

dK;

= RdK:,,

dK;

= RdK:,.

(3.2)

dK;

= RdK;,

dK:, = RdK;.

(3.3)

R2 = 1, we have

The fermion field operators b(f), b+(f) basic differentials of bosonic stochastic b(f) = The operators

[

jdK; be(f)

=

s

fRdK;,

are bounded

b+(f) =

and satisfy

(CAR) P(f), b(g)l+ [b+(f),b+(g)]+= vacuum q!,(O) is annihilated by b(f) and representation of the CAR. As is seen from (3.1) and (3.4) we Fock space I’(h). The basic differentials of fermionic dK4 = dt [15, 91. Ito’s multiplication given by the identities (2.2) with (dK’, differentials dKb, i = 2,3, and dKb, i 4. &-graded

can be expressed calculus: s

as stochastic

f dK;

the canonical

=

s

integrals

fRdK;.

against

(3.4)

anticommutation

relations

0, [Kf),bt(g)l+ = (.f,dL f,g E L*@+).The is cyclic for b+(f). Thus are to remain

we obtain

in the framework

the Fock

of the boson

stochastic calculus are dK’, dK$, dKi and rules of fermionic stochastic calculus are dK*, dK”, dK4) = (dK’, dKg, dKg, dK4). The = 2,3, are related via R as in (3.2) (3.3).

*-algebras

A Q-graded *-algebra M E B(h) is a pair (M, 7) comprising of a *-algebra M and a *-automorphism y of M, such that y* = id. We write M = Mf CBM-, where M* are the tixed point spaces of y and -7, respectively, obtained by conjugation by the parity operator R E B(h), XT = RXR for X E M, and M * = {X E M : X = -X if X E X X if X E M ’ }. We shall always use

V. R. STRULECKAJA

66

R(t)$(f) = $~(-fXla,~l + f~(~,~)) to &-grade M10,~l. We notice that conjugation by this leaves invariant each of the subalgebras,MI, I C [O,T], 0 I T < CCL We denote the &-graded tensor product by &. Observe that if I = [s, t] then consists of i&-graded ampliations. The MI C hIo,,l% {WI)+ @ B(~I)-) @,_) &-graded tensor product operator ZG T, z E MO, T E MI, is defined by the action on 2: tX [email protected](t))(‘l~ @ Kf))

= FX~ @ T+(f)>

(4.1)

where the sign is minus only if both u and T (each of definite parity) are odd. We identify the process K$ i = 2,3, of Section 3 with &-graded ampliations to the domain 2. From now on let MI denote the &-graded von Neumann subalgebra of M = B(P+) generated by the fermion field operator J?(f), f E h and suppf C 1 defined by (3.4): MI := {t?(f) : suppf 5 1)“. Given an initial Hilbert space ho carrying the &-graded initial (system) algebra MO obtained by conjugating by the parity operator RQ, we define the &-graded van Neumann algebra: NI := {Mr, & Mr : I c .+}“. The algebra NI is equipped with the product &-graded structure inherited from the algebras MO and Mr. The NI, I = [s,t c R+, 0 5 s 5 t < co, form a double filtration of B(/Q @ r+) 1 c N12,,t,I, whenever 0 5 s’ 5 s < t 5 t’ < o;), and UICR Nr in the sense that Nr,,tI = B(h0 @T+). The vacuum state conditional expectation ES exists onto each NI. It is characterized by the property: IE~[T~i~‘(f,)...b#-ffi)] = (q(O),

@‘(fnx~c) . . * @VixrMO))T

% b#‘(fnxd. . . @“(fixr),

where T E MO, b#- (fn). . . b#l (f~) is a polynomial in the creation and annihilation operators b#(fi), fi E Lz(R+), and 1’ denotes the complement of I in R+. E1 satisfies the projective property IE~,.IEI, = EI, if 11 c 12 C R +. Here lEt denotes the conditional expectation IEI, I = [O,t]. An adapted process X = (X(t) : t E R+) is a martingale if it satisfies the identity E,[X(t)]

= X(s)

vs < t.

We shall recall also the fundamental result of quantum stochastic calculus by Parthasarathy and Sinha [18] set originally in a framework of boson stochastic calculus. The martingale is regular if there is a Radon measure p on I c R+ such that for s < t, u E ro,s 65ti(O)r,,, > hII[X(9

-

[email protected])1412+ KII[W(4

- x*m412 I P([SIal1412.

QUANTUM

STOCHASTIC FERMIONIC EVOLUTIONS

67

It can be shown that, in this case, X can be represented as a stochastic integral against the fundamental martingales of quantum stochastic calculus, which are the gauge, creation and annihilation processes. We shall conclude this section by giving a brief view of references to original works on &-graded algebras and their applications for the purposes of quantum stochastic calculus. &-graded algebras were constructed and studied by C. Chevalley [S]. E. B. Davies [7] studied a skew tensor product of von Neumann algebras in the framework of involuntary automorphisms of IV*-algebras. In [2, 3, 15, 161 one can find applications to quantum stochastic calculus problems.

5. Stochastic

evolutions

and fermionic

cocycles

Let the process U(t) be a solution of the fermionic dU = UlidKi;

QSDE

uo = 1,

(5.1)

where the coefficients li, i = 1,4, are bounded operators in ha identified with their &graded ampliations to ho @ r+ with 11 and 14 even and 12 and l3 odd. Suppose further that the coefficients l,, i = 1,4, satisfy the unitarity conditions which are found, under boundedness assumption, by equating to zero the stochastic differentials of UtlJ and lJ& according to Ito’s multiplication rules (2.2). These are [15]: 11 +

lf + 1Ilf = 1; + 11+ $11 = 0,

12+ 1p + 1112= lf? + 12+ [email protected] 1p

+ 13 +

141 + 14 +

= 0,

$71, = 13 + 1p + 131i = 0,

(5.2)

1p1; = 14 + la + 13lf = 0.

Remark 5.1: Notice, that the unitarity conditions (5.2) differ from the ones in [8] since all differentials are now applied on the right. These conditions were proved in [14] to be sufficient for the existence of a unique unitary process satisfying (5.1) in the case of trivial initial grading. Corresponding results were obtained in [3] in the absence of a gauge term and working in a different formulation of fermionic stochastic calculus, and in a more general case in [4] still in the framework of the latter formulation.

We define the two-parameter family of operators on b @ r+ to be Ii,,, := {Us:‘U, : 0 -C s I t < m}. Then for any 0 < r 5 s i t < 00 we have that Ur,JJs,t = u,-iuJJ,-‘G We regard

(5.3) as describing

a two-parameter

= UT.,.

evolution. The family {Uqs.,: 0 < s with the unitary process t H U,

I t < LX} is called the stochastic evolution associated

on ha @ r+, that is the solution of (5.1).

(5.3)

68

V. R. STRULECKAJA

Denote

by I(,!&) the second quantization

{of’” > - % ZtEekise

St(f)(z) = Like S,, the operator r(S,)r(S,) = T(Ss+,). to the initial space.

I($) F(St)

of the right shift S, on L*(iR+):

is isometric and, furthermore, it satisfies the equality is an even operator; we identify it with its ampliation

DEFINITON 5.2. A femionic cocycle on ho @ r+ is a family {U,,t :0 < s 5 t < cm} of even unitary operators satisfying the following conditions for all 0 < T I s 2 t < 00

(i)

u?,.JJ%t = Ur.t,

(ii)

us,, E Nst,,

(iii)

r(ss)*u,,tr(ss)

where N& Section 4.

(5.4) = Uo,t--s,

is the even subalgebra

of the Z2-graded von Neumann

PROPOSITION 5.3. Zf {US,, : 0 -c s 5 t < m}

H I&$&]

is a fermionic

algebra N,,,

of

cocycle, then t

is a semigroujx

Proof By the properties

of conditional

expectations:

Eo[Us+tl= ~o[~s[~o,s~;,J?~+tl = ~o[~o,s~s[~s,s+tll = ~o[~o,,~o[~s,s+tl1

~o[~o,,~o[~(s,)*~,.,+t~(s,)1 = ~o[~o,~l~o[~o,tl. =

Denoting semigroup.

iE#JS+,]

by PS+t, we see that PS+t = PSPt. Thus t H E,[U,,t]

is a n

We say that (US,,) is uniformly continuous if t H lE,[US,t] is norm continuous. Henceforth we only consider uniformly continuous cocycles (cf. [ll]). THEOREM

5.4.Let U be a solution

of the QSDE (5.1), with 1, E NO, i = 1,4,

constant, and 11 =w-1,

12 = 1,

1s = --I*wY,

l4 = ih - $*I,

(5.5)

where w* = w-l is unitary, h is self-adjoint and 1 is arbitrary in B(ho), and y is the parity automolphism. Then {US,, :0 < s 5 t < m} is a fermionic cocycle. Note that conditions (5.5) are equivalent to conditions (5.2). If U is required to be even, which seems to be a natural assumption, then w and h are necessatily even and 1 is odd. Proof: The uniqueness of the solution to equation (5.1), which is unitary-valued when its coefficients satisfy conditions (5.5), but with an arbitrary unitary initial value, is obtained by straightforward generalization to the &-graded case of Theorem 7.1

QUANTUM

STOCHASTIC

FERMIONIC

6’)

EVOLUTIONS

of [12] in the boson case, and proven for the initial value 1 in Theorem 6.2 in [2]. From this, (5.4i) follows. While fixing s E R+, denote Us(z) = U,*U,+s (notice that UO,, = U(s)) and observe that Us(z) satisfies the integral equation (5.6)

U,(z) = I + 1 U&)li CM-j(r). 0

where Iii(.) := K”(s+.) - K”(s), i = 1,3, are the new basic martingales. Applying the Picard iteration procedure, we can obtain the unique solution of (5.6) [12], and since each of the iterates belongs to the algebra i2rs.s+z, the (strong) limit belongs to this algebra as well, Us(z) E hrs.s+z. This gives us (5.4ii). By arguments similar to the ones in [ll], we show that (5.4iii) is fulfilled. Indeed, since r(s,)*~V,.,I’(s,~) = J&_,, r + T(S,)*U(s)U(s + T)T(S,) is an adapted process. We denote it by V(T). Applying the first fundamental formula of quantum stochastic calculus [12, 171 for f,g E L*(R+), U, 2’ E ho, q,(f) E E, one gets

+

by C;t~((ss(-fx[o.tJ)>(~:)),u(.~)*u(~)((S,(-fx[o,~])~~(~)~~~ @TNGm9)~+

+ (u [email protected]((s&f)(~)),U(s)*~(~)((S,(-SX[o.t]))(~)~~3Ro~ + (u c?G~?J((&f)(~)),u(s)*u(+w

@~((s~(-gx[o,~])~(~~)))-t-

@~((Ssg>(~)>~l dz;

putting s - s = y we finally obtain = (u E ti(f),

j- &%)*U(s)*u(Y

+ s)r(S)L

dK”(p)v @ :r(g)),

0

where dh”, i = l3 4, are the fundamental differentials of fermionic quantum stochastic calculus. Note that the second quantization r(Ss) commutes with the overall Fock space parity operator r(-I) and so is even. Thus V also satisfies (5.6). By the uniqueness H argument, V = U. This completes the proof. 6. From

cocycles

to unitary

evolutions

To prove the converse of Theorem 5.4, we shall use the remarkable result, which is the representability of regular martingales as stochastic integrals against the fundamental martingales of stochastic calculus [18]. This result may easily be adapted to the case of fermionic stochastic calculus.

70

V. R. STRULECKAJA

THEOREM 6.1.Let Us,t be a cocycle. Then there exists li E JI&, i = 1,4, satisfying the unitarity conditions (6.2) with 11 and 14 even, 12 and 13 odd, such that U(t) = Uo,, (= Ut) is a solution of the QSDE U(0) = I.

U(t) = UlidK”,

(6.1)

Remark 6.2: In the non-unit variance boson case the statement of Theorem 5.1 was established in [lo] and in the unit variance boson case in [ll]. We shall apply arguments similar to those employed in the latter. Proof of Theorem 6.1: By Proposition 5.3 Pt s IEo[Uo,,] satisfies the semigroup condition P,+t = PSPt. Recall that we are assuming that Pt is norm continuous. Then there exists a bounded operator N such that Pt = etN. Define a bounded adapted process X by X(t)

= Ut -

j

U,Nds.

0

Then X(t)

is a martingale. Ea[X(t)]

Indeed, for 0 5 s < t < CQ,

= IEo[U,j,,] - IEo[ j Uo,sN ds] = Pt -

j

P(s)N

ds = I

0

0

and j U(r)N dr]

K[[email protected]) - X(s)] = K [Uo,t - uo,, = I& [Uo,. [U.,, - I-

= lE,

=

j U,;,Ndr]] s

-I[U(s)Eo [us,,

j&,,Ndr]] S

E, [U(s)Eo [Wa)*{u,,t- I-

= JE, [U(s)IEo [U(t - s) - I -

j Ua,rN

t--s s ,(r

dr]W)}]

- s)N dr]]

0

= lE,[U(s)Eo[X(t

- s) - I]] = 0.

Thus, X is an Na,s-valued martingale as claimed. Next we show that X is a regular martingale, so that we can apply the martingale representation theorem [16]. Since P is contractive for 0 5 a 5 b < T < CO, and u E To,, @ +(Or_), one obtains by Schwarz’s inequality Il[[email protected]) -

xw1412 =

Ua,b

-

I-

) a

Ua,,N

W))*

QUANTUM

STOCHASTIC FERMIONIC EVOLUTIONS

71

- 11~112 + I([ j ua.sNds]?L~~*}. a

By definition

of a semigroup

it is easy to see that

=

1 J

(UT mw~~~

F (b -

a>llNII11~112

0

and (Ua,b%

(Ua,b

-

+)

=

((1

-

Ua,b)%

u).

Thus, for both X and Xt the following estimate holds: Il[X%)

-

x%)1~l125 4(b - a)llNII ll42 + w - ~~*11~11*114l*. (6.2)

For 0 5 a 5 b < co the r.h.s. of (6.2) is bounded and positive. As in the boson case, it may easily be shown that the r.h.s. is dominated by a multiple of Lebesgue measure for each finite interval [a, b], 0 5 a 5 b < 03. Thus, X is regular and being a bounded operator-valued regular Fock martingale it can be represented as a sum of stochastic integrals of bounded operator-valued processes, say E,, i = 1,4, against the basic martingales dKi, i = v. Setting I%(s) := U(s)*Ei, we obtain V(t) = I + j U(S)li(S)dKi(S)

(6.3)

0

with Z4 G N. Note that the generator N = /4 of the norm continuous semigroup t ++ IEt[Us,t], and that 11 is even, and 12 and Zs are odd. We define new operators on an enlarged Fock space hi 6 r = ho G r_ 8 r+ by their ampliations to ho63 r as follows: c,,, = IF_ &?J U+ -ii = Ir_ G&(t), h” = Ir_ c%P?(t), E = Ir_ 8 Iho % R(t) the parity operator, and the new right shift operator Ts on L*(R) and its second quantization ?;, = Ih,, 6 r(T,). Note that T, and r(T,) are unitary. Then (6.3) can be thought of as an equation for operators on h&r+, ho = hoBr_: i?(t) = I +

j

iT(S)7~(S)K”(S).

0

Notice that, as before, have

~~*~~‘,,& = 6(t - s)(:= fi~,~-,~) for 0 < s 5 t < co, and we

72

V. R. STRULECKAJA

t--s = I +

J iT(T){F,$(?+ s&s>dKi(T) 0

for 0 5 s < t < co, since r, commutes with &?, 7&.) = F$&

for any i = 1,4. Thus

+ s)T9.

Putting T + s = t we have (6.4) Let us, formally, set s = t. We get

that is rl(t) = F&O)?;,* = c,(O),

(6.5)

since Ft is unitary and commutes with Ti. Thus, up to’ planar set of zero Lebesgue measure (6.5) holds, as (6.4) is satisfied almost everywhere in {(s, t); s 2 t}. For T > 0 and 0 5 s < t < T < co there exists Ti, and therefore li, which is N constant on [0, T]. Since T can be arbitrarily large, this completes the proof. Remark 6.3: The proof of Theorem 6.1 is yet one more result in the theory of fermionic Fock space evolution based on the ‘exponential-vectors-span’ formulation of the theory, rather than the ‘multiparticle-vector’ formulation, mentioned in Remark 5.1. Once again, the unification technique enabled us to proceed with this generalization in a rather natural way. Acknowledgement

I wish to express my gratitude to Professor R. L. Hudson, who drew my attention to this problem and for the hours of discussions he has generously granted me, and to the referee for a number of comments which helped me to improve the readability of these notes. REFERENCES Accardi, L. and Mohari, A.: On the structure of classical and quantum flows, Universita degli Studi di Roma II, Italy. Preprint, 1994. D. B.: Publ. RIMS, Kyoto Univ. 23, 1 (1987) 17. PI Applebaum, D. B. and Hudson, R. L.: Commun. Malh. Phys. 96 (1984) 473. [31 Applebaum, [41 Bradshaw, W. S.: Bull. Math. 2nd series, 116 (1992) 1. Chevalley, C.: Publ. Math. Sot. Japan I. (1955). PI F51 Cockroft, A. and Hudson, R. L.: J. Multivar. Anal. 7 (1978), 107. [71 Davies, E. B.: Trans. Amer. Math. Sot. 158 (1971) 115. Hudson, R. L.: ht. J. Theor. Phys. 32 (1993), 2413. PI 191 Hudson, R. L. and Lindsay, J. M.: J. Funct. Anal. 61 (1985), 202. Hudson, R. L. and Lindsay, .I. M.: Uses of non-Fock quantum brownian motion and a quantum WI martingale representation theorem. Quantum Probability and Applications II, Proceedings, ed. Accardi, L. et al., Springer, Berlin, Lecture Notes in Mathematics, 1104 (1985).

PI

QUANTUM STOCHASTIC FERMIONIC

EVOLUTIONS

73

L. and Lindsay, .I. M.: Mu&. Proc. Cumb. Phil. Sot. 102 (1987) 363. L. and Parthasarathy, K. R.: Commun. Mar/r. Phys. 93 (1984) 301. L. and Parthasarathy. K. R.: Acta Appl. Math. 2 (1984), 353. L. and Parthasarathy, K. R.: Commun. Math. Phys. 104 (1986). 457. L. and Struleckaja, V. R.: On non-abelian cohomology over Zs-graded*-algebras. Len. Murh. Phys. (1995) (to appear). ]lh] Hudson, R. L. and Struleckaja, V. R.: Fermionic quantum stochastic flows, Letf. Math. Phys. (19Y5), to appear. [ 171 Parthasarathy, K. R.: An Introduction to Quantum Stochastic Calculus. Birkhauser, Base1 1992. [18] Parthasarathy, K. R. and Sinha, K. B.: J. Funct. Anal. 67 (1986). 126. [ 1l] 1121 [13] [I41 [lS]

Hudson, Hudson, Hudson, Hudson, Hudson,

R. R. R. R. R.