Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2308.04494 · Quantum

Wavefunction branching: when you can't tell pure states from mixed states

Jordan K. Taylor, Ian P. McCulloch

Published Mar 25, 2025• 6 citations
arXivHTMLPDF

Abstract

We propose a definition of wavefunction "branchings": quantum superpositions which can't be feasibly distinguished from the corresponding mixed state, even under time evolution. Our definition is largely independent of interpretations, requiring only that it takes many more local gates to swap branches than to distinguish them. We give several examples of states admitting such branch decompositions. Under our definition, we argue that attempts to get relative-phase information between branches will fail without frequent active error correction, that branches are effectively the opposite of good error-correcting codes, that branches effectively only grow further apart in time under natural evolution, that branches tend to absorb spatial entanglement, that branching is stronger in the presence of conserved quantities, and that branching implies effective irreversibility. Identifying these branch decompositions in many-body quantum states could shed light on the emergence of classicality, provide a metric for experimental tests at the quantum/ classical boundary, and allow for longer numerical time evolution simulations. We see this work as a generalization of the basic ideas of environmentally-induced decoherence to situations with no clear system/ environment split.

DOI
10.22331/q-2025-03-25-1670

Related papers

Wavefunction branches demand a definition!

C. Jess Riedel

Under unitary evolution, a typical macroscopic quantum system is thought to develop wavefunction branches: a time-dependent decomposition into orthogonal components that (1) form a tree structure forward in time, (2) are approximate eigenstates of quasiclassical macroscopic observables, and (3) exhibit effective collapse of feasibly measurable observables. If they could be defined precisely, wavefunction branches would extend the theory of decoherence beyond the system-environment paradigm and could supplant anthropocentric measurement in the quantum axioms. Furthermore, when such branches have bounded entanglement and can be effectively identified numerically, sampling them would allow asymptotically efficient classical simulation of quantum systems. I consider a promising recent approach to formalizing branches on the lattice by Taylor & McCulloch [Quantum 9, 1670 (2025), arXiv:2308.04494], and compare it to prior work from Weingarten [Found. Phys. 52, 45 (2022), arXiv:2105.04545]. Both proposals are based on quantum complexity and argue that, once created, branches persist for long times due to the generic linear growth of state complexity. Taylor & McCulloch characterize branches by a large difference in the unitary complexity necessary to interfere vs. distinguish them. Weingarten takes branches as the components of the decomposition that minimizes a weighted sum of expected squared complexity and the Shannon entropy of squared norms. I discuss strengths and weaknesses of these approaches, and identify tractable open questions.

arXiv:2506.15663•Jun 16, 2025•0 citations

Emergent classicality and wavefunction branching in an isolated quantum many-body system

Saúl Pilatowsky-Cameo, Jordan Cotler, Daniel Ranard +1 more

Decoherence in quantum systems is conventionally modeled as the effect of interactions with an external environment. However, such a prescription excludes isolated many-body systems, which are also expected to display classical behavior at macroscopic scales. In isolated systems, decoherence must emerge internally from microscopic degrees of freedom that are invisible to the macroscopic description. Here we explicitly show that classicality can emerge in such a fashion. We consider a weakly disordered, $3$-local chaotic kicked top of $N$ qubits, where the collective spin sector serves as the macroscopic description, while the microscopic permutation sector acts as an internal bath, decohering the collective spin sector. Starting from closed unitary dynamics, we derive and numerically confirm an effective Lindblad equation for the collective spin variables. In the thermodynamic limit these reduced dynamics converge to a classical chaotic Fokker--Planck equation with vanishingly small diffusion on the spherical phase space, producing a quantum-classical correspondence beyond the Ehrenfest time. The chaotic dynamics evolve the pure many-body wavefunction into continuously branching components associated with distinct classical trajectories. These branches acquire nearly orthogonal microscopic records in the permutation sector, preventing quantum interferences and ensuring the corresponding histories remain consistent.

quant-pharXiv:2609.19254•Sep 18, 2026•0 citations

Classical Branch Structure from Spatial Redundancy in a Many-Body Wave Function

