An Argument for Strong Positivity of the Decoherence Functional

We give an argument for strong positivity of the decoherence functional as the correct, physical positivity condition in formulations of quantum theory based fundamentally on the path integral. We extend to infinite systems work by Boes and Navascues that shows that the set of strongly positive quantum systems is maximal amongst sets of systems that are closed under tensor product composition. We show further that the set of strongly positive quantum systems is the unique set that is maximal amongst sets that are closed under tensor product composition.