Interactions in noncommutative dynamics (Q1581644)

The objectives of this paper are related to the one-parameter groups of *-automorphisms of the algebra \({\mathcal B}(H)\) of all bounded operators on the Hilbert space \(H\) which carry a particular kind of causal structure, i.e. so-called noncommutative dynamical systems. More precisely, a history on such a group is a pair \((U,M)\) consisting of a one-parameter group \(U= \{U_t: t\in\mathbb{R}\}\) of unitary operators acting on a separable infinite-dimensional Hilbert space \(H\) and a type I subfactor \(M\subseteq{\mathcal B}(H)\) which has the following two properties: \[ \Biggl(\bigcup_{t\in \mathbb{R}} \gamma_t(M)\Biggr)''= {\mathcal B}(H)\quad\text{(irreducibility)} \] \[ \bigcap_{t\in\mathbb{R}} \gamma_t(M)= {\mathbf C}\cdot \text{\textbf{1}}.\quad\text{(trivial infinitely remote past)} \] The present paper is related with purely mathematical issues concerning the dynamical properties of histories, with problems concerning their existence and construction, and with the issue of nontriviality in a proper sense due to the author. So, an interaction is a history with the additional property that there are normal well-defined states \(\omega_-\), \(\omega_+\) of \(M\) and of the commutant \(M'\), respectively, such that \(\omega_-\) is invariant under the action of \(\alpha^-\) and \(\omega_+\) is invariant under the action of \(\alpha^+\) where \(\alpha^-\) and \(\alpha^+\) are the two \(E_0\)-semigroups associated with any history, \(\alpha^-\) is the one associated with the ``past'' and \(\alpha^+\) is the one associated with the ``future'' of the history. The construction of many interactions involving cocycle perturbations of the CAR/CCR flows is described and its nontriviality is proved. The proof of nontriviality is based on a new inequality relating the eigenvalue lists of the ``past'' and ``future'' states to the norm of a linear functional on a certain \(C^*\)-algebra.