C. Jess Riedel

When the wave function of a large quantum system unitarily evolves away from a low-entropy initial state, there is strong circumstantial evidence it develops "branches": a decomposition into orthogonal components that is indistinguishable from the corresponding incoherent mixture with feasible observations. Is this decomposition unique? Must the number of branches increase with time? These questions are hard to answer because there is no formal definition of branches, and most intuition is based on toy models with arbitrarily preferred degrees of freedom. Here, assuming only the tensor structure associated with spatial locality, I show that branch decompositions are highly constrained just by the requirement that they exhibit redundant local records. The set of all redundantly recorded observables induces a preferred decomposition into simultaneous eigenstates unless their records are highly extended and delicately overlapping, as exemplified by the Shor error-correcting code. A maximum length scale for records is enough to guarantee uniqueness. Speculatively, objective branch decompositions may speed up numerical simulations of nonstationary many-body states, illuminate the thermalization of closed systems, and demote measurement from fundamental primitive in the quantum formalism.

arXiv:1608.05377•Physical Review Letters•Mar 24, 2017•20 citations

Redundancy Is Not Objectivity: Quantum Darwinism, Branch Objectivity, and Phase Recoverability in The Many-Worlds Interpretation

Oltan Cankat Riordan

This paper examines the role of Quantum Darwinism in explaining the emergence of classical objectivity within The Many-Worlds Interpretation of quantum mechanics. Decoherence explains why macroscopically distinct alternatives become practically inaccessible to local observers, but it does not by itself explain why multiple observers can independently agree on the same classical state. Quantum Darwinism strengthens this account by describing how information about stable pointer states becomes redundantly encoded in environmental fragments. However, this paper argues that redundancy is necessary for objectivity but not enough to explain objectivity. A simple qubit test model implemented in Qiskit is used to demonstrate redundant environmental coding. The discussion connects this claim to Strong Quantum Darwinism, Spectrum Broadcast Structure, and Quantum Discord, which sharpen the distinction between mere correlation and objective classical records. Finally, this paper proposes phase anti-redundancy as a future direction; While pointer state information becomes locally redundant, cross-branch phase information appears to remain globally encoded and increasingly difficult to recover. This suggests that branch objectivity may require not only redundant classical records, but also the fact that cross-branch phase information is encoded in global correlations rather than in locally accessible environmental fragments.

•Aug 14, 2026•0 citations

On Selecting the Set of Experienced Decoherent Histories

Thomas De Saegher

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.

•Sep 11, 2025•0 citations

Decoherence, einselection, and the quantum origins of the classical

Wojciech Hubert Zurek

The manner in which states of some quantum systems become effectively classical is of great significance for the foundations of quantum physics, as well as for problems of practical interest such as quantum engineering. In the past two decades it has become increasingly clear that many (perhaps all) of the symptoms of classicality can be induced in quantum systems by their environments. Thus decoherence is caused by the interaction in which the environment in effect monitors certain observables of the system, destroying coherence between the pointer states corresponding to their eigenvalues. This leads to environment-induced superselection or einselection, a quantum process associated with selective loss of information. Einselected pointer states are stable. They can retain correlations with the rest of the universe in spite of the environment. Einselection enforces classicality by imposing an effective ban on the vast majority of the Hilbert space, eliminating especially the flagrantly nonlocal ``Schr\"odinger-cat states.'' The classical structure of phase space emerges from the quantum Hilbert space in the appropriate macroscopic limit. Combination of einselection with dynamics leads to the idealizations of a point and of a classical trajectory. In measurements, einselection replaces quantum entanglement between the apparatus and the measured system with the classical correlation. Only the preferred pointer observable of the apparatus can store information that has predictive power. When the measured quantum system is microscopic and isolated, this restriction on the predictive utility of its correlations with the macroscopic apparatus results in the effective ``collapse of the wave packet.'' The existential interpretation implied by einselection regards observers as open quantum systems, distinguished only by their ability to acquire, store, and process information. Spreading of the correlations with the effectively classical pointer states throughout the environment allows one to understand ``classical reality'' as a property based on the relatively objective existence of the einselected states. Effectively classical pointer states can be ``found out'' without being re-prepared, e.g, by intercepting the information already present in the environment. The redundancy of the records of pointer states in the environment (which can be thought of as their ``fitness'' in the Darwinian sense) is a measure of their classicality. A new symmetry appears in this setting. Environment-assisted invariance or envariance sheds new light on the nature of ignorance of the state of the system due to quantum correlations with the environment and leads to Born's rules and to reduced density matrices, ultimately justifying basic principles of the program of decoherence and einselection.

