Although quantum logic by using exogenous approach has been proposed for reasoning about closed quantum systems, an improvement would be worth to study quantum logic based on density operators instead of unit vectors in the state logic point of view. In order to achieve this, we build an exogenous quantum operator logic(EQOL)based on density operators for reasoning about open quantum systems. W...

We present a very simple model for numerically describing the steady state dynamics of a system interacting with continua of states representing a bath. Our model can be applied to equilibrium and nonequilibrium problems. For a one-state system coupled to two free electron reservoirs, our results match the Landauer formula for current traveling through a molecule. More significantly, we can als...

In this short note we show that for a Markovian open quantum system it is always possible to construct a unique set of perfectly consistent Schmidt paths, supporting quasi-classicality. Our Schmidt process, elaborated several years ago, is the ∆t → 0 limit of the Schmidt chain constructed very recently by Paz and Zurek.

Abstract A new derivation of quantum stochastic differential equation for the evolution operator in the low density limit is presented. We use the distribution approach and derive a new algebra for quadratic master fields in the low density limit by using the energy representation. We formulate the stochastic golden rule in the low density limit case for a system coupling with Bose field via qu...

A closed expression for the density operator of the damped harmonic oscillator is extracted from the master equation based on the Lindblad theory for open quantum systems. The entropy and effective temperature of the system are subsequently calculated and their temporal behaviour is surveyed by showing how these quantities relax to their equilibrium values. The entropy for a state characterized...

An EPR-channel consists of two Hilbert spaces, H A and H B , and of a density operator sitting on the their direct product space H AB. The channel is triggered by a von Neumann measurement on H A , resulting in a state (density operator) ω A. Because a measurement in H A can be considered as a measurement in H AB equally well, it induces a new state in H AB and, hence, a new state, ω B , in H B...

We extend the applicability of the numerical Chapman–Enskog expansion as a lifting operator for lattice Boltzmann models to map density and momentum to distribution functions. In earlier work [Vanderhoydonc et al. Multiscale Model. Simul. 10(3): 766-791, 2012] such an expansion was constructed in the context of lifting only the zeroth order velocity moment, namely the density. A lifting operato...