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.


Introduction
The huge breadth of Roger Penrose's work means that there are many topics that are appropriate to include in a volume celebrating his work and his 2020 Nobel Prize for Physics.His accomplishments range from his pioneering work on global causal analysis in General Relativity that the Nobel Prize recognises, to twistor theory, quantum foundations and other highly original work in mathematics as well as physics.This paper describes work in quantum foundations, though we believe it is also a contribution to the quest to find a theory of quantum gravity, one of Roger's longstanding interests from a time well before it became mainstream.This paper adds a technical result to our knowledge about the foundations of the path integral approach to quantum theory, one of whose aims is to answer the question: what is the physical quantum world?Roger's approach to answering this question led to his proposal for a theory in which the wave function or state vector for a quantum system undergoes a dynamical process of collapse induced by the system's interaction with the gravitational field [1].The path integral offers an alternative perspective in which the physical world is not a state vector or wave function at all, dynamically collapsing or not, and, though Roger has not to our knowledge entertained a path integral approach, we believe that it accords with other aspects of his seminal work -in particular on the Lorentzian and causal structure of spacetime -because in the path integral approach the concepts of event and (real time) history are primary, as they are in General Relativity.
The path integral can be thought of as the basis of an approach to quantum foundations that takes heed of relativity's lessons.Indeed, the "fork in the road" between a Hamiltonian based, canonical approach and a Lagrangian based, path-integral, relativityfriendly approach to quantum theory was recognised by Paul Dirac in the early days of quantum mechanics in the paper The Lagrangian in Quantum Mechanics [2].Richard Feynman developed the path integral further [3] and promoted a way of thinking about quantum theory in which events and histories are central [4,5].In more recent times, the path integral approach to quantum foundations has been taken up as part of the quest for a solution to the problem of quantum gravity, exactly because the central concepts of event and history in the path integral approach align with those of relativity and because the approach naturally accommodates events involving topology change such as the creation of the universe from nothing and the pair production of black holes.Moreover, in the specific case of the causal set programme for quantum gravity 1 the characteristic kind of spatio-temporal discreteness of a causal set "militates strongly against any dynamics resting on the idea of Hamiltonian evolution" [8] and practically demands a histories-based treatment.
The two most developed path integral approaches to quantum foundations are the closely related programmes of generalised quantum mechanics (GQM) proposed and championed by Jim Hartle [9][10][11] and quantum measure theory (QMT) proposed and championed by Rafael Sorkin [12][13][14][15][16].In this work we address a question about the axioms of path integral based approaches: what positivity condition should the decoherence functional -also called the double path integral in the quantum measure theory (QMT) literature -satisfy?The result we prove is applicable both to QMT and GQM because the decoherence functional is a fundamental entity in both.We will discuss how QMT and GQM diverge from each other in Section 5.
Within existing unitary quantum theories, the decoherence functional is, essentially, the Gram matrix of inner products of a set of appropriate vectors in an appropropriate vector space and therefore such decoherence functionals satisfy a positivity condition known in the literature as strong positivity which is, essentially, the condition that the decoherence functional is a positive matrix.Conversely, if one starts -as one does in QMT and GQM -with a decoherence functional on an algebra of events as the axiomatic basis for the physics of a quantum system, the condition of strong positivity, if adopted as one of the axioms, allows a Hilbert space to be be constructed, using that decoherence functional to define an inner product on the free vector space on the event algebra, which can then be completed [17].This derived history Hilbert space can be shown to equal the standard Hilbert space in non-relativistic quantum mechanics and in finite unitary systems in a physically meaningful sense [8] and it is conjectured that this is the case in other unitary quantum theories such as quantum field theory.The history Hilbert space has been used to imply the Tsirel'son bound for scenarios of experimental probabilities in quantum measure theory [18] and, more generally, to locate scenarios that admit strongly positive decoherence functionals within the NPA hierarchy of semi definite programs [19,20].The history Hilbert space also provides a complex vector measure on events, providing an additional toolkit for exploring the question of the extension of the quantum measure [21][22][23].
These might be reasons enough to adopt strong positivity as the appropriate positivity axiom for the decoherence functional.We certainly want to be able to recover the standard Hilbert space machinery in familiar cases like quantum mechanics.But it's not a fully conclusive argument because we do not know if a Hilbert space is a necessary structure in a path-integral based theory of quantum gravity.In [24] Boes and Navascues 1 Roger's work on global causal analysis is part of the foundations of causal set theory because it tells us how much information is encoded in the spacetime causal order: in particular, the causal order determines the chronological order [6] and the chronological order determines the topology in strongly causal spacetimes [7].
give an argument for strong positivity based on composability of finite, noninteracting, uncorrelated systems.They show that the class of finite strongly positive systems satisfies a well defined maximality condition: no other system can be added to the set without the set losing the property of being closed under tensor product composition.In this work we will extend their result to infinite systems and further show that the set of strongly positive systems is the unique set of quantum systems that is maximal and closed under composition.
2 Quantum measure theory: a histories-based framework We will work within the formalism and use the terminology of quantum measure theory.Our results will, however, apply to generalised quantum mechanics (GQM) because they are technical results about decoherence functionals which are also fundamental in GQM.

