is consistent

Consistent histories

In quantum mechanics, the consistent histories approach is intended to give a modern interpretation of quantum mechanics, generalising the conventional Copenhagen interpretation and providing a natural interpretation of quantum cosmology. The theory is based on a consistency criterion that then allows probabilities to be assigned to histories of a system so that the probabilities for each history obey the rules of classical probability while being consistent with the Schrödinger equation.

According to this interpretation of quantum mechanics, the purpose of a quantum-mechanical theory is to predict probabilities of various alternative histories.


A homogeneous history H_i (here i labels different histories) is a sequence of propositions P_{i,j} specified at different moments of time t_{i,j} (here j labels the times). We write this as:

H_i = (P_{i,1}, P_{i,2},ldots,P_{i,n_i})

and read it as "the proposition P_{i,1} is true at time t_{i,1} and then the proposition P_{i,2} is true at time t_{i,2} and then ldots". The times t_{i,1} < t_{i,2} < ldots < t_{i,n_i} 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 OR of two homogeneous histories: H_i vee H_j.

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 theory 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 P_{i,j} can be represented by a projection operator hat{P}_{i,j} 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 tensor 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. The homogeneous history H_i is represented by the projection operator

hat{H}_i = hat{P}_{i,1} otimes hat{P}_{i,2} otimes cdots otimes hat{P}_{i,n_i}

This definition can be extended to define projection operators that represent inhomogeneous histories too.


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

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

The symbol T indicates that the factors in the product are ordered chronologically according to their values of t_{i,j}: the "past" operators with smaller values of t appear on the right side, and the "future" operators with greater values of t 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 { H_i} is consistent (or strongly consistent) if

operatorname{Tr}(hat{C}_{H_i} rho hat{C}^dagger_{H_j}) = 0

for all i neq j. Here rho represents the initial density matrix, and the operators are expressed in the Heisenberg picture.

The set of histories is weakly consistent if

operatorname{Tr}(hat{C}_{H_i} rho hat{C}^dagger_{H_j}) approx 0

for all i neq j.


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 H_i is simply

operatorname{Pr}(H_i) = operatorname{Tr}(hat{C}_{H_i} rho hat{C}^dagger_{H_i})

which obeys the axioms of probability if the histories H_i come from the same (strongly) consistent set.

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


The interpretation based on consistent histories is used in combination with the insights about quantum decoherence. Quantum decoherence implies that only special choices of histories are consistent, and it allows a quantitative calculation of the boundary between the classical domain and the quantum domain.

In some views the interpretation based on consistent histories does not change anything about the paradigm of the Copenhagen interpretation that only the probabilities calculated from quantum mechanics and the wave function have a physical meaning. 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.

In the opinion of others this still does not make a complete theory as no predictions are possible about which set of consistent histories will actually occur. That is the rules of CH, the Hilbert space, and the Hamiltonian must be supplemented by a set selection rule.

The proponents of this modern interpretation, such as Murray Gell-Mann, James Hartle, Roland Omnès, Robert B. Griffiths, and Wojciech Zurek 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, 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 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


  • R. Omnès, Understanding Quantum Mechanics, Princeton University Press, 1999. Chapter 13 describes consistent histories.
  • R. Omnès, Quantum Philosophy, Princeton University Press, 1999. See part III, especially Chapter IX.
  • R. B. Griffiths, Consistent Quantum Theory, Cambridge University Press, 2003.

Search another word or see is consistenton Dictionary | Thesaurus |Spanish
Copyright © 2015, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature