Quantum stochastic cocycles provide a basic model for time-homogeneous Markovian evolutions in a quantum setting, and a direct counterpart in continuous time to quantum random walks, in both the Schrodinger and Heisenberg pictures. This paper is a sequel to one in which correspondences were established between classes of quantum stochastic cocycle on an operator space or C*-algebra, and classes of Schur-action `global' semigroup on associated matrix spaces over the operator space. In this paper we investigate the stochastic generation of cocycles via the generation of their corresponding global semigroups, with the primary purpose of strengthening the scope of applicability of semigroup theory to the analysis and construction of quantum stochastic cocycles. An explicit description is given of the affine relationship between the stochastic generator of a completely bounded cocycle and the generator of any one of its associated global semigroups. Using this, the structure of the stochastic generator of a completely positive quasicontractive quantum stochastic cocycle on a C*-algebra whose expectation semigroup is norm continuous is derived, giving a comprehensive stochastic generalisation of the Christensen--Evans extension of the GKS&L theorem of Gorini, Kossakowski and Sudarshan, and Lindblad. The transformation also provides a new existence theorem for cocycles with unbounded structure map as stochastic generator. The latter is applied to a model of interacting particles known as the quantum exclusion Markov process, in particular on integer lattices in dimensions one and two.
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. One-to-one correspondences are established between classes of cocycle of interest and corresponding classes of one-parameter 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 s…
A new method for the construction of Fock-adapted 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 Trotter-Kato Theorem and a recent characterisation of such cocycles in terms of an associated family of contraction semigroups.
A recent characterisation of Fock-adapted 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.
W. Arveson has described a cocycle conjugacy class $U(α)$ of $E_0$-semigroup $α$ on B(H) which is a factor of type $\rm I$. Under some conditions on $α$, there is a $E_0$-semigroup $β\in U(α)$ being a flow of shifts in the sence of R.T. Powers. We study quasifree endomorphisms semigroups $α$ on the hyperfinite factor $M=π(A(K))''$ generated by the representations $π$ of the algebra of canonical anticommutation relations A(K) over a separable Hilbert space K. The type of M can be $\rm I$, $\rm II$ or $\rm III$ depending on $π$. The cocycle conjugacy class $U(α)$ is described in the terms of ini…
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.
It is shown how to use non-commutative 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.
The subordinate E-semigroups of a fixed E-semigroup are in one-to-one correspondence with local projection-valued cocycles of that semigroup. For the CCR flow we characterise these cocycles in terms of their stochastic generators, that is, in terms of the coefficient driving the quantum stochastic differential equation of Hudson-Parthasarathy type that such cocycles necessarily satisfy. In addition various equivalence relations and order-type relations on E-semigroups are considered, and shown to work especially well in the case of those semigroups subordinate to the CCR flows by exploiting ou…
The gauge group is computed explicitly for a family of E_0-semigroups of type II_0 arising from the boundary weight double construction introduced earlier by Jankowski. This family contains many E_0-semigroups which are not cocycle cocycle conjugate to any examples whose gauge groups have been computed earlier. Further results are obtained regarding the classification up to cocycle conjugacy and up to conjugacy for boundary weight doubles $(ϕ, ν)$ in two separate cases: first in the case when $ϕ$ is unital, invertible and q-pure and $ν$ is any type II Powers weight, and secondly when $ϕ$ is a …
We have seen that if ϕ: M_n(\C) \rightarrow M_n(\C) is a unital q-positive map and νis a type II Powers weight, then the boundary weight double (ϕ, ν) induces a unique (up to conjugacy) type II_0 E_0-semigroup. Let ϕ: M_n(\C) \rightarrow M_n(\C) and ψ: M_{n'}(\C) \rightarrow M_{n'}(\C) be unital rank one q-positive maps, so for some states ρ\in M_n(\C)^* and ρ' \in M_{n'}(\C)^*, we have ϕ(A)=ρ(A)I_n and ψ(D) = ρ'(D)I_{n'} for all A \in M_n(\C) and D \in M_{n'}(\C). We find that if νand ηare arbitrary type II Powers weights, then (ϕ, ν) and (ψ, η) induce non-cocycle conjugate E_0-semigroups if …
We define tensor product decompositions of $E_0$-semigroups with a structure analogous to a classical theorem of Beurling. Such decompositions can be characterized by adaptedness and exactness of unitary cocycles. For CCR-flows we show that such cocycles are convergent.
We introduce four new cocycle conjugacy invariants for E_0-semigroups on II_1 factors: a coupling index, a dimension for the gauge group, a super product system and a C*-semiflow. Using noncommutative Itô integrals we show that the dimension of the gauge group can be computed from the structure of the additive cocycles. We do this for the Clifford flows and even Clifford flows on the hyperfinite II_1 factor, and for the free flows on the free group factor $L(F_\infty)$. In all cases the index is 0, which implies they have trivial gauge groups. We compute the super product systems for these fam…
A natural counterpart to the Lie-Trotter product formula for norm-continuous one-parameter 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 th…
This thesis is dedicated to developing a dilation theory for semigroups of completely positive maps. The first part treats two-parameter semigroups, and contains also contributions to dilation theory of product system representations. The second part deals with completely positive semigroups parameterized by quite general semigroups, where the major technical tool introduced is subproduct systems and their representations. In the third part subproduct systems are studied, together with the multivariable operator theory and operator algebras they give rise to.
This is a continuation of the study of the theory of quantum stochastic dilation of completely positive semigroups on a von Neumann or $C^*$ algebra, here with unbounded generators. The additional assumption of symmetry with respect to a semifinite trace allows the use of the Hilbert space techniques, while the covariance gives rise to better handle on domains. An Evans-Hudson flow is obtained, dilating the given semigroup.
We consider perturbations of dynamical semigroups on the algebra of all bounded operators in a Hilbert space generated by covariant completely positive measures on the semi-axis. The construction is based upon unbounded linear perturbations of generators of the preadjoint semigroups on the space of nuclear operators. As an application we construct a perturbation of the semigroup of non-unital *-endomorphisms on the algebra of canonical anticommutation relations resulting in the flow of shifts.
Completely simple semigroups arise as the support of limiting measures of random walks on semigroups. Such a limiting measure is supported on the kernel of the semigroup. Forming tensor powers of the random walk leads to a hierarchy of the limiting kernels. Tensor squares lead to quantum observables on the kernel. Recall that zeons are bosons modulo the basis elements squaring to zero. Using zeon powers leads naturally to quantum observables which reveal the structure of the kernel. Thus asymptotic information about the random walk is related to algebraic properties of the zeon powers of the r…
Let $\{ϕ_s\}_{s\in S}$ be a commutative semigroup of completely positive, contractive, and weak*-continuous linear maps acting on a von Neumann algebra $N$. Assume there exists a semigroup $\{α_s\}_{s\in S}$ of weak*-continuous *-endomorphisms of some larger von Neumann algebra $M\supset N$ and a projection $p\in M$ with $N=pMp$ such that $α_s(1-p)\le 1-p$ for every $s\in S$ and $ϕ_s(y)=pα_s(y)p$ for all $y\in N$. If $\inf_{s\in S}α_s(1-p)=0$ then we show that the map $E:M\to N$ defined by $E(x)=pxp$ for $x\in M$ induces a complete isometry between the fixed point spaces of $\{α_s\}_{s\in S}$ …
Building on recent progress in constructing derivations on Fourier algebras, we provide the first examples of locally compact groups whose Fourier algebras support non-zero, alternating 2-cocycles; this is the first step in a larger project. Although such 2-cocycles can never be completely bounded, the operator space structure on the Fourier algebra plays a crucial role in our construction, as does the opposite operator space structure. Our construction has two main technical ingredients: we observe that certain estimates from [H. H. Lee, J. Ludwig, E. Samei, N. Spronk, Weak amenability of Fou…
We prove that in a large class of Banach spaces of analytic functions in the unit disc $\mathbb{D}$ an (unbounded) operator $Af=G\cdot f'+g\cdot f$ with $G,\, g$ analytic in $\mathbb{D}$ generates a $C_0$-semigroup of weighted composition operators if and only if it generates a $C_0$-semigroup. Particular instances of such spaces are the classical Hardy spaces. Our result generalizes previous results in this context and it is related to cocycles of flows of analytic functions on Banach spaces. Likewise, for a large class of non-separable Banach spaces $X $ of analytic functions in $\mathbb{D}$…
In this paper we study two semigroups of completely positive unital self-adjoint maps on the von Neumann algebras of the free orthogonal quantum group $O_N^+$ and the free permutation quantum group $S_N^+$. We show that these semigroups satisfy ultracontractivity and hypercontractivity estimates. We also give results regarding spectral gap and logarithmic Sobolev inequalities.
Every symmetric generating functional of a convolution semigroup of states on a locally compact quantum group is shown to admit a dense unital $*$-subalgebra with core-like properties in its domain. On the other hand we prove that every normalised, symmetric, hermitian conditionally positive functional on a dense $*$-subalgebra of the unitisation of the universal C$^*$-algebra of a locally compact quantum group, satisfying certain technical conditions, extends in a canonical way to a generating functional. Some consequences of these results are outlined, notably those related to constructing c…
We consider semigroups of operators on a W$^*$-algebra and prove, under appropriate assumptions, the existence of a Jacobs-DeLeeuw-Glicksberg type decomposition. This decomposition splits the algebra into a "stable" and "reversible" part with respect to the semigroup and yields, among others, a structural approach to the Perron-Frobenius spectral theory for completely positive operators on W$^*$-algebras.
Using functional calculi theory, we obtain several estimates for $\|ψ(A)g(A)\|$, where $ψ$ is a Bernstein function, $g$ is a bounded completely monotone function and $-A$ is the generator of a holomorphic $C_0$-semigroup on a Banach space, bounded on $[0,\infty)$. Such estimates are of value, in particular, in approximation theory of operator semigroups. As a corollary, we obtain a new proof of the fact that $-ψ(A)$ generates a holomorphic semigroup whenever $-A$ does, established recently in [8] by a different approach.
