Dynamical entropy for Bogoliubov actions of torsion-free abelian groups on the CAR-algebra
|
|
- Abraham Simmons
- 5 years ago
- Views:
Transcription
1 Dynamical entropy for Bogoliubov actions of torsion-free abelian groups on the CAR-algebra Valentin Ya. Golodets Sergey V. Neshveyev Abstract We compute dynamical entropy in Connes, Narnhofer and Thirring sense for a Bogoliubov action of a torsion-free abelian group G on the CAR-algebra. A formula analogous to that found by Størmer and Voiculescu in the case G = Z is obtained. The singular part of a unitary representation of G is shown to give zero contribution to the entropy. A proof of these results requires new arguments since a torsion-free group may have no finite index proper subgroups. Our approach allows to overcome these difficulties, it differs from that of Størmer-Voiculescu. Introduction. Entropy is an important notion in classical statistical mechanics and information theory. Initially the notion of entropy for automorphisms of a measure space was introduced by Kolmogorov and Sinai in This invariant proved to be extremely useful, it generated an entire field in the theory of classical dynamical systems and topological dynamics. The extension of the notion of entropy onto quantum systems was treated as a difficult mathematical problem. It was solved by Connes and Størmer [CS] only in 1975 for dynamical systems of type II 1. Then Connes, Narnhofer and Thirring [CNT] extended this theory to general C - and W -dynamical systems. The computation of dynamical entropy for specific models is one of the principal trends in the theory (see [BG],[GN] for a bibliography. One of the main results in this sphere belongs to Størmer and Voiculescu [StV]. They showed that the CNT-entropy of a Bogoliubov automorphism of the CAR-algebra is computed by a simple formula (predicted by A. Connes for the tracial state, and only the absolutely continuous part of the unitary operator defining the Bogoliubov automorphism gives a contribution to the entropy. Bezuglyi and Golodets [BG] obtained the same results for Bogoliubov actions of free abelian groups. It is quite natural to extend these results to Bogoliubov actions of arbitrary countable torsion-free abelian groups. Note that in Størmer-Voiculescu s approach it is very important that the group Z has a lot of finite index subgroups (see Theorem 2.1, condition (iv, in [StV]. But, for example, the group Q of rational numbers contains no finite index (proper subgroups. So the methods of [StV] and [BG] cannot be immediately applied. It is interesting to note that the problem of studying entropic properties of actions of the group Q is well-known in the commutative entropic theory. As far as we know there are no methods to describe the Pinsker algebra and asymptotic properties of systems with completely positive entropy for such actions. In particular, the Conze approach [Co] does not allow to solve these problems. It strengthens our interest to Bogoliubov actions of torsion-free abelian groups. 1
2 In this paper we prove that again there is a simple formula for the CNT-entropy of a Bogoliubov action of a torsion-free abelian group, and only the absolutely continuous part of a unitary representation gives a contribution to the entropy (see Theorems 3.1, 4.5 and Corollary 4.2 below. To prove these results we apply new arguments. In particular, our Lemma 2.4 allows to manage without finite index subgroups. We apply also results and methods of [StV] and [BG]. 1 Definition of entropy. Throughout the paper G denotes a discrete countable torsion-free abelian group. By a C -dynamical system we mean a triple (A, φ, α G, where A is a C -algebra, α G is an action of G on A by *-automorphisms, and φ is a G-invariant state on A. For given channels γ i : B i A, 1 i n, i.e. completely positive unital mappings of finite-dimensional C -algebras B i, H φ (γ 1,..., γ n denotes their mutual entropy with respect to φ (see [CNT]. If γ is a channel and A is a finite subset of G, we denote by H φ (γ A the mutual entropy of the channels α g γ, g A. Definition 1.1. A parallelepiped in G is a finite subset A of G such that there exist n N, a monomorphism I: Z n G, and m 1,..., m n N such that A = I ({z Z n 0 z k m k, 1 k n}. Definition 1.2. The entropy of the system (A, φ, α G with respect to a channel γ is the quantity h φ (γ; α G = inf H φ(γ A, A where A runs over the set of all parallelepipeds in G. The dynamical entropy of the system is h φ (α G = sup h φ (γ; α G. γ Remark 1.3. If A is commutative and γ is the inclusion of a finite-dimensional subalgebra P of A, h φ (P; α G may be defined as the infimum of H φ(p A A over all finite subsets A of G. Then one proves that this infimum is equal to the limit along a net of Følner sets, and this holds for any amenable group G [M]. The proof relies on the strong subadditivity of the function A H φ (P A, i.e. H φ (P A B + H φ (P A B H φ (P A + H φ (P B. Apparently the function A H φ (γ A is not strongly subadditive in the non-commutative case. But it is at least subadditive [CNT], i.e. H φ (γ A B H φ (γ A + H φ (γ B. The following result is an immediate consequence of the subadditivity. 2
3 Proposition 1.4. Let G = Z n, n N. For N N, let A N denotes the cube {z Z n 0 z k N}. Then, for any channel γ, h φ (γ; α G = lim N H φ (γ A N. A N In particular, for G = Z n our definition of entropy coincides with the usual one [CNT],[BG]. Remark 1.5. A statement analogous to Proposition 1.4 may be formulated for any G. Let {g i } N i=1, N, be a maximal linear independent system in G, G 1 the subgroup of G generated by this system. Since G is torsion-free, we can consider G as a subgroup of G = Q Z G. Then {g i } i is a basis of the vector space G over Q. For an element x G, let x i Q denotes the i-th coordinate of x in this basis. Choose a set {s kn } 1 k N,n N of non-negative numbers such that (i lim n s kn = for any k; (ii for any n, only finitely many of s kn s are non-zero. Set A n = { x ( 1 n! G 1 } G 0 x k < s kn (x k = 0 if s kn = 0 (note that A n is not a parallelepiped in the sense of Definition 1.1. Then h φ (γ; α G = inf n H φ (γ An A n H φ (γ An = lim. n A n This result will not be used in the sequel. The next lemma follows from the definitions. Lemma 1.6. Let {G n } be an increasing sequence of subgroups of G such that ng n = G. Then h φ (γ; α Gn h φ (γ; α G. Proposition 1.7. Let (A, φ, α G be a C -dynamical system, {G n } a sequence of subgroups of G, A n a G n -invariant C -subalgebra of A, F n : A A n a completely positive unital mapping, F n id pointwise-norm (we don t require A n A n+1. Then (i h φ (α G lim inf h φ(α Gn An ; n (ii if A n s are G-invariant and F n s are φ-preserving conditional expectations then h φ (α G = lim n h φ(α G An. Proof. See the proof of Lemma 3.3 in [StV]. (i For a fixed channel γ: B A, let ε n = F n γ γ. By [CNT], Proposition IV.3, H φ (γ A H φ ((F n γ A A δ(ε n, d for any finite A G, where δ(ε n, d depends only on ε n and d = dim B, and δ(ε, d 0 as ε 0. Thus, for any parallelepiped A in G n, we have H φ An ((F n γ A A H φ((f n γ A A H φ(γ A A 3 δ(ε n, d h φ (γ; α G δ(ε n, d,
4 so that h φ (α Gn An h φ (F n γ; α Gn An h φ (γ; α G δ(ε n, d, whence lim inf h φ (α Gn An h φ (γ; α G. (ii follows from (i (G n = G n N and the fact that if there exists a φ-preserving conditional expectation onto a G-invariant subalgebra D of A then H φ D (γ 1,..., γ n = H φ (γ 1,..., γ n for any channels γ 1,..., γ n in D, hence h φ (α G D h φ (α G. If H is a subgroup of G, then h φ (γ; α H h φ (γ; α G, whence h φ (α H h φ (α G. The following proposition makes this relation more precise. Proposition 1.8. Let (A, φ, α G be a C -dynamical system, A nuclear, H a subgroup of G. Then (i if [G : H] <, then h φ (α H = [G : H] h φ (α G ; (ii if [G : H] = and h φ (α G > 0, then h φ (α H =. Proof. (i Let p = [G : H] <. First prove that h φ (γ; α H p h φ (γ; α G. Choose an increasing sequence {G n } of finitely generated subgroups of G such that n G n = G. By Lemma 1.6, for a given ε > 0, there exists n N such that h φ (γ; α Gn < h φ (γ; α G + ε. Since G n is a finite rank, free abelian group and H n = H G n is a subgroup of G n of index p, there exist a basis g 1,..., g m in G n and k 1,..., k m N such that k 1 g 1,..., k m g m is a basis in H n [L]. For N N, let A N be the cube {l 1 g l m g m 0 l i N 1} in G n. The set A N H n is a parallelepiped in H, and if k 1,..., k m divide N, then A N = [G n : H n ] A N H n, hence h φ (γ; α H H φ(γ A N H n A N H n and using Proposition 1.4 we obtain H φ(γ A N A N H n = [G n : H n ] H φ(γ AN A N h φ (γ; α H p h φ (γ; α Gn p h φ (γ; α G + p ε. p H φ(γ A N, A N Thus we have proved that h φ (α H p h φ (α G, and the assumption of nuclearity has not been used yet. To prove the inequality h φ (α G 1 p h φ(α H choose representatives ḡ 1,..., ḡ p for cosets G/H. Due to the nuclearity, for a fixed ε > 0 and a channel γ: B A, d = dim B, there exist a channel θ: D A and channels θ 1,..., θ p : B D such that θ θ i αḡi γ < ε, 1 i p. Let {G n } be an increasing sequence of finitely generated subgroups of G such that n G n = G and ḡ 1,..., ḡ p G n for any n. For a fixed n, there exist a basis g 1,..., g m in G n and numbers k 1,..., k m N such that k 1 g 1,..., k m g m is a basis in H n = H G n. The absolute values of coordinates of ḡ 1,..., ḡ p in this basis don t exceed a number N 0. For N N, let A N = {l 1 g l m g m 0 l i k i N 1}, Ã N = {l 1 g l m g m N 0 l i k i N N 0 1}, B N = A N H = {l 1 k 1 g l m k m g m 0 l i N 1}. 4
5 The sets ḡ i + B N, 1 i p, are mutually disjoint and ÃN i (ḡ i + B N. Thus ( h φ (γ; α G H φ(γ A N Hφ(γÃN + 1 ÃN H φ (γ, A N A N A N H φ (γãn H φ (γ i(ḡ i +B N H φ ({α g θ θ i g B N, 1 i p} + p B N δ(ε, d H φ (θ B N + p B N δ(ε, d, where we have used [CNT], Proposition IV.3 and Proposition III.6(a,(c. Since A N B N = [G n : H n ] = p, we obtain h φ (γ; α G 1 H φ (θ B N + δ(ε, d + p B N Letting N and using Proposition 1.4 we conclude that h φ (γ; α G 1 p h φ(θ; α Hn + δ(ε, d, ( 1 ÃN H φ (γ. A N and by Lemma 1.6, h φ (γ; α G 1 p h φ(θ; α H + δ(ε, d. So, due to the arbitrariness of ε, h φ (γ; α G 1 p h φ(α H. (ii Suppose [G : H] = and h φ (α H <, and prove that h φ (α G = 0. Consider two cases. a The group G/H is periodic. There exists an increasing sequence {H n } of subgroups of G such that H H n, [H n : H] <, [H n : H]. Then h φ (α G h φ (α Hn = 1 [H n : H] h φ(α H 0. b The rank of G/H is non-zero. Let g G be an element, whose image in G/H has infinite order. Let H n = H + nzg. Then h φ (α G h φ (α H1 = 1 n h φ(α Hn 1 n h φ(α H 0. 2 Bogoliubov actions on the CAR-algebra. Let H be a complex Hilbert space. Recall (see [StV],[BR2] that the CAR-algebra A(H over H is a C -algebra generated by elements a(f, f H, such that f a(f is a linear map and a(fa(g + a(g a(f = (f, g1, a(fa(g + a(ga(f = 0. If K is a closed subspace of H, we consider A(K as a subalgebra of A(H. The even part of the CAR-algebra is the C -subalgebra A(H e generated by even products of a(f s and a(g s. 5
6 If H 1 and H 2 are mutually orthogonal subspaces of H, then A(H 1 and A(H 2 e commute and the C -algebra they generate is identified with A(H 1 A(H 2 e. If 0 A 1 is an operator on H, then the quasi-free state ω A on A(H is given by ω A (a(f n... a(f 1 a(g 1... a(g m = δ nm det((ag i, f j. We will write ω λ instead of ω λi. The state ω 1 is the unique tracial state on A(H. 2 If H = H 1 H 2, A i B(H i, 0 A i 1, A = A 1 A 2, then ω A A(H1 A(H 2 e = ω A1 A(H1 ω A2 A(H2 e. Suppose there exists an orthonormal basis {f n } N, N, such that A f n = λ n f n. Then (A(H, ω A = N (Mat 2 (C n, ρ λn (2.1 n 1 via the homomorphism sending a(f n (1 2a(f i a(f i to e (n 12 (so a(f na(f n e (n 11, where ρ λ is the state on Mat 2 (C given by (( a b ρ λ = (1 λa + λd. c d i=1 Each unitary operator U on H defines a Bogoliubov automorphism α of A(H by α(a(f = a(uf. So, for any unitary representation of G on H, we obtain an action of G on A(H called Bogoliubov. If U and A commute, then α preserves ω A. If K is an invariant subspace for A and σ is the Bogoliubov automorphism corresponding to the operator 1 1 on H = K K, then id+σ 2 is an ω A -preserving conditional expectation of A(H onto A(K A(K e, and composing it with id ω A ( we obtain an ω A -preserving conditional expectation A(H A(K. Lemma 2.1. Let {P n } be a sequence of projections in B(H, P n 1 strongly. Let E n be a conditional expectation of A(H onto A(P n H. Then E n id pointwise-norm. Proof. The result easily follows from the facts that E n is a projection of norm one and a(f = f for any f H. Using the existence of conditional expectations and (2.1 we obtain also the following. Lemma 2.2. Let H 1,..., H n be mutually orthogonal finite-dimensional subspaces of H invariant for A. Then H ωa (A(H 1,..., A(H n = S(ω A A(H1... H n = n Tr Hi (η(a + η(1 A, i=1 where η(x = x log x. Proof. Cf. [CNT], Corollary VIII.8. Lemma 2.3. Let U: G B(H be a unitary representation, α G the corresponding Bogoliubov action on A(H, {G n } a sequence of subgroups of G, {P n} a sequence of projections in B(H such that H n = P n H is G n -invariant and P n 1 strongly. Then 6
7 (i for any G-invariant state φ on A(H, we have h φ (α G lim inf n h φ(α Gn A(Hn ; (ii if H n s are G-invariant then, for A B(H, 0 A 1, U g A = A U g, A H n H n, we have h ωa (α G = lim n h ω A (α G A(Hn. Proof. This is a consequence of Lemma 2.1 and Proposition 1.7. The next simple observation plays the central role in the subsequent computations. Lemma 2.4. Let U (n : G B(H n be a unitary representation (n N, {χ n } a sequence of characters of G. Consider two unitary representations of G on H = H n, U g = U g (n, U g = χ n (gu g (n, and let α G and α G be the corresponding Bogoliubov actions. Then, for any α - and α - invariant state φ on A(H, we have h φ (α G = h φ (α G. Proof. For n N, let {f kn } k=1 be an orthonormal basis in H n. Let A m be the C - subalgebra of A(H generated by a(f kn, 1 k, n m. Then h φ (α G = lim m h φ(a m ; α G, h φ (α G = lim m h φ(a m ; α G by the proof of [CNT], Theorem V.2. On the other hand, since α g(a(f kn = χ n (gα g(a(f kn, we have α g(a m = α g(a m for any g G, hence h φ (A m ; α G = h φ (A m ; α G. 3 Entropy formula: the case of absolutely continuous spectrum. Recall some notions of the theory of representations that will be used below (see [K]. Let U: G B(H be a unitary representation. Considering elements of G as characters of the dual group we can extend it to a *-representation f U f of the algebra of bounded Borel functions on. Then the spectral projection for a Borel subset X is the projection U IX. For a vector ξ H, the spectral measure µ ξ is a positive Borel measure on such that (U g ξ, ξ = χ(gdµ ξ (χ, g G. The representation U is decomposed into a direct sum U = U a U s, H = H a H s, of two representations such that, for any ξ H a (resp. ξ H s, the spectral measure µ ξ is 7
8 absolutely continuous (resp. singular with respect to the Haar measure λ on. We say that U a has absolutely continuous spectrum and U s has singular spectrum. The representation U a is decomposed in a direct integral H = H χ dλ(χ, U a g = χ(gdλ(χ. The function m(χ = dim H χ is called the multiplicity function of the representation U a. Our main result in this section is as follows. Theorem 3.1. Let U: G B(H be a unitary representation with absolutely continuous spectrum and the multiplicity function m. Then, for the corresponding Bogoliubov action α G and β [0, 1], h ωβ (α G = (η(β + η(1 β m(χ dλ(χ, where η(x = x log x. The proof of Theorem is divided onto several lemmas. First note that if β = 0 or β = 1 then the state ω β is pure, so that the entropy of any channel is zero and there is nothing to prove. Thus we can suppose β (0, 1. Lemma 3.2. Let q, l N, X = l 1 k=0 [ k l, k l + 1 ql ]. Then is an orthonormal basis in L 2 (X, dt. Proof. Note that {q 1/2 e 2πi(lqk+rt k Z, 0 r l 1} X e 2πint dt = ( l 1 k=0 nk 2πi e l 1 ql e 2πint dt. This expression is zero if either l does not divide n or n is divided by ql. This implies the orthonormality. The mapping exp(2πilkt exp(2πikt defines a unitary operator from Lin{e 2πilkt k Z} L 2 (X onto L 2 (0, 1 q. Hence, for any p Z, exp(2πilpt belongs to the closed subspace of L2 (X spanned by exp(2πilqkt, k Z (since {exp(2πiqkt k Z} is an orthogonal basis in L 2 (0, 1 q. Then exp(2πi(lp + rt, 0 r l 1, lies in the closed subspace spanned by exp(2πi(lqk + rt, k Z. Lemma 3.3. Let G = Z n. Suppose the multiplicity function m equals to p I X, where p N and X = exp ( 2πi ( l 1 k=0 0 [ k l, k l + 1 ] T... T ql } {{ }. n 1 So the space H of the representation can be identified with the sum of p copies of L 2 (X, dλ, H = p L 2 (X, dλ i. i=1 8
9 Let K be the subspace of H spanned by I X L 2 (X i, 1 i p. Then h ωβ (α G = h ωβ (A(K; α G = (η(β + η(1 β p q. Proof. The equality h ωβ (α G = (η(β + η(1 β p q is known: see [StV], Lemma 4.5, or [BG], Lemma 3.4. Thus we have only to prove that h ωβ (A(K; α G (η(β + η(1 β p q. For N N, let A N = {z Z n 0 z k N}, Ã N = A N {z Z n z 1 = lqk + r, k Z, 0 r l 1}. By Lemma 3.2, the subspaces U g K, g ÃN, are mutually orthogonal. So by Lemma 2.2, and using Proposition 1.4 we obtain H ωβ (A(KÃN = ÃN (η(β + η(1 βp, ÃN h ωβ (A(K; α G lim N A N (η(β + η(1 βp = (η(β + η(1 βp q. It is worth to note that the inequality h ωβ (α G (η(β + η(1 β p q deduced from the completeness assertion of Lemma 3.2. may also be Lemma 3.4. Let g G\{0}, X = g 1 (exp(2πi[0, 1 q ], where we consider g as a character of, m = p I X. Then h ωβ (α G = (η(β + η(1 β p q. Proof. The space H of the representation is identified with the sum of p copies of L 2 (X, dλ, H = p i=1 L2 (X, dλ i. Let K be the subspace of H spanned by I X L 2 (X i, 1 i p. There exists an increasing sequence {G n } of finitely generated subgroups of G such that n G n = G and g G n for any n. Let H n be the minimal G n -invariant subspace of H containing K. For a fixed k N, consider g as a character of k, and set Y k = g 1 (exp(2πi[0, 1 q ] k. Then the representation of G k on H k has the multiplicity function p I Yk. There exist a basis g 1,..., g n of G k and l N such that g = lg 1. Having fixed a basis we can identify k with T n. Then g maps (t 1,..., t n T n = k to t l 1, so that By virtue of Lemma 3.3, l 1 Y k = exp 2πi j=0 [ j l, j l + 1 ql ] T }. {{.. T }, n 1 h ωβ (α Gk A(Hk = h ωβ (A(K; α Gk A(Hk = (η(β + η(1 β p q, 9
10 and using Lemma 1.6 and Lemma 2.3(i we obtain h ωβ (α G = h ωβ (A(K; α G = (η(β + η(1 β p q. Lemma 3.5. Let H be a locally compact group, λ its left Haar measure, X 1 and X 2 measurable subsets of H, 0 < λ(x 1, λ(x 2 <. Then there exist a measurable subset Y of X 1, λ(y > 0, and h H such that hy X 2. Proof. The mapping h I X2 h L 1 (H, dλ is continuous. Hence there exists a neighbourhood U of the unit such that I X2 I X2 h λ(x 2 for any h U. We can find h 0 H with λ(h 0 U X 1 > 0. Let Y 1 = U h 1 0 X 1. Then λ(y 1 > 0 and 1 I X2 (xy dλ(x 1 X 2 2 λ(x 2 for any y Y 1, hence dλ(y dλ(x 1 I X2 (xy 1 Y 1 X 2 2 λ(x 2λ(Y 1, and changing the order of integration, 1 dλ(x dλ(y 1 I X2 (xy 1 λ(x 2 X 2 Y 1 2 λ(y 1. Hence there exists x 0 X 2 such that 1 I X2 (x 0 y dλ(y 1 Y 1 2 λ(y 1. In other words, if we set Ỹ = {y Y 1 x 0 y / X 2 }, then λ(ỹ 1 2 λ(y 1. Y = h 0 (Y 1 \Ỹ, we have λ(y 1 2 λ(y 1 > 0, Y X 1 and x 0 h 1 0 Y X 2. For a multiplicity function m and the corresponding Bogoliubov action α G, set µ β (m = h ωβ (α G η(β + η(1 β. Lemma 3.6. For integrable multiplicity functions, µ β (m depends only on m dλ. Thus, for Proof. Suppose m dλ = m dλ <. Since m and m are at most countable sums of indicator functions, Lemma 3.5 and a simple maximality argument ensure the existence of measurable subsets Y n, n N, and a sequence {χ n} such that m = I Yn and m = Then the result follows from Lemma 2.4. I χnyn a.e. 10
11 Lemma 3.7. If m n m a.e. then µ β (m n µ β (m. Proof. If H (resp. H n is the space of the representation U (resp. U (n with the multiplicity function m (resp. m n, then we may assume H 1 H 2... H and U (n = U Hn. It remains to apply Lemma 2.3(ii. Proof of Theorem. We have to prove that µ β (m = m dλ. First suppose m dλ <. Choose g G\{0} and set X(r = g 1 (exp(2πi[0, r], r [0, 1]. Then, for p, q, n N, µ β (p I X( n q = µ β (pn I = pn q X( 1 q (Lemma 3.6 (Lemma 3.4. By Lemma 3.7, µ β (p I X(r = pr p N r [0, 1]. Finding p N and r [0, 1] with m dλ = pr we obtain µβ (m = m dλ by Lemma 3.6. Suppose m dλ =. Letting m n = m (n I and applying Lemma 3.7 we obtain µ β (m = lim µ β(m n = lim m n dλ =. n n Remark 3.8. An inspection of the proof shows that the same entropy formula is valid for the restriction of a Bogoliubov action to the even part of the CAR-algebra. 4 Entropy formula. Theorem 4.1. Let U (i : G B(H i be a unitary representation, i = 1, 2, A 1 B(H 1, 0 A 1 1, A 1 U g (1 = U g (1 A 1, m (2 the multiplicity function of the absolutely continuous part of U (2. Suppose the representation U (1 has absolutely continuous spectrum and A 1 has pure point spectrum. Let H 1 = H χdλ(χ and A 1 = A(χdλ(χ be direct integral decompositions (λ is the Haar measure on. Then, for the Bogoliubov action α G corresponding to the representation U (1 U (2 and for any G-invariant state φ on A(H 1 H 2 such that φ A(H1 = ω A1, we have h φ (α G Tr (η(a(χ + η(1 A(χ dλ(χ + (log 2 m (2 (χdλ(χ. Corollary 4.2. If the spectrum of a unitary representation of G is singular then the entropy of the corresponding Bogoliubov action is zero with respect to any invariant state. The proof of Theorem is a slight modification of the method used in [BG] to handle the case of singular spectrum. First, we need two lemmas. Lemma 4.3. Under the assumptions of Theorem 4.1 suppose that we are given a one more representation U (3 : G B(H 3 and A 3 B(H 3, 0 A 3 1, A 3 U g (3 = U g (3 A 3. Let α G be the Bogoliubov action corresponding to U (1 U (2 U (3. Then there exists a 11
12 G-invariant state ψ on A(H 1 H 2 H 3 such that ψ A(H1 H 3 = ω A1 A 3 and h ψ ( α G h φ (α G. Proof. Let σ be the Bogoliubov automorphism corresponding to the operator Then E = id+σ 2 is a G-invariant conditional expectation of A(H 1 H 2 H 3 onto A(H 1 H 2 A(H 3 e (see Section 2. Set ψ = (φ ω A3 E. Then ψ is G-invariant, ψ A(H1 H 3 = ω A1 A 3, and since there exists a ψ-preserving conditional expectation onto A(H 1 H 2 (namely (id A(H1 H 2 ω A3 ( E, we have h ψ ( α G h φ (α G. Lemma 4.4. Let U be a unitary representation of G on H, m the multiplicity function of the absolutely continuous part of U, {G n } an increasing sequence of subgroups of G with n G n = G. Then there exist a sequence k n and, for each n N, a G kn -invariant subspace H n of H such that (i if P n is the projection onto H n, then P n id strongly ; (ii if m n is the multiplicity function of the absolutely continuous part of the representation U Gkn Hn, then lim sup m n dλ kn m dλ. n kn Proof. It suffices to prove Lemma for a cyclic representation. So let ξ H be a cyclic vector, µ its spectral measure, µ = µ a +µ s the decomposition into the sum of the absolutely continuous and the singular parts, { X = χ dµ } a dλ (χ > 0. Then the representation U is equivalent to the canonical representation on L 2 (, dµ = L2 (, dµ s L 2 (, dµ a = L 2 (, dµ s L 2 (X, dλ. In particular, m = I X. For each n N, there exists a compact subset X n of such that λ(x X n < 1 n and µ(\x n < 1 n. Then we can find an open Y n such that X n Y n and λ(y n \X n < 1 n. Denote by I n the inclusion G n G. Due to the compactness of X n and the equality = lim n, there exist k n n and a compact Z n k n such that, for Z n = Î 1 k n ( Z n, we have X n Z n Y n. Then λ(z n X λ(z n X n + λ(x n X < 2 n and µ(\z n < 1 n. Let E(Z n be the spectral projection corresponding to Z n. Set ξ n = E(Z n ξ, and let H n be the minimal G kn -invariant subspace containing ξ n. Then the spectral measure of ξ n (with respect to G kn is supported by Z n, so if m n is the multiplicity function of the absolutely continuous part of the representation of G kn on H n, we have m n dλ kn λ kn ( Z n = λ(z n 2 kn n + λ(x = 2 n + m dλ. 12
13 Thus the condition (ii is satisfied. (i follows from the estimate ξ ξ n 2 = µ(\z n < 1 n, since ξ is cyclic and any g G is eventually contained in G kn. Proof of Theorem. Let {λ n } N, N, be the point spectrum of A 1, and e n the spectral projection corresponding to λ n. Note that if m n is the multiplicity function of the representation U (1 enh1 then Tr (η(a(χ + η(1 A(χ dλ(χ = (η(λ n + η(1 λ n m n (χdλ(χ. Choosing an increasing sequence of finitely generated subgroups of G and applying Lemma 4.4 to each subspace H 2, e n H 1, 1 n N, we infer from Lemma 2.3(i that it suffices to consider the case where G = Z n and N <. By Lemma 2.3(i, we can also suppose that the multiplicity functions m (2, m n, 1 n N, are finite sums of indicator functions of compact sets. Let G = Z. Suppose the assertion is proved under the additional assumption that m (2 and m n, 1 n N, are finite sums of indicator functions of (closed arcs of rational length. Consider the general case. For a fixed ε > 0, since for any compact set X T there exists a set Y such that X Y, Y is a finite union of disjoint arcs of rational length and λ(y \X is arbitrary small, we can find multiplicity functions m (2, m n, 1 n N, such that the functions m (2 + m (2, m n + m n, 1 n N, are finite sums of indicator functions of arcs of rational length and (η(λ n + η(1 λ n m n dλ + (log 2 m (2 dλ < ε. Let H (2, Hn, 1 n N, be the spaces of the corresponding representations. Set H 3 = H 1... H N H (2 and A 3 = λ 1 1 H1... λ N 1 HN H(2. Let ψ and α G be as in the formulation of Lemma 4.3. By assumption, Theorem is true for α G, so that h φ (α G h ψ ( α G < (η(λ n + η(1 λ n (η(λ n + η(1 λ n Since this holds for all ε > 0, we conclude that h φ (α G (η(λ n + η(1 λ n (m n + m n dλ + (log 2 m n dλ + (log 2 m n dλ + (log 2 m (2 dλ + ε. m (2 dλ. (m (2 + m (2 dλ It remains to consider the case where the multiplicity functions m (2, m n, 1 n N, are finite sums of indicator functions of arcs of rational length. If q is a common 13
14 denominator of these rational numbers, we can pass to the subgroup qz of Z (since h φ (α Z = 1 q h φ(α qz thus supposing m (2 = p (2 I, m n = p n I, 1 n N, for certain p (2, p 1,..., p N N. Then the representations on e n H and H2 a (the absolutely continuous part of U (2 are finite sums of bilateral shifts, so that there exist subspaces K n e n H 1, K H2 a such that dim K n = p n, the spaces U (1 j K n, j Z, are mutually orthogonal, j Z U (1 j K n = e n H 1 ; and analogously for K H2 a. Set Z n = ( n n U (1 j (K 1... K N and X n = Z n j=1 j=1 Lemma 5.3 in [StV] shows that h φ (α Z lim inf n 1 n S(φ A(X n U (2 j K. Then the proof of for any invariant state φ. Since A(Z n and A(X n are full matrix algebras of dimensions 2 2n(p p N and 2 2n(p(2 +p p N respectively, the subadditivity of the von Neumann entropy implies S(φ A(Xn S(φ A(Zn + np (2 log 2. By (2.1, we have S(φ A(Zn = n (η(λ k + η(1 λ k p k, so k=1 h φ (α Z = (η(λ k + η(1 λ k p k + p (2 log 2 k=1 (η(λ k + η(1 λ k k=1 T m k dλ + (log 2 m (2 dλ, T and the proof for G = Z is complete. The case G = Z n, n > 1, is analogous (see Lemma 3.7 and Theorem 3.8 in [BG]. We leave the details to the reader. Theorem 4.5. Let U: G B(H be a unitary representation, U a H a its absolutely continuous part, A B(H, 0 A 1, AU g = U g A. Let H a = H χdλ(χ and A H a = A(χdλ(χ be direct integral decompositions. If A H a has pure point spectrum then, for the Bogoliubov action α G corresponding to U, we have h ωa (α G = Tr (η(a(χ + η(1 A(χ dλ(χ. Proof. The inequality is proved in Theorem 4.1. Let {λ n } N be the point spectrum of A H a, e n the spectral projection corresponding to λ n. Taking into account Remark 3.8 the same arguments as in [StV], Theorem 6.3, give us h ωa (α G h ωλn (α G A(enH e = Tr (η(a(χ + η(1 A(χ dλ(χ. 14
15 References [BG] S.I. Bezuglyi, V.Ya. Golodets, Dynamical entropy for Bogoliubov actions of free abelian groups on the CAR-algebra, Ergod. Th.&Dynam. Sys., 17 (1997, [BR2] O. Bratteli, D.W. Robinson. Operator Algebras and Quantum Statistical Mechanics, II. Springer, [CNT] A. Connes, H. Narnhofer, W. Thirring, Dynamical entropy of C -algebras and von Neumann algebras, Commun. Math. Phys., 112 (1987, [CS] [Co] A. Connes, E. Størmer, Entropy for automorphisms of II 1 von Neumann algebras, Acta Math., 134 (1975, J.P. Conze, Entropie d un groupe abelien de transformations, Z. Wahrscheinlichkeitstheorie und verw. Geb., 25 (1972, [GN] V.Ya. Golodets, S.V. Neshveyev, Non-Bernoullian quantum K-systems, Commun. Math. Phys., 195 (1998, [K] A. Kirillov. Elements of the Theory of Representations. Springer, [L] S. Lang. Algebra. Addison-Wesley, [M] J. Moulin Ollagnier. Ergodic theory and statistical mechanics. Lect. Notes in Math., 1115, Springer, [StV] E. Størmer, D. Voiculescu, Entropy of Bogoliubov automorphisms of the Canonical Anticommutation Relations, Commun. Math. Phys., 133 (1990, Institute for Low Temperature Physics & Engineering Lenin Ave 47 Kharkov , Ukraine golodets@ilt.kharkov.ua neshveyev@ilt.kharkov.ua 15
arxiv:math/ v1 [math.oa] 10 Feb 2000
On the K-property of quantized Arnold cat maps arxiv:math/0002080v [math.oa] 0 Feb 2000 I S.V. Neshveyev Abstract We prove that some quantized Arnold cat maps are entropic K-systems. his result was formulated
More informationTracial Rokhlin property for actions of amenable group on C*-algebras June 8, / 17
Tracial Rokhlin property for actions of amenable group on C*-algebras Qingyun Wang University of Toronto June 8, 2015 Tracial Rokhlin property for actions of amenable group on C*-algebras June 8, 2015
More informationGaussian automorphisms whose ergodic self-joinings are Gaussian
F U N D A M E N T A MATHEMATICAE 164 (2000) Gaussian automorphisms whose ergodic self-joinings are Gaussian by M. L e m a ńc z y k (Toruń), F. P a r r e a u (Paris) and J.-P. T h o u v e n o t (Paris)
More informationPreliminaries on von Neumann algebras and operator spaces. Magdalena Musat University of Copenhagen. Copenhagen, January 25, 2010
Preliminaries on von Neumann algebras and operator spaces Magdalena Musat University of Copenhagen Copenhagen, January 25, 2010 1 Von Neumann algebras were introduced by John von Neumann in 1929-1930 as
More informationA note on the σ-algebra of cylinder sets and all that
A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In
More informationCrossed products of irrational rotation algebras by finite subgroups of SL 2 (Z) are AF
Crossed products of irrational rotation algebras by finite subgroups of SL 2 (Z) are AF N. Christopher Phillips 7 May 2008 N. Christopher Phillips () C (Z k, A θ ) is AF 7 May 2008 1 / 36 The Sixth Annual
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationElliott s program and descriptive set theory I
Elliott s program and descriptive set theory I Ilijas Farah LC 2012, Manchester, July 12 a, a, a, a, the, the, the, the. I shall need this exercise later, someone please solve it Exercise If A = limna
More informationA direct proof of a result of Wassermann James Tener Subfactor Seminar April 16, 2010
A direct proof of a result of Wassermann James Tener Subfactor Seminar April 16, 010 Abstract Guided by Wassermann s Operator Algebras and Conformal Field Theory III, we will define the basic projective
More informationPACIFIC JOURNAL OF MATHEMATICS Vol. 190, No. 2, 1999 ENTROPY OF CUNTZ'S CANONICAL ENDOMORPHISM Marie Choda Let fs i g n i=1 be generators of the Cuntz
PACIFIC JOURNAL OF MATHEMATICS Vol. 190, No. 2, 1999 ENTROPY OF CUNTZ'S CANONICAL ENDOMORPHISM Marie Choda Let fs i g n i=1 be generators of the Cuntz algebra OP n and let n be the *-endomorphism of O
More informationEntropy, mixing, and independence
Entropy, mixing, and independence David Kerr Texas A&M University Joint work with Hanfeng Li Let (X, µ) be a probability space. Two sets A, B X are independent if µ(a B) = µ(a)µ(b). Suppose that we have
More informationA COMMENT ON FREE GROUP FACTORS
A COMMENT ON FREE GROUP FACTORS NARUTAKA OZAWA Abstract. Let M be a finite von Neumann algebra acting on the standard Hilbert space L 2 (M). We look at the space of those bounded operators on L 2 (M) that
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More information1 α g (e h ) e gh < ε for all g, h G. 2 e g a ae g < ε for all g G and all a F. 3 1 e is Murray-von Neumann equivalent to a projection in xax.
The Second Summer School on Operator Algebras and Noncommutative Geometry 2016 Lecture 6: Applications and s N. Christopher Phillips University of Oregon 20 July 2016 N. C. Phillips (U of Oregon) Applications
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More informationOne-parameter automorphism groups of the injective factor. Yasuyuki Kawahigashi. Department of Mathematics, Faculty of Science
One-parameter automorphism groups of the injective factor of type II 1 with Connes spectrum zero Yasuyuki Kawahigashi Department of Mathematics, Faculty of Science University of Tokyo, Hongo, Tokyo, 113,
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES SPECTRAL THEOREM
MATH 241B FUNCTIONAL ANALYSIS - NOTES SPECTRAL THEOREM We present the material in a slightly different order than it is usually done (such as e.g. in the course book). Here we prefer to start out with
More informationOn Dense Embeddings of Discrete Groups into Locally Compact Groups
QUALITATIVE THEORY OF DYNAMICAL SYSTEMS 4, 31 37 (2003) ARTICLE NO. 50 On Dense Embeddings of Discrete Groups into Locally Compact Groups Maxim S. Boyko Institute for Low Temperature Physics and Engineering,
More informationNon commutative Khintchine inequalities and Grothendieck s theo
Non commutative Khintchine inequalities and Grothendieck s theorem Nankai, 2007 Plan Non-commutative Khintchine inequalities 1 Non-commutative Khintchine inequalities 2 µ = Uniform probability on the set
More informationSpectral Continuity Properties of Graph Laplacians
Spectral Continuity Properties of Graph Laplacians David Jekel May 24, 2017 Overview Spectral invariants of the graph Laplacian depend continuously on the graph. We consider triples (G, x, T ), where G
More informationOptimization Theory. A Concise Introduction. Jiongmin Yong
October 11, 017 16:5 ws-book9x6 Book Title Optimization Theory 017-08-Lecture Notes page 1 1 Optimization Theory A Concise Introduction Jiongmin Yong Optimization Theory 017-08-Lecture Notes page Optimization
More informationVon Neumann algebras and ergodic theory of group actions
Von Neumann algebras and ergodic theory of group actions CEMPI Inaugural Conference Lille, September 2012 Stefaan Vaes Supported by ERC Starting Grant VNALG-200749 1/21 Functional analysis Hilbert space
More informationCohomology of actions of discrete groups on factors of type II 1. Yasuyuki Kawahigashi. Department of Mathematics, Faculty of Science
Cohomology of actions of discrete groups on factors of type II 1 Yasuyuki Kawahigashi Department of Mathematics, Faculty of Science University of Tokyo, Hongo, Tokyo, 113, JAPAN (email: d33844%tansei.cc.u-tokyo.ac.jp@relay.cs.net)
More informationProperty (T) and the Furstenberg Entropy of Nonsingular Actions
Property (T) and the Furstenberg Entropy of Nonsingular Actions Lewis Bowen, Yair Hartman and Omer Tamuz December 1, 2014 Abstract We establish a new characterization of property (T) in terms of the Furstenberg
More informationAMENABLE ACTIONS AND ALMOST INVARIANT SETS
AMENABLE ACTIONS AND ALMOST INVARIANT SETS ALEXANDER S. KECHRIS AND TODOR TSANKOV Abstract. In this paper, we study the connections between properties of the action of a countable group Γ on a countable
More informationCHAPTER X THE SPECTRAL THEOREM OF GELFAND
CHAPTER X THE SPECTRAL THEOREM OF GELFAND DEFINITION A Banach algebra is a complex Banach space A on which there is defined an associative multiplication for which: (1) x (y + z) = x y + x z and (y + z)
More informationERGODIC AVERAGES FOR INDEPENDENT POLYNOMIALS AND APPLICATIONS
ERGODIC AVERAGES FOR INDEPENDENT POLYNOMIALS AND APPLICATIONS NIKOS FRANTZIKINAKIS AND BRYNA KRA Abstract. Szemerédi s Theorem states that a set of integers with positive upper density contains arbitrarily
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationMeasure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India
Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,
More informationERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXXI, 2(2002), pp. 201 210 201 ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES G. R. GOODSON Abstract. We investigate the question of when an ergodic automorphism
More informationvon Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)
von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationDEFINABLE OPERATORS ON HILBERT SPACES
DEFINABLE OPERATORS ON HILBERT SPACES ISAAC GOLDBRING Abstract. Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationCOUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE. Nigel Higson. Unpublished Note, 1999
COUNTEREXAMPLES TO THE COARSE BAUM-CONNES CONJECTURE Nigel Higson Unpublished Note, 1999 1. Introduction Let X be a discrete, bounded geometry metric space. 1 Associated to X is a C -algebra C (X) which
More informationHOPF S DECOMPOSITION AND RECURRENT SEMIGROUPS. Josef Teichmann
HOPF S DECOMPOSITION AND RECURRENT SEMIGROUPS Josef Teichmann Abstract. Some results of ergodic theory are generalized in the setting of Banach lattices, namely Hopf s maximal ergodic inequality and the
More informationON CO-AMENABILITY FOR GROUPS AND VON NEUMANN ALGEBRAS NICOLAS MONOD & SORIN POPA
ON CO-AMENABILITY FOR GROUPS AND VON NEUMANN ALGEBRAS NICOLAS MONOD & SORIN POPA Abstract. We first show that co-amenability does not pass to subgroups, answering a question asked by Eymard in 1972. We
More informationMath 123 Homework Assignment #2 Due Monday, April 21, 2008
Math 123 Homework Assignment #2 Due Monday, April 21, 2008 Part I: 1. Suppose that A is a C -algebra. (a) Suppose that e A satisfies xe = x for all x A. Show that e = e and that e = 1. Conclude that e
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More informationSpectral Measures, the Spectral Theorem, and Ergodic Theory
Spectral Measures, the Spectral Theorem, and Ergodic Theory Sam Ziegler The spectral theorem for unitary operators The presentation given here largely follows [4]. will refer to the unit circle throughout.
More informationThe Structure of C -algebras Associated with Hyperbolic Dynamical Systems
The Structure of C -algebras Associated with Hyperbolic Dynamical Systems Ian F. Putnam* and Jack Spielberg** Dedicated to Marc Rieffel on the occasion of his sixtieth birthday. Abstract. We consider the
More informationNon-separable AF-algebras
Non-separable AF-algebras Takeshi Katsura Department of Mathematics, Hokkaido University, Kita 1, Nishi 8, Kita-Ku, Sapporo, 6-81, JAPAN katsura@math.sci.hokudai.ac.jp Summary. We give two pathological
More informationCARTAN SUBALGEBRAS AND BIMODULE DECOMPOSITIONS OF II 1 FACTORS.
CARTAN SUBALGEBRAS AND BIMODULE DECOMPOSITIONS OF II 1 FACTORS. SORIN POPA AND DIMITRI SHLYAKHTENKO ABSTRACT. Let A M be a MASA in a II 1 factor M. We describe the von Neumann subalgebra of M generated
More informationOn representations of finite type
Proc. Natl. Acad. Sci. USA Vol. 95, pp. 13392 13396, November 1998 Mathematics On representations of finite type Richard V. Kadison Mathematics Department, University of Pennsylvania, Philadelphia, PA
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationA DECOMPOSITION OF E 0 -SEMIGROUPS
A DECOMPOSITION OF E 0 -SEMIGROUPS Remus Floricel Abstract. Any E 0 -semigroup of a von Neumann algebra can be uniquely decomposed as the direct sum of an inner E 0 -semigroup and a properly outer E 0
More informationCHAPTER 6. Representations of compact groups
CHAPTER 6 Representations of compact groups Throughout this chapter, denotes a compact group. 6.1. Examples of compact groups A standard theorem in elementary analysis says that a subset of C m (m a positive
More informationErgodic theorem involving additive and multiplicative groups of a field and
Ergod. Th. & Dynam. Sys. (207), 37, 673 692 doi:0.07/etds.205.68 c Cambridge University Press, 205 Ergodic theorem involving additive and multiplicative groups of a field and {x + y, x y} patterns VITALY
More informationInvariant subspaces for operators whose spectra are Carathéodory regions
Invariant subspaces for operators whose spectra are Carathéodory regions Jaewoong Kim and Woo Young Lee Abstract. In this paper it is shown that if an operator T satisfies p(t ) p σ(t ) for every polynomial
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationUpper triangular forms for some classes of infinite dimensional operators
Upper triangular forms for some classes of infinite dimensional operators Ken Dykema, 1 Fedor Sukochev, 2 Dmitriy Zanin 2 1 Department of Mathematics Texas A&M University College Station, TX, USA. 2 School
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationNew York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group
New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationFree probability and quantum information
Free probability and quantum information Benoît Collins WPI-AIMR, Tohoku University & University of Ottawa Tokyo, Nov 8, 2013 Overview Overview Plan: 1. Quantum Information theory: the additivity problem
More informationSpectral Theory, with an Introduction to Operator Means. William L. Green
Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps
More informationMath 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm
Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel
More informationTame definable topological dynamics
Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre
More informationMaximal vectors in Hilbert space and quantum entanglement
Maximal vectors in Hilbert space and quantum entanglement William Arveson arveson@math.berkeley.edu UC Berkeley Summer 2008 arxiv:0712.4163 arxiv:0801.2531 arxiv:0804.1140 Overview Quantum Information
More informationOn Some Local Operator Space Properties
On Some Local Operator Space Properties Zhong-Jin Ruan University of Illinois at Urbana-Champaign Brazos Analysis Seminar at TAMU March 25-26, 2017 1 Operator spaces are natural noncommutative quantization
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationTHE BOUNDEDNESS BELOW OF 2 2 UPPER TRIANGULAR OPERATOR MATRICES. In Sung Hwang and Woo Young Lee 1
THE BOUNDEDNESS BELOW OF 2 2 UPPER TRIANGULAR OPERATOR MATRICES In Sung Hwang and Woo Young Lee 1 When A LH and B LK are given we denote by M C an operator acting on the Hilbert space H K of the form M
More informationParadigms of Probabilistic Modelling
Paradigms of Probabilistic Modelling Hermann G. Matthies Brunswick, Germany wire@tu-bs.de http://www.wire.tu-bs.de abstract RV-measure.tex,v 4.5 2017/07/06 01:56:46 hgm Exp Overview 2 1. Motivation challenges
More informationErgodic Theory and Topological Groups
Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationThe projectivity of C -algebras and the topology of their spectra
The projectivity of C -algebras and the topology of their spectra Zinaida Lykova Newcastle University, UK Waterloo 2011 Typeset by FoilTEX 1 The Lifting Problem Let A be a Banach algebra and let A-mod
More informationON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES
Georgian Mathematical Journal Volume 9 (2002), Number 1, 75 82 ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES A. KHARAZISHVILI Abstract. Two symmetric invariant probability
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationLecture 19 October 28, 2015
PHYS 7895: Quantum Information Theory Fall 2015 Prof. Mark M. Wilde Lecture 19 October 28, 2015 Scribe: Mark M. Wilde This document is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationEXPANDERS, EXACT CROSSED PRODUCTS, AND THE BAUM-CONNES CONJECTURE. 1. Introduction
EXPANDERS, EXACT CROSSED PRODUCTS, AND THE BAUM-CONNES CONJECTURE PAUL BAUM, ERIK GUENTNER, AND RUFUS WILLETT Abstract. We reformulate the Baum-Connes conjecture with coefficients by introducing a new
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationFUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 33, 2009, 335 353 FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES Yılmaz Yılmaz Abstract. Our main interest in this
More information1 Functional Analysis
1 Functional Analysis 1 1.1 Banach spaces Remark 1.1. In classical mechanics, the state of some physical system is characterized as a point x in phase space (generalized position and momentum coordinates).
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More informationAlmost periodic functionals
Almost periodic functionals Matthew Daws Leeds Warsaw, July 2013 Matthew Daws (Leeds) Almost periodic functionals Warsaw, July 2013 1 / 22 Dual Banach algebras; personal history A Banach algebra A Banach
More informationSome notes on Coxeter groups
Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three
More informationExtensions of pure states
Extensions of pure M. Anoussis 07/ 2016 1 C algebras 2 3 4 5 C -algebras Definition Let A be a Banach algebra. An involution on A is a map a a on A s.t. (a + b) = a + b (λa) = λa, λ C a = a (ab) = b a
More informationFinite-dimensional representations of free product C*-algebras
Finite-dimensional representations of free product C*-algebras Ruy Exel Terry A. Loring October 28, 2008 preliminary version Department of Mathematics and Statistics University of New Mexico Albuquerque,
More informationLecture III: Applications of Voiculescu s random matrix model to operator algebras
Lecture III: Applications of Voiculescu s random matrix model to operator algebras Steen Thorbjørnsen, University of Aarhus Voiculescu s Random Matrix Model Theorem [Voiculescu]. For each n in N, let X
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationINTERPLAY BETWEEN C AND VON NEUMANN
INTERPLAY BETWEEN C AND VON NEUMANN ALGEBRAS Stuart White University of Glasgow 26 March 2013, British Mathematical Colloquium, University of Sheffield. C AND VON NEUMANN ALGEBRAS C -algebras Banach algebra
More informationOperational extreme points and Cuntz s canonical endomorphism
arxiv:1611.03929v1 [math.oa] 12 Nov 2016 Operational extreme points and Cuntz s canonical endomorphism Marie Choda Osaka Kyoiku University, Osaka, Japan marie@cc.osaka-kyoiku.ac.jp Abstract Based on the
More informationSome algebraic properties of. compact topological groups
Some algebraic properties of compact topological groups 1 Compact topological groups: examples connected: S 1, circle group. SO(3, R), rotation group not connected: Every finite group, with the discrete
More informationThe second dual of a C*-algebra
The second dual of a C*-algebra The main goal is to expose a short proof of the result of Z Takeda, [Proc Japan Acad 30, (1954), 90 95], that the second dual of a C*-algebra is, in effect, the von Neumann
More informationThe Phase Space in Quantum Field Theory
The Phase Space in Quantum Field Theory How Small? How Large? Martin Porrmann II. Institut für Theoretische Physik Universität Hamburg Seminar Quantum Field Theory and Mathematical Physics April 13, 2005
More informationFactorization of unitary representations of adele groups Paul Garrett garrett/
(February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The result sketched here is of fundamental importance in
More informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationCUT-OFF FOR QUANTUM RANDOM WALKS. 1. Convergence of quantum random walks
CUT-OFF FOR QUANTUM RANDOM WALKS AMAURY FRESLON Abstract. We give an introduction to the cut-off phenomenon for random walks on classical and quantum compact groups. We give an example involving random
More informationCOMBINATORIAL INDEPENDENCE IN MEASURABLE DYNAMICS
COMBINATORIAL INDEPENDENCE IN MEASURABLE DYNAMICS DAVID KERR AND HANFENG LI Abstract. We develop a fine-scale local analysis of measure entropy and measure sequence entropy based on combinatorial independence.
More information