Completeness of decoherence functionals

The basic ingredients of the ‘‘consistent histories’’ approach to a generalized quantum theory are ‘‘histories’’ and decoherence functionals. The main aim of this program is to find and to study the behavior of consistent sets associated with a particular decoherence functional d. In its recent formulation by Isham [‘‘Quantum logic and the histories approach to quantum theory,’’ J. Math. Phys. 35, 2157–2185 (1994)] it is natural to identify the space ???????? of propositions about histories with an orthoalgebra or lattice. When ???????? is given by the lattice of projectors ????(????) in some Hilbert space ????, consistent sets correspond to certain partitions of the unit operator in ???? into mutually orthogonal projectors {α1,α2,...}, such that the function d(α,α) is a probability distribution on the boolean algebra generated by {α1,α2,...}. Using the classification theorem for decoherence functionals proven in Isham et al. [‘‘The classification of decoherence functionals: An analog of Gleason’s Theorem,’’ J. Math. Phys. 35, 6360–6370 (1994)] we show that in the case where ???? is some separable Hilbert space there exists for each partition of the unit operator into a set of mutually orthogonal projectors, and for any probability distribution p(α) on the corresponding boolean algebra, decoherence functionals d with respect to which this set is consistent and which are such that for the probability functions d(α,α)=p(α) holds.