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.
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.
There exist two different paradigms for records in isolated quantum systems: decoherent histories (which determines which past events leave formal records) and quantum Darwinism (which determines which current events get redundantly recorded). Neither one implies the other, and connections between the two are scarcely investigated. We unify quantum Darwinism and decoherent histories based on the insight that only redundant records about past events matter. The resulting framework of past redundancy encompasses quantum Darwinism when applied to events at the current time, and it implies the probability sum rule or decoherence of histories. The Bhattacharyya coefficient (or fidelity) plays an important role to establish this connection. Importantly, various examples show that past redundancy is a more widespread phenomenon than the fine-tuned models necessary for quantum Darwinism suggest. We thus arrive at a richer picture in which redundancy can be caused by mechanisms different from quantum Darwinism (such as macroevents or cascade structures), which emphasizes that redundancy is necessary but not sufficient for objectivity, and which, overall, allows to realistically investigate the question: how generic is redundancy in nature?
Redundancy-Limited Emergence of Classical Histories in Quantum Systems This work investigates how classical reality emerges from underlying quantum dynamics, focusing on the role of environmental information, noise, and fundamental entropy limits. In quantum theory, systems evolve into superpositions of many possible outcomes. However, in practice we observe a world with definite, classical histories. A widely accepted explanation is decoherence, in which interactions with the environment suppress interference between different quantum states. More recent developments, particularly in quantum Darwinism, emphasize that classical information becomes objective when it is redundantly recorded across many independent parts of the environment. This paper addresses a key unresolved question: how many distinct classical histories can physically exist? To answer this, we construct a minimal computational model in which a system’s history is encoded into multiple environmental fragments, each subject to noise. By computing how much information about the system can be recovered from subsets of these fragments, we identify a characteristic scale that determines how many fragments are required to reconstruct the system’s history. Our results reveal a simple and robust relationship: the ability to recover classical information depends on the entropy of the noise affecting environmental records. As noise increases, more fragments are required to reconstruct a history, reflecting a loss of distinguishability. This leads to the definition of a “recoverability factor,” which quantifies how efficiently entropy can be converted into usable, classical information. We then connect this information-theoretic result to fundamental bounds from gravitational physics. In particular, existing entropy bounds limit the total amount of information that can pass through a region of spacetime. We show that only a fraction of this entropy—determined by the recoverability factor—can contribute to distinguishable classical histories. This leads to a new principle: the number of classical histories is not limited only by total entropy, but by the efficiency with which that entropy can be encoded, preserved, and accessed. Applying this framework to cosmological entropy estimates, we derive explicit upper bounds on the number of distinguishable classical histories in the observable universe. While this number is extraordinarily large, it is nonetheless finite and strongly constrained by both entropy and noise. These results refine the standard picture of quantum branching. While quantum theory allows a vast number of possible outcomes, only a subset can become physically meaningful in the sense of being stable, redundantly recorded, and accessible to observers. More broadly, this work provides a quantitative bridge between decoherence theory, information theory, and gravitational entropy bounds. It suggests that classical reality is fundamentally constrained not just by physical laws governing entropy, but by the efficiency of information transfer within those constraints.
Purely unitary quantum theory can admit multiple incompatible sets of decoherent histories for the same initial global state and Hamiltonian. However, I argue that, to be empirically coherent, unitary quantum theories must extend to apparatuses and their environments, validating our assumptions about these apparatus-environments. This means that one can apply the results of Quantum Darwinism to show that there is, at most, one set of decoherent histories that is redundantly recorded in the environment at the length-scale of unaided human perception. I establish this result by elaborating the conclusion of Riedel (2017) concerning what I call “non-orthogonally incompatible sets”. I extend the discussion to “orthogonally incompatible sets”, which I find must be recorded on different pure states in a mixture, if they are to be recorded in the environment at all. When there is a redundantly experienced set, I argue that this set is necessarily selected by a local intervention from the environment on the system, where the intervention variable consists of the initial states of many spatially non-overlapping environment fragments. My results concerning the environmental monitoring of decoherent histories clarify the notion of a ‘measurement context’ in some interpretations of purely unitary quantum theory. The arguments throughout presuppose a variable system/environment split and ultimately concern the selection of a branch-decomposition for a global, closed, many-body system.
This paper is the third in a sequence developing an interpretive framework that redescribes physical reality as a causally consistent history of information updates rather than as a collection of objects independently existing within spacetime. The parent framework, The Universe as a Consistency-Constrained Information History, argued that the constitutive core of auditability is not a bureaucratic log but record definiteness: the existence of stable, reproducible, path-independent commitments. The companion paper, Consistency Without a Global Clock, refined observation into a three-stage process—interaction, commitment, and finality—and identified finality with redundant, environmentally distributed, and independently recoverable recording. The present paper joins these two threads. Its question is narrow and structural. Decoherence and environment-induced superselection explain commitment: why local interference becomes practically irreversible and why stable pointer states emerge. They do not, by themselves, explain public finality: why a committed fact can be confirmed by many mutually independent parties, non-disturbingly and repeatably, as the same fact. The organizing distinction of the paper is therefore decoherence ≠ finality. A private microscopic correlation can be committed locally at low redundancy, yet fail to be a publicly shared fact. What such public finality additionally requires is the object of the analysis. The argument runs through three steps that lean on established results rather than new mechanisms. First, the no-broadcasting theorem implies that noncommuting quantum information cannot be distributed as-is to many parties; consequently, any value that many independent accessors can recover non-disturbingly must be effectively classical pointer information. Second, spectrum broadcast structure supplies the canonical form of such redundant environmental encoding, and quantum Darwinism supplies its dynamical mechanism. Third, if public finality in a given context requires m mutually independent accessors, acting on disjoint environmental fragments, to recover a committed fact within an information deficit δ, then the available environmental redundancy must satisfy a demand-side lower bound Rδ ≥ m. This is not a prediction of how much redundancy the world realizes; the realized amount is supplied by physics. It is a statement about the minimum redundancy a record must carry to count as publicly final. The thesis is summarized as an Auditability–Redundancy Principle: redundancy is not an accidental ornament of objectivity; it is the physical form that decentralized auditability must take. The paper supplies no new mechanism for redundancy, does not derive the Born rule, does not solve the measurement problem, and does not claim that redundancy is universal. In no-collapse readings, the facts discussed here are branch-relative or decoherent-history-relative. The status of the paper is L2, a necessity/convergence claim, while its formal engine rests on established L1 results.