arxiv: v2 [math.oa] 22 Sep 2008

Transcription

1 A NOTE ON NONCOMMUTATIVE UNIQUE ERGODICITY AND WEIGHTED MEANS arxiv: v2 [math.oa] 22 Sep 2008 LUIGI ACCARDI AND FARRUKH MUKHAMEDOV Abstract. In this paper we study unique ergodicity of C -dynamical system (A,T), consisting of a unital C -algebra A and a Marov operator T : A A, relative to its fixed point subspace, in terms of Riesz summation which is weaer than Cesaro one. Namely, it is proven that (A,T) is uniquely ergodic relative to its fixed point subspace if and only if its Riesz means p T x p + +p n converge to E T (x) in A for any x A, as n, here E T is an projection of A to the fixed point subspace of T. It is also constructed a uniquely ergodic entangled Marov operator relative to its fixed point subspace, which is not ergodic. Mathematics Subject Classification: 47A35, 46L35, 46L55. Key words: uniquely ergodic, Marov operator, Riesz means.. Introduction Itisnown[6,22]thatoneoftheimportantnotionsinergodictheoryisunique ergodicity of a homeomorphism T of a compact Hausdorff space Ω. Recall that T is uniquely ergodic if there is a unique T invariant Borel probability measure µ on Ω. The well nown Krylov-Bogolyubov theorem [6] states that T is uniquely ergodic if and only if for every f C(Ω) the averages n f(t x) n =0 converge uniformly to the constant f dµ, as n. The study of ergodic theorems in recent years showed that the ordinary Cesaro means have been replaced by weighted averages n a f(t x). (.) =0 Therefore, it is natural to as: is there a weaer summation than Cesaro, ensuring the unique ergodicity. In [5] it has been established that unique ergodicity implies uniform convergence of (.), when {a } is Riesz weight (see also [4] for The author (F.M.) is on leave from National University of Uzbeistan, Department of Mechanics & Mathematics, Vuzgorodo, 0074 Tashent, Uzbeistan

2 2 LUIGI ACCARDI AND FARRUKH MUKHAMEDOV similar results). In [4] similar problems were considered for transformations of Hilbert spaces. On the other hand, since the theory of quantum dynamical systems provides a convenient mathematical description of irreversible dynamics of an open quantum system (see [],[5]) investigation of ergodic properties of such dynamical systems have had a considerable growth. In a quantum setting, the matter is more complicated than in the classical case. Some differences between classical and quantum situations are pointed out in [],[9]. This motivates an interest to study dynamics of quantum systems (see [8, 9, 2]). Therefore, it is thennatural to addressthe study of the possible generalizations to quantum case of various ergodic properties nown for classical dynamical systems. In [7],[8] a non-commutative notion of unique ergodicity was defined, and certain properties were studied. Recently in [2] a general notion of unique ergodicity for automorphisms of a C -algebra with respect to its fixed point subalgebra has been introduced. The present paper is devoted to a generalization of such a notion for positive mappings of C -algebras, and its characterization in term of Riesz means. The paper is organized as follows: section 2 is devoted to preliminaries, where we recall some facts about C -dynamical systems and the Riesz summation of a sequence on C -algebras. Here we define a notion of unique ergodicity of C - dynamical system relative to its fixed point subspace. In section 3 we prove that a C -dynamical system (A,T) is uniquely ergodic relative to its fixed point subspace if and only if its Riesz means (see below) p T x p + +p n converge to E T (x) in A for any x A, here E T is a projection of A onto the fixed point subspace of T. Note however that if T is completely positive then E T is a conditional expectation (see [6, 20]. On the other hand it is nown [8] that unique ergodicity implies ergodicity. Therefore, one can as: can a C -dynamical system which is uniquely ergodic relative to its fixed point subspace be ergodic? It turns out that this question has a negative answer. More precisely, in section 4 we construct entangled Marov operator which is uniquely ergodic relative to its fixed point subspace, but which is not ergodic. 2. Preliminaries In this section we recall some preliminaries concerning C -dynamical systems. Let A be a C -algebra with unit I. An element x A is called positive if there is an element y A such that x = y y. The set of all positive elements will be denoted by A +. By A we denote the conjugate space to A. A linear functional ϕ A is called Hermitian if ϕ(x ) = ϕ(x) for every x A. A Hermitian functional ϕ is called state if ϕ(x x) 0 for every x A and ϕ(i) =. By S A (resp. A h ) we denote the set of all states (resp. Hermitian functionals) on A. By M n (A) we denote the set of all n n-matrices a = (a ij ) with entries a ij in A. Definition 2.. A linear operator T : A A is called: (i) positive, if Tx 0 whenever x 0; (ii) n-positive if the linear mapping T n : M n (A) M n (A) given by T n (a ij ) = (T(a ij )) is positive;

3 ON NONCOMMUTATIVE UNIQUE ERGODICITY 3 (iii) completely positive if it is n-positive for all n N. A positive mapping T with TI = I is called Marov operator. A pair (A,T) consisting of a C -algebra A and a Marov operator T : A A is called a C - dynamical system. The C -dynamical system (A,ϕ,T) is called uniquely ergodic if there is a unique invariant state ϕ (i.e. ϕ(tx) = ϕ(x) for all x A) with respect to T. Denote A T = {x A : Tx = x}. (2.) It is clear that A T is a closed linear subspace of A, but in general it is not a subalgebra of A (see sec. 3). We say that (A,T) is uniquely ergodic relative to A T if every state of A T has a uniquet invariant state extension to A. In the case when A T consists only of scalar multiples of the identity element, this reduces to the usual notion of unique ergodicity. Note that for an automorphism such a notion has been introduced in [2]. Now supposewe are given a sequence of numbers {p n } such that p > 0, p 0 with p =. We say that a sequence {s n } A is Riesz convergent to an element s A if the sequence p p s converges to s in A, and it is denoted by s n s (R,p n ). The numbers p n are called weights. If s n s implies s n s(r,p n ) then Riesz-converges is said to be regular. The regularity condition (see [3], Theorem 4) is equivalent to p n p +p 2 + +p n 0 as n. (2.2) Basics about (R,p n ) convergence can be found in [3]. Recall the following lemma which shows that Riesz convergence is weaer than Cesaro convergence (see [3],[5]). Lemma 2.2. ([3], Theorem 6) Assume that p n+ p n and np n p + +p n C n N (2.3) for some constant C > 0. Then Cesaro convergence implies (R,p n ) convergence. 3. Unique ergodicity In this section we are going to characterize unique ergodicity relative to A T of C -dynamical systems. To do it we need the following Lemma 3.. (cf. [8],[2]) Let (A,T) be uniquely ergodic relative to A T. If h A is invariant with respect to T and h A T = 0, then h = 0. Proof. Let us first assume that h is Hermitian. Then there is a unique Jordan decomposition [2] of h such that h = h + h, h = h + + h, (3.) where is the dual norm on A. The invariance of h implies that h T = h + T h T = h + h.

4 4 LUIGI ACCARDI AND FARRUKH MUKHAMEDOV Using h + T = h + (I) = h +, similarly h + T = h +, from uniqueness of the decomposition we find h + T = h + and h T = h. From h A T = 0 one gets h(i) = 0, which implies that h + = h. On the other hand, we also have h + h + = h h on A T. So, according to the unique ergodicity relative to A T we obtain h + = h on A. Consequently, h = 0. Now let h be an arbitrary bounded, linear functional. Then it can be written as h = h +ih 2, where h and h 2 are Hermitian. Again invariance of h implies that h i T = h i, i =,2. From h A T = 0 one gets h A T = 0, =,2. Consequently, according to the above argument, we obtain h = 0. NowwearereadytoformulateacriterionforuniqueergodicityofC -dynamical system in terms of (R,p n ) convergence. In the proof we will follow some ideas used in [2, 5, 8]. Theorem 3.2. Let (A,T) be a C -dynamical system. Assume that the weight {p n } satisfies P(n) := p + p 2 p + + p n p n +p n p +p 2 + +p n 0 as n. (3.2) Then the following conditions are equivalent: (i) (A,T) is uniquely ergodic relative to A T ; (ii) The set A T +{a T(a) : a A} is dense in A; (iii) For all x A, T n x E T (x) (R,p n ), where E T (x) is a positive norm one projection onto A T such that E T T = TE T = E T ; Moreover, the following estimation holds: p p T (x) E T (x) P(n) x, n N, (3.3) for every x A; (iv) For every x A and ψ S A ψ(t (x)) ψ(e T (x)) (R,p n ). Proof. Considertheimplication(i) = (ii). AssumethatA T +{a T(a) : a A} A; then thereis an element x 0 A such that x 0 / A T +{a T(a) : a A}. Then according to the Hahn-Banach theorem there is a functional h A such that h(x 0 ) = and h A T +{a T(a) : a A} = 0. The last condition implies that h A T = 0 and h T = h. Hence, Lemma 3. yields that h = 0, which contradicts to h(x 0 ) =.

5 ON NONCOMMUTATIVE UNIQUE ERGODICITY 5 (ii) = (iii): It is clear that for every element of the form y = x T(x), x A by (3.2) we have p p T (y) = p p (T + (x) T x) Now let x A T, then lim n = p p Tx+(p 2 p )T 2 x+ +(p n p n )T n x p n T n+ x P(n) x 0 as n. (3.4) p p T (x) = x. (3.5) Hence, for every x A T +{a T(a) : a A} the limit lim n p p T x exists, which is denoted by E T (x). It is clear that E T is a positive linear operator from A T +{a T(a) : a A} onto A T. Positivity and E T I = I imply that E T is bounded. From (3.4) one obviously gets that E T T = TE T = E T. According to (ii) the operator E T can be uniquely extended to A, this extension is denoted by thesame symbole T. Itis evident that E T is apositive projection with E T =. Now tae an arbitrary x A. Then again using (ii), for any ǫ > 0 we can find x ǫ A T +{a T(a) : a A} such that x x ǫ ǫ. By means of (3.4),(3.5) we conclude that p p T (x ǫ ) E T (x ǫ ) P(n) x ǫ Hence, one has p p T (x) E T (x) p p T (x x ǫ ) + p p T (x ǫ ) E T (x ǫ ) + E T (x x ǫ ) 2 x x ǫ +P(n) x ǫ P(n) x +(2+P(n))ǫ which with the arbitrariness of ǫ implies (3.3). Consequently, lim n p p T x = E T (x) is valid for every x A.

6 6 LUIGI ACCARDI AND FARRUKH MUKHAMEDOV The mapping E T is a unique T-invariant positive projection. Indeed, if Ẽ : A A T is any T-invariant positive projection onto A T, then ( Ẽ(x) = p p Ẽ(T (x)) = Ẽ ) p p T (x). Taing the limit as n gives Ẽ(x) = Ẽ(E T(x)) = E T (x). The implication (iii) = (iv) is obvious. Let us consider (iv) = (i). Let ψ be any state on A T, then ψ E T is a T-invariant extension of ψ to A. Assume that φ is any T invariant, linear extension of ψ. Then φ(x) = p ( p φ(t (x)) = φ p ) p T (x). Now taing the limit from both sides of the last equality as n one gives φ(x) = φ(e T (x)) = ψ(e T (x)), so φ = ψ E T. Remar. If we choose p n = for all n N then it is clear that the condition (3.2) is satisfied, hence we infer that uniqueergodicity relative to A T is equivalent to the norm convergence of the mean averages, i.e. n T (x), which recovers the result of [2]. Remar 2. If the condition (2.3) is satisfied then condition (3.2) is valid as well. This means that unique ergodicity would remain true if Cesaro summation is replaced by a weaer. Theorem 3.2 extends a result of [8]. Example. If we define p n = n α with α > 0, then one can see that {p n } is an increasing sequence and condition (3.2) is also satisfied. This provides a concrete example of weights. Remar 3. Note that some nontrivial examples of uniquely ergodic quantum dynamical systems based on automorphisms, has been given in[2]. Namely, it was proved that free shifts based on reduced C algebras of RD groups (including the free group on infinitely many generators), and amalgamated free product C algebras, are uniquely ergodic relative to the fixed point subalgebra. In [] it has been proved that such shifts possess a stronger property called F-strict wea mixing (see also [8]). Observation. We note that, in general, the projection E T is not a conditional expectation, but when T is an automorphism then it is so. Now we are going to provide an example of Marov operator which is uniquely ergodic relative to its fixed point subspace for which the projector E T is not a conditional expectation. Consider the algebra M d (C) - d d matrices over C. For a matrix x = (x ij ) by x t we denote its transposematrix, i.e. x t = (x ji ). Define a mappingφ : M d (C) M d (C) by φ(x) = x t. Then it is nown [20] that such a mapping is positive, but

7 ON NONCOMMUTATIVE UNIQUE ERGODICITY 7 not completely positive. One can see that φ is a Marov operator. Due to the equality x = x+xt + x xt 2 2 condition (ii) of Theorem 3.2 is satisfied, so φ is uniquely ergodic with respect to M d (C) φ. Hence, the corresponding projection E φ is given by E φ (x) = (x+x t )/2, which is not completely positive. Moreover, M d (C) φ is the set of all symmetric matrices, which do not form an algebra. So, E φ is not a conditional expectation. 4. A uniquely ergodic entangled Marov operator In recent developments of quantum information many people have discussed the problem of finding a satisfactory quantum generalization of classical random wals. Motivating this in [3, 0] a new class of quantum Marov chains was constructed which are at the same time purely generated and uniquely determined by a corresponding classical Marov chain. Such a class of Marov chains was constructed by means of entangled Marov operators. In one s turn they were associated with Schur multiplication. In that paper, ergodicity and wea clustering properties of such chains were established. In this section we are going to provide entangled Marov operator which is uniquely ergodic relative to its fixed point subspace, but which is not ergodic. Let us recall some notations. To define Schur multiplication, we choose an orthonormal basis {e j }, j =,...,d in a d-dimensional Hilbert space H d which is ept fixed during the analysis. In such a way, we have the natural identification H d with C d. The corresponding system of matrix units e ij = e i e j identifies B(H d ) with M d (C). Then, for x = d i,j= x ije ij, y = d i,j= y ije ij elements of M d (C), we define Schur multiplication in M d (C) as usual, x y = d (x ij y ij )e ij, (4.) i,j= that is, componentwise, (x y) ij := x ij y ij. A linear map P : M d (C) M d (C) is said to be Schur identity-preserving if its diagonal projection is the identity, i.e. I P(I) = I. It is called an entangled Marov operator if, in addition, P(I) I. The entangled Marov operator (see [3]) associated to a stochastic matrix Π = (p ij ) d i,j= and to the canonical systems of matrix units {e ij} d i,j= of M d(c) is defined by d P(x) ij := pi p jl x l, (4.2),l= where as before x = d i,j= x ije ij. Define a Marov operator Ψ : M d (C) M d (C) by Given a stochastic matrix Π = (p ij ) put Ψ(x) = I P(x), x M d (C). (4.3) Fix(Π) = {ψ C d : Πψ = ψ}.

8 8 LUIGI ACCARDI AND FARRUKH MUKHAMEDOV To every vector a = (a,...,a d ) C d corresponds a diagonal matrix x a in M d (C) defined by a 0 0 x a = 0 a 2 0. (4.4) 0 0 a d Lemma 4.. For a Marov operator given by (4.3) one has M d (C) Ψ = {x ψ : ψ Fix(Π)} Proof. Let x = (x ij ) M d (C) Ψ, i.e. Ψ(x) = x. From (4.) and (4.3) we conclude that x ij = 0 if i j. Therefore, due to (4.2) one finds d pij p ij x jj = x ii j= which implies that (x,...,x dd ) Fix(Π). Furthermore, we assume that the dimension of Fix(Π) is greater or equal than 2, i.e. dim(f ix(π)) 2. Hence, according to Lemma 4. we conclude that M d (C) Ψ is a non-trivial commutative subalgebra of M d (C). Theorem 4.2. Let Π be a stochastic matrix such that dim(fix(π)) 2. Then the corresponding Marov operator Ψ given by (4.3) is uniquely ergodic w.r.t. M d (C) Ψ. Proof. To prove the statement, it is enough to establish condition (ii) of Theorem 3.2. Tae any x = (x ij ) M d (C). Now we are going to show that it can be represented as follows x = x +x 2, (4.5) where x M d (C) Ψ and x 2 {y Ψ(y) : y M d (C)}. Due to Lemma 4. there is a vector ψ Fix(Π) such that x = x ψ, and hence, from (4.3),(4.5) one finds that where x 2 = ϕ ii = ξ i ϕ x 2 x d x 2 ϕ 22 x 2d x d x d2 ϕ dd d p ij ξ j j=, (4.6) d pi p il x l (4.7) The existence of the vectors ψ = (ψ,...,ψ d ) and (ξ,...,ξ d ) follows immediately from the following relations d d ψ i +ξ i p ij ξ j = x ii + pi p il x l, i =,...,d, (4.8) j=,l= j,l= j

9 ON NONCOMMUTATIVE UNIQUE ERGODICITY 9 since the number of unnowns is greater than the number of equations. Note that the equality (4.8) comes from (4.3)-(4.7). Hence, one concludes that the equality which completes the proof. M d (C) Ψ +{x Ψ(x) : x M d (C)} = M d (C), Let us provide a more concrete example. Example. Consider on M 3 (C) the following stochastic matrix Π 0 defined by Π 0 = , (4.9) 0 u v here u,v 0, u+v =. One can immediately find that Fix(Π 0 ) = {(x,y,y) : x,y C}. (4.0) Then for the corresponding Marov operator Ψ 0, given by (4.3),(4.2), due to Lemma 4. one has M 3 (C) Ψ 0 = x y 0 : x,y C. (4.) 0 0 y So, M 3 (C) Ψ 0 is a nontrivial commutative subalgebra of M 3 (C) having dimension 2. So, according to Theorem 4.2 we see that Ψ 0 is uniquely ergodic relative to M 3 (C) Ψ 0. But (4.) implies that Ψ 0 is not ergodic. Note that ergodicity of entangled Marov chains has been studied in [3]. Acnowledgement The second named author (F.M.) thans Prof. L. Accardi for ind hospitality at Università di Roma Tor Vergata during 8-22 June of Finally, the authors also would lie to than to the referee for his useful suggestions which allowed us to improve the text of the paper. References [] S.Albeverio, R.Høegh-Krohn, Frobenius theory for positive maps of von Neumann algebras, Comm. Math. Phys. 64 (978), [2] B. Abadie and K. Dyema, Unique ergodicity of free shifts and some other automorphisms of C -algebras, Jour. Operator Theor. (to appear) [3] L. Accardi and F. Fidaleo, Entangled marov chains, Ann. Mat. Pura Appl. 84(2005), [4] D. Berend, M. Lin, J. Rosenblatt and A. Tempelman, Modulated and subsequential ergodic theorems in Hilbert and Banach spaces, Ergod. Th. and Dynam. Sys. 22 (2002), [5] O. Bratteli, D.W. Robinson, Operator algebras and quantum statistical mechanics, I, New Yor Heidelberg Berlin, Springer, 979. [6] M-D. Choi, A Schwarz inequality for positive linear maps on C -algebras. Illinois J. Math. 8 (974),

10 0 LUIGI ACCARDI AND FARRUKH MUKHAMEDOV [7] M-D. Choi, Completely Positive Linear Maps on Complex Matrices, Lin. Alg. Appl. 0, (975). [8] F. Fagnola, R. Rebolledo, On the existance of stationary states for quantum dyanamical semigroups, Jour. Math. Phys. 42 (200), [9] F. Fagnola, R. Rebolledo, Transience and recurrence of quantum Marov semigroups. Probab. Theory Relat. Fields 26(2003), [0] F. Fidaleo, Infinite dimensional entangled Marov chains, Random Oper. Stochastic Eq. 2 (2004), 4, [] F. Fidaleo and F.Muhamedov, Strict wea mixing of some C*-dynamical systems based on free shifts, Jour. Math. Anal. Appl. 336(2007), [2] A. Frigerio, M. Verri, Long-time asymptotic properties of dynamical semi-groups on W -algebras. Math. Z. 80(982), [3] G.H. Hardy, Divergent series, Cambridge Univ. Press, 949. [4] A. Iwani, Unique ergodicity of irreducible Marov operators on C(X), Studia Math. 77(983), [5] V.V. Kozlov, Weighted means, strict ergodicity and uniform distributions, Math. Notes, 78(2005), [6] I.P. Kornfeld, Ya.G. Sinai and S.V. Fomin, Ergodic Theory, Springer, Berlin Heidelberg New Yor, 982. [7] R. Longo and C. Peligrad, Noncommutative topological dynamics and compact actions on C -algebras, J. Funct. Anal. 58 (984), [8] F. Muhamedov and S. Temir, A few remars on mixing properties of C - dynamical systems, Rocy Mount. J. Math. 37(2007), [9] C. Nicolescu, A. Ströh, L. Zsidó, Noncommutative extensions of classical and multiple recurrence theorems, J.Operator Theory, 50(2003), [20] V. Paulsen, Completely Bounded Maps and Operator Algebras, Cambridge Univ. Press, [2] M. Taesai, Theory of operator algebras I, Springer, Berlin-Heidelberg-New Yor 979. [22] P. Walters, An introduction to ergodic theory, Springer, Berlin Heidelberg New Yor, 982. Luigi Accardi, Centro Interdisciplinare Vito Volterra, II Università di Roma Tor Vergata, Via Columbia 2, 0033 Roma, Italy address: accardi@volterra.uniroma2.it Farruh Muhamedov, Department of Computational & Theoretical Sciences, Faculty of Sciences, International Islamic University Malaysia, P.O. Box, 4, 2570, Kuantan, Pahang, Malaysia address: far75m@yandex.ru,farruh m@iiu.edu.my