arxiv: v1 [math.oa] 20 Jun 2016

Transcription

1 The cocycle identity holds under stopping Alexander C. R. Belton Department of Mathematics and Statistics Lancaster University, United Kingdom Kalyan B. Sinha Jawaharlal Nehru Centre for Advanced Scientific Research, Bangalore, India 20th June 2016 Abstract arxiv: v1 [math.oa] 20 Jun 2016 In recent work of the authors, it was shown how to use any finite quantum stop time to stop the CCR flow and its strongly continuous isometric cocycles Q. J. Math. 65: , The stopped cocycle was shown to satisfy a stopped form of the cocycle identity, valid for deterministic increments of the time used for stopping. Here, a generalisation of this identity is obtained, where both cocycle parameters are replaced with finite quantum stop times. Key words: quantum stopping time; quantum stop time; quantum Markov time; operator cocycle; Markov cocycle; Markovian cocycle; quantum stochastic cocycle; CCR flow. MSC 2010: 46L53 primary; 46L55, 60G40 secondary. 1 Introduction The history of stopping times in non-commutative probability begins in 1979, with Hudson s work on stopping canonical Wiener processes [4]. Since then, many authors have contributed to the subject, and it has developed in various directions and settings: abstract von Neumann algebras, to produce first exit times in C algebras and to stop quantum stochastic integrals, for example. A good introduction for the latter is provided by [5]; see [2] for further references. In this note, we extend a previous result [2, Theorem 7.2], which itself built upon work of Parthasarathy and Sinha [6] and Applebaum [1]. Let V be a strongly continuous isometric cocycle of the CCR flow σ, so that V s+t = V s σ s V t for all s,t R +, where V is the identity-adapted projection of the p-adapted process V. The importance of this identity in classical and quantum probability is well known; it has an intimate connection with stochastic integral representation and Feynman Kac formulae [7, 3]. If S is a finite quantum stop time then Theorem 7.2 of [2] gives the stopped cocycle identity V S+t = V S σ S V t for all t R +. 1 It is shown below that the following generalisation of 1 holds: if T is another finite quantum stop time and the CCR flow σ has countable rank then V S T = V S σ S V T, where S T is the convolution of S and T. If V acts on an initial space h, it follows that setting α S a = V S a IV S for all a Bh 1

