Editing Consistent histories

{{short description|Interpretation of quantum mechanics}}
{{Quantum mechanics|cTopic=[[Interpretation of quantum mechanics|Interpretations]]}}

In [[quantum mechanics]], the '''consistent histories''' or simply "consistent quantum theory"<ref name="Hohenberg-2010">{{Cite journal |last=Hohenberg |first=P. C. |date=2010-10-05 |title=Colloquium : An introduction to consistent quantum theory |url=https://link.aps.org/doi/10.1103/RevModPhys.82.2835 |journal=Reviews of Modern Physics |language=en |volume=82 |issue=4 |pages=2835–2844 |doi=10.1103/RevModPhys.82.2835 |issn=0034-6861|arxiv=0909.2359 }}</ref> [[Interpretation of quantum mechanics|interpretation]] generalizes the [[complementarity (physics)| complementarity]] aspect of the conventional [[Copenhagen interpretation]]. The approach is sometimes called  '''decoherent histories'''<ref name="aka-dh">{{cite web|last1=Griffiths|first1=Robert B.|title=The Consistent Histories Approach to Quantum Mechanics|url=http://plato.stanford.edu/entries/qm-consistent-histories/|website=Stanford Encyclopedia of Philosophy|publisher=Stanford University|access-date=2016-10-22}}</ref> and in other work decoherent histories are more specialized.<ref name="Hohenberg-2010"/>

First proposed by [[Robert Griffiths (physicist)|Robert Griffiths]] in 1984,<ref>{{cite journal | last=Griffiths | first=Robert B.|author-link=Robert Griffiths (physicist) | title=Consistent histories and the interpretation of quantum mechanics | journal=Journal of Statistical Physics | publisher=Springer Science and Business Media LLC | volume=36 | issue=1–2 | year=1984 | issn=0022-4715 | doi=10.1007/bf01015734 | pages=219–272| bibcode=1984JSP....36..219G| s2cid=119871795}}</ref><ref>{{Cite book |last=Griffiths |first=Robert B. |title=Consistent quantum theory |date=2003 |publisher=Cambridge Univ. Press |isbn=978-0-521-53929-6 |edition=First published in paperback |location=Cambridge}}</ref> this interpretation of quantum mechanics is based on a [[consistency]] criterion that then allows probabilities to be assigned to various alternative histories of a system such that the probabilities for each history obey the rules of classical probability while being consistent with the [[Schrödinger equation]]. In contrast to some interpretations of quantum mechanics, the framework does not include "[[Wave function collapse|wavefunction collapse]]" as a relevant description of any physical process, and emphasizes that measurement theory is not a fundamental ingredient of quantum mechanics. Consistent histories allows predictions related to the state of the universe needed for [[quantum cosmology]].<ref>{{cite journal | last1=Dowker | first1=Fay |author-link=Fay Dowker | last2=Kent | first2=Adrian | title=Properties of Consistent Histories | journal=Physical Review Letters | volume=75 | issue=17 | date=1995-10-23 | issn=0031-9007 | doi=10.1103/physrevlett.75.3038 | pages=3038–3041| pmid=10059479 | arxiv=gr-qc/9409037 | bibcode=1995PhRvL..75.3038D | s2cid=17359542 }}</ref>

==Key assumptions==
The interpretation rests on three assumptions:
#[[quantum states |states]] in Hilbert space describe physical objects,
#quantum predictions are not deterministic, and 
#physical systems have no single unique description. 
The third assumption generalizes [[Complementarity (physics)|complementarity]] and this assumption separates consistent histories from other quantum theory interpretations.<ref name="Hohenberg-2010"/>

==Formalism==
===Histories===

A ''homogeneous history'' <math>H_i</math> (here <math>i</math> labels different histories) is a sequence of [[Proposition]]s <math>P_{i,j}</math> specified at different moments of time <math>t_{i,j}</math> (here <math>j</math> labels the times). We write this as:

<math> H_i = (P_{i,1}, P_{i,2},\ldots,P_{i,n_i}) </math>

and read it as "the proposition <math>P_{i,1}</math>  is true at time <math>t_{i,1}</math> ''and then'' the proposition <math>P_{i,2}</math> is true at time <math>t_{i,2}</math> ''and then'' <math>\ldots</math>". The times  <math>t_{i,1} < t_{i,2} < \ldots < t_{i,n_i}</math> are strictly ordered and called the ''temporal support'' of the history.

''Inhomogeneous histories'' are multiple-time propositions which cannot be represented by a homogeneous history. An example is the logical [[logical disjunction|OR]] of two homogeneous histories: <math>H_i \lor H_j</math>.

These propositions can correspond to any set of questions that include all possibilities.
Examples might be the three propositions meaning "the electron went through the left slit", "the electron went through the right slit" and "the electron didn't go through either slit". One of the aims of the approach is to show that classical questions such as, "where are my keys?" are consistent. In this case one might use a large number of propositions each one specifying the location of the keys in some small region of space.

Each single-time proposition <math>P_{i,j}</math> can be represented by a [[projection operator]] <math>\hat{P}_{i,j}</math> acting on the system's [[Hilbert space]] (we use "hats" to denote operators). It is then useful to represent homogeneous histories by the [[time-ordered product]] of their single-time projection operators. This is the [[history projection operator]] (HPO) formalism developed by [[Christopher Isham]] and 
naturally encodes the logical structure of the history propositions.

===Consistency===

An important construction in the consistent histories approach is the '''class operator''' for a homogeneous history:

:<math>\hat{C}_{H_i} := T \prod_{j=1}^{n_i} \hat{P}_{i,j}(t_{i,j}) = \hat{P}_{i,n_i} \cdots \hat{P}_{i,2} \hat{P}_{i,1}</math>

The symbol <math>T</math> indicates that the factors in the product are ordered chronologically according to their values of <math>t_{i,j}</math>: the "past" operators with smaller values of <math>t</math> appear on the right side, and the "future" operators with greater values of <math>t</math> appear on the left side.
This definition can be extended to inhomogeneous histories as well.

Central to the consistent histories is the notion of consistency. A set of histories <math>\{ H_i\}</math> is '''consistent''' (or '''strongly consistent''') if

:<math>\operatorname{Tr}(\hat{C}_{H_i} \rho \hat{C}^\dagger_{H_j}) = 0</math>

for all <math>i \neq j</math>. Here <math>\rho</math> represents the initial [[density matrix]], and the operators are expressed in the [[Heisenberg picture]].

The set of histories is '''weakly consistent''' if 
:<math>\operatorname{Tr}(\hat{C}_{H_i} \rho \hat{C}^\dagger_{H_j}) \approx 0</math>

for all <math>i \neq j</math>.

=== Probabilities ===
If a set of histories is consistent then probabilities can be assigned to them in a consistent way. We postulate that the [[probability]] of history <math>H_i</math> is simply

:<math>\operatorname{Pr}(H_i) = \operatorname{Tr}(\hat{C}_{H_i} \rho \hat{C}^\dagger_{H_i})</math>

which obeys the [[axioms of probability]] if the histories <math>H_i</math> come from the same (strongly) consistent set.

As an example, this means the probability of "<math>H_i</math> OR <math>H_j</math>" equals the probability of "<math>H_i</math>" plus the probability of "<math>H_j</math>" minus the probability of "<math>H_i</math> AND <math>H_j</math>", and so forth.

==Interpretation==

The interpretation based on consistent histories is used in combination with the insights about [[quantum decoherence]]. 
Quantum decoherence implies that irreversible macroscopic phenomena (hence, all classical measurements) render histories automatically consistent, which allows one to recover classical reasoning and "common sense" when applied to the outcomes of these measurements. More precise analysis of decoherence allows (in principle) a quantitative calculation of the boundary between the classical domain and the quantum domain. According to [[Roland Omnès]],<ref name="Omnès1999">{{cite book |first=Roland |last=Omnès |year=1999 |title=Understanding Quantum Mechanics |publisher=Princeton University Press |isbn=978-0-691-00435-8 |lccn=98042442 |url=https://archive.org/details/understandingqua00omne |url-access=registration |pages=[https://archive.org/details/understandingqua00omne/page/179 179], 257}}</ref>
{{blockquote|[the] history approach, although it was initially independent of the Copenhagen approach, is in some sense a more elaborate version of it. It has, of course, the advantage of being more precise, of including classical physics, and of providing an explicit logical framework for indisputable proofs. But, when the Copenhagen interpretation is completed by the modern results about correspondence and decoherence, it essentially amounts to the same physics.

[... There are] three main differences:

1. The logical equivalence between an empirical datum, which is a macroscopic phenomenon, and the result of a measurement, which is a quantum property, becomes clearer in the new approach, whereas it remained mostly tacit and questionable in the Copenhagen formulation.

2. There are two apparently distinct notions of probability in the new approach. One is abstract and directed toward logic, whereas the other is empirical and expresses the randomness of measurements. We need to understand their relation and why they coincide with the empirical notion entering into the Copenhagen rules.

3. The main difference lies in the meaning of the reduction rule for 'wave packet collapse'. In the new approach, the rule is valid but no specific effect on the measured object can be held responsible for it. Decoherence in the measuring device is enough.}}

In order to obtain a complete theory, the formal rules above must be supplemented with a particular [[Hilbert space]] and rules that govern dynamics, for example a [[Hamiltonian (quantum theory)|Hamiltonian]].

In the opinion of others<ref>{{cite journal | last1=Kent | first1=Adrian | last2=McElwaine | first2=Jim | title=Quantum prediction algorithms | journal=Physical Review A | volume=55 | issue=3 | date=1997-03-01 | issn=1050-2947 | doi=10.1103/physreva.55.1703 | pages=1703–1720| arxiv=gr-qc/9610028 | bibcode=1997PhRvA..55.1703K | s2cid=17821433 }}</ref> this still does not make a complete theory as no predictions are possible about which set of consistent histories will actually occur. In other words, the rules of consistent histories, the [[Hilbert space]], and the Hamiltonian must be supplemented by a set selection rule. However, [[Robert B. Griffiths]] holds the opinion that asking the question of which set of histories will "actually occur" is a misinterpretation of the theory;<ref>{{cite book |first=R. B. |last=Griffiths |title=Consistent Quantum Theory |publisher=Cambridge University Press |year=2003 }}</ref> histories are a tool for description of reality, not separate alternate realities.

Proponents of this consistent histories interpretation—such as [[Murray Gell-Mann]], [[James Hartle]], Roland Omnès and Robert B. Griffiths—argue that their interpretation clarifies the fundamental disadvantages of the old Copenhagen interpretation, and can be used as a complete interpretational framework for quantum mechanics.

In ''[[Quantum Philosophy]]'',<ref>R. Omnès, ''[[Quantum Philosophy]]'', Princeton University Press, 1999. See part III, especially Chapter IX</ref> Roland Omnès provides a less mathematical way of understanding  this same formalism.

The consistent histories approach can be interpreted as a way of understanding which sets of classical questions can be consistently asked of a single quantum system, and which sets of questions are fundamentally inconsistent, and thus meaningless when asked together. It thus becomes possible to demonstrate formally why it is that the questions which [[EPR Paradox|Einstein, Podolsky and Rosen]] assumed could be asked together, of a single quantum system, simply cannot be asked together. On the other hand, it also becomes possible to demonstrate that classical, logical reasoning often does apply, even to quantum experiments – but we can now be mathematically exact about the limits of classical logic.

==See also==
* [[HPO formalism]]

== References ==
{{reflist}}

== External links ==
* [https://plato.stanford.edu/entries/qm-consistent-histories/ The Consistent Histories Approach to Quantum Mechanics] – [[Stanford Encyclopedia of Philosophy]]

{{Quantum mechanics topics}}

[[Category:Interpretations of quantum mechanics]]
[[Category:Quantum measurement]]