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 Boës and Navascués that shows that the set of strongly positive quantum systems is maximal among 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 among the sets that are closed under tensor product composition.
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 Boës and Navascués that shows that the set of strongly positive quantum systems is maximal among 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 among the sets that are closed under tensor product composition.
Quantum measure theory (QMT) is a generalization of quantum theory where physical predictions are computed from a matrix known as the decoherence functional (DF). Previous works have noted that, in its original formulation, QMT exhibits a problem with composability, since the composition of two decoherence functionals is, in general, not a valid decoherence functional. This does not occur when the DFs in question happen to be positive semidefinite (a condition known as strong positivity). In this paper, we study the concept of composability of DFs and its consequences for QMT. Firstly, we show that the problem of composability is much deeper than originally envisaged, since, for any n, there exists a DF that can coexist with $n\ensuremath{-}1$ copies of itself, but not with n. Secondly, we prove that the set of strongly positive DFs cannot be enlarged while remaining closed under composition. Furthermore, any closed set of DFs containing all quantum DFs can only contain strongly positive DFs.
We point out that a quantum system with a strongly positive quantum measure or decoherence functional gives rise to a vector-valued measure whose domain is the algebra of events or physical questions. This gives an immediate handle on the question of the extension of the decoherence functional to the sigma algebra generated by this algebra of events. It is on the latter that the physical transition amplitudes directly give the decoherence functional. Since the full sigma algebra contains physically interesting questions, like the return question, extending the decoherence functional to these more general questions is important. We show that the decoherence functional, and hence the quantum measure, extends if and only if the associated vector measure does. We give two examples of quantum systems whose decoherence functionals do not extend: one is a unitary system with finitely many states, and the other is a quantum sequential growth model for causal sets. These examples fail to extend in the formal mathematical sense and we speculate on whether the conditions for extension are unphysically strong.
We point out that a quantum system with a strongly positive quantum measure or decoherence functional gives rise to a vector valued measure whose domain is the algebra of events or physical questions. This gives an immediate handle on the question of the extension of the decoherence functional to the sigma algebra generated by this algebra of events. It is on the latter that the physical transition amplitudes directly give the decoherence functional. Since the full sigma algebra contains physically interesting questions, like the return question, extending the decoherence functional to these more general questions is important. We show that the decoherence functional, and hence the quantum measure, extends if and only if the associated vector measure does. We give two examples of quantum systems whose decoherence functionals do not extend: one is a unitary system with finitely many states, and the other is a quantum sequential growth model for causal sets. These examples fail to extend in the formal mathematical sense and we speculate on whether the conditions for extension are unphysically strong.
In this thesis we will explore the development of a realist quantum theory based on the decoherence functional using the co-event interpretation of Quantum Measure Theory. The Sum-Over-Histories theory of quantum mechanics will provide the bedding for a Hilbert-space-free stochastic-like theory that can accommodate spacetime-like objects, and can therefore be applied to quantum gravity and cosmology, as well as give an alternative perspective on quantum phenomena. The primitive objects of the theory are histories, which give different accounts of a system’s evolution, and the decoherence functional, which sums the quantum interference between these histories. Quantum Measure Theory and Generalised Quantum Mechanics (a theory close to Decoherent Histories) then give alternative interpretations of the decoherence functional’s relation to reality. In these theories, the decoherence functional is mathematically constrained in analogue to probability measures. However, one of the conditions, called weak positivity, can be lost under composition of isolated systems. We will extend this composition argument to take the case for a stronger condition of strong positivity for decoherence functionals. The bulk of the report will then focus on the co-event interpretation of Quantum Measure Theory, where co-events give full accounts of which events do or do not occur for a given system. The quantum nature of reality is expressed through the breaking of classical logic within these co-event descriptions. We will focus on evolving co-event schemes, which dynamically construct co-events to describe the reality of an evolving system in tandem with its progression. The evolving co-event schemes will be shown to reproduce classical logic when they are applied to classical systems. Moreover, similar to classical stochastic theory, these schemes will be shown to be invariant under the inclusion or exclusion of non-interfering histories. We will also explore a number of outstanding problems for these schemes, and will propose some potential modifications.
We investigate the quantum theory of closed systems based on the linear positivity decoherence condition of Goldstein and Page. The objective of any quantum theory of a closed system, most generally the universe, is the prediction of probabilities for the individual members of sets of alternative coarse-grained histories of the system. Quantum interference between members of a set of alternative histories is an obstacle to assigning probabilities that are consistent with the rules of probability theory. A quantum theory of closed systems therefore requires two elements: (1) a condition specifying which sets of histories may be assigned probabilities and (2) a rule for those probabilities. The linear positivity condition of Goldstein and Page is the weakest of the general conditions proposed so far. Its general properties relating to exact probability sum rules, time neutrality, and conservation laws are explored. Its inconsistency with the usual notion of independent subsystems in quantum mechanics is reviewed. Its relation to the stronger condition of medium decoherence necessary for classicality is discussed. The linear positivity of histories in a number of simple model systems is investigated with the aim of exhibiting linearly positive sets of histories that are not decoherent. The utility of extending the notion of probability to include values outside the range of 0--1 is described. Alternatives with such virtual probabilities cannot be measured or recorded, but can be used in the intermediate steps of calculations of real probabilities. Extended probabilities give a simple and general way of formulating quantum theory. The various decoherence conditions are compared in terms of their utility for characterizing classicality and the role they might play in further generalizations of quantum mechanics.
Mathematical foundation of the novel concept of quantum tensor product by Zanardi et al is rigorously established. The concept of relative quantum entanglement is naturally introduced and its meaning is made clear both mathematically and physically. For a finite or an infinite dimensional vector space W the so called tensor product partition (TPP) is introduced on End(W), the set of endmorphisms of W, and a natural correspondence is constructed between the set of TPP's of End(W) and the set of tensor product structures (TPS's) of W. As a byproduct, it is shown that an arbitrarily given wave function belonging to an n-dimensional Hilbert space, n being not a prime number, can be interpreted as a separable state with respect to some man-made TPS, and thus a quantum entangled state of a many-body system with respect to the "God-given" TPS can be regarded as a quantum state without entanglement in some sense. The concept of standard set of observables is also introduced to probe the underlying structure of the object TPP and to establish its connection with practical physical measurement.