Complete equational theories for classical and quantum Gaussian relations

Robert I. Booth,Titouan Carette,Cole Comfort
2024-04-11
Abstract:We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by completely-uninformative priors, and the latter extends Gaussian quantum mechanics with infinitely-squeezed states. These presentations are given by adding a generator to the presentation of real affine relations and of real affine Lagrangian relations which freely codiscards effects, as well as certain rotations.
Logic in Computer Science,Category Theory,Quantum Physics
What problem does this paper attempt to address?