Axioms for retrodiction: achieving time-reversal symmetry with a prior

Abstract

We propose a category-theoretic definition of retrodiction and use it to exhibit a time-reversal symmetry for all quantum channels. We do this by introducing retrodiction families and functors, which capture many intuitive properties that retrodiction should satisfy and are general enough to encompass both classical and quantum theories alike. Classical Bayesian inversion and all rotated and averaged Petz recovery maps define retrodiction families in our sense. However, averaged rotated Petz recovery maps, including the universal recovery map of Junge-Renner-Sutter-Wilde-Winter, do not define retrodiction functors, since they fail to satisfy some compositionality properties. Among all the examples we found of retrodiction families, the original Petz recovery map is the only one that defines a retrodiction functor. In addition, retrodiction functors exhibit an inferential time-reversal symmetry consistent with the standard formulation of quantum theory. The existence of such a retrodiction functor seems to be in stark contrast to the many no-go results on time-reversal symmetry for quantum channels. One of the main reasons is because such works defined time-reversal symmetry on the category of quantum channels alone, whereas we define it on the category of quantum channels and quantum states. This fact further illustrates the importance of a prior in time-reversal symmetry.

References in corpus (40)

• Steering, Entanglement, Nonlocality, and the EPR Paradox
• The entropy of bulk quantum fields and the entanglement wedge of an evaporating black hole
• Symmetry Fractionalization, Defects, and Gauging of Topological Phases
• A mathematical theory of resources
• Towards a Formulation of Quantum Theory as a Causally Neutral Theory of Bayesian Inference
• Reversing quantum dynamics with near-optimal quantum and classical fidelity
• Quantum conditional mutual information and approximate Markov chains
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Monotonicity of quantum relative entropy revisited
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Quantum Operation Time Reversal
• Entanglement Wedge Reconstruction via Universal Recovery Channels
• Is a time symmetric interpretation of quantum theory possible without retrocausality?
• Recoverability in quantum information theory
• Universal recovery maps and approximate sufficiency of quantum relative entropy
• Disintegration and Bayesian Inversion via String Diagrams
• Quantum Dynamics as an analog of Conditional Probability
• A simple approach to approximate quantum error correction based on the transpose channel
• Strengthened Monotonicity of Relative Entropy via Pinched Petz Recovery Map
• Bayes' theorem and quantum retrodiction
• Quantum minimal surfaces from quantum error correction
• Can a quantum state over time resemble a quantum state at a single time?
• Squashed entanglement, k-extendibility, quantum Markov chains, and recovery maps
• Entanglement Wedge Reconstruction using the Petz Map
• Operational quantum theory without predefined time
• Operational formulation of time reversal in quantum theory
• Fluctuation theorems from Bayesian retrodiction
• Quantum operations with indefinite time direction
• The arrow of time in operational formulations of quantum theory
• Preservation of a quantum Renyi relative entropy implies existence of a recovery map
• On quantum states over time
• Quantum Probability and Quantum Information Theory
• Symmetries of quantum evolutions
• A non-commutative Bayes' theorem
• State retrieval beyond Bayes' retrodiction
• A local and operational framework for the foundations of physics
• Time reversals of irreversible quantum maps
• Conditional Density Operators and the Subjectivity of Quantum Operations
• From the Black Hole Conundrum to the Structure of Quantum Gravity
• Bayesian inversion and the Tomita-Takesaki modular group

Cited by in corpus (21)

• From time-reversal symmetry to quantum Bayes' rules
• Virtual quantum broadcasting
• Designing open quantum systems with known steady states: Davies generators and beyond
• Observational entropy, coarse quantum states, and Petz recovery: information-theoretic properties and bounds
• Causal classification of spatiotemporal quantum correlations
• Experimental demonstration of input-output indefiniteness in a single quantum device
• Quantum Bayes' rule and Petz transpose map from the minimum change principle
• Bayesian inversion and the Tomita-Takesaki modular group
• Operational meanings of a generalized conditional expectation in quantum metrology
• Optimality Condition for the Petz Map
• Non-commutative disintegrations: existence and uniqueness in finite dimensions
• Role of Dilations in Reversing Physical Processes: Tabletop Reversibility and Generalized Thermal Operations
• The spatiotemporal doubled density operator: a unified framework for analyzing spatial and temporal quantum processes
• Observational entropy with general quantum priors
• Petz recovery maps for qudit quantum channels
• Quantum reversal: a general theory of coherent quantum absorbers
• Proper and improper mixed states serve as different prior beliefs for quantum state retrodiction
• A Retrodictive Approach to Quantum State Smoothing
• Bipartite quantum states admitting a causal explanation
• Quantifying Irreversibility via Bayesian Subjectivity for Classical & Quantum Linear Maps
• Macroscopicity and observational deficit in states, operations, and correlations