arXiv:1812.11819v2 [math-ph] 24 Jan 2020 fteset the of iuu . tinuous more, yeo osrit nteuiayoeaos n a oprovide to has one operators, unitary the on constraints of type with notelna subspace linear the onto oml [ formula with x number [ [ apply may on cases hsseilcs f( of case special this h ovrec f( of convergence The 8 .Hwvr hsapoc ok o ( for works approach this However, ]. → thsbe hw eetytecnegnei omo h following the of norm in convergence the recently shown been has It e od n phrases. and words Key 2010 . Research Mathematical Tusi Date the by 2016 Copyright q ( Eq. RDC OMLSI H RMWR FMEAN OF FRAMEWORK THE IN FORMULAS PRODUCT uxu n/k u t eevd a.2,21;Acpe:zzzzzz. Accepted: 2019; 20, Mar. Received: : ahmtc ujc Classification. Subject oml smpe ythe on by the operators mapped Essentially, linear is bounded formula given. of space is the space in values taking functions Abstract. oml isi h rwn edo yaia oto fqatmsyst quantum Quantu of the control also and dynamical decoupling of dynamical specifi effect. field of this procedure growing study the the to involving in motivation lies The formula functions. one-parameter the ntr prtrand operator unitary 1.1 ∈ k † 1 en aua ubrand number natural a being hc a endsusdi h otx fma roi theorems ergodic mean of context the in discussed been has which , C uhthat such ] sa xml fadgnrt eiru rdc oml [ formula product degenerate a of example an is ) with Ξ | B t netnino hro’ rdc oml o one-parameter for formula product Chernoff’s of extension An | ( H u 1. < 1.1 4 ) k , 1.1 = n ∞ seult h dniyoperator identity the to equal is nrdcinadpreliminaries and Introduction lim 5 otefloigpoutformula product following the to ) →∞ hro’ rdc oml,ma roi hoes togycon strongly theorems, ergodic mean formula, product Chernoff’s hro’ rdc oml [ formula product Chernoff’s ] { sdet h rpriso h oe one map bounded power the of properties the to due is ) and n ROI THEOREMS ERGODIC x lim →∞ u B ∈ { e x x n P n t  x one prtro ibr space Hilbert a on operator bounded t trt facnrcinatn ntesaeof space the on acting contraction a of iterate -th B ∈ ( u u sapoeto prtrwihmp h elements the maps which operator projection a is H .Z BERN Z. J. 1 e e n t lim : ) n n ( t x H t n-aaee ucini h product the in function one-parameter -th x u . . . u u rmr 70;Scnay4A5 47N50. 47A35, Secondary 47D03; Primary [ : ) 2 1.1 1 e 1 u n t 2 n e 1 ,x u, ,we hr xssannzr natural non-zero a exists there when ), x u . . . n t AD X ´ k u . . . x =1 n 0 = ] u 1 k u † k  k qasto equals e x n n } t e = x . u  † n k  I 6 P k emyee generalize even may We . , t x 7 exists . I ahrta Trotter’s than rather ] nodrt itthese lift to order In . } generalization a product c Banach a Zeno m H 3 ems, .I these In ]. Further- . product (1.1) (1.3) (1.2) [ 2 ]. - 2 J. Z. BERNAD´ of Chernoff’s result. A partial answer to this question has been given in Ref. [1], where only uniformly continuous semigroups are considered. However, Chernoff’s Theorem has a much deeper approach, and therefore we intend to further develop the statements of [1] such that an extended version of Chernoffs product formula is provided. This is the main aim of our paper, where we employ results from ergodic theory. It is also natural to consider the extension of the map x uxu† to a more general contraction map. This generalization will include automatically→ the cases of Refs. [4, 9] where the unitary operator u is replaced by a projection operator leading to questions in the topic of Quantum Zeno effect. In fact, there is a great interest from the physics community to understand the above mentioned product formulas [10] and approaches focusing mainly on uniformly continuous semigroups are generating up to date results [11, 12]. The approach to the main result in Theorem 2.1, presented in the subsequent discussion, is formulated in the language of strongly continuous semigroups and mean ergodic theorems. Therefore, it is assumed familiarity with the basic facts concerning these topics [2, 13]. Recently, extensions of the Chernoff’s product formula has been proved [14] in the context of non-autonomous differential equa- tions [15] and general Trotter-Kato formulas [16]. In this article, we focus on a different direction, motivated by product formulas like (1.1), and for this purpose we shall need the following mean ergodic theorem. Let us consider a Banach space and a power bounded linear transformation Π: , i.e., there exists a constantB M > 1 such that B → B Πn 6 M n N. k k ∈ Π is a contraction when M = 1. We consider the following two closed linear subspaces for Π [2] 1 n Ξ = x : lim Πkx exists , B { ∈ B n } Xk=1 and Ker(I Π) = x : Πx = x . − { ∈ B } When is reflexive, the theorems of E. R. Lorch in [17] guarantee Ξ = and B B B Π is mean ergodic on . The next theorem on the separation of ΞB is mostly due to K. Yosida [2, 18]: B Theorem 1.1. Let Π be a power bounded linear operator on a Banach space . Then B Ξ = Ker(I Π) Rng(I Π). B − ⊕ − 1 n k The linear operator x = lim n k=1 Π x assigned to x ΞB is the projection P 2 ∈ of ΞB onto Ker(I Π). We haveP = = Π = Π and for any y the assertions − P P P P ∈ B 1 n k a) lim n k=1 Π y =0 b) y RngP(I Π) ∈ − are equivalent. PRODUCT FORMULAS IN THE FRAMEWORK OF MEAN ERGODIC THEOREMS 3

