Complete equational theories for classical and quantum Gaussian relations

Robert I. Booth, Titouan Carette, Cole Comfort

We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by com…