Linear mappings that preserve potent operators

Linear maps preserving G-unitary operators in Hilbert space

In this article, we consider several local conditions under which linear mappings on algebras act like Lie n-centralizers and we study these linear mappings, Lie n-centralizers and n-commuting linear maps. With various examples, we compare Lie n-centralizers, n-commuting linear maps, and linear mappings acting similarly to Lie n-centralizers under different local conditions. In the following, we consider the mentioned concepts for linear mappings on standard operator algebras over a complex Banach space X with dim X ≥ 2 . As an application of the obtained results, we present some variants of Posner’s second theorem on unital standard operator algebras.

Semilinear operators on a complex Hilbert space are studied in a part of a program that aims to develop the theories of additive operators on complex and quaternionic Hilbert spaces for application to problems in mathematical physics. The more notable among the new results proved on the eigenvalue problem for semilinear operators are the following: (i) if α is an eigenvalue of a semilinear operator then so also is any complex number which has the same modulus as α; (ii) if a normal semilinear operator has two eigenvectors belonging to different eigenvalues, then either the two eigenvectors are orthogonal or two eigenvalues have the same moduli; and (iii) a normal semilinear operator has a complete set of eigenvectors if and only if it is self-adjoint. Further, it is shown that there exists a norm-preserving semilinear isomorphism between the spaces of bounded linear and semilinear operators on a complex Hilbert space. Finally it is demonstrated how the theory of semilinear operators can be exploited to solve the problems of finding three involutive mutually anticommuting self-adjoint two-by-two matrices and four four-by-four matrices with the same properties: the unusual and remarkably easy solution of this old familiar exercise establishes the relevance of the theory being developed here to physics.

As earlier conjectured by several authors and much later established by Solèr, from the lattice-theory point of view, Quantum Mechanics may be formulated in real, complex or quaternionic Hilbert spaces only. On the other hand, no quantum systems seem to exist that are naturally described in a real or quaternionic Hilbert space. In a previous paper [23], we showed that any quantum system which is elementary from the viewpoint of the Poincaré symmetry group and it is initially described in a real Hilbert space, it can also be described within the standard complex Hilbert space framework. This complex description is unique and more precise than the real one as, for instance, in the complex description, all self-adjoint operators represent observables defined by the symmetry group. The complex picture fulfils the thesis of Solér’s theorem and permits the standard formulation of the quantum Noether’s theorem. The present work is devoted to investigate the remaining case, namely, the possibility of a description of a relativistic elementary quantum system in a quaternionic Hilbert space. Everything is done exploiting recent results of the quaternionic spectral theory that were independently developed. In the initial part of this work, we extend some results of group representation theory and von Neumann algebra theory from the real and complex cases to the quaternionic Hilbert space case. We prove the double commutant theorem also for quaternionic von Neumann algebras (whose proof requires a different procedure with respect to the real and complex cases) and we extend to the quaternionic case a result established in the previous paper concerning the classification of irreducible von Neumann algebras into three categories. In the second part of the paper, we consider an elementary relativistic system within Wigner’s approach defined as a locally-faithful irreducible strongly-continuous unitary representation of the Poincaré group in a quaternionic Hilbert space. We prove that, if the squared-mass operator is non-negative, the system admits a natural, Poincaré invariant and unique up to sign, complex structure which commutes with the whole algebra of observables generated by the representation itself. This complex structure leads to a physically equivalent reformulation of the theory in a complex Hilbert space. Within this complex formulation, differently from what happens in the quaternionic one, all self-adjoint operators represent observables in agreement with Solèr’s thesis, the standard quantum version of Noether theorem may be formulated and the notion of composite system may be given in terms of tensor product of elementary systems. In the third part of the paper, we focus on the physical hypotheses adopted to define a quantum elementary relativistic system relaxing them on the one hand, and making our model physically more general on the other hand. We use a physically more accurate notion of irreducibility regarding the algebra of observables only, we describe the symmetries in terms of automorphisms of the restricted lattice of elementary propositions of the quantum system and we adopt a notion of continuity referred to the states viewed as probability measures on the elementary propositions. Also in this case, the final result proves that there exists a unique (up to sign) Poincaré invariant complex structure making the theory complex and completely fitting into Solèr’s picture. The overall conclusion is that relativistic elementary systems are naturally and better described in complex Hilbert spaces even if starting from a real or quaternionic Hilbert space formulation and this complex description is uniquely fixed by physics.

Let X be a complex Hilbert space, let L(X) be the algebra of all bounded linear operators on X, and let A(X) ⊂ L(X) be a standard operator algebra, which is closed under the adjoint operation. Suppose there exists a linear mapping D: A(X) → L(X) satisfying the relation D(AA*A) = D(A) A*A + AD(A*)A + AA*D(A), for all A ∈ A(X). In this case D is of the form D(A) = AB-BA, for all A∈ A(X) and some B ∈ L(X), which means that D is a derivation. We apply this result to semisimple H*-algebras.

