The entangled-histories formalism of Cotler and Wilczek (2016) describes the quantum history of a system as a state in a tensor-product history Hilbert space over a discrete set of times, supports temporally entangled superpositions of evolutions, and comes with auxiliary-qubit protocols for measuring history states that are demonstrated only on specific examples. The founding paper and its companion literature leave four directions unfinished: (i) the founding paper notes that extending the history-state framework from a discrete set of times to a continuum of times requires the full apparatus of the Farhi-Gutmann path integral, which it does not develop; (ii) its measurement protocols are demonstrated only on specific examples, leaving open a general theory of measurements on history states, including the conditions under which a family of histories can be experimentally realized; (iii) its conclusion states that it would be very interesting to connect the formalism to the mature mathematical theory of classical inference and causality (Pearl); and (iv) a deeper analysis of how existing entangled-history experiments fit into the framework remains open, together with the general theory of the temporal Bell-type inequalities that witness temporal entanglement, which the companion preprint "Bell Tests for Histories" explicitly requests in the form of stronger inequalities distinguishing unitary evolution of a trivial initial state, non-entangled history states, and entangled history states.

Background

In the standard formulation of quantum mechanics, the state of a system is specified at a single instant and observables are operators acting at one time. Yet many quantities of physical interest - an accumulated phase, a proper time, or a correlation between what happens at different moments - are functionals of an entire time-evolution. The consistent-histories interpretation of Robert Griffiths was an early attempt to treat sequences of properties at successive times as the fundamental objects: a quantum history is a chain of projectors, one per time, and a probability is assigned to each chain when an appropriate consistency condition (vanishing of interference between alternative chains) holds. Griffiths' framework, and its mathematical development by Isham and Linden (including their continuous-histories approach based on a history group), treats histories as classical alternatives to be weighted, but does not naturally superpose or entangle them.

Cotler and Wilczek's "Entangled histories" (2016) takes a different route. For a discrete sequence of times t1<⋯<tnt_1 < \cdots < t_n, they define the history Hilbert space as the tensor product H=Htn⊗⋯⊗Ht1\mathcal{H} = \mathcal{H}_{t_n} \otimes \cdots \otimes \mathcal{H}_{t_1} of the ordinary state spaces at each time, with unitary evolution encoded in bridging operators T(tj,ti):Hti→HtjT(t_j,t_i): \mathcal{H}_{t_i} \to \mathcal{H}_{t_j}. Vectors in this space are history states: quantum amplitudes for whole evolutions, so that a single system can occupy a superposition of different evolutions, and these superpositions can be entangled across the temporal tensor factors - temporal entanglement, the analogue for one system at several times of entanglement between several systems at one time. Pre- and post-selection appear as restrictions of the first and last factors; this generalizes the multiple-time-states formalism of Aharonov, Popescu, Tollaksen and Vaidman. Orthogonal sets of history states, called families, play the role of jointly measurable alternatives, and two families related by a linear transformation are called compatible.

To measure a history state, Cotler and Wilczek couple the system to auxiliary qubits that are flipped by controlled operations at chosen times, so that measuring the auxiliary qubits in a suitable basis projects the system onto a member of a family without collapsing the undisturbed unitary evolution; one must take care not to upset the evolution by unwittingly imposing extra orthogonality relations. This protocol is worked out for specific examples - a Mach-Zehnder interferometer and an extreme two-particle history-entanglement construction - but no general theory is given.

