Set selection for consistent histories in the quasiclassical limit: excluding Zeno-type pathological sets while recovering unique classical inferences

In the consistent (decoherent) histories formulation of quantum theory, the consistency condition alone admits many inequivalent sets of histories for the same closed system. Zampeli, Pavlou, and Wallden (Foundations of Physics 56, 3 (2026)) showed that for a fully quasiclassical system — a coherent wave packet ('ball') in an infinite square well — two different consistent sets give opposite, certain answers to the classical question of whether the ball crosses the midpoint: a static Zeno partition restricted to the negative half of the well concludes with probability one that the ball never crosses, while a moving-box partition that follows the classical trajectory concludes with probability one that it did. The open problem is to formulate and justify a principled set-selection criterion supplementing the consistency condition that excludes such pathological sets while retaining legitimate quasiclassical sets, so that the correct quasiclassical limit is recovered; the source authors explicitly defer to future work the analysis of what their construction implies for co-events (anhomomorphic logic) formulations. Despite three decades of proposals (ordered sets, preclusive sets, persistence, environmental redundancy, thermodynamic entropy, complexity-based branches), no criterion has been established as a solution; the most recent assessment (Riedel, Quantum Views 9, 85 (2025)) treats the problem as unsolved and demanding a solution.

Background

The consistent histories (also called decoherent histories) formulation, developed by Griffiths, Omnès, Gell-Mann, and Hartle, describes closed quantum systems without external observers or measurements. Its kinematic object is a space of histories — sequences of events (projection operators) at a sequence of times — partitioned into coarse-grained histories. Probabilities are assigned through the decoherence functional $D(h,h')$, a bilinear amplitude built from the initial density matrix and the chain of projections along each history. When the off-diagonal entries $D(h,h')$ for distinct histories vanish (the consistency or decoherence condition), the diagonal values obey the classical sum rules and may be interpreted as probabilities within that set of histories; each such consistent set is then a context in which one may reason classically about the closed system. A set is approximately consistent when the off-diagonal entries $D(h,h')$ for distinct histories are bounded in magnitude by a small tolerance $\epsilon$ rather than vanishing exactly; this is the regime of realistic quasiclassical decoherence. A quasiclassical domain is a consistent set whose coarse-grained variables (for example, the position of a localized macroscopic object at a dense sequence of times) follow approximately classical equations of motion with small fluctuations.

Most systems admit many inequivalent consistent sets, and Dowker and Kent showed that most of them are unphysical: the consistency condition by itself admits an enormous variety of 'exotic' sets with no quasiclassical content. Worse, Kent demonstrated that different consistent sets for the same system can support contrary inferences, and Wallden later highlighted that such contrary inferences originate from zero covers: two coarse-grained histories can each have zero quantum measure (the 'size' a history assigns to itself in the measure induced by the decoherence functional) yet together cover the entire history space — a zero cover — so that reasoning with classical logic inside each set yields contradictory conclusions held with certainty. Griffiths and Hartle replied that the single-framework rule forbids combining propositions from different sets; Kent's rejoinder was that the formalism itself must say which sets are legitimate. This is the set-selection problem: what principle, beyond consistency, distinguishes the physically meaningful sets?

Zampeli, Pavlou, and Wallden sharpened the problem by showing that contrary inferences survive even at the fully quasiclassical level, where standard quantum contextuality paradoxes (Kochen–Specker-type, i.e. the no-go theorem that predetermined values cannot be assigned to quantum observables independently of which compatible set is measured) are washed out by decoherence. They considered the time-of-arrival question for a quasiclassical ball — a coherent Gaussian wave packet of width $\sigma$ much smaller than the well size, in the infinite square well $[-L,L]$, initially on the negative side and moving right: does the ball cross $x=0$ at some moment in $[0,\tau]$, with $\tau$ near $0.85$ of the classical period? Their construction uses the quantum Zeno effect (the freezing of evolution under continuous projection): the class operator for the set of histories that remain within a region $\Delta$ equals evolution under the original Hamiltonian supplemented by infinite constraining walls on $\Delta$, and a two-history set is consistent precisely when the overlap $\langle\psi_r|\psi\rangle$ between the restricted-evolved and freely-evolved states equals one. Set 1 (the static Zeno partition) restricts the ball to the static left half $[-L,0]$; because the packet bouncing inside the left half re-coincides with the unrestricted evolution near $\tau=0.85T_{cl}$, the set is (approximately) consistent and assigns probability one to 'never left the left half', hence 'never crossed $x=0$'. Set 2 (the moving-box partition) restricts the ball to a box of width $L/8$ centered on the classical trajectory; this set is consistent by construction and assigns probability one to 'always stayed in the box', and since the box lies entirely in $x>0$ at a quarter period, those histories certainly crossed $x=0$. The two complementary histories (leaving the left half; leaving the moving box) each have zero measure yet together cover all trajectories. In both sets the histories space, the Hamiltonian, and the initial state are identical — only the partition differs — yet the two sets yield certain but opposite answers to a plain classical question. The authors note that their conclusion is robust under approximate consistency (the regime of all practical quasiclassical decoherence), and conclude that consistent histories 'without a set-selection mechanism may not be a viable alternative', coining the motto that all consistent sets are equal but some are more equal than others.

Several selection criteria have been proposed without any being established: Kent's restriction to 'ordered' consistent sets (sets built from a fixed sequence of time-ordered questions, plus later refinements toward 'sensible' history theories); Anastopoulos's criterion of persistence of the set's predictability in time; Wallden's preclusive consistent sets, which forbid histories of zero quantum measure from any legitimate set and were designed precisely against zero-cover contrary inferences; Gell-Mann and Hartle's thermodynamic criterion maximizing the entropy of quasiclassical coarse grainings; Riedel, Zurek, and Zwolak's environmental criterion of redundantly recorded histories (in the spirit of quantum Darwinism, the idea that classical facts are those recorded many times in the environment); and Halliwell's classification of incompatible multiple consistent sets by quantitative measures of quantumness. A modern, related program recasts the question as defining wavefunction branches — the orthogonal components into which a macroscopic wavefunction decomposes — with recent complexity-based proposals by Weingarten (minimizing a complexity–entropy functional) and Taylor and McCulloch (branches are components distinguishable by low-complexity operations but interferable only by high-complexity ones); Riedel's 2025 review judges both tentative, documenting their unresolved weaknesses. A separate histories-based framework, the co-events or anhomomorphic logic approach of Sorkin (built on quantum measure theory, which generalizes classical measure theory to histories), interprets the decoherence functional differently and assigns precluded (measure-zero) histories a special role; Zampeli, Pavlou, and Wallden explicitly defer the analysis of what their quasiclassical contrary inferences imply for that approach.

Problem Statement

Formulate and justify a principled set-selection principle (a criterion, or an equivalent supplement to the consistency condition) for the consistent histories formulation of quantum theory that makes the quasiclassical limit unique and correct. Concretely: for a closed quantum system whose classical counterpart has well-defined behavior — with the Zampeli–Pavlou–Wallden quasiclassical ball in the infinite square well as the touchstone — state a criterion that excludes pathological consistent sets, in particular the static Zeno partition that concludes with certainty that the ball never crosses the midpoint (which in the source construction is only approximately consistent), while retaining physically legitimate quasiclassical sets such as the moving-box partition, so that every admissible set yields the same, classically correct answer to the time-of-arrival question. The criterion must be stated independently of the answers it is required to reproduce: admissibility may not be defined merely by demanding agreement with classical predictions, nor by requiring the coarse-graining to follow the classical trajectory, and pathological sets may not be excluded by individually naming them; the justification must rest on general properties of consistent sets rather than on the particular square-well instance. A related open direction within the same objective — making the emergence of unique classical facts from the histories formalism well-defined — is the one the source authors explicitly defer to future work: determining the consequences of the construction for co-events (anhomomorphic logic) formulations, where precluded histories play a central role. Addressing that co-events (anhomomorphic logic) direction is optional; a criterion meeting the conditions stated above, without the co-events analysis, alone resolves the task.

References

1. Adamantia Zampeli, Georgios E. Pavlou, Petros Wallden, 'Contrary Inferences for Classical Histories within the Consistent Histories Formulation of Quantum Theory', Foundations of Physics 56, 3 (2026), DOI 10.1007/s10701-025-00902-w, arXiv:2205.15893, https://arxiv.org/abs/2205.15893
2. Adrian Kent, 'Consistent Sets Yield Contrary Inferences in Quantum Theory', Physical Review Letters 78, 2874 (1997), DOI 10.1103/PhysRevLett.78.2874, https://arxiv.org/abs/gr-qc/9604012
3. Fay Dowker, Adrian Kent, 'On the consistent histories approach to quantum mechanics', Journal of Statistical Physics 82, 1575 (1996), DOI 10.1007/BF02183396, https://doi.org/10.1007/BF02183396
4. Fay Dowker, Adrian Kent, 'Properties of Consistent Histories', Physical Review Letters 75, 3038 (1995), DOI 10.1103/PhysRevLett.75.3038, https://doi.org/10.1103/PhysRevLett.75.3038
5. C. Anastopoulos, 'Preferred Consistent History Sets', International Journal of Theoretical Physics 37, 2261 (1998), DOI 10.1023/A:1026658523246, https://doi.org/10.1023/A:1026658523246
6. Murray Gell-Mann, James B. Hartle, 'Quasiclassical coarse graining and thermodynamic entropy', Physical Review A 76, 022104 (2007), DOI 10.1103/PhysRevA.76.022104, https://doi.org/10.1103/PhysRevA.76.022104
7. C. Jess Riedel, Wojciech H. Zurek, Michael Zwolak, 'Objective past of a quantum universe: Redundant records of consistent histories', Physical Review A 93, 032126 (2016), DOI 10.1103/PhysRevA.93.032126, https://doi.org/10.1103/PhysRevA.93.032126
8. Petros Wallden, 'Contrary Inferences in Consistent Histories and a Set Selection Criterion', Foundations of Physics 44, 1195 (2014), DOI 10.1007/s10701-014-9837-6, arXiv:1402.3733, https://arxiv.org/abs/1402.3733
9. J. J. Halliwell, 'Incompatible multiple consistent sets of histories and measures of quantumness', Physical Review A 96, 012123 (2017), DOI 10.1103/PhysRevA.96.012123, https://doi.org/10.1103/PhysRevA.96.012123
10. Rafael D. Sorkin, 'An exercise in "anhomomorphic logic"', Journal of Physics: Conference Series 67, 012018 (2007), DOI 10.1088/1742-6596/67/1/012018, https://doi.org/10.1088/1742-6596/67/1/012018
11. Marcelo Losada, Roberto Laura, 'Quantum histories without contrary inferences', Annals of Physics 351, 418 (2014), DOI 10.1016/j.aop.2014.09.008, arXiv:1405.5166, https://arxiv.org/abs/1405.5166
12. C. Jess Riedel, 'Wavefunction branches demand a definition!', Quantum Views 9, 85 (2025), DOI 10.22331/qv-2025-06-16-85, arXiv:2506.15663, https://arxiv.org/abs/2506.15663
13. Jordan K. Taylor, Ian P. McCulloch, 'Wavefunction branching: when you can't tell pure states from mixed states', Quantum 9, 1670 (2025), DOI 10.22331/q-2025-03-25-1670, arXiv:2308.04494, https://arxiv.org/abs/2308.04494
14. Don Weingarten, 'Macroscopic Reality from Quantum Complexity', Foundations of Physics 52, 45 (2022), DOI 10.1007/s10701-022-00554-0, https://doi.org/10.1007/s10701-022-00554-0
15. Philipp Strasberg, Teresa E. Reinhard, Joseph Schindler, 'First Principles Numerical Demonstration of Emergent Decoherent Histories', Physical Review X 14, 041027 (2024), DOI 10.1103/PhysRevX.14.041027, https://arxiv.org/abs/2304.10258
16. Benoît Ferté, Davide Farci, Xiangyu Cao, 'Decoherent Histories with(out) Objectivity in a (Broken) Apparatus' (2025), arXiv:2508.16482, https://arxiv.org/abs/2508.16482
17. Nataliya Arefyeva, Evgeny Polyakov, 'Emergence of non-Markovian decoherent histories in integrable environment: A "Tape Recorder" model for local quantum observables' (2025), arXiv:2509.00845, https://arxiv.org/abs/2509.00845