From the viewpoint of the theory of orthomodular lattices of elementary propositions, Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Sol\'er's theorem. The said lattice eventually coincides with the lattice of all orthogonal projectors on a separable Hilbert space over R, C, or over the algebra of quaternions H. Quantum states are $\sigma$-additive probability measures on that non-Boolean lattice. Gleason's theorem proves that, if the Hilbert space is separable with dimension >2 and the Hilbert space is either real or complex, then states are one-to-one with standard density matrices (self-adjoint, positive, unit-trace, trace-class operators). The extension of this result to quaternionic Hilbert spaces was obtained by Varadarajan in 1968. Unfortunately, even if the hard part of the proof is correct, the formulation of this extension is mathematically incorrect. This is due to some peculiarities of the notion of trace in quaternionic Hilbert spaces, e.g., basis dependence, making the theory of trace-class operators in quaternionic Hilbert spaces different from the standard theory in real and complex Hilbert spaces. A minor issue also affects Varadarajan's statement for real Hilbert space formulation. This paper is mainly devoted to present Gleason-Varadarajan's theorem into a technically correct form valid for the three types of Hilbert spaces. After having develped part of the general mathematical technology of trace-class operators in (generally non-separable) quaternionic Hilbert spaces, we prove that only the {\em real part} of the trace enters the formalism of quantum theories (also dealing with unbounded observables and symmetries) and it can be safely used to formulate and prove a common statement of Gleason's theorem.

K-POTENT PRESERVING LINEAR MAPS

We prove a theorem, which, while it fits naturally into the Segal–Weinless approach to quantization seems to have been overlooked in the literature: Let (D,σ) be a symplectic space, and 𝒯 (t) a one parameter group of symplectics on (D,σ). Let (ℋ, 2Im〈⋅ ‖ ⋅〉) be a complex Hilbert space considered as a real symplectic space, and U(t) a one-parameter unitary group on ℋ with strictly positive energy. Suppose there is a linear symplectic map K from D to ℋ with dense range, intertwining 𝒯 (t) and U(t). Then K is unique up to unitary equivalence.

Let H be an infinite dimensional complex Hilbert space and let be a surjective linear map on B(H) with (I) I 2 K(H), where K(H) denotes the closed ideal of all compact operators on H. If preserves the set of upper semi-Weyl operators and the set of all normal eigenvalues in both directions, then is an automorphism of the algebra B(H). Also the relation between the linear maps preserving the set of upper semi-Weyl operators and the linear maps preserving the set of left invertible operators is considered.

In this paper we characterize all linear surjective maps on the algebra of all bounded linear operators acting on a complex separable infinite-dimensional Hilbert space, preserving operators of finite essential ascent, operators of finite essential descent, or operators of finite essential ascent and finite essential descent in both directions.

By a von Neumann algebra M we mean a weakly closed, self-adjoint algebra of operators on a Hilbert space which contains I, the identity operator. A factor is a von Neumann algebra whose centre consists of scalar multiples of I.In all that follows ϕ:M → N will be a one to one, *-linear map from the von Neumann factor M onto the von Neumann algebra N such that both ϕ and ϕ−1 preserve commutativity. Our main result states that if M is not of type I2 then where is an isomorphism or an antiisomorphism, c is a non-zero scalar, and λ is a *-linear map from M into ZN, the centre of N.Our interest in this problem was aroused by several recent results. In [1], Choi, Jafarian, and Radjavi proved that if S is the real linear space of n × n matrices over any algebraically closed field, n ≧ 3, and ψ a linear operator on S which preserves commuting pairs of matrices, then either ψ(S) is commutative or there exists a unitary matrix U such thatfor all A in S. They proved an analogous result for the collection of all bounded self-adjoint operators on an infinite dimensional Hilbert space when ψ is one to one. Subsequently, Omladic [7] proved that if ψ:L(X) → L(X) is a bijective linear operator preserving commuting pairs of operators where X is a non-trivial Banach space, thenwhere U is a bounded invertible operator on X and A′ is the adjoint of A.

