This paper describes an algorithm for selecting a consistent set within the consistent histories approach to quantum mechanics and investigates its properties. The algorithm uses a maximum information principle to select from among the consistent sets formed by projections defined by the Schmidt decomposition. The algorithm unconditionally predicts the possible events in closed quantum systems and ascribes probabilities to these events. A simple spin model is described and a complete classification of all exactly consistent sets of histories formed from Schmidt projections in the model is proved. This result is used to show that for this example the algorithm selects a physically realistic set. Other tentative suggestions in the literature for set selection algorithms using ideas from information theory are discussed.
This paper describes an algorithm for selecting a consistent set within the consistent histories approach to quantum mechanics and investigates its properties. The algorithm uses a maximum information principle to select from among the consistent sets formed by projections defined by the Schmidt decomposition. The algorithm unconditionally predicts the possible events in closed quantum systems and ascribes probabilities to these events. A simple spin model is described and a complete classification of all exactly consistent sets of histories formed from Schmidt projections in the model is proved. This result is used to show that for this example the algorithm selects a physically realistic set. Other tentative suggestions in the literature for set selection algorithms using ideas from information theory are discussed.
This paper describes an algorithm for selecting a consistent set within the consistent histories approach to quantum mechanics and investigates its properties. The algorithm select from among the consistent sets formed by projections defined by the Schmidt decomposition by making projections at the earliest possible time. The algorithm unconditionally predicts the possible events in closed quantum systems and ascribes probabilities to these events. A simple random Hamiltonian model is described and the results of applying the algorithm to this model using computer programs are discussed and compared with approximate analytic calculations.
This dissertation investigates questions arising in the consistent histories formulation of the quantum mechanics of closed systems. Various criteria for approximate consistency are analysed. The connection between the Dowker-Halliwell criterion and sphere packing problems is shown and used to prove several new bounds on the violation of probability sum rules. The quantum Zeno effect is also analysed within the consistent histories formalism and used to demonstrate some of the difficulties involved in discussing approximate consistency. The complications associated with null histories and infinite sets are briefly discussed. The possibility of using the properties of the Schmidt decomposition to define an algorithm which selects a single, physically natural, consistent set for pure initial density matrices is investigated. The problems that arise are explained, and different possible algorithms discussed. Their properties are analysed with the aid of simple models. A set of computer programs is described which apply the algorithms to more complicated examples. Another algorithm is proposed that selects the consistent set (formed using Schmidt projections) with the highest Shannon information. This is applied to a simple model and shown to produce physically sensible histories. The theory is capable of unconditional probabilistic prediction for closed quantum systems, and is strong enough to be falsifiable. Ideas on applying the theory to more complicated examples are discussed.
The consistent histories formulation of the quantum theory of a closed system with a pure initial state defines an infinite number of incompatible consistent sets, each of which gives a possible description of the physics. We investigate the possibility of using the properties of the Schmidt decomposition to define an algorithm which selects a single, physically natural, consistent set. We explain the problems which arise, set out some possible algorithms, and explain their properties with the aid of simple models. Though the discussion is framed in the language of the consistent histories approach, it is intended to highlight the difficulty in making any interpretation of quantum theory based on decoherence into a mathematically precise theory.
There are good motivations for considering some type of quantum histories formalism. Several possible formalisms are known, defined by different definitions of event and by different selection criteria for sets of histories. These formalisms have a natural interpretation, according to which nature somehow chooses one set of histories from among those allowed, and then randomly chooses to realise one history from that set; other interpretations are possible, but their scientific implications are essentially the same. The selection criteria proposed to date are reasonably natural, and certainly raise new questions. For example, the validity of ordering inferences which we normally take for granted – such as that a particle in one region is necessarily in a larger region containing it – depends on whether or not our history respects the criterion of ordered consistency, or merely consistency. However, the known selection criteria, including consistency and medium decoherence, are very weak. It is not possible to derive the predictions of classical mechanics or Copenhagen quantum mechanics from the theories they define, even given observational data in an extended time interval. Attempts to refine the consistent histories approach so as to solve this problem by finding a definition of quasiclassicality have so far not succeeded. On the other hand, it is shown that dynamical collapse models, of the type originally proposed by Ghirardi-Rimini-Weber, can be re-interpreted as set selection criteria within a quantum histories framework, in which context they appear as candidate solutions to the set selection problem. This suggests a new route to relativistic generalisation of these models, since covariant definitions of a quantum event are known.
In the consistent histories approach to quantum theory probabilities are assigned to histories subject to a consistency condition of negligible interference. The approach has the feature that a given physical situation admits multiple sets of consistent histories that cannot in general be united into a single consistent set, leading to a number of counterintuitive or contrary properties if propositions from different consistent sets are combined indiscriminately. An alternative viewpoint is proposed in which multiple consistent sets are classified according to whether or not there exists any unifying probability for combinations of incompatible sets which replicates the consistent histories result when restricted to a single consistent set. A number of examples are exhibited in which this classification can be made, in some cases with the assistance of the Bell, Clauser-Horne-Shimony-Holt, or Leggett-Garg inequalities together with Fine's theorem. When a unifying probability exists logical deductions in different consistent sets can in fact be combined, an extension of the ``single framework rule.'' It is argued that this classification coincides with intuitive notions of the boundary between classical and quantum regimes and in particular, the absence of a unifying probability for certain combinations of consistent sets is regarded as a measure of the ``quantumness'' of the system. The proposed approach and results are closely related to recent work on the classification of quasiprobabilities and this connection is discussed.
Motivated by the advances of quantum Darwinism and recognizing the role played by redundancy in identifying the small subset of quantum states with resilience characteristic of objective classical reality, we explore the implications of redundant records for consistent histories. The consistent histories formalism is a tool for describing sequences of events taking place in an evolving closed quantum system. A set of histories is consistent when one can reason about them using Boolean logic, i.e., when probabilities of sequences of events that define histories are additive. However, the vast majority of the sets of histories that are merely consistent are flagrantly nonclassical in other respects. This embarras de richesses (known as the set selection problem) suggests that one must go beyond consistency to identify how the classical past arises in our quantum universe. The key intuition we follow is that the records of events that define the familiar objective past are inscribed in many distinct systems, e.g., subsystems of the environment, and are accessible locally in space and time to observers. We identify histories that are not just consistent but redundantly consistent using the partial-trace condition introduced by Finkelstein as a bridge between histories and decoherence. The existence of redundant records is a sufficient condition for redundant consistency. It selects, from the multitude of the alternative sets of consistent histories, a small subset endowed with redundant records characteristic of the objective classical past. The information about an objective history of the past is then simultaneously within reach of many, who can independently reconstruct it and arrive at compatible conclusions in the present.