Event Algebra
In quantum measure theory, the kinematics of a physical, quantum system is given by the set Ω of histories over which the path integral is done.Each history γ in Ω is as complete a description of physical reality as is conceivable in the theory.For example, in n-particle quantum mechanics, a history is a set of n trajectories in spacetime and in a scalar field theory, a history is a real or complex function on spacetime.This is not to say that even in these relatively well-known cases Ω is easy to determine: work must be done to determine for example if the trajectories/fields are continuous or discontinuous and by what measure, etc.Nevertheless, the concept of the path integral is familiar enough for us to take Ω as the underlying context for the concept of a quantum system.Any physical proposition about the system corresponds to a subset of Ω in the obvious way.For example, in the case of the non-relativistic particle, if R is a region of space and ∆T a time interval, the proposition "the particle is in R during ∆T " corresponds to the set of all trajectories that pass through R during ∆T .We adopt the standard terminology of stochastic processes in which such subsets of Ω are called events.
An event algebra on a sample space Ω is a non-empty collection, A, of subsets of Ω such that It follows from the definition that ∅ ∈ A, Ω ∈ A and A is closed under finite intersections.An event algebra is an algebra of sets by a standard definition, and a Boolean algebra.For events qua propositions about the system, the set operations correspond to logical combinations of propositions in the usual way: union is "inclusive or", intersection is "and", complementation is "not" etc.
An event algebra A is also an algebra in the sense of a vector space over a set of scalars, Z 2 , with intersection as multiplication and symmetric difference as addition: In this algebra, the unit element, 1 ∈ A, is 1 := Ω and the zero element, 0 ∈ A, is 0 := ∅.This "arithmetric" way of expressing set algebraic formulae is very convenient and we have, for example, that 1 + A is the complement of A in Ω.
If an event algebra A is also closed under countable unions then A is a σ-algebra but we will not assume this extra condition on the event algebra.

