This will be a gentle introduction to phase spaces and symplectic geometry. I hope to give a sense of what sort of questions are interesting to people working in this field.
While quantum correlations between two spacelike-separated systems are fully encoded by the bipartite density operator associated with the joint system, what operator encodes quantum correlations across space and time? I will describe the general theory of such "quantum states over time" as well as a canonical example that encodes the expectation values of certain observables measured sequentially in time. The latter extends the theory of pseudo-density matrices to arbitrary dimensions, not necessarily restricted to multi-qubit systems. In addition, quantum states over time admit a natural proposal for a general-purpose quantum Bayes' rule. Our results specialize to many well-studied examples, such as the state-update rule, the two-state vector formalism and weak values, and the Petz recovery map. This talk is based on joint work with James Fullwood and the two papers: arXiv: 2212.08088 [quant-ph] and 2405.17555 [quant-ph].
