Using BV to Describe Causal Quantum Evolution

摘要: In this note I describe how to capture the kinematics of quantum causal evolution using a logic called BV developed by Calculus Structures group at Dresden. The setting is discrete mechanics. We imagine finite “web” spacetime points. points are events in spacetime. They viewed as verhtees directed acyclic graph (DAG); edges DAG represent links mediated propagation matter. fact that captures basic causality requirement: there no closed trajectories. represents approximation on which system evolves. technically dangling graph; set half addition ordinary divided into two disjoint subsets: incoming and outgoing edges. An edge has initial point but terminal point, dually for