2 gives a generalised Evans Hudson flow α S which satisfies a non-deterministic version of the mapping-cocycle relation, α S T = α S σ S α T. The notation of [2] is followed throughout. In particular, the algebraic tensor product is denoted by, with the Hilbert-space and the ultraweak product. 2 Stopped maps with a non-trivial initial space In Sections 6 and 7 of [2], certain maps E S, Γ S and σ S are extended to the case of a non-trivial initial space, so that the ambient Fock space F is replaced by h F, where h is a complex Hilbert space. In order to familiarise the reader with key ideas and notation from [2], and as the construction of these extensions are not quite immediate, the details are provided in this section, together with some further observations. Notation 2.1. Let F = Γ + L 2 R + ;k be Boson Fock space over the complex Hilbert space of square-integrable functions on the half line R + := [0,, with values in the complex Hilbert space k. Recall the tensor-product decomposition F = F t F [t, valid for all t 0,, where F t := Γ + L 2 [0,t;k and F t := Γ + L 2 [t, ;k, given byextendingtheidentification ofexponential vectors suchthat εf = εf [0,t εf [t, for all f L 2 R + ;k. Let I, I t and I [t denote the identity operators on F, F t and F [t, respectively, and let E denote the linear span of the set of exponential vectors in F. Definition 2.2. Let S be a finite quantum stop time, so that S : B[0, ] BF is a map from the Borel subsets of the extended half line to the set of orthogonal projections on F, such that i the map A x,say is a complex measure for all x, y F, ii the total mass S [0, ] = I, with S { } = 0, and iii identity adaptednessholds, sothats{0} = 0andS [0,t] BF t I [t forallt 0,. Notation 2.3. For all t R +, let E t := Γ + 1 [0,t BF be the second quantisation of the operator obtained by letting this indicator function act by multiplication, so that E t is the orthogonal projection onto F t ε0 [t,, and let E := I. Proposition 2.4. Let π = {0 = π 0 < < π = } be a finite partition of [0, ] and let h be a complex Hilbert space. If ẼS,π := I h E S,π, where E S,π := S π j 1,π j ] E πj, then E S,π E S and ẼS,π ẼS := I h E S in the strong operator topology as π is refined, where E S and ẼS are orthogonal projections. Proof. The proof of [2, Theorem 3.7] gives that E S,π E S strongly on E, and thus ẼS,π ẼS strongly on h E; the result follows by the density of this last space in h F. 2

3 Notation 2.5. For all s R +, let Γ s := Γ + θ s BF be the second quantisation of the isometric right shift, such that θ s ft = 1 [s, tft s for all t R +, and let Γ := E 0. Proposition 2.6. Let π and h be as in Proposition 2.4. If Γ S,π := I h Γ S,π, where Γ S,π := S π j 1,π j ] Γ πj, then Γ S,π Γ S and Γ S,π Γ S := I h Γ S in the strong operator topology as π is refined, where Γ S and Γ S are isometries. Proof. The claims about Γ S,π and Γ follow from the proof of [2, Theorem 3.8], which also gives that Γ S,π Γ S u x = u Γ S,π Γ S x 0 as π is refined, for all u h and x F. As Γ S,π and Γ S are isometries, the same is true for Γ S,π and Γ S. Thus Γ S,π Γ S strongly on h F, and so on h F, since Γ S,π = 1 for all π. Notation 2.7. For all t R +, let the ultraweakly continuous unital -homomorphism σ t : BF BF; X I t Γ t XΓ t, where Γ t is regarded here as an isometric isomorphism from F to F [t with inverse Γ t, and let σ t := id Bh σ t. Recall that σ t : t R + is the CCR flow semigroup with rank dimk. Notation 2.8. Let F S := E S F and F [S := Γ S F be the pre-s and post-s spaces, with identity operators I S and I [S, respectively. Theorem 2.9. Let h and π be as in Proposition 2.4. If σz S,π := id Bh σ S,π Z for all Z Bh F, where σ S,π : BF BF; X σ πj XS π j 1,π j ], then σ S,π σ S and σ S,π σ S := id Bh σ S pointwise in the strong operator topology as π is refined, where σ S and σ S are ultraweakly continuous unital -homomorphisms. Furthermore, there exist isometric isomorphisms such that j S : F S F [S F and j S : F S h F [S h F σ S X = j S I S Γ S XΓ Sj S for all X BF 2 and σ S Z = j S I S Γ S Z Γ S j S for all Z Bh F. 3 Proof. The convergence of σ S,π to σ S, and the fact that the latter is a unital -homomorphism, follows from [2, Theorem 5.2]. The representation 2 is [2, Proposition 5.3], and this shows that the map X σ S X is continuous when BF is equipped with the ultraweak topology, as ampliation gives a normal representation of any von Neumann algebra. In particular, the 3

4 map σ S is an ultraweakly continuous unital -homomorphism such that 3 holds, where the isometric isomorphism j S : F S h F [S h F; x u y u j S x y, because 3 holds if Z is a simple tensor, and both sides are ultraweakly continuous functions of Z. It remains to prove that σ S,π converges to σ S. Working as in the proof of [2, Theorem 5.2], if the finite partition π is a refinement of π, then, for any u h and any f L 2 R + ;k with compact support, σ S,π σ S,π Zuεf S [0,π n ] εf sup{ σ r Z Zuεf +s : r [0,δ π ], s [0,τ]} + S π n, uεf Z +1, where δ π := max{π j π j 1 : j = 1,...,n} and f has support contained in [0,τ] [0,. Using the same argument as in the proof of [2, Theorem 5.2], and noting that r σ r Z is strongly continuous, it now follows that σ S,π Zuεf is convergent, as π is refined, for any u h andanyf L 2 R + ;kwithcompactsupport;letthelimitbedenotedbyλ S Zuεfandextend by linearity. Since λ S Zz = lim π σ S,π Zz Z z for all z h E c, wheree c is the linear span of those exponential vectors correspondingto functions with compact support, there exists a bounded linear operator λ S Z on h F which extends the linear map z λ S Zz. Furthermore, the usual approximation argument gives that σ S,π Z λ S Z in the strong operator topology, everywhere on h F. To conclude, we use 3 and argue as the proof of [2, Proposition 5.3]. Using the notation of that proof and the identity at the top of [2, p.1158], that I S,π [0,t] f,γεg,σ S,π XI S,π [0,t] f,γεg = E S,π [0,t] εf,e S,π [0,t] εf εg,xεg, together with the ultraweak continuity of σ S,π, it follows that u I S,π [0,t] f,γεg, σ S,π Zu I S,π [0,t] f,γεg = E S,π [0,t] εf,e S,π [0,t] εf uεg,zu εg for all u, u h, f, f, g, g L 2 R + ;k, t 0, and Z Bh F. As π is refined, the right-hand side converges to E S,t εf u Γ S εg,i S Γ S Z Γ SE S,t εf u Γ S εg, by [2, Theorem 3.7], whereas the left-hand side converges to u j S E S,t εf Γ S εg,λ S Zu j S E S,t εf Γ S εg = j S E S,t εf u Γ S εg,λ S Z j S E S,t εf u Γ S εg, by [2, Lemma 3.4 and Theorem 3.10]. The result follows. Remark The representations 2 and 3 also give that X σ S X and Z σ S Z are continuous on bounded subsets of BF and Bh F, respectively, when these spaces are equipped with the strong operator topology, since this is true of the ampliation map T I T. 4

5 3 The cocycle identity with two stop times Definition 3.1 [2, Definition 4.1]. The convolution S T of two finite quantum stop times S and T is S T : BR + BF; A S T f 1 A, where and f : R + R + R + ; x,y x+y S T : BR + R + BF; A B j S SA FS Γ S TBΓ S j S. Lemma 3.2. Let S and T be finite quantum stop times. Then S TA B = SAσ S TB for all A,B B[0, ]. 4 Proof. If t [0, ] then, by Theorems 3.7 and 3.10, together with Lemma 3.4, of [2], j S S [0,t] E S εf Γ S x = j S E S,t εf Γ S x = Sdsεf [0,s Γ s x [0,t] = S [0,t] [0, ]Sdsεf [0,s Γ s x for all f L 2 R + ;k and x F. Hence = S [0,t] j S E S εf Γ S x j S SA FS I [S j S = SA for all A B[0, ]. It follows that S TA B := j S SA FS Γ S TBΓ S j S = j S SA FS I [S j S j S I S Γ S TBΓ Sj S = SAσ S TB for all A, B B[0, ], where the final identity is a consequence of 2. Remark 3.3. i If the quantum stop times S and T are extended by ampliation to act on h F then the identity 4 becomes S TA B = SA σ S TB for all A,B B[0, ]. This extension will be made when appropriate without further comment. ii If 0 p < q < and 0 r < s < then Theorem 2.9 implies that S T p,q] r,s] = S p,q] σ S T r,s] = st.lim π m S π j 1,π j ] σ πj T r,s] I h BF q+s I [q+s, where π = {p = π 0 < < π m = q} is a typical finite partition of the interval [p,q]. 5

6 Lemma 3.4. Suppose S and T are finite quantum stop times, with T discrete, so that there exists a finite set {t 1 < < t m } 0, such that T {t 1,...,t m } = I. Then S TC = m S C t j + σs T {t j } for all C BR +, where C t + := {s R + : s+t C} for all t R +. Proof. Note first that, by Lemma 3.2, so m m S TR + {t j } = SR + σ S T {t j } = σ S T {t 1,...,t m } = I, S TC = S T {x,y R 2 + : x+y C} = = m S T {x,t j R 2 + : x+t j C} m S C t j + σs T {t j }. Remark 3.5. If the discrete stopping time T is supported at one point, so that T {t} = I for some t 0,, then S T = S +t, where S +ta := S A t + for all A B[0, ]. Definition 3.6. Let p Bk be an orthogonal projection and, for all t R +, let P [t BF [t be the orthogonal projection such that P [t εf = εpf for all f L 2 [t, ;k, where p acts pointwise. A family of bounded operators V = V t t R+ Bh F is p-adapted if V t = V t P [t for every t R +, where V t Bh F t. If p = 0 or p = I k then p-adaptedness is known as vacuum adaptedness or identity adaptedness, respectively. Given a p-adapted family of bounded operators V, the identity-adapted projection V is the family of operators V, where V t := V t I [t for all t R +. A p-adapted family of bounded operators V is an isometric cocycle if V t is an isometry for all t R + and V s+t = V s σ s V t for all s,t R +. A p-adapted isometric cocycle V is strongly continuous if t V t z is continuous for all z h F. Theorem 3.7. [2, Theorem 6.5, Corollary 6.6 and Theorem 7.2] If S is a finite quantum stop time, V is a strongly continuous isometric p-adapted cocycle and V S,π := V πk S π k 1,π k ] k=1 6

7 for any finite partition π = {0 = π 0 < < π = t} of [0,t], then V S,π is a contraction and there exists a contraction V S,t Bh F such that V S,π V S,t in the strong operator topology as π is refined, for all t 0,. Furthermore, there exists a contraction V S Bh F such that V S,t V S in the strong operator topology as t, and V S+t = V S σ S V t for all t R +. Proof. The only thing which not immediate is the assertion, at end of [2, Proof of Theorem 7.2], that V S,π [0,t] σ S,π Z V S,t σ S Z as the partition π is refined, for all Z Bh F and t 0. In fact, a very slightly weaker claim is made. It follows from [2, Theorem 6.5] that V S,π [0,t] V S,t in the strong operator topology, and V S,π [0,t] 1 for all π, by [2, Lemma 6.4], so the claim holds as long as σ S,π Z σ S Z in the strong operator topology. However, this is part of Theorem 2.9. Lemma 3.8. If S and T are finite quantum stop times, with T discrete, then V S T = V S σ S V T for any strongly continuous isometric p-adapted cocycle V. Proof. If T is as in the statement of Lemma 3.4 and t > t m then V S T,t = st.lim V πk S T π k 1,π k ] π = st.lim π k=1 m V πk S π k 1 t j,π k t j ] + σs T {t j }, k=1 where π = {0 = π 0 < < π = t} and x,y] + = {s R + : x < s y}. For j = 1,..., m and k = 0,...,, let π j k = { πk t j if π k t j, 0 otherwise, so that π j is a partition of [0,t t j ]. Then m V πk S π k 1 t j,π k t j ] + σs T {t j } k=1 = = m k=1 m k=1 V π j k +t j S π j k 1,πj k ] σ S T {t j } V π j k S π j k 1,πj k ] l=1 m V S,t tj σ S V tj σ S T{tj } S π j l 1,πj l ] σ π jv tj σ S T {t j } l 7

8 in the strong operator topology as π is refined; for the final identity, note that V s+t S r,s] = V s σ s V t S r,s] = V s S r,s] σ s V t whenever 0 r < s < t <. Hence V S T = st.lim V S T,t = st.lim t t m V S,t tj σ S V tj T {t j } = V S σ S V T. Definition 3.9 Cf. [6, p.322]. A sequence of finite quantum stop times S n n 1 is said to converge to a quantum stop time S, written S n S, if S n [0,t] S [0,t] in the strong operator topology for all but a countable set of points t R +. Lemma Let V be a strongly continuous isometric p-adapted cocycle. If S n n 1 is a sequence of finite quantum stop times such that S n S for some finite quantum stop time S then V Sn V S in the strong operator topology. Proof. Theusual approximation argument showsit suffices to prove that V Sn V S uεf 0 as n, where u h and f L 2 R + ;k are arbitrary. From the proof of [2, Corollary 6.6], if S is any finite quantum stop time and s, t R + are such that s t then V S,t V S,s uεf S s,t] uεf. Letting t and recalling that S { } = 0, it follows that V S V S,s uεf S s, uεf. Furthermore, from the proof of [2, Theorem 6.5], V S,π V S,π uεf sup{ V r V πj uεf : r [π j,π j+1 ], j = 0,...,m} S [0,s] εf, where π is any refinement of the partition π = {0 = π 0 < < π m+1 = s}; refining π shows that the same inequality holds with V S,π replaced by V S,s. Hence V S V S,π uεf sup{ V r V πj uεf : r [π j,π j+1 ], j = 0,...,m} εf + S s, uεf. Now fix ε > 0, choose s R + such that S n [0,s] S [0,s] in the strong operator topology and S s, uεf < ε, and note that S n s, uεf < ε for all sufficiently large n. Therefore V S V Sn uεf V S V S,π uεf + V Sn V Sn,πuεf + V S,π V Sn,πuεf < 2sup{ V r V πj uεf : r [π j,π j+1 ], j = 0,...,m} εf +2ε+ V S,π V Sn,πuεf < 4ε+ V S,π V Sn,πuεf as long as π is chosen to be sufficiently fine, so that sup{ V r V πj uεf : r [π j,π j+1 ], j = 0,...,m} εf < ε. 8

9 Finally, if π is chosen so S n [0,πj ] S [0,π j ] in the strong operator topology as n, for j = 0,..., m+1, then, since V S,π V Sn,πuεf m+1 as n, and ε is arbitrary, the result follows. V πj Sπj 1,π j ] S n π j 1,π j ] uεf 0 Lemma Let T be a finite quantum stop time, and suppose that the multiplicity space k is separable. There exists a sequence of discrete quantum stop times T n n 1 such that T n T. Furthermore, S T n S T for any finite quantum stop time S. Proof. Asis well known, aspectral measureis strongly right continuous withleftlimits: ifx F then lim S [0,t] x S [0,s] x = lim S t,s] x = 0, s t+ s t+ whereas lim S [0,t] x S [0,s] x = lim S s,t] x = S {t} x. s t s t In particular, the set of discontinuities D S x := {t R + : S {t} x 0} is countable. Now suppose {x n : n 1} is dense in F and let D S := n 1 D S x n. An ε/3 argument shows that t S [0,t] x is continuous on R + \D for all x F, so D S is the set of discontinuities of S on R +. For all n 1, let the finite partition π n = {0 = π0 n < πn 1 < < πn n < } be such that πn n and max{πk n πn k 1 : k = 1,...,n} 0 as n. Define a discrete quantum stop time and note that n 1 T n : B[0, ] BF; A 1 A πk n T πk 1 n,πn k ] +1 A πnt n πn, ] n, k=1 0 if 0 t < π n 1, T [0,π1 n] if π1 n t < πn 2, T n [0,t] =.. T [0,π n n 1 ] if π n n 1 t < πn n, I if πn n t. Thus if x F and t R + then πk n > t πn k 1 for some k {1,...,n} once n is sufficiently large, so T [0,t] x T n [0,t] x = T π n k 1,t] x T {t} x as n. This last term equals 0 if t R + \D T, and thus T n T. For the final claim, let S be a finite quantum stop time. If t R + and f L 2 R + ;k then, by [2, Corollary 3.5], I n t := S T n [0,t] S T [0,t] εf 2 = T T n [0,t s] Γ sεf 2 exp [0,t] s fu 2 du Sdsεf 2. 9

10 To prove that S T n S T, it suffices to show that I n t 0 as n for all but countably many t R +, by the usual approximation argument. Now, as n, so T T n [0,t s] T {t s}, by the previous working. Thus the dominated convergence theorem gives that I n t It := r D [0,t] T {r} Γ t rεf 2 exp t r fu 2 du S {t r} εf 2. Thus It = 0 whenever t D S +D T := {s+r : s D S, r D T } and the result follows. Remark If the multiplicity space k is not separable, the statement of [2, Corollary 3.5] requires strong measurability, not just Borel measurability, of F and G. As t Γ t and t Γ t are strongly continuous and t S [0,t] is strongly right continuous on R +, all the subsequent proofs in [2] remain valid. Remark It is straightforward to construct on a non-separable Hilbert space a spectral measure which has an uncountable set of discontinuities. Thus the separability hypothesis in Lemma 3.11 may not be dropped. Theorem Let V be a strongly continuous isometric p-adapted cocycle, and suppose that the multiplicity space k is separable. If S and T are finite quantum stop times then V S T = V S σ S V T. Proof. By Lemma 3.11, there exists a sequence of discrete quantum stop times T n n 1 such that T n T and S T n S T. Hence V S Tn V S T in the strong operator topology, by Lemma Furthermore, V S Tn = V S σ S V Tn for all n 1, by Lemma 3.8, so the result follows from another application of Lemma 3.10 together with Remark 2.10, that σ S is strong operator continuous on bounded sets. The next two theorems show that stopping an isometric cocycle can be used to produce a form of inner non-unital Evans Hudson flow. Theorem Let V be a strongly continuous isometric identity-adapted cocycle. The map α S : Bh Bh F; a V S a IV S is a -homomorphism for any finite quantum stop time S. Furthermore, if the multiplicity space k is separable, the identity α S T = α S σ S α T 5 holds for any finite quantum stop times S and T, where α S : Bh F Bh F; X V S XV S. Proof. Note that V S V S = I h I, by [2, Proposition 6.8]. Thus if a, b Bh then α S aα S b = V S a IV SV S b IV S = V S ab IV S = α S ab, so α S is multiplicative. Linearity and -preservation are immediate. 10

11 For the second claim, note that V = V. Hence, by Theorem 3.14, if a Bh then α S T a = V S T a IV S T = V S σ S V T a I σ S V T V S = V S σ S V T a IV TV S = α S σ S α T a; the penultimate equality holds because σ S is unital, so σ S a I = a I. Theorem Let V be a strongly continuous isometric vacuum-adapted cocycle. The map β S : Bh Bh F; a V S a E S V S is a -homomorphism for any finite quantum stop time S. Furthermore, if the multiplicity space k is separable, the identity β S T = β S σ S β T 6 holds for any finite quantum stop times S and T, where β S : Bh F Bh F; X V S X V S. Proof. Note that V S V S = ẼS, by [2, Proposition 6.7]. Thus if a, b Bh then β S aβ S b = V S a E S V S V Sb E S V S = V Sab E S V S = β S ab, so β S is multiplicative. As above, linearity and -preservation are immediate. For the second claim, let a Bh and note that, by Theorem 3.14, β S T a = V S T a E S T V S T = V S σ S V T a E S T σ S V T V S = V S σ S V T a E T V T V S = β S σ S β T a; for the penultimate equality, note that E S T = σ S E T, by [2, Theorem 5.4], which implies immediately that σ S a E T = a E S T. Remark In the context of Theorems 3.15 and 3.16, note that α S I h = V S VS = β SI h. The former identity is immediate, and the latter holds because V S,π Ẽ S,π V S,π = V S,π VS,π if V is vacuum adapted, where π is any finite partition of [0,t] and π is its one-point extension to a partition of [0, ]. Remark If the finite quantum stop time S is deterministic, so that S {s} = I for some s 0,, then V S = V s and σ S = σ s. It follows that 5 and 6 are the stop-time generalisation of the deterministic mapping-cocycle relation [3] α s+t = α s σ s α t for all s,t 0. 11

12 Acknowledgements This work was begun during a conference held at the Kerala School of Mathematics, Kozhikode, India; the warm hospitality and stimulating atmosphere provided by the organisers is gratefully acknowledged. It continued during visits of the first author to the Indian Statistical Institute, Kolkata, and the Jawaharlal Nehru Centre for Advanced Scientific Research, Bangalore, with travel supported by the ANCM project of the Indian Statistical Institute. The second author gratefully acknowledges support by a grant from the SERB-Distinguished Fellowship of the Department of Science and Technology, Government of India. References [1] D. Applebaum, Stopping unitary processes in Fock space, Publ. RIMS Kyoto Univ , no. 5, [2] A.C.R. Belton & K.B. Sinha, Stopping the CCR flow and its isometric cocycles, Q. J. Math , no. 4, [3] W.S. Bradshaw, Stochastic cocycles as a characterisation of quantum flows, Bull. Sci. Math , no. 1, [4] R.L. Hudson, The strong Markov property for canonical Wiener processes, J. Funct. Anal , no. 2, [5] R.L. Hudson, Stop times in Fock space quantum probability, Stochastics , no. 3 4, [6] K.R. Parthasarathy& K.B. Sinha, Stop times in Fock space stochastic calculus, Probab. Theory Related Fields , no. 3, [7] M.A. Pinsky, Stochastic integral representation of multiplicative operator functionals of a Wiener process, Trans. Amer. Math. Soc ,