The Wigner Semi circle Law in Quantum Electro Dynamics

Transcription

1 The Wigner Semi circle Law in Quantum Electro Dynamics L. Accardi Y.G. Lu Centro V. Volterra Università degli Studi di Roma - Tor Vergata Via Orazio Raimondo, 173 Roma Italy 1

2 Contents 1 Introduction 3 2 The QED Model 6 3 The Collective Operators and Collective Vectors 1 4 Non Gaussianity of the quantum noise 13 5 The Limit of the Spaces of the Collective Vectors 16 6 Non crossing Pair Partitions 22 7 Limits of Matrix Elements of Arbitrary Products of Collective Operators 24 8 Why Hilbert Modules? 3 9 The Wigner Semicircle Law 34 1 The limit stochastic process 37 2

3 ABSTRACT In the present paper, the basic ideas of the stochastic limit of quantum theory are applied to quantum electro-dynamics. This naturally leads to the study of a a new type of quantum stochastic calculus on a Hilbert module. Our main result is that in the weak coupling limit of a system composed of a free particle (electron, atom,...) interacting, via the minimal coupling, with the quantum electromagnetic field, a new type of quantum noise arises, living on a Hilbert module rather than a Hilbert space. Moreover we prove that the vacuum distribution of the limiting field operator is not Gaussian, as usual, but a nonlinear deformation of the Wigner semi circle law. A third new object arising from the present theory, is the so called interacting Fock space. A kind of Fock space in which the n quanta, in the n-particle space, are not independent, but interact. The origin of all these new features is that we do not introduce the dipole approximation, but we keep the exponential response term, coupling the electron to the quantum electromagnetic field. This produces a nonlinear interaction among all the modes of the limit master field (quantum noise) whose explicit expression, that we find, can be considered as a nonlinear generalization of the Fermi golden rule. 1 Introduction Quantum electro dynamics (QED) studies the interaction between matter and radiation. Due to the nonlinearity of this interaction (c.f. (2) below), an explicit solution of the equations of motion is not known and, for their study, several types of approximations have been introduced. Probably the best known of these approximations is the dipole approximation in which the so called response term (e ik q in (2)) which couples matter, represented by a electron in position q, to the k-th mode of the EM-field, is assumed to be 1. The dipole approximation has its physical motivations in the fact that, at optical frequencies and for atomic dimensions one estimates that k q 1 3 (cf. [1] ) and therefore very small. Most of the concrete applications of QED (e.g. in quantum optics, laser theory,...) have been obtained under the dipole approximation or by replacing the response term by the first few (at most 3) terms in its series expansion (the so called multipole terms). The first step towards the elimination of the dipole approximation was done in [2], [3], where the quasi dipole approximation was introduced. In the 3

4 present investigation this approximation is not assumed: we shall just keep the response term. The most surprising consequence of this more precise analysis is that the limiting noise, which approximates the quantum electromagnetic field is no longer a quantum Brownian motion, but a nontrivial generalization of the free noises, introduced by Kümmerer and Speicher [9], [16] who were inspired by Voiculescu s free central limit theorems [17], and developed by Fagnola in [7]. This free noise has been generalized by Bozejko and Speicher [5], [6] and the quantum noise which, according to the present paper, arises canonically from QED is a further generalization in this direction. The main difference between the usual gaussian and the so called free gaussian fields is that the vacuum expectation values of products of creation and annihilation fields are obtained, in the free gaussian case, by summing the products of pair correlation functions not over all the pair partitions, as in the usual (boson or fermion gaussian) case, but only on the so called non crossing pair partitions, defined in Section 5 of the present paper. In terms of graphs this means that the summation does not run over all graphs, but only over the so called rainbow (or half planar cf. [2]) graphs. However it seems that the connection between these graphs and the Wigner semi circle law was not realized in the previous physical literature. Another novel feature, arising from the present analysis (and which already emerged at the level of quasi dipole approximation (cf. [3])) is that the noise does not live on a Hilbert space, but on a Hilbert module over the momentum algebra of the electron. This Hilbert module is described in Section 7 of the present article. The general notion of Hilbert module was introduced for purely mathematical reasons and up to now this notion had found its main applications in K theory for operator algebras (we refer to [4], [8], [14], [15], for the general theory of Hilbert modules). This circumstance has required the developement of a theory of quantum stochastic calculus over a Hilbert module (see [11], [12], [13]). A third result of the present analysis is the emergence of a new type of Fock space, which we call the interacting Fock space because the quanta in the n-particle space are not independent but interact in a highly nonlinear way (cf. Section 7 below and in particular Theorem 4). The vacuum distribution of the field operators in this space is not Gaussian but a nonlinear modification of the Wigner semicircle law to which it reduces exactly when the nonlinear factor arising in the interacting Fock space is put equal to zero. The Wigner semicircle law was discovered by Wigner [18] starting from 4

5 a purely phenomenological model to mimic the behaviour of Hamiltonians of heavy nuclei. It is rather surprising that it arises naturally in QED and that its appearance is accompanied by the emergence of some new mathematical structures whose properties make them natural candidates for the description of those phenomena in which the self interaction of quantum fields plays an essential role. Since the dipole approximation is effective at low frequencies and small atomic dimensions, it is reasonable to hope that the results of the present paper might shed some light on a class of phenomena in which high frequencies or finite atomic dimensions play an essential role. The systematic investigation of this possibility seems to deserve further attention. The outline of the present paper is as follows: in Section1 we describe the Hamiltonian model: it is essentially a generalization of the Frölich polaron Hamiltonian, to which it reduces when one puts p = 1 and replaces the factor 1/Sectionqrt k by 1/ k in formula (2) below, which describes the interaction Hamiltonian. In Section2 we describe the collective vectors and determine the 2 point function of the quantum noise, to which the initial quantum field converges when λ. Section Section3 is devoted to prove the non Gaussianity of the limit noise. It describes, in the simplest possible case of the 4 point function, the mechanism through which only the non crossing pair partitions (rainbow graphs) survive in the limit. This essentially results from a combined effect of the CCR plus the Riemann Lebesgue Lemma. The full limit space of the quantum noise is obtained in Section4. In Section5 we introduce some combinatorial properties of the non crossing pair partitions which shall be used in the following sections. The technical core of the paper is Section6, where we obtain the limit of the joint correlations of arbitrary products of collective creation and annihilation operators, i.e. we prove the convergence, in the sense of mixed vacuum moments, of the collective process to the quantum noise which shall be described in Section 7. This allows to obtain our main goal, i.e. to compute the limit of the matrix elements of the wave operator in arbitrary collective vectors. In Section7 we identify the limit noise space to a Hilbert module over the momentum C algebra of the electron (the small system in our terminology). This is the interacting Fock space (more precisely Fock module) mentioned above. In Section8 we compute the vacuum distribution of the noise field and we show that, if the interaction among the field modes is neglected, it reduces to a convex combination of Wigner semi circle laws parametrized by 5