Two established neighboring theories frame the open questions. First, the path-integral tradition: Feynman's sum over histories assigns amplitudes to paths, and Farhi and Gutmann (1992) constructed a functional (path) integral directly from the Hamiltonian, clarifying what the path integral means for systems such as spins without classical trajectories; Cotler and Wilczek state that history Hilbert spaces over a continuum of times would require this full apparatus, which they do not develop. Second, the theory of temporal correlations: the Leggett-Garg inequalities (reviewed by Emary, Lambert and Nori) constrain sequential measurements of a single system under macroscopic realism and non-invasiveness, and their information-theoretic refinement (e.g., Brierley, Kosowski, Markiewicz, Paterek and Przysiężna's nonclassicality of temporal correlations) studies the polytope of sequential-measurement correlations. The standard two-party Bell inequality is the Clauser-Horne-Shimony-Holt (CHSH) inequality; its temporal analogue for one system at two times, with quantum maximum 222\sqrt{2} (the Tsirelson bound, the largest quantum violation of CHSH), is maximally violated even by trivially evolving qubits because the intermediate projection itself is a non-classical disturbance - a fact that makes naive temporal Bell tests poor witnesses of temporal entanglement. Separately, in classical statistics, Pearl's causality theory represents causal structure by directed acyclic graphs and supports formal intervention and counterfactual inference.

Experimentally, an entangled-history state of Greenberger-Horne-Zeilinger (GHZ) type - the polarization of a single photon at three different times - has been prepared and certified: a GHZ functional, bounded above by 1/161/16 for any three-time history state without tripartite temporal entanglement and attaining 11 for the ideal GHZ history state, was measured to be 0.656±0.0050.656 \pm 0.005. The founding paper notes that its framework is developed for a discrete set of times, with continuum times requiring the full Farhi-Gutmann apparatus; its conclusion describes the connection to classical inference and causality as very interesting but unexplored, and reports the experiment whose result violates an inequality obeyed by all non-entangled histories, without analyzing how such experiments fit into the framework.

Problem Statement

The problem is to complete the theoretical framework of quantum history states (entangled histories) along the four interlinked directions its founding paper and companion literature left open, with the common objective of turning an example-driven, discrete-time formalism into a complete theory in which histories are continuum-defined mathematical objects, fully characterizable as measurable, and formally connected to classical causal reasoning. The four requested components, which jointly support this objective, are:

(1) Continuum of times. Construct the history-state formalism over a continuum of times: define the history Hilbert space, its inner product, bridging operators, families, and history states in a way that is mathematically well-defined (no ill-defined naive tensor products over uncountably many time slices) and that provably restricts to the existing discrete-time formalism of Cotler and Wilczek when the time set is made discrete.

(2) General measurement theory. Develop a general theory of measurement on history states: given a family of history states, state necessary and sufficient conditions under which an experimental protocol can realize a measurement of that family without disturbing the unitary evolution of the system - that is, without unwittingly imposing extraneous orthogonality relations. The theory must reproduce the known example protocols as instances.