Weakly closed, commutative, symmetric rings of operators on a Hilbert space are examined and their structure is ex ploited to characterize normal operators in terms of the rings they generate. In the first chapter, notation is established, and the less common theorems from Hilbert space theory not to be used in later sections are briefly reviewed. In Chapter II, the structure of weakly closed, commu tative, symmetric rings with a cyclic vector is specified. This theorem is then used in conjunction with a strucure called a canonical decomposition system to establish that every weakly closed, commutative, symmetric ring or opera tors acting on a separable space and containing the iden tity is spatially isomorphic to a "divect sum" of L rings of a certain type. In Chapter III, two sets of necessary and sufficient conditions are given for two normal operators on a separ able Hilbert space to be unitarily equivalent. The concept of a spectral class of a normal operator is introduced -a natural generalization of the concept of an eigen value. Each spectral class is assigned a multiplicity, and it is shown that two normal operators are unitarily equivalent iff they have the same spectral classes with the same respective multiplicities. A multiplicity is iv also defined for weakly continuous positive functionals o n the symmetric ring generated by a normal operator in the weak topology, and it is shown that this multiplicity function determines the operator. This multiplicity theory is compared w i t h a previous theory. v CHAPTER I INTRODUCTION We shall be concerned in this paper with rings of operators on a Hilbert space, in particular, weakly closed, commutative, symmetric rings. All Hilbert spaces to be considered will be complex Hilbert spaces. If H is a Hilbert space and x,y e H, then (x(y) will denote the inner product of x and y, and 1 Jxi| will denote the norm of x. We shall consider only bounded linear operators in this paper, and therefore we shall use the word "operator" solely to mean a bounded linear operator. The set of all operators on the Hilbert space H will be denoted by B(H). If A s B(H), then A* will denote the adjoint of A, We employ the usual concepts of isometric, unitary, hermitian, normal, and positive definite operators. Knowledge of the weak, strong, strongest, and norm topologies for B(H) is assumed. The norm topology is the strongest of the four; hence, any set of operators closed in one of the topologies is closed in the norm topology. By a ring of operators we shall mean a set of opera tors forming a ring in the usual algebraic sense which is also a vector space over the complex numbers. A ring R of operators is symmetric if A e R whenever A e R. from the theory of Banach algebras, we know that any norm closed, 1 we define an operator A a e BCLg) by A ftf = af* Note that two Ly,, functions which differ only on a set of measure zero give rise to the same operator. The ring of operators thus obtained is a maximal, commutative, symmetric ring. If E is a weakly closed, commutative, symmetric ring with maximal ideal space M, then the fact that E is closed under sups gives rise to some strong topological properties of M. In this case, M is totally disconnected, and the closure of every open set is open. Thus, M contains many sets which are both open and closed, and such sets we call clopen. It is easy to see that projections in E correspond v i a the Gelfand transform to the characteristic functions of clopen sets. If U is a clopen subset of M, then we will let pu denote the corresponding projection in E. pu (m) -JtjjCm) = the characteristic function of U. Throughout the remainder of this discussion, E will denote a weakly closed commutative, symmetric subring of B(H) with identity, and M will denote the maximal ideal space of E. Corresponding to each vector 5 e H, there is a measure u on M defined by The topological properties of M carry strong implications for the resulting measure space. If S = M is measurable, then there exists a clopen set U such that m (S\UUU\S) * 0. If ? is cyclic for E ' , then u is supported on all of M, in ( A $ 0 = J A (m)du(m)

The decomposition of the spectrum of bounded linear mapping is a fundamental topic in functional analysis that has wide ranging implications in various fields. In this study the context of bounded linear mappings will be discussed. The spectrum of a linear mapping provides crucial information about its eigenvalues and eigenvectors, and the overall behaviour of the operator. By understanding the decomposition of spectrum, the study will gain great insights into different components that contribute to the overall content of a spectrum, leading to deeper understanding of the mapping’s properties of a spectrum in a Hilbert space.

Anticipating the realization of quantum computers, we propose the most reader-friendly exposition of quantum information and qubits theory. Although the latter lies within framework of linear algebra, it has some fl avor of quantum mechanics and it would be easier to get used to special symbols and terminologies. Quantum mechanics is described in the language of functional analysis: the state space (the totality of all states) of a quantum system is a Hilbert space over the complex numbers and all mechanical quantities are taken as Hermite operators. Hence some basics of functional analysis is necessary. We make a smooth transition from linear algebra to functional analysis by comparing the elements in these theories: Hilbert space vs. fi nite dimensional vector space, Hermite operator vs. linear map given by a Hermite matrix. Then from Newtonian mechanics to quantum mechanics and then to the theory of qubits. We elucidate qubits theory a bit by accommodating it into linear algebra framework under these precursors.

In this chapter we discuss the basic framework of reflection positivity: reflection positive Hilbert spaces. These are triples \((\mathscr {E},\mathscr {E}_+, \theta )\), consisting of a Hilbert space \(\mathscr {E}\), a unitary involution \(\theta \) on \(\mathscr {E}\) and a closed subspace \(\mathscr {E}_+\) which is \(\theta \)-positive in the sense that \(\langle \xi ,\theta \xi \rangle \ge 0\) for \(\xi \in \mathscr {E}_+\). This structure immediately leads to a new Hilbert space \(\widehat{\mathscr {E}}\) and a linear map \(q : \mathscr {E}_+ \rightarrow \widehat{\mathscr {E}}\) with dense range. When the so-called Markov condition is satisfied, there even exists a closed subspace \(\mathscr {E}_0 \subseteq \mathscr {E}_+\) mapped isometrically onto \(\widehat{\mathscr {E}}\) (Sect. 2.3). Reflection positive Hilbert spaces arise naturally in many different contexts: as graphs of contractions (Sect. 2.2), from reflection positive distribution kernels on manifolds (Sect. 2.4) and in particular from dissecting reflections of complete Riemannian manifolds and resolvents of the Laplacian (Sect. 2.5). This motivates the short discussion of an abstract operator theoretic context of reflection positivity in Sect. 2.6.