6 the momentum of the electron. Finally, in Section 9, we describe, without proof, the quantum stochastic differential equation (cf. (121)) satisfied by the weak coupling limit of the wave operator at time t (the unitary Markovian cocycle, in the language of quantum probability). This has to be meant in the sense of stochastic calculus on Hilbert modules, as developed in [11], [12], [13]. This Section has been included for completeness. We did not include the proof because, although long and elaborated from the technical point of view, it does not need new ideas and techniques, being based on a procedure which has now become standard in the stochastic limit of quantum theory, namely: one considers the matrix elements, in some collective vectors, of the wave operator at time t and show that, in the limit λ, they satisfy the same ordinary differential equation, with the same initial condition, as the corresponding matrix elements of the solution of the stochastic equation, which is known to be unique from the general theory [11]. In the revised version of the present paper we have enlarged the introduction, added several comments and corrected several notational and linguistic misprints. No statement or proof has been changed with respect to the original version of the paper (submitted for publication in November 1992). 2 The QED Model We consider a free particle, called, the system, and characterized by: - its Hilbert space L 2 (R d ) with d 3 - its Hamiltonian H S := /2 = p 2 /2 where is the Laplacian and p = (p 1, p 2,..., p d ) the momentum operator. This system interacts with a quantum field in Fock representation whose free Hamiltonian is informally written as: H R := k Z d k a + k a k (1) where to each mode k Z d is associated a representation of the CCR with creation and annihilation operators a + k, a k respectively (a k = (a 1,k, a 2,k,..., a d,k )). 6

7 The interaction between the system and the field is informally written as: λh I = λ k e ik q p a+ k k + h.c. = λ(a(q) p + p A(q)) (2) where A(q) is the vector potential, the tensor product p a k means p a k = d j=1 p j a j,k (3) and the factor λ is a small scalar (coupling constant). This interaction is obtained from the usual minimal coupling interaction by neglecting the term of order λ 2. Notice that, dropping the λ 2 term, breaks the gauge invariance of the theory. The realization of the present program without dropping the λ 2 term is a nontrivial problem. We conjecture that the limit should be the same. Even more difficult is the problem of realizing the present program for a non free particle. There are indications that this program should be realizable for some classes of potentials. These topics will be discussed elsewhere. They are mentioned here only to indicate some possible lines of development. The total Hamiltonian we are going to consider is H = H S + H R + λh I. The most important object for such interacting model is the wave operator at time t. In the interacting picture it can be written as U (λ) t := e it(h S+H R ) e it(h S+H R +λh I ) (4) where U (λ) t is the solution of the Schrödinger equation: d dt U (λ) t = iλh I (t)u (λ) t, U (λ) = 1 (5) and the evolved interaction Hamiltonian H I (t) is given by H I (t) := e it(h S+H R ) H I e it(h S+H R ) (6) Replacing in (1), (2) the sum by a continuous integral and the factor 1/ k by a cut-off function g(k), H I (t) is given by the expression: [ ] H I (t) = i dke itp2 /2 e ik q e itp2 /2 ( ip) (S t g)(k)a + k h.c. R d (7) 7

8 where g is a good function (e.g. a Schwartz function) and {St } t is the unitary group on L 2 (R d ) given, in momentum representation, by (St g)(k) = e it k g(k) (8) By the CCR, we have e itp2 /2 e ik q e itp2 /2 = e ik q e itk p e it k 2 /2 (9) e ik q e itk p = e itk p e ik q e it k 2 (1) Therefore, one can rewrite (7) in the form [ ] H I (t) = i dke ik q e itk p e it k 2 /2 ( ip) (St g)(k)a + k h.c. R d (11) Without loss of generality we can simply forget the factor e it k 2 /2 by transfering it into S t. More precisely, form now on, the 1 particle free evolution shall not be the original one (8), but the modified one (S t g)(k) := e it( k +k2 /2) g(k) (12) The integrals (7), (11), should be meant in the weak topology on the subspace S(R d ) E (of L 2 (R d ) Γ(L 2 (R d ))), algebraic tensor product of the Schwartz functions and the (algebraic) linear span of the exponential and number vectors. This means that the matrix elements of H I (t) in these vectors are well defined (and this is the only thing that shall be used in the following). More precisely, if f and h are in S(R d ) and t R, then the functions T f,h,j,t : k R d < f, e itp2 /2 e ik q e itp2 /2 ( ip j )h > L 2 (R d ) ; j = 1, 2,..., d (13) are also in S(R d ) and the integrals A + j (T f,h,j,ts t g) = dk < f, e itp2 /2 e ik q e itp2 /2 ( ip j )h > (S t g)(k)a + j,k (14) R d (j = 1, 2,..., d) define independent copies of the Boson Fock creation field over L 2 (R d ) (notice that the Schwartz functions are an algebra, thus the product of two of them is still a test function) and therefore, for f, h as 8

9 above and ψ, ψ E the matrix element < f ψ, H I (t)h ψ > can be interpreted as d < ψ, A + j (T f,h,j,ts t g)ψ > j=1 In conlusion we recall the basic strategy of the stochastic limit in quantum theory: the starting point is the formal solution of equation (5), given by the iterated series: t tn 1 U (λ) t = ( i) n λ n dt 1 dt n H I (t 1 ) H I (t n ) (15) n= In usual perturbation theory one considers the first few terms of the series (15), in increasing powers of λ. For this procedure to make sense, it is required that the coupling constant be small in some sense. In the stochastic limit in quantum field theory one renormalizes time by the replacement t t/λ 2 and studies the limit, as λ, of matrix elements of the form: < Φ λ (ξ), U (λ) t/λ 2 Φ λ(η) > (16) where, ξ, η L 2 (R d ) and the Φ λ are the so-called collective vectors. They are chosen according to criteria which depend on the model and are suggested by the usual perturbation theory. The basic goal of the theory is to prove that, as λ, the limit of (16) exists and has the form < Φ(ξ), U(t)Φ (η) > (17) where Φ(ξ), Φ (η) are vectors in the tensor product space of the system space with a certain limiting space H, called the noise space, whose explicit form has to be determined, and the limit process {U(t)} t is unitary on the tensor product space for each t. In the following, the subspace S(R d ) of the Schwartz functions shall be often denoted KSectionubsetL 2 (R d ). For any pair f, g K, the condition < f, S t g > dt < (18) which plays a crucial role in the theory is satisfied. R 9

10 3 The Collective Operators and Collective Vectors One of the basic heuristic rules of the stochastic limit in quantum field theory is that the choice of the collective vectors is suggested by first order analysis of the usual perturbation theory. Following this rule, in this section we shall introduce some preliminary considerations which give an intuitive idea on how to define the collective vectors. For each t R +, define A + (S t g) := dke ik q e itk p (S t g)(k) a + k (19) R d as explained in formula (14) and define A(S t g) as the formal adjoint of A + (S t g) i.e., recalling (12) A(S t g) := dke itk p e ik q (S t ḡ)(k) a k (2) R d Both A + (S t g), A(S t g) act on L 2 (R d ) Γ(L 2 (R d )), where Γ(L 2 (R d )) denotes the Boson Fock space over L 2 (R d ), and behave like creation and annihilation operators respectively, more precisely, for each ξ, f in the Schwartz space S(R d ): ( ) A(S t g) ξ Φ(f) = R d dke itk p e ik q ξ (S t ḡ)(k)f(k)φ(f) (21) where Φ(f) is the coherent or number vector with test function f and the integral in (21) is meant weakly on the domain S E(S) where E(S) denotes the space algebraically generated by the coherent or number vectors with test functions in S. In these notations, we have that [ ] H(t) = i A + (S t g)( ip) h.c. (22) and the first order term of the interated series for U (λ) t is: iλ t dt 1 H(t 1 ) = λ t dt 1 [A + (S t1 g)( ip) h.c.] = A + (λ 1 t dt 1 S t1 g)( ip) h.c. (23)

