A Local Gauge-Invariant Formulation of Quantum Electrodynamics

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.

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

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.

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.

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.

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)

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.

Spectral automorphisms have been introduced in [IVANOV, A.—CARAGHEORGHEOPOL, D.: Spectral automorphisms in quantum logics, Internat. J. Theoret. Phys. 49 (2010), 3146–3152]_in an attempt to construct, in the abstract framework of orthomodular lattices, an analogue of the spectral theory in Hilbert spaces. We generalize spectral automorphisms to the framework of effect algebras with compression bases and study their properties. Characterizations of spectral automorphisms as well as necessary conditions for an automorphism to be spectral are given. An example of a spectral automorphism on the standard effect algebra of a finite-dimensional Hilbert space is discussed and the consequences of spectrality of an automorphism for the unitary Hilbert space operator that generates it are shown. The last section is devoted to spectral families of automorphisms and their properties, culminating with the formulation and proof of a Stone type theorem (in the sense of Stone’s theorem on strongly continuous one-parameter unitary groups — see, e.g. [REED, M.#x2014;SIMON, B.: Methods of Modern Mathematical Physics, Vol. I, Acad. Press, New York, 1975]) for a group of spectral automorphisms.

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].

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

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.

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.

Index theory and second quantization of boundary value problems

In this work, time-depended Schrodinger equation described particles at matter (crystal, catalysis, metal) surface could be considered as propose of numerical control of quantum system. Accessing existing physical experimental results on the motion of particles (molecules, atoms) at surface, based on variational method of quantum control theory in Hilbert space, using density function theory (DFT), time-depended Schrodinger equation to proceed the investigation of computational approach. To do quantum calculation at surface, physically, first needs a concept as control goal: such as breaking a chemical bond as target; reducing energy of high intensity shaped laser pulse. Particles at surface is a kind of constrain control for spatial variable. Optimal control is to find and characterize the quantum optima for minimizing or maximizing the cost functional. Control methods contain selecting chemical reagent, designing chemical reaction, making control scope for a quantized system: time varying Schrodinger equation. Precisely, for general quadratic cost function, in two or three dimensional cases, a semi discrete (time continuous, spatial discrete) algorithm consisting of finite element method and conjugate gradient method, would be utilized for solving a numerical solution of state system, and obtaining quantum optimal control from a initial guess of control input. It is quite curious: what is the difference of control particles occurred at surface than control free particles? whether one can develop a suit of theory or methodology for quantum surface control? It is certainly expected to connect theoretical control, to numerical or computational control, and to experimental control as carrying out quantum system control of particles on the surface. It is desired that quantum control theory (QCT) for quantum dot at surface would be evidenced in visualization method, and attained confidential verification in the guidance of real-time computer-aided experiments in the viewpoint of chemistry and physics.