
The theory of quasifree quantum stochastic calculus for infinitedimensional
noise is developed within the framework of HudsonParthasarathy quantum
stochastic calculus. The question of uniqueness for the covariance amplitude
with respect to which a given unitary quantum stochastic cocycle is quasifree
is addressed, and related to the minimality of the corresponding stochastic
dilation. The theory is applied to the identification of a wide class of
quantum random walks whose limit processes are driven by quasifree noises.

We give a simple and direct treatment of the strong convergence of quantum
random walks to quantum stochastic operator cocycles, via the semigroup
decomposition of such cocycles. Our approach also delivers convergence of the
pointwise product of quantum random walks to the quantum stochastic Trotter
product of the respective limit cocycles, thereby revealing the algebraic
structure of the limiting procedure. The repeated quantum interactions model is
shown to fit nicely into the convergence scheme described.

A natural counterpart to the LieTrotter product formula for normcontinuous
oneparameter semigroups is proved, for the class of quasicontractive quantum
stochastic operator cocycles whose expectation semigroup is norm continuous.
Compared to previous such results, the assumption of a strong form of
independence of the constituent cocycles is overcome. The analysis is
facilitated by the development of some quantum Ito algebra. It is also shown
how the maximal Gaussian component of a quantum stochastic generator may be
extracted  leading to a canonical decomposition of such genarators, and the
connection to perturbation theory is described. Finally, the quantum Ito
algebra is extended to quadratic form generators, and a conjecture is
formulated for the extension of the product formula to holomorphic quantum
stochastic cocycles.

We introduce the notion of additive units, or `addits', of a pointed Arveson
system, and demonstrate their usefulness through several applications. By a
pointed Arveson system we mean a spatial Arveson system with a fixed normalised
reference unit. We show that the addits form a Hilbert space whose
codimensionone subspace of `roots' is isomorphic to the index space of the
Arveson system, and that the addits generate the type I part of the Arveson
system. Consequently the isomorphism class of the Hilbert space of addits is
independent of the reference unit. The addits of a pointed inclusion system are
shown to be in natural correspondence with the addits of the generated pointed
product system. The theory of amalgamated products is developed using addits
and roots, and an explicit formula for the amalgamation of pointed Arveson
systems is given, providing a new proof of its independence of the particular
reference units. (This independence justifies the terminology `spatial product'
of spatial Arveson systems). Finally a cluster construction for inclusion
subsystems of an Arveson system is introduced and we demonstrate its
correspondence with the action of the CantorBendixson derivative in the
context of the random closed set approach to product systems due to Tsirelson
and Liebscher.

We develop fully noncommutative FeynmanKac formulae by employing quantum
stochastic processes. To this end we establish some theory for perturbing
quantum stochastic flows on von Neumann algebras by multiplier cocycles.
Multiplier cocycles are constructed via quantum stochastic differential
equations whose coefficients are driven by the flow. The resulting class of
cocycles is characterised under alternative assumptions of separability or
Markov regularity. Our results generalise those obtained using classical
Brownian motion on the one hand, and results for unitarily implemented flows on
the other.

A noncommutative KunitaWatanabetype representation theorem is established
for the martingales of quasifree states of CCR algebras. To this end the basic
theory of quasifree stochastic integrals is developed using the abstract It\^o
integral in symmetric Fock space, whose interaction with the operators of
TomitaTakesaki theory we describe. Our results extend earlier quasifree
martingale representation theorems in two ways: the states are no longer
assumed to be gaugeinvariant, and the multiplicity space may now be
infinitedimensional. The former involves systematic exploitation of Araki's
Duality Theorem. The latter requires the development of a transpose on matrices
of unbounded operators, defying the lack of complete boundedness of the
transpose operation.

The vacuumadapted formulation of quantum stochastic calculus is employed to
perturb expectation semigroups via a FeynmanKac formula. This gives an
alternative perspective on the perturbation theory for quantum stochastic flows
that has recently been developed by the authors.

A natural scheme is established for the approximation of quantum Levy
processes on locally compact quantum groups by quantum random walks. We work in
the somewhat broader context of discrete approximations of completely positive
quantum stochastic convolution cocycles on C*bialgebras.

Every Markovregular quantum Levy process on a multiplier C*bialgebra is
shown to be equivalent to one governed by a quantum stochastic differential
equation, and the generating functionals of normcontinuous convolution
semigroups on a multiplier C*bialgebra are then completely characterised.
These results are achieved by extending the theory of quantum Levy processes on
a compact quantum group, and more generally quantum stochastic convolution
cocycles on a C*bialgebra, to locally compact quantum groups and multiplier
C*bialgebras. Strict extension results obtained by Kustermans, together with
automatic strictness properties developed here, are exploited to obtain
existence and uniqueness for coalgebraic quantum stochastic differential
equations in this setting. Then, working in the universal enveloping von
Neumann bialgebra, we characterise the stochastic generators of Markovregular,
*homomorphic (respectively completely positive and contractive), quantum
stochastic convolution cocycles.

Existence and uniqueness theorems for quantum stochastic differential
equations with nontrivial initial conditions are proved for coefficients with
completely bounded columns. Applications are given for the case of
finitedimensional initial space or, more generally, for coefficients
satisfying a finite localisability condition. Necessary and sufficient
conditions are obtained for a conjugate pair of quantum stochastic cocycles on
a finitedimensional operator space to strongly satisfy such a quantum
stochastic differential equation. This gives an alternative approach to quantum
stochastic convolution cocycles on a coalgebra.

An operator space analysis of quantum stochastic cocycles is undertaken.
These are cocycles with respect to an ampliated CCR flow, adapted to the
associated filtration of subspaces, or subalgebras. They form a noncommutative
analogue of stochastic semigroups in the sense of Skorohod. Onetoone
correspondences are established between classes of cocycle of interest and
corresponding classes of oneparameter semigroups on associated matrix spaces.
Each of these 'global' semigroups may be viewed as the expectation semigroup of
an associated quantum stochastic cocycle on the corresponding matrix space. The
classes of cocycle covered include completely positive contraction cocycles on
an operator system, or C*algebra; completely contractive cocycles on an
operator space; and contraction operator cocycles on a Hilbert space. As
indicated by Accardi and Kozyrev, the Schuraction matrix semigroup viewpoint
circumvents technical (domain) limitations inherent in the theory of quantum
stochastic differential equations. An infinitesimal analysis of quantum
stochastic cocycles from the present wider perspective is given in a sister
paper.

Two new approaches to the infinitesimal characterisation of quantum
stochastic cocycles are reviewed. The first concerns mapping cocycles on an
operator space and demonstrates the role of H\"older continuity; the second
concerns contraction operator cocycles on a Hilbert space and shows how
holomorphic assumptions yield cocycles enjoying an infinitesimal
characterisation which goes beyond the scope of quantum stochastic differential
equations.

A Trotter product formula is established for unitary quantum stochastic
processes governed by quantum stochastic differential equations with constant
bounded coefficients.

A recent characterisation of Fockadapted contraction operator stochastic
cocycles on a Hilbert space, in terms of their associated semigroups, yields a
general principle for the construction of such cocycles by approximation of
their stochastic generators. This leads to new existence results for quantum
stochastic differential equations. We also give necessary and sufficient
conditions for a cocycle to satisfy such an equation.

A new method for the construction of Fockadapted operator Markovian cocycles
is outlined, and its use is illustrated by application to a number of examples
arising in physics and probability. The construction uses the TrotterKato
Theorem and a recent characterisation of such cocycles in terms of an
associated family of contraction semigroups.