Decoherence functional and quantal measure
A decoherence functional on an event algebra A is a map A quantal measure on an event algebra A is a map µ : If D : A × A → C is a decoherence functional then the map µ : A → R defined by µ(α) := D(α, α) is a quantal measure.And, conversely, if µ is a quantal measure on A then there exists (a non-unique) decoherence functional D such that µ(α) = D(α, α) [12].The relationship between the quantal measure and the decoherence functional and their physical significance -including the question of which is the more primitive conceptremain to be fully worked out.In this paper we focus on the decoherence functional.A triple, (Ω, A, D), of sample space, event algebra and decoherence functional will be called a quantum measure system, or just system for short in what follows.
We will also need the more general concept of a quasi-system which we define to be a triple (Ω, A, f ), of sample space, event algebra and, what we will call, a functional f : A×A → C that satisfies the conditions (1)-(3) in the above definition of a decoherence functional but is not necessarily weakly positive.
We call the set of quasi-systems Q and the set of systems W.
A comment is in order here about why weak positivity of the decoherence functional is a requirement for a physical system.Weak positivity is equivalent to the requirement that the quantum measure, µ(α) := D(α, α) take only real, non-negative values.In the development of our understanding of the quantum measure, the predictive "law of preclusion" [15,25] that events of zero, or of very small measure, are precluded from happening plays an important role.This preclusion law only makes sense if the measure is non-negative, since, otherwise, certain events would have lower measure than the zeromeasure events.The positivity axiom for generalised quantum mechanics (GQM) is weak positivity of the decoherence functional (see for example condition (ii) on page 32 of [11] and equation (2.25a) of [26].

Composition
We want to describe a system that is composed of two non-interacting, uncorrelated subsystems.For reasons that will become clear, we define composition at the level of quasi-systems.Consider two quasi-systems (Ω 1 , A 1 , f 1 ) and (Ω 2 , A 2 , f 2 ) that together form a composite quasi-system (Ω, A, f ), which we write where the individual components of the composite triple, Ω 1 Ω 2 , A 1 A 2 and f 1 f 2 are defined below.
First, we take the composite history space to be the Cartesian product: Ω 1 Ω 2 := Ω 1 × Ω 2 .To construct the composite event algebra A, first consider product events of the form "E 1 ∈ A 1 for quasi-system 1 and E 2 ∈ A 2 for quasi-system 2", given by the Cartesian product E 1 × E 2 .These product events must be in the composite event algebra, and we define A = A 1 A 2 , to be the event algebra generated by the set of product events i.e.A is the smallest event algebra that contains all the product events.One can show that A equals the set of finite disjoint unions2 of product events.This is standard but we will go through it.
Let us define Ã to be the set of finite disjoint unions of product events.Then Ã ⊆ A. All we need to show therefore is that Ã is an algebra.
Proof.Let X and Y be elements of Ã.They are finite disjoint unions of product events and so their union is a finite union of product events.Thus, if we show that any event Z ∈ A of the form where V i ∈ A 1 and W i ∈ A 2 for all i, equals a finite union of pairwise disjoint product events then we are done.Consider the algebra It is a finite Boolean algebra.Let the atoms of this algebra be {v 1 , . . .v N }.Similarly consider the algebra A W ∈ A 2 generated by {W 1 , . . .W n }.Let the atoms of this algebra be {w 1 , . . .w M }.The atoms of the product algebra Proof.If X be an element of Ã then it is a disjoint union of product events: So X is an element of the product algebra A V ⊗ A W as constructed in the proof of the previous lemma.1 + X is also an element of A V ⊗ A W and so it is a disjoint union of the product atoms of If one thinks of the event algebras as algebras qua vector spaces over Z 2 then one sees that A is the tensor product Finally, we define the composed functional f following [17] and [24].We assume that the two subsystems do not interact and are uncorrelated.In a classical measure theory the probability of the product event of two independent events is P 1 (E 1 )P 2 (E 2 ), where P 1 and P 2 are the probability measures for system 1 and 2, respectively.By analogy, we define f = f 1 f 2 for product events: One might want to consider other ways to combine f 1 and f 2 but note that if the probability measures P 1 and P 2 were expressed as two diagonal decoherence functionals D 1 and D 2 , then this composition rule reproduces the classical composition rule.Moreover, such a composition rule is observed for decoherence functionals constructed in ordinary quantum mechanics when the initial state of the combined system is a product state.The functional f is extended to the rest of A = A 1 ⊗ A 2 by linearity.Consider two arbitrary elements of A, where the notation indicates that the sets over which the union is taken are pairwise disjoint.
We extend f to these events: where we must check that this is independent of the expansions of A and B as disjoint unions of products.Consider therefore different expansions of A and B as disjoint unions: Let A 1A be the event algebra generated by the events {A 11 , A 12 , . . .A 1n A }∪{α 11 , α 12 , . . .α 1m A }.
Let A 2A be the event algebra generated by the events {A 21 , A 22 , . . .A 2n A }∪{α 21 , α 22 , . . .α 2m A }. Now, A is an element of A 1A ⊗ A 2A and has a unique expansion as a disjoint union of atoms of this algebra.Each of these atoms is a product of an atom of A 1A and an atom of A 2A .
We can go through a similar procedure for B, defining algebras A 1B , A 2B , and A 1B ⊗ A 2B and their atoms.
Then, starting with f (A, B) as defined by equation (3.5), and using the additivity of f 1 and f 2 separately, we can re-express this as a unique double sum over the atoms of A 1A ⊗ A 2A and over the atoms of A 1B ⊗ A 2B .Then, again using the additivity of f 1 and f 2 , those atoms can be recombined to form the events α 1j × α 2j and β 1j × β 2j to show that so f is well-defined.This completes our definition of the composition of quasi-systems.
We have defined composition for quasi-systems because, it turns out, composition does not preserve weak positivity: the composition of two systems may not be a system.For example, consider two finite systems each with only two histories: 2 }.For each system, the atomic events are the singleton sets with one element.Consider, for each system the set of atomic events and let the respective 2 × 2 matrices M and N be and have entries Consider now the composed event 2 )} and 2 )}.We have the composed functional D 1 and D 2 are weakly positive but D 1 D 2 is not and so the set of quantum measure systems, W, is not closed under composition.Therefore, if we require that any two physical systems must compose to form a physical system then the conclusion is that not all systems in W are physical.We can turn this around and impose "membership of a class of systems that is closed under composition" as a requirement to be an allowed physical system.
We have chosen to call this property tensor-closed because the composed event algebra is the tensor product algebra.
The question to investigate is then, what subsets of W are tensor-closed?One such subset has already been identified in the literature: the set of systems with strongly positive decoherence functionals [27], to which we now turn.

