Gentle Perturbations of the Free Bose Gas I

It is demonstrated that the thermal structure of the noncritical free Bose Gas is completely described by certain periodic generalized Gaussian stochastic process or equivalently by certain periodic generalized Gaussian random field. Elementary properties of this Gaussian stochastic thermal structure have been established. Gentle perturbations of several types of the free thermal stochastic structure are studied. In particular new models of non-Gaussian thermal structures have been constructed and a new functional integral representation of the corresponding euclidean-time Green functions have been obtained rigorously.Comment: 51 pages, LaTeX fil

Generalised quantum weakest preconditions

Generalisation of the quantum weakest precondition result of D'Hondt and Panangaden is presented. In particular the most general notion of quantum predicate as positive operator valued measure (POVM) is introduced. The previously known quantum weakest precondition result has been extended to cover the case of POVM playing the role of a quantum predicate. Additionally, our result is valid in infinite dimension case and also holds for a quantum programs defined as a positive but not necessary completely positive transformations of a quantum states.Comment: 7 pages, no figures, added references, changed conten