# State-independent consistent sets

In May, Losada and Laura wrote a paperM. Losada and R. Laura, Annals of Physics 344, 263 (2014).a   pointing out the equivalence between two conditions on a set of “elementary histories” (i.e. fine-grained historiesGell-Mann and Hartle usually use the term “fine-grained set of histories” to refer to a set generated by the finest possible partitioning of histories in path integral (i.e. a point in space for every point in time), but this is overly specific. As far as the consistent histories framework is concerned, the key mathematical property that defines a fine-grained set is that it’s an exhaustive and exclusive set where each history is constructed by choosing exactly one projector from a fixed orthogonal resolution of the identity at each time.b  ). Let the elementary histories be defined by projective decompositions of the identity at time steps (), so that

(1)

where are the class operators. Then Losada and Laura showed that the following two conditions are equivalent

1. The set is consistent“Medium decoherent” in Gell-Mann and Hartle’s terminology. Also note that Losada and Laura actually work with the obsolete condition of “weak decoherence”, but this turns out to be an unimportance difference. For a summary of these sorts of consistency conditions, see my round-up.c   for any state: .
2. The Heisenberg-picture projectors at all times commute: .

However, this is not as general as one would like because assuming the set of histories is elementary is very restrictive. (It excludes branch-dependent sets, sets with inhomogeneous histories, and many more types of sets that we would like to work with.) Luckily, their proof can be extended a bit.

Let’s forget that we have any projectors and just consider a consistent set . Then consistency for any state, or state-independent consistency, means

(2)

Now, let’s consider the coarse-grained set that contains just a single arbitrary history and its converse . Coarse-graining preserves state-independent consistency, so we get that for all states , and in particular for any with : . But one can check (see Losada and Laura) that the only operator that always vanishes when sandwiched between two copies of an arbitrary vector is the zero operator. Therefore, or, in other words, . The operator is positive, and is one of its square roots. But a positive operator can’t be equal to its square root unless it’s a projector. (Use the singular-value decomposition to see this.) Therefore is a projector and, since there was nothing special about this particular history, we see that all the class operators in the original set are projectors. We find, without assuming anything about the set of histories being elementary, that the following two conditions are equivalent

1. The set is consistent for any state.
2. The class operators are projectors.

Then, if we further assume that the set is elementary, it immediately follows that the individual projectors commute.

A further question, whose answer I don’t know: do all the projectors used in constructing a state-independent set of (not necessarily elementary) homogeneous histories necessarily commute?

[Minor edits 2014-9-8]

### Footnotes

(↵ returns to text)

1. M. Losada and R. Laura, Annals of Physics 344, 263 (2014).
2. Gell-Mann and Hartle usually use the term “fine-grained set of histories” to refer to a set generated by the finest possible partitioning of histories in path integral (i.e. a point in space for every point in time), but this is overly specific. As far as the consistent histories framework is concerned, the key mathematical property that defines a fine-grained set is that it’s an exhaustive and exclusive set where each history is constructed by choosing exactly one projector from a fixed orthogonal resolution of the identity at each time.
3. “Medium decoherent” in Gell-Mann and Hartle’s terminology. Also note that Losada and Laura actually work with the obsolete condition of “weak decoherence”, but this turns out to be an unimportance difference. For a summary of these sorts of consistency conditions, see my round-up.