(3) Connection to classical inference and causality. Establish a precise, formal connection between the history-state formalism and the mathematical theory of classical inference and causality (in the sense of Pearl's structural causal models and graphical causal calculus): for each of intervention, counterfactual, and conditional independence, specify the corresponding operation on history states or prove that no such correspondence exists, and prove the correspondence's scope and limits.

(4) Experiments and temporal Bell-type tests. Analyze how existing entangled-history experiments (the GHZ-type temporal tests and their generalizations) fit into the framework, and develop the general theory of temporal Bell-type inequalities and witnesses for histories: inequalities satisfied by all non-entangled (separable) history states whose violation certifies temporal entanglement, separating measurement-induced non-classicality (trivial evolutions maximally violating naive temporal CHSH) from genuine temporal entanglement, and distinguishing each of the three temporal structures: unitary evolution of a fixed initial state, non-entangled history states, and entangled history states.

Partial advances on individual components already exist (witness families, example protocols, channel extensions), but none resolves the objective above; the task is to develop the theory itself, with the four components above jointly constituting the scope of the theory.

References

  1. Jordan Cotler and Frank Wilczek, "Entangled histories", Physica Scripta T168, 014004 (2016). DOI: 10.1088/0031-8949/2016/T168/014004; arXiv:1502.02480; https://arxiv.org/abs/1502.02480
  2. Jordan Cotler and Frank Wilczek, "Temporal Observables and Entangled Histories", arXiv:1702.05838 (2017, unpublished preprint). https://arxiv.org/abs/1702.05838
  3. Jordan Cotler, Chao-Ming Jian, Xiao-Liang Qi and Frank Wilczek, "Superdensity operators for spacetime quantum mechanics", Journal of High Energy Physics 2018, 093 (2018). DOI: 10.1007/JHEP09(2018)093; arXiv:1711.03119; https://arxiv.org/abs/1711.03119
  4. Jordan Cotler, Lu-Ming Duan, Pan-Yu Hou, Frank Wilczek, Da Xu, Zhang-Qi Yin and Chong Zu, "Experimental test of entangled histories", Annals of Physics 387, 334-347 (2017). DOI: 10.1016/j.aop.2017.09.004; arXiv:1601.02943; https://arxiv.org/abs/1601.02943
  5. Jordan Cotler and Frank Wilczek, "Bell Tests for Histories", arXiv:1503.06458 (2015, unpublished preprint). https://arxiv.org/abs/1503.06458
  6. Junkai Dong, Yi-Ming Chen, Da Xu and Zhang-Qi Yin, "Greenberger-Horne-Zeilinger test for multi-dimension and arbitrary time nodes entangled histories", Science Bulletin 62, 1235-1238 (2017). DOI: 10.1016/j.scib.2017.08.010; arXiv:1610.04296; https://arxiv.org/abs/1610.04296
  7. Edward Farhi and Sam Gutmann, "The functional integral constructed directly from the hamiltonian", Annals of Physics 213, 182-203 (1992). DOI: 10.1016/0003-4916(92)90288-w; https://doi.org/10.1016/0003-4916(92)90288-w
  8. C. J. Isham and N. Linden, "Continuous histories and the history group in generalized quantum theory", Journal of Mathematical Physics 36, 5392-5408 (1995). DOI: 10.1063/1.531267; https://doi.org/10.1063/1.531267
  9. Robert B. Griffiths, "Consistent histories and the interpretation of quantum mechanics", Journal of Statistical Physics 36, 219-272 (1984). DOI: 10.1007/BF01015734; https://doi.org/10.1007/BF01015734
  10. Yakir Aharonov, Sandu Popescu, Jeff Tollaksen and Lev Vaidman, "Multiple-time states and multiple-time measurements in quantum mechanics", Physical Review A 79, 052110 (2009). DOI: 10.1103/PhysRevA.79.052110; https://doi.org/10.1103/PhysRevA.79.052110
  11. Judea Pearl, Causality: Models, Reasoning, and Inference, Cambridge University Press (2002; Cambridge Core edition). DOI: 10.1017/cbo9780511803161; https://doi.org/10.1017/cbo9780511803161
  12. Clive Emary, Neill Lambert and Franco Nori, "Leggett-Garg inequalities", Reports on Progress in Physics 77, 016001 (2014). DOI: 10.1088/0034-4885/77/1/016001; https://doi.org/10.1088/0034-4885/77/1/016001
  13. Stephen Brierley, Adrian Kosowski, Marcin Markiewicz, Tomasz Paterek and Anna Przysiężna, "Nonclassicality of Temporal Correlations", Physical Review Letters 115, 120404 (2015). DOI: 10.1103/PhysRevLett.115.120404; https://doi.org/10.1103/PhysRevLett.115.120404
  14. Marcin Nowakowski, "Quantum entanglement in time", AIP Conference Proceedings 1841, 020007 (2017). DOI: 10.1063/1.4982771; https://doi.org/10.1063/1.4982771
  15. Marcin Nowakowski, Eliahu Cohen and Pawel Horodecki, "Entangled histories versus the two-state-vector formalism: Towards a better understanding of quantum temporal correlations", Physical Review A 98, 032312 (2018). DOI: 10.1103/PhysRevA.98.032312; arXiv:1803.11267; https://arxiv.org/abs/1803.11267
  16. Marcin Nowakowski, "Are temporal quantum correlations generally non-monogamous?", arXiv:2011.08437 (2020). https://arxiv.org/abs/2011.08437
  17. Marcin Nowakowski, "Entanglement of Temporal Sections as Quantum Histories and Their Quantum Correlation Bounds", Entropy 26, 198 (2024). DOI: 10.3390/e26030198; arXiv:2403.17941; https://arxiv.org/abs/2403.17941
  18. Hai Wang, Ray-Kuang Lee and Junde Wu, "Discrete-Time Modelling of Quantum Evolutions, the Energy-Time Uncertainty Relation and General Extensions in the Entangled History Formalism", arXiv:1908.02935 (2019). https://arxiv.org/abs/1908.02935
  19. Hai Wang, Ray-Kuang Lee, Manish Kumar Shukla, Indranil Chakrabarty, Shaoming Fei and Junde Wu, "What are temporal correlations", arXiv:1910.05694 (2019). https://arxiv.org/abs/1910.05694
  20. Leonardo Castellani, "History entanglement entropy", Physica Scripta 96, 055217 (2021). DOI: 10.1088/1402-4896/abe6c0; arXiv:2009.02331; https://arxiv.org/abs/2009.02331
  21. Leonardo Castellani and Anna Gabetti, "Space and Time Correlations in Quantum Histories", Annalen der Physik 536, 2400203 (2024). DOI: 10.1002/andp.202400203; arXiv:2405.19427; https://arxiv.org/abs/2405.19427
  22. Danko Georgiev and Eliahu Cohen, "Entanglement measures for two-particle quantum histories", Physical Review A 106, 062437 (2022). DOI: 10.1103/PhysRevA.106.062437; arXiv:2212.07502; https://arxiv.org/abs/2212.07502
  23. Dragoljub Gočanin, Aleksandra Dimić, Flavio Del Santo and Borivoje Dakić, "Bell's theorem for trajectories", Physical Review A 102, 020201(R) (2020). DOI: 10.1103/PhysRevA.102.020201; arXiv:2001.00681; https://arxiv.org/abs/2001.00681
  24. Guo-Zhu Pan, Gang Zhang and Quan-Hai Sun, "Testing Temporal Contextuality with Quantum Entangled Histories", International Journal of Theoretical Physics 58, 2550-2555 (2019). DOI: 10.1007/s10773-019-04144-1; https://doi.org/10.1007/s10773-019-04144-1
  25. D. Pabón, L. Rebón, S. Bordakevich, N. Gigena, A. Boette, C. Iemmi, R. Rossignoli and S. Ledesma, "Parallel-in-time optical simulation of history states", Physical Review A 99, 062333 (2019). DOI: 10.1103/PhysRevA.99.062333; arXiv:1901.04808; https://arxiv.org/abs/1901.04808
  26. Narayani Tyagi and Ken Wharton, "Spacetime Path Integrals for Entangled States", Foundations of Physics 52, 9 (2021). DOI: 10.1007/s10701-021-00520-2; arXiv:2103.02425; https://arxiv.org/abs/2103.02425
  27. Zhian Jia, Minjeong Song and Dagomir Kaszlikowski, "Quantum space-time marginal problem: global causal structure from local causal information", New Journal of Physics 25, 123038 (2023). DOI: 10.1088/1367-2630/ad1416; arXiv:2303.12819; https://arxiv.org/abs/2303.12819
  28. Xiao-Kan Guo, "Tensor networks for quantum causal histories", Journal of Physics A: Mathematical and Theoretical 53, 125301 (2020). DOI: 10.1088/1751-8121/ab757e; arXiv:1906.04036; https://arxiv.org/abs/1906.04036
  29. Philip Taranto, Marco Túlio Quintino, Mio Murao and Simon Milz, "Characterising the Hierarchy of Multi-time Quantum Processes with Classical Memory", Quantum 8, 1328 (2024). DOI: 10.22331/q-2024-05-02-1328; arXiv:2307.11905; https://arxiv.org/abs/2307.11905
  30. Yong-Li Wen, Li-Man Tian, Yunfei Wang, Shanchao Zhang, Chang Li, Jianfeng Li, Enke Wang, Hui Yan and Shi-Liang Zhu, "Direct experimental test of Feynman's path integral postulates with single photons", Science Advances 12, eaeh1011 (2026). DOI: 10.1126/sciadv.aeh1011; https://doi.org/10.1126/sciadv.aeh1011