Spectral automorphisms in CB-effect algebras

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.

0. Introduction. Many features of the theory of commutative W*-algebras in Hilbert space have been shown to extend to appropriate operator algebras in Banach spaces (cf. [2; 3; 7]). Recently an important gap in the theory was closed by Dieudonne [4] who obtained a multiplicity theory in the case that the adjoint X* of the underlying Banach space X (and hence also X) was separable. In this paper a new approach is developed which does not require assumptions of separability and allows us to construct a multiplicity theory also for the algebra of adjoints in X* where the relevant topology is the weak star or %-topology rather than the norm topology. Of the various treatments of multiplicity theory in Hilbert space our development is perhaps closest to that of Kelley [10]. The analogue of a commutative W*-algebra in a Banach space X is the operator algebra a generated in the uniform topology by a complete Boolean algebra 23 of projections in X. For given xeX, the cyclic subspace determined by x is the manifold 9Y(x) =cdm {Ax ACI }. A multiplicity function for f is a function m on e to cardinal numbers, the value m(E) being roughly the smallest number of cyclic subspaces required to span the range of E. The aim of multiplicity theory in this setting is to decompose the identity I in S into the sum of disjoint projections E of uniform multiplicity, i.e. projections such that m(F) =m(E), whenever 0 5 F<E. In ?2 such a decomposition theorem is proved to hold for any function on an abstract B.A. to cardinals which satisfies an appropriate condition of order continuity. Multiplicity functions are constructed respectively for Q3 in X anid Q3* in X* in ??3 and 6 and the cointiniuity condition is verified. Following a detailed analysis of the range of a projectioni of finite uniiform multiplicity, one of the main results of the paper (Corollary 8.5) is obtainied: A projection E in 23 has finite multiplicity n if anid oinly if its adjoint E* in Q* has multiplicity n. We have been unable to decide whether this result remains true for projections of infinite multiplicity. Finally an application is made to the theory of spectral operators of scalar tvpe dleveloped by Dunford [7; 8]. If the resolution of the identity E(.) of

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)

Methods of -representations in Hilbert space are applied to study of systems of n subspaces in a linear space. It is proved that the problem of description of n-transitive subspaces in a finite-dimensional linear space is -wild for n 5.

Beginning with an intuitive consideration of sequences of measurements, we define a time-ordered event space representing the collection of all imaginable outcomes for measurement sequences. We then postulate the generalized distributive relation on the event space and examine the class of measurements for which this relation can be experimentally validated. The generalized distributive relation is shown to lead to a σ-additive conditional probability on the event space and to a predictive and retrodictive formalism for stochastic processes. We then show that this formalism has a predictive and a retrodictive representation in a separable Hilbert space H, which has no counterpart in unitary quantum dynamics.

Projections on Convex Sets in Hilbert Space and Spectral Theory: Part I. Projections on Convex Sets: Part II. Spectral Theory

In this book, modeling and estimation problems of random processes are treated in a unified geometric framework. For this, we need some basic facts about the Hilbert space theory of stochastic vector processes that have finite second order moments and are stationary in the wide sense. Such a process \(\{y(t)\}_{t\in \mathbb{Z}}\) is a collection of real or complex-valued random variables \(y_{k}(t),k = 1,2,\ldots,m,t \in \mathbb{Z}\), which generate a Hilbert space H with inner product $$\displaystyle{\langle \xi,\eta \rangle =\mathop{ \mathrm{E}}\nolimits \{\xi \bar{\eta }\},}$$ where bar denotes conjugation. This Hilbert space is endowed with a shift, i.e., a unitary operator \(\mathcal{U}:\, \mathbf{H} \rightarrow \mathbf{H}\) with the property that $$\displaystyle{y_{k}(t + 1) = \mathcal{U}y_{k}(t),\quad k = 1,2,\ldots,t \in \mathbb{Z}.}$$ In this chapter we introduce some basic geometric facts for such Hilbert spaces. Although we shall assume that the reader has some knowledge of elementary Hilbert space theory, for the benefit of the reader, some relevant facts are collected in Appendix B.2.

An example is given where the linear filtering theory in Hilbert spaces [8] is applied to solving a smoothing problem for hereditary systems with observation delays. As a particular case, we find again the new results from A. Bagchi (1976). This problem is transposed into a filtering problem in Hilbert spaces, using the formalism introduced by M. C. Delfour and S. K. Mitter (1975) in their investigations of hereditary systems. The filter equations then yield a system of equations—stochastic linear equations and Ricatti integro-differential equations—which allows us to find the smoothed state.

In this article I want to discuss a local and manifestly gauge-invariant formulation of quantum electrodynamics which has been developed by R. Menikoff and myself.(1,2) The manifest gauge invariance is achieved by using the electromagnetic field strengths, rather than potentials, to describe the electromagnetic field, and by using local currents, rather than canonical fields, to describe the matter. In order to represent this theory in Hilbert space, we study the continuous unitary representations of the group obtained from the exponentiated currents and electromagnetic field strengths. These operators can be represented on a Hilbert space having positive norm, so that the necessity for an indefinite metric does not arise here, and the equations of motion hold as operator equations in this Hilbert space.

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.

We develop an approximation theory in Hilbert spaces that generalizes the classical theory of approximation by entire functions of exponential type. The results advance harmonic analysis on manifolds and graphs, thus facilitating data representation, compression, denoising and visualization. These tasks are of great importance to machine learning, complex data analysis and computer vision.KeywordsHilbert SpaceEntire FunctionBesov SpaceExponential TypeSelfadjoint OperatorThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Inspired by the modified iteration method devised by He and Zhu [1], the purpose of this paper is to present a modified Krasnoselskii iteration via boundary method. A strong convergence theorem of this iteration for finding minimum norm solution of nonlinear equation of the form S h ( x ) ( x ) = 0 , where S h ( x ) is a nonlinear mapping of C into itself and h is a function of C into [ 0 , 1 ] is then proved in Hilbert spaces. In the same vein, an application to the stationary problem of seepage theory is also presented. The results of this paper are extensions and improvements of some earlier theorems of Saddeek et al. [2].

The formalism of quantum theory in Hilbert space has been applied with success to the modeling and explanation of several cognitive phenomena, whereas traditional cognitive approaches were problematical. However, this 'quantum cognition paradigm' was recently challenged by its proven impossibility to simultaneously model 'question order effects' and 'response replicability'. In Part I of this paper we describe sequential dichotomic measurements within an operational and realistic framework for human cognition elaborated by ourselves, and represent them in a quantum-like 'extended Bloch representation' where the Born rule of quantum probability does not necessarily hold. In Part II we apply this mathematical framework to successfully model question order effects, response replicability and unpacking effects, thus opening the way toward quantum cognition beyond Hilbert space.

We construct several BV master actions for open superstring field theory in the large Hilbert space. First, we show that a naive use of the conventional BV approach breaks down at the third order of the antifield number expansion, although it enables us to define a simple “string antibracket” taking the Darboux form as spacetime antibrackets. This fact implies that in the large Hilbert space, “string fields-antifields” should be reassembled to obtain master actions in a simple manner. We determine the assembly of the string anti-fields on the basis of Berkovits’ constrained BV approach, and give solutions to the master equation defined by Dirac antibrackets on the constrained string field-antifield space. It is expected that partial gauge-fixing enables us to relate superstring field theories based on the large and small Hilbert spaces directly: reassembling string fields-antifields is rather natural from this point of view. Finally, inspired by these results, we revisit the conventional BV approach and construct a BV master action based on the minimal set of string fields-antifields.

A geometric approach to quantum control in projective hilbert spaces