[This is akin to a living review, which may improve from time to time. Last edited 2023-4-10.]
This post will summarize the various consistency conditions that can be found discussed in the consistent histories literature. Most of the conditions have gone by different names under different authors (and sometimes even under the same author), so I’ll try to give all the aliases I know; just hover over the footnote markers.
There is an overarching schism in the choice of terminology in the literature between the terms “consistent” and “decoherent”. Manya authors, including Gell-Mann and Hartle, now use the term “decoherent” very loosely and no longer employ “consistent” as an official label for any particular condition (or for the formalism as a whole). Zurek and I believe this is a significant loss in terminology, and we are stubbornly resisting it. In our recent arXiv offering, our rant was thus:
…we emphasize that decoherence is a dynamical physical process predicated on a distinction between system and environment, whereas consistency is a static property of a set of histories, a Hamiltonian, and an initial state. For a given decohering quantum system, there is generally a preferred basis of pointer states [1, 8]. In contrast, the mere requirement of consistency does not distinguish a preferred set of histories which describe classical behavior from any of the many sets with no physical interpretation.
(See also the first footnote on page 3347 of “Classical Equations for Quantum Systems”b which agrees with the importance of this conceptual distinction.) Since Gell-Mann and Hartle did many of the investigations of consistency conditions, some conditions have only appeared in the literature using their terminology (like “medium-strong decoherence”). Nevertheless, I will exploit my home-blog advantage by putting my preferred terminology in italics and all alternate terminology in the footnotes. I eagerly tilt at windmills.
This post is largely based on papers by Halliwell, Gell-Mann and Hartle, and us where many of the various consistency conditions are reviewed.
Notation and terminology
An orthogonal Heisenberg-picture projectors is , and a set of mutually-exclusive and exhaustive such projectors is
, so that
,
, and
. For multiple times
, a fine-grained history
is constructed by selecting a single projector at each time, where
is the alternative at times
. The set of all fine-grained histories forms the sample space
. A coarse-grained history
is a subset of
, and it corresponds to a class operator
, where the class operator of a fine-grained history is
.
A history is said to be homogeneousc (or is said to have the “chain form”) if its class operator can be written as a chain of projectors at the different times; this obviously includes all the fine-grained histories, but it also includes coarse-grained histories where each time step is coarse-grained independent of the other time steps. Histories that cannot be written in this way are called inhomogeneous.
There is a coarse-graining partial order on the space of all possible coarse-grained histories, denoted by , when the fine-grained histories composing one are contained within the other:
.
The state is given by . The decoherence functional is
. The (unnormalized) conditional states are
. For a given tensor factorization
of the Hilbert space, the partial-trace decoherence functional with respect to
is
.
A (single) consistent history is a history that is a member of any consistent set of histories (defined below); equivalently, a consistent history is one for which .
A set of orthogonal, mutually exclusive projections operators are said to be recordsd of the histories
when
.
In the special case that the state is pure, , we give the name branches (or “branch state vectors”e ) to the conditional pure states
.
Fragile probabilities, logical conditions, and physical conditions
The conditions are listed below in roughly increasing order of strengthf . The first four of them are generally considered too weak to be physically reasonable, now being merely of historical and conceptual interest for understanding the formalism. Indeed, Diosi has pointed out that histories required to only satisfy one of these weaker conditions always yields a mapping from quantum states to outcome probabilities that is unacceptably sensitive to purely formal adjustments (such as appending non-interacting ancilla systems). In contrast, bonafide probabilitiesg can be assigned to sets of histories satisfying one of the later conditions. The key condition delineating this distinction is that of consistency. All the later conditions are strictly stronger than consistency, and so inherit its robustness.
For this reason, in the first four conditions we will explicitly state how probabilities are to be defined. In all remaining conditions, the probabilities are given by and, under those conditions, are necessarily real, positive, and sum to unity.
All conditions stronger than consistency are motivated at least partially to resolve the so-called set-selection problem. In other words, the later conditions are built on the foundation of bonafide probabilities (and, hence, consistency), and seek to pare down the enormous space of possible sets of histories in search of ones we could actually identify with the external classical reality we perceive. Such conditions can be separated into two major categories: those based on abstract logic, and those motivated by physical principles.h Most of the conditions of the later type require a preferred tensor factorization of the Hilbert space, namely the system-environment decomposition featured in the decoherence program or the decomposition into many subsystems featured in the quantum Darwinism program.
Consistency conditions
Below, is assumed to be fixed. The histories
and
are assumed to range over a set of histories
that is exclusive and exhaustive, i.e.
forms a partition of
.
Logical conditions admitting fragile probabilities
- A set of histories
is linearly positivei when
(1)
The probabilities are defined by
.
- A set of histories
satisfies partial consistencyj when
(2)
The probabilities are defined by
.
- A set of histories
satisfies weak consistencyk when
(3)
The probabilities are defined by
.
Logical conditions not admitting fragile probabilities
- A set of histories
is consistentl when
(4)
- A set of histories
is preclusive consistentm when it is consistent and, for any history
, we have
(5)
even when
.
- A set of histories
is ordered consistentn when it is consistent and, for any consistent history
, we have
(6)
even when
.
- A set of homogeneous histories
is strongly ordered consistento when it is consistent and
(7)
where the homogeneous histories are defined by
.
Physical conditions
- A set of histories
is recordedp when there exists records
such that
(8)
- Given a tensor factorization
of the Hilbert space, a set of histories
is partial-trace consistent with respect to
, abbreviated
-consistentq , when
(9)
- Given a tensor factorization
of the Hilbert space, a set of histories
is recorded in
when there exists records
acting non-trivially only on
such that
(10)
- Given a tensor factorization
of the Hilbert space, a set of histories
is redundantly consistentr when it is
-consistent for all
. In other words,
(11)
- Given a tensor factorization
of the Hilbert space, a set of histories
is redundantly recorded when it is recorded in
for all
. In other words, there exist record
acting non-trivially only on
such that
(12)
where
denotes the identity on all subsystems except
.
Other conditions
For completeness, we also include these two other conditions which are rarely used or discussed.
- A set of histories satisfies homogeneous-specific weak consistencys when, for all the homogeneous class operators
and
whose sum
is also homogeneous, we have
(13)
The probabilities are defined by
.
- Let
be the expansion of
in terms of its eigenstates
and eigenvalues
. A set of histories satisfies medium strong consistencyt when, for each
with
strictly positive, there exists a set of mutually exclusive orthogonal projectors
such that
(14)
If the non-zero
are degenerate, then this must hold for at least one choice of expansion in terms of the
.
The condition of homogeneous-specific weak consistency only made sense in the early days of the consistent histories program, when attention was generally restricted to homogenous histories.
The condition of medium strong decoherence made only one brief appearance in a paper by Gell-Mann and Hartle. It is unappealing because (1) it is probably not robust under a more complicated purification of and (2) it becomes ungainly upon degeneracy.
Discussion
The homogeneous-specific weak consistency is only of historical interest, having been superseded by weak consistency which dispenses with the restriction to homogeneous class operators. See footnote 4 on page 3353 of “Classical Equations for Quantum Systems”u for more info.
The condition of partial consistency was first discussed by Diosi in an arXiv paper that was never fully published. Most of the content in that paper eventually made its way to the PRL version over a decade later, but the discussion of this condition did not appear there. It was first discussed in print, and named “partial decoherence”, by Halliwell.v
Records always imply consistency and, when the state is pure (), they are equivalent. Likewise is true for records in
and
-consistency, and for redundant records and redundant consistency. Consistency also implies medium strong consistency for pure states.
Partial-trace consistency with respect to a subsystem implies partial-trace consistency with respect to a larger subsystem that contains it, which implies consistency.
Of those conditions stronger than consistency, the strictly logical ones (preclusive consistency and ordered consistency) are designed to avoid the so-called contrary inferences possible when considering two consistent but mutually incompatible sets. Ordered consistency is a strictly stronger condition than preclusion consistency. Wallden argues that requiring preclusive consistency is more essential than ordered consistency because propositions assigned extremal probability (0 or 1) have special ontological status, and that ordered consistency may be unreasonably difficult to check computationally.
When the histories are homogeneous, strongly ordered consistency is a strictly stronger condition than ordered consistency. No one has tried to define it for sets containing inhomogeneous histories.
One may also consider weakened forms of redundant recording and redundant consistency, where the respective equation holds only for ranging over some large subset of the
subsystems. For instance, it might be interesting to look at a thermodynamic limit where histories are redundantly recorded in “most” subsystems as
.
[Future tasks: (1) better understand Gell-Mann and Hartle’s two-part “strong decoherence”, and connect this to the importance of homogeneity (chains), (2) discuss the dependence of preclusive and ordered consistency to the choice of the sample space , (3) add feasibility, (4) say whether homogeneous-specific weak consistency applies only to sets which contain only homogeneous histories, and (5) discuss the relationship between Finkelstein, records, and strong decoherence as appears in “Classical equations for quantum system” w . ]
.
Footnotes
(↵ returns to text)
- I used to say “most authors” here, but some quick Google Scholar searches suggest “consistent” is now more popular than “decoherent”, and that might always have been true.↵
- Gell-Mann and Hartle↵
- Similarly, Isham has divided various attempts at set selection principles into ones that are mathematical (i.e. maximizing some function) and physical. However, the physical principle he considers is too vague to be useful, and if taken literally (rather than as a guiding principle) would produce far too many histories for them to remain consistent for realistic times scales.↵
- Gell-Mann and Hartle call these “generalized records” to emphasize that they need not be feasibly accessible to any observer. Indeed, they will contrast with our concept of “redundant records”, which will be much closer to the intuitive idea of a record.↵
- Gell-Mann and Hartle↵
- The order the conditions form under the relation of logical implication is not total, i.e. they can’t all be neatly ordered from weakest to strongest because some are not comparable.↵
- In the words of Diosi, “von Neumann probabilities”.↵
- Similarly, Anastopoulos has suggested a split between precise mathematical postulates and physically inspired ones.↵
- Goldstein and Page↵
- This was named “partial decoherence” by Halliwell.↵
- This is usually called “weak decoherence” (by Gell-Mann and Hartle) or, occasionally, just “consistency” (by Halliwell).↵
- This is most commonly called “medium decoherence” (e.g. by Gell-Mann and Hartle). It was called “Gell-Mann-Hartle (GH) decoherence” by Finkelstein when contrasting it with partial-trace (PT) decoherence. It has also been called just “decoherence” (e.g. by Halliwell) and it is equivalent to the “non-interference condition” in the context of path integrals discussed by Griffiths. We like to follow Kent and others who call it just “consistency”. This is because we no longer consider the weaker conditions of “weak consistency”, “partial consistency”, or “linear positivity” to be viable, and because we wish to reserve “decoherence” for dynamical processes.↵
- Wallden, “Contrary Inferences in Consistent Histories and a Set Selection Criterion” [arXiv:1402.3733].↵
- Kent, “Quantum Histories and Their Implications” [arXiv:gr-qc/9607073].↵
- This condition has never been given its own a name in the literature. Gell-Mann and Hartle considered this condition to be part I of their (new) “strong decoherence” condition. The other half of that condition, Part II, is apparently something akin to Finkelstein’s partial-trace consistency. However, I cannot for the life of me understand the notation in the paper in which they introduce this term.↵
- This has been called “strong decoherence” by Gell-Mann and Hartle, but in latter work they decided the condition was too strong to be useful. Years afterwards they appropriated the term “strong decoherence” for something else.↵
- This has been called “Partial-trace (PT) decoherence” by Finkelstein where the system being traced out is assumed to be some given environment. This could potentially be called “
-decoherence” when following the terminology of Gell-Mann and Hartle. Also, note that Gell-Mann and Hartle apparently considered something reminiscent of this condition to be part II of their (new) “strong decoherence” condition. However, I haven’t yet been able to understand the notation in that paper.↵
- This could potentially be called “redundant decoherence” when following the terminology of Gell-Mann and Hartle.↵
- This condition was was never formerly named. It was featured in the work of Omnes and Griffiths.↵
- This was called “medium strong decoherence” by Gell-Mann and Hartle.↵
- Gell-Mann and Hartle↵
- I am unsure if partial consistency has been rule out quite as conclusively as linear positivity and weak consistency were by Diosi (it being the condition identified by Diosi in an attempt to rescue linear positivity). However, I know of no reason to think that it is at all attractive.↵
- Gell-Mann and Hartle.↵
Pingback: Comments on Gell-Mann & Hartle’s latest - foreXiv
Pingback: Comments on Weingarten’s preferred branch – foreXiv
Hi there! This is kind of off topic but I need some guidance from
an established blog. Is it very difficult
to set up your own blog? I’m not very techincal but I can figure things out pretty fast.
I’m thinking about creating my own but I’m not sure where to begin. Do you have
any ideas or suggestions? Cheers