arXiv:quant-ph/0105127•Reviews of Modern Physics•May 22, 2003•4,294 citations
We propose a definition of wavefunction "branchings": quantum superpositions which can't be feasibly distinguished from the corresponding mixed state, even under time evolution. Our definition is largely independent of interpretations, requiring only that it takes many more local gates to swap branches than to distinguish them. We give several examples of states admitting such branch decompositions. Under our definition, we argue that attempts to get relative-phase information between branches will fail without frequent active error correction, that branches are effectively the opposite of good error-correcting codes, that branches effectively only grow further apart in time under natural evolution, that branches tend to absorb spatial entanglement, that branching is stronger in the presence of conserved quantities, and that branching implies effective irreversibility. Identifying these branch decompositions in many-body quantum states could shed light on the emergence of classicality, provide a metric for experimental tests at the quantum/ classical boundary, and allow for longer numerical time evolution simulations. We see this work as a generalization of the basic ideas of environmentally-induced decoherence to situations with no clear system/ environment split.
Under unitary evolution, a typical macroscopic quantum system is thought to develop wavefunction branches: a time-dependent decomposition into orthogonal components that (1) form a tree structure forward in time, (2) are approximate eigenstates of quasiclassical macroscopic observables, and (3) exhibit effective collapse of feasibly measurable observables. If they could be defined precisely, wavefunction branches would extend the theory of decoherence beyond the system-environment paradigm and could supplant anthropocentric measurement in the quantum axioms. Furthermore, when such branches have bounded entanglement and can be effectively identified numerically, sampling them would allow asymptotically efficient classical simulation of quantum systems. I consider a promising recent approach to formalizing branches on the lattice by Taylor & McCulloch [Quantum 9, 1670 (2025), arXiv:2308.04494], and compare it to prior work from Weingarten [Found. Phys. 52, 45 (2022), arXiv:2105.04545]. Both proposals are based on quantum complexity and argue that, once created, branches persist for long times due to the generic linear growth of state complexity. Taylor & McCulloch characterize branches by a large difference in the unitary complexity necessary to interfere vs. distinguish them. Weingarten takes branches as the components of the decomposition that minimizes a weighted sum of expected squared complexity and the Shannon entropy of squared norms. I discuss strengths and weaknesses of these approaches, and identify tractable open questions.
Decoherence in quantum systems is conventionally modeled as the effect of interactions with an external environment. However, such a prescription excludes isolated many-body systems, which are also expected to display classical behavior at macroscopic scales. In isolated systems, decoherence must emerge internally from microscopic degrees of freedom that are invisible to the macroscopic description. Here we explicitly show that classicality can emerge in such a fashion. We consider a weakly disordered, 333-local chaotic kicked top of NNN qubits, where the collective spin sector serves as the macroscopic description, while the microscopic permutation sector acts as an internal bath, decohering the collective spin sector. Starting from closed unitary dynamics, we derive and numerically confirm an effective Lindblad equation for the collective spin variables. In the thermodynamic limit these reduced dynamics converge to a classical chaotic Fokker--Planck equation with vanishingly small diffusion on the spherical phase space, producing a quantum-classical correspondence beyond the Ehrenfest time. The chaotic dynamics evolve the pure many-body wavefunction into continuously branching components associated with distinct classical trajectories. These branches acquire nearly orthogonal microscopic records in the permutation sector, preventing quantum interferences and ensuring the corresponding histories remain consistent.
When the wave function of a large quantum system unitarily evolves away from a low-entropy initial state, there is strong circumstantial evidence it develops "branches": a decomposition into orthogonal components that is indistinguishable from the corresponding incoherent mixture with feasible observations. Is this decomposition unique? Must the number of branches increase with time? These questions are hard to answer because there is no formal definition of branches, and most intuition is based on toy models with arbitrarily preferred degrees of freedom. Here, assuming only the tensor structure associated with spatial locality, I show that branch decompositions are highly constrained just by the requirement that they exhibit redundant local records. The set of all redundantly recorded observables induces a preferred decomposition into simultaneous eigenstates unless their records are highly extended and delicately overlapping, as exemplified by the Shor error-correcting code. A maximum length scale for records is enough to guarantee uniqueness. Speculatively, objective branch decompositions may speed up numerical simulations of nonstationary many-body states, illuminate the thermalization of closed systems, and demote measurement from fundamental primitive in the quantum formalism.
This paper examines the role of Quantum Darwinism in explaining the emergence of classical objectivity within The Many-Worlds Interpretation of quantum mechanics. Decoherence explains why macroscopically distinct alternatives become practically inaccessible to local observers, but it does not by itself explain why multiple observers can independently agree on the same classical state. Quantum Darwinism strengthens this account by describing how information about stable pointer states becomes redundantly encoded in environmental fragments. However, this paper argues that redundancy is necessary for objectivity but not enough to explain objectivity. A simple qubit test model implemented in Qiskit is used to demonstrate redundant environmental coding. The discussion connects this claim to Strong Quantum Darwinism, Spectrum Broadcast Structure, and Quantum Discord, which sharpen the distinction between mere correlation and objective classical records. Finally, this paper proposes phase anti-redundancy as a future direction; While pointer state information becomes locally redundant, cross-branch phase information appears to remain globally encoded and increasingly difficult to recover. This suggests that branch objectivity may require not only redundant classical records, but also the fact that cross-branch phase information is encoded in global correlations rather than in locally accessible environmental fragments.
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.
The manner in which states of some quantum systems become effectively classical is of great significance for the foundations of quantum physics, as well as for problems of practical interest such as quantum engineering. In the past two decades it has become increasingly clear that many (perhaps all) of the symptoms of classicality can be induced in quantum systems by their environments. Thus decoherence is caused by the interaction in which the environment in effect monitors certain observables of the system, destroying coherence between the pointer states corresponding to their eigenvalues. This leads to environment-induced superselection or einselection, a quantum process associated with selective loss of information. Einselected pointer states are stable. They can retain correlations with the rest of the universe in spite of the environment. Einselection enforces classicality by imposing an effective ban on the vast majority of the Hilbert space, eliminating especially the flagrantly nonlocal ``Schr\"odinger-cat states.'' The classical structure of phase space emerges from the quantum Hilbert space in the appropriate macroscopic limit. Combination of einselection with dynamics leads to the idealizations of a point and of a classical trajectory. In measurements, einselection replaces quantum entanglement between the apparatus and the measured system with the classical correlation. Only the preferred pointer observable of the apparatus can store information that has predictive power. When the measured quantum system is microscopic and isolated, this restriction on the predictive utility of its correlations with the macroscopic apparatus results in the effective ``collapse of the wave packet.'' The existential interpretation implied by einselection regards observers as open quantum systems, distinguished only by their ability to acquire, store, and process information. Spreading of the correlations with the effectively classical pointer states throughout the environment allows one to understand ``classical reality'' as a property based on the relatively objective existence of the einselected states. Effectively classical pointer states can be ``found out'' without being re-prepared, e.g, by intercepting the information already present in the environment. The redundancy of the records of pointer states in the environment (which can be thought of as their ``fitness'' in the Darwinian sense) is a measure of their classicality. A new symmetry appears in this setting. Environment-assisted invariance or envariance sheds new light on the nature of ignorance of the state of the system due to quantum correlations with the environment and leads to Born's rules and to reduced density matrices, ultimately justifying basic principles of the program of decoherence and einselection.