Recall also that a strongly continuous (C ) semigroup t T on is such that 0 → t B 1) T0 = 1, 2) T T = T t, s > 0, s t t+s ∀ 3) lim Ttx x =0 x . t→0 k − k ∀ ∈ B

The strong derivative of Tt at t = 0 is a closed, densely-defined operator, the generator of Tt. From now on, we denote by ( ) the Banach space of all bounded linear operators on endowed with the operatorL B norm . . B k kL(B) 2. Main result Under the above conditions we are going to give an analytical proof of the following theorem:

Theorem 2.1. Let Vt be a strongly from R+ to the linear contractions on the Banach space such that V0 = 1. Consider a contraction Π on ( ) such that Π1 = 1, whoseB Ces`aro mean L B 1 n Πix, x ( ) n ∈L B Xi=1 converges to the projector projecting onto the linear subspace P Ker(I Π) = x ( ) : Πx = x . − { ∈L B } Suppose that V Ξ and the closure A of A = d (V ) at t =0 is the generator t ∈ L(B) dt P t of a C0 contraction semigroup. Then 2 n Π(Vt/n)Π (Vt/n) ... Π (Vt/n) converges to etA in the strong operator topology. The theorem will be proved via a theorem and three lemmas, whereas some of them are already known.

Theorem 2.2. Let Tn(t) t>0, n =0, 1, 2,... , be C0 semigroups on the Banach space with generators{ A } satisfying the stability condition B n T (t) 6 Meωt (2.1) k n k where the constants M > 1 and ω R are independent of n and t. Define ∈ A = limn→∞ An and suppose that a) A is densely defined, b) for some λ>ω the range Rng(λ A) is dense in . − B Then the closure of A is the infinitesimal generator of a C0 semigroup T (t), which satisfies T (t) = limn→∞ Tn(t) in the strong operator topology and uniformly for every compact interval [0, t0]. Proof. It is in fact the Trotter-Kato approximation theorem, see [19] together with [20]. Another approach in [6] considers to be separable.  B 4 J. Z. BERNAD´

Lemma 2.3. Let S be a linear contraction on the Banach space . Then we have B en(S−I)x Snx 6 √n Sx x (2.2) k − k k − k for all x and n =0, 1, 2,... ∈ B Proof. Can be found in Lemma 2 of [6]. 

Lemma 2.4. A of operators Tn ( ), where is a Banach space, converges strongly to an operator T ( )∈iff L B B ∈L B a) the sequence Tnx converges for any x in a dense subset D b) and there exists{ M} > 0 such that T 6 M. ⊂ B k nkL(B) Proof. Is a special case of the proof of Theorem II.1.18 in [21].  Lemma 2.5. Let Π be a contraction on a Banach space such that Π1 = 1. 1 t 6 B Suppose that x ΞB with + n x 1 for all t > 0 and n = 1, 2,... . Then, together with the∈ projector k projectingk onto the linear subspace Ker(I Π) P − t t t t lim (1 + x)n (1 + Πx)(1 + Π2x) ... (1 + Πnx) =0. (2.3) n→∞ k nP − n n n k Proof. Let us fix n. According to Theorem 1.1 Ξ = Ker(I Π) Rng(I Π). B − ⊕ − Suppose first that x Ker(I Π) Rng(I Π), so therefore exists a y such that x = x + y Π∈y and we− define⊕ the following− operator: ∈ B P − S =(1 + t x)i(1 + tΠy tΠi+1y)(1 + tΠi+1x) ... (1 + tΠnx), 1 6 i < n. i P − Then (1 + t x)n (1 + tΠx)(1 + tΠ2x) ... (1 + tΠnx) k P − k 6 (1 + t x)n (1 + t x)n(1 + tΠy tΠn+1y) k P − P − k n−2 + (1 + t x)n(1 + tΠy tΠn+1y) S + S S k P − − n−1k k i+1 − ik Xi=1 + S (1 + tΠx)(1 + tΠ2x) ... (1 + tΠnx) . (2.4) k 1 − k We are going to upper bound every term on the right hand side of the above inequality. For the first term, we have (1 + t x)n (1 + t x)n(1 + tΠy tΠn+1y) k P − P − k 6 (1 + tx) n tΠy tΠn+1y 6 2t y , (2.5) kP k k − kB k k where we have used that is a projector, Π a contraction and 1 + tx 6 1. The other terms yield P k k (1 + t x)n(1 + tΠy tΠn+1y) S 6 4t2 x y + y 2 , (2.6) k P − − n−1k k kk k k k for 1 6 i < n 1  − S S 6 (1 + tx) i4t2 x y + y 2 Πi+2(1 + tx) ... k i+1 − ik kP k k kk k k k k k  n−i−1 terms 6 4t2 x y + y 2 , | {z } (2.7) k kk k k k  PRODUCT FORMULAS IN THE FRAMEWORK OF MEAN ERGODIC THEOREMS 5 and finally S (1 + tΠx)(1 + tΠ2x) ... (1 + tΠnx) 6 4t2 x y + y 2 . k 1 − k k kk k k k  (2.8) Substituting inequalities (2.5), (2.6), (2.7), and (2.8) into (2.4) results that for an element x Ker(I Π) Rng(I Π) with 1 + tx 6 1 for all t > 0 ∈ − ⊕ − k k (1 + t x)n (1 + tΠx)(1 + tΠ2x) ... (1 + tΠnx) k P − k 6 2t y +4nt2 x y + y 2 . k k k kk k k k From the substitution t t/n, we obtain  → t t t t (1 + x)n (1 + Πx)(1 + Π2x) ... (1 + Πnx) k nP − n n n k y x y + y 2 6 2tk k +4t2 k kk k k k . (2.9) n n Thus (2.3) holds for an element x Ker(I Π) Rng(I Π). We claim that ∈ − ⊕ − (2.3) holds also for an element x Ker(I Π) Rng(I Π). Let x1, x2 ΞB such that 1 + t x 6 1 (i =1, 2)∈ for all t −> 0 and⊕ n =1,−2,... . Then, ∈ k n ik t t t t (1 + Πx ) ... (1 + Πnx ) (1 + Πx ) ... (1 + Πnx ) k n 1 n 1 − n 2 n 2 k t t n−2 6 (1 + Πx ) ... (1 + Πnx ) T + T T k n 1 n 1 − n−1k k i+1 − ik Xi=1 t t + T (1 + Πx ) ... (1 + Πnx ) k 1 − n 2 n 2 k with t t t t T =(1 + Πx ) ... (1 + Πix )(1 + Πi+1x ) ... (1 + Πnx ) i n 1 n 1 n 2 n 2 yields t t t t (1 + Πx ) ... (1 + Πnx ) (1 + Πx ) ... (1 + Πnx ) 6 t x x . k n 1 n 1 − n 2 n 2 k k 1 − 2k (2.10)

Let x2 = x2 + z, where z is not of the form y Πy. Then for any ǫ> 0 we can take an arbitraryP ǫ′ > 0 satisfying − ǫ′(t + 1) 6 ǫ and for this ǫ′ there exists x Ker(I Π) Rng(I Π) such that 1 ∈ − ⊕ − x = x , and x x < ǫ′. P 1 P 2 k 1 − 2k ′ Furthermore, for ǫ > 0 we can take an n0 such that for every n > n0 t t t t (1 + x )n (1 + Πx )(1 + Π2x ) ... (1 + Πnx ) < ǫ′, k nP 2 − n 1 n 1 n 1 k (2.11) 6 J. Z. BERNAD´ which is due to the inequality in (2.9). Thus, with the combination of (2.10) and (2.11) we have for every n > n0 t t t t (1 + x )n (1 + Πx )(1 + Π2x ) ... (1 + Πnx ) k nP 2 − n 2 n 2 n 2 k t t t t 6 (1 + x )n (1 + Πx )(1 + Π2x ) ... (1 + Πnx ) k nP 2 − n 1 n 1 n 1 k t t t t + (1 + Πx ) ... (1 + Πnx ) (1 + Πx ) ... (1 + Πnx ) k n 1 n 1 − n 2 n 2 k < ǫ′ + t x x = ǫ′(t + 1) 6 ǫ. (2.12) k 1 − 2k As ǫ> 0 was arbitrary, we have proved our statement.  Proof of Theorem 2.1. Fix t> 0 and define V 1 A = t/n − ( ). n t/n ∈L B The D of the strong derivative (V 1)/t x consists of those x for which k t − k the limit t 0 exists and its a dense subspace of . Replacing Vt with (Vt) it is unequivocal→ that the domain of those x for whichB lim ( (V ) 1)P/t x t→0 k P t − k ( 1 = 1) exists it coincides with D. The semigroups etP(An) all satisfy P ∞ i i n (Vt/n) L(B) etP(An) 6 e−n enP(Vt/n) 6 e−n kP k k kL(B) k kL(B) i! Xi=0 ∞ ni 6 e−n =1. (2.13) i! Xi=0 Thus, the stability condition (2.1) of Theorem 2.2 is fulfilled . We define (V ) 1 A = lim P t − , (2.14) t→0 t and it is obvious that limn→∞ (An)x = Ax for all x D. As the closure A of tAP ∈ A generates a C0 semigroup e , then together with the stability condition these arguments yield that etA is a contraction semigroup, which satisfies etAx etP(An)x 0 (2.15) k − k→ for all x as n and uniformly for t [0, t0]. On the∈ other B hand→∞ ∈ n n etP(An)x (V ) x = enP(Vt/n)−nx (V ) x , k − P t/n k k − P t/n k which with the notation S =  (V ) and Lemma 2.3yields  P t/n n etP(An)x (V ) x 6 √n (V )x x k − P t/n k kP t/n − k   t 6 (A )x 0 √nkP n k→ for all x D as n and uniformly for t (0, t ]. ∈ →∞ ∈ 0 n etP(An) (V ) 6 2 k − P t/n kL(B)   PRODUCT FORMULAS IN THE FRAMEWORK OF MEAN ERGODIC THEOREMS 7 is due to (2.13) and using Lemma 2.4, we obtain n etP(An)x (V ) x 0 (2.16) k − P t/n k→ for all x as n .   Lastly,∈ we B have →∞ t t t Π(V )Π2(V ) ... Πn(V )=(1 + ΠA )(1 + Π2A ) ... (1 + ΠnA ). t/n t/n t/n n n n n n n As Π(V )Π2(V ) ... Πn(V ) (V ) n 6 2 k t/n t/n t/n − P t/n kL(B) for all t > 0 and n =1, 2,... , the application of Lemma2.5 first and then Lemma 2.4 results Π(V )Π2(V ) ... Πn(V )x (V ) n x 0 (2.17) k t/n t/n t/n − P t/n k→ for all x as n . A combination of (2.15), (2.16 ) and (2.17) proves the statement∈ of B the theorem.→ ∞  Example 2.6. Let us consider the Hilbert space L2(R) of the square-integrable functions on the real line. The Fourier transform 1 ( f)(x) = lim e−ixyf(y)dy F N→∞ √2π Z|y|6N is a unitary map of L2(R) onto L2(R) with the property ( −1f)(x)=( f)( x), f L2(R). F F − ∀ ∈ Define the following C0 semigroups −itx (Vtf)(x) = e f(x), (U f)(x) = f(x t), f L2(R), t − ∀ ∈ and Π(V )= V −1. t F tF According to Theorem 2.1, we have to determine the projector which projects onto the linear subspace Ker(I Π). However, P − V −1 = U , −1V = U , F tF −t F tF t which shows that (V )= 1 (the identity operator on L2(R)) and therefore P t Π(V )Π2(V )Π3(V ) ... Πn(V )f f 0 k t/n t/n t/n t/n − k→ for all f L2(R) as n . ∈ →∞ Example 2.7. Let T1(t) and T2(t) be two C0 contraction semigroups on a Banach space . The generators are A and A with the respective dense domains D(A ) B 1 2 1 and D(A2). Consider the semigroup

T1(t)+T2(t) T1(t)−T2(t) 2 2 Vt = T1(t)−T2(t) T1(t)+T2(t)  2 2  8 J. Z. BERNAD´ on the , which is also a Banach space. Then, the contraction map B ⊕ B a b a b Π = − , a,b,c,d ( ) c d  c d  ∈L B − implies that T1(t)+T2(t) 2 0 (Vt)= T1(t)+T2(t) . P  0 2  The generator A in Theorem 2.1 reads A + A A = 1 2 1, 2 where 1 is the identity operator on and the domain of (A1 + A2)/2 is D(A ) D(A ), a subspace that mightB be ⊕ B0 in general. 1 ∩ 2 { } Corollary 2.8. Let V : R+ ( ) and Π a contraction on ( ) satisfying the assumptions of Theorem 2.1→L. If forB fixed t > 0 we take a aL strictlyB increasing sequence of natural numbers (kn)n∈N and a positive null sequence (tn)n∈N such that k t t as n , then n n → →∞ 2 kn Π(Vtn )Π (Vtn ) ... Π (Vtn ) converges to etA in the strong operator topology. Proof. Applying Lemma 2.5, we have Π(V )Π2(V ) ... Πkn (V )x [ (V )]kn x 0 (2.18) k tn tn tn − P tn k→ for all x D as n and uniformly for t (0, t0]. Since Vt/ns and Π are contractions,∈ Lemma→2.4 ∞yields that we have the∈ result for all vectors in . The proof of B tA kn lim e x [ (Vt )] x =0 n→∞ k − P n k for all x is given in Corollary 5.4 of [13].  ∈ B Example 2.9. Let us consider the product formula in (1.3) with only two unitary operators n t x t x 2 lim u1e n u2e n , n→∞   tx where x is the generator of the C0 contraction semigroup e acting on a Hilbert space and u1u2 = u = I. Then, H 6 n t t 2 n n−1 x x † 2 2 lim u1e n u2e n u = lim V2t/nΠ(V2t/n) ... Π (V2t/n), n→∞   n→∞ t t  2 x † 2 x † † Vt = u1e u1ue u , Πx = uxu . projects onto the linear subspace P x ( ):[u, x]=0 . { ∈ B H } When x is bounded, Theorem 2.1 and Corollary 2.8 yields

1 † † A = A = u1xu1 + uxu , 2P   PRODUCT FORMULAS IN THE FRAMEWORK OF MEAN ERGODIC THEOREMS 9 otherwise (V ) 1 A = lim P t − . t→0 t Remark. We have provided an extended version of Chernoff’s product formula with iterations of a contraction acting on the one-parameter family of linear contractions. The result can be applied to many mathematical problems in the field of dynamical control of quantum systems. However, when the bare evolution of the system is described by a non-autonomous differential equation then the results of Ref. [14] should be generalized in the direction discussed here. We leave these questions open for now.

Acknowledgement This work is supported by the European Union’s Horizon 2020 research and in- novation programme under Grant Agreement No. 732894 (FET Proactive HOT).

References 1. J. Z. Bern´ad, Dynamical control of quantum systems in the context of mean ergodic theo- rems, J. Phys. A: Math. Theor. 50 (2017), no. 6, 065303. 2. U. Krengel, Ergodic Theorems, de Gruyter, Berlin, 1985. 3. W. Arendt and M. Ulm, Trotter’s product formula for projections, Ulmer Seminare (1997), 394–399. 4. M. Matolcsi and R. Shvidkoy, Trotter’s product formula for projections, Arch. Math. 81 (2003), no. 3, 309–317. 5. C. Arenz, R. Hillier, M. Fraas, and D. Burgarth, Distinguishing decoherence from alternative quantum theories by dynamical decoupling, Phys. Rev. A 92 (2015), no. 2, 022102. 6. P. R. Chernoff, Note on product formulas for operator semigroups, J. Funct. Anal. 2 (1968), no. 2, 238–242. 7. P. R. Chernoff, Semigroup product formulas and addition of unbounded operators, Bull. Amer. Math. Soc. 76 (1970), no. 2, 395–398. 8. H. Trotter, On the product of semigroups of operators, Proc. Amer. Math. Soc. 10 (1959), no. 4, 545–551. 9. P. Exner P and T. Ichinose, A Product Formula Related to Quantum Zeno Dynamics, Ann. H. Poincar 6 (2005), no. 6, 195–215. 10. P. Facchi and S. Pascazio, Quantum Zeno dynamics: mathematical and physical aspects,J. Phys. A: Math. Theor. 41 (2008), no. 49, 493001. 11. N. Barankai and Z. Zimbor´as, Generalized quantum Zeno dynamics and ergodic means, arXiv:1811.02509. 12. T. M¨obus and M. M. Wolf, Quantum Zeno effect generalized, arXiv:1901.09393. 13. K.-J. Engel and R. Nagel, One-Parameter Semigroups for Linear Evolution Equations, Springer, New York, 2000. 14. P.-A. Vuillermot, A generalization of Chernoff’s product formula for time-dependent ope- rators, J. Funct. Anal. 259 (2010), no. 11, 2923–2938. 15. T. Kato and H. Tanabe, On the abstract evolution equation, Osaka J. Math. 14 (1962), no. 1, 107–133. 16. P.-A. Vuillermot, W. F. Wreszinski, and V.A. Zagrebnov, A general Trotter–Kato formula for a class of evolution operators, J. Funct. Anal. 257 (2009), no. 7, 2246–2290. 17. E. R. Lorch, Means of iterated transformations in reflexive vector spaces, Bull. Amer. Math. Soc. 45 (1939), no. 1, 945–947. 18. K. Yosida, Mean ergodic theorem in Banach spaces, Proc. Imp. Acad. Tokyo 14 (1938), no. 8, 292–294. 10 J. Z. BERNAD´

19. H. Trotter, Approximation of semi–groups of operators, Pacific J. Math. 8 (1958), no. 4, 887–919. 20. T. Kato, Remarks on pseudo–resolvents and infinitesimal generators of semi–groups, Proc. Japan Acad. 35 (1959), no. 8, 467–468. 21. N. Dunford and J. T. Schwartz, Linear Operators, Part I: General Theory, Interscience Publishers, New York, 1964.

1Department of Physics, University of Malta, Msida MSD 2080, Malta E-mail address: [email protected]