Strong Positivity
Definition 2 (Event Matrix).Given a functional f : A × A → C and a finite set of events B ⊆ A, the corresponding Hermitian event matrix M is the |B| × |B| square matrix, indexed by B, given by Using this concept of event matrix, the definition of strong positivity can be stated: This condition is strictly stronger than weak positivity, indeed event matrix M in (3.8) above is weakly positive but not positive definite.We call a system with a strongly positive decoherence functional a strongly positive system and denoting the set of all strongly positive systems S, we have We will prove that S is tensor-closed using the following lemma: Lemma 3. Consider a system (Ω, A, D) and the finite set of events B ⊆ A with event matrix M .If there exists a finite set of events B ⊆ A such that the event matrix M of B is positive semi-definite and every event in B is a finite disjoint union of events in B , then the event matrix M of B is also positive semi-definite.
Proof.A similar claim can be found on page 8 of [27] and we follow the same method of proof.By assumption, for each event E ∈ B there is a number n E such that E is a union of n E pairwise disjoint events E i ∈ B : where vector V ∈ C |B | and its components are positive semi-definite and so V † M V ≥ 0. Hence the result.
) are strongly positive systems, then Ψ 1 Ψ 2 is a strongly positive system.
Proof.Consider a set of events B ⊆ A 1 A 2 of cardinality n: B = {X 1 , X 2 , . . .X n }.By the previous Lemma, if there exists a set of events B ⊆ A 1 A 2 with a positive definite event matrix, such that every element of B is a disjoint union of elements of B then we are done.Each element of B is a disjoint union of product events: Let A(B) 1 be the subalgebra of A 1 generated by the set of events {X a 1i | a = 1, 2, . . .n and i = 1, 2, . . .n a }.Similarly let A(B) 2 be the subalgebra of A 2 generated by the set of events {X a 2i | a = 1, 2, . . .n and i = 1, 2, . . .n a }.Consider the product algebra, A(B) 1 ⊗ A(B) 2 .Its atoms are products of the form a 1i × a 2j where a 1i , i = 1, 2, . . .m 1 are the atoms of A(B) 1 and a 2j , j = 1, 2, . . .m 2 are the atoms of A(B) 2 .Let B denote the set of these product atoms: Each event X a ∈ B is a unique finite disjoint union of elements of B .The event matrix for B is This is the Kronecker product of two positive semi-definite matrices, which is positive semi-definite.Hence the result.Thus, S is tensor-closed.However this condition is not sufficient to pick out S uniquely from amongst subsets of W.

Definition 4 (Positive Entry Decoherence Functional). A decoherence functional D :
A × A → C is a positive entry decoherence functional if, for all A, B ∈ A, D(A, B) is real and non-negative.We call a system with a positive entry decoherence functional a positive entry system.Let R + denote the set of positive entry systems: R + ⊂ W. The composition of two positive entry systems is a positive entry system: Each event E ∈ A 1 A 2 can be expanded as a finite disjoint union where Another example of a tensor-closed set of systems is the set of classical systems: a system is classical if there exists a classical (probability) measure µ on A such that D(A, B) = µ(A ∩ B) for all A and B in A.
Lemma 5.The set of classical systems is tensor-closed.
Each event E ∈ A 1 A 2 can be expanded as a finite disjoint union where where µ 1 ⊗ µ 2 is the product classical measure on the product algebra A 1 ⊗ A 2 .

