
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 consider the theory of stopping bounded processes within the framework of
HudsonParthasarathy quantum stochastic calculus, for both identity and vacuum
adaptedness. This provides significant new insight into Coquio's method of
stopping (J. Funct. Anal. 238:149180, 2006). Vacuum adaptedness is required to
express certain quantum stochastic representations, and many results, including
the proof of the optionalsampling theorem, take a more natural form.

In recent work of the authors, it was shown how to use any finite quantum
stop time to stop the CCR flow and its strongly continuous isometric cocycles
(Q. J. Math. 65:11451164, 2014). The stopped cocycle was shown to satisfy a
stopped form of the cocycle identity, valid for deterministic increments of the
time used for stopping. Here, a generalisation of this identity is obtained,
where both cocycle parameters are replaced with finite quantum stop times.

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.

It is shown how to construct *homomorphic quantum stochastic Feller cocycles
for certain unbounded generators, and so obtain dilations of strongly
continuous quantum dynamical semigroups on C* algebras; this generalises the
construction of a classical Feller process and semigroup from a given
generator. The construction is possible provided the generator satisfies an
invariance property for some dense subalgebra A_0 of the C* algebra A and obeys
the necessary structure relations; the iterates of the generator, when applied
to a generating set for A_0, must satisfy a growth condition. Furthermore, it
is assumed that either the subalgebra A_0 is generated by isometries and A is
universal, or A_0 contains its square roots. These conditions are verified in
four cases: classical random walks on discrete groups, Rebolledo's symmetric
quantum exclusion processes and flows on the noncommutative torus and the
universal rotation algebra.

It is shown how to use noncommutative stopping times in order to stop the
CCR flow of arbitrary index and also its isometric cocycles, i.e., left
operator Markovian cocycles on Boson Fock space. Stopping the CCR flow yields a
homomorphism from the semigroup of stopping times, equipped with the
convolution product, into the semigroup of unital endomorphisms of the von
Neumann algebra of bounded operators on the ambient Fock space. The operators
produced by stopping cocycles themselves satisfy a cocycle relation.

A convergence theorem is obtained for quantum random walks with particles in
an arbitrary normal state. This result unifies and extends previous work on
repeatedinteractions models, including that of the author (2010, J. London
Math. Soc. (2) 81, 412434; 2010, Comm. Math. Phys. 300, 317329). When the
randomwalk generator acts by ampliation and multiplication or conjugation by a
unitary operator, necessary and sufficient conditions are given for the quantum
stochastic cocycle which arises in the limit to be driven by an isometric,
coisometric or unitary process.

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.

It is shown how to construct quantum random walks with particles in an
arbitrary faithful normal state. A convergence theorem is obtained for such
walks, which demonstrates a thermalisation effect: the limit cocycle obeys a
quantum stochastic differential equation without gauge terms. Examples are
presented which generalise that of Attal and Joye (2007, J. Funct. Anal. 247,
253288).

Let $X$ be the unique normal martingale such that $X_0=0$ and
\[\mathrm{d}[X]_t=(1tX_{t}) \mathrm{d}X_t+\mathrm{d}t\] and let $Y_t:=X_t+t$
for all $t\geq 0$; the semimartingale $Y$ arises in quantum probability, where
it is the monotoneindependent analogue of the Poisson process. The
trajectories of $Y$ are examined and various probabilistic properties are
derived; in particular, the level set $\{t\geq 0\dvt Y_t=1\}$ is shown to be
nonempty, compact, perfect and of zero Lebesgue measure. The local times of
$Y$ are found to be trivial except for that at level 1; consequently, the jumps
of $Y$ are not locally summable.

After a review of how Boson Fock space (of arbitrary multiplicity) may be
approximated by a countable Hilbertspace tensor product (known as toy Fock
space) it is shown that vacuumadapted multiple quantum Wiener integrals of
bounded operators may be expressed as limits of sums of operators defined on
this toy space, with strong convergence on the exponential domain. The
vacuumadapted quantum Ito product formula is derived with the aid of this
approximation and a brief pointer is given towards the unbounded case.