Infinite Dimensional Ito Algebras of Quantum White Noise.pdfVIP

a r X i v : m a t h / 0 5 1 2 2 8 8 v 1 [ m a t h .P R ] 1 3 D e c 2 0 0 5 INFINITE DIMENSIONAL ITO? ALGEBRAS OF QUANTUM WHITE NOISE V. P. BELAVKIN. Abstract. A simple axiomatic characterization of the general (infinite di- mensional, noncommutative) Ito? algebra is given and a pseudo-Euclidean fun- damental representation for such algebra is described. The notion of Ito? B*- algebra, generalizing the C*-algebra is defined to include the Banach infinite dimensional Ito? algebras of quantum Brownian and quantum Le?vy motion, and the B*-algebras of vacuum and thermal quantum noise are characterized. It is proved that every Ito? algebra is canonically decomposed into the orthogo- nal sum of quantum Brownian (Wiener) algebra and quantum Le?vy (Poisson) algebra. In particular, every quantum thermal noise is the orthogonal sum of a quantum Wiener noise and a quantum Poisson noise as it is stated by the Le?vy-Khinchin theorem in the classical case. 1. Introduction The classical differential calculus for the infinitesimal increments dx = x (t+ dt)? x (t) became generally accepted only after Newton gave a very simple algebraic rule (dt) 2 = 0 for the formal computations of first order differentials for smooth trajec- tories t 7→ x (t) in a phase space. The linear space of the differentials dx = αdt for a (complex) trajectory became treated at each x = x (t) ∈ C as a one-dimensional algebra a = Cdt of the elements a = αdt with involution a ? = α?dt given by the complex conjugation α 7→ α? of the derivative α = dx/dt ∈ C and the nilpotent multiplication a ·a? = 0 corresponding to the multiplication table dt ·d?t = 0 for the basic nilpotent element dt = d ? t , the abstract notation of dt. Note that the nilpotent ?-algebra a of abstract infinitesimals αdt has no realization in complex numbers, as well as no operator representation αDt with a Hermitian nilpotent Dt = D ? t in a Euclidean (complex pre-Hilbert) space, but it can be represented by the algebra of complex nil