Galois Self-Dual Sets
In [24], Boes and Navascues showed that, in the case where the set of systems considered is the set of finite systems, W f in , the set of finite strongly positive systems, S f in , is a maximal tensor-closed set: the set S f in cannot be enlarged to include any system in W f in \ S f in and remain tensor-closed.We will reproduce this result, extending it to infinite systems W and S. We will formalise the maximality condition using the concept of Galois dual3 : Definition 5 (Galois Dual).The Galois dual of a subset A ⊆ W is the set In other words, the Galois dual of a set of systems A is the set of systems whose composition with any element of A is also a system.
Note: the term "Galois" dual refers to the fact that the Galois dual operation, together with itself, is an antitone Galois connection.Indeed, A ⊆ B ⇔ B ⊆ A.
Amongst the tensor-closed subsets of W, a subset A that is also Galois self-dual is maximal because there is no system outside of A that can be composed with all systems in A to produce a system.Theorem 2. S = S.
Proof.Since S is tensor-closed, by Lemma 6 we have S ⊆ S.
To prove that Ψ 1 ∈ S we need to show that, for any finite subset B ⊆ A 1 , the corresponding event matrix M 1 is positive semi-definite.
Let v be a vector in C |B| .We define a square matrix M 2 , of order (|B| + 1), indexed by B = B ∪ {x} where x is some extra index value, where Note that the extra index value x and the M 2xx = 1 entry are necessary to ensure that r is a strictly positive number, in the cases where A∈B v A = 0.This matrix is normalised -in the decoherence functional sense that the sum of its entries equals 1 -and Hermitian.Moreover, it is positive semi-definite because, for any u ∈ C |B|+1 , where Ω 2 = {γ α | α ∈ B } is a finite history space indexed by B .The singleton sets {γ α }, α ∈ B , are the atoms of the algebra A 2 .Since Ω 2 is finite, we can define D 2 by choosing M 2 as the event matrix for the set of atoms and D 2 is defined by additivity for all the other events.D 2 is strongly positive, so Ψ 2 ∈ S. Therefore, since Ψ 1 ∈ S, it follows by definition that Ψ 1 Ψ 2 ∈ W, which implies that D 1 D 2 is weakly positive.Now, consider the event E ∈ A 1 A 2 given by Since the {γ A } are atoms of A 2 , the union is indeed a disjoint union.Since D 1 D 2 is weakly positive, it follows that Since r is a positive number and v is arbitrary, this implies that M 1 is positive semidefinite.B ⊆ A 1 was also arbitrary and so Ψ 1 ∈ S and S ⊆ S.
Boes and Navascues' proof of this result for finite systems is very similar: they use a decoherence functional in the role of D 2 that is constructed explicitly from strings of projectors and an initial state in a Hilbert space.The next two lemmas show that the set of positive entry systems R + is not Galois self-dual.Lemma 7. Let Ψ = (Ω, A, D) ∈ W be a system.
Note that this implies D 2 is a real symmetric functional.
For "⇐=" suppose that Then, for any event E ∈ A 1 A 2 , expanded as the disjoint union the corresponding diagonal entry in D 1 D 2 is For "=⇒" suppose Ψ 1 ∈ R + .Let Ψ 2 have exactly two histories, {γ a , γ b }, and let the event matrix of the atoms, {γ a } and {γ b }, be M = 1 2 0 1 1 0 , so Ψ 2 ∈ R + .Let A, B ∈ A 1 , and consider the event E ∈ A 1 A 2 given by Proof.By Lemma 7, R + equals the set of systems (Ω, A, D) such that Re(D) is a positive entry decoherence functional.This will include all the systems in R + , but will also include, for example, the system with two histories whose "atomic" event matrix is 1 2 1 i −i 1 .This is not a positive entry system.