11 For simplicity, in (22), we write ( ip) instead of ( ip) 1 Γ, where 1 Γ is the identity operator on Γ(L 2 (R d )). In particular, in the iterated series for U t/λ 2 the first order term is t/λ 2 ) A ((λ + dt 1 S t1 g)( ip) h.c. Following the above mentioned heuristic rule (see also [1]), we define the collective annihilator process by: t/λ 2 t/λ 2 A λ (, t, g) := A(λ dt 1 S t1 g) = λ dt 1 dke R itk p e ik q S t g(k)a k ; t R d (24) and its conjugate, the collective creator process, by: t/λ 2 t/λ 2 A + λ (, t, g) := A+ (λ dt 1 S t1 g) = λ dt 1 dke R ik q e itk p S t g(k)a + k ; t R d (25) More generally, for any bounded interval [S, T ]SectionubsetR and Schwartz function f, we shall define the collective creators and annihilators by: A + λ (S, T, f) := λ T/λ 2 S/λ 2 dt dke ik q e itk p S t f(k)a + k R d (26) Notice that, with these notations, the first order term of the iterated series (1.14) can be written in the form: λ t/λ2 dt 1 H I (t 1 ) = i[pa λ (, t, g) A + λ (, t, g)p] (27) which has a formal similarity with the dipole approximation Hamiltonian (c.f. [2] ) except for the fact that in (27) the collective annihilators and creators also contain operators of the system space, hence they do not commute with p. The first step of the program of the stochastic limit in quantum theory is to show that in a certain sense, as λ, i.e. the collective operators converge to some kind of creation and annihilation operators A + (S, T, f) and A(S, T, f) acting on some limit Hilbert space. Symbolically: A + λ (S, T, f) A+ (S, T, f); A λ (S, T, f) A(S, T, f) 11

12 In order to determine the stucture of this space, the consideration of the two point function is naturally suggested by the fact that the vacuum distribution of the creation and annilhilation fields, before the limit, is gaussian. The limit of the two point function of the collective creation and annihilation operators can be obtained as follows: for each s, t, one has t/λ 2 s/λ 2 λ 2 dt 1 dt 2 dk 1 dk 2 < a k1 a R + k 2 > (28) d R d < ξ, ( ip)e it 1k 1 p e ik 1 q (S t1 g)(k 1 )e ik 2 q e itk 2 p ( ip)(s t2 g)(k 2 )η >= t/λ 2 s/λ 2 = λ 2 dt 1 dt 2 dke R i(t 2 t 1 ) k 2 /2 < (ip)ξ, e i(t 2 t 1 )k p (ip)η > ḡ(k)(s t2 g)(k) d which, as λ, tends to: + t s dτ dk < (ip)ξ, e iτk p (ip)η > ḡ(k) (S τ g)(k) R d (29) If, in (28), one replaces the zeros in the first two integrals by T/λ 2, S/λ 2 repectively, then the limit (29) is replaced by + < χ [T,t], χ [S,s] > L 2 (R) dτ dk < (ip)ξ, e iτk p (ip)η > ḡ(k) (S τ g)(k) R d (3) Keeping in mind the definitions (24) and (25) of collective annihilator and creator, the above result can be rephrased as follows: the approximate two point function < ξ Φ, A λ (, t, g)a + λ (, s, g) η Φ > (31) tends to an object which for some aspects, is very similar to a two point function. In section (4.) we show how to substantiate this analogy. Remark. Although the collective creation and, annihilation operators depend on the operator q, the limit of their 2-point function, i.e. (28), given by (29), is independent of q. However a remnant of the original q dependence remains in the limit through the commutation relation (95). The above considerations suggest to introduce the collective number vectors, which shall play a crucial role in the following. 12

13 Definition 1 A collective number vector is a vector of L 2 (R d ) Γ(L 2 (R d )) obtained by applying a (finite) product of collective creation operators to a vector of the form Φ ξ where Φ is the vacuum in Γ(L 2 (R d )) and ξ is an arbitrary vector in L 2 (R d ). Such a vector has the form A + λ (S 1, T 1, f 1 )... A + λ (S n, T n, f n )ξ Φ (32) In the following, when no confusion can arise, we shall use the simplified notation A + λ,h ξ Φ (33) to denote a vector of the form (32). Notice, for future use, that the indices of the creators in (33) are increasing from left to right. The linear span of the collective vectors, for a given value of the coupling constant λ will be denoted H λ and called the space of collective vectors. It will be convenient to operate a change in notations with respect to the previous Sections and to write the state space of the composite system in the form Γ(L 2 (R d )) L 2 (R d ), rather than L 2 (R d ) Γ(L 2 (R d )). 4 Non Gaussianity of the quantum noise From the previous two Sections we know that our original physical model is Boson Gaussian, i.e. the creation and annihilation fields satisfy the CCR and their vacuum distributions are Gaussian. In this section we want to give an intuitive idea of the mechanism through which, by applying to the present model the procedure of the stochastic limit of quantum theory, in the limit λ of the vacuum correlation functions of the collective operators all the terms, corresponding to crossing partitions, vanish and the only nontrivial contributions come from the non crossing pair partitions (cf. Section (5) below for a quick review and references on this notion). This phenomen corresponds to the breaking of the gaussianity (because in the gaussian case all pair partitions, and not only the non crossing ones, contribute to the correlations). The lowest order correlation function where the distinction between crossing and noncrossing pair partitions (and therefore between gaussian and non gaussian correlations) can become apparent corresponds to the four point function therefore in this Section we 13

14 shall study the limit of < A + λ (T 1, f 1 )A + λ (T 2, f 2 )Φ ξ, A + λ (T 1, f 1)A + λ (T 2, f 2)Φ η > (34) (the general case is dealt with is Sections (7) and (8)). By the definition of collective creation and annihilation operators, (34) is equal to T1 /λ 2 T2 /λ 2 < λ 2 dt 1 dt 2 R d R d dk 1 dk 2 e ik 1 q e it 1k 1 p e ik 2 q e it 2k 2 p (S t1 f 1 )(k 1 )(S t2 f 2 )(k 2 )a + k 1 a + k 2 > ξ, T λ 2 1 /λ 2 T 2 /λ 2 ds 1 ds 2 e ik 1 q e is 1k 1 p e ik 2 q e is 2k 2 p R d R d = λ 4 T1 /λ 2 (S s1 f 1)(k 1)(S s2 f 2)(k 2 )a + k a + 1 k η >= 2 T2 /λ 2 T 1 /λ 2 T 2 /λ 2 dt 1 dt 2 ds 1 ds 2 R 4d dk 1 dk 2 dk 1dk 2 < ξ, e it 2k 2 p e ik 2 q e it 1k 1 p e ik 1 q e ik 1 q e is 1k 1 p e ik 2 q e is 2k 2 p η > (S t1 f 1 )(k 1 )(S t2 f 2 )(k 2 )(S s1 f 1)(k 1)(S s2 f 2)(k 2) < a k2 a k1 a + k a + 1 k > 2 T1 /λ 2 T2 /λ 2 T = λ 4 1 /λ 2 T 2 /λ 2 dt 1 dt 2 ds 1 ds 2 [< ξ, e it 2k 2 p e ik 2 q e it 1k 1 p e is 1k 1 p e ik 2 q e is 2k 2 p η > f 1 (k 1 )(S s1 t 1 f 1)(k 1 ) f 2 (k 2 )(S s2 t 2 f 2)(k 2 )+ R 2d dk 1 dk 2 (35) + < ξ, e it 2k 2 p e ik 2 q e it 1k 1 p e ik 1 q e ik 2 q e is 1k 2 p e ik 1 q e is 2k 1 p η > f 1 (k 1 )(S s2 t 1 f 2)(k 1 ) f 2 (k 2 )(S s1 t 2 f 1)(k 2 )] (36) By the CCR, one can move the q factors together in the right hand side of (35). Thus one can rewrite (34) as T1 /λ 2 T2 /λ 2 T1 /λ 2 T2 /λ 2 λ 4 dt 1 dt 2 ds 1 ds 2 dk 1 dk 2 R 2d [< ξ, e it 2k 2 p e is 2k 2 p e it 1k 1 p e is 1k 1 p e i(s 1 t 1 )k 2 k 1 η > 14

15 f 1 (k 1 )(S s1 t 1 f 1)(k 1 ) f 2 (k 2 )(S s2 t 2 f 2)(k 2 )+ + < ξ, e it 2k 2 p e is 1k 2 p e it 1k 1 p e is 2k 1 p e i(s 1 t 1 )k 2 k 1 η > f 1 (k 1 )(S s2 t 1 f 2)(k 1 ) f 2 (k 2 )(S s1 t 2 f 1)(k 2 )] (37) Notice that, in the first term in (37), f 1 is paired with f 1 and f 2 with f 2 (non crossing); while in the second one, f 1 is paired with f 2 and f 2 with f 1 (crossing). With the change of variables τ 1 = λ 2 t 1, τ 2 = λ 2 t 2, s 1 τ 1 /λ 2 = u, s 2 τ 2 /λ 2 = v (38) the first term of (37) becomes T1 T2 (T 1 τ 1 )/λ 2 dτ 1 dτ 2 τ 1 λ 2 (T 2 τ 2 )/λ 2 du τ 2 /λ 2 dv dk 1 dk 2 R 2d < ξ, e ivk 2 p e iuk 1 p η > e iuk 1 k 2 f1 (k 1 ) f 2 (k 2 )(S u f 1)(k 1 )(S v f 2)(k 2 ) (39) and as λ tends to zero, this goes to < χ [,T1 ], χ [,T 2 ] > L 2 (R) + With the change of variables du + dv dk 1 dk 2 f1 (k 1 ) f 2 (k 2 )e iuk 1 k 2 R 2d (S u f 1)(S v f 2)(k 2 ) < ξ, e i(uk 1+vk 2 ) p η > (4) τ 1 = λ 2 t 1, τ 2 = λ 2 t 2, u = s 1 τ 2 /λ 2, v = s 2 τ/λ 2 (41) the second term of (37) becomes T1 T2 (T 1 τ 2 )/λ 2 dτ 1 dτ 2 du τ 2 /λ 2 (T 2 τ 1 /λ 2 ) τ 1 /λ 2 dv dk 1 dk 2 R 2d [ < ξ, e i(uk 2 +vk 1 ) p η > (S u f 1)(k 2 )(S v f 2)(k 1 ) f 1 (k 1 ) f 2 (k 2 ) e iuk 1 k 2 ] e ik 1 k 2 (τ 2 τ 1 )/λ 2 By the Riemann Lebesgue lemma, (42) tends to zero as λ. (42) We shall now proceed to the proof of the fact that the vanishing, in the limit, of all the contributions coming from crossing partitions is a general feature of QED. 15

16 5 The Limit of the Spaces of the Collective Vectors Our next step will be to try to determine the limit lim Φ λ, Φ λ =: < Φ, Φ > λ of the scalar product of two collective number vectors. This will give the Hilbert space where the limits of the collective creation and annihilation operators act. According to our choice of these vectors, this amounts to study the limit, as λ, of scalar products of the form: A + λ,h Φ ξ, n A + λ,h Φ η The present section shall be devoted to the proof of the following result: Theorem 1 For any N, n N, the limit, as λ, of the scalar product of two collective number vectors: exists and is equal to: ξ, δ N,n n N A + λ,h Φ ξ, χ [Sh,T h ], χ [S h,t h ] e iu hk h p η + n du 1... A + λ,hφ η (43) + du n R nd dk 1... dk n ( ) (S uh f h)(k h )f h (k h ) exp i u r k r k h+1 r=1 h=r Remark. If the factor ( ) ξ, e iu hk h p η exp i u r k h+1 k r r=1 h=r (44) (45) were absent in (1), then the expression (1) would coincide with the scalar product n j=1(χ [Sj,T j ] f j ), n j=1(χ [S j,t j ] f j) (46) 16

17 defined on the tensor product of n copies of the space: L 2 (R) K where L 2 (R) has the usual scalar product, while KSectionubsetL 2 (R d ) has the scalar product (f g) := dt f, S t g L 2 (R d ) (47) Notice that the scalar product (46) can also be written in the form R A + (χ [Sj,T j ] f j )Ψ, j=1 A + (χ [S j,t j ] f j)ψ (48) j=1 where A + ( ) denotes the creation operator on the full Fock space over L 2 (R) K, with the scalar product (47), and Ψ is the vacuum vector in this space. Our goal in the following sections will be to write the limit (43) in the form (48) where the A + ( ) are some sort of creation operators acting on some sort of Fock space in which Ψ plays the role of vacuum vector. The obstruction to the use of the usual Fock or full Fock space comes precisely from the scalar factor (45) which is itself the product of two factors, each of which is related to the other two new features arising from our construction, namely: (i) the ξ η scalar product is related to the fact that the noise lives on a Hilbert module rather than a Hilbert space. (ii) The exp factor is related to the fact that the space (more precisely, the module) over the test function space is not the usual Fock, or full Fock space, but the interacting Fock space. These features will be better understood in the following. Without loss of generality, in the following we shall suppose that S j = S j = and rewrite T j as S j for all j = 1,, n. Moreover, it is obvious that we have to prove Theorem 43 only in the case n = N. In order to prove Theorem 43 let us first notice that the explicit form of the scalar product (43) is: T1 /λ 2 S1 /λ 2 λ 2n dt 1 Tn/λ 2 Sn/λ 2 ds 1... dt n ds n dk 1... dk n dk 1 R... dk n 2nd 17

18 ξ, e itnkn p e ikn q... e it 1k 1 p e ik 1q e ik 1 q e is 1k 1 p... e ik n q e isnk n p η (S th f h )(k h ) (S sh f h)(k h) a kn... a k1 a + k... a + 1 k (49) n By explicitly performing the vacuum expectation, (49) can be written in the form: T1 /λ 2 S1 /λ 2 Tn/λ 2 Sn/λ 2 dt 1 ds 1... dt n ds n dk 1... dk n R nd σ S n λ 2n ξ, e itnkn p e ikn q... e it 1k 1 p e ik1 q e ikσ(1) q e is 1k σ(1) p... e ikσ(n) q e isnkσ(n) p η (S sh t σ(h) f h)(k σ(h) )f h (k h ) (5) where S n denotes the group of permutations over the symbols {1, 2,..., n}. Lemma 1 In the limit λ, only the identity permutation in the sum in (5), gives a non zero contribution. Proof. The proof is an extension, to arbitrary n, of the argument used in Section (3.) for the case n = 2. Notice that the factors exp(±k j q) are independent of the times s j, t j and each of them appears twice: once with the + and another with the sign. If σ(j) = h, by permuting the factor exp(ik h q) with all the factors and then with the factors exp(it m k m p), m = h 1, h 2,..., 1 exp(is r k σ(r) p), r = 1,..., σ 1 (h) 1 = j 1 we shall erase this factor by multiplication with exp( ik h q) = exp( ik σ(j) q). Because of the CCR, each of the first h 1 exchanges gives rise to a scalar factor of the form exp( it m k m k h ), m = 1,..., h 1 and each of the other σ 1 (h) 1 = j 1 exchanges gives rise to a scalar factor of the form exp(is r k σ(r) k h ), r = 1,..., σ 1 (h) 1 18

19 When all these exchanges have been performed, the scalar product in the expression (5) becomes equal to: exp = ξ, ( i 2 ( [ σ 1 (1) 1 r=1 s r k 1 k σ(r) t 1 k 1 k 2 + σ 1 (2) 1 r=1 s r k 2 k σ(r) (t 1 k 1 k 3 + t 2 k 2 k 3 ) + σ 1 (3) 1 r=1 s r k 3 k σ(r)... (t 1 k 1 k n t n 1 k n 1 k n ) + ) σ 1 (n) 1 r=1 s r k n k σ(r) )] ξ, n ei(s h t σ(h) )k σ(h) p η = ( e i(s h t σ(h) )k σ(h) p η exp i σ 1 (h) 1 r=1 s r k h k σ(r) r=1 h t r k r k h+1 ) We shall now rewrite the scalar exponential in (51) so to make more transparent the difference between negligible and non negligible terms. First of all notice that, for any permutation σ S n : (51) r=1 h t r k r k h+1 = t 1 k 1 k 2 + t 1 k 1 k 3 + t 2 k 2 k t 1 k 1 k n t n 1 k n 1 k n = = t h k h k m = t σ(h) k σ(h) m=h+1 m=σ(h)+1 k m (52) Notice that, to say that h 1,..., h n {1,..., n} are such that the sequence σ 1 (h 1 ), σ 1 (h 2 ),..., σ 1 (h n ) is ordered in increasing order, is equivalent to say that σ(m) = h m ; m = 1,..., n With these notations we also have = σ 1 (h) 1 r=1 m 1 m=1 r=1 s r k σ(r) k h = m=1 σ 1 (h m) 1 r=1 s r k σ(r) k σ(m) = s r k σ(r) r=1 s r k σ(r) k hm = m=r+1 k σ(m) (53) 19

20 Thus the difference between (53) and (52), i.e. the factor appearing in the scalar exponential in (51), can be written in the form: (s h t σ(h) )k σ(h) k σ(m) + t σ(h) k σ(h) k σ(m) k m m=h+1 Therefore, the expression (5) can be written as T1 /λ 2 λ 2n σ S n ξ, dt 1 S1 /λ 2 [ e i(s h t σ(h) )k σ(h) p η exp i [ exp i m=h+1 m=σ(h)+1 Tn/λ 2 Sn/λ 2 ds 1... dt n ds n dk 1... dk n R nd (s h t σ(h) )k σ(h) ( t σ(h) k σ(h) m=h+1 k σ(m) m=σ(h)+1 m=h+1 k m )] k σ(h) ] (54) (55) Now we replace the scalar product in (5) by the right hand side of (51) and make the following change of variables in (5): τ h = λ 2 t h, u h = s h τ σ(h) /λ 2, h = 1,..., n From the Riemann-Lebesgue Lemma it follows that, as λ, the only terms (in (5)) that can give a nonzero contribution are those coming from the factors such that the identity = t σ(h) k σ(h) k σ(m) (56) m=h+1 m=σ(h)+1 is satisfied for almost all (k 1,..., k n ) R nd and almost all (t 1,..., t n ) R n. So for almost all (k 1,..., k n ) R nd m=h+1 k σ(m) = m=σ(h)+1 k h k m ; h = 1,..., n (57) Letting h = n 1 in (57), the fact that (57) is true for for almost all (k 1,..., k n ) R nd implies that in the the sum n m=σ(h)+1 k m, there is only 2

21 one term, i.e. the cardinality of the set {σ(h) + 1,, n} is one. This is equivalent to say that σ(n 1) + 1 = n (58) Letting h = n 2 in (57) and using (58) one finds or equivalently iterating one finds k σ(n 1) + k σ(n) = k n 1 + k n = k σ(n 2)+1 + k n i.e. σ must be the identity permutation. σ(n 1) = σ(n 2) + 1 = n 1 (59) σ = id (6) Proof of Theorem 43. For σ = I, the last term of (51) is equal to ( [ n exp i h 1 r=1 s rk r k h n 1 ]) h r=1 t rk r k h+1 ( = exp i [ n 1 n r=1 h=r+1 s rk r k h n 1 n 1 r=1 h=r t ] ) rk r k h+1 ( = exp i n 1 ) n r=1 h=r+1 (s r t r )k r k h (61) Therefore (5) is equal to the limit of λ 2n T1 /λ 2 S1 /λ dt 2 1 ds 1... T n/λ 2 Sn/λ dt 2 n ξ, n ei(s h t h )p η n ( exp i n 1 r=1 ds n dk R nd 1... dk n (S s h t h f h )(k h)f h (k h ) n 1 h=r (s r t r )k r k h+1 ) + o(1) (62) where o (1) denotes the sum over all the permutations δ S n, different from the identity, which, according to Lemma 1, tend to zero as λ. With the change of variables: τ h := λ 2 t h, u h = s h τ h /λ 2, h = 1,..., n (61) tends to (1), and this ends the proof. 21

22 6 Non crossing Pair Partitions Since the notion of non crossing pair partition will play a crucial role in the following, we devote the present section to introduce some basic properties of these partitions (for more complete information we refer to [5, 6, 16]). Non crossing pair partitions play, for Wigner processes, the role played by the pair partitions for the usual Gaussian processes. More precisely: it is known that the mixed moments of order 2n (n is a natural integer) of a mean zero Gaussian process, are given by the sum, over all pair partitions of {1,..., 2n}, of the products of the 2-point functions (covariance) of the process computed over all the pairs of the partition. If the sum over all pair partitions is replaced by the sum over all non crossing pair partitions, in the sense specified below, one obtains the notion of Wigner process. To each pair of natural integers (m h, m h ), we associate the closed interval: [m h, m h ] := {x N : m h x m h } (63) and we shall say that the two pairs (m h, m h), (m k, m k) are non crossing if [m h, m h ] [m k, m k ] = [m h, m h] (64) [m k, m k] Condition (2) means that either the two intervals associated to the pairs do not intersect, or one of them is contained in the other one. Definition 2 Let n be a natural integer. {1, 2,..., 2n} is a pair partition A non crossing pair of the set (m 1, m 1 ),..., (m n, m n ) (65) such that any two pairs (m h, m h), (m k, m k) of the partition are non crossing. Lemma 2 Given n numbers m 1 < m 2 <... < m n in the set {1,..., 2n}. If there exists a non crossing pair partition (m 1, m 1 ),..., (m n, m n ) 22

23 of the set {1,..., 2n} such that m h < m h ; h = 1,..., n (66) then it is unique. Moreover, for each h = 1,..., n, the number m h is uniquely determined by the condition:. m h := max{x {1,..., 2n}\{m h } n : x < m h and {x + 1,..., m h 1} {m 1,..., m n } = {x + 1,..., m h 1} ({1,.., 2n}\{m h } n ) } (67) where, { } denotes the cardinality of set { } Remark. By construction {m h} n = {1,..., 2n}\{m h } n (68) and the sequence {m h }n is not necessarily increasing in h. Proof. The proof can be done by the induction using the following facts: in the non crossing pair partition { (65), m 1 is surely} equal to m 1 1; given (m 1, m 1 ) as above, (m 1, m 1 ),, (m n, m n ) is a non crossing { } pair partition of {1, 2,, 2n} if and only if (m 2, m 2 ),, (m n, m n ) is a non crossing pair partition of {1, 2,, 2n} \ {m 1, m 1 } since, by the previous two arguments, given the (m j ), the pair (m 1, m 1 ) is uniquely determined, the partition (65) is unique if and only if the corresponding partition of the set {1, 2,..., 2n} \ {m 1, m 1 } is unique. since, by the previous two arguments, given the (m j ), the pair (m 1, m 1 ) is uniquely determined, the partition (65) is unique if and only if the corresponding partition of the set {1, 2,..., 2} \ {m 1, m 1 } is unique. In the following we shall use the notation n.c.p.p.{1,..., 2n} (69) to denote the family of all non crossing pair partitions of the set {1,..., 2n}. 23

24 7 Limits of Matrix Elements of Arbitrary Products of Collective Operators In order to calculate the limit (16), the knowledge of the limits of scalar products of collective number vectors is not sufficient: one has to identify the limit of matrix elements of arbitrary products of collective creation and annihilation operators. Goal of the present section is to describe these limits. More precisely, we shall prove the following theorem: Theorem 2 For any natural integer n and with the notations: the limit lim λ Φ ξ, A ε(1) λ ε {,1} 2n exists and is equal to: {m h,m h} n n.c.p.p.{1,...,2n} A λ := A λ ; A 1 λ := A + λ (7) (S 1, T 1, f 1 )... A ε(2n) λ (S 2n, T 2n, f 2n )Φ η (71) χ [Smh,T mh ], χ [Sm,T m h h ] L 2 (R) + ξ, du ( e iu hk h p η exp i du n R nd dk 1... dk n r=h+1 (S uh f mh )(k h )f m h (k h ) ) u h k h k r χ (m r,m r)(m h ) (72) In order to prove this theorem we must do some preparation. Without loss of generality we shall assume that S h = for all h = 1,, 2n. Let us consider the matrix elements of arbitrary products of collective creation and annihilation operators (in contrast with (5) where only anti- Wick-ordered products were considered): Φ ξ, A λ (, T 1, f 1 )... A + λ (, T 1, f 1)... A + λ (, T n, f n),..., A λ (, T n, f n )Φ η (73) 24

25 Counting from left to right, let 1 m 1 < m 2 <... < m n 2n (74) denote the places where the creation operators appear. Since Φ is the vacuum vector, the expression (73) is clearly equal to zero if either m n < 2n or m 1 = 1. Remark. The scalar product (73) is only if for any r = 1, 2,..., n, the cardinality of {1,..., 2r}\{m 1,..., m n } is less than or equal to max{h = 1,..., n; m h 2r}. That is, if it happens that, for any r = 1,, n, in the first 2r operators in the operator product in (73), there are more creators than annihilators. Using the definition (??) of A λ and A + λ, (73) becomes λ 2n T1 /λ 2 Tm1 /λ 2 T2n /λ 2 dt 1... dt m1... dt mn d R k 2nd ξ, e itk1 p e ik1 q... e ikm 1 q e ism 1 km 1 p... e itn kn p e ikn q... e ikmn q e itmnkmn p η (S tmh f m h )(k mh ) (S tα f α )(k α ) α {1,...,2n}\{m 1,...,m n} a k1... a + k m1... a kn... a + k mn (75) It is clear that the vacuum expectation value in (6.7) is of the form λ 2n T1 /λ 2 (m 1,...,mn)={1,...,2n}\{m h } n m h <m h,,...,n T2n /λ 2 dt 1... dt 2n d R k nd δ kmh, k mh (m 1,...,mn)={1,...,2n}\{mn} n m h <m h,,...,n ξ, e it m 1 k 1 p e ik1 q... e im1 q e itm 1 k1 p e it mn kn p e ikn q... e ikn q e itmn k n p η f mh (k h )(S tmh t mh f mh )(k h ) (76) 25

26 Lemma 3 In the limit λ the only terms of the summation (76) which give a non zero contribution are those corresponding to those n uples (m 1,..., m n ) which satisfy the equation χ [mr+1,2n 1](m h ) χ [mr+1,2n 1](m h ) + χ [mr+1,2n 1](m h ) χ [mr,2n 1](m h ) = (77) Proof. Remember that the indices m j in (76) correspond to annihilators in (73) and are associated to exponential factors of the form e it m j k j p e ik j q (78) in (76). While the indices m j correspond to creators and are associated to exponential factors of the form e ik j q e itm j k j p (79) Also in this case, as in the proof of Theorem 43, we shall permute the exponentials in the scalar product (76) so to cancel the factors exp(±ik j q). However in this case we shall employ a different grouping strategy, namely, instead of permuting each factor exp(±ik j q) until it is cancelled by its conjugate factor, we bring all the factors exp(±ik j q) to the right of all the factors exp(±t αj k j p) (α j = m j or m j ) with the exception of the factor exp(it mn k n p), which remains on the extreme right. The scalar phase factor which arises when all the permutations have been performed has the form exp(iσ) where σ is a real number which can be expressed as the sum of four different types of terms: r=1 r=1 t mh k r k h (8) r=1 h=r χ [mh +1,2n 1](m r ) t mr k h k r (81) χ [mh +1,2n 1](m r ) t mr k h k r (82) r=1 χ [mh +1,2n 1](m r ) t mr k r k h (83) 26

27 The term (8) arises from the commutation of the factors exp( ik r q), (r = 1,..., n 1) with the factors exp(it mh k h p), for h = r,..., n 1. The term (81) arises from the commutation of the factors exp( ik h q), (h = 1,..., n) with the factors exp(it mr k r p) for r = 1,..., n 1. The characteristic function in this term is motivated by the fact that the term exp( ik h q) first appears on the right of exp( it mh k h p) because of the convention on the indices of the collective vectors (c.f. the end of Section 2) and the fact that m h < m h this implies that among all the factors exp it m p, it will have to commute only with those for which m h < m r < 2n (recall that the m j are not increasing in general). Notice that, since m n = 2n the n-th term of the second sum in (81) is zero. The term (82) arises from the commutation of the factors exp(ik h q), (h = 1,..., n) with the factors exp(it mr k r p) for r = 1,..., n 1. The characteristic function in this term is motivated by the fact that the term exp(ik h q) first appears on the right of exp( it mh k h p) for the above mentioned convention. Therefore, among the factors exp(it mr k r p), it will have to commute only with those for which m h < m r < 2n Finally the term (83) arises from the commutation of the factors exp(ik h q), (h = 1,..., n) with the factors exp( it mr k r p) for r = 1,..., n. The characteristic function in this term has the same origin as in the previous one. Now notice that the sum of the four expressions (8), (81, (82) (83) can be rewritten as [χ [mr+1,2n 1](m h )t mh + χ [mr+1,2n 1](m h )t mh 1 h,r n χ [mr,2n 1](m h )t mh χ [mr+1,2n 1](m h )t mh ]k h k r (84) Where, in (84), the first term in square brackets corresponds to (81); the second one to (82); the third one to (8) (recall that the map j m j is strictly increasing) and the fourth one to (83). By adding and subtracting, into the square bracket of (84), the terms ±t mh χ [mr+1,2n 1](m h )k h k r ; ±t mh χ [mr+1,2n 1](m h )k h k r 27

28 the double summation (84) can be rewritten as 1 h,r n k h k r (t mh t mh )χ [mr+1,2n 1](m h ) + 1 h,r n t m h k h k r (χ [mr+1,2n 1](m h ) χ [mr+1,2n 1](m h )) 1 h,r n (t m h t mh )k h k r χ [mr,2n 1](m h ) + 1 h,r n t m h k n k r (χ [mr+1,2n 1](m h ) χ [mr,2n 1](m h )) By the same argument used in the proof of Theorem 43, we conclude that, in the limit λ, only those terms of the summation (76) can survive, for which t mh k h k r [χ [mr+1,2n 1](m h ) χ [mr+1,2n 1](m h ) 1 h,r n +χ [mr+1,2n 1](m h ) χ [mr,2n 1](m h )] = for almost all (t 1,..., t 2n ) R 2n and almost all (k 1,..., k n ) R nd and this condition is equivalent to equation (77). Lemma 4 For any natural number n and any choice of 1 < m 1 <... < m n = 2n in the set {1,..., 2n}, the equation (77), in the unknowns m 1,..., m n has a unique solution satisfying m h < m h ; h = 1,..., n (85) Moreover the solution (m 1,..., m h ) is characterized by the property that (m 1, m 1 ), (m 2, m 2 ),..., (m n, m n ) (86) is the unique non crossing partition of the set {1,..., 2n} associated to the set {m h } n in the sense specified by Lemma 2. Proof. We distinguish two cases: χ [mr+1,2n 1](m h ) = (87) In this case, the non crossing property implies that one must also have: χ [mr,2n 1](m h ) = 28

29 because m r < m r. Hence χ [mr+1,2n 1](m h ) = χ [mr+1,2n 1](m h ) and therefore m h > m r m h > m r 2) χ [mr+1,2n 1](m h ) = 1 In this case, if χ [mr,2n 1](m h ) = 1, by the same arguments as above, we have m h > m r m h > m r h, r = 1,..., n Notice that this is equivalent to saying that m h > m r m h > m r h, r = 1,..., n and clearly this can be reformulated as m h > m r m h > m r h, r = 1,..., n Now if χ [mr,2n 1](m h ) =, one must have χ [mr+1,2n 1](m h ) = 1 That is, in any case, χ [mr+1,2n 1](m h ) = 1 implies that which is equivalent to χ [mr+1,2n 1](m h ) = 1 m h > m r m h > m r summing up, we have that either [m h, m h ] [m r, m r ] = or [m h, m h ] subseteq[m r, m r ]. Hence the partition (85) is non crossing. 29

30 8 Why Hilbert Modules? In order to interpret the expression (4), obtained in Theorem 7, for the limit of matrix elements of arbitrary products of collective creators and annihilators, we describe in this section the Hilbert module on which the limits of the collective creation and annihilation processes live. By analogy with the Fock and the free Brownian motions, we shall refer to this process as the interacting free module Brownian motion. The first example of a quantum noise living on a (nontrivial) Hilbert module was considered in [3], the theory of stochastic integration and stochastic differential equations on Hilbert modules was developed in [11], [12], [13]. For each f in the Schwartz space, define f(t) := (S t f)(k) e ikq e ikp dk (88) R d then, f is a map from R to the bounded operators on L 2 (R d ). Denote by P the W algebra generated by {e ikp ; k R d } (i.e. the momentum W algebra of the system) and by F the P right linear span of { f; f K}. Then F is a P right module and therefore the algebraic tensor product between L 2 (R) and F (denoted by L 2 (R) F) is a P (in fact 1 P) right module. On the P right module L 2 (R) F, we introduce a P right bi-linear, P valued form: by ( ) : L 2 (R) F L 2 (R) F P (89) (α f β g) :=< α, β > L 2 (R) d R d u ke iukp f(k)(su g)(k) R d (9) In the following we shall identify f with its eqivalence class with respect to the P valued inner product defined by (4). Thus L 2 (R) F becomes a P pre Hilbert module. The positivity of the right hand side of (4) is not obvious by inspection but it follows from Theorem 43. For each n N, we denote by (L 2 (R) F) n the algebraic tensor product of n copies of L 2 (R) F and define the P right sesqui-linear, P valued form: ( ) : (L 2 (R) F) n (L 2 (R) F) n P (91) 3

31 by := ((α 1 f 1 ) (α n f n ) (β 1 g 1 ) (β n g n )) := d d < α h, β h > L 2 (R) u 1 du n k 1 dk n [e iu hk h p fh (k h )(S uh g h )(k h ) R n R nd exp(i 1 r h n 1 u r k r k h+1 ) (92) and we still identify the f j s with their equivalence classes with respect to the equivalence relation stated before. Thus for each n N, with the P right bilinear, P valued form given by (6), (L 2 (R) F) n becomes a P pre Hilbert module and the notion (L 2 (R) F) n will be used to denote it. Since for each n N, (L 2 (R) F) n is a P pre Hilbert module, (again the positivity of (6) follows from Theorem 43), the direct sum C ( ) n=1 (L2 (R) F) n makes sense and will be denoted by Γ L 2 (R) F and called the Fock module over L 2 (R) F. In this pre Hilbert module, the vector Ψ := 1 is called the vacuum vector. One can easily show that Lemma 5 The number vector subset { Γ := A + (α 1 f 1 ) A + (α n f } n )Φ; n N, α j L 2 (R), fj F, j = 1,, n ( ) is a P total subset of Γ L 2 (R) F. (93) Definition 3 For each element of L 2 (R) F, the creator with respect to this element, denoted by A + ( ), is defined on the P right linear span of Γ by P right linearity and A + (α f) [ (α 1 f 1 ) (α n f ] n )Ψ := (α f) (α 1 f 1 ) (α n f n )Φ (94) where n N, α, α j L 2 (R), f, fj F, j = 1,, n. The formal adjoint is called annihilator and denoted by A( ). Remark. In general, A + (α 1 f 1 )A + (α 2 f 2 ) is not necessarily equal to A + (α 2 f 2 )A + (α 1 f 1 ). 31

32 Definition 4 For each k R d, the left action of e ik p H is defined by ( ) on Γ L 2 (R) F e ik p A + (α f) := A + (α ẽik p 1f)e ik p (95) for all α L 2 (R), f F, where p is the momentum on H and p 1 is the momentum on the one particle space of F. It is easy to show that if * denotes( the adjoint ) with respect to the P valued scalar product given by (4), then e ik p = e ik p Theorem 3 For each n N, α, α j L 2 (R), f, fj F (j = 1,, n) is equal to A(α f)a + (α 1 f 1 ) A + (α n f n )Ψ (96) (α f α 1 f 1 )A + (α 2 f 2 ) A + (α n f n )Ψ (97) Proof. For each n N, α, α j L 2 (R), f, fj F (j = 1,, n), β k L 2 (R), g k F (k =, 1,, n), since A = (A + ) +, we have < A + (α 1 f 1 ) A + (α n f n )Φ, A(α f)a + (β g )A + (β 1 g 1 ) A + (β n g n )Φ >= =< A + (α f)a + (α 1 f 1 ) A + (α n f n )Φ, A + (β g )A + (β 1 g 1 ) A + (β n g n )Φ > (98) Denote α := α, f := f. By definition (98) is equal to α h, β h h= + du... + du n R (n+1)d dk... dk n ( ) e iu hk h p (S uh g h )(k h )f h (k h ) exp i u r k r k h+1 h= h= r= h=r Rewriting the expression (99) in the form: (99) α h, β h + du du n R nd dk 1... dk n

33 α, β ( ) e iu hk h p (S uh g h )(k h )f h (k h ) exp i u r k r k h+1 + r=1 h=r ( ụ ḳ e R iu k p (S u g )(k )f(k ) exp i d one finishes the proof. ) u k k h (1) Now let us compute the matrix elements of arbitrary products of creation and annihilation operators on the limit Hilbert module, which we interpret as limit noise space. For simplicity we shall not distinguish f from f. What we must compute is the following object: < Ψ, A ε(1) (α 1 f 1 ) A ε(2n) (α 2n f 2n )Ψ > (11) where, n N, α j L 2 (R), f j F (j = 1,, 2n), ε {, 1} 2n and A := A, A 1 := A + It is clearly sufficient to compute (11) only in the case ε(1) =, ε(2n) = 1 (12) Lemma 6 (11) is not equal to zero only if 2 ε(h) = n (13) Proof. The Lemma can be easily verified in the case n = 1. Suppose by induction that 2n ε(h) n implies that (7.14) is equal to zero and consider Denote < Ψ, A ε(1) (α 1 f 1 ) A ε(2(n+1)) (α n+1 f 2(n+1) )Ψ > (14) h := min{x {1,, 2n}; ε(x) = 1} (15) the position where the first creator is. By Theorem 3, (14) is equal to < Φ, A ε(1) (α 1 f 1 ) A ε(h 2) (α h 2 f h 2 )(α h 1 f h 1 α h f h ) 33

34 A ε(h+1) (α h+1 f h+1 ) A ε(2(n+1)) (α n+1 f 2(n+1) )Φ > (16) Now by applying Lemma 4, one can move the inner product (α h 1 f h 1 α h f h ) in (16) out from the inner product < Φ, Φ >. Since in order to produce this inner product we have used one creator and one annihilator, it follows that 2(n+1) r=1 ε(r) n r 2(n+1), r / {h 1,h} ε(r) n (17) By the induction assumption we complete the the proof. The same technique can be used to prove the following Theorem 4 Denote {m h } n := {r {1,, 2n}; ε(r) = 1}, 1 < m 1 < < m n = 2n (18) The inner product (11) is equal to zero if {m h } n does not define a non crossing pair partition of {1,, 2n}. If it does (and in this case we know from Lemma 2 that it is unique) (11) is equal to + ξ, du α mh, α m h L 2 (R) ( e iu hk h p η exp i du n R nd dk 1... dk n r=h+1 (S uh f mh )(k h )f m h (k h ) ) u h k h k r χ (m r,m r)(m h ) (19) where, {m h, m h} n is the unique pair partition of {1,..., 2n} determined by {m h } n. 9 The Wigner Semicircle Law This section is devoted to describe how the Wigner semicircle law arises from the above considerations. 34

35 It is well known that the distinctive characteristic of the Wigner semicircle law is the role of the non crossing pair partition, in the expression of its momenta. But in our case, the situation becomes more complicated since the inner product of the n particle space is not the product of n copies of the inner product of the one particle space. Thus even if we obtain only non crossing pair partitions, in the sum each of them is weighted by a factor depending on the partition. We shall see that the Wigner semicircle law corresponds to the case in which these weighting factors are put equal to zero. In order to evidentiate the above mentioned connection between the vacuum distribution of the field operator and the Wigner semi circle law, we introduce the probability spaces (Ω n, A n, P n ), n N: Ω n := {{m h, m h} n : noncrossing pair partition of {1,, 2n}}; ω m,m := {m h, m h} n Ω n; A n is the discrete σ algebra on Ω n ; P n : Ω n [, 1] is the probability defined by P n (ω m,m) := 1 Ω n (11) For each 1 h, r n, define a random variable: {, if h r; X h,r (ω m,m) := χ (m r,m r)(m h ), if h < r (111) Then Lemma 7 For each non crossing pair partition {m h, m h} n ( i {1,, 2n} exp 2 {m h,m h} n Ωn ( = Ω n n E n exp i r=h+1 r=h+1 ) u h k h k r χ (m r,m r)(m h ) = u h k h k r X h,r ) (112) where E n denotes expectation with respect to the random variables X h,r, defined by (8), with respect to the probability measure P n and Ω n n denotes the cardinality of the set Ω n of all the non crossing pair partitions of {1, 2,, 2n}. 35