Flows of Quantum Noise (Q4236763)

When the system of observables comprises a \(C^*\)-algebra, stochastic evolutions are obtained by solving quantum stochastic differential equations (QSDEs) driven by creation, preservation and annihilation processes \(\Lambda^\eta= (\Lambda^\beta_\alpha)\) on Fock space. By supposing that characteristics of the input noise processes are given by the group representation, the authors consider the system of QSDEs: \[ dj^\Phi_t(a)= j^\Phi_t\circ \theta^{\Phi(t)}_\eta(a)d\Lambda^\eta(t)\tag{\(*\)} \] with \(j^\Phi_0(a)= a\). A solution \(j^\Phi_t(qa)\equiv j_t(\Phi, a)\) of \((*)\) is a map \(j\) from \(\mathbb{R}_+\times{\mathcal G}\times{\mathcal A}\) into the linear space \(\mathbb{L}\) of operators on \({\mathcal H}\) with the domain \(h\otimes{\mathcal E}\) of all quantum stochastic (QS) integrals, where \({\mathcal A}\) is a unital \(C^*\)-algebra acting on the Hilbert space \(h\), \({\mathcal G}\) is a subalgebra of the group of Borel measurable maps from \(\mathbb{R}_+\) into a topological group \(G\), \({\mathcal R}\) is a finite-dimensional Hilbert space governing the dimension of the quantum noise, and \({\mathcal E}\) is the linear span of the exponential vectors \(\{\varepsilon_\varphi:\varphi\in (L^2\cap L^\infty_{\text{loc}})(\mathbb{R}_+;{\mathcal R})\}\). Under the condition of some measurability and boundedness of the maps \(\theta\) with respect to \({\mathcal G}\), the authors prove the general existence and uniqueness theorem of Picard solutions for the QSDE systems (1) satisfying the Picard estimate. Next, the structure relations for QSDE coefficients are studied. Under an additional minimality condition on \({\mathcal G}\), the following main result is proved: the Picard solution \((j_t)\) of the system of QSDEs, \[ dj_t(\Phi,a)= j_t(\Phi,\theta[\Phi(t), \eta, a]) d\Lambda^\eta(t),\qquad j_0(\Phi, a)= a, \] is linear, unital, involutive and adjoint multiplicative if and only if \(\theta\) is linear and unital in \({\mathcal A}\), involutive on \(G\times \Xi\times{\mathcal A}\), and satisfies the identity \[ \theta^\alpha_\beta[gh, ab]= \theta^\alpha_\beta[ g,a]b+ a\theta^\alpha_\beta[h,b]+\theta^\alpha_i[g, a]\theta^i_\beta[h, b], \] in which case the solution is also contractive and multiplicative. The authors' result generalizes the result obtained by \textit{M. P. Evans} [Probab. Theory Relat. Fields 81, No. 4, 473-483 (1989; Zbl 0667.60060)].