Self-Composition
We will prove that S is the only subset of W that is tensor-closed and Galois self-dual: The rest of the paper is devoted to proving Theorem 3. A system is in S if and only if all its event matrices are positive semi-definite.A matrix is positive semi-definite if and only if every principal submatrix -a square submatrix formed by deleting a set of rows and the matching set of columns -has non-negative determinant.Since a principal submatrix of an event matrix is also an event matrix -of a subset of the original set of events -this means that a system is not in S if and only if there exists an event matrix with a negative determinant.
We will need the following useful form of the determinant of a matrix: Lemma 9.For a complex square matrix M of order m > 1, Let s 1m be the transposition that exchanges 1 and m.Note that s 1m • S o m = S e m ; i.e. s 1m composed with all odd permutations is the set of all even permutations, and vice versa.Therefore, Similarly, Thus, (4.22) becomes m! det M = 2σ ee (M ) − 2σ eo (M ) .(4.24) Lemma 10.For a Hermitian matrix M of order m > 1, both σ ee (M ) and σ eo (M ) are real. Proof.
det M is real for a Hermitian matrix and so Lemma 9 shows that σ eo (M ) is also real.We now show that any system that is in neither S nor R + can be composed with itself a finite number of times to produce a quasi-system that is not in W.This is the heart of the proof of Theorem 3. We want to find two disjoint events with the above property.Recalling that (1 + A) is the complement of A, we define These four events are pairwise disjoint, except for Since the phase on the left-hand side is non-zero, at least one of the last three f (•, •) terms must also have a non-zero phase.Choose one of these terms with a non-zero phase and rename the first and second arguments of that term Ā and B respectively.Then with r Ā, B = 0 and Ā and B disjoint.
In addition, since Ψ ∈ S, there exists a finite subset B ⊆ A whose event matrix M is not positive semi-definite.By considering the event matrix of the set of atoms of the event algebra generated by B and using Lemma 3, we may assume that the elements of B are pairwise disjoint.There exists a principal submatrix N of M such that det N < 0 . (4.35) Since N is a principal submatrix of M , it is the event matrix for some < 0 and D is not weakly positive and we are done.Therefore, from now on we assume n > 1.
Consider now Ψ k = {Ω k , A k , D k }.We will find an appropriate k for each of a number of cases and subcases.Case (a): r Ā, Ā = r B, B = 0. Consider the event E ∈ A k given by Āk and Bk are disjoint.Then, where we used the symmetry of r and the antisymmetry of θ.Using Lemma 11 we choose k such that cos k θ < 0 so that D k (E, E) < 0 and we are done.Case (b): r Ā, Ā + r B, B > 0. Let k = p + nq where p, q are positive integers and consider events E e , E o ∈ A k , given by where the Cartesian products " i " are taken in order, from left to right, as for example in, The symbol is used because the unions are indeed over disjoint events since i F π(i) is disjoint from i F π (i) when π and π are different permutations.
by bi-additivity.(4.40) Focussing on the third term, We do a similar calculation for the other terms in (4.40).Then, we use the result from (4.23) to change a sum over even permutations on the first index and odd permutations on the second index to a sum over odd permutations on the first index and even permutations on the second, and similarly a sum over odd permutations to a sum over even permutations.We find that = x p σ ee (N ) q + y p cos p θ σ eo (N ) q , where x p := r Ā, Ā p + r B, B p and y p := 2r Ā, B p .(4.41) Both x p and y p are strictly positive real numbers.By Lemma 9, we have But det N is negative and by Lemma 10 both σ ee (N ) and σ eo (N ) are real, so Subcase (i) σ eo (N ) ≤ 0. This implies σ ee (N ) < 0. In this case, we choose q = 1 and use Lemma 11 to choose a p such that cos p θ ≥ 0 to get Subcase (ii) σ eo (N ) > 0 and σ ee (N ) ≤ 0. Choose q = 1 and p such that cos p θ < 0 (Lemma 11).Then Subcase (iii) σ eo (N ) > 0 and σ ee (N ) > 0. Again choose a p such that cos p θ < 0. Then Since σ ee σ eo < 1, for large enough q the first term in the brackets can be made arbitrarily small, while the second term is fixed and strictly negative.So there exists q ∈ N for which Since Ψ 1 ∈ S, there exists some finite B ⊆ A 1 with a corresponding event matrix M that is not positive semi-definite.Consider the finite set of events (4.45) The corresponding event matrix N for D 1 D 2 is given by which implies it is also not positive semi-definite.Therefore, Ψ 1 Ψ 2 ∈ S. Also, since Ψ 2 ∈ R + , there exists some A, B ∈ A 2 such that D 2 (A, B) is either negative or non-real.But then so D 1 D 2 also has a negative or non-real entry.Therefore, Ψ 1 Ψ 2 ∈ R + .
Lemma 13.For any A, B ⊆ W, We are now ready to prove Theorem 3: Proof.Suppose A is tensor-closed and Galois self-dual.We know from Theorem 4 that either A ⊆ R + or A ⊆ S.

Discussion
Our theorem adds to the evidence that strong positivity is the correct physical positivity condition on the decoherence functional/double path integral in both quantum measure theory and generalised quantum mechanics but it is not a proof because of the various assumptions we have made throughout, natural though they are.Why should compose-ability be a requirement at all?The physical universe is a whole and one might consider any attempt to split it up into subsystems as necessarily doing some kind of violence to it.Maybe in a truly cosmological quantum theory the question of composition of quantum systems might not arise but for now it is hard to see how we can make progress without considering subsystems, both in isolation from and in interaction with others.One can consider the concept of a set of physically allowed systems, closed under composition as some sort of combined locality-cum-reproducibility requirement of a physical theory and it is all but universally assumed.As an example, the condition of compose-ability discriminates between decoherence conditions in generalised quantum mechanics and in the decoherent histories approach to quantum foundations [28,29].
It is also worth bearing in mind the possibility that the product composition law that seems natural for pure, unentangled states may not be, or may not always be, the appropriate composition law.As an illustration of the subtle issues that can arise when generalising from classical stochastic measure theories to quantum measure theories, consider the fact that even the product composition law for decoherence functionals of pure, unentangled states can result in correlations between events in the subsystems if one adopts the preclusion law that events of zero measure do not happen [30].This is what Sorkin refers to as the "radical inseparability" of quantum systems analysed from the perspective of the path integral [31].
The issue of composition is intertwined, in quantum measure theory, with the question of the relationship between the complex decoherence functional and the real, non-negative quantum measure.Whilst the imaginary part of the decoherence functional of a single system does not affect the quantum measure of that system, if one composes the decoherence functionals of two subsystems using the product composition rule then the quantum measure of the composed system will depend on the imaginary parts of the decoherence functionals of the subsystems.This means that we cannot compose quantum measure systems by composing their quantum measures directly but must do it by composing their decoherence functionals.
The previous remarks notwithstanding, one can nevertheless conceive of a theoretical landscape of quantum measure theories given to us, somehow, only by their measures and not by their decoherence functionals.How would one compose systems in this case?Sorkin showed [12] that there is a one-to-one correspondence between quantum measures, µ, and real symmetric decoherence functionals, D µ given by: To define the composition of two quantum measures, µ 1 and µ 2 , then, one can form their real symmetric decoherence functionals, D µ1 and D µ2 , compose these decoherence functionals and finally form the quantum measure from this composition.Now, in this landscape, all decoherence functions are real, and we can redo the work in this paper replacing the set W with W R which is the subset of W with real decoherence functionals.Almost all the lemmas and theorems -mutatis mutandis -still hold, including theorem 4. The only thing that fails is the final result because the replacement of W with W R in the definition of Galois dual has the effect of making the set R + of positive entry systems Galois self dual as well as tensor closed.So in a landscape of systems with real decoherence functionals, our uniqueness theorem for strong positivity, theorem 3 fails.
One motivation for this work was that it might have an application or extension at the higher, super-quantum levels of the Sorkin nested hierarchy of measure theories [12].We have shown that the set of strongly positive systems S is the unique set of quantum systems that is tensor-closed and Galois self-dual.This may be a useful clue for finding the correct, physical positivity condition for measure theories at levels the Sorkin hierarchy above the quantum level.Strong positivity is a condition on the decoherence functional, D, and not (directly) on the measure, µ and as we have seen above, we need decoherence functionals to compose systems.So, to investigate composition of systems and the analogue of the strong positivity condition at higher levels, we need the analogue of the decoherence functional at higher levels.
Consider for example level 3, the first super-quantum level.Given a complex, level 3 decoherence functional with three arguments, E(A, B, C) such that the functional is additive in each of its arguments, and similarly for the other two arguments, and such that E(A, A, A) ≥ 0 ∀A ∈ A , then the measure, µ(A) := E(A, A, A) satisfies the level three Sorkin sum rule [12].There, however, the easy generalisations from the quantum level in the hierarchy end and a number of questions arise.
The Sorkin hierarchy is nested so each level is contained in all higher levels.Thus, a classical, level 1 theory is a special case of a quantum, level 2 theory in this measure theoretic framework for classifying physical theories.Indeed, this is one of the reasons for expecting that a path integral framework is the right one for understanding how classical physics emerges approximately from a fundamentally quantum theory.This nested relationship between classical and quantum measure theories can be expressed in terms of the decoherence functional in the following way.If a quantum/level 2 decoherence functional satisfies D(A, B) = D(A ∩ B, A ∩ B) for all events A and B in the event algebra then the measure defined by µ(A) := D(A, A) is classical i.e. it satisfies the level 1, Kolmogorov sum rule.Conversely, given a classical measure µ, one can define a decoherence functional: D(A, B) := µ(A ∩ B).Now consider level 3, the first superquantum level.Any level 2 measure is a special case of a level 3 measure: it satisfies the level 3 sum rule (and all higher level sum rules).But, can this inclusion of level 2 in level 3 be expressed in terms of decoherence functionals?Given a level 2 decoherence functional, D(A, B), can a level 3 functional, E(A, B, C), be defined using D, such that E(A, A, A) = D(A, A), i.e.E corresponds to the same measure?What condition should replace the quantum/level 2 condition of Hermiticity?How do we describe the composition of two level 3 systems: is the same product rule as employed in this paper the right rule?What is the correct physical positivity condition on a level 3 decoherence functional?One strategy for discovering this condition, suggested by the results of this paper, is to seek a set of level 3 systems that is closed under composition and is maximal amongst such sets, in the hope that this may again prove to be a unique set, whose elements are characterised by a property one can recognise as a positivity condition.
Finally, let us address Roger's particular concerns in quantum foundations in the context of the difference between generalised quantum mechanics (GQM) and quantum measure theory (QMT).In 1994 in a debate with Stephen Hawking, Roger said [32]: Whatever "reality" may be, one has to explain how one perceives the world to be.[...] It seems to me that in order to explain we perceive the world to be, within the framework of Quantum Mechanics, we shall need to have one (or both) of the following: (A) A theory of experience.
(B) A theory of real physical behaviour.
Roger goes on to state that he is "a strong B-supporter".
How do the two path integral approaches to quantum foundations QMT and GQM fare when judged against Roger's (A) and/or (B)?The main distinction between QMT and GQM is a fork in the road signposted by an attitude to measure theory in physics.In GQM, the attitude taken is that a classical (level 1) measure is necessary to do physics and so the full event algebra must be restricted to a subalgebra on which the measure is classical.In contrast, in QMT, the attitude taken is that the null-and very close to null-events exhaust the scientific content of a measure theory via what Borel called "la loi unique du hasard" (the only law of chance) namely that events of very small measure almost certainly don't happen. 4In which case, additivity of the measure is not necessary.
In GQM, then, one seeks a maximal subalgebra of the full algebra of events such that the measure restricted to that subalgebra is a classical measure to a very good degree of approximation.The set of atoms of such a subalgebra is a maximally fine-grained, decoherent set of coarse-grained histories, in the terminology of GQM [9][10][11].One then interprets the measure restricted to a decoherent subalgebra as a probability in the usual way as for a classical random process: exactly one atom of that subalgebra is realised, at random and the measure of any event in the decoherent subalgebra is interpreted as the probability that that event happens, i.e. the probability that the single realised atom is a subevent of that event.In the case when the decoherence functional corresponds to an initial Schroedinger cat-type state for some macro-object, a pointer say, then -heuristics and model calculations show -there will be a decoherent subalgebra that contains amongst its atoms, one atom in which the pointer is in one of the positions of the superposition and another atom in which the pointer is in the other position.From this decoherent subalgebra, only one atom is realised -either one or the other of the pointer positionswhich seems to indicate that GQM is a Penrose B-type theory.
However, in GQM, for any system there are many -infinitely many -incomparable decoherent subalgebras, all on the same footing according to the axioms of GQM.If one atom is realised from the pointer subalgebra then one atom is realised from each of the decoherent subalgebras.[34,35].Without an extra axiom, a criterion for selecting one of the decoherent subalgebras from the many, GQM is therefore a theory of many worlds. 5hose who claim that GQM is satisfactory in the absence of a physical subalgebra selection axiom must construct arguments to try to explain why we nevertheless experience only one world.There is no consensus on whether the arguments that exist in the literature hold water but, it seems to me, there is consensus that such arguments are needed.GQM is therefore an A-type theory in the Penrose sense of needing to be supplemented by a theory of experience.
By contrast, QMT is a One World theory in which the physical world is conjectured to be exactly one co-event or generalised history [14][15][16] in which every event in the full event algebra for the system either happens (is affirmed) or doesn't happen (is denied).The term co-event reflects that this physical information can be considered, mathematically, as a map from the event algebra to Z 2 = {0, 1} where 1 represents affirmation and 0 represents denial.The theory provides the set of physically allowed co-events and exactly one of these corresponds to the physical world.The quantum measure restricts the possible physical co-events by the Law of Preclusion that null events are denied: µ(E) = 0 =⇒ φ(E) = 0.This Law of Preclusion must be supplemented by other axioms for physically allowed co-events and the question of what these axioms are remains open, though proposals have been made and explored (see for example [14-16, 31, 36-38]).The ongoing search for a physical co-event scheme is guided by several desiderata, including the requirement that the physically allowed co-events turn out to be classical when restricted to the subalgebra of localised, quasi-classical, macro-events. 6This would imply that exactly one atom of the macro-subalgebra is affirmed.QMT is a One World theory, which world should recover a classical picture when restricted to the sub-algebra of macro-events.QMT